Smoothness In Zariski Categories

Transcription

1 Smoothness In Zariski Categories A Proposed Definition and a Few Easy Results. John Iskra jiskra@ehc.edu Department of Mathematics & Computer Science Emory and Henry College Emory, Virginia USA Smoothness In Zariski Categories p. 1/29

2 Outline Context Smoothness In Zariski Categories p. 2/29

3 Outline Context Philosophy Smoothness In Zariski Categories p. 2/29

4 Outline Context Philosophy Definition Smoothness In Zariski Categories p. 2/29

5 Outline Context Philosophy Definition A Few Easy Results Smoothness In Zariski Categories p. 2/29

6 Context In 1992, Yves Diers published his inspirational book Categories of Commutative Algebras. As he himself says in the Introduction to Categories of Commutative Algebras his work stands in a line of advances on the problem of classifying categories. He specifically wants to understand categories which can are very similar to the category of commutative rings with identity. Smoothness In Zariski Categories p. 3/29

7 Z. Luo Was one of those who were inspired. In his work, available at Z. Luo built upon Diers work in the dual situation. He argued that this side was the geometric,, and Diers was the algebraic. Smoothness In Zariski Categories p. 4/29

8 Smoothness Smoothness, I think, is traditionally understood as a geometric property Smoothness In Zariski Categories p. 5/29

9 So, In Spite of the Title of My Talk I d like to talk about Smoothness as a geometric property and, so, for the most part, use Luo s language. Smoothness In Zariski Categories p. 6/29

10 Equivalence Dier s Zariski category is roughly dual to Luo s left coherent analytic geometry. Among other properties, it s possessed of a strict initial object a category in which limits commute with finite sums locally disjunctable, reducible, and perfect. Smoothness In Zariski Categories p. 7/29

11 Grothendieck Firmly established the importance of nilpotents when he defined three related types of morphisms: Net - or unramified Smoothness In Zariski Categories p. 8/29

12 Grothendieck Firmly established the importance of nilpotents when he defined three related types of morphisms: Net - or unramified Lisse - or smooth Smoothness In Zariski Categories p. 8/29

13 Grothendieck Firmly established the importance of nilpotents when he defined three related types of morphisms: Net - or unramified Lisse - or smooth Etale - or étale (slack...) Smoothness In Zariski Categories p. 8/29

14 Grothendieck s Definition Consider the commutative diagram X W f w S w W with j a strong unipotent mono. g j Smoothness In Zariski Categories p. 9/29

15 If there exists X h f w g S w W j W at most one such h, then f is net Smoothness In Zariski Categories p. 10/29

16 If there exists X h f w g S w W j W at most one such h, then f is net at least one such h, then f is smooth Smoothness In Zariski Categories p. 10/29

17 If there exists X h f w g S w W j W at most one such h, then f is net at least one such h, then f is smooth exactly one such h, then f is étale Smoothness In Zariski Categories p. 10/29

18 Definition A strong unipotent (Luo s definition) mono is approximately the equivalent of a closed morphism in algebraic geometry induced by a morphism with unipotent kernel. Luo defines a unipotent morphism to be one which has no non-zero pullback isomorphic to zero. Geometrically, its image is not disjoint with anything. Smoothness In Zariski Categories p. 11/29

19 Clearly Sticking with Grothendieck s definition, if a category were to have no proper strong monic unipotents, every arrow would be étale. Smoothness In Zariski Categories p. 12/29

20 Dier s Problem: These three types of morphisms play an exceptionally important role in algebraic geometry. However, so-called reduced categories - that is categories without nilpotents satisfy the axioms for a Zariski category. Smoothness In Zariski Categories p. 13/29

21 Subtext Can we develop a more widely meaningful definition of these concepts, so that perhaps this axiomatic and categorical approach provide us with fresh insight into these concepts? Smoothness In Zariski Categories p. 14/29

22 Dier s Solution - for net and étale (In Luo s language) A morphism f : X S is net if the corresponding diagonal is a local isomorphism. : X X S X Smoothness In Zariski Categories p. 15/29

23 Dier s Solution - for net and étale (In Luo s language) A morphism f : X S is net if the corresponding diagonal is a local isomorphism. : X X S X f : X S is étale if it is net and coflat. Smoothness In Zariski Categories p. 15/29

24 This is a very nice approach. However, Smoothness In Zariski Categories p. 16/29

25 The definition of Smooth is missing Smoothness In Zariski Categories p. 17/29

26 Problems with finding a definition One approach would be to find some sort of map which approximates the sort of super-denseness which unipotent maps possess. Smoothness In Zariski Categories p. 18/29

27 Problems with finding a definition One approach would be to find some sort of map which approximates the sort of super-denseness which unipotent maps possess. We could try to adapt the work of Anders Kock Smoothness In Zariski Categories p. 18/29

28 Problems with finding a definition One approach would be to find some sort of map which approximates the sort of super-denseness which unipotent maps possess. We could try to adapt the work of Anders Kock We could try to understand what locally linear means given Diers and Luo s frame work. Smoothness In Zariski Categories p. 18/29

29 Philosophy In Calculus we teach students that to say that a function is differentiable is to say that in a sufficiently small neighborhood, the function is linear. Smoothness In Zariski Categories p. 19/29

30 This has several difficulties In most cases of interest (i.e integral objects ), no neighborhoods are really small Smoothness In Zariski Categories p. 20/29

31 This has several difficulties In most cases of interest (i.e integral objects ), no neighborhoods are really small It wasn t clear to me how to define linear in categorical terms Smoothness In Zariski Categories p. 20/29

32 However we define smooth it ought to be Local Smoothness In Zariski Categories p. 21/29

33 However we define smooth it ought to be Local Linked to Dier s definitions of net and étale Smoothness In Zariski Categories p. 21/29

34 However we define smooth it ought to be Local Linked to Dier s definitions of net and étale Geometrically consistent with how we understand differentiability in more familiar settings, like Calculus Smoothness In Zariski Categories p. 21/29

35 However we define smooth it ought to be Local Linked to Dier s definitions of net and étale Geometrically consistent with how we understand differentiability in more familiar settings, like Calculus As in algebraic geometry we want S[T ] S to be smooth Smoothness In Zariski Categories p. 21/29

36 My Proposal An arrow f : X S will be called smooth if it is coflat and if there exists a unipotent analytic cover {U i } i I of X so that for all i I there exists r > 0 so that U i u i X r S φ commutes where r S is the product of r cogenerators and the arrow U i r S is étale. S f Smoothness In Zariski Categories p. 22/29

37 Unfortunately, It turns out it was also Grothendieck s idea first. In fact, in Grothendieck s Universe, the two are equivalent as long as f is finitely presented Smoothness In Zariski Categories p. 23/29

38 Some Preliminary Results: Compositions of smooth are smooth Smoothness In Zariski Categories p. 24/29

39 Some Preliminary Results: Compositions of smooth are smooth The pullback of smooth by a monic is again smooth Smoothness In Zariski Categories p. 24/29

40 Some Preliminary Results: Compositions of smooth are smooth The pullback of smooth by a monic is again smooth Net plus smooth is étale Smoothness In Zariski Categories p. 24/29

41 Some Preliminary Results: Lisse is a local property Smoothness In Zariski Categories p. 25/29

42 Some Preliminary Results: Lisse is a local property Lisse is not reflected by pullbacks Smoothness In Zariski Categories p. 25/29

43 Some Preliminary Results: Lisse is a local property Lisse is not reflected by pullbacks Étale implies lisse Smoothness In Zariski Categories p. 25/29

44 Some Preliminary Results: Lisse is a local property Lisse is not reflected by pullbacks Étale implies lisse Lisse doesn t imply étale Smoothness In Zariski Categories p. 25/29

45 Some Preliminary Results: Lisse is a local property Lisse is not reflected by pullbacks Étale implies lisse Lisse doesn t imply étale S S is lisse where S is a cogenerator Smoothness In Zariski Categories p. 25/29

46 Questions Is Grothendieck s E.G.A definition is equivalent to mine in a Zariski category? Smoothness In Zariski Categories p. 26/29

47 Questions Is Grothendieck s E.G.A definition is equivalent to mine in a Zariski category? Develop a nice, useful definition of perfect field. Regularity vs. Smoothness... Smoothness In Zariski Categories p. 26/29

48 Questions Is Grothendieck s E.G.A definition is equivalent to mine in a Zariski category? Develop a nice, useful definition of perfect field. Regularity vs. Smoothness... Develop classification of maps which are not smooth and catalog the effect that blow-ups have on such. Smoothness In Zariski Categories p. 26/29

49 A Hopeful Sign Smoothness In Zariski Categories p. 27/29

50 LWSR Suppose V W is a map of varieties. Then there exists blow-ups Ṽ V and W W so that the diagram Ṽ V W W commutes and the canonical map Ṽ W is flat. Smoothness In Zariski Categories p. 28/29

51 A proof of LSWR would complete the proof of desingularization of 3 dimensional varieties and give a big leg up on the desingularization of those in higher dimension. Smoothness In Zariski Categories p. 29/29