{"@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 Andrew Philippe Staal, 2008 \fAbstract 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 D (X) for m \u2265 0, in the category of k-schemes of families of \u201clogarithmic\u201d jet schemes Jm finite type, associated to any given X and its family of divisors D = (D1 , . . . , Dr ). The sections of J1D (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 \fContents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Preliminaries . . . . . . . . . . . . 2.1 Functors of Points and Yoneda\u2019s 2.2 Divisors . . . . . . . . . . . . . 2.2.1 Definitions of Divisors . 2.2.2 Pullbacks of Divisors . . . . . . . Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 6 6 8 3 Categories of Pairs . . . . . . . . . . . . . . . . . . . . . . . . 3.1 Defining the Categories of Pairs . . . . . . . . . . . . . . . 3.2 Definitions and Examples in the Categories of Pairs . . . . 3.2.1 Open Subpairs and a Gluing Construction for Pairs 3.2.2 m-jets in Pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 11 12 12 13 4 Jet Pairs and Logarithmic Jet Schemes . . . . . . . . . . . . . . . . . . . . . 4.1 The Main Construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 16 5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.1 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Discussion and Further Research . . . . . . . . . . . . . . . . . . . . . . . . 24 24 24 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 iii \fAcknowledgments 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 \fTo Ralph and Isabel, en honor de Salomo\u0301n y AuraMar\u0131\u0301a v \f1 Introduction Let X and Z denote schemes of finite type over C. A Z-valued m-jet in X is a morphism \u03b3 : Z \u00d7 Spec C[t]\/(tm+1 ) \u2192 X. Let LX m denote the contravariant functor Hom(\u2212 \u00d7 m+1 X SpecC[t]\/(t ), X). The functor Lm 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 e : Z \u2192 Jm (X) of the scheme Jm (X). The th scheme Jm (X) is referred to as the m 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 = Spec C[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 + fj1 t + \u00b7 \u00b7 \u00b7 + fjm tm ; the condition \u03b3 \u2217 (fj ) = 0 translates to fjl0 = 0 for every 0 \u2264 l0 \u2264 m. Note that each fjl0 is a polynomial in the coefficients (ail )i,l of the elements \u03b3 \u2217 (Xi ) = ai0 + ai1 t + \u00b7 \u00b7 \u00b7 + aim tm . Thus, consider the homomorphism (0) (1) (m) C[X1 , . . . , Xn(0) , X1 , . . . , Xn(1) , . . . , X1 , . . . , Xn(m) ] \u2192 A (l) mapping Xi 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 fjl0 7\u2192 0 holds for every 1 \u2264 j \u2264 s, 0 \u2264 l0 \u2264 m when (l) we consider fjl0 as a polynomial in the variables Xi . Moreover, this correspondence is functorial; hence Jm (X) is the closed immersion (0) (1) (m) Jm (X) = Spec C[X1 , . . . , Xn(0) , X1 , . . . , Xn(1) , . . . , X1 , . . . , Xn(m) ]\/(fjl0 )j,l0 in complex affine n(m + 1)-space. We can describe the equations fjl0 explicitly. First, let m0 and m be integers, m0 > m. The projection morphism \u03c0m0 ,m : Jm0 (X) \u2192 Jm (X) is the morphism of schemes induced by 0 the truncation homomorphism C[t]\/(tm +1 ) \u2192 C[t]\/(tm+1 ). The jet schemes of X with their projection morphisms form a projective system \u03c0m,m\u22121 \u00b7 \u00b7 \u00b7 \u2192 Jm (X) \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 projection 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 (0) (l+1) J\u221e (AnC ) = Spec C[X1 , . . . , Xn(0) , . . . , Xn(l) , X1 . . .]. 1 \fNotice 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 (0) (l+1) S\u221e = C[X1 , . . . , Xn(0) , . . . , Xn(l) , X1 , . . .] denote the polynomial ring in infinitely and denumerably many variables. There is a deriva(l) (l+1) tion d on S\u221e , mapping Xi 7\u2192 Xi . For any f \u2208 C[X1 , . . . , Xn ], consider f as an element def def (0) of S\u221e by substituting Xi for Xi . Denote f (0) = f and let f (l+1) = df (l) recursively. (l) Writing I\u221e for the ideal (fj |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 , d2 fj , . . . over all 1 \u2264 j \u2264 s cut out the scheme J\u221e (X) from (infinite-dimensional) affine space. Under the truncation homo(0) (m) morphism S\u221e \u2192 Sm = C[X1 , . . . , Xn ] we obtain the equations for Jm (X). Namely, Jm (X) = Spec Sm \/Im , where Im = (fj , dfj , . . . , dm fj : 1 \u2264 j \u2264 s). Let us shift focus momentarily to the complex-analytic setting. Let X now be a smooth complex-analytic P variety. Recall that a divisor Y in X is a formal, locally finite linear combination Y = ai Yi 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,P Yi \u2229 U 6= \u2205 for only finitely many i. Such a divisor is said to have normal crossings if Y = 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 \u2229 U is geometrically the zero-locus of x1 \u00b7 \u00b7 \u00b7 xk . 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 r 1 , dxr+1 , . . . , dxn in a , . . . , dx the direct image sheaf \u03d1\u2217 \u21261X \u2217 , locally generated by elements dx x1 xr 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 differentials 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 \u00b7 Xr . There is a sheaf \u2126X\/C (logD) on X associated to D analogous to the sheaf \u21261X (logY ) described e of OX -modules associated to the free above in the analytic context. This is the sheaf B C[X] = C[X1 , . . . , Xn ]-module B = C[X] \u00b7 dX1 dXr \u2295 . . . \u2295 C[X] \u00b7 \u2295 C[X] \u00b7 dXr+1 \u2295 . . . \u2295 C[X] \u00b7 dXn ; X1 Xr e Further, there is a vector bundle that is, \u2126X\/k (logD) = B. TX (logD) := Spec (Sym \u2126X\/C (logD)) 2 \fover 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 ). \u2202 +\u00b7 \u00b7 \u00b7+fn \u00b7 \u2202X\u2202 n , with fi \u2208 C[X] for each i. Here A vector field v on X is written v = f1 \u00b7 \u2202X 1 \u2202 \u2202 is the homomorphism \u2126X\/C \u2192 C[X] determined by the Kronecker delta: \u2202X (dXj ) = \u03b4ij \u2202Xi i 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 \u00b7 X1 \u00b7 \u2202 \u2202 \u2202 \u2202 + \u00b7 \u00b7 \u00b7 + gr \u00b7 Xr \u00b7 + fr+1 \u00b7 + \u00b7 \u00b7 \u00b7 + fn \u00b7 , \u2202X1 \u2202Xr \u2202Xr+1 \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 an X-valued point of J1 (X) corresponding to a homomorphism C[X] \u2192 C[X][t]\/(t2 ). Since v is a section of the projection \u03c01 , this homomorphism is the one determined by Xi 7\u2192 Xi + fi t. When v is logarithmic along D this becomes Xi 7\u2192 Xi + (gi \u00b7 Xi )t = Xi (1 + gi t) 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 \u00b7 Xr defining D maps to X1 \u00b7 \u00b7 \u00b7 Xr 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 \u00b7 Xr )}. 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 )\u2217 OX\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 \fcase 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 \f2 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 \fWhen \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 \u2212 Algebras, 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 determined 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 \f\u2217 Definition 2.2.1. A Cartier divisor D on X is a global section of the sheaf M\u2217X \/OX . 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 \u2217 f\u03b1 \/f\u03b2 \u2208 \u0393(U\u03b1 \u2229 U\u03b2 , OX ). 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 D0 = {(W\u03b3 , h\u03b3 ) : \u03b3 \u2208 G} determine the same Cartier divisor if for any \u03b1 and \u03b3 such that U\u03b1 \u2229 W\u03b3 6= \u2205 the restrictions of f\u03b1 and h\u03b3 differ by a unit in the ring \u0393(U\u03b1 \u2229 W\u03b3 , OX ); that is, f\u03b1 |U\u03b1 \u2229W\u03b3 = u\u03b1,\u03b3 \u00b7 h\u03b3 |U\u03b1 \u2229W\u03b3 \u2217 for some u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229 W\u03b3 , OX ). 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 D0 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 \u2217 \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 , OX ) such that f\u03b1 |U\u03b1 \u2229U\u03b2 = u\u03b1,\u03b2 \u00b7 f\u03b2 |U\u03b1 \u2229U\u03b2 . 7 \fRemark 2.2. It is important to note that every effective Cartier divisor D on X defines many predivisors on X; to every equivalent presentation of D, there is an associated predivisor. Conversely, given a predivisor D0 = {(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 to D0 , and this Cartier divisor is associated to any predivisor whose presentation satisfies the natural equivalence condition with D0 . 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\u2217 OY of sheaves on X (which behaves \u201cnicely\u201d with regard to localisation). Further, let D0 = {(U\u03b1 , f\u03b1 ) : \u03b1 \u2208 A} be a predivisor on X. Let def \u03c6\u2217\u03b1 = \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 \u2217 ) is. We make the following definition: \u03c6\u22121 (U\u03b2 ), OY\u2217 ) is invertible, as u\u03b1,\u03b2 \u2208 \u0393(U\u03b1 \u2229 U\u03b2 , OX Definition 2.2.1. Given a predivisor D0 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 D0 by \u03c6, denoted \u03c6\u2217 (D0 ). We say that \u03c6 pulls back D0 to \u03c6\u2217 (D0 ). 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\u2217q (f\u03b1,p ) \u2208 nzd(OY,q ) for every such p, q, and \u03b1, then the pullback \u03c6\u2217 (D0 ) = {(\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 D0 = {(U\u03b1 , f\u03b1 ) : \u03b1 \u2208 A} and D00 = {(W\u03b3 , h\u03b3 ) : \u03b3 \u2208 G} are predivisors obtained from equivalent presentations of the effective Cartier divisor D. Moreover, suppose that D0 satisfies the condition above, so that \u03c6\u2217 (D0 ) yields an effective Cartier divisor on Y . Then, the pullback \u03c6\u2217 (D00 ) also yields an effective Cartier divisor on Y , equal to the one obtained from \u03c6\u2217 (D0 ). 8 \fProof. To verify this, we must show that the pullback \u03c6\u2217 (D00 ) is locally defined by sections that differ by a unit from those defining \u03c6\u2217 (D0 ) 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 \u2229 W\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 ), \u2217 \u2217 for some u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229 W\u03b3 , OX ). Since u\u03b1,\u03b3 \u2208 \u0393(U\u03b1 \u2229 W\u03b3 , OX ) is invertible, we have \u22121 \u2217 \u22121 \u22121 \u2217 \u2217 \u03c6\u03b1,\u03b3 (u\u03b1,\u03b3 ) \u2208 \u0393(\u03c6 (U\u03b1 \u2229 W\u03b3 ), OY ) = \u0393(\u03c6 (U\u03b1 ) \u2229 \u03c6 (W\u03b3 ), OY ); that is, \u03c6\u2217\u03b1,\u03b3 (u\u03b1,\u03b3 ) is invertible. 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 \u2229 W\u03b3 ) = \u03c6\u22121 (U\u03b1 ) \u2229 \u03c6\u22121 (W\u03b3 ) the local equations \u03c6\u2217\u03b1 (f\u03b1 ) and \u03c6\u2217\u03b3 (h\u03b3 ) differ by a unit. Hence, the predivisors \u03c6\u2217 (D0 ) and \u03c6\u2217 (D00 ) 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 (D0 ) of the predivisor D0 = {(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 D0 = (D10 , D20 , . . . , Dr0 ) be an r-tuple of predivisors on the scheme X. Given a morphism \u03c6 : Y \u2192 X as above, we define the pullback of D0 by \u03c6 to be the r-tuple (\u03c6\u2217 (D10 ), \u03c6\u2217 (D20 ), . . . , \u03c6\u2217 (Dr0 )), denoted \u03c6\u2217 (D0 ). In the case that each Di0 is a presentation of a divisor Di , then as above each pullback \u03c6\u2217 (Di0 ) 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 D0 on X to describe an effective Cartier divisor D on some maximal closed immersion X 0 \u2192 X. Thus, any morphism Y \u2192 X of schemes of finite type such that \u03c6\u2217 (D0 ) defines an effective Cartier divisor on Y will factor through X 0 . Lemma 2.2. Given a predivisor D0 = {(U\u03b1 , f\u03b1 ) : \u03b1 \u2208 A} on a scheme X of finite type over k, there exists a unique closed immersion i : X 0 \u2192 X such that (i) i\u2217 (D0 ) yields an effective Cartier divisor on X 0 , and 9 \f(ii) for any k-morphism \u03c6 : Y \u2192 X such that \u03c6\u2217 (D0 ) yields an effective Cartier divisor on Y , there exists a morphism \u03c60 : Y \u2192 X 0 such that \u03c6 = i \u25e6 \u03c60 . Consequently, the pullback by \u03c60 of the effective Cartier divisor defined by i\u2217 (D0 ) is the effective Cartier divisor defined by \u03c6\u2217 (D0 ). 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 = {gi\u03b3\u03b1 : \u03b3 \u2265 0} be the multiplicative subset in Ri\u03b1 generated by gi\u03b1 , and we consider ]. Let Ki\u03b1 = ker(hi\u03b1 ). Notice that the canonical ring homomorphism hi\u03b1 : Ri\u03b1 \u2192 Ri\u03b1 [Si\u22121 \u03b1 a \u2208 Ki\u03b1 if and only if \u2203 \u03b3 such that gi\u03b3\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 morphism \u03c6|\u03c6\u22121 (Vi\u03b1 ) : \u03c6\u22121 (Vi\u03b1 ) \u2192 Vi\u03b1 = Spec Ri\u03b1 factors through Spec Ri\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 0 \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 0 . Moreover, it is immediate that the pullback of this effective Cartier divisor is defined by \u03c6\u2217 (D). 10 \f3 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\u03c6\u2217 \u22121 (U\u03b1 ) (\u03c6\u2217\u03b1i (f\u03b1i ))) : \u03b1i \u2208 Ai } i = {((\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 \f3.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 \u2229 V 6= \u2205, to be the open subpair U \u2229 V = (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 \u2229 X\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 construction 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 \u22121 for all \u03b1, \u03b2; that all such \u03b1, \u03b2, that satisfy \u03c8\u03b2\u03b1 = \u03c8\u03b1\u03b2 \u03c8\u03b1\u03b2 (U\u03b1\u03b2 \u2229 U\u03b1\u03b3 ) = U\u03b2\u03b1 \u2229 U\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 \fThen 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 0 on Y \u00d7 Spec k[t]\/(tm+1 ) we will study the morphisms of pairs (Y \u00d7 Spec k[t]\/(tm+1 ), E 0 ) \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]\/(tm+1 ), and the morphism of structure sheaves takes the section gi on Vi to gi as an element in the ring Bi [t]\/(tm+1 ). Since gi is a non-zerodivisor in Bi , it is a nonzerodivisor in Bi [t]\/(tm+1 ). Further, as the rings Bi and Bi [t]\/(tm+1 ) are finitely generated kalgebras, and hence Noetherian, this implies that gi \/1 is an element in M\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]\/(tm+1 ) \u2286 Y \u00d7 Spec k[t]\/(tm+1 ). We denote this divisor Eim , def and let E m = (E1m , E2m , . . . , Erm ). Examining further, we find that gi \u2208 nzd(Bi ) if and only if gi + gi1 t + \u00b7 \u00b7 \u00b7 + gim tm \u2208 nzd(Bi [t]\/(tm+1 )) for any gi1 , . . . , gim \u2208 Bi . Therefore a divisor E 0 on Vi \u00d7 Spec k[t]\/(tm+1 ) 13 \fdefined by gi + gi1 t + \u00b7 \u00b7 \u00b7 + gim tm 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 ), E m ) 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. 0 Now, consider the truncation homomorphism k[t]\/(tm +1 ) \u2192 k[t]\/(tm+1 ), where m0 and m are integers such that m0 \u2265 m \u2265 0. This morphism induces a morphism of affine schemes 0 Spec k[t]\/(tm+1 ) \u2192 Spec k[t]\/(tm +1 ). Given a scheme Y consider the following diagram, which commutes: - Spec k[t]\/(tm+1 ) Y \u00d7 Spec k[t]\/(tm+1 ) \u03b7 m 0,m Y truncation - ? 0 0 Y \u00d7 Spec k[t]\/(tm +1 ) - Spec k[t]\/(tm +1 ) - ? Y ? - Spec k 0 So \u03b7Ym ,m is the unique morphism of schemes guaranteed by the universal mapping property 0 of the fibred product Y \u00d7 Spec k[t]\/(tm +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 0 0 Y \u00d7 Spec k[t]\/(tm+1 ) and Y \u00d7 Spec k[t]\/(tm +1 ), making \u03b7Ym ,m into a morphism of pairs. (Note that the local equations of the r-tuples remain essentially unchanged; only the ring m0 ,m they live in changes.) Thus, denoting (Y, E) by Y, let us write \u03b7Y for the morphism of m+1 m m0 +1 m0 pairs (Y \u00d7 Spec k[t]\/(t ), E ) \u2192 (Y \u00d7 Spec k[t]\/(t ), E ). We refer to such a morphism as a truncation morphism; note that we can pull back (Y, E)-valued m0 -jets to (Y, E)-valued m0 ,m m0 ,0 m0 m-jets via \u03b7Y . We will write \u03b7Y rather than \u03b7Y 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 \fguaranteed 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 ), F m ) \u2192 (Y \u00d7Speck[t]\/(tm+1 ), E m ). This follows since pulling back the local equations of E m by \u03c6m is equivalent to pulling back \u03c6 the local equations of E by the composition Z \u00d7 Spec k[t]\/(tm+1 ) \u2192 Z \u2212 \u2192 Y . Thus for every \u03c6 as above we obtain an induced morphism \u03c6m such that the following commutes: m \u03c6 (Z \u00d7 Spec k[t]\/(tm+1 ), F m ) - (Y \u00d7 Spec k[t]\/(tm+1 ), E m ) projection ? (Z, F) projection \u03c6 ? - (Y, E) 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 \f4 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 m LX m : (Y, E) 7\u2192 HomPairs ((Y \u00d7 jm , E ), (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 X D (X), Jm (D)) such that hJm (X) \u223c exists a pair Jm (X) = (Jm = LX m . (Note in addition that L0 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 functor 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 \fHence, 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 def denote the inclusion for each \u03b1. Then, there is a unique morphism t\u03b1 = \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 \u2229 Y\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 \u2229 Y\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 = LX m |(Aff Pairs)\u25e6 , \u25e6 by this proposition we may conclude that hJm (X) \u223c = LX m as functors on (Pairs) . Before we move on to the second claim, let us suppose that given any pair X and any m > 0, there is D (X), Jm (D)) that represents LX a pair Jm (X) = (Jm m . Recall from an example in 3.2.2 that 0 for a pair Z = (Z, F) and any m0 > m, the truncation homomorphism k[t]\/(tm ) \u2192 k[t]\/(tm ) 0 0 induces a morphism \u03b7Zm ,m : (Z \u00d7 jm , F m ) \u2192 (Z \u00d7 jm0 , F m ) of pairs. Using this, we can define a mapping 0 \u03c0Zm ,m : hJm0 (X) (Z) \u2192 hJm (X) (Z) 0 by pulling back Z-valued points of Jm0 (X) to Z-valued points of Jm (X) via \u03b7Zm ,m . That is, the Z-valued point \u03b3 e of Jm0 (X) corresponds to a unique m0 -jet \u03b3 that we pull back with 0 \u03b7Zm ,m to an m-jet. This m-jet corresponds uniquely to a Z-valued point of Jm (X) that will 0 be the image \u03c0Zm ,m (e \u03b3 ) of \u03b3 e. We would like to show that these mappings on Z-valued points define a morphism from Jm0 (X) \u2192 Jm (X) in the category Pairs. By Yoneda\u2019s lemma 2.1 this is equivalent to the following fact, which we prove: 0 Lemma 4.2. The mappings \u03c0Zm ,m : hJm0 (X) (Z) \u2192 hJm (X) (Z) over all Z define a natural 0 transformation \u03c0 m ,m between the functors hJm0 (X) and hJm (X) . 17 \fProof. Suppose that \u03c6 : Z \u2192 Y is a morphism of pairs. We must show that the following diagram commutes: hJ 0 (X) hJm0 (X) (Z) \u001b m (\u03c6) hJm0 (X) (Y) 0 ,m 0 ,m m \u03c0Z ? m \u03c0Y hJ hJm (X) (Z) \u001b m (X) (\u03c6) ? hJm (X) (Y) This diagram will commute if and only if the next diagram commutes, since we have supposed X that the pairs Jm (X) and Jm0 (X) represent LX m and Lm0 respectively: 0 (\u2212)\u25e6\u03c6m 0 HomPairs ((Z \u00d7 jm0 , F m ), X) \u001b 0 HomPairs ((Y \u00d7 jm0 , E m ), X) 0 ,m 0 ,m m (\u2212)\u25e6\u03b7Y m (\u2212)\u25e6\u03b7Z ? (\u2212)\u25e6\u03c6m HomPairs ((Z \u00d7 jm , F m ), X) \u001b ? HomPairs ((Y \u00d7 jm , E m ), X) Recall that \u03c6m : (Z \u00d7 jm , F m ) \u2192 (Y \u00d7 jm , E m ) is the morphism induced by \u03c6, as we defined 0 in section 3.2.2. Hence for any \u03b3 : (Y \u00d7 jm0 , E m ) \u2192 X, we must show that 0 0 0 m ,m \u03b3 \u25e6 \u03c6m \u25e6 \u03b7Zm ,m = \u03b3 \u25e6 \u03b7Y \u25e6 \u03c6m , 0 0 0 0 0 0 m ,m m ,m which holds if \u03c6m \u25e6 \u03b7Zm ,m = \u03b7Y \u25e6 \u03c6m . Now, both \u03c6m \u25e6 \u03b7Zm ,m and \u03b7Y \u25e6 \u03c6m are morphisms from Z \u00d7 jm to Y \u00d7 jm0 , which are compatible with the projections Y \u00d7 jm0 \u2192 Y and Y \u00d7 jm0 0\u2192 jm0 . 0Hence by the universal mapping property of the fibred product Y \u00d7 jm0 , 0 m ,m \u03c6m \u25e6 \u03b7Zm ,m = \u03b7Y \u25e6 \u03c6m . 0 So \u03c0 m ,m uniquely determines a morphism, which we call the projection morphism from 0 0 X Jm0 (X) to Jm (X), and denote \u03c0m0 ,m . We may denote \u03c0 m ,m by \u03c0 X,m ,m , and \u03c0m0 ,m by \u03c0m 0 ,m 0 to avoid confusion when working with more than one projection. We will also denote \u03c0 m ,0 0 by \u03c0 m , and \u03c0m0 ,0 by \u03c0m0 . Note, of course, that this implies that we may alternatively express D D \u2217 the pair (Jm (X), Jm (D)) as (Jm (X), \u03c0m (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 V exists a pair Jm (U) representing LU m , then there exists a pair Jm (V) representing Lm and U \u22121 (\u03c0m ) (V) = Jm (V). Proof. We will show that for any Z = (Z, F)-valued m-jet \u03b3 : (Z \u00d7 jm , F m ) \u2192 U, \u03b3 factors through V if and only if the morphism \u03b3 e : Z \u2192 Jm (U) corresponding to \u03b3 under the repreU U \u22121 sentation of Lm factors through (\u03c0m ) (V). First of all, we may suppose that Z = Spec A is affine, given our proposition 4.1. Assume that \u03b3 factors through V. The truncation homomorphism A[t]\/(tm+1 ) \u2192 A induces the morphism of pairs \u03b7Zm : Z \u2192 (Spec A[t]\/(tm+1 ), F m ) with which we pull back \u03b3 to \u03c0 m (\u03b3). Note that, by definition, pulling back \u03b3 to \u03c0 m (\u03b3) yields 18 \fthe same result as composing \u03b3 e with \u03c0m . Hence, the composition \u03c0m \u25e6 \u03b3 e factors through V . U \u22121 ) (V). From this we see that \u03b3 e must factor through (\u03c0m U \u22121 ) (V). Noting Conversely, let \u03b3 e be a Z-valued point of Jm (U) that factors through (\u03c0m that this implies that \u03c0m \u25e6 \u03b3 e factors through V, we obtain the following commutative square: Spec A[t]\/tm+1 \u03b3 -U 6 6 m \u03b7Z immersion \u03c0 m (\u03b3) - \u222a Spec A V where \u03b3 is the m-jet corresponding to \u03b3 e. 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 Spec A[t]\/tm+1 \u2192 V commuting with the square. Further, the pullback of DV by this morphism exists and equals F m (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. X Proposition 4.4. Let \u03c6 : Y \u2192 X be a morphism of pairs, and suppose that LY m and Lm 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: \u03c6m Jm (Y) - Jm (X) Y \u03c0m X \u03c0m ? \u03c6 ? -X Y Proof. Similarly to the jet scheme case, we begin by choosing the Jm (Y)-valued point of E Jm (Y) given by idJm (Y) , which corresponds to \u03b9Y : (Jm (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 LX m , we know X that \u03c0m \u25e6 \u03c6m = \u03c6 \u25e6 \u03b9Y \u25e6 \u03b7Jmm (Y) (the correspondence is trivial when m = 0). By the same Y X reasoning \u03c0m \u25e6 idJm (Y) = \u03b9Y \u25e6 \u03b7Jmm (Y) , as \u03b9Y corresponds to idJm (Y) . Thus, \u03c0m \u25e6 \u03c6m = Y Y \u03c6 \u25e6 \u03c0m \u25e6 idJm (Y) = \u03c6 \u25e6 \u03c0m . So the diagram above commutes. Proposition 4.5. Let \u03c6 : Y \u2192 X be an e\u0301tale morphism of pairs, and suppose that LY m and X \u223c Lm are represented by Jm (Y) and Jm (X) respectively. Then, Jm (Y) = Jm (X) \u00d7X Y. Proof. We will show that for any pair Z, and every commutative square Z \u03b3 e - Jm (X) X \u03c0m \u03c8 ? Y \u03c6 ? -X 19 \fthere exists a unique morphism \u03b3\u0304 : Z \u2192 Jm (Y) making the following diagram commutative: Z \u03b3\u0304 \u03b3 e \u03c8 - \u03c6m Jm (Y) - Jm (X) - Y \u03c0m ? Y X \u03c0m \u03c6 ? -X X Now, \u03c0m \u25e6\u03b3 e = \u03b3 \u25e6 \u03b7Zm , where \u03b3 is the jet corresponding to the point \u03b3 e. Without loss of generality, assume that Z = (Spec A, F) is affine; the following diagram commutes: m \u03b7Z (Spec A[t]\/(tm+1 ), F m ) (Spec A, F) \u03b3 b \u03c8 ? \u001b Y \u03c6 \u03b3 ? -X 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 b : 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 b corresponds to the Z-valued point we desire, \u03b3\u0304. To verify that \u03c6m \u25e6 \u03b3\u0304 = \u03b3 e, note that the jet corresponding to \u03c6m \u25e6 \u03b3\u0304 is \u03c6 \u25e6 \u03b3 b. But this is Y \u25e6 \u03b3\u0304 = \u03b3 b \u25e6 \u03b7Zm because \u03b3 b is the jet corresponding exactly \u03b3, hence \u03b3 e = \u03c6m \u25e6 \u03b3\u0304. Similarly, \u03c0m Y to \u03b3\u0304. The latter equals \u03c8, so \u03c0m \u25e6 \u03b3\u0304 = \u03c8. Thus, the second diagram is commutative; we \u223c conclude that Jm (Y) = Jm (X) \u00d7X Y. Now, let us suppose momentarily that given any affine pair X\u03b1 = (X\u03b1 , D\u03b1 ) and any \u03b1 m > 0 the functor LX m 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 X X\u03b1 \u22121 that X\u03b1 \u2229X\u03b2 6= \u2205, both (\u03c0m ) (X\u03b1 \u2229X\u03b2 ) and (\u03c0m\u03b2 )\u22121 (X\u03b1 \u2229X\u03b2 ) yield the pair Jm (X\u03b1 \u2229X\u03b2 ) X \u2229X representing Lm\u03b1 \u03b2 ; 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 LX m . Indeed, letting Z = (Z, F), m given any m-jet \u03b3 : (Z \u00d7 jm , F ) \u2192 (X, D), we can break up the jet into its restrictions \u03b3 \u22121 (X\u03b1 ) \u2192 X\u03b1 . Then, we can break up the 0th truncation of \u03b3 into morphisms (\u03b7Zm )\u22121 (\u03b3 \u22121 (X\u03b1 )) = (\u03b3 \u25e6 \u03b7Zm )\u22121 (X\u03b1 ) \u2192 X\u03b1 . Since (\u03b3 \u25e6 \u03b7Zm )\u22121 (X\u03b1 ) is an open subpair of Z, m \u22121 m we know that its preimage p\u22121 Z ((\u03b3 \u25e6 \u03b7Z ) (X\u03b1 )) under the projection pZ : (Z \u00d7 jm , F ) \u2192 Z m \u22121 m is isomorphic to ((\u03b3 \u25e6 \u03b7Z ) (X\u03b1 ) \u00d7 jm , F |(\u03b3\u25e6\u03b7Zm )\u22121 (X\u03b1 )\u00d7jm ). Thus we get a corresponding (\u03b3 \u25e6 \u03b7Zm )\u22121 (X\u03b1 )-valued point of Jm (X\u03b1 ). Since these points must agree on overlaps X\u03b1 \u2229 X\u03b2 6= \u2205 and the preimages (\u03b3 \u25e6 \u03b7Zm )\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 \fdivisors 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 LX m 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 LX m : m (Y, E) 7\u2192 HomPairs ((Y \u00d7 jm , E ), (X, D)) from Pairs to Sets is representable, represented D by a pair Jm (X) = (Jm (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 LX m is Aff Pairs. So let (Y, E) = (Spec B, E) and let \u03b3 : (Y \u00d7 jm , E m ) \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 + bi1 t + \u00b7 \u00b7 \u00b7 + bim tm . Since Xi is the local equation for Di when 1 \u2264 i \u2264 r, \u03b3 \u2217 (Xi ) is the local equation for Eim . But this local equation is bi0 , hence bi0 \u00b7 ui = bi0 + bi1 t + \u00b7 \u00b7 \u00b7 + bim tm for some invertible regular section ui . Writing ui = ui0 + ui1 t + \u00b7 \u00b7 \u00b7 + uim tm we see that ui0 = 1 and bi0 \u00b7 uil = 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 (1) (1) (0) C = k[X1 , . . . , Xn(0) , (m) (m) Xr X Xr X1 (1) (m) ,..., , Xr+1 , . . . , Xn(1) , . . . , 1 , . . . , , Xr+1 , . . . , Xn(m) ]. X1 Xr X1 Xr Then \u03b3 \u2217 determines a unique homomorphism \u03b3 e\u2217 : C \u2192 B sending (0) Xi 7\u2192 bi0 , \u22001 \u2264 i \u2264 n, (l) Xi 7\u2192 uil , Xi \u22001 \u2264 i \u2264 r, 1 \u2264 l \u2264 m, and (l) Xi 7\u2192 bil , \u2200r + 1 \u2264 i \u2264 n, 1 \u2264 l \u2264 m. D Thus we let Jm (X) = Spec C, and we let Jm (D) = ({(Spec C, X1 )}, . . . , {(Spec C, Xr )}). It D is immediate that \u03b3 e : (Spec B, E) \u2192 (Jm (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 (Spec B, E) the homomorpism (\u03c6m )\u2217 maps B[t]\/(tm+1 ) \u2192 S[t]\/(tm+1 ) such that b0 + b1 t + \u00b7 \u00b7 \u00b7 + bm tm 7\u2192 \u223c \u03c6\u2217 (b0 ) + \u03c6\u2217 (b1 )t + \u00b7 \u00b7 \u00b7 + \u03c6\u2217 (bm )tm . This guarantees functoriality, and so we see that LX m = n n n h(JmD (X),Jm (D)) when X = (Ak , ({(Ak , X1 )}, . . . , {(Ak , Xr )})). 21 \fCase 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 Spec R = 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 (Spec R\/I, ({(Spec R\/I, W1 )}, . . . , {(Spec R\/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 (0) scheme A(n+r)(m+1) with the r-tuple of divisors defined on A(n+r)(m+1) by the Wi \u2019s. To find D (X) we must consider m-jets in An+r that factor through the equations for the ideal of Jm X. A (Spec B, 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 Eim 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 (0) (0) (1) (m) (1) k[X1 , . . . , Xn(0) , W1 , . . . , Wr(0) , X1 , . . . , Xn(1) , W1 , . . . , Wr(1) , . . . , X1 , . . . , Wr(m) ] \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 (1) (0) (0) (1) k[X1 , . . . , Xn(0) , W1 , . . . , Wr(0) , X1 , . . . , Xn(1) , (1) (m) W1 Wr Wr (m) ,..., , . . . , X1 , . . . , ] \u2192 B. W1 Wr Wr 22 \fLet us denote the domain of this homomorphism as S. We write \u03b3 \u2217 (Xi ) = bi0 + bi1 t + \u00b7 \u00b7 \u00b7 + bim tm for 1 \u2264 i \u2264 n. Then \u03b3 \u2217 (fj ) = fj0 + fj1 t + \u00b7 \u00b7 \u00b7 + fjm tm for 1 \u2264 j \u2264 s, where for each 0 \u2264 l0 \u2264 m the coefficient fjl0 is a polynomial in (bil )1\u2264i\u2264n,1\u2264l\u2264m . Thus, we consider each fjl0 (l) as a polynomial in (Xi )i,l ; the condition \u03b3 \u2217 (fj ) translates in terms of the homomorphism from S to B into fjl0 7\u2192 0 for all 1 \u2264 j \u2264 s and 0 \u2264 l0 \u2264 m. Similarly, writing \u03b3 \u2217 (Wi ) = ci0 +ci0 \u00b7ui1 t+\u00b7 \u00b7 \u00b7+ci0 \u00b7uim tm and \u03b3 \u2217 (gi ) = gi0 +gi1 t+\u00b7 \u00b7 \u00b7+gim tm for 1 \u2264 i \u2264 r, the condition on \u03b3 \u2217 indicates that ci0 = gi0 and ci0 \u00b7 uil0 = gil0 for every (l) 1 \u2264 l0 \u2264 m. This time considering gil0 as a polynomial in (Xi )1\u2264i\u2264n,1\u2264l\u2264m , we must have (0) gil0 \u2212 Wi (l0 ) \u00b7 Wi (0) Wi 7\u2192 0 for all 1 \u2264 i \u2264 r and 0 \u2264 l0 \u2264 m. Hence, the (Spec B, E)-valued m-jets on (X, D) are parametrized by points in the closed immersion of schemes (l0 ) Spec S\/(fjl , gi0 \u2212 (0) Wi , gil0 \u2212 (0) Wi \u00b7 Wi (0) Wi : 1 \u2264 j \u2264 s, 0 \u2264 l \u2264 m, 1 \u2264 i \u2264 r, 1 \u2264 l0 \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 D (X), Jm (D)) reprenon-zerodivisors in this closed immersion. In order to obtain the pair (Jm X senting Lm 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 D associated to the pair X. We refer to the scheme Jm (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 D describe the equations of the ideal of Jm (X) more explicitly. First, let S be the ring (1) (m) Wr Wr (m) , . . . , X1 , . . . , ]. S= Wr Wr As in the jet scheme case outlined in the introduction, there is a k-derivation d on S deter(l) (l+1) (l) (l) (l+1) mined as follows: dXi = Xi where Xi = 0 for all l > m, and dWi = Wi where (1) (0) k[X1 , . . . , Wr(0) , X1 , . . . , (l) def (0) W (l) (l) Wi = Wi \u00b7 Wi i for all 1 \u2264 l \u2264 m and Wi = 0 for all l > m. By the same arguments as in the jet scheme case we find that the equations fj l0 all map to 0 if and only if the equations 0 (0) (0) dl fj all map to 0, where we consider fj as a polynomial in X1 , . . . , Xn . Similarly, since 0 0 0 (0) (0) (0) (0) dl (gi \u2212 Wi ) = dl gi \u2212 dl Wi we find that gi0 \u2212 Wi and gil0 \u2212 Wi all map to 0 if and 0 (0) only if the equations dl (gi \u2212 Wi ) all map to 0. Thus we have an equality of ideals (l0 ) (0) (0) Wi (fjl0 , gi0 \u2212Wi , gil0 \u2212Wi \u00b7 (0) ) Wi (0) (0) (0) = (fj , dfj , . . . , dm fj , gi \u2212Wi , d(gi \u2212Wi ), . . . , dm (gi \u2212Wi )). 23 \f5 5.1 Conclusion 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 D (X) associated to X and its family of effective Cartier divisors D = (D1 , . . . , Dr ). schemes Jm 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, (X,D) we defined the functors Lm 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 (X,D) the functor Lm . 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 \u2217 OX \/OX . 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 \u03c6 def (Y, E) \u2192 (X, D) pull back D to \u03c6\u2217 (D) = (\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 \u00b7 X2 , one shows in the first case that the fibre of the projection \u03c01 : J1D (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 \u03c01\u22121 ((0, 0)) \u223c = A2 (while \u03c01\u22121 ((a, b)) \u223c = A1 for any (a, b) with a = 0, b 6= 0 or a 6= 0, b = 0). 24 \fThough 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 \fReferences [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, arXiv:math\/0612862v2 [math.AG], 2008. Jet Schemes and Singularities, [FmI+ 05] Barbara Fantechi, Lothar Go\u0308ttsche, Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli, Fundamental Algebraic Geometry: Grothendieck\u2019s FGA Explained, Mathematical Surveys and Monographs, vol. 123, The American Mathematical 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 collaboration 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, Geometry, 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 Singularities, 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"}