"Science, Faculty of"@en .
"Mathematics, Department of"@en .
"DSpace"@en .
"UBCV"@en .
"Staal, Andrew Philippe"@en .
"2009-01-05T17:22:02Z"@en .
"2008"@en .
"Master of Science - MSc"@en .
"University of British Columbia"@en .
"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 \u00E2\u0089\u00A5 0. We prove that there exist families of \u00E2\u0080\u009Clogarithmic\u00E2\u0080\u009D jet schemes JDm(X) for m \u00E2\u0089\u00A5 0, in the category of k-schemes of finite type, associated to any given X and its family of divisors D = (D\u00E2\u0082\u0081, . . . ,Dr). The sections of JD\u00E2\u0082\u0081(X) correspond to so-called vector fields on X with logarithmic poles along the family of divisors D = (D\u00E2\u0082\u0081, . . . ,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."@en .
"https://circle.library.ubc.ca/rest/handle/2429/3327?expand=metadata"@en .
"280652 bytes"@en .
"application/pdf"@en .
"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 \u000CAbstract 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 \u00E2\u0089\u00A5 0. We prove that there exist D (X) for m \u00E2\u0089\u00A5 0, in the category of k-schemes of families of \u00E2\u0080\u009Clogarithmic\u00E2\u0080\u009D 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 \u000CContents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Preliminaries . . . . . . . . . . . . 2.1 Functors of Points and Yoneda\u00E2\u0080\u0099s 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 \u000CAcknowledgments 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\u00CC\u0081 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 \u000CTo Ralph and Isabel, en honor de Salomo\u00CC\u0081n y AuraMar\u00C4\u00B1\u00CC\u0081a v \u000C1 Introduction Let X and Z denote schemes of finite type over C. A Z-valued m-jet in X is a morphism \u00CE\u00B3 : Z \u00C3\u0097 Spec C[t]/(tm+1 ) \u00E2\u0086\u0092 X. Let LX m denote the contravariant functor Hom(\u00E2\u0088\u0092 \u00C3\u0097 m+1 X SpecC[t]/(t ), X). The functor Lm is representable; that is, the functor \u00E2\u0088\u0092\u00C3\u0097SpecC[t]/(tm+1 ) has a right adjoint, which we denote Jm (\u00E2\u0088\u0092). Thus, any Z-valued m-jet \u00CE\u00B3 in X corresponds uniquely, and functorially, to a Z-valued point \u00CE\u00B3 e : Z \u00E2\u0086\u0092 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\u00E2\u0080\u0099s 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 \u00CE\u00B3 is determined by a homomorphism \u00CE\u00B3 \u00E2\u0088\u0097 : C[X1 , . . . , Xn ] \u00E2\u0086\u0092 A[t]/(tm+1 ) such that \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) = 0 for each 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s. Let \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) = fj0 + fj1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + fjm tm ; the condition \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) = 0 translates to fjl0 = 0 for every 0 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 m. Note that each fjl0 is a polynomial in the coefficients (ail )i,l of the elements \u00CE\u00B3 \u00E2\u0088\u0097 (Xi ) = ai0 + ai1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + aim tm . Thus, consider the homomorphism (0) (1) (m) C[X1 , . . . , Xn(0) , X1 , . . . , Xn(1) , . . . , X1 , . . . , Xn(m) ] \u00E2\u0086\u0092 A (l) mapping Xi 7\u00E2\u0086\u0092 ail ; this Z-valued point of affine n(m+1)-space determines and is determined by \u00CE\u00B3 \u00E2\u0088\u0097 if and only if the condition fjl0 7\u00E2\u0086\u0092 0 holds for every 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s, 0 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 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 \u00CF\u0080m0 ,m : Jm0 (X) \u00E2\u0086\u0092 Jm (X) is the morphism of schemes induced by 0 the truncation homomorphism C[t]/(tm +1 ) \u00E2\u0086\u0092 C[t]/(tm+1 ). The jet schemes of X with their projection morphisms form a projective system \u00CF\u0080m,m\u00E2\u0088\u00921 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 \u00E2\u0086\u0092 Jm (X) \u00E2\u0088\u0092\u00E2\u0088\u0092\u00E2\u0088\u0092\u00E2\u0088\u0092\u00E2\u0086\u0092 Jm\u00E2\u0088\u00921 (X) \u00E2\u0086\u0092 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 \u00E2\u0086\u0092 X, whose projective limit J\u00E2\u0088\u009E (X) is called the arc space of X. Further, there are projection morphisms \u00CF\u0081m : J\u00E2\u0088\u009E (X) \u00E2\u0086\u0092 Jm (X) (it will always be clear to which \u00E2\u0080\u009Cprojection\u00E2\u0080\u009D 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\u00E2\u0088\u009E (AnC ) = Spec C[X1 , . . . , Xn(0) , . . . , Xn(l) , X1 . . .]. 1 \u000CNotice that J\u00E2\u0088\u009E (X) is not generally a scheme of finite type over C. One obtains explicit equations for J\u00E2\u0088\u009E (X) as follows (borrowing notation from [EM08]): let (0) (l+1) S\u00E2\u0088\u009E = 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\u00E2\u0088\u009E , mapping Xi 7\u00E2\u0086\u0092 Xi . For any f \u00E2\u0088\u0088 C[X1 , . . . , Xn ], consider f as an element def def (0) of S\u00E2\u0088\u009E by substituting Xi for Xi . Denote f (0) = f and let f (l+1) = df (l) recursively. (l) Writing I\u00E2\u0088\u009E for the ideal (fj |1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s, l \u00E2\u0088\u0088 N \u00E2\u0088\u00AA {0}), it is straight-forward to prove that Spec S\u00E2\u0088\u009E /I\u00E2\u0088\u009E = J\u00E2\u0088\u009E (X); that is, the equations fj , dfj , d2 fj , . . . over all 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s cut out the scheme J\u00E2\u0088\u009E (X) from (infinite-dimensional) affine space. Under the truncation homo(0) (m) morphism S\u00E2\u0088\u009E \u00E2\u0086\u0092 Sm = C[X1 , . . . , Xn ] we obtain the equations for Jm (X). Namely, Jm (X) = Spec Sm /Im , where Im = (fj , dfj , . . . , dm fj : 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 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 \u00E2\u008A\u0082 X,P Yi \u00E2\u0088\u00A9 U 6= \u00E2\u0088\u0085 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 \u00E2\u0088\u0088 X, one can always choose local coordinates x1 , . . . , xn on some U containing x such that x = (0, . . . , 0) and fij = xj for 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 k. In particular Y \u00E2\u0088\u00A9 U is geometrically the zero-locus of x1 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 xk . Let Y be a divisor with normal crossings on X, let X \u00E2\u0088\u0097 = X \u00E2\u0088\u0092 Y , and let \u00CF\u0091 : X \u00E2\u0088\u0097 \u00E2\u0086\u0092 X be the inclusion morphism. Recall that \u00E2\u0084\u00A61X (logY ) denotes the locally free sub-OX -module of r 1 , dxr+1 , . . . , dxn in a , . . . , dx the direct image sheaf \u00CF\u0091\u00E2\u0088\u0097 \u00E2\u0084\u00A61X \u00E2\u0088\u0097 , 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 \u00E2\u0084\u00A6X/C be its sheaf of Ka\u00CC\u0088hler differentials over C. \u00E2\u0084\u00A6X/C is locally free; the (geometric) vector bundle associated to \u00E2\u0084\u00A6X/C , TX := Spec (Sym \u00E2\u0084\u00A6X/C ), is called the total tangent space of X. It is straightforward to show that J1 (X) \u00E2\u0088\u00BC = TX . We refer to a section v of the structure morphism TX \u00E2\u0086\u0092 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 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 Xr . There is a sheaf \u00E2\u0084\u00A6X/C (logD) on X associated to D analogous to the sheaf \u00E2\u0084\u00A61X (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] \u00C2\u00B7 dX1 dXr \u00E2\u008A\u0095 . . . \u00E2\u008A\u0095 C[X] \u00C2\u00B7 \u00E2\u008A\u0095 C[X] \u00C2\u00B7 dXr+1 \u00E2\u008A\u0095 . . . \u00E2\u008A\u0095 C[X] \u00C2\u00B7 dXn ; X1 Xr e Further, there is a vector bundle that is, \u00E2\u0084\u00A6X/k (logD) = B. TX (logD) := Spec (Sym \u00E2\u0084\u00A6X/C (logD)) 2 \u000Cover X called the logarithmic total tangent space of X with respect to the divisor D. There is a canonical injection \u00E2\u0084\u00A6X/C \u00E2\u0086\u0092 \u00E2\u0084\u00A6X/C (logD) from which we obtain a morphism TX (logD) \u00E2\u0086\u0092 TX factoring the structure morphism TX (logD) \u00E2\u0086\u0092 X. One refers to a section of TX (logD) \u00E2\u0086\u0092 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 ). \u00E2\u0088\u0082 +\u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7+fn \u00C2\u00B7 \u00E2\u0088\u0082X\u00E2\u0088\u0082 n , with fi \u00E2\u0088\u0088 C[X] for each i. Here A vector field v on X is written v = f1 \u00C2\u00B7 \u00E2\u0088\u0082X 1 \u00E2\u0088\u0082 \u00E2\u0088\u0082 is the homomorphism \u00E2\u0084\u00A6X/C \u00E2\u0086\u0092 C[X] determined by the Kronecker delta: \u00E2\u0088\u0082X (dXj ) = \u00CE\u00B4ij \u00E2\u0088\u0082Xi i for 1 \u00E2\u0089\u00A4 i, j \u00E2\u0089\u00A4 n. Supposing that D is a divisor with normal crossings as above, a vector field logarithmic along D has the form v = g1 \u00C2\u00B7 X1 \u00C2\u00B7 \u00E2\u0088\u0082 \u00E2\u0088\u0082 \u00E2\u0088\u0082 \u00E2\u0088\u0082 + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + gr \u00C2\u00B7 Xr \u00C2\u00B7 + fr+1 \u00C2\u00B7 + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + fn \u00C2\u00B7 , \u00E2\u0088\u0082X1 \u00E2\u0088\u0082Xr \u00E2\u0088\u0082Xr+1 \u00E2\u0088\u0082Xn with gi \u00E2\u0088\u0088 C[X]; that is for such a vector field Xi |fi for every 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 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] \u00E2\u0086\u0092 C[X][t]/(t2 ). Since v is a section of the projection \u00CF\u00801 , this homomorphism is the one determined by Xi 7\u00E2\u0086\u0092 Xi + fi t. When v is logarithmic along D this becomes Xi 7\u00E2\u0086\u0092 Xi + (gi \u00C2\u00B7 Xi )t = Xi (1 + gi t) for 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r; that is, Xi maps to Xi times a unit of the ring C[X][t]/(t2 ). Equivalently, the equation X1 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 Xr defining D maps to X1 \u00C2\u00B7 \u00C2\u00B7 \u00C2\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 \u00C3\u0097 Spec C[t]/(t2 ), X1 \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 Xr )}. That is, if v\u00CE\u00B3 : X \u00C3\u0097 Spec C[t]/(t2 ) \u00E2\u0086\u0092 X is the X-valued jet corresponding to v, then the morphism of sheaves (v\u00CE\u00B3 )\u00E2\u0088\u0097 : OX \u00E2\u0086\u0092 (v\u00CE\u00B3 )\u00E2\u0088\u0097 OX\u00C3\u0097Spec C[t]/(t2 ) takes a local equation for D to a local equation for D1 . We observe here that the condition \u00E2\u0080\u009Cv is a logarthmic vector field along D\u00E2\u0080\u009D can be stated functorially. That is, given any schemes X and Z of finite type over any (algebraically closed) field, and any m \u00E2\u0089\u00A5 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 \u000Ccase 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 \u000C2 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\u00E2\u0080\u0099s Lemma. This notion is basic, but fundamental; our main result uses Yoneda\u00E2\u0080\u0099s 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\u00E2\u0080\u0099s 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 \u00E2\u0080\u009Cfunctor of points\u00E2\u0080\u009D. 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 \u00E2\u0080\u009Cpair\u00E2\u0080\u009D in the next chapter. Let X and Y denote objects in a category \u00CE\u0093. Recall that the functor of points of X, denoted hX , is the (contravariant) functor defined as follows: let hX : (\u00CE\u0093)\u00E2\u0097\u00A6 \u00E2\u0086\u0092 Sets take any Y to the set hX (Y ) = Hom\u00CE\u0093 (Y, X), where (\u00CE\u0093)\u00E2\u0097\u00A6 denotes the opposite category to \u00CE\u0093. In this context, a morphism \u00CF\u0086 : Y \u00E2\u0086\u0092 X is referred to as a Y -valued point of X. Further, recall that the mapping h : \u00CE\u0093 \u00E2\u0086\u0092 Fun((\u00CE\u0093)\u00E2\u0097\u00A6 , 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 \u00CE\u0093 as above. Then, (i) if F : (\u00CE\u0093)\u00E2\u0097\u00A6 \u00E2\u0086\u0092 Sets is a functor, the natural transformations from hX = Hom\u00CE\u0093 (\u00E2\u0088\u0092, X) to F are in natural correspondence with the elements of F(X). (ii) if hX = Hom\u00CE\u0093 (\u00E2\u0088\u0092, X) \u00E2\u0088\u00BC = Hom\u00CE\u0093 (\u00E2\u0088\u0092, Y ) = hY , X \u00E2\u0088\u00BC = Y . That is, h : X \u00E2\u0086\u0092 hX is fully faithful. 5 \u000CWhen \u00CE\u0093 is the category of k-schemes, this result can be refined to the following: Proposition 2.2. The functor h : k \u00E2\u0088\u0092 Schemes \u00E2\u0086\u0092 Fun(k \u00E2\u0088\u0092 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\u00E2\u0080\u0099s 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 \u00CE\u0093, 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 : (\u00CE\u0093)\u00E2\u0097\u00A6 \u00E2\u0086\u0092 Sets is a representable functor if there is some object X in \u00CE\u0093 such that hX \u00E2\u0088\u00BC = F. Such an object X is unique by the second part of Yoneda\u00E2\u0080\u0099s 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 \u00E2\u0086\u0092 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 \u00E2\u0088\u0088 nzd(R) for \u00E2\u0080\u009Ca is a non-zerodivisor in the ring R\u00E2\u0080\u009D. Given a scheme X and an open neighbourhood U \u00E2\u008A\u0086 X, let SX (U ) \u00E2\u008A\u0086 \u00CE\u0093(U, OX ) denote the set of sections over U that are non-zerodivisors in every local ring OX,p with p \u00E2\u0088\u0088 U . The mapping U 7\u00E2\u0086\u0092 SX (U )\u00E2\u0088\u00921 \u00CE\u0093(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 \u00E2\u0088\u0097 . Cartier divisors are defined as follows: 6 \u000C\u00E2\u0088\u0097 Definition 2.2.1. A Cartier divisor D on X is a global section of the sheaf M\u00E2\u0088\u0097X /OX . Thus, we may specify a Cartier divisor D on X with an open covering {U\u00CE\u00B1 : \u00CE\u00B1 \u00E2\u0088\u0088 A} of X and an element f\u00CE\u00B1 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 , M\u00E2\u0088\u0097X ) for each \u00CE\u00B1, such that for every \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A the quotient \u00E2\u0088\u0097 f\u00CE\u00B1 /f\u00CE\u00B2 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 U\u00CE\u00B2 , OX ). We write D = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 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 \u00E2\u0088\u0088 nzd(R) if and only if r/1 \u00E2\u0088\u0088 nzd(Rp ) for all prime ideals p \u00E2\u0089\u00A4 R. When specifying a Cartier divisor D = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} on a locally Noetherian X, we may assume that every U\u00CE\u00B1 = Spec R\u00CE\u00B1 is an affine open subscheme such that R\u00CE\u00B1 is a Noetherian ring. Then, f\u00CE\u00B1 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 , M\u00E2\u0088\u0097X ) is equivalent to f\u00CE\u00B1 = g\u00CE\u00B1 /h\u00CE\u00B1 for g\u00CE\u00B1 , h\u00CE\u00B1 \u00E2\u0088\u0088 nzd(R\u00CE\u00B1 ). From the definition, we see that D = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} and D0 = {(W\u00CE\u00B3 , h\u00CE\u00B3 ) : \u00CE\u00B3 \u00E2\u0088\u0088 G} determine the same Cartier divisor if for any \u00CE\u00B1 and \u00CE\u00B3 such that U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 6= \u00E2\u0088\u0085 the restrictions of f\u00CE\u00B1 and h\u00CE\u00B3 differ by a unit in the ring \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 , OX ); that is, f\u00CE\u00B1 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 = u\u00CE\u00B1,\u00CE\u00B3 \u00C2\u00B7 h\u00CE\u00B3 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 \u00E2\u0088\u0097 for some u\u00CE\u00B1,\u00CE\u00B3 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 , 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\u00CE\u00B1 \u00E2\u0088\u00A9 U, f\u00CE\u00B1 |U\u00CE\u00B1 \u00E2\u0088\u00A9U ) : \u00CE\u00B1 \u00E2\u0088\u0088 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\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} on X is called effective if f\u00CE\u00B1 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 , OX ) for every \u00CE\u00B1 \u00E2\u0088\u0088 A. In other words, D is an effective Cartier divisor on X if and only if D defines a closed subscheme XD \u00E2\u0086\u0092 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 \u00E2\u0080\u009Cnice\u00E2\u0080\u009D 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\u00CE\u00B1,p \u00E2\u0088\u0088 nzd(OX,p ) for every p \u00E2\u0088\u0088 U\u00CE\u00B1 , 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\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} satisfying the following: \u00E2\u0080\u00A2 {U\u00CE\u00B1 : \u00CE\u00B1 \u00E2\u0088\u0088 A} is an open cover of X, \u00E2\u0080\u00A2 f\u00CE\u00B1 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 , OX ) for all \u00CE\u00B1 \u00E2\u0088\u0088 A, and \u00E2\u0088\u0097 \u00E2\u0080\u00A2 for every \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A such that U\u00CE\u00B1 \u00E2\u0088\u00A9 U\u00CE\u00B2 6= \u00E2\u0088\u0085, there exists some u\u00CE\u00B1,\u00CE\u00B2 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 U\u00CE\u00B2 , OX ) such that f\u00CE\u00B1 |U\u00CE\u00B1 \u00E2\u0088\u00A9U\u00CE\u00B2 = u\u00CE\u00B1,\u00CE\u00B2 \u00C2\u00B7 f\u00CE\u00B2 |U\u00CE\u00B1 \u00E2\u0088\u00A9U\u00CE\u00B2 . 7 \u000CRemark 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\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} such that f\u00CE\u00B1,p \u00E2\u0088\u0088 nzd(OX,p ) for all p \u00E2\u0088\u0088 U\u00CE\u00B1 and all \u00CE\u00B1 \u00E2\u0088\u0088 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 \u00CF\u0086 : Y \u00E2\u0086\u0092 X be a k-morphism between k-schemes Y and X; by definition this is a continuous map \u00CF\u0086 : Y \u00E2\u0086\u0092 X of topological spaces, coupled with a morphism \u00CF\u0086\u00E2\u0088\u0097 : OX \u00E2\u0086\u0092 \u00CF\u0086\u00E2\u0088\u0097 OY of sheaves on X (which behaves \u00E2\u0080\u009Cnicely\u00E2\u0080\u009D with regard to localisation). Further, let D0 = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} be a predivisor on X. Let def \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 = \u00CF\u0086\u00E2\u0088\u0097U\u00CE\u00B1 : \u00CE\u0093(U\u00CE\u00B1 , OX ) \u00E2\u0086\u0092 \u00CE\u0093(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ), OY ), so that \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 ) \u00E2\u0088\u0088 \u00CE\u0093(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ), OY ). We find that the collection {(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ), \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 )) : \u00CE\u00B1 \u00E2\u0088\u0088 A} is a predivisor on Y . In particular note that the third condition for predivisors holds, as \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 )|\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 )\u00E2\u0088\u00A9\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B2 ) = \u00CF\u0086\u00E2\u0088\u0097U\u00CE\u00B1 \u00E2\u0088\u00A9U\u00CE\u00B2 (u\u00CE\u00B1,\u00CE\u00B2 ) \u00C2\u00B7 \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B2 (f\u00CE\u00B2 )|\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 )\u00E2\u0088\u00A9\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B2 ) , for every \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A such that \u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ) \u00E2\u0088\u00A9 \u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B2 ) 6= \u00E2\u0088\u0085. Note that \u00CF\u0086\u00E2\u0088\u0097U\u00CE\u00B1 \u00E2\u0088\u00A9U\u00CE\u00B2 (u\u00CE\u00B1,\u00CE\u00B2 ) \u00E2\u0088\u0088 \u00CE\u0093(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ) \u00E2\u0088\u00A9 \u00E2\u0088\u0097 ) is. We make the following definition: \u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B2 ), OY\u00E2\u0088\u0097 ) is invertible, as u\u00CE\u00B1,\u00CE\u00B2 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 U\u00CE\u00B2 , OX Definition 2.2.1. Given a predivisor D0 on X, and a morphism Y \u00E2\u0086\u0092 X as above, the predivisor {(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ), \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 )) : \u00CE\u00B1 \u00E2\u0088\u0088 A} on Y is called the pullback of D0 by \u00CF\u0086, denoted \u00CF\u0086\u00E2\u0088\u0097 (D0 ). We say that \u00CF\u0086 pulls back D0 to \u00CF\u0086\u00E2\u0088\u0097 (D0 ). Recall that for every p \u00E2\u0088\u0088 X and any q \u00E2\u0088\u0088 \u00CF\u0086\u00E2\u0088\u00921 (p) there is an induced morphism \u00CF\u0086\u00E2\u0088\u0097q : OX,p \u00E2\u0086\u0092 OY,q of local rings. Suppose that p \u00E2\u0088\u0088 U\u00CE\u00B1 \u00E2\u008A\u0086 X; this morphism takes f\u00CE\u00B1,p to the element \u00CF\u0086\u00E2\u0088\u0097q (f\u00CE\u00B1,p ) = (\u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 ))q . Hence, if \u00CF\u0086\u00E2\u0088\u0097q (f\u00CE\u00B1,p ) \u00E2\u0088\u0088 nzd(OY,q ) for every such p, q, and \u00CE\u00B1, then the pullback \u00CF\u0086\u00E2\u0088\u0097 (D0 ) = {(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ), \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 )) : \u00CE\u00B1 \u00E2\u0088\u0088 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\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} and D00 = {(W\u00CE\u00B3 , h\u00CE\u00B3 ) : \u00CE\u00B3 \u00E2\u0088\u0088 G} are predivisors obtained from equivalent presentations of the effective Cartier divisor D. Moreover, suppose that D0 satisfies the condition above, so that \u00CF\u0086\u00E2\u0088\u0097 (D0 ) yields an effective Cartier divisor on Y . Then, the pullback \u00CF\u0086\u00E2\u0088\u0097 (D00 ) also yields an effective Cartier divisor on Y , equal to the one obtained from \u00CF\u0086\u00E2\u0088\u0097 (D0 ). 8 \u000CProof. To verify this, we must show that the pullback \u00CF\u0086\u00E2\u0088\u0097 (D00 ) is locally defined by sections that differ by a unit from those defining \u00CF\u0086\u00E2\u0088\u0097 (D0 ) on the intersections of their respective domains. Now, as \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 ) is locally a non-zerodivisor, so is \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (f\u00CE\u00B1 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 ) for all \u00CE\u00B1 and \u00CE\u00B3 such that U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 6= \u00E2\u0088\u0085, where \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 = \u00CF\u0086\u00E2\u0088\u0097U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 . Then, \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (f\u00CE\u00B1 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 ) = \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (u\u00CE\u00B1,\u00CE\u00B3 \u00C2\u00B7 h\u00CE\u00B3 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 ) = \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (u\u00CE\u00B1,\u00CE\u00B3 ) \u00C2\u00B7 \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (h\u00CE\u00B3 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 ), \u00E2\u0088\u0097 \u00E2\u0088\u0097 for some u\u00CE\u00B1,\u00CE\u00B3 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 , OX ). Since u\u00CE\u00B1,\u00CE\u00B3 \u00E2\u0088\u0088 \u00CE\u0093(U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 , OX ) is invertible, we have \u00E2\u0088\u00921 \u00E2\u0088\u0097 \u00E2\u0088\u00921 \u00E2\u0088\u00921 \u00E2\u0088\u0097 \u00E2\u0088\u0097 \u00CF\u0086\u00CE\u00B1,\u00CE\u00B3 (u\u00CE\u00B1,\u00CE\u00B3 ) \u00E2\u0088\u0088 \u00CE\u0093(\u00CF\u0086 (U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 ), OY ) = \u00CE\u0093(\u00CF\u0086 (U\u00CE\u00B1 ) \u00E2\u0088\u00A9 \u00CF\u0086 (W\u00CE\u00B3 ), OY ); that is, \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (u\u00CE\u00B1,\u00CE\u00B3 ) is invertible. Hence \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1,\u00CE\u00B3 (h\u00CE\u00B3 |U\u00CE\u00B1 \u00E2\u0088\u00A9W\u00CE\u00B3 ) is locally a non-zerodivisor, showing that \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B3 (h\u00CE\u00B3 ) is itself locally a non-zerodivisor. Also, we see that on \u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 \u00E2\u0088\u00A9 W\u00CE\u00B3 ) = \u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1 ) \u00E2\u0088\u00A9 \u00CF\u0086\u00E2\u0088\u00921 (W\u00CE\u00B3 ) the local equations \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1 (f\u00CE\u00B1 ) and \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B3 (h\u00CE\u00B3 ) differ by a unit. Hence, the predivisors \u00CF\u0086\u00E2\u0088\u0097 (D0 ) and \u00CF\u0086\u00E2\u0088\u0097 (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 \u00CF\u0086 : Y \u00E2\u0086\u0092 X be a morphism, as in lemma 2.1. We define the pullback of D by \u00CF\u0086 to be the effective Cartier divisor on Y obtained from the pullback \u00CF\u0086\u00E2\u0088\u0097 (D0 ) of the predivisor D0 = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A}, where {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} is any presentation of D. We denote the pullback of D as \u00CF\u0086\u00E2\u0088\u0097 (D), and say in this case that \u00CF\u0086 pulls back the effective Cartier divisor D to \u00CF\u0086\u00E2\u0088\u0097 (D). The following definition is convenient in the context of the categories Pairsr , described in the following section: Definition 2.2.3. Let r \u00E2\u0089\u00A5 1 be an integer, and let D0 = (D10 , D20 , . . . , Dr0 ) be an r-tuple of predivisors on the scheme X. Given a morphism \u00CF\u0086 : Y \u00E2\u0086\u0092 X as above, we define the pullback of D0 by \u00CF\u0086 to be the r-tuple (\u00CF\u0086\u00E2\u0088\u0097 (D10 ), \u00CF\u0086\u00E2\u0088\u0097 (D20 ), . . . , \u00CF\u0086\u00E2\u0088\u0097 (Dr0 )), denoted \u00CF\u0086\u00E2\u0088\u0097 (D0 ). In the case that each Di0 is a presentation of a divisor Di , then as above each pullback \u00CF\u0086\u00E2\u0088\u0097 (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 \u00CF\u0086 to be the r-tuple (\u00CF\u0086\u00E2\u0088\u0097 (D1 ), \u00CF\u0086\u00E2\u0088\u0097 (D2 ), . . . , \u00CF\u0086\u00E2\u0088\u0097 (Dr )) of divisors on Y . In this case, we say that \u00CF\u0086 pulls back the family D of divisors on X to the family \u00CF\u0086\u00E2\u0088\u0097 (D) on Y . We will end the section with a description of how, by \u00E2\u0080\u009Cremoving components\u00E2\u0080\u009D 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 \u00E2\u0086\u0092 X. Thus, any morphism Y \u00E2\u0086\u0092 X of schemes of finite type such that \u00CF\u0086\u00E2\u0088\u0097 (D0 ) defines an effective Cartier divisor on Y will factor through X 0 . Lemma 2.2. Given a predivisor D0 = {(U\u00CE\u00B1 , f\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} on a scheme X of finite type over k, there exists a unique closed immersion i : X 0 \u00E2\u0086\u0092 X such that (i) i\u00E2\u0088\u0097 (D0 ) yields an effective Cartier divisor on X 0 , and 9 \u000C(ii) for any k-morphism \u00CF\u0086 : Y \u00E2\u0086\u0092 X such that \u00CF\u0086\u00E2\u0088\u0097 (D0 ) yields an effective Cartier divisor on Y , there exists a morphism \u00CF\u00860 : Y \u00E2\u0086\u0092 X 0 such that \u00CF\u0086 = i \u00E2\u0097\u00A6 \u00CF\u00860 . Consequently, the pullback by \u00CF\u00860 of the effective Cartier divisor defined by i\u00E2\u0088\u0097 (D0 ) is the effective Cartier divisor defined by \u00CF\u0086\u00E2\u0088\u0097 (D0 ). Proof. Let gi\u00CE\u00B1 = f\u00CE\u00B1 |Vi\u00CE\u00B1 \u00E2\u0088\u0088 Ri\u00CE\u00B1 , where {Vi\u00CE\u00B1 = Spec Ri\u00CE\u00B1 : i\u00CE\u00B1 \u00E2\u0088\u0088 I\u00CE\u00B1 } is an open cover of U\u00CE\u00B1 by affines for each \u00CE\u00B1 \u00E2\u0088\u0088 A. Suppose that gi\u00CE\u00B1 is a zerodivisor in Ri\u00CE\u00B1 . We begin by letting Si\u00CE\u00B1 = {gi\u00CE\u00B3\u00CE\u00B1 : \u00CE\u00B3 \u00E2\u0089\u00A5 0} be the multiplicative subset in Ri\u00CE\u00B1 generated by gi\u00CE\u00B1 , and we consider ]. Let Ki\u00CE\u00B1 = ker(hi\u00CE\u00B1 ). Notice that the canonical ring homomorphism hi\u00CE\u00B1 : Ri\u00CE\u00B1 \u00E2\u0086\u0092 Ri\u00CE\u00B1 [Si\u00E2\u0088\u00921 \u00CE\u00B1 a \u00E2\u0088\u0088 Ki\u00CE\u00B1 if and only if \u00E2\u0088\u0083 \u00CE\u00B3 such that gi\u00CE\u00B3\u00CE\u00B1 \u00C2\u00B7 a = 0 in Ri\u00CE\u00B1 . Thus, the ring Ri\u00CE\u00B1 /Ki\u00CE\u00B1 is the largest quotient ring of Ri\u00CE\u00B1 in which every zerodivisor of gi\u00CE\u00B1 equals zero; that is, Ki\u00CE\u00B1 is the minimal ideal containing all such elements. Now let \u00CF\u0086 be a morphism as in the statement of the lemma. The homomorphism (\u00CF\u0086|\u00CF\u0086\u00E2\u0088\u00921 (Vi\u00CE\u00B1 ) )\u00E2\u0088\u0097 : Ri\u00CE\u00B1 \u00E2\u0086\u0092 Bi\u00CE\u00B1 = \u00CE\u0093(\u00CF\u0086\u00E2\u0088\u00921 (Vi\u00CE\u00B1 ), OY ) must factor through Ri\u00CE\u00B1 /Ki\u00CE\u00B1 ; i.e. the morphism \u00CF\u0086|\u00CF\u0086\u00E2\u0088\u00921 (Vi\u00CE\u00B1 ) : \u00CF\u0086\u00E2\u0088\u00921 (Vi\u00CE\u00B1 ) \u00E2\u0086\u0092 Vi\u00CE\u00B1 = Spec Ri\u00CE\u00B1 factors through Spec Ri\u00CE\u00B1 /Ki\u00CE\u00B1 . Thus the ideals Ki\u00CE\u00B1 indexed over all \u00CE\u00B1 \u00E2\u0088\u0088 A and i\u00CE\u00B1 \u00E2\u0088\u0088 I\u00CE\u00B1 define a closed immersion i : X 0 \u00E2\u0086\u0092 X through which \u00CF\u0086 : Y \u00E2\u0086\u0092 X must factor. By construction, we see that the pullback i\u00E2\u0088\u0097 (D) yields an effective Cartier divisor on X 0 . Moreover, it is immediate that the pullback of this effective Cartier divisor is defined by \u00CF\u0086\u00E2\u0088\u0097 (D). 10 \u000C3 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 \u00E2\u0080\u009Cjet pairs\u00E2\u0080\u009D analogously to jet schemes, in terms of the representability of a certain functor. For any r \u00E2\u0089\u00A5 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 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 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) \u00E2\u0088\u0088 Pairs, we define HomPairs (Y, X) = {\u00CF\u0086 \u00E2\u0088\u0088 Homk\u00E2\u0088\u0092Schemes (Y, X) : \u00CF\u0086\u00E2\u0088\u0097 (D) = E}. Thus, for \u00CF\u0086 : Y \u00E2\u0086\u0092 X to be considered as a morphism of pairs, the pullback of D by \u00CF\u0086 must exist and equal E. It is clear from the definitions that the identity idX : (X, D) \u00E2\u0086\u0092 (X, D) is a morphism of pairs; simply note that id\u00E2\u0088\u0097X = idOX . Further, pullbacks behave well with regards to composition; that is, given two morphisms of pairs \u00CF\u0088 : (Z, F) \u00E2\u0086\u0092 (Y, E) and \u00CF\u0086 : (Y, E) \u00E2\u0086\u0092 (X, D), their composition \u00CF\u0086\u00E2\u0097\u00A6\u00CF\u0088 is a morphism of pairs. To verify this, note that if Di = {(U\u00CE\u00B1i , f\u00CE\u00B1i ) : \u00CE\u00B1i \u00E2\u0088\u0088 Ai } is a presentation of Di , then Ei = {(\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1i ), \u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1i (f\u00CE\u00B1i )) : \u00CE\u00B1i \u00E2\u0088\u0088 Ai } is a presentation of Ei , and so Fi = {(\u00CF\u0088 \u00E2\u0088\u00921 (\u00CF\u0086\u00E2\u0088\u00921 (U\u00CE\u00B1i )), \u00CF\u0088\u00CF\u0086\u00E2\u0088\u0097 \u00E2\u0088\u00921 (U\u00CE\u00B1 ) (\u00CF\u0086\u00E2\u0088\u0097\u00CE\u00B1i (f\u00CE\u00B1i ))) : \u00CE\u00B1i \u00E2\u0088\u0088 Ai } i = {((\u00CF\u0086 \u00E2\u0097\u00A6 \u00CF\u0088)\u00E2\u0088\u00921 (U\u00CE\u00B1i ), (\u00CF\u0086 \u00E2\u0097\u00A6 \u00CF\u0088)\u00E2\u0088\u0097\u00CE\u00B1i (f\u00CE\u00B1i )) : \u00CE\u00B1i \u00E2\u0088\u0088 Ai }, is a presentation of Fi , proving that the pullback of Di under \u00CF\u0086 \u00E2\u0097\u00A6 \u00CF\u0088 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 \u000C3.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 \u00E2\u008A\u0086 X an open subscheme. The divisors Di for 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 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 \u00E2\u0088\u0088 U . So the open immersion U \u00E2\u0086\u0092 X naturally defines an open immersion of pairs U \u00E2\u0086\u0092 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 \u00E2\u008A\u0086 X have non-empty intersection U \u00E2\u0088\u00A9 V 6= \u00E2\u0088\u0085, to be the open subpair U \u00E2\u0088\u00A9 V = (U \u00E2\u0088\u00A9 V, D|U \u00E2\u0088\u00A9V ) of X. Suppose that {(X\u00CE\u00B1 , D\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} is a collection of open subpairs of (X, D) indexed by the set A. We will call {(X\u00CE\u00B1 , D\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} an open cover of (X, D) if {X\u00CE\u00B1 : \u00CE\u00B1 \u00E2\u0088\u0088 A} is an open cover of X. Note that by assumption the families of divisors D\u00CE\u00B1 |X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 and D\u00CE\u00B2 |X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 are equivalent on the open subscheme X\u00CE\u00B1 \u00E2\u0088\u00A9 X\u00CE\u00B2 for all \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A, as they are both equivalent to D|X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 . Given another pair Y = (Y, E), and a morphism \u00CF\u0086 : Y \u00E2\u0086\u0092 X, we would also like to speak of the preimage of an open subpair U \u00E2\u008A\u0086 X. We let the preimage of U under \u00CF\u0086 refer to the open subpair \u00CF\u0086\u00E2\u0088\u00921 (U) = (\u00CF\u0086\u00E2\u0088\u00921 (U ), E|\u00CF\u0086\u00E2\u0088\u00921 (U ) ) of Y. Notice that we have restricted our attention especially to open subschemes here. Suppose that Y \u00E2\u0086\u0092 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 \u00E2\u0080\u009Cremove components\u00E2\u0080\u009D 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\u00CE\u00B1 = (X\u00CE\u00B1 , D\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} indexed by a set A and for every \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A such that \u00CE\u00B2 6= \u00CE\u00B1 an open subpair U\u00CE\u00B1\u00CE\u00B2 of X\u00CE\u00B1 . Suppose further that we have isomorphisms \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 : U\u00CE\u00B1\u00CE\u00B2 \u00E2\u0086\u0092 U\u00CE\u00B2\u00CE\u00B1 for \u00E2\u0088\u00921 for all \u00CE\u00B1, \u00CE\u00B2; that all such \u00CE\u00B1, \u00CE\u00B2, that satisfy \u00CF\u0088\u00CE\u00B2\u00CE\u00B1 = \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 (U\u00CE\u00B1\u00CE\u00B2 \u00E2\u0088\u00A9 U\u00CE\u00B1\u00CE\u00B3 ) = U\u00CE\u00B2\u00CE\u00B1 \u00E2\u0088\u00A9 U\u00CE\u00B2\u00CE\u00B3 \u00E2\u0088\u0080\u00CE\u00B1, \u00CE\u00B2, \u00CE\u00B3; and that \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 \u00E2\u0097\u00A6 \u00CF\u0088\u00CE\u00B2\u00CE\u00B3 |U\u00CE\u00B1\u00CE\u00B2 \u00E2\u0088\u00A9U\u00CE\u00B1\u00CE\u00B3 = \u00CF\u0088\u00CE\u00B1\u00CE\u00B3 |U\u00CE\u00B1\u00CE\u00B2 \u00E2\u0088\u00A9U\u00CE\u00B1\u00CE\u00B3 \u00E2\u0088\u0080\u00CE\u00B1, \u00CE\u00B2, \u00CE\u00B3. 12 \u000CThen we may glue together a pair along the isomorphisms \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 analogously to the gluing of schemes. In fact, the underlying scheme is obtained by gluing along the morphisms \u00CF\u0088\u00CE\u00B1\u00CE\u00B2 considered as morphisms of schemes, while the r-tuple of divisors on the glued scheme will have local equations exactly those on any X\u00CE\u00B1 . 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 \u00CF\u0086 : Y \u00E2\u0086\u0092 X be a morphism of schemes, such that Y is flat over X. This means that for every y \u00E2\u0088\u0088 Y and x = \u00CF\u0086(y) the morphism \u00CF\u0086\u00E2\u0088\u0097y : OX,x \u00E2\u0086\u0092 OY,y makes OY,y into a flat OX,x -module. Let U \u00E2\u008A\u0086 X be an open subscheme, and suppose that for each 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r the local equation of Di on U is fi . We pull the local equations for D back to \u00CF\u0086\u00E2\u0088\u0097 (fi ) \u00E2\u0088\u0088 \u00CF\u0086\u00E2\u0088\u00921 (U ) \u00E2\u008A\u0086 Y . Since \u00CF\u0086 makes Y flat over X, for every point y \u00E2\u0088\u0088 \u00CF\u0086\u00E2\u0088\u00921 (U ) we deduce that (\u00CF\u0086\u00E2\u0088\u0097 (fi ))y = \u00CF\u0086\u00E2\u0088\u0097y (fi,x ) is a non-zerodivisor in OY,y . (This follows from a basic property of flat modules; namely, since fi,x \u00E2\u0088\u0088 nzd(OX,x ) and the morphism \u00CF\u0086\u00E2\u0088\u0097y 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 \u00CF\u0086\u00E2\u0088\u0097 (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\u00CC\u0081tale morphisms also always pull back families of effective Cartier divisors. We shall refer to a morphism Y \u00E2\u0086\u0092 X of pairs as flat (resp. e\u00CC\u0081tale, smooth) if the underlying scheme-morphism is flat (resp. e\u00CC\u0081tale, 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 \u00C3\u0097 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 \u00C3\u0097 Spec k[t]/(tm+1 ) we will study the morphisms of pairs (Y \u00C3\u0097 Spec k[t]/(tm+1 ), E 0 ) \u00E2\u0086\u0092 (X, D). As a particular example, let us consider the projection Y \u00C3\u0097 Spec k[t]/(tm+1 ) \u00E2\u0086\u0092 Y . Let E = (E1 , . . . , Er ) be an r-tuple of effective Cartier divisors on Y . For any 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r suppose that Vi = Spec Bi \u00E2\u008A\u0086 Y is an open affine subscheme on which Ei is defined by gi \u00E2\u0088\u0088 Bi . The preimage of Vi under the projection is isomorphic to Vi \u00C3\u0097 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\u00E2\u0088\u0097Y \u00C3\u0097Spec k[t]/(tm+1 ) (Vi \u00C3\u0097 Spec k[t]/(tm+1 )). Thus gi is locally the equation of an effective Cartier divisor on Vi \u00C3\u0097 Spec k[t]/(tm+1 ) = Spec Bi [t]/(tm+1 ) \u00E2\u008A\u0086 Y \u00C3\u0097 Spec k[t]/(tm+1 ). We denote this divisor Eim , def and let E m = (E1m , E2m , . . . , Erm ). Examining further, we find that gi \u00E2\u0088\u0088 nzd(Bi ) if and only if gi + gi1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + gim tm \u00E2\u0088\u0088 nzd(Bi [t]/(tm+1 )) for any gi1 , . . . , gim \u00E2\u0088\u0088 Bi . Therefore a divisor E 0 on Vi \u00C3\u0097 Spec k[t]/(tm+1 ) 13 \u000Cdefined by gi + gi1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + gim tm is of the form above if and only if gi |gil for all 1 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 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 \u00C3\u0097 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 \u00E2\u0086\u0092 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 ) \u00E2\u0086\u0092 k[t]/(tm+1 ), where m0 and m are integers such that m0 \u00E2\u0089\u00A5 m \u00E2\u0089\u00A5 0. This morphism induces a morphism of affine schemes 0 Spec k[t]/(tm+1 ) \u00E2\u0086\u0092 Spec k[t]/(tm +1 ). Given a scheme Y consider the following diagram, which commutes: - Spec k[t]/(tm+1 ) Y \u00C3\u0097 Spec k[t]/(tm+1 ) \u00CE\u00B7 m 0,m Y truncation - ? 0 0 Y \u00C3\u0097 Spec k[t]/(tm +1 ) - Spec k[t]/(tm +1 ) - ? Y ? - Spec k 0 So \u00CE\u00B7Ym ,m is the unique morphism of schemes guaranteed by the universal mapping property 0 of the fibred product Y \u00C3\u0097 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 \u00C3\u0097 Spec k[t]/(tm+1 ) and Y \u00C3\u0097 Spec k[t]/(tm +1 ), making \u00CE\u00B7Ym ,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 \u00CE\u00B7Y for the morphism of m+1 m m0 +1 m0 pairs (Y \u00C3\u0097 Spec k[t]/(t ), E ) \u00E2\u0086\u0092 (Y \u00C3\u0097 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 \u00CE\u00B7Y . We will write \u00CE\u00B7Y rather than \u00CE\u00B7Y when m = 0. Later on, we will use these morphisms to define \u00E2\u0080\u009Cprojection morphisms\u00E2\u0080\u009D between jet pairs. Moving on, suppose that \u00CF\u0086 : Z \u00E2\u0086\u0092 Y is a morphism, where Z = (Z, F) and Y = (Y, E). Then there is a morphism \u00CF\u0086m : Z \u00C3\u0097 Spec k[t]/(tm+1 ) \u00E2\u0086\u0092 Y \u00C3\u0097 Spec k[t]/(tm+1 ) of schemes 14 \u000Cguaranteed by the universal mapping property for the fibred product Y \u00C3\u0097 Spec k[t]/(tm+1 ). \u00CF\u0086m is in fact a morphism of pairs \u00CF\u0086m : (Z\u00C3\u0097Speck[t]/(tm+1 ), F m ) \u00E2\u0086\u0092 (Y \u00C3\u0097Speck[t]/(tm+1 ), E m ). This follows since pulling back the local equations of E m by \u00CF\u0086m is equivalent to pulling back \u00CF\u0086 the local equations of E by the composition Z \u00C3\u0097 Spec k[t]/(tm+1 ) \u00E2\u0086\u0092 Z \u00E2\u0088\u0092 \u00E2\u0086\u0092 Y . Thus for every \u00CF\u0086 as above we obtain an induced morphism \u00CF\u0086m such that the following commutes: m \u00CF\u0086 (Z \u00C3\u0097 Spec k[t]/(tm+1 ), F m ) - (Y \u00C3\u0097 Spec k[t]/(tm+1 ), E m ) projection ? (Z, F) projection \u00CF\u0086 ? - (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 \u00E2\u0088\u0088 Pairs; the functor of points of the pair X, denoted hX , is defined to be the functor hX : (Pairs)\u00E2\u0097\u00A6 \u00E2\u0086\u0092 Sets such that hX (Y) = HomPairs (Y, X) for Y \u00E2\u0088\u0088 Pairs. 15 \u000C4 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 \u00E2\u0080\u009Cjet pair\u00E2\u0080\u009D associated to the pair (X, D). The underlying scheme of the jet pair is referred to as the \u00E2\u0080\u009Clogarithmic jet scheme of X with respect to D\u00E2\u0080\u009D. 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) \u00E2\u0088\u0088 Pairs, and let jm denote Spec k[t]/(tm+1 ). The mapping m LX m : (Y, E) 7\u00E2\u0086\u0092 HomPairs ((Y \u00C3\u0097 jm , E ), (X, D)) defines a covariant functor (Pairs)\u00E2\u0097\u00A6 \u00E2\u0086\u0092 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) \u00E2\u0088\u00BC 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 \u00E2\u0080\u009Cgluing together affine pieces\u00E2\u0080\u009D 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)\u00E2\u0097\u00A6 , (Sets)) X - hX |(Aff Pairs)\u00E2\u0097\u00A6 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)\u00E2\u0097\u00A6 and hY |(Aff Pairs)\u00E2\u0097\u00A6 respectively for the remainder of the proof. Any morphism t : Y \u00E2\u0086\u0092 X defines a natural transformation ht : hY \u00E2\u0086\u0092 hX by composition of t with morphisms \u00CF\u0086 : Z \u00E2\u0086\u0092 Y for any Z = (Z, F) \u00E2\u0088\u0088 Aff Pairs. That is, ht (Z) : hY (Z) - hX (Z) HomPairs (Z, Y) - HomPairs (Z, X) \u00CF\u0086 - t\u00E2\u0097\u00A6\u00CF\u0086 16 \u000CHence, it is sufficient to prove that any natural transformation \u00CF\u0084 : hY \u00E2\u0086\u0092 hX is equal to ht for some unique morphism t : Y \u00E2\u0086\u0092 X. Let \u00CF\u0084 be such a natural transformation. We shall obtain the desired morphism t from \u00CF\u0084 . First, let {Y\u00CE\u00B1 = (Y\u00CE\u00B1 , E\u00CE\u00B1 ) : \u00CE\u00B1 \u00E2\u0088\u0088 A} be an open cover of Y by affines. Let \u00C4\u00B1\u00CE\u00B1 : Y\u00CE\u00B1 \u00E2\u0086\u0092 Y def denote the inclusion for each \u00CE\u00B1. Then, there is a unique morphism t\u00CE\u00B1 = \u00CF\u0084Y\u00CE\u00B1 (\u00C4\u00B1\u00CE\u00B1 ) : Y\u00CE\u00B1 \u00E2\u0086\u0092 X corresponding to each inclusion. We claim that the t\u00CE\u00B1 \u00E2\u0080\u0099s glue together to define the desired morphism t : Y \u00E2\u0086\u0092 X. To show this, first let Y\u00CE\u00B1\u00CE\u00B2 = Y\u00CE\u00B1 \u00E2\u0088\u00A9 Y\u00CE\u00B2 for every \u00CE\u00B1, \u00CE\u00B2 \u00E2\u0088\u0088 A. Further, let \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 : Y\u00CE\u00B1\u00CE\u00B2 \u00E2\u0086\u0092 Y\u00CE\u00B1 denote the inclusion of the intersection into Y\u00CE\u00B1 . Then, by naturality of \u00CF\u0084 we see that \u00CF\u0084Y\u00CE\u00B1\u00CE\u00B2 (\u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 ) = t\u00CE\u00B1 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 , and that \u00CF\u0084Y\u00CE\u00B2\u00CE\u00B1 (\u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 ) = t\u00CE\u00B2 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B2\u00CE\u00B1 , using the fact that \u00C4\u00B1\u00CE\u00B2 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B2\u00CE\u00B1 = \u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 . But Y\u00CE\u00B1\u00CE\u00B2 = Y\u00CE\u00B2\u00CE\u00B1 , therefore t\u00CE\u00B1 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B1\u00CE\u00B2 = t\u00CE\u00B2 \u00E2\u0097\u00A6 \u00C4\u00B1\u00CE\u00B2\u00CE\u00B1 ; that is, the restrictions of the t\u00CE\u00B1 \u00E2\u0080\u0099s to the intersections Y\u00CE\u00B1 \u00E2\u0088\u00A9 Y\u00CE\u00B2 are equal, and we may glue the morphisms to define t : Y \u00E2\u0086\u0092 X. Now we will prove ht = \u00CF\u0084 by showing that ht (Z)(\u00CF\u0086) = \u00CF\u0084Z (\u00CF\u0086) for any Z and any element \u00CF\u0086 : Z \u00E2\u0086\u0092 Y of hY (Z). Letting Z\u00CE\u00B1 = \u00CF\u0086\u00E2\u0088\u00921 (Y\u00CE\u00B1 ), and remebering that ht (Z)(\u00CF\u0086) = t \u00E2\u0097\u00A6 \u00CF\u0086, we see that it suffices to prove (t \u00E2\u0097\u00A6 \u00CF\u0086)|Z\u00CE\u00B1 = \u00CF\u0084Z (\u00CF\u0086)|Z\u00CE\u00B1 for all \u00CE\u00B1 \u00E2\u0088\u0088 A. Let \u00CF\u0086\u00CE\u00B1 = \u00CF\u0086|Z\u00CE\u00B1 : Z\u00CE\u00B1 \u00E2\u0086\u0092 Y\u00CE\u00B1 and let \u00EF\u009A\u00BE\u00CE\u00B1 : Z\u00CE\u00B1 \u00E2\u0086\u0092 Z be the inclusion for each \u00CE\u00B1 \u00E2\u0088\u0088 A. Then by naturality of \u00CF\u0084 we find that \u00CF\u0084Z\u00CE\u00B1 (\u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00CF\u0086\u00CE\u00B1 ) = t\u00CE\u00B1 \u00E2\u0097\u00A6 \u00CF\u0086\u00CE\u00B1 , and using \u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00CF\u0086\u00CE\u00B1 = \u00CF\u0086 \u00E2\u0097\u00A6 \u00EF\u009A\u00BE\u00CE\u00B1 that \u00CF\u0084Z\u00CE\u00B1 (\u00C4\u00B1\u00CE\u00B1 \u00E2\u0097\u00A6 \u00CF\u0086\u00CE\u00B1 ) = \u00CF\u0084Z (\u00CF\u0086) \u00E2\u0097\u00A6 \u00EF\u009A\u00BE\u00CE\u00B1 . Thus, (t \u00E2\u0097\u00A6 \u00CF\u0086)|Z\u00CE\u00B1 = \u00CF\u0086\u00CE\u00B1 \u00E2\u0097\u00A6 t\u00CE\u00B1 = \u00CF\u0084Z (\u00CF\u0086) \u00E2\u0097\u00A6 \u00EF\u009A\u00BE\u00CE\u00B1 = \u00CF\u0084Z (\u00CF\u0086)|Z\u00CE\u00B1 for any \u00CE\u00B1. Hence indeed t \u00E2\u0097\u00A6 \u00CF\u0086 = \u00CF\u0084Z (\u00CF\u0086), and we are done. So supposing that there is a pair Jm (X) and an isomorphism of functors hJm (X) |(Aff Pairs)\u00E2\u0097\u00A6 \u00E2\u0088\u00BC = LX m |(Aff Pairs)\u00E2\u0097\u00A6 , \u00E2\u0097\u00A6 by this proposition we may conclude that hJm (X) \u00E2\u0088\u00BC = 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 ) \u00E2\u0086\u0092 k[t]/(tm ) 0 0 induces a morphism \u00CE\u00B7Zm ,m : (Z \u00C3\u0097 jm , F m ) \u00E2\u0086\u0092 (Z \u00C3\u0097 jm0 , F m ) of pairs. Using this, we can define a mapping 0 \u00CF\u0080Zm ,m : hJm0 (X) (Z) \u00E2\u0086\u0092 hJm (X) (Z) 0 by pulling back Z-valued points of Jm0 (X) to Z-valued points of Jm (X) via \u00CE\u00B7Zm ,m . That is, the Z-valued point \u00CE\u00B3 e of Jm0 (X) corresponds to a unique m0 -jet \u00CE\u00B3 that we pull back with 0 \u00CE\u00B7Zm ,m to an m-jet. This m-jet corresponds uniquely to a Z-valued point of Jm (X) that will 0 be the image \u00CF\u0080Zm ,m (e \u00CE\u00B3 ) of \u00CE\u00B3 e. We would like to show that these mappings on Z-valued points define a morphism from Jm0 (X) \u00E2\u0086\u0092 Jm (X) in the category Pairs. By Yoneda\u00E2\u0080\u0099s lemma 2.1 this is equivalent to the following fact, which we prove: 0 Lemma 4.2. The mappings \u00CF\u0080Zm ,m : hJm0 (X) (Z) \u00E2\u0086\u0092 hJm (X) (Z) over all Z define a natural 0 transformation \u00CF\u0080 m ,m between the functors hJm0 (X) and hJm (X) . 17 \u000CProof. Suppose that \u00CF\u0086 : Z \u00E2\u0086\u0092 Y is a morphism of pairs. We must show that the following diagram commutes: hJ 0 (X) hJm0 (X) (Z) \u001B m (\u00CF\u0086) hJm0 (X) (Y) 0 ,m 0 ,m m \u00CF\u0080Z ? m \u00CF\u0080Y hJ hJm (X) (Z) \u001B m (X) (\u00CF\u0086) ? 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 (\u00E2\u0088\u0092)\u00E2\u0097\u00A6\u00CF\u0086m 0 HomPairs ((Z \u00C3\u0097 jm0 , F m ), X) \u001B 0 HomPairs ((Y \u00C3\u0097 jm0 , E m ), X) 0 ,m 0 ,m m (\u00E2\u0088\u0092)\u00E2\u0097\u00A6\u00CE\u00B7Y m (\u00E2\u0088\u0092)\u00E2\u0097\u00A6\u00CE\u00B7Z ? (\u00E2\u0088\u0092)\u00E2\u0097\u00A6\u00CF\u0086m HomPairs ((Z \u00C3\u0097 jm , F m ), X) \u001B ? HomPairs ((Y \u00C3\u0097 jm , E m ), X) Recall that \u00CF\u0086m : (Z \u00C3\u0097 jm , F m ) \u00E2\u0086\u0092 (Y \u00C3\u0097 jm , E m ) is the morphism induced by \u00CF\u0086, as we defined 0 in section 3.2.2. Hence for any \u00CE\u00B3 : (Y \u00C3\u0097 jm0 , E m ) \u00E2\u0086\u0092 X, we must show that 0 0 0 m ,m \u00CE\u00B3 \u00E2\u0097\u00A6 \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B7Zm ,m = \u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Y \u00E2\u0097\u00A6 \u00CF\u0086m , 0 0 0 0 0 0 m ,m m ,m which holds if \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B7Zm ,m = \u00CE\u00B7Y \u00E2\u0097\u00A6 \u00CF\u0086m . Now, both \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B7Zm ,m and \u00CE\u00B7Y \u00E2\u0097\u00A6 \u00CF\u0086m are morphisms from Z \u00C3\u0097 jm to Y \u00C3\u0097 jm0 , which are compatible with the projections Y \u00C3\u0097 jm0 \u00E2\u0086\u0092 Y and Y \u00C3\u0097 jm0 0\u00E2\u0086\u0092 jm0 . 0Hence by the universal mapping property of the fibred product Y \u00C3\u0097 jm0 , 0 m ,m \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B7Zm ,m = \u00CE\u00B7Y \u00E2\u0097\u00A6 \u00CF\u0086m . 0 So \u00CF\u0080 m ,m uniquely determines a morphism, which we call the projection morphism from 0 0 X Jm0 (X) to Jm (X), and denote \u00CF\u0080m0 ,m . We may denote \u00CF\u0080 m ,m by \u00CF\u0080 X,m ,m , and \u00CF\u0080m0 ,m by \u00CF\u0080m 0 ,m 0 to avoid confusion when working with more than one projection. We will also denote \u00CF\u0080 m ,0 0 by \u00CF\u0080 m , and \u00CF\u0080m0 ,0 by \u00CF\u0080m0 . Note, of course, that this implies that we may alternatively express D D \u00E2\u0088\u0097 the pair (Jm (X), Jm (D)) as (Jm (X), \u00CF\u0080m (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 \u00E2\u0088\u00921 (\u00CF\u0080m ) (V) = Jm (V). Proof. We will show that for any Z = (Z, F)-valued m-jet \u00CE\u00B3 : (Z \u00C3\u0097 jm , F m ) \u00E2\u0086\u0092 U, \u00CE\u00B3 factors through V if and only if the morphism \u00CE\u00B3 e : Z \u00E2\u0086\u0092 Jm (U) corresponding to \u00CE\u00B3 under the repreU U \u00E2\u0088\u00921 sentation of Lm factors through (\u00CF\u0080m ) (V). First of all, we may suppose that Z = Spec A is affine, given our proposition 4.1. Assume that \u00CE\u00B3 factors through V. The truncation homomorphism A[t]/(tm+1 ) \u00E2\u0086\u0092 A induces the morphism of pairs \u00CE\u00B7Zm : Z \u00E2\u0086\u0092 (Spec A[t]/(tm+1 ), F m ) with which we pull back \u00CE\u00B3 to \u00CF\u0080 m (\u00CE\u00B3). Note that, by definition, pulling back \u00CE\u00B3 to \u00CF\u0080 m (\u00CE\u00B3) yields 18 \u000Cthe same result as composing \u00CE\u00B3 e with \u00CF\u0080m . Hence, the composition \u00CF\u0080m \u00E2\u0097\u00A6 \u00CE\u00B3 e factors through V . U \u00E2\u0088\u00921 ) (V). From this we see that \u00CE\u00B3 e must factor through (\u00CF\u0080m U \u00E2\u0088\u00921 ) (V). Noting Conversely, let \u00CE\u00B3 e be a Z-valued point of Jm (U) that factors through (\u00CF\u0080m that this implies that \u00CF\u0080m \u00E2\u0097\u00A6 \u00CE\u00B3 e factors through V, we obtain the following commutative square: Spec A[t]/tm+1 \u00CE\u00B3 -U 6 6 m \u00CE\u00B7Z immersion \u00CF\u0080 m (\u00CE\u00B3) - \u00E2\u0088\u00AA Spec A V where \u00CE\u00B3 is the m-jet corresponding to \u00CE\u00B3 e. We wish to show that \u00CE\u00B3 factors through V. But this is true because the open immersion V \u00E2\u0086\u0092 U is formally e\u00CC\u0081tale, this property ensuring us a scheme morphism Spec A[t]/tm+1 \u00E2\u0086\u0092 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\u00CE\u00B1 ), where {X\u00CE\u00B1 : \u00CE\u00B1 \u00E2\u0088\u0088 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\u00CC\u0081tale morphisms, hence provides another proof of proposition 4.3. X Proposition 4.4. Let \u00CF\u0086 : Y \u00E2\u0086\u0092 X be a morphism of pairs, and suppose that LY m and Lm are represented by Jm (Y) and Jm (X) respectively. Then \u00CF\u0086 induces a morphism \u00CF\u0086m : Jm (Y) \u00E2\u0086\u0092 Jm (X) that commutes with the projections as in the following diagram: \u00CF\u0086m Jm (Y) - Jm (X) Y \u00CF\u0080m X \u00CF\u0080m ? \u00CF\u0086 ? -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 \u00CE\u00B9Y : (Jm (Y ) \u00C3\u0097 jm , Jm (E)m ) \u00E2\u0086\u0092 Y. Composing \u00CE\u00B9Y with \u00CF\u0086 corresponds to the Jm (Y)-valued point of Jm (X) that we denote \u00CF\u0086m . Then, because \u00CF\u0086 \u00E2\u0097\u00A6 \u00CE\u00B9Y and \u00CF\u0086m correspond to each other under the representation of LX m , we know X that \u00CF\u0080m \u00E2\u0097\u00A6 \u00CF\u0086m = \u00CF\u0086 \u00E2\u0097\u00A6 \u00CE\u00B9Y \u00E2\u0097\u00A6 \u00CE\u00B7Jmm (Y) (the correspondence is trivial when m = 0). By the same Y X reasoning \u00CF\u0080m \u00E2\u0097\u00A6 idJm (Y) = \u00CE\u00B9Y \u00E2\u0097\u00A6 \u00CE\u00B7Jmm (Y) , as \u00CE\u00B9Y corresponds to idJm (Y) . Thus, \u00CF\u0080m \u00E2\u0097\u00A6 \u00CF\u0086m = Y Y \u00CF\u0086 \u00E2\u0097\u00A6 \u00CF\u0080m \u00E2\u0097\u00A6 idJm (Y) = \u00CF\u0086 \u00E2\u0097\u00A6 \u00CF\u0080m . So the diagram above commutes. Proposition 4.5. Let \u00CF\u0086 : Y \u00E2\u0086\u0092 X be an e\u00CC\u0081tale morphism of pairs, and suppose that LY m and X \u00E2\u0088\u00BC Lm are represented by Jm (Y) and Jm (X) respectively. Then, Jm (Y) = Jm (X) \u00C3\u0097X Y. Proof. We will show that for any pair Z, and every commutative square Z \u00CE\u00B3 e - Jm (X) X \u00CF\u0080m \u00CF\u0088 ? Y \u00CF\u0086 ? -X 19 \u000Cthere exists a unique morphism \u00CE\u00B3\u00CC\u0084 : Z \u00E2\u0086\u0092 Jm (Y) making the following diagram commutative: Z \u00CE\u00B3\u00CC\u0084 \u00CE\u00B3 e \u00CF\u0088 - \u00CF\u0086m Jm (Y) - Jm (X) - Y \u00CF\u0080m ? Y X \u00CF\u0080m \u00CF\u0086 ? -X X Now, \u00CF\u0080m \u00E2\u0097\u00A6\u00CE\u00B3 e = \u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Zm , where \u00CE\u00B3 is the jet corresponding to the point \u00CE\u00B3 e. Without loss of generality, assume that Z = (Spec A, F) is affine; the following diagram commutes: m \u00CE\u00B7Z (Spec A[t]/(tm+1 ), F m ) (Spec A, F) \u00CE\u00B3 b \u00CF\u0088 ? \u001B Y \u00CF\u0086 \u00CE\u00B3 ? -X Since \u00CF\u0086 : Y \u00E2\u0086\u0092 X is an e\u00CC\u0081tale morphism of schemes, \u00CE\u00B3 factors through Y ; i.e. there is a unique \u00E2\u0080\u009Cscheme-jet\u00E2\u0080\u009D \u00CE\u00B3 b : Spec A[t]/(tm+1 ) \u00E2\u0086\u0092 Y commuting with the square. This jet does indeed define a \u00E2\u0080\u009Cpair-jet\u00E2\u0080\u009D, since the local equations of the pullback commute around the bottom triangle in the opposite direction, and since \u00CF\u0086 and \u00CE\u00B3 pull back the divisors. This jet \u00CE\u00B3 b corresponds to the Z-valued point we desire, \u00CE\u00B3\u00CC\u0084. To verify that \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B3\u00CC\u0084 = \u00CE\u00B3 e, note that the jet corresponding to \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B3\u00CC\u0084 is \u00CF\u0086 \u00E2\u0097\u00A6 \u00CE\u00B3 b. But this is Y \u00E2\u0097\u00A6 \u00CE\u00B3\u00CC\u0084 = \u00CE\u00B3 b \u00E2\u0097\u00A6 \u00CE\u00B7Zm because \u00CE\u00B3 b is the jet corresponding exactly \u00CE\u00B3, hence \u00CE\u00B3 e = \u00CF\u0086m \u00E2\u0097\u00A6 \u00CE\u00B3\u00CC\u0084. Similarly, \u00CF\u0080m Y to \u00CE\u00B3\u00CC\u0084. The latter equals \u00CF\u0088, so \u00CF\u0080m \u00E2\u0097\u00A6 \u00CE\u00B3\u00CC\u0084 = \u00CF\u0088. Thus, the second diagram is commutative; we \u00E2\u0088\u00BC conclude that Jm (Y) = Jm (X) \u00C3\u0097X Y. Now, let us suppose momentarily that given any affine pair X\u00CE\u00B1 = (X\u00CE\u00B1 , D\u00CE\u00B1 ) and any \u00CE\u00B1 m > 0 the functor LX m is represented by Jm (X\u00CE\u00B1 ). For X = (X, D) \u00E2\u0088\u0088 Pairs let {X\u00CE\u00B1 : \u00CE\u00B1 \u00E2\u0088\u0088 A} be an open cover by affine pairs. Then, according to proposition 4.3, for every \u00CE\u00B1 and \u00CE\u00B2 such X X\u00CE\u00B1 \u00E2\u0088\u00921 that X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 6= \u00E2\u0088\u0085, both (\u00CF\u0080m ) (X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 ) and (\u00CF\u0080m\u00CE\u00B2 )\u00E2\u0088\u00921 (X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 ) yield the pair Jm (X\u00CE\u00B1 \u00E2\u0088\u00A9X\u00CE\u00B2 ) X \u00E2\u0088\u00A9X representing Lm\u00CE\u00B1 \u00CE\u00B2 ; 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\u00CE\u00B1 ). We claim that the pair we obtain this way represents LX m . Indeed, letting Z = (Z, F), m given any m-jet \u00CE\u00B3 : (Z \u00C3\u0097 jm , F ) \u00E2\u0086\u0092 (X, D), we can break up the jet into its restrictions \u00CE\u00B3 \u00E2\u0088\u00921 (X\u00CE\u00B1 ) \u00E2\u0086\u0092 X\u00CE\u00B1 . Then, we can break up the 0th truncation of \u00CE\u00B3 into morphisms (\u00CE\u00B7Zm )\u00E2\u0088\u00921 (\u00CE\u00B3 \u00E2\u0088\u00921 (X\u00CE\u00B1 )) = (\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Zm )\u00E2\u0088\u00921 (X\u00CE\u00B1 ) \u00E2\u0086\u0092 X\u00CE\u00B1 . Since (\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Zm )\u00E2\u0088\u00921 (X\u00CE\u00B1 ) is an open subpair of Z, m \u00E2\u0088\u00921 m we know that its preimage p\u00E2\u0088\u00921 Z ((\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Z ) (X\u00CE\u00B1 )) under the projection pZ : (Z \u00C3\u0097 jm , F ) \u00E2\u0086\u0092 Z m \u00E2\u0088\u00921 m is isomorphic to ((\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Z ) (X\u00CE\u00B1 ) \u00C3\u0097 jm , F |(\u00CE\u00B3\u00E2\u0097\u00A6\u00CE\u00B7Zm )\u00E2\u0088\u00921 (X\u00CE\u00B1 )\u00C3\u0097jm ). Thus we get a corresponding (\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Zm )\u00E2\u0088\u00921 (X\u00CE\u00B1 )-valued point of Jm (X\u00CE\u00B1 ). Since these points must agree on overlaps X\u00CE\u00B1 \u00E2\u0088\u00A9 X\u00CE\u00B2 6= \u00E2\u0088\u0085 and the preimages (\u00CE\u00B3 \u00E2\u0097\u00A6 \u00CE\u00B7Zm )\u00E2\u0088\u00921 (X\u00CE\u00B1 ) cover Z, we obtain a unique Z-valued point of Jm (X) corresponding to \u00CE\u00B3 by gluing the domain of these morphisms. Note that all the 20 \u000Cdivisors 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) \u00E2\u0088\u0088 Pairs. For every m \u00E2\u0089\u00A5 0 the contravariant functor LX m : m (Y, E) 7\u00E2\u0086\u0092 HomPairs ((Y \u00C3\u0097 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 \u00CE\u00B3 : (Y \u00C3\u0097 jm , E m ) \u00E2\u0086\u0092 (X, D) be an m-jet in X. Thus \u00CE\u00B3 : Spec B[t]/(tm+1 ) \u00E2\u0086\u0092 Spec A has corresponding homomorphism \u00CE\u00B3 \u00E2\u0088\u0097 : A \u00E2\u0086\u0092 B[t]/(tm+1 ). We wish to describe a scheme with a B-valued point corresponding uniquely to \u00CE\u00B3. 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 \u00E2\u0089\u00A4 n, and that Di = {(Spec A, Xi )} for 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r. Then the homomorphism \u00CE\u00B3 \u00E2\u0088\u0097 is determined exactly by the values \u00CE\u00B3 \u00E2\u0088\u0097 (X1 ), . . . , \u00CE\u00B3 \u00E2\u0088\u0097 (Xn ). Let \u00CE\u00B3 \u00E2\u0088\u0097 (Xi ) = bi0 + bi1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + bim tm . Since Xi is the local equation for Di when 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r, \u00CE\u00B3 \u00E2\u0088\u0097 (Xi ) is the local equation for Eim . But this local equation is bi0 , hence bi0 \u00C2\u00B7 ui = bi0 + bi1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + bim tm for some invertible regular section ui . Writing ui = ui0 + ui1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + uim tm we see that ui0 = 1 and bi0 \u00C2\u00B7 uil = bil for each 1 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 m. Hence, the value \u00CE\u00B3 \u00E2\u0088\u0097 (Xi ) is determined by the values bi0 , ui1 , ui2 , . . . , uim . For r + 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 n, the value of \u00CE\u00B3 \u00E2\u0088\u0097 (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 \u00CE\u00B3 \u00E2\u0088\u0097 determines a unique homomorphism \u00CE\u00B3 e\u00E2\u0088\u0097 : C \u00E2\u0086\u0092 B sending (0) Xi 7\u00E2\u0086\u0092 bi0 , \u00E2\u0088\u00801 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 n, (l) Xi 7\u00E2\u0086\u0092 uil , Xi \u00E2\u0088\u00801 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r, 1 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 m, and (l) Xi 7\u00E2\u0086\u0092 bil , \u00E2\u0088\u0080r + 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 n, 1 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 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 \u00CE\u00B3 e : (Spec B, E) \u00E2\u0086\u0092 (Jm (X), Jm (D)) is indeed a morphism of pairs and that this correspondence is functorial; note that for any morphism \u00CF\u0086 : (Spec S, F) \u00E2\u0086\u0092 (Spec B, E) the homomorpism (\u00CF\u0086m )\u00E2\u0088\u0097 maps B[t]/(tm+1 ) \u00E2\u0086\u0092 S[t]/(tm+1 ) such that b0 + b1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + bm tm 7\u00E2\u0086\u0092 \u00E2\u0088\u00BC \u00CF\u0086\u00E2\u0088\u0097 (b0 ) + \u00CF\u0086\u00E2\u0088\u0097 (b1 )t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + \u00CF\u0086\u00E2\u0088\u0097 (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 \u000CCase 2. Let A = k[X1 , . . . , Xn ]/(f1 , . . . , fs ) and suppose that for every i, 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r, Di is defined by gi on X, where gi \u00E2\u0088\u0088 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 ] \u00E2\u0086\u0092 k[X1 , . . . , Xn ]/(f1 , . . . , fs ) such that X1 7\u00E2\u0086\u0092 X1 , . . . , Xn 7\u00E2\u0086\u0092 Xn and W1 7\u00E2\u0086\u0092 g1 , . . . , Wr 7\u00E2\u0086\u0092 gr . This makes X = Spec A into a closed immersion in Spec R = An+r cut out by the ideal I = (f1 , . . . , fs , W1 \u00E2\u0088\u0092 g1 , . . . , Wr \u00E2\u0088\u0092 gr ) (here is it important to notice that R/(f1 , . . . , fs ) \u00E2\u0088\u00BC = A[W1 , . . . , Wr ]). Under this k-algebra isomorphism R/I \u00E2\u0086\u0094 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 )})) \u00E2\u0086\u0092 (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 \u00E2\u0080\u0099s. 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 \u00CE\u00B3 \u00E2\u0088\u0097 : k[X1 , . . . , Xn , W1 , . . . , Wr ] \u00E2\u0086\u0092 B[t]/(tm+1 ) such that \u00CE\u00B3 \u00E2\u0088\u0097 (Wi ) is the non-zerodivisor locally defining the \u00E2\u0080\u009Cith \u00E2\u0080\u009D effective Cartier divisor Eim of Spec B[t]/(tm+1 ), and such that \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) = 0 and \u00CE\u00B3 \u00E2\u0088\u0097 (Wi \u00E2\u0088\u0092 gi ) = 0 for every 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s and 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r. Such a homomorphism is completely determined by the coefficients of \u00CE\u00B3 \u00E2\u0088\u0097 (X1 ), . . . , \u00CE\u00B3 \u00E2\u0088\u0097 (Xn ) and \u00CE\u00B3 \u00E2\u0088\u0097 (W1 ) . . . , \u00CE\u00B3 \u00E2\u0088\u0097 (Wr ), hence \u00CE\u00B3 \u00E2\u0088\u0097 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) ] \u00E2\u0086\u0092 B. Given the condition on pullbacks, just as in the first case the degree 0 coefficient of \u00CE\u00B3 \u00E2\u0088\u0097 (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 , . . . , ] \u00E2\u0086\u0092 B. W1 Wr Wr 22 \u000CLet us denote the domain of this homomorphism as S. We write \u00CE\u00B3 \u00E2\u0088\u0097 (Xi ) = bi0 + bi1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + bim tm for 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 n. Then \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) = fj0 + fj1 t + \u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7 + fjm tm for 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s, where for each 0 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 m the coefficient fjl0 is a polynomial in (bil )1\u00E2\u0089\u00A4i\u00E2\u0089\u00A4n,1\u00E2\u0089\u00A4l\u00E2\u0089\u00A4m . Thus, we consider each fjl0 (l) as a polynomial in (Xi )i,l ; the condition \u00CE\u00B3 \u00E2\u0088\u0097 (fj ) translates in terms of the homomorphism from S to B into fjl0 7\u00E2\u0086\u0092 0 for all 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s and 0 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 m. Similarly, writing \u00CE\u00B3 \u00E2\u0088\u0097 (Wi ) = ci0 +ci0 \u00C2\u00B7ui1 t+\u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7+ci0 \u00C2\u00B7uim tm and \u00CE\u00B3 \u00E2\u0088\u0097 (gi ) = gi0 +gi1 t+\u00C2\u00B7 \u00C2\u00B7 \u00C2\u00B7+gim tm for 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r, the condition on \u00CE\u00B3 \u00E2\u0088\u0097 indicates that ci0 = gi0 and ci0 \u00C2\u00B7 uil0 = gil0 for every (l) 1 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 m. This time considering gil0 as a polynomial in (Xi )1\u00E2\u0089\u00A4i\u00E2\u0089\u00A4n,1\u00E2\u0089\u00A4l\u00E2\u0089\u00A4m , we must have (0) gil0 \u00E2\u0088\u0092 Wi (l0 ) \u00C2\u00B7 Wi (0) Wi 7\u00E2\u0086\u0092 0 for all 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r and 0 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 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 \u00E2\u0088\u0092 (0) Wi , gil0 \u00E2\u0088\u0092 (0) Wi \u00C2\u00B7 Wi (0) Wi : 1 \u00E2\u0089\u00A4 j \u00E2\u0089\u00A4 s, 0 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 m, 1 \u00E2\u0089\u00A4 i \u00E2\u0089\u00A4 r, 1 \u00E2\u0089\u00A4 l0 \u00E2\u0089\u00A4 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 \u00C2\u00B7 Wi i for all 1 \u00E2\u0089\u00A4 l \u00E2\u0089\u00A4 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 \u00E2\u0088\u0092 Wi ) = dl gi \u00E2\u0088\u0092 dl Wi we find that gi0 \u00E2\u0088\u0092 Wi and gil0 \u00E2\u0088\u0092 Wi all map to 0 if and 0 (0) only if the equations dl (gi \u00E2\u0088\u0092 Wi ) all map to 0. Thus we have an equality of ideals (l0 ) (0) (0) Wi (fjl0 , gi0 \u00E2\u0088\u0092Wi , gil0 \u00E2\u0088\u0092Wi \u00C2\u00B7 (0) ) Wi (0) (0) (0) = (fj , dfj , . . . , dm fj , gi \u00E2\u0088\u0092Wi , d(gi \u00E2\u0088\u0092Wi ), . . . , dm (gi \u00E2\u0088\u0092Wi )). 23 \u000C5 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) \u00E2\u0086\u0092 (Y, E) are those scheme morphisms \u00CF\u0086 : Y \u00E2\u0086\u0092 X that \u00E2\u0080\u009Cpull back\u00E2\u0080\u009D D to E; second, (X,D) we defined the functors Lm taking a \u00E2\u0080\u009Cpair\u00E2\u0080\u009D (Y, E) to the set of \u00E2\u0080\u009C(Y, E)-valued m-jets in (X, D)\u00E2\u0080\u009D; 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 \u00E2\u0088\u0097 OX /OX . It is straightforward to define the pullback \u00CF\u0086\u00E2\u0088\u0097 (D) of a global section D of this sheaf by a morphism Y \u00E2\u0086\u0092 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 \u00CF\u0086 def (Y, E) \u00E2\u0086\u0092 (X, D) pull back D to \u00CF\u0086\u00E2\u0088\u0097 (D) = (\u00CF\u0086\u00E2\u0088\u0097 (D1 ), . . . , \u00CF\u0086\u00E2\u0088\u0097 (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 \u00E2\u0080\u009Cavoid\u00E2\u0080\u009D the family D of effective Cartier divisors, we parametrize also the jets that are \u00E2\u0080\u009Ctangential along\u00E2\u0080\u009D the family D of effective divisors. For example, letting D consist of the single effective Cartier divisor defined on X = A2 globally by X1 \u00C2\u00B7 X2 , one shows in the first case that the fibre of the projection \u00CF\u00801 : J1D (A2 ) \u00E2\u0086\u0092 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 \u00CF\u00801\u00E2\u0088\u00921 ((0, 0)) \u00E2\u0088\u00BC = A2 (while \u00CF\u00801\u00E2\u0088\u00921 ((a, b)) \u00E2\u0088\u00BC = A1 for any (a, b) with a = 0, b 6= 0 or a 6= 0, b = 0). 24 \u000CThough 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 \u00E2\u0080\u009Cschemes with logarithmic structures\u00E2\u0080\u009D, 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\u00CC\u00A7a\u00CC\u008C 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 \u000CReferences [Del71] Pierre Deligne, The\u00CC\u0081orie de Hodge : II, Publications mathe\u00CC\u0081matiques de l\u00E2\u0080\u0099I.H.E\u00CC\u0081.S. 40 (1971), 5 \u00E2\u0080\u0093 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\u00CC\u00A7a\u00CC\u008C, arXiv:math/0612862v2 [math.AG], 2008. Jet Schemes and Singularities, [FmI+ 05] Barbara Fantechi, Lothar Go\u00CC\u0088ttsche, Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli, Fundamental Algebraic Geometry: Grothendieck\u00E2\u0080\u0099s 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\u00CC\u0081le\u00CC\u0081ments de ge\u00CC\u0081ome\u00CC\u0081trie alge\u00CC\u0081brique (re\u00CC\u0081dige\u00CC\u0081s avec la collaboration de Jean Dieudonne\u00CC\u0081) : IV. E\u00CC\u0081tude locale des sche\u00CC\u0081mas et des morphismes de sche\u00CC\u0081mas, Quatrie\u00CC\u0081me partie, Publications mathe\u00CC\u0081matiques de l\u00E2\u0080\u0099I.H.E\u00CC\u0081.S. 32 (1967), 5 \u00E2\u0080\u0093 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 \u00E2\u0080\u0093 224. [Kat94] , Toric singularities, American Journal of Mathematics 116 (1994), no. 5, 1073 \u00E2\u0080\u0093 1099. [Mus01] Mircea Mustat\u00CC\u00A7a\u00CC\u008C, Jet Schemes of Locally Complete Intersection Canonical Singularities, Inventiones Mathematicae 145 (2001), no. 3, 397 \u00E2\u0080\u0093 424. 26 "@en .
"Thesis/Dissertation"@en .
"2009-05"@en .
"10.14288/1.0066869"@en .
"eng"@en .
"Mathematics"@en .
"Vancouver : University of British Columbia Library"@en .
"University of British Columbia"@en .
"Attribution-NonCommercial-NoDerivatives 4.0 International"@en .
"http://creativecommons.org/licenses/by-nc-nd/4.0/"@en .
"Graduate"@en .
"Algebraic geometry"@en .
"Jet schemes"@en .
"Logarithmic poles"@en .
"Cartier divisors"@en .
"Vector field"@en .
"Category of pairs"@en .
"On the existence of jet schemes logarithmic along families of divisors"@en .
"Text"@en .
"http://hdl.handle.net/2429/3327"@en .