The (big) infinitesimal topos as a classifying topos Matthias - - PowerPoint PPT Presentation

the big infinitesimal topos as a classifying topos
SMART_READER_LITE
LIVE PREVIEW

The (big) infinitesimal topos as a classifying topos Matthias - - PowerPoint PPT Presentation

The (big) infinitesimal topos as a classifying topos Matthias Hutzler Universit at Augsburg CT 2019 Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 1 / 12 Goal: Understand toposes from algebraic geometry (from a logical


slide-1
SLIDE 1

The (big) infinitesimal topos as a classifying topos

Matthias Hutzler

Universit¨ at Augsburg

CT 2019

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 1 / 12

slide-2
SLIDE 2

Goal: Understand toposes from algebraic geometry (from a logical perspective). Promise: You will fully understand the key ingredient of the proof (in a simplified case)!

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 2 / 12

slide-3
SLIDE 3

Toposes

Ex: [C op, Set] is a topos.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 3 / 12

slide-4
SLIDE 4

Toposes

Ex: [C op, Set] is a topos. Ex: Sh(X) is a topos.

Definition

A site is a small category C together with a Grothendieck topology J, distinguishing some covering families (ci → c)i∈I. A sheaf is a presheaf F : C op → Set satisfying a “glueing” condition for every covering family (ci → c)i∈I.

Definition

A (Grothendieck) topos is a category equivalent to some Sh(C, J).

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 3 / 12

slide-5
SLIDE 5

Geometric theories

A geometric theory consists of: sorts function symbols relation symbols axioms The theory of rings:

  • ne sort: A

five function symbols: 0, 1 : A, +, · : A × A → A, − : A → A no relation symbols eight axioms: 0 + x = x, x · y = y · x, . . .

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 4 / 12

slide-6
SLIDE 6

Geometric theories

A geometric theory consists of: sorts function symbols relation symbols axioms φ ⊢ ψ, where φ and ψ may contain ⊤, ⊥, ∧, ∨, , ∃ but no , ∀, ⇒, ¬ The theory of local rings:

  • ne sort: A

five function symbols: 0, 1 : A, +, · : A × A → A, − : A → A no relation symbols eight axioms: ⊤ ⊢x 0 + x = x, ⊤ ⊢x,y x · y = y · x, . . . , 0 = 1 ⊢ ⊥, x + y = 1 ⊢x,y (∃z. xz = 1)∨(∃z. yz = 1)

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 4 / 12

slide-7
SLIDE 7

Classifying toposes

Definition

A classifying topos for T is a topos Set[T] with T(E) ≃ Geom(E, Set[T]) for every topos E. In other words, there is a universal model of T in Set[T].

Theorem

Every geometric theory has a classifying topos. Every topos classifies some geometric theory.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 5 / 12

slide-8
SLIDE 8

Theories of presheaf type

Definition

T is of presheaf type if Set[T] ≃ [C op, Set] for some C.

Theorem

Any algebraic theory is of presheaf type. Any Horn theory (only ⊤, ∧, no ⊥, ∨, , ∃) is of presheaf type. Any cartesian theory is of presheaf type.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 6 / 12

slide-9
SLIDE 9

Theories of presheaf type

Definition

T is of presheaf type if Set[T] ≃ [C op, Set] for some C.

Theorem

Any algebraic theory is of presheaf type. Any Horn theory (only ⊤, ∧, no ⊥, ∨, , ∃) is of presheaf type. Any cartesian theory is of presheaf type.

Theorem

If T is of presheaf type, then Set[T] ≃ [T(Set)c, Set], where −c denotes the compact objects (those for which HomT(Set)(M, −) preserves filtered colimits). Ex: The theory of rings is classified by [Ringc, Set] = [Ringfp, Set]. Ex: The object classifier is [Setc, Set] = [FinSet, Set].

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 6 / 12

slide-10
SLIDE 10

additional axioms ↔ subtopos ↔ Grothendieck topology

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 7 / 12

slide-11
SLIDE 11

additional axioms ↔ subtopos ↔ Grothendieck topology

Example

For T = theory of rings, the axioms 0 = 1 ⊢ ⊥ x + y = 1 ⊢x,y (∃z. xz = 1) ∨ (∃z. yz = 1) mean: The zero-ring is covered by the empty family. A is covered by A[x−1] and A[y −1] whenever x + y = 1.

Corollary

The (big) Zariski topos classifies the theory of local rings.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 7 / 12

slide-12
SLIDE 12

The infinitesimal topos (simple version)

Definition

The (big) infinitesimal topos is Sh(C, J) with C, J as follows. a A a′ A′ C = {finitely presented rings A with a finitely generated ideal a ⊆ A such that every element

  • f a is nilpotent}op

Hey, this is the category of compact models

  • f a geometric theory Tinf!

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 8 / 12

slide-13
SLIDE 13

The infinitesimal topos (simple version)

Definition

The (big) infinitesimal topos is Sh(C, J) with C, J as follows. a A a′ A′ C = {finitely presented rings A with a finitely generated ideal a ⊆ A such that every element

  • f a is nilpotent}op

Hey, this is the category of compact models

  • f a geometric theory Tinf!

J = Zariski topology on C. This will correspond to “local ring” axioms again.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 8 / 12

slide-14
SLIDE 14

The key ingredient: Is Tinf of presheaf type?

a ⊆ A with ⊤ ⊢ 0 ∈ a x ∈ a ⊢x,y x · y ∈ a x ∈ a ∧ y ∈ a ⊢x,y x + y ∈ a x ∈ a ⊢x

  • n∈N

xn = 0

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 9 / 12

slide-15
SLIDE 15

The key ingredient: Is Tinf of presheaf type?

a ⊆ A with ⊤ ⊢ 0 ∈ a x ∈ a ⊢x,y x · y ∈ a x ∈ a ∧ y ∈ a ⊢x,y x + y ∈ a x ∈ a ⊢x

  • n∈N

xn = 0 an ⊆ A, for each n ∈ N, with x ∈ an ⊣⊢x xn = 0 ∧ x ∈ an+1 ⊤ ⊢ 0 ∈ a1 x ∈ an ⊢x,y x · y ∈ an x ∈ an∧y ∈ an ⊢x,y x+y ∈ a2n−1 These theories are Morita equivalent!

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 9 / 12

slide-16
SLIDE 16

General case

Let R be a finitely presented K-algebra.

Theorem

The big infinitesimal topos of Spec R/ Spec K classifies the theory of surjective K-algebra homomorphisms f : A ։ B into an R-algebra B with locally nilpotent kernel. K R A B

f

⊤ ⊢y:B ∃x : A. f (x) = y f (x) = 0 ⊢x:A

  • n∈N

xn = 0 Proof idea: Start with algebraic theory, f : A → B. Show that the induced topology is rigid.

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 10 / 12

slide-17
SLIDE 17

Future work

What about the crystalline topos? [Coming soon!] Can we apply this in algebraic geometry?

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 11 / 12

slide-18
SLIDE 18

For more details see: https://gitlab.com/MatthiasHu/master-thesis/raw/master/ thesis.pdf

Matthias Hutzler Infinitesimal topos as classifying topos CT 2019 12 / 12