{"@context":{"@language":"en","Affiliation":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","AggregatedSourceRepository":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","Campus":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","Creator":"http:\/\/purl.org\/dc\/terms\/creator","DateAvailable":"http:\/\/purl.org\/dc\/terms\/issued","DateIssued":"http:\/\/purl.org\/dc\/terms\/issued","Degree":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","DegreeGrantor":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","Description":"http:\/\/purl.org\/dc\/terms\/description","DigitalResourceOriginalRecord":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","Extent":"http:\/\/purl.org\/dc\/terms\/extent","FileFormat":"http:\/\/purl.org\/dc\/elements\/1.1\/format","FullText":"http:\/\/www.w3.org\/2009\/08\/skos-reference\/skos.html#note","Genre":"http:\/\/www.europeana.eu\/schemas\/edm\/hasType","GraduationDate":"http:\/\/vivoweb.org\/ontology\/core#dateIssued","IsShownAt":"http:\/\/www.europeana.eu\/schemas\/edm\/isShownAt","Language":"http:\/\/purl.org\/dc\/terms\/language","Program":"https:\/\/open.library.ubc.ca\/terms#degreeDiscipline","Provider":"http:\/\/www.europeana.eu\/schemas\/edm\/provider","Publisher":"http:\/\/purl.org\/dc\/terms\/publisher","Rights":"http:\/\/purl.org\/dc\/terms\/rights","RightsURI":"https:\/\/open.library.ubc.ca\/terms#rightsURI","ScholarlyLevel":"https:\/\/open.library.ubc.ca\/terms#scholarLevel","Subject":"http:\/\/purl.org\/dc\/terms\/subject","Title":"http:\/\/purl.org\/dc\/terms\/title","Type":"http:\/\/purl.org\/dc\/terms\/type","URI":"https:\/\/open.library.ubc.ca\/terms#identifierURI","SortDate":"http:\/\/purl.org\/dc\/terms\/date"},"Affiliation":[{"@value":"Science, Faculty of","@language":"en"},{"@value":"Mathematics, Department of","@language":"en"}],"AggregatedSourceRepository":[{"@value":"DSpace","@language":"en"}],"Campus":[{"@value":"UBCV","@language":"en"}],"Creator":[{"@value":"Staal, Andrew Philippe","@language":"en"}],"DateAvailable":[{"@value":"2009-01-05T17:22:02Z","@language":"en"}],"DateIssued":[{"@value":"2008","@language":"en"}],"Degree":[{"@value":"Master of Science - MSc","@language":"en"}],"DegreeGrantor":[{"@value":"University of British Columbia","@language":"en"}],"Description":[{"@value":"A section of the total tangent space of a scheme X of finite type over a field k, i.e. a vector field on X, corresponds to an X-valued 1-jet on X. In the language of jets the notion of a vector field becomes functorial, and the total tangent space constitutes one of an infinite family of jet schemes Jm(X) for m \u2265 0. We prove that there exist families of \u201clogarithmic\u201d jet schemes JDm(X) for m \u2265 0, in the category of k-schemes of finite type, associated to any given X and its family of divisors D = (D\u2081, . . . ,Dr). The sections of JD\u2081(X) correspond to so-called vector fields on X with logarithmic poles along the family of divisors D = (D\u2081, . . . ,Dr). To prove this, we first introduce the categories of pairs (X,D) where D is as mentioned, an r-tuple of (effective Cartier) divisors on the scheme X. The categories of pairs provide a convenient framework for working with only those jets that pull back families of divisors.","@language":"en"}],"DigitalResourceOriginalRecord":[{"@value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/3327?expand=metadata","@language":"en"}],"Extent":[{"@value":"280652 bytes","@language":"en"}],"FileFormat":[{"@value":"application\/pdf","@language":"en"}],"FullText":[{"@value":"On The Existence of Jet Schemes Logarithmic Along Families of Divisors by Andrew Philippe Staal B.Sc., University of Ottawa, 2006 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Mathematics) The University of British Columbia (Vancouver) December 2008 c\u00a9 Andrew Philippe Staal, 2008 Abstract A section of the total tangent space of a scheme X of finite type over a field k, i.e. a vector field on X, corresponds to an X-valued 1-jet on X. In the language of jets the notion of a vector field becomes functorial, and the total tangent space constitutes one of an infinite family of jet schemes Jm(X) for m \u2265 0. We prove that there exist families of \u201clogarithmic\u201d jet schemes JDm(X) for m \u2265 0, in the category of k-schemes of finite type, associated to any given X and its family of divisors D = (D1, . . . , Dr). The sections of JD1 (X) correspond to so-called vector fields on X with logarithmic poles along the family of divisors D = (D1, . . . , Dr). To prove this, we first introduce the categories of pairs (X,D) where D is as mentioned, an r-tuple of (effective Cartier) divisors on the scheme X. The categories of pairs provide a convenient framework for working with only those jets that pull back families of divisors. ii Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1 Functors of Points and Yoneda\u2019s Lemma . . . . . . . . . . . . . . . . . . . . 5 2.2 Divisors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.1 Definitions of Divisors . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.2 Pullbacks of Divisors . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3 Categories of Pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.1 Defining the Categories of Pairs . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.2 Definitions and Examples in the Categories of Pairs . . . . . . . . . . . . . . 12 3.2.1 Open Subpairs and a Gluing Construction for Pairs . . . . . . . . . . 12 3.2.2 m-jets in Pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4 Jet Pairs and Logarithmic Jet Schemes . . . . . . . . . . . . . . . . . . . . . 16 4.1 The Main Construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 5.1 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 5.2 Discussion and Further Research . . . . . . . . . . . . . . . . . . . . . . . . 24 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 iii Acknowledgments I would like to thank all those people whose support, encouragement, and assistance has lead and inspired me through the successful completion of this thesis. First, I wish to thank the various friends and colleagues of mine who have enriched my personal pursuit of mathematical knowledge. Especially among these, I thank Jesse Collingwood, Chris Dionne, Samantha Marion, Matthew Mazowita, Slava Pestov, and Eric Serre\u0301 at the University of Ottawa; Alex Ustian during our visit at the Independent University of Moscow; and Adam Clay, Alexander Duncan, Benjamin Purcell, Simon Rose and the rest of the motivated group of algebra and algebraic geometry graduate students at the University of British Columbia. Further I would like to express sincere gratitude to the professional mathematicians who have nurtured my interests, especially Professors Thierry Giordano, Barry Jessup, Monica Nevins, and Vladimir Pestov at the University of Ottawa, and Professor Julia Gordon at the University of British Columbia. I would like to extend special thanks to Professor Kai Behrend at the University of British Columbia for taking the time to read and evaluate my thesis. Finally, I wish to express my deepest appreciation to Professor Kalle Karu, my research supervisor at the University of British Columbia; without the constant guidance, instruction, ideas, suggestions, and encouragement of Professor Karu this work simply could not have been possible. On a personal note, I would like to thank my family; it is impossible to sum up all the reasons for which they deserve my utmost gratitude with regards to this thesis, so I simply thank Mom, Dad, and Nico with all my heart. Thanks also to Gladys for her company and encouragement (and food!) after my move to Vancouver. iv To Ralph and Isabel, en honor de Salomo\u0301n y AuraMar\u0301\u0131a v 1 Introduction Let X and Z denote schemes of finite type over C. A Z-valued m-jet in X is a mor- phism \u03b3 : Z \u00d7 Spec C[t]\/(tm+1) \u2192 X. Let LXm denote the contravariant functor Hom(\u2212 \u00d7 SpecC[t]\/(tm+1), X). The functor LXm is representable; that is, the functor\u2212\u00d7SpecC[t]\/(tm+1) has a right adjoint, which we denote Jm(\u2212). Thus, any Z-valued m-jet \u03b3 in X corresponds uniquely, and functorially, to a Z-valued point \u03b3\u0303 : Z \u2192 Jm(X) of the scheme Jm(X). The scheme Jm(X) is referred to as the m th jet scheme of X, and is of finite type over C. Let us sketch a constructive proof that Jm(X) exists for such a scheme X; for more thorough treatments on jet schemes see for example the articles [Mus01], [EM08], [Ish07]. First, we may assume that Z and X are affine; in the first case this follows after refining Yoneda\u2019s lemma applied to the category C-Schemes of schemes of finite type over C, and in the second case from the gluing construction on schemes. Thus, let Z = Spec A, where A is a finitely generated C-algebra, and let X = SpecC[X1, . . . , Xn]\/(f1, . . . , fs) be a closed immersion of X into complex affine n-space. Then a Z-valued m-jet \u03b3 is determined by a homomorphism \u03b3\u2217 : C[X1, . . . , Xn] \u2192 A[t]\/(tm+1) such that \u03b3\u2217(fj) = 0 for each 1 \u2264 j \u2264 s. Let \u03b3\u2217(fj) = fj0+ fj1t+ \u00b7 \u00b7 \u00b7+ fjmtm; the condition \u03b3\u2217(fj) = 0 translates to fjl\u2032 = 0 for every 0 \u2264 l\u2032 \u2264 m. Note that each fjl\u2032 is a polynomial in the coefficients (ail)i,l of the elements \u03b3\u2217(Xi) = ai0 + ai1t+ \u00b7 \u00b7 \u00b7+ aimtm. Thus, consider the homomorphism C[X(0)1 , . . . , X(0)n , X (1) 1 , . . . , X (1) n , . . . , X (m) 1 , . . . , X (m) n ]\u2192 A mappingX (l) i 7\u2192 ail; this Z-valued point of affine n(m+1)-space determines and is determined by \u03b3\u2217 if and only if the condition fjl\u2032 7\u2192 0 holds for every 1 \u2264 j \u2264 s, 0 \u2264 l\u2032 \u2264 m when we consider fjl\u2032 as a polynomial in the variables X (l) i . Moreover, this correspondence is functorial; hence Jm(X) is the closed immersion Jm(X) = Spec C[X(0)1 , . . . , X(0)n , X (1) 1 , . . . , X (1) n , . . . , X (m) 1 , . . . , X (m) n ]\/(fjl\u2032)j,l\u2032 in complex affine n(m+ 1)-space. We can describe the equations fjl\u2032 explicitly. First, let m \u2032 and m be integers, m\u2032 > m. The projection morphism pim\u2032,m : Jm\u2032(X) \u2192 Jm(X) is the morphism of schemes induced by the truncation homomorphism C[t]\/(tm\u2032+1)\u2192 C[t]\/(tm+1). The jet schemes of X with their projection morphisms form a projective system \u00b7 \u00b7 \u00b7 \u2192 Jm(X) pim,m\u22121\u2212\u2212\u2212\u2212\u2192 Jm\u22121(X)\u2192 \u00b7 \u00b7 \u00b7 \u2192 X, whose projective limit J\u221e(X) is called the arc space of X. Further, there are projec- tion morphisms \u03c1m : J\u221e(X) \u2192 Jm(X) (it will always be clear to which \u201cprojection\u201d we refer). Similarly to the jet schemes, over C the arc space of an affine scheme X = Spec C[X1, . . . , Xn]\/(f1, . . . , fs) immerses into J\u221e(AnC) = Spec C[X (0) 1 , . . . , X (0) n , . . . , X (l) n , X (l+1) 1 . . .]. 1 Notice that J\u221e(X) is not generally a scheme of finite type over C. One obtains explicit equations for J\u221e(X) as follows (borrowing notation from [EM08]): let S\u221e = C[X(0)1 , . . . , X(0)n , . . . , X(l)n , X (l+1) 1 , . . .] denote the polynomial ring in infinitely and denumerably many variables. There is a deriva- tion d on S\u221e, mapping X (l) i 7\u2192 X(l+1)i . For any f \u2208 C[X1, . . . , Xn], consider f as an element of S\u221e by substituting X (0) i for Xi. Denote f (0) def= f and let f (l+1) def = df (l) recursively. Writing I\u221e for the ideal (f (l) j |1 \u2264 j \u2264 s, l \u2208 N \u222a {0}), it is straight-forward to prove that Spec S\u221e\/I\u221e = J\u221e(X); that is, the equations fj, dfj, d2fj, . . . over all 1 \u2264 j \u2264 s cut out the scheme J\u221e(X) from (infinite-dimensional) affine space. Under the truncation homo- morphism S\u221e \u2192 Sm = C[X(0)1 , . . . , X(m)n ] we obtain the equations for Jm(X). Namely, Jm(X) = Spec Sm\/Im, where Im = (fj, dfj, . . . , d mfj : 1 \u2264 j \u2264 s). Let us shift focus momentarily to the complex-analytic setting. Let X now be a smooth complex-analytic variety. Recall that a divisor Y in X is a formal, locally finite linear combination Y = \u2211 aiYi of irreducible analytic hypersurfaces Yi in X. So, each Yi is locally the zero-locus of a single irreducible holomorphic function fi on X such that for any open U \u2282 X, Yi \u2229 U 6= \u2205 for only finitely many i. Such a divisor is said to have normal crossings if Y = \u2211 Yi and the components Yi meet transversally; that is, when k of the components, say Yi1 , . . . , Yik , pass through x \u2208 X, one can always choose local coordinates x1, . . . , xn on some U containing x such that x = (0, . . . , 0) and fij = xj for 1 \u2264 j \u2264 k. In particular Y \u2229U is geometrically the zero-locus of x1 \u00b7 \u00b7 \u00b7xk. Let Y be a divisor with normal crossings on X, let X\u2217 = X \u2212 Y , and let \u03d1 : X\u2217 \u2192 X be the inclusion morphism. Recall that \u21261X(logY ) denotes the locally free sub-OX-module of the direct image sheaf \u03d1\u2217\u21261X\u2217 , locally generated by elements dx1 x1 , . . . , dxr xr , dxr+1, . . . , dxn in a neighbourhood U as above. This sheaf is called the sheaf of differential 1-forms on X with logarithmic poles along Y . (See [GH94] and especially the papers of Deligne such as [Del71] for more on this structure.) Now, let X denote the algebraic variety AnC, and let \u2126X\/C be its sheaf of Ka\u0308hler dif- ferentials over C. \u2126X\/C is locally free; the (geometric) vector bundle associated to \u2126X\/C, TX := Spec (Sym\u2126X\/C), is called the total tangent space of X. It is straightforward to show that J1(X) \u223c= TX . We refer to a section v of the structure morphism TX \u2192 X as a vector field on X; note that such a v is an X-valued 1-jet in X. Let D be the (effective) Cartier divisor on X defined by the global section X1 \u00b7 \u00b7 \u00b7Xr. There is a sheaf \u2126X\/C(logD) onX associated toD analogous to the sheaf \u2126 1 X(logY ) described above in the analytic context. This is the sheaf B\u0303 of OX-modules associated to the free C[X] = C[X1, . . . , Xn]-module B = C[X] \u00b7 dX1 X1 \u2295 . . .\u2295 C[X] \u00b7 dXr Xr \u2295 C[X] \u00b7 dXr+1 \u2295 . . .\u2295 C[X] \u00b7 dXn; that is, \u2126X\/k(logD) = B\u0303. Further, there is a vector bundle TX(logD) := Spec (Sym \u2126X\/C(logD)) 2 over X called the logarithmic total tangent space of X with respect to the divisor D. There is a canonical injection \u2126X\/C \u2192 \u2126X\/C(logD) from which we obtain a morphism TX(logD)\u2192 TX factoring the structure morphism TX(logD)\u2192 X. One refers to a section of TX(logD)\u2192 X as a vector field on X with logarithmic poles along D (though we may simply use vector field logarithmic along D, or logarithmic vector field). A vector field v on X is written v = f1 \u00b7 \u2202\u2202X1 +\u00b7 \u00b7 \u00b7+fn \u00b7 \u2202\u2202Xn , with fi \u2208 C[X] for each i. Here \u2202 \u2202Xi is the homomorphism \u2126X\/C \u2192 C[X] determined by the Kronecker delta: \u2202\u2202Xi (dXj) = \u03b4ij for 1 \u2264 i, j \u2264 n. Supposing that D is a divisor with normal crossings as above, a vector field logarithmic along D has the form v = g1 \u00b7X1 \u00b7 \u2202 \u2202X1 + \u00b7 \u00b7 \u00b7+ gr \u00b7Xr \u00b7 \u2202 \u2202Xr + fr+1 \u00b7 \u2202 \u2202Xr+1 + \u00b7 \u00b7 \u00b7+ fn \u00b7 \u2202 \u2202Xn , with gi \u2208 C[X]; that is for such a vector field Xi|fi for every 1 \u2264 i \u2264 r. The isomorphism between J1(X) and TX lets us reformulate this in terms of jets. Namely, the vector field v is anX-valued point of J1(X) corresponding to a homomorphism C[X]\u2192 C[X][t]\/(t2). Since v is a section of the projection pi1, this homomorphism is the one determined by Xi 7\u2192 Xi+fit. When v is logarithmic along D this becomes Xi 7\u2192 Xi+(gi \u00b7Xi)t = Xi(1+git) for 1 \u2264 i \u2264 r; that is, Xi maps to Xi times a unit of the ring C[X][t]\/(t2). Equivalently, the equation X1 \u00b7 \u00b7 \u00b7Xr defining D maps to X1 \u00b7 \u00b7 \u00b7Xr times a unit. We can restate this last condition as follows: an equation of the (normally crossing, effective Cartier) divisor D pulls back to an equation for the divisor D1 := {(X \u00d7 Spec C[t]\/(t2), X1 \u00b7 \u00b7 \u00b7Xr)}. That is, if v\u03b3 : X \u00d7 Spec C[t]\/(t2) \u2192 X is the X-valued jet corresponding to v, then the morphism of sheaves (v\u03b3) \u2217 : OX \u2192 (v\u03b3)\u2217OX\u00d7Spec C[t]\/(t2) takes a local equation for D to a local equation for D1. We observe here that the condition \u201cv is a logarthmic vector field along D\u201d can be stated functorially. That is, given any schemes X and Z of finite type over any (algebraically closed) field, and any m \u2265 0 we may ask which Z-valued m-jets on X pull back some fixed divisor D on X. These m-jets will comprise the Z-valued points of a scheme that we call the mth logarithmic jet scheme of X with respect to the divisor D. In fact, we can work in more generality, parametrizing the m-jets in X that pull back a fixed family of effective Cartier divisors (D1, . . . , Dr). In the case of a normally crossing divisor on affine space X, it will then follow that a section of the logarithmic jet scheme of X with respect to D corresponds exactly to a vector field on X logarithmic along the divisor. In the proceeding section we will recall some notions that are basic in algebraic geometry, but essential to our study. Namely we will recall the functor of points of a scheme, and Cartier divisors on schemes. Following this we will fix a framework, the categories of pairs, for working with divisors on schemes and morphisms pulling their local equations back to the domain. Following these two sections we will move on to use this framework to prove the existence of logarithmic jet schemes associated to any pair (X, (D1, . . . , Dr)) as above. Here, results about the jet schemes generalize to such pairs, allowing a constructive proof; we obtain equations for the logarithmic jet schemes similarly to the method above in the 3 case of ordinary jet schemes. Finally, we will conclude with a short summary of our work, and then make some closing remarks on likely improvements to the choice of categories in which we can prove our results. 4 2 Preliminaries In this section we collect some definitions and results that we will use in the following sections. We will begin by recalling the definition of the functor of points of an object in a general category, and stating Yoneda\u2019s Lemma. This notion is basic, but fundamental; our main result uses Yoneda\u2019s lemma to prove that a certain functor is representable. We also include the definitions of Cartier and effective Cartier divisors on schemes, as we will use these throughout. 2.1 Functors of Points and Yoneda\u2019s Lemma From the formulation of scheme-theoretic algebraic geometry in terms of prime ideal spectra and their Zariski topologies on arbitrary commutative rings, situations arise in which not all the information encapsulated by a scheme is captured by the underlying point-sets. As a simple example, the points of a (fibered) product scheme are not necessarily in direct correspondence with the points of the Cartesian product of the underlying sets. Further, the Zariski-topology on a scheme is defined in such a way that generic points of a scheme do not relate exactly the geometry of what one usually considers to be a point. Thanks to Grothendieck, the present language of algebraic geometry includes an alterate notion of points on a scheme. Namely to any scheme we have an associated \u201cfunctor of points\u201d. Though seemily set at a high level of abstraction (defined as a process rather than as an object), this functorial notion of points retains, and effectively describes in terms of sets, (universal) properties we expect in geometry. With regards to the example above, the functor of points of a (fibered) product of schemes is canonically isomorphic to the fibered product of the functors of points of the factors, which is in essence a Cartesian product of sets. Let us recall the definition of functors of points. It is possible, and it will be more efficient for us, to define functors of points of objects in a general category. In particular, we will talk of the functor of points of a \u201cpair\u201d in the next chapter. Let X and Y denote objects in a category \u0393. Recall that the functor of points of X, denoted hX , is the (contravariant) functor defined as follows: let hX : (\u0393) \u25e6 \u2192 Sets take any Y to the set hX(Y ) = Hom\u0393(Y,X), where (\u0393) \u25e6 denotes the opposite category to \u0393. In this context, a morphism \u03c6 : Y \u2192 X is referred to as a Y -valued point of X. Further, recall that the mapping h : \u0393 \u2192 Fun((\u0393)\u25e6,Sets) taking X to hX is a (covariant) functor. We include the following fundamental fact from category theory: Lemma (Yoneda) 2.1. Let X and Y be objects in a category \u0393 as above. Then, (i) if F : (\u0393)\u25e6 \u2192 Sets is a functor, the natural transformations from hX = Hom\u0393(\u2212, X) to F are in natural correspondence with the elements of F(X). (ii) if hX = Hom\u0393(\u2212, X) \u223c= Hom\u0393(\u2212, Y ) = hY , X \u223c= Y . That is, h : X \u2192 hX is fully faithful. 5 When \u0393 is the category of k-schemes, this result can be refined to the following: Proposition 2.2. The functor h : k \u2212 Schemes\u2192 Fun(k \u2212Algebras,Sets) is a fully faithful functor from the category of schemes over k to the category of functors from k-Algebras to Sets . That is, a scheme over k is determined by the restriction of its functor of points to the category of affine schemes over k. One may actually replace k with any commutative ring R here; however, we do not need this generality. We shall not provide proofs here as they are easily found elsewhere (see e.g. [EH00] or [FmI+05]). These results are crucial in obtaining a suitable parameter space via a concise functorial definition (e.g. the jet scheme Jm(X) parametrizing jets on a scheme X). The first part of Yoneda\u2019s lemma tells us in particular that natural transformations from hX to hY naturally correspond to morphisms from X to Y . The second part tells us that X is uniquely deter- mined by hX . Hence, rather than simply studying the objects X and Y and the morphisms between them in \u0393, we may alternatively study their functors of points, transferring our inquiry into the broader context of natural transformations between functors. Finally, the notion of a representable functor will be important for us. Recall that a functor F : (\u0393)\u25e6 \u2192 Sets is a representable functor if there is some object X in \u0393 such that hX \u223c= F. Such an object X is unique by the second part of Yoneda\u2019s lemma. In this case we also say that X represents the functor F. We shall return to functors of points later on; in particular, proposition 2.2 has an analogue in the categories of pairs to be defined. 2.2 Divisors In the first part of 2.2 we will collect some necessary definitions, particularly those of Cartier divisors and predivisors on a scheme. The second part of this section will link these two notions, and state a useful result relating divisors and predivisors on X to those on a scheme Y , given a morphism Y \u2192 X. 2.2.1 Definitions of Divisors We recall here the notion of a Cartier divisor. We will almost exclusively work with effective Cartier divisors in the following sections, and we define these as well. For a thorough introduction to divisors, see [Har06]. Let us first agree on the notation a \u2208 nzd(R) for \u201ca is a non-zerodivisor in the ring R\u201d. Given a scheme X and an open neighbourhood U \u2286 X, let SX(U) \u2286 \u0393(U,OX) denote the set of sections over U that are non-zerodivisors in every local ring OX,p with p \u2208 U . The mapping U 7\u2192 SX(U)\u22121\u0393(U,OX) is a pre-sheaf on X; its associated sheaf is named the sheaf of total quotient rings of X, denoted by MX . Further, let the sheaf of multiplicative groups of invertible elements of a sheaf of rings G be denoted by G\u2217. Cartier divisors are defined as follows: 6 Definition 2.2.1. A Cartier divisor D on X is a global section of the sheaf M\u2217X\/O\u2217X . Thus, we may specify a Cartier divisor D on X with an open covering {U\u03b1 : \u03b1 \u2208 A} of X and an element f\u03b1 \u2208 \u0393(U\u03b1,M\u2217X) for each \u03b1, such that for every \u03b1, \u03b2 \u2208 A the quotient f\u03b1\/f\u03b2 \u2208 \u0393(U\u03b1 \u2229 U\u03b2,O\u2217X). We write D = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} for such an object. Remark 2.1. Let us unravel this definition for the case X is of finite type, and in particular is locally Noetherian. Remember that if R is a Noetherian ring, then r \u2208 nzd(R) if and only if r\/1 \u2208 nzd(Rp) for all prime ideals p \u2264 R. When specifying a Cartier divisor D = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} on a locally Noetherian X, we may assume that every U\u03b1 = Spec R\u03b1 is an affine open subscheme such that R\u03b1 is a Noetherian ring. Then, f\u03b1 \u2208 \u0393(U\u03b1,M\u2217X) is equivalent to f\u03b1 = g\u03b1\/h\u03b1 for g\u03b1, h\u03b1 \u2208 nzd(R\u03b1). From the definition, we see that D = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} and D\u2032 = {(W\u03b3, h\u03b3) : \u03b3 \u2208 G} determine the same Cartier divisor if for any \u03b1 and \u03b3 such that U\u03b1\u2229W\u03b3 6= \u2205 the restrictions of f\u03b1 and h\u03b3 differ by a unit in the ring \u0393(U\u03b1 \u2229W\u03b3,OX); that is, f\u03b1|U\u03b1\u2229W\u03b3 = u\u03b1,\u03b3 \u00b7 h\u03b3|U\u03b1\u2229W\u03b3 for some u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229W\u03b3,O\u2217X). We may restrict a Cartier divisor D to any open subscheme U of X. The restriction of D to U is the Cartier divisor {(U\u03b1 \u2229 U, f\u03b1|U\u03b1\u2229U) : \u03b1 \u2208 A} on U , denoted D|U . Effective Cartier divisors, defined as follows, are those Cartier divisors that correspond to closed subschemes whose sheaf of ideals can locally be generated by a single section that is a non-zerodivisor (i.e. locally principal proper closed subschemes): Definition 2.2.2. A Cartier divisor D = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} on X is called effective if f\u03b1 \u2208 \u0393(U\u03b1,OX) for every \u03b1 \u2208 A. In other words, D is an effective Cartier divisor on X if and only if D defines a closed subscheme XD \u2192 X whose sheaf of ideals JD is invertible (i.e. locally isomorphic to OX). The set of Cartier divisors on a scheme X forms a group Div(X), and in \u201cnice\u201d situations, such as for subschemes of projective space over a field, Div(X) is generated by the effective Cartier divisors. We will not dwell on properties of divisors here; for a detailed treatment see [EH00], [Har06], [Gro67] or any of the litany of references that exists touching on the subject. Though we will work mainly with effective Cartier divisors in the following sections, the condition that f\u03b1,p \u2208 nzd(OX,p) for every p \u2208 U\u03b1, on an effective Cartier divisor D as above, is quite restrictive. Since it may be desirable from a geometric perspective to loosen this condition, we include the following definition: Definition 2.2.3. A predivisor D\u2032 on X is a collection {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} satisfying the following: \u2022 {U\u03b1 : \u03b1 \u2208 A} is an open cover of X, \u2022 f\u03b1 \u2208 \u0393(U\u03b1,OX) for all \u03b1 \u2208 A, and \u2022 for every \u03b1, \u03b2 \u2208 A such that U\u03b1 \u2229 U\u03b2 6= \u2205, there exists some u\u03b1,\u03b2 \u2208 \u0393(U\u03b1 \u2229 U\u03b2,O\u2217X) such that f\u03b1|U\u03b1\u2229U\u03b2 = u\u03b1,\u03b2 \u00b7 f\u03b2|U\u03b1\u2229U\u03b2 . 7 Remark 2.2. It is important to note that every effective Cartier divisorD onX defines many predivisors on X; to every equivalent presentation of D, there is an associated predivisor. Conversely, given a predivisor D\u2032 = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} such that f\u03b1,p \u2208 nzd(OX,p) for all p \u2208 U\u03b1 and all \u03b1 \u2208 A, there is an effective Cartier divisor associated toD\u2032, and this Cartier divisor is associated to any predivisor whose presentation satisfies the natural equivalence condition with D\u2032. In the following subsection, we will elaborate on the link between predivisors on X and effective Cartier divisors on X. 2.2.2 Pullbacks of Divisors In this subsection we will describe the effects of morphisms on predivisors and Cartier divisors (in the case of Cartier divisors, we refer the reader to [Gro67] for further details). Let us agree that, when unmodified, divisor shall mean effective Cartier divisor in all that follows. First, let \u03c6 : Y \u2192 X be a k-morphism between k-schemes Y and X; by definition this is a continuous map \u03c6 : Y \u2192 X of topological spaces, coupled with a morphism \u03c6\u2217 : OX \u2192 \u03c6\u2217OY of sheaves on X (which behaves \u201cnicely\u201d with regard to localisation). Further, let D\u2032 = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} be a predivisor on X. Let \u03c6\u2217\u03b1 def = \u03c6\u2217U\u03b1 : \u0393(U\u03b1,OX)\u2192 \u0393(\u03c6\u22121(U\u03b1),OY ), so that \u03c6\u2217\u03b1(f\u03b1) \u2208 \u0393(\u03c6\u22121(U\u03b1),OY ). We find that the collection {(\u03c6\u22121(U\u03b1), \u03c6\u2217\u03b1(f\u03b1)) : \u03b1 \u2208 A} is a predivisor on Y . In particular note that the third condition for predivisors holds, as \u03c6\u2217\u03b1(f\u03b1)|\u03c6\u22121(U\u03b1)\u2229\u03c6\u22121(U\u03b2) = \u03c6\u2217U\u03b1\u2229U\u03b2(u\u03b1,\u03b2) \u00b7 \u03c6\u2217\u03b2(f\u03b2)|\u03c6\u22121(U\u03b1)\u2229\u03c6\u22121(U\u03b2), for every \u03b1, \u03b2 \u2208 A such that \u03c6\u22121(U\u03b1) \u2229 \u03c6\u22121(U\u03b2) 6= \u2205. Note that \u03c6\u2217U\u03b1\u2229U\u03b2(u\u03b1,\u03b2) \u2208 \u0393(\u03c6\u22121(U\u03b1) \u2229 \u03c6\u22121(U\u03b2),O\u2217Y ) is invertible, as u\u03b1,\u03b2 \u2208 \u0393(U\u03b1 \u2229 U\u03b2,O\u2217X) is. We make the following definition: Definition 2.2.1. Given a predivisor D\u2032 on X, and a morphism Y \u2192 X as above, the predivisor {(\u03c6\u22121(U\u03b1), \u03c6\u2217\u03b1(f\u03b1)) : \u03b1 \u2208 A} on Y is called the pullback of D\u2032 by \u03c6, denoted \u03c6\u2217(D\u2032). We say that \u03c6 pulls back D\u2032 to \u03c6\u2217(D\u2032). Recall that for every p \u2208 X and any q \u2208 \u03c6\u22121(p) there is an induced morphism \u03c6\u2217q : OX,p \u2192 OY,q of local rings. Suppose that p \u2208 U\u03b1 \u2286 X; this morphism takes f\u03b1,p to the element \u03c6\u2217q(f\u03b1,p) = (\u03c6 \u2217 \u03b1(f\u03b1))q. Hence, if \u03c6 \u2217 q(f\u03b1,p) \u2208 nzd(OY,q) for every such p, q, and \u03b1, then the pullback \u03c6\u2217(D\u2032) = {(\u03c6\u22121(U\u03b1), \u03c6\u2217\u03b1(f\u03b1)) : \u03b1 \u2208 A} will define an effective Cartier divisor on Y , by remark 2.2. We obtain the following lemma: Lemma 2.1. Suppose that D\u2032 = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} and D\u2032\u2032 = {(W\u03b3, h\u03b3) : \u03b3 \u2208 G} are predivisors obtained from equivalent presentations of the effective Cartier divisor D. More- over, suppose that D\u2032 satisfies the condition above, so that \u03c6\u2217(D\u2032) yields an effective Cartier divisor on Y . Then, the pullback \u03c6\u2217(D\u2032\u2032) also yields an effective Cartier divisor on Y , equal to the one obtained from \u03c6\u2217(D\u2032). 8 Proof. To verify this, we must show that the pullback \u03c6\u2217(D\u2032\u2032) is locally defined by sections that differ by a unit from those defining \u03c6\u2217(D\u2032) on the intersections of their respective domains. Now, as \u03c6\u2217\u03b1(f\u03b1) is locally a non-zerodivisor, so is \u03c6 \u2217 \u03b1,\u03b3(f\u03b1|U\u03b1\u2229W\u03b3 ) for all \u03b1 and \u03b3 such that U\u03b1 \u2229W\u03b3 6= \u2205, where \u03c6\u2217\u03b1,\u03b3 = \u03c6\u2217U\u03b1\u2229W\u03b3 . Then, \u03c6\u2217\u03b1,\u03b3(f\u03b1|U\u03b1\u2229W\u03b3 ) = \u03c6\u2217\u03b1,\u03b3(u\u03b1,\u03b3 \u00b7 h\u03b3|U\u03b1\u2229W\u03b3 ) = \u03c6\u2217\u03b1,\u03b3(u\u03b1,\u03b3) \u00b7 \u03c6\u2217\u03b1,\u03b3(h\u03b3|U\u03b1\u2229W\u03b3 ), for some u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229 W\u03b3,O\u2217X). Since u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229 W\u03b3,O\u2217X) is invertible, we have \u03c6\u2217\u03b1,\u03b3(u\u03b1,\u03b3) \u2208 \u0393(\u03c6\u22121(U\u03b1 \u2229W\u03b3),O\u2217Y ) = \u0393(\u03c6\u22121(U\u03b1)\u2229 \u03c6\u22121(W\u03b3),O\u2217Y ); that is, \u03c6\u2217\u03b1,\u03b3(u\u03b1,\u03b3) is invert- ible. Hence \u03c6\u2217\u03b1,\u03b3(h\u03b3|U\u03b1\u2229W\u03b3 ) is locally a non-zerodivisor, showing that \u03c6\u2217\u03b3(h\u03b3) is itself locally a non-zerodivisor. Also, we see that on \u03c6\u22121(U\u03b1 \u2229W\u03b3) = \u03c6\u22121(U\u03b1) \u2229 \u03c6\u22121(W\u03b3) the local equa- tions \u03c6\u2217\u03b1(f\u03b1) and \u03c6 \u2217 \u03b3(h\u03b3) differ by a unit. Hence, the predivisors \u03c6 \u2217(D\u2032) and \u03c6\u2217(D\u2032\u2032) yield equivalent effective Cartier divisors. We formalize this case with the following definition: Definition 2.2.2. Let D be an effective Cartier divisor on the scheme X and let \u03c6 : Y \u2192 X be a morphism, as in lemma 2.1. We define the pullback of D by \u03c6 to be the effective Cartier divisor on Y obtained from the pullback \u03c6\u2217(D\u2032) of the predivisor D\u2032 = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A}, where {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} is any presentation of D. We denote the pullback of D as \u03c6\u2217(D), and say in this case that \u03c6 pulls back the effective Cartier divisor D to \u03c6\u2217(D). The following definition is convenient in the context of the categories Pairsr, described in the following section: Definition 2.2.3. Let r \u2265 1 be an integer, and let D\u2032 = (D\u20321, D\u20322, . . . , D\u2032r) be an r-tuple of predivisors on the scheme X. Given a morphism \u03c6 : Y \u2192 X as above, we define the pullback of D\u2032 by \u03c6 to be the r-tuple (\u03c6\u2217(D\u20321), \u03c6\u2217(D\u20322), . . . , \u03c6\u2217(D\u2032r)), denoted \u03c6\u2217(D\u2032). In the case that each D\u2032i is a presentation of a divisor Di, then as above each pullback \u03c6 \u2217(D\u2032i) is a presentation of a divisor determined by Di. Letting D denote the r-tuple of divisors (D1, D2, . . . , Dr), we define the pullback of D by \u03c6 to be the r-tuple (\u03c6\u2217(D1), \u03c6\u2217(D2), . . . , \u03c6\u2217(Dr)) of divisors on Y . In this case, we say that \u03c6 pulls back the family D of divisors on X to the family \u03c6\u2217(D) on Y . We will end the section with a description of how, by \u201cremoving components\u201d from a scheme X of finite type over k, one can force a predivisor D\u2032 on X to describe an effective Cartier divisor D on some maximal closed immersion X \u2032 \u2192 X. Thus, any morphism Y \u2192 X of schemes of finite type such that \u03c6\u2217(D\u2032) defines an effective Cartier divisor on Y will factor through X \u2032. Lemma 2.2. Given a predivisor D\u2032 = {(U\u03b1, f\u03b1) : \u03b1 \u2208 A} on a scheme X of finite type over k, there exists a unique closed immersion i : X \u2032 \u2192 X such that (i) i\u2217(D\u2032) yields an effective Cartier divisor on X \u2032, and 9 (ii) for any k-morphism \u03c6 : Y \u2192 X such that \u03c6\u2217(D\u2032) yields an effective Cartier divisor on Y , there exists a morphism \u03c6\u2032 : Y \u2192 X \u2032 such that \u03c6 = i \u25e6 \u03c6\u2032. Consequently, the pullback by \u03c6\u2032 of the effective Cartier divisor defined by i\u2217(D\u2032) is the effective Cartier divisor defined by \u03c6\u2217(D\u2032). Proof. Let gi\u03b1 = f\u03b1|Vi\u03b1 \u2208 Ri\u03b1 , where {Vi\u03b1 = Spec Ri\u03b1 : i\u03b1 \u2208 I\u03b1} is an open cover of U\u03b1 by affines for each \u03b1 \u2208 A. Suppose that gi\u03b1 is a zerodivisor in Ri\u03b1 . We begin by letting Si\u03b1 = {g\u03b3i\u03b1 : \u03b3 \u2265 0} be the multiplicative subset in Ri\u03b1 generated by gi\u03b1 , and we consider the canonical ring homomorphism hi\u03b1 : Ri\u03b1 \u2192 Ri\u03b1 [S\u22121i\u03b1 ]. Let Ki\u03b1 = ker(hi\u03b1). Notice that a \u2208 Ki\u03b1 if and only if \u2203 \u03b3 such that g\u03b3i\u03b1 \u00b7 a = 0 in Ri\u03b1 . Thus, the ring Ri\u03b1\/Ki\u03b1 is the largest quotient ring of Ri\u03b1 in which every zerodivisor of gi\u03b1 equals zero; that is, Ki\u03b1 is the minimal ideal containing all such elements. Now let \u03c6 be a morphism as in the statement of the lemma. The homomorphism (\u03c6|\u03c6\u22121(Vi\u03b1 ))\u2217 : Ri\u03b1 \u2192 Bi\u03b1 = \u0393(\u03c6\u22121(Vi\u03b1),OY ) must factor through Ri\u03b1\/Ki\u03b1 ; i.e. the mor- phism \u03c6|\u03c6\u22121(Vi\u03b1 ) : \u03c6\u22121(Vi\u03b1)\u2192 Vi\u03b1 = SpecRi\u03b1 factors through SpecRi\u03b1\/Ki\u03b1 . Thus the ideals Ki\u03b1 indexed over all \u03b1 \u2208 A and i\u03b1 \u2208 I\u03b1 define a closed immersion i : X \u2032 \u2192 X through which \u03c6 : Y \u2192 X must factor. By construction, we see that the pullback i\u2217(D) yields an effective Cartier divisor on X \u2032. Moreover, it is immediate that the pullback of this effective Cartier divisor is defined by \u03c6\u2217(D). 10 3 Categories of Pairs In the first part of this section, we define the categories of pairs. This allows us to use some categorical arguments in studying scheme morphisms that pull back divisors. Following this, we collect some definitions and examples in the categories of pairs that will be used in the next section. 3.1 Defining the Categories of Pairs The categories of pairs over k provide us primarily with a convenient framework for studying jets on a scheme that pull back divisors. In any category of pairs we will define the \u201cjet pairs\u201d analogously to jet schemes, in terms of the representability of a certain functor. For any r \u2265 0 there is a category of pairs k-Pairsr, though we will usually work in a general category Pairs, specifying r and k only as needed. An object in Pairs consists of a scheme X of finite type over k coupled with an ordered r-tuple D = (D1, D2, . . . , Dr) of its effective Cartier divisors Di, 1 \u2264 i \u2264 r. This forms the pair X = (X,D) (again, one may wish specify r-pair, pair over k, r-pair over k, etc.). We must describe the morphisms in Pairs. Given two pairs X = (X,D) and Y = (Y, E) \u2208 Pairs, we define HomPairs(Y,X) = {\u03c6 \u2208 Homk\u2212Schemes(Y,X) : \u03c6\u2217(D) = E}. Thus, for \u03c6 : Y \u2192 X to be considered as a morphism of pairs, the pullback of D by \u03c6 must exist and equal E . It is clear from the definitions that the identity idX : (X,D) \u2192 (X,D) is a morphism of pairs; simply note that id\u2217X = idOX . Further, pullbacks behave well with regards to composition; that is, given two morphisms of pairs \u03c8 : (Z,F) \u2192 (Y, E) and \u03c6 : (Y, E)\u2192 (X,D), their composition \u03c6\u25e6\u03c8 is a morphism of pairs. To verify this, note that if Di = {(U\u03b1i , f\u03b1i) : \u03b1i \u2208 Ai} is a presentation of Di, then Ei = {(\u03c6\u22121(U\u03b1i), \u03c6\u2217\u03b1i(f\u03b1i)) : \u03b1i \u2208 Ai} is a presentation of Ei, and so Fi = {(\u03c8\u22121(\u03c6\u22121(U\u03b1i)), \u03c8\u2217\u03c6\u22121(U\u03b1i )(\u03c6 \u2217 \u03b1i (f\u03b1i))) : \u03b1i \u2208 Ai} = {((\u03c6 \u25e6 \u03c8)\u22121(U\u03b1i), (\u03c6 \u25e6 \u03c8)\u2217\u03b1i(f\u03b1i)) : \u03b1i \u2208 Ai}, is a presentation of Fi, proving that the pullback of Di under \u03c6 \u25e6 \u03c8 exists and equals Fi. Hence k-Pairsr is a category. We choose to define k-Pairs0 to be the category of schemes of finite type over k, k-Schemes. At times we will want to focus our attention exclusively on pairs with affine underlying schemes, and (families of) divisors defined by global sections. Just as the affine schemes form a category, we let k-Aff Pairsr denote the category whose objects are pairs X = (X,D) in k-Pairsr such that X is an affine scheme, and D = ({(X, f1)}, . . . , {(X, fr)}) for some choice of presentations Di = {(X, fi)}. The morphisms between two objects are all those between the objects in Pairs. Hence, k-Aff Pairsr forms a full subcategory of k-Pairsr; we call this the category of affine pairs. Again, we will almost exclusively write Aff Pairs and work in the general category. 11 3.2 Definitions and Examples in the Categories of Pairs Here we collect some examples of morphisms and constructions in the categories of pairs that will be useful to us later on. 3.2.1 Open Subpairs and a Gluing Construction for Pairs The simplest examples of morphisms of pairs come from open subschemes. Let X = (X,D) be a pair, and U \u2286 X an open subscheme. The divisors Di for 1 \u2264 i \u2264 r naturally restrict to U (as mentioned in section 2.2) as the local equations for Di are non-zerodivisors in the stalks OU,p = OX,p for all p \u2208 U . So the open immersion U \u2192 X naturally defines an open immersion of pairs U\u2192 X, where U = (U,D|U) and D|U = (D1|U , . . . , Dr|U). We will refer to U as an open subpair of the pair X. We will define the intersection of two open subpairs U and V of X, whose underlying schemes U, V \u2286 X have non-empty intersection U \u2229V 6= \u2205, to be the open subpair U\u2229V = (U \u2229 V,D|U\u2229V ) of X. Suppose that {(X\u03b1,D\u03b1) : \u03b1 \u2208 A} is a collection of open subpairs of (X,D) indexed by the set A. We will call {(X\u03b1,D\u03b1) : \u03b1 \u2208 A} an open cover of (X,D) if {X\u03b1 : \u03b1 \u2208 A} is an open cover of X. Note that by assumption the families of divisors D\u03b1|X\u03b1\u2229X\u03b2 and D\u03b2|X\u03b1\u2229X\u03b2 are equivalent on the open subscheme X\u03b1 \u2229X\u03b2 for all \u03b1, \u03b2 \u2208 A, as they are both equivalent to D|X\u03b1\u2229X\u03b2 . Given another pair Y = (Y, E), and a morphism \u03c6 : Y \u2192 X, we would also like to speak of the preimage of an open subpair U \u2286 X. We let the preimage of U under \u03c6 refer to the open subpair \u03c6\u22121(U) = (\u03c6\u22121(U), E|\u03c6\u22121(U)) of Y. Notice that we have restricted our attention especially to open subschemes here. Suppose that Y \u2192 X is a closed immersion, and that (X,D) is a pair. In general it is certainly not true that the local sections defining a Cartier divisor on X will pull back to non-zerodivisors in the stalks of the structure sheaf of Y . Hence working with closed immersions is considerably more subtle; in general we must \u201cremove components\u201d in order to ensure we are always working in the category Pairs (see lemma 2.2). Example (Gluing Construction) 3.1. We now remind the reader of the gluing construc- tion for schemes, giving the analogous construction in Pairs. The reason that gluing works in Pairs is simple; gluing together a scheme from a collection of schemes with divisors, whose local equations coincide (up to multiplication by an invertible section) via the local isomorphisms defining the gluing, yields divisors on the new scheme that are locally defined by the original equations. That is, suppose first that we are given a collection of pairs {X\u03b1 = (X\u03b1,D\u03b1) : \u03b1 \u2208 A} indexed by a set A and for every \u03b1, \u03b2 \u2208 A such that \u03b2 6= \u03b1 an open subpair U\u03b1\u03b2 of X\u03b1. Suppose further that we have isomorphisms \u03c8\u03b1\u03b2 : U\u03b1\u03b2 \u2192 U\u03b2\u03b1 for all such \u03b1, \u03b2, that satisfy \u03c8\u03b2\u03b1 = \u03c8 \u22121 \u03b1\u03b2 for all \u03b1, \u03b2; that \u03c8\u03b1\u03b2(U\u03b1\u03b2 \u2229U\u03b1\u03b3) = U\u03b2\u03b1 \u2229U\u03b2\u03b3 \u2200\u03b1, \u03b2, \u03b3; and that \u03c8\u03b1\u03b2 \u25e6 \u03c8\u03b2\u03b3|U\u03b1\u03b2\u2229U\u03b1\u03b3 = \u03c8\u03b1\u03b3|U\u03b1\u03b2\u2229U\u03b1\u03b3 \u2200\u03b1, \u03b2, \u03b3. 12 Then we may glue together a pair along the isomorphisms \u03c8\u03b1\u03b2 analogously to the gluing of schemes. In fact, the underlying scheme is obtained by gluing along the morphisms \u03c8\u03b1\u03b2 considered as morphisms of schemes, while the r-tuple of divisors on the glued scheme will have local equations exactly those on any X\u03b1. The following example shows that flat morphisms of schemes are morphisms of pairs: Example 3.2. Let X = (X,D) be a pair, and let \u03c6 : Y \u2192 X be a morphism of schemes, such that Y is flat over X. This means that for every y \u2208 Y and x = \u03c6(y) the morphism \u03c6\u2217y : OX,x \u2192 OY,y makes OY,y into a flat OX,x-module. Let U \u2286 X be an open subscheme, and suppose that for each 1 \u2264 i \u2264 r the local equation of Di on U is fi. We pull the local equations for D back to \u03c6\u2217(fi) \u2208 \u03c6\u22121(U) \u2286 Y . Since \u03c6 makes Y flat over X, for every point y \u2208 \u03c6\u22121(U) we deduce that (\u03c6\u2217(fi))y = \u03c6\u2217y(fi,x) is a non-zerodivisor in OY,y. (This follows from a basic property of flat modules; namely, since fi,x \u2208 nzd(OX,x) and the morphism \u03c6\u2217y makes OY,y into a flat OX,x-module, fi,x remains a non-zerodivisor on OY,y (see e.g. [Eis04]).) Hence the pullback \u03c6\u2217(D) exists on Y , and so any flat morphism from a scheme to a scheme with attached family of effective Cartier divisors automatically pulls back the family, yielding a morphism of pairs. Of course, this implies that smooth and e\u0301tale morphisms also always pull back families of effective Cartier divisors. We shall refer to a morphism Y \u2192 X of pairs as flat (resp. e\u0301tale, smooth) if the underlying scheme-morphism is flat (resp. e\u0301tale, smooth). 3.2.2 m-jets in Pairs The reason for formulating Pairs as we have done stems from the following example. Let Y and X be schemes of finite type over k. Morphisms from the fibred product Y \u00d7 Spec k[t]\/(tm+1) to X are referred to as Y -valued m-jets, and are thought of as order m germs of arcs on X. We would like to study m-jets that pull back divisors on X. That is, given r-tuples D on X and E \u2032 on Y \u00d7 Spec k[t]\/(tm+1) we will study the morphisms of pairs (Y \u00d7 Spec k[t]\/(tm+1), E \u2032)\u2192 (X,D). As a particular example, let us consider the projection Y \u00d7 Spec k[t]\/(tm+1) \u2192 Y . Let E = (E1, . . . , Er) be an r-tuple of effective Cartier divisors on Y . For any 1 \u2264 i \u2264 r suppose that Vi = Spec Bi \u2286 Y is an open affine subscheme on which Ei is defined by gi \u2208 Bi. The preimage of Vi under the projection is isomorphic to Vi \u00d7 Spec k[t]\/(tm+1) = Spec Bi[t]\/(t m+1), and the morphism of structure sheaves takes the section gi on Vi to gi as an element in the ring Bi[t]\/(t m+1). Since gi is a non-zerodivisor in Bi, it is a non- zerodivisor in Bi[t]\/(t m+1). Further, as the rings Bi and Bi[t]\/(t m+1) are finitely generated k- algebras, and hence Noetherian, this implies that gi\/1 is an element inM\u2217Y\u00d7Spec k[t]\/(tm+1)(Vi\u00d7 Spec k[t]\/(tm+1)). Thus gi is locally the equation of an effective Cartier divisor on Vi \u00d7 Spec k[t]\/(tm+1) = Spec Bi[t]\/(t m+1) \u2286 Y \u00d7 Spec k[t]\/(tm+1). We denote this divisor Emi , and let Em def= (Em1 , Em2 , . . . , Emr ). Examining further, we find that gi \u2208 nzd(Bi) if and only if gi + gi1t + \u00b7 \u00b7 \u00b7 + gimtm \u2208 nzd(Bi[t]\/(t m+1)) for any gi1, . . . , gim \u2208 Bi. Therefore a divisor E \u2032 on Vi \u00d7 Spec k[t]\/(tm+1) 13 defined by gi + gi1t+ \u00b7 \u00b7 \u00b7+ gimtm is of the form above if and only if gi|gil for all 1 \u2264 l \u2264 m. Referring back to the introduction, this condition matches exactly the one we derived for 1-jets that guarantees they are logarithmic along a divisor with normal crossings. Thus, we make the following definition: Definition 3.2.1. Given pairs (Y, E) and (X,D) as above, a morphism of pairs from (Y \u00d7 Spec k[t]\/(tm+1), Em) to (X,D) is called a (Y, E)-valued m-jet in (X,D). Alternatively, we may use the terms m-jets logarithmic along D, or simply m-jets when the context is clear. Obviously, in Pairs0 = k-Schemes, a logarithmic m-jet is the same thing as a usual m-jet. Often, the way we work in the category Pairs is as follows: we begin with some pair (X,D) and a scheme-morphism Y \u2192 X, and then examine whether the pullback of D exists on Y . The way we defined logarithmic m-jets provides an example of this. This process seems to be in contrast to the way the category is defined; namely, the morphisms of pairs are those that a priori have well-defined pullbacks that coincide with an r-tuple of divisors on the domain. This is not a problem; the real advantage of the categorical formalism lies in the arguments and results it enables us to use, as in the next section. Now, consider the truncation homomorphism k[t]\/(tm \u2032+1) \u2192 k[t]\/(tm+1), where m\u2032 and m are integers such that m\u2032 \u2265 m \u2265 0. This morphism induces a morphism of affine schemes Spec k[t]\/(tm+1) \u2192 Spec k[t]\/(tm\u2032+1). Given a scheme Y consider the following diagram, which commutes: Y \u00d7 Spec k[t]\/(tm+1) - Spec k[t]\/(tm+1) Y \u00d7 Spec k[t]\/(tm\u2032+1) - \u03b7m \u2032,mY - Spec k[t]\/(tm \u2032+1) truncation ? Y ? - - Spec k ? So \u03b7m \u2032,m Y is the unique morphism of schemes guaranteed by the universal mapping property of the fibred product Y \u00d7Speck[t]\/(tm\u2032+1) making the diagram commute. As in the previous example, suppose that (Y, E) is a pair. Then we may pull E back to both fibred products Y \u00d7 Spec k[t]\/(tm+1) and Y \u00d7 Spec k[t]\/(tm\u2032+1), making \u03b7m\u2032,mY into a morphism of pairs. (Note that the local equations of the r-tuples remain essentially unchanged; only the ring they live in changes.) Thus, denoting (Y, E) by Y, let us write \u03b7m\u2032,mY for the morphism of pairs (Y \u00d7Speck[t]\/(tm+1), Em)\u2192 (Y \u00d7Speck[t]\/(tm\u2032+1), Em\u2032). We refer to such a morphism as a truncation morphism; note that we can pull back (Y, E)-valued m\u2032-jets to (Y, E)-valued m-jets via \u03b7m \u2032,m Y . We will write \u03b7 m\u2032 Y rather than \u03b7 m\u2032,0 Y when m = 0. Later on, we will use these morphisms to define \u201cprojection morphisms\u201d between jet pairs. Moving on, suppose that \u03c6 : Z \u2192 Y is a morphism, where Z = (Z,F) and Y = (Y, E). Then there is a morphism \u03c6m : Z \u00d7 Spec k[t]\/(tm+1) \u2192 Y \u00d7 Spec k[t]\/(tm+1) of schemes 14 guaranteed by the universal mapping property for the fibred product Y \u00d7 Spec k[t]\/(tm+1). \u03c6m is in fact a morphism of pairs \u03c6m : (Z\u00d7Speck[t]\/(tm+1),Fm)\u2192 (Y\u00d7Speck[t]\/(tm+1), Em). This follows since pulling back the local equations of Em by \u03c6m is equivalent to pulling back the local equations of E by the composition Z \u00d7 Spec k[t]\/(tm+1)\u2192 Z \u03c6\u2212\u2192 Y . Thus for every \u03c6 as above we obtain an induced morphism \u03c6m such that the following commutes: (Z \u00d7 Spec k[t]\/(tm+1),Fm) \u03c6m- (Y \u00d7 Spec k[t]\/(tm+1), Em) (Z,F) projection ? \u03c6 - (Y, E) projection ? We will use morphisms of this form in the results in the following section. To finish this section, let us explicitly give the definition of the functor of points of a pair, as we will work with these immediately in what follows. Example 3.3. Recall that in section 2.1 we defined the functor of points of an object in a general category. Let X \u2208 Pairs; the functor of points of the pair X, denoted hX, is defined to be the functor hX : (Pairs) \u25e6 \u2192 Sets such that hX(Y) = HomPairs(Y,X) for Y \u2208 Pairs. 15 4 Jet Pairs and Logarithmic Jet Schemes We prove some results about pairs that enable us to demonstrate the existence of a parameter space for certain (Y, E)-valued m-jets on a pair (X,D). We call this parameter space, which lives in a category of pairs, the \u201cjet pair\u201d associated to the pair (X,D). The underlying scheme of the jet pair is referred to as the \u201clogarithmic jet scheme of X with respect to D\u201d. The preliminary results generalize analogous results in the category of schemes, which are employed to give a constructive proof of the existence of the jet schemes associated to a chosen scheme. Indeed, the scheme case is subsumed within ours by the case Pairs0. 4.1 The Main Construction Let X = (X,D) \u2208 Pairs, and let jm denote Spec k[t]\/(tm+1). The mapping LXm : (Y, E) 7\u2192 HomPairs((Y \u00d7 jm, Em), (X,D)) defines a covariant functor (Pairs)\u25e6 \u2192 Sets (in other words a contravariant functor from Pairs to Sets). We will prove that this functor is representable for all m > 0, i.e. that there exists a pair Jm(X) = (J D m(X), Jm(D)) such that hJm(X) \u223c= LXm. (Note in addition that LX0 is always representable by X). To do this we will use two helpful facts; first, that one can determine whether such a functor is representable from its action on affine pairs, and second, that the functors hJm(X) can be obtained by \u201cgluing together affine pieces\u201d in the sense of the gluing construction of example 3.1. Once these facts are established we will only need to work in the category of affine pairs to prove representability; it will then be true for all pairs. We begin with the first claim, noting that this is only an adjustment of the analogous fact, lemma 2.2 on page 6, in which the roles of the categories of pairs and affine pairs (with arrows reversed) are taken by the categories of k-schemes and k-algebras respectively. Proposition 4.1. Let X = (X,D) be a pair over k. The restriction of the functor of points hX of X to the category of affine pairs over k determines X. That is, the func- tor h : Pairs - Func((Aff Pairs)\u25e6, (Sets)) X - hX|(Aff Pairs)\u25e6 is fully faithful. Proof. Let Y = (Y, E) also be an element of Pairs, and let hX and hY denote the restrictions hX|(Aff Pairs)\u25e6 and hY|(Aff Pairs)\u25e6 respectively for the remainder of the proof. Any morphism t : Y \u2192 X defines a natural transformation ht : hY \u2192 hX by composition of t with morphisms \u03c6 : Z\u2192 Y for any Z = (Z,F) \u2208 Aff Pairs. That is, ht(Z) : hY(Z) - hX(Z) HomPairs(Z,Y) - HomPairs(Z,X) \u03c6 - t \u25e6 \u03c6 16 Hence, it is sufficient to prove that any natural transformation \u03c4 : hY \u2192 hX is equal to ht for some unique morphism t : Y \u2192 X. Let \u03c4 be such a natural transformation. We shall obtain the desired morphism t from \u03c4 . First, let {Y\u03b1 = (Y\u03b1, E\u03b1) : \u03b1 \u2208 A} be an open cover of Y by affines. Let \u0131\u03b1 : Y\u03b1 \u2192 Y denote the inclusion for each \u03b1. Then, there is a unique morphism t\u03b1 def = \u03c4Y\u03b1(\u0131\u03b1) : Y\u03b1 \u2192 X corresponding to each inclusion. We claim that the t\u03b1\u2019s glue together to define the desired morphism t : Y \u2192 X. To show this, first let Y\u03b1\u03b2 = Y\u03b1 \u2229Y\u03b2 for every \u03b1, \u03b2 \u2208 A. Further, let \u0131\u03b1\u03b2 : Y\u03b1\u03b2 \u2192 Y\u03b1 denote the inclusion of the intersection into Y\u03b1. Then, by naturality of \u03c4 we see that \u03c4Y\u03b1\u03b2(\u0131\u03b1 \u25e6 \u0131\u03b1\u03b2) = t\u03b1 \u25e6 \u0131\u03b1\u03b2, and that \u03c4Y\u03b2\u03b1(\u0131\u03b1 \u25e6 \u0131\u03b1\u03b2) = t\u03b2 \u25e6 \u0131\u03b2\u03b1, using the fact that \u0131\u03b2 \u25e6 \u0131\u03b2\u03b1 = \u0131\u03b1 \u25e6 \u0131\u03b1\u03b2. But Y\u03b1\u03b2 = Y\u03b2\u03b1, therefore t\u03b1 \u25e6 \u0131\u03b1\u03b2 = t\u03b2 \u25e6 \u0131\u03b2\u03b1; that is, the restrictions of the t\u03b1\u2019s to the intersections Y\u03b1 \u2229Y\u03b2 are equal, and we may glue the morphisms to define t : Y \u2192 X. Now we will prove ht = \u03c4 by showing that ht(Z)(\u03c6) = \u03c4Z(\u03c6) for any Z and any element \u03c6 : Z \u2192 Y of hY(Z). Letting Z\u03b1 = \u03c6\u22121(Y\u03b1), and remebering that ht(Z)(\u03c6) = t \u25e6 \u03c6, we see that it suffices to prove (t \u25e6 \u03c6)|Z\u03b1 = \u03c4Z(\u03c6)|Z\u03b1 for all \u03b1 \u2208 A. Let \u03c6\u03b1 = \u03c6|Z\u03b1 : Z\u03b1 \u2192 Y\u03b1 and let \uf6be\u03b1 : Z\u03b1 \u2192 Z be the inclusion for each \u03b1 \u2208 A. Then by naturality of \u03c4 we find that \u03c4Z\u03b1(\u0131\u03b1 \u25e6 \u03c6\u03b1) = t\u03b1 \u25e6 \u03c6\u03b1, and using \u0131\u03b1 \u25e6 \u03c6\u03b1 = \u03c6 \u25e6 \uf6be\u03b1 that \u03c4Z\u03b1(\u0131\u03b1 \u25e6 \u03c6\u03b1) = \u03c4Z(\u03c6) \u25e6 \uf6be\u03b1. Thus, (t \u25e6 \u03c6)|Z\u03b1 = \u03c6\u03b1 \u25e6 t\u03b1 = \u03c4Z(\u03c6) \u25e6 \uf6be\u03b1 = \u03c4Z(\u03c6)|Z\u03b1 for any \u03b1. Hence indeed t \u25e6 \u03c6 = \u03c4Z(\u03c6), and we are done. So supposing that there is a pair Jm(X) and an isomorphism of functors hJm(X)|(Aff Pairs)\u25e6 \u223c= LXm|(Aff Pairs)\u25e6 , by this proposition we may conclude that hJm(X) \u223c= LXm as functors on (Pairs)\u25e6. Before we move on to the second claim, let us suppose that given any pair X and any m > 0, there is a pair Jm(X) = (J D m(X), Jm(D)) that represents LXm. Recall from an example in 3.2.2 that for a pair Z = (Z,F) and any m\u2032 > m, the truncation homomorphism k[t]\/(tm\u2032)\u2192 k[t]\/(tm) induces a morphism \u03b7m \u2032,m Z : (Z\u00d7 jm,Fm)\u2192 (Z\u00d7 jm\u2032 ,Fm \u2032 ) of pairs. Using this, we can define a mapping pim \u2032,m Z : hJm\u2032 (X)(Z)\u2192 hJm(X)(Z) by pulling back Z-valued points of Jm\u2032(X) to Z-valued points of Jm(X) via \u03b7 m\u2032,m Z . That is, the Z-valued point \u03b3\u0303 of Jm\u2032(X) corresponds to a unique m \u2032-jet \u03b3 that we pull back with \u03b7m \u2032,m Z to an m-jet. This m-jet corresponds uniquely to a Z-valued point of Jm(X) that will be the image pim \u2032,m Z (\u03b3\u0303) of \u03b3\u0303. We would like to show that these mappings on Z-valued points define a morphism from Jm\u2032(X) \u2192 Jm(X) in the category Pairs. By Yoneda\u2019s lemma 2.1 this is equivalent to the following fact, which we prove: Lemma 4.2. The mappings pim \u2032,m Z : hJm\u2032 (X)(Z) \u2192 hJm(X)(Z) over all Z define a natural transformation pim \u2032,m between the functors hJm\u2032 (X) and hJm(X). 17 Proof. Suppose that \u03c6 : Z \u2192 Y is a morphism of pairs. We must show that the following diagram commutes: hJm\u2032 (X)(Z) ff hJm\u2032 (X)(\u03c6) hJm\u2032 (X)(Y) hJm(X)(Z) pim \u2032,m Z ? ffhJm(X)(\u03c6) hJm(X)(Y) pim \u2032,m Y ? This diagram will commute if and only if the next diagram commutes, since we have supposed that the pairs Jm(X) and Jm\u2032(X) represent L X m and L X m\u2032 respectively: HomPairs((Z \u00d7 jm\u2032 ,Fm\u2032),X) ff(\u2212)\u25e6\u03c6 m\u2032 HomPairs((Y \u00d7 jm\u2032 , Em\u2032),X) HomPairs((Z \u00d7 jm,Fm),X) (\u2212)\u25e6\u03b7m\u2032,mZ ? ff(\u2212)\u25e6\u03c6 m HomPairs((Y \u00d7 jm, Em),X) (\u2212)\u25e6\u03b7m\u2032,mY ? Recall that \u03c6m : (Z \u00d7 jm,Fm)\u2192 (Y \u00d7 jm, Em) is the morphism induced by \u03c6, as we defined in section 3.2.2. Hence for any \u03b3 : (Y \u00d7 jm\u2032 , Em\u2032)\u2192 X, we must show that \u03b3 \u25e6 \u03c6m\u2032 \u25e6 \u03b7m\u2032,mZ = \u03b3 \u25e6 \u03b7m \u2032,m Y \u25e6 \u03c6m, which holds if \u03c6m \u2032 \u25e6 \u03b7m\u2032,mZ = \u03b7m \u2032,m Y \u25e6\u03c6m. Now, both \u03c6m \u2032 \u25e6 \u03b7m\u2032,mZ and \u03b7m \u2032,m Y \u25e6\u03c6m are morphisms from Z \u00d7 jm to Y \u00d7 jm\u2032 , which are compatible with the projections Y \u00d7 jm\u2032 \u2192 Y and Y \u00d7 jm\u2032 \u2192 jm\u2032 . Hence by the universal mapping property of the fibred product Y \u00d7 jm\u2032 , \u03c6m \u2032 \u25e6 \u03b7m\u2032,mZ = \u03b7m \u2032,m Y \u25e6 \u03c6m. So pim \u2032,m uniquely determines a morphism, which we call the projection morphism from Jm\u2032(X) to Jm(X), and denote pim\u2032,m. We may denote pi m\u2032,m by piX,m \u2032,m, and pim\u2032,m by pi X m\u2032,m to avoid confusion when working with more than one projection. We will also denote pim \u2032,0 by pim \u2032 , and pim\u2032,0 by pim\u2032 . Note, of course, that this implies that we may alternatively express the pair (JDm(X), Jm(D)) as (JDm(X), pi\u2217m(D)). Our next result will help to prove the second claim made at the beginning of this section. Proposition 4.3. Let V = (V,DV ) be an open subpair of the pair U = (U,DU). If there exists a pair Jm(U) representing L U m, then there exists a pair Jm(V) representing L V m and (piUm) \u22121(V) = Jm(V). Proof. We will show that for any Z = (Z,F)-valued m-jet \u03b3 : (Z \u00d7 jm,Fm)\u2192 U, \u03b3 factors through V if and only if the morphism \u03b3\u0303 : Z\u2192 Jm(U) corresponding to \u03b3 under the repre- sentation of LUm factors through (pi U m) \u22121(V). First of all, we may suppose that Z = SpecA is affine, given our proposition 4.1. Assume that \u03b3 factors through V. The truncation homo- morphism A[t]\/(tm+1)\u2192 A induces the morphism of pairs \u03b7mZ : Z\u2192 (SpecA[t]\/(tm+1),Fm) with which we pull back \u03b3 to pim(\u03b3). Note that, by definition, pulling back \u03b3 to pim(\u03b3) yields 18 the same result as composing \u03b3\u0303 with pim. Hence, the composition pim \u25e6 \u03b3\u0303 factors through V . From this we see that \u03b3\u0303 must factor through (piUm) \u22121(V). Conversely, let \u03b3\u0303 be a Z-valued point of Jm(U) that factors through (pi U m) \u22121(V). Noting that this implies that pim \u25e6 \u03b3\u0303 factors through V, we obtain the following commutative square: Spec A[t]\/tm+1 \u03b3 - U Spec A \u03b7mZ 6 pim(\u03b3) - V immersion \u222a 6 - where \u03b3 is the m-jet corresponding to \u03b3\u0303. We wish to show that \u03b3 factors through V. But this is true because the open immersion V \u2192 U is formally e\u0301tale, this property ensuring us a scheme morphism SpecA[t]\/tm+1 \u2192 V commuting with the square. Further, the pullback of DV by this morphism exists and equals Fm (we are just pulling back DU restricted to V). This result yields the local isomorphisms needed to glue together the jet pair Jm(X) of an arbitrary X from the jet pairs Jm(X\u03b1), where {X\u03b1 : \u03b1 \u2208 A} is an open cover of X. Before we apply this result we will prove two more results. The second of these generalizes the statement of proposition 4.3 to the case of (formally) e\u0301tale morphisms, hence provides another proof of proposition 4.3. Proposition 4.4. Let \u03c6 : Y \u2192 X be a morphism of pairs, and suppose that LYm and LXm are represented by Jm(Y) and Jm(X) respectively. Then \u03c6 induces a morphism \u03c6m : Jm(Y) \u2192 Jm(X) that commutes with the projections as in the following diagram: Jm(Y) \u03c6m- Jm(X) Y piYm ? \u03c6 - X piXm ? Proof. Similarly to the jet scheme case, we begin by choosing the Jm(Y)-valued point of Jm(Y) given by idJm(Y), which corresponds to \u03b9Y : (J E m(Y )\u00d7 jm, Jm(E)m)\u2192 Y. Composing \u03b9Y with \u03c6 corresponds to the Jm(Y)-valued point of Jm(X) that we denote \u03c6m. Then, because \u03c6 \u25e6 \u03b9Y and \u03c6m correspond to each other under the representation of LXm, we know that piXm \u25e6 \u03c6m = \u03c6 \u25e6 \u03b9Y \u25e6 \u03b7mJm(Y) (the correspondence is trivial when m = 0). By the same reasoning piYm \u25e6 idJm(Y) = \u03b9Y \u25e6 \u03b7mJm(Y), as \u03b9Y corresponds to idJm(Y). Thus, piXm \u25e6 \u03c6m = \u03c6 \u25e6 piYm \u25e6 idJm(Y) = \u03c6 \u25e6 piYm . So the diagram above commutes. Proposition 4.5. Let \u03c6 : Y \u2192 X be an e\u0301tale morphism of pairs, and suppose that LYm and LXm are represented by Jm(Y) and Jm(X) respectively. Then, Jm(Y) \u223c= Jm(X)\u00d7X Y. Proof. We will show that for any pair Z, and every commutative square Z e\u03b3- Jm(X) Y \u03c8 ? \u03c6 - X piXm ? 19 there exists a unique morphism \u03b3\u0304 : Z\u2192 Jm(Y) making the following diagram commutative: Z Jm(Y) \u03c6m- \u03b3\u0304 - Jm(X) e\u03b3 - Y piYm ? \u03c6 - \u03c8 - X piXm ? Now, piXm \u25e6 \u03b3\u0303 = \u03b3 \u25e6 \u03b7mZ , where \u03b3 is the jet corresponding to the point \u03b3\u0303. Without loss of generality, assume that Z = (Spec A,F) is affine; the following diagram commutes: (Spec A,F) \u03b7 m Z- (Spec A[t]\/(tm+1),Fm) Y \u03c8 ? \u03c6 - b\u03b3 ff X \u03b3 ? Since \u03c6 : Y \u2192 X is an e\u0301tale morphism of schemes, \u03b3 factors through Y ; i.e. there is a unique \u201cscheme-jet\u201d \u03b3\u0302 : Spec A[t]\/(tm+1) \u2192 Y commuting with the square. This jet does indeed define a \u201cpair-jet\u201d, since the local equations of the pullback commute around the bottom triangle in the opposite direction, and since \u03c6 and \u03b3 pull back the divisors. This jet \u03b3\u0302 corresponds to the Z-valued point we desire, \u03b3\u0304. To verify that \u03c6m \u25e6 \u03b3\u0304 = \u03b3\u0303, note that the jet corresponding to \u03c6m \u25e6 \u03b3\u0304 is \u03c6 \u25e6 \u03b3\u0302. But this is exactly \u03b3, hence \u03b3\u0303 = \u03c6m \u25e6 \u03b3\u0304. Similarly, piYm \u25e6 \u03b3\u0304 = \u03b3\u0302 \u25e6 \u03b7mZ because \u03b3\u0302 is the jet corresponding to \u03b3\u0304. The latter equals \u03c8, so piYm \u25e6 \u03b3\u0304 = \u03c8. Thus, the second diagram is commutative; we conclude that Jm(Y) \u223c= Jm(X)\u00d7X Y. Now, let us suppose momentarily that given any affine pair X\u03b1 = (X\u03b1,D\u03b1) and any m > 0 the functor LX\u03b1m is represented by Jm(X\u03b1). For X = (X,D) \u2208 Pairs let {X\u03b1 : \u03b1 \u2208 A} be an open cover by affine pairs. Then, according to proposition 4.3, for every \u03b1 and \u03b2 such that X\u03b1\u2229X\u03b2 6= \u2205, both (piX\u03b1m )\u22121(X\u03b1\u2229X\u03b2) and (piX\u03b2m )\u22121(X\u03b1\u2229X\u03b2) yield the pair Jm(X\u03b1\u2229X\u03b2) representing L X\u03b1\u2229X\u03b2 m ; that is, the preimages are canonically isomorphic to each other. These isomorphisms satisfy the conditions necessary to glue together a pair Jm(X) from the various Jm(X\u03b1). We claim that the pair we obtain this way represents LXm. Indeed, letting Z = (Z,F), given any m-jet \u03b3 : (Z \u00d7 jm,Fm) \u2192 (X,D), we can break up the jet into its restric- tions \u03b3\u22121(X\u03b1) \u2192 X\u03b1. Then, we can break up the 0th truncation of \u03b3 into morphisms (\u03b7mZ ) \u22121(\u03b3\u22121(X\u03b1)) = (\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1) \u2192 X\u03b1. Since (\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1) is an open subpair of Z, we know that its preimage p\u22121Z ((\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1)) under the projection pZ : (Z \u00d7 jm,Fm)\u2192 Z is isomorphic to ((\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1) \u00d7 jm,Fm|(\u03b3\u25e6\u03b7mZ )\u22121(X\u03b1)\u00d7jm). Thus we get a correspond- ing (\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1)-valued point of Jm(X\u03b1). Since these points must agree on overlaps X\u03b1 \u2229X\u03b2 6= \u2205 and the preimages (\u03b3 \u25e6 \u03b7mZ )\u22121(X\u03b1) cover Z, we obtain a unique Z-valued point of Jm(X) corresponding to \u03b3 by gluing the domain of these morphisms. Note that all the 20 divisors pulled back locally throughout, and that funtoriality follows from the fact that these correspondences are functorial locally on the pairs. We can now prove that LXm is a representable functor for every m > 0 when X is any pair. Theorem 4.6. Let X = (X,D) \u2208 Pairs. For every m \u2265 0 the contravariant functor LXm : (Y, E) 7\u2192 HomPairs((Y \u00d7 jm, Em), (X,D)) from Pairs to Sets is representable, represented by a pair Jm(X) = (J D m(X), Jm(D)). Proof. The case m = 0 is trivial, so let m > 0. By our previous results we may restrict to the case X = (SpecA,D) is affine and the domain of LXm is Aff Pairs. So let (Y, E) = (SpecB, E) and let \u03b3 : (Y \u00d7 jm, Em) \u2192 (X,D) be an m-jet in X. Thus \u03b3 : Spec B[t]\/(tm+1) \u2192 Spec A has corresponding homomorphism \u03b3\u2217 : A\u2192 B[t]\/(tm+1). We wish to describe a scheme with a B-valued point corresponding uniquely to \u03b3. We will break up the remainder of the proof into two cases. Case 1. Assume that A = k[X1, . . . , Xn] is affine n-space for some n > 0, that r \u2264 n, and that Di = {(Spec A,Xi)} for 1 \u2264 i \u2264 r. Then the homomorphism \u03b3\u2217 is determined exactly by the values \u03b3\u2217(X1), . . . , \u03b3\u2217(Xn). Let \u03b3\u2217(Xi) = bi0 + bi1t+ \u00b7 \u00b7 \u00b7+ bimtm. Since Xi is the local equation for Di when 1 \u2264 i \u2264 r, \u03b3\u2217(Xi) is the local equation for Emi . But this local equation is bi0, hence bi0 \u00b7 ui = bi0 + bi1t + \u00b7 \u00b7 \u00b7 + bimtm for some invertible regular section ui. Writing ui = ui0+ui1t+ \u00b7 \u00b7 \u00b7+uimtm we see that ui0 = 1 and bi0 \u00b7uil = bil for each 1 \u2264 l \u2264 m. Hence, the value \u03b3\u2217(Xi) is determined by the values bi0, ui1, ui2, . . . , uim. For r + 1 \u2264 i \u2264 n, the value of \u03b3\u2217(Xi) is simply determined by bi0, bi1, bi2, . . . , bim. Now let us write the affine coordinate ring in n(m+ 1) variables as C = k[X (0) 1 , . . . , X (0) n , X (1) 1 X1 , . . . , X (1) r Xr , X (1) r+1, . . . , X (1) n , . . . , X (m) 1 X1 , . . . , X (m) r Xr , X (m) r+1, . . . , X (m) n ]. Then \u03b3\u2217 determines a unique homomorphism \u03b3\u0303\u2217 : C \u2192 B sending X (0) i 7\u2192 bi0, \u22001 \u2264 i \u2264 n, X (l) i Xi 7\u2192 uil, \u22001 \u2264 i \u2264 r, 1 \u2264 l \u2264 m, and X (l) i 7\u2192 bil, \u2200r + 1 \u2264 i \u2264 n, 1 \u2264 l \u2264 m. Thus we let JDm(X) = Spec C, and we let Jm(D) = ({(Spec C,X1)}, . . . , {(Spec C,Xr)}). It is immediate that \u03b3\u0303 : (SpecB, E)\u2192 (JDm(X), Jm(D)) is indeed a morphism of pairs and that this correspondence is functorial; note that for any morphism \u03c6 : (Spec S,F)\u2192 (SpecB, E) the homomorpism (\u03c6m)\u2217 maps B[t]\/(tm+1)\u2192 S[t]\/(tm+1) such that b0 + b1t+ \u00b7 \u00b7 \u00b7+ bmtm 7\u2192 \u03c6\u2217(b0) + \u03c6\u2217(b1)t + \u00b7 \u00b7 \u00b7 + \u03c6\u2217(bm)tm. This guarantees functoriality, and so we see that LXm \u223c= h(JDm(X),Jm(D)) when X = (A n k , ({(Ank , X1)}, . . . , {(Ank , Xr)})). 21 Case 2. Let A = k[X1, . . . , Xn]\/(f1, . . . , fs) and suppose that for every i, 1 \u2264 i \u2264 r, Di is defined by gi on X, where gi \u2208 k[X1, . . . , Xn]. A homomorphism from the polynomial ring in n+ r variables R = k[X1, . . . , Xn,W1, . . . ,Wr] to A sending each Xi to Xi is onto. Consider the homomorphism k[X1, . . . , Xn,W1, . . . ,Wr]\u2192 k[X1, . . . , Xn]\/(f1, . . . , fs) such that X1 7\u2192 X1, . . . , Xn 7\u2192 Xn and W1 7\u2192 g1, . . . ,Wr 7\u2192 gr. This makes X = Spec A into a closed immersion in SpecR = An+r cut out by the ideal I = (f1, . . . , fs,W1 \u2212 g1, . . . ,Wr \u2212 gr) (here is it important to notice that R\/(f1, . . . , fs) \u223c= A[W1, . . . ,Wr]). Under this k-algebra isomorphism R\/I \u2194 A, the local equations g1, . . . , gr map to W1, . . . ,Wr respectively, hence this isomorphism of schemes defines an isomorphism of pairs (SpecR\/I, ({(SpecR\/I,W1)}, . . . , {(SpecR\/I,Wr)}))\u2192 (X,D). Thus, in this case we will define the desired parameter space for X as a closed immersion in the parameter space for (An+r, ({(An+r,W1)}, . . . , {(An+r,Wr)})). By the arguments made in the first case this latter space is the pair consisting of the scheme A(n+r)(m+1) with the r-tuple of divisors defined on A(n+r)(m+1) by the W (0)i \u2019s. To find the equations for the ideal of JDm(X) we must consider m-jets in An+r that factor through X. A (SpecB, E)-valued m-jet in (X,D) is determined by a homomorphism \u03b3\u2217 : k[X1, . . . , Xn,W1, . . . ,Wr]\u2192 B[t]\/(tm+1) such that \u03b3\u2217(Wi) is the non-zerodivisor locally defining the \u201cith\u201d effective Cartier divisor Emi of Spec B[t]\/(tm+1), and such that \u03b3\u2217(fj) = 0 and \u03b3\u2217(Wi \u2212 gi) = 0 for every 1 \u2264 j \u2264 s and 1 \u2264 i \u2264 r. Such a homomorphism is completely determined by the coefficients of \u03b3\u2217(X1), . . . , \u03b3\u2217(Xn) and \u03b3\u2217(W1) . . . , \u03b3\u2217(Wr), hence \u03b3\u2217 defines a homomorphism as we expect from k[X (0) 1 , . . . , X (0) n ,W (0) 1 , . . . ,W (0) r , X (1) 1 , . . . , X (1) n ,W (1) 1 , . . . ,W (1) r , . . . , X (m) 1 , . . . ,W (m) r ]\u2192 B. Given the condition on pullbacks, just as in the first case the degree 0 coefficient of \u03b3\u2217(Wi) divides the coefficients of the higher degree terms, hence the m-jet is equivalently determined by a homomorphism k[X (0) 1 , . . . , X (0) n ,W (0) 1 , . . . ,W (0) r , X (1) 1 , . . . , X (1) n , W (1) 1 W1 , . . . , W (1) r Wr , . . . , X (m) 1 , . . . , W (m) r Wr ]\u2192 B. 22 Let us denote the domain of this homomorphism as S. We write \u03b3\u2217(Xi) = bi0 + bi1t+ \u00b7 \u00b7 \u00b7+ bimt m for 1 \u2264 i \u2264 n. Then \u03b3\u2217(fj) = fj0 + fj1t + \u00b7 \u00b7 \u00b7 + fjmtm for 1 \u2264 j \u2264 s, where for each 0 \u2264 l\u2032 \u2264 m the coefficient fjl\u2032 is a polynomial in (bil)1\u2264i\u2264n,1\u2264l\u2264m. Thus, we consider each fjl\u2032 as a polynomial in (X (l) i )i,l; the condition \u03b3 \u2217(fj) translates in terms of the homomorphism from S to B into fjl\u2032 7\u2192 0 for all 1 \u2264 j \u2264 s and 0 \u2264 l\u2032 \u2264 m. Similarly, writing \u03b3\u2217(Wi) = ci0+ci0\u00b7ui1t+\u00b7 \u00b7 \u00b7+ci0\u00b7uimtm and \u03b3\u2217(gi) = gi0+gi1t+\u00b7 \u00b7 \u00b7+gimtm for 1 \u2264 i \u2264 r, the condition on \u03b3\u2217 indicates that ci0 = gi0 and ci0 \u00b7 uil\u2032 = gil\u2032 for every 1 \u2264 l\u2032 \u2264 m. This time considering gil\u2032 as a polynomial in (X(l)i )1\u2264i\u2264n,1\u2264l\u2264m, we must have gil\u2032 \u2212W (0)i \u00b7 W (l\u2032) i W (0) i 7\u2192 0 for all 1 \u2264 i \u2264 r and 0 \u2264 l\u2032 \u2264 m. Hence, the (SpecB, E)-valued m-jets on (X,D) are parametrized by points in the closed immersion of schemes Spec S\/(fjl, gi0 \u2212W (0)i , gil\u2032 \u2212W (0)i \u00b7 W (l\u2032) i W (0) i : 1 \u2264 j \u2264 s, 0 \u2264 l \u2264 m, 1 \u2264 i \u2264 r, 1 \u2264 l\u2032 \u2264 m) in A(n+r)(m+1). Thus, for every Y-valued point of Jm(An+r) corresponding to an m-jet that factors through X, its underlying scheme morphism factors through the closed immersion we have just described. However, the equations Wi on A(n+r)(m+1) may not pull back to non-zerodivisors in this closed immersion. In order to obtain the pair (JDm(X), Jm(D)) repre- senting LXm we may need to remove components, as in lemma 2.2; it is immediate that doing this yields a pair with the appropriate functor of points. We make the following definition: Definition 4.1. We call the pair Jm(X) associated to X from theorem 4.6 the jet pair associated to the pair X. We refer to the scheme JDm(X) underlying Jm(X) as the logarithmic jet scheme of X with respect to D. Remark 4.1. Let (X,D) be a pair over the field k, and suppose that char(k) = 0. We can describe the equations of the ideal of JDm(X) more explicitly. First, let S be the ring S = k[X (0) 1 , . . . ,W (0) r , X (1) 1 , . . . , W (1) r Wr , . . . , X (m) 1 , . . . , W (m) r Wr ]. As in the jet scheme case outlined in the introduction, there is a k-derivation d on S deter- mined as follows: dX (l) i = X (l+1) i where X (l) i = 0 for all l > m, and dW (l) i = W (l+1) i where W (l) i def = W (0) i \u00b7 W (l) i Wi for all 1 \u2264 l \u2264 m and W (l)i = 0 for all l > m. By the same arguments as in the jet scheme case we find that the equations fjl \u2032 all map to 0 if and only if the equations dl \u2032 fj all map to 0, where we consider fj as a polynomial in X (0) 1 , . . . , X (0) n . Similarly, since dl \u2032 (gi \u2212W (0)i ) = dl\u2032gi \u2212 dl\u2032W (0)i we find that gi0 \u2212W (0)i and gil\u2032 \u2212W (0)i all map to 0 if and only if the equations dl \u2032 (gi \u2212W (0)i ) all map to 0. Thus we have an equality of ideals (fjl\u2032 , gi0\u2212W (0)i , gil\u2032\u2212W (0)i \u00b7 W (l\u2032) i W (0) i ) = (fj, dfj, . . . , d mfj, gi\u2212W (0)i , d(gi\u2212W (0)i ), . . . , dm(gi\u2212W (0)i )). 23 5 Conclusion 5.1 Summary Following the constructive method of providing a proof for the existence of jet schemes Jm(X) associated to a scheme X of finite type over an algebraically closed field k as in [EM08], [Mus01], [Ish07], we have provided a constructive proof of the existence of logarithmic jet schemes JDm(X) associated to X and its family of effective Cartier divisors D = (D1, . . . , Dr). This was carried out in four major steps as follows: after providing basic definitions for the objects we would work with throughout our paper, we first formulated the categories of pairs Pairsr, whose objects (X,D) consist of a scheme X of finite type over a fixed algebraically closed field k and its r-tuple of effective Cartier divisors, and whose morphisms (X,D) \u2192 (Y, E) are those scheme morphisms \u03c6 : Y \u2192 X that \u201cpull back\u201d D to E ; second, we defined the functors L (X,D) m taking a \u201cpair\u201d (Y, E) to the set of \u201c(Y, E)-valued m-jets in (X,D)\u201d; third, we proved that the representability of such functors can be determined by the case of affine (X,D) and (Y, E); finally, we gave explicit equations for a pair representing the functor L (X,D) m . The question of representability of such functors, or equivalently of parametrizability of such families of m-jets, was motivated by the construction of the sheaf of differential 1-forms with logarithmic poles along a normally crossing divisor on a complex-analytic variety, and the possibility of framing such a construction functorially, as the sheaf of differetial 1-forms finds expression in jet schemes. 5.2 Discussion and Further Research Referring back to the definition 2.2.3, notice that a predivisor on the scheme X is, by definition, a presentation of a global section of the quotient sheaf of commutative monoids OX\/O\u2217X . It is straightforward to define the pullback \u03c6\u2217(D) of a global section D of this sheaf by a morphism Y \u2192 X of schemes (of finite type over k) as we have done for effective Cartier divisors. Let us refer to such an object D temporarily as an effective divisor. With this notion at hand, we might choose to work in a category whose objects are pairs (X,D), where now D = (D1, . . . , Dr) is an r-tuple of effective divisors on X, and whose morphisms (Y, E) \u03c6\u2192 (X,D) pull back D to \u03c6\u2217(D) def= (\u03c6\u2217(D1), . . . , \u03c6\u2217(Dr)) = E . One may verify that the proofs supplied in section 4 carry over to this category word-for-word, with the exception of omitting some justifications that certain pullbacks of sections do not locally divide zero. The geometric significance in this choice of a category lies in that rather than only parametrizing jets that \u201cavoid\u201d the family D of effective Cartier divisors, we parametrize also the jets that are \u201ctangential along\u201d the family D of effective divisors. For example, letting D consist of the single effective Cartier divisor defined on X = A2 globally by X1 \u00b7X2, one shows in the first case that the fibre of the projection pi1 : J D 1 (A2)\u2192 A2 above the origin (0, 0) (or above any point on the X1 or X2 axis) is empty, whereas in the second case we have pi\u221211 ((0, 0)) \u223c= A2 (while pi\u221211 ((a, b)) \u223c= A1 for any (a, b) with a = 0, b 6= 0 or a 6= 0, b = 0). 24 Though this adjustment to the categories Pairsr immediately yields some interesting geometric objects, it is likely that there is an even better category in which to formulate our results and construct such objects. Namely, we expect that the natural context for the logarithmic jet schemes lies in the category of \u201cschemes with logarithmic structures\u201d, on which foundational material was developed by Fontaine-Illusie and Kato (see for example [Kat94] and especially [Kat89]). In particular it seems that this formalism supplies a language for working with (sheaves of) monoids attached to schemes, and will hopefully carry over the idea we have just mentioned. Once the transfer to this language is complete, we hope in particular to apply the geometry of the logarithmic jet schemes to the study of singularities; we allude in particular to such results as contained in the work of Mustat\u0327a\u030c in [Mus01]. Of course, the jet schemes are fundamental to the theory of motivic integration, and we also hope to study the logarithmic jets in this context. 25 References [Del71] Pierre Deligne, The\u0301orie de Hodge : II, Publications mathe\u0301matiques de l\u2019I.H.E\u0301.S. 40 (1971), 5 \u2013 57. [EH00] David Eisenbud and Joe Harris, The Geometry of Schemes, GTM, vol. 197, Springer-Verlag New York, Inc., 2000. [Eis04] David Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, GTM, vol. 150, Springer Science+Business Media, Inc., 2004. [EM08] Lawrence Ein and Mircea Mustat\u0327a\u030c, Jet Schemes and Singularities, arXiv:math\/0612862v2 [math.AG], 2008. [FmI+05] Barbara Fantechi, Lothar Go\u0308ttsche, Luc Illusie, Steven L. Kleiman, Nitin Nit- sure, and Angelo Vistoli, Fundamental Algebraic Geometry: Grothendieck\u2019s FGA Explained, Mathematical Surveys and Monographs, vol. 123, The American Math- ematical Society, 2005. [GH94] Philip Griffiths and Joe Harris, Principles of Algebraic Geometry, Wiley Classics Library, John Wiley & Sons, Inc., 1994. [Gro67] Alexander Grothendieck, E\u0301le\u0301ments de ge\u0301ome\u0301trie alge\u0301brique (re\u0301dige\u0301s avec la collab- oration de Jean Dieudonne\u0301) : IV. E\u0301tude locale des sche\u0301mas et des morphismes de sche\u0301mas, Quatrie\u0301me partie, Publications mathe\u0301matiques de l\u2019I.H.E\u0301.S. 32 (1967), 5 \u2013 361. [Har06] Robin Hartshorne, Algebraic Geometry, GTM, vol. 52, Springer Science+Business Media, LLC, 2006. [Ish07] Shihoko Ishii, Jet Schemes, Arc Spaces and the Nash Problem, arXiv:0704.3327v1 [math.AG], 2007. [Kat89] Kazuya Kato, Logarithmic Structures of Fontaine-Illusie, Algebraic Analysis, Ge- ometry, and Number Theory (J. Igusa, ed.), Johns Hopkins University Press, 1989, pp. 191 \u2013 224. [Kat94] , Toric singularities, American Journal of Mathematics 116 (1994), no. 5, 1073 \u2013 1099. [Mus01] Mircea Mustat\u0327a\u030c, Jet Schemes of Locally Complete Intersection Canonical Singu- larities, Inventiones Mathematicae 145 (2001), no. 3, 397 \u2013 424. 26","@language":"en"}],"Genre":[{"@value":"Thesis\/Dissertation","@language":"en"}],"GraduationDate":[{"@value":"2009-05","@language":"en"}],"IsShownAt":[{"@value":"10.14288\/1.0066869","@language":"en"}],"Language":[{"@value":"eng","@language":"en"}],"Program":[{"@value":"Mathematics","@language":"en"}],"Provider":[{"@value":"Vancouver : University of British Columbia Library","@language":"en"}],"Publisher":[{"@value":"University of British Columbia","@language":"en"}],"Rights":[{"@value":"Attribution-NonCommercial-NoDerivatives 4.0 International","@language":"en"}],"RightsURI":[{"@value":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/","@language":"en"}],"ScholarlyLevel":[{"@value":"Graduate","@language":"en"}],"Subject":[{"@value":"Algebraic geometry","@language":"en"},{"@value":"Jet schemes","@language":"en"},{"@value":"Logarithmic poles","@language":"en"},{"@value":"Cartier divisors","@language":"en"},{"@value":"Vector field","@language":"en"},{"@value":"Category of pairs","@language":"en"}],"Title":[{"@value":"On the existence of jet schemes logarithmic along families of divisors","@language":"en"}],"Type":[{"@value":"Text","@language":"en"}],"URI":[{"@value":"http:\/\/hdl.handle.net\/2429\/3327","@language":"en"}],"SortDate":[{"@value":"2008-12-31 AD","@language":"en"}],"@id":"doi:10.14288\/1.0066869"}