# Full text of "Logarithmic Embeddings and Logarithmic Semistable Reductions"

## See other formats

o O oo o\ 1 Logarithmic embeddings and logarithmic semistable reductions *£^ ' Fumiharu Kato Abstract In this paper, we give a criterion for the existence of logarithmic embeddings — which was first introduced by Steenbrink — for general normal crossing varieties. Using this criterion, we also give a new proof of the theorem of Kawamata-Namikawa 04 . which gives a criterion for the existence of the log structure of semistable type. > Q ■ 1 Introduction Let X be a connected, geometrically reduced algebraic scheme over a field k. Then X is ^" , said to be a normal crossing variety of dimension n — 1 if there exists an isomorphism of fc-algebras Ox,. -^ k{x)[[Ti,. . . ,r„]]/(ri • • • r,j o: D . for each closed point x G X, where Ox,x denotes the completion of the local ring Ox,i along its maximal ideal (Definition |2.1] ). Normal crossing varieties usually appear in (^' contexts of algebraic geometry via degenerations and normal crossing divisors. In the Cd . first case, they appear as a specialization of a family of smooth varieties. Normal crossing ^ \ varieties are usually considered and expected to be limits of smooth varieties, and — as is well-known — they are important to the theory of moduli. As for the second situation, a normal crossing divisor is a divisor of a smooth variety which itself is a normal crossing variety. Normal crossing divisors play important roles in various fields of algebraic geometry. For example, a pair of smooth variety and its normal crossing divisor is usually called a log variety. Considering log varieties instead of smooth varieties — or usually admitting some mild singularities — alone, some algebro geometric theories {e.g., minimal model theory, etc.) are well generalized. Relating with a normal crossing variety X, there are two problems, smoothings and embeddings, in light of degenerations and normal crossing divisors, respectively. The smoothing problem is a problem to find a Cartesian diagram X — > X -^ A, for a normal crossing variety X (in this situation, we should assume that X is proper over k), where A is a one-dimensional regular scheme, X is a regular scheme proper flat 1991 Mathematics Subject Classification. Primary 14B20; Secondary 13D10, 14D15, 16S80. and generically smooth over A, and is a closed point of A whose residue field is k. We usually take, as the base scheme A, the spectrum of a discrete valuation ring, e.g., the ring of formal power series over A; or — in case k is perfect — the ring of Witt vectors over k. In the complex analytic situation, Friedmann [|| studied the smoothing problem generally, and solve it for degenerated K3 surfaces. Recently, Kawamata-Namikawa [^ approached this problem by introducing a new method; the logarithmic method. The Cartesian diagram as above with A a spectrum of an Artinian local ring A is called an infinitesimal sm,oothing, if it is etale locally isomorphic to the diagram Speck[Zi,...,Zn\/{Zi---Zi) — > SpecA[Zi,...,Zn]/{Zi---Zi-Tr) Spec A; — > Spec^, where vr is an element of the maximal ideal of A and vr 7^ 0. The central problem to find such an infinitesimal smoothing is to compute the obstruction class of X to have such a diagram and to show vanishing or non- vanishing of it. The em,bedding problem, is a problem to find a closed embedding X ^^ V over k of X as a normal crossing divisor, where V^ is a smooth variety over k. If X is smoothable in the above sense with A a smooth algebraic variety over Spec/c, the smoothing family X ^^ X gives an embedding of this sense. If X is smooth, this problem becomes trivial, since we can take as V the product of X and, for example, P . But for a general normal crossing variety, this problem seems far from satisfactory solutions. Similarly to the smoothing problem, we can consider this problem in the infinitesimal sense. In this paper, we consider the above problems in a logarithmic sense. We consider logarithmic generalizations of smoothings and embeddings of normal crossing varieties according to Kajiwara 0, Kawamata-Namikawa B and Steenbrink [O], and we solve their existence problems. These generalizations are done in terms of logarithmic geom- etry of Fontaine, Illusie and Kazuya Kato. Logarithmic geometry — or log geometry — was first founded by Fontaine and Il- lusie based on their idea of, so-called, log structures] afterwards, it was established as a generally organized theory and applied to various fields of algebraic and arithmetic ge- ometry by Fontaine, Illusie and Kazuya Kato (cf. [0, Q). In various kinds of geometries including algebraic geometry, we usually consider local ringed spaces, i.e., the pairs of topological spaces — possibly in the sense of Grothendieck topologies — and sheaves of local rings over them. The basic idea of Fontaine and Illusie is that, instead of local ringed spaces alone, they consider local ringed spaces equipped with some additional structure — which they call the logarithmic structures — written in terms of sheaves of commutative and unitary monoids (see Q for the precise definition). In algebro geomet- ric situations, these log structures usually represent "something" of the underlying local ringed spaces, e.g.., divisors or the structure of torus embeddings, etc. Through these foundations, they suggested to generalize the "classical" geometries by considering "log objects" — such as log schemes — which are the pairs of local ringed spaces and log structures on them. In the present paper, we recall and generalize the logarithmic embedding (Definition 4.1 ) introduced by Steenbrink |11]. A logarithmic embedding — which is regarded as a logarithmic generalization of a log variety — is a certain log scheme {X^Mx) with X a normal crossing variety. Then we prove the following theorem which gives a criterion for the existence of logarithmic embeddings: Theorem ( Theorem \4-4 ) -^'^'^ '^ normal crossing variety X, a logarithmic embedding of X exists if and only if there exists a line bundle C on X such that C 'S'Ox ^d —* Txj where D is the singular locus of X. Here, T^ is an invertible O^j-niodule, called the infinitesimal normal bundle (cf. Q), which is naturally isomorphic to Ext'Q^{Q\, Ox)', we recall the construction of it in §3. A normal crossing variety X is said to be d-semistable if T^ is a trivial bundle on D (cf. P]). By the above theorem, any d-semistable normal crossing variety X has a logarithmic embedding. As for the smoothing problem, we recall and generalize the concept, the logarithmic semistable reduction (Definition ^.1[) introduced by Kajiwara [^ (in one dimensional case) and Kawamata-Namikawa [^ (by a diff'erent but essentially the same method). Using the above theorem, we get a criterion for the existence of logarithmic semistable reductions, which was first proved by Kawamata-Namikawa [^ in the complex analytic situation, as follows: Theorem (Theorem |5.^D (cf. j^) For a normal crossing variety X, the log structure of semistable type on X exists if and only if X is d-semistable. The composition of this paper is as follows. In §2, we study the geometry of normal crossing varieties in general. In particular, we define good etale local charts on normal crossing varieties, and prove the existence of them. In §3, we recall the basic construction of the tangent complex of a normal crossing variety, and introduce the invertible sheaf T^ on D. We introduce the logarithmic embedding in §4. This section also contains the proof of our main theorem. The logarithmic semistable reduction is studied in §5. The author thanks T. Fujisawa for useful communications. The author is also grateful to Professors K. Ueno, S. Usui and T. Yusa for their helpful comments. Conventions: All sheaves are considered with respect to etale topology. By a monoid, we mean — as usual in the contexts of log geometry — a set with a commutative and associative binary operation and the neutral element. For such a monoid M, we denote by M^P the Grothendieck group of M. We denote by N the monoid of non- negative integers. 2 Normal crossing varieties Throughout this paper, we always work over a fixed base field k. As usual, an algebraic /c-scheme is, by definition, a seperated scheme of finite type over k. Let X be an algebraic /c-scheme and x & X a point. We denote the residue field at x G AT by k{x). Definition 2.1 Let X be a connected and geometrically reduced algebraic /c-scheme. Then X is said to be a normal crossing variety over k of dimension n — 1 if the following condition is satisfied: For any closed point x G X, there exists an isomorphism (1) dx,.^k{x)[[T,,...,T^]]/{T,.--TiJ of fc-algebras, where Ix is an integer (1 < /^ ^ n) depending on x. Here, we denote by Ox,x the completion of the local ring Ox,x by its maximal ideal. The integer Ix is called the multiplicity at x G X. We sometimes denote it by Ix if we want to emphasize the scheme X. The Zariski closure of the set of closed points whose multiplicity is greater than 1 is the singular locus of X, which we denote by D. A standard example of normal crossing varieties is an affine scheme (2) Specfc[ri,...,r„]/(ri...TO (l</<n). This scheme consists of / irreducible components which intersect transversally along the singular locus (3) SpecA:[ri,...,r„]/(ri---7}---r, : l<j<l). Each irreducible component is isomorphic to the affine (n — l)-space over k. In general, a normal crossing variety X is said to be simple if each irreducible component of X is smooth over k. For example, a smooth /c-variety is a simple normal crossing variety. Let y be a smooth A;-variety of dimension n. A reduced divisor X on y is called a normal crossing divisor if X itself is a normal crossing variety of dimension n — 1. In this case, the closed embedding X "^^ y is called a NCD embedding of X. For example, the affine normal crossing variety (^) is a normal crossing divisor in the affine n-space over k. The proof of the following proposition is straightforward and is left to the reader. Proposition 2.2 Let Y be a connected scheme etale over a connected algebraic k-scheme X. If X is a normal crossing variety, then so is Y. The converse is also true if the etale morphism Y ^> X is surjective. It is clear that an etale morphism leaves invariant the multiplicity at every closed point, i.e., if (/?: Y — > X is an etale morphism of normal crossing varieties and y G y is a closed point, then we have ly = l^ty\- In the following paragraphs of this section, we shall study the local nature of normal crossing varieties for the later purpose. In the subsequent sections, we need to take a good etale neighborhood around every closed point. We require that these etale neighborhoods have good coordinate systems which serve for several explicit calculations. To clarify the notion of "good" etale neighborhoods, we define them as follows: Definition 2.3 Let X be a normal crossing variety and x G X a closed point. Let c/3: [/ — 5- X be an etale morphism with U a simple normal crossing variety and zi, . . . ,zi^ € r(L'^, Ou), where Ix is the multiplicity at x. Then (99: [/ — > X; zi, . . . , z;^) is said to be a local chart around x if the following conditions are satisfied: (a) There exists a unique point y (z U such that (p{y) = x. (b) There exists a closed immersion l:U ^^ V, where V is an affine smooth A;-scheme. (c) There exist Zi, . . . ,Zn G T{V, Oy) which form a regular parameter system at i{y) E V such that Zj = L*Zi for 1 < i < Z^) and U is defined as a closed subset in V by the ideal (Zi- ■ ■ Zi^). (d) each ideal (zj) is prime and the irreducible components of U are precisely the closed subsets of U corresponding to the ideals (zi), . . . , (z/^). Note that i:U ^-*V is, due to (c), a NCD embedding. Moreover, due to (d), all the irreducible components intersect and contain the point y. The following theorem assures the existence of local chart around every closed point of normal crossing variety X. We prove this theorem later in this section. Theorem 2.4 Let X he a normal crossing variety and x £ X a closed point. Then there exists a local chart {ip: U ^> X; zi, . . . ,zi^) around x. Since any etale open set of X is again a normal crossing variety, we have the following: Corollary 2.5 Let X he a normal crossing variety. Then the set of all local charts forms an open basis with respect to the etale topology on X . Remark 2.6 Theorem ^^ implies that any normal crossing variety is realized as a simple normal crossing divisor on some smooth A:-variety etale locally. But a normal crossing variety, in general, cannot be a normal crossing divisor globally on a smooth /c-variety. In the next section, we will see a necessary condition for a normal crossing variety to be a normal crossing divisor (Proposition 3.2). For the proof of Theorem 2.4, we need one lemma: Lemma 2.7 Let q he a height zero prime ideal in K[Ti, . . . , T„]/(Ti • • • Ti) {1 < I < n), where K is a field. Then q = (Tj) for some j (1 < J < /)• Proof. By Krull's principal ideal theorem, any non-zero element in q is a zero factor. Hence any element in q is a multiple of Tj's (1 < i < 0- Since q is a prime ideal, q must contain Tj for some j (1 < j < /), i.e., (Tj) C q. But since the height of q is zero and (Tj) is a prime ideal, we have q = (Tj). □ Proof of Theorem |2.4| . The complete local ring Ox,x is isomorphic to the complete local ring k{x)[[Ti, . . . , Tn]]/{Ti ■ ■ -Ti^) which is a completion of the local ring {k{x)[Ti,. . . ,r„]/(Ti • • •T/J)o. Then due to [|, Corollary (2.6)], there exist a scheme U and etale morphisms (p:U ^> X and <j):U ^> Speck{x)[Ti, . . . ,T„]/(Ti • • -T;^) such that ip{y) = x and </)(y) = for some y G U. We fix this closed point y £ U. Since if is etale, we may assume — replacing U by its Zariski open subset if necessary — that y is the only point which is mapped to x by </?. Obviously we may assume that U is connected and affine. We can remove all the irreducible components which do not contain y. Then we may assume that all the irreducible components of U contain y. We set U = Specj4 and B:=k{x)[Ti,...,Tn]/{T,---TiJ. Since U is etale over a reduced fe-scheme SpecB, the /c-algebra A is reduced. Take a minimal prime factorization (4) (o) = pin---npi. of the ideal (0) = y/JJTj. Since each pj is minimal in the set of all prime ideals, the height of each pj is zero. Obviously the prime decomposition (^) precisely corresponds to the decomposition of U into irreducible components. Set qj: = (p{pi) which is a prime ideal of height zero in B for 1 < i < I. Due to Lemma 2.7, we have q^ = (Tj-) for some ji (1 ^ Ji ^ ^x)) *-e-! ^-ny generic point of a irreducible component of U is mapped by (p to a generic point of a irreducible component of Speci?. Let us suppose that the map i i-^ ji is not injective, i.e., there exist i and j (i ^ j) such that qj = q^. Consider the Cartesian diagram {qJxSpecB^ ^^ ^ Ui} ' — ' SpecB, where the horizontal arrows are closed immersions and the vertical ones are etale. The scheme C/j:= {q^} XgpecB ^ ^^ ^^^^ ^ normal crossing variety. Since {pj} fl {pj} is a closed subscheme (which contains y) of Ui, the multiplicity ly"- at y in C/j is greater than 1. But since the irreducible component {q^} is smooth, we have l^jy) = 1- This is a contradiction since ly^ = l^i(y)- Thus, the map i i-^ ji is injective, i.e., there is at most one component over each component of Speci?. Moreover, in this case, we have Ui = {pj}. Then the irreducible component Ui is etale over a smooth scheme {q,}, and hence the normal crossing variety U is simple. Moreover, the prime ideal pj is a principal ideal (zj), where Zj:= 4>*Tj. for 1 < i < /, since {pj} = {qj} xgpecB ^ implies that Pi = q* ®B A. Since the map i i— > ji is injective, we have I < Ix- Note that the multiplicity ly at y in [/ equals to Ix- Since the simple normal crossing variety U consists of / irreducible components, we have ly = Ix < ^- Hence we have Ix = I. The scheme Spec i? is a normal crossing divisor in the n dimensional affine space over k{x). Hence, due to [^, Expose 1. Proposition 8.1], any point in U has a Zariski open neighborhood which is embedded in a smooth A;(x)-variety as a normal crossing divisor. This implies that, replacing U by its Zariski open neighborhood of y, we may assume that U can be embedded in an affine smooth A;(x)-scheme V = SpecR of dimension n as a normal crossing divisor. Let f.U ^^ V he the closed immersion. Finally, consider the Cartesian diagram U ^ V Speci? = — > Specfc[Ti, . . . ,r, nj) where $ is an etale morphism. Set Zj: = <I>*Tj G T{V, Oy) for 1 < i < n. Then Zi, . . . , Z„ form a regular parameter system at i{y) G V . We also have Zi = l* Zi for 1 <i <lx- It is clear that the closed subscheme U \nV \s defined by an ideal (Zi • • • Zi^). Then the proof of the theorem is completed. □ The following lemma will be needed in the later arguments. Lemma 2.8 Let {ip':U' -^ X;z[, . . . ,Zi,) be a local chart on X around some closed point and {ip'.U -^ U';zi, . . . ,zi) a local chart on U' around some closed point. Then tp-.U ^ U' is injective in codimension zero, i.e., it maps the generic points of irreducible components on U injectively to those of U' . Proof. Let ?] € f/' be a codimension zero point. Since U' is simple, {r]} is regular and so is {rj} Xij' U whenever it is not empty. Then each connected component of {ry} X[//C/ is irreducible and its generic point is of codimension zero. Hence each connected component of {?]} Xu' U is an irreducible component of U. Since any two of irreducible components of U intersect, {?]} Xjj' U itself is an irreducible component of U. Hence, if .^ € t/ is a codimension zero point such that ■0(0 = V^ "^6 have {^} = {rj} xjji U . In particular, there exists at most one such ^. □ For a normal crossing variety X, the normalization u: X ^ X oi X is defined as usual: The scheme X is defined by the disjont union of the normalizations of irreducible components of X and z^: X — > X is the natural morphism. The normalization X is a smooth fe-scheme due to Theorem |2.4| and the following lemma, Lemma 2.9 Let U ^ Z be a etale morphism of k-varieties. Let U ^ U and Z ^ Z be normalizations of U and Z , respectively. Then there exists a natural isomorphism U ^>- U Xz Z. In particular, the natural morphism U ^ Z is etale. Proof. Since U xz Z ^ Z is etale and Z is normal, U xz Z is a normal variety. Hence there exists a unique morphism (p-.U xz Z -^ U which factors the morphism U Xz Z —5- U. Moreover <j) also factors the morphism U Xz Z -^ Z since the last morphism is the unique morphism determined by the morphism U xz Z ^> Z. Hence the natural morphism ip:U ^ U Xz Z is the inverse morphism of (f). □ For a local chart (93: U ^ X;zi, . . . ,zi), the normalization of U is given by the disjoint union of all irreducible components and the natural morphism, i.e., ,,u:U=l[Ui^ U, i=\ where C/j is the irreducible component of U corresponding to the ideal (zj). Set D: = D Xx X, which is a divisor of X. Lemma 2.10 D is a normal crossing divisor of X. Proof. Let {(p:U -^ X;zi,..., zi) be a local chart on X. Then Du: = D Xx U is nothing but the singular locus of U and is etale over D. Consider the normalization uu'-U ^> U as above. Set D^:=DuXuU. Clearly, Du is a normal crossing divisor of U defined by an ideal [zi- ■ ■ Zi- ■ ■ zi) on C/j. There exists a natural morphism Du -^ D. Since one can easily see that there exists a natural isomorphism D^^^Dx~U and the morphism U ^>- X is etale due to Lemma 2.9, the morphism Djj -^ D is etale Then, considering all the local charts on X, D is a normal crossing divisor on X due to Proposition 2.2. □ 3 Tangent complex on a normal crossing variety In this section, we recall the tangent complex and the infinitesimal normal bundle T^ of a normal crossing variety X which will play important roles in the subsequent sections. Let X be a normal crossing variety over a field k. For a local chart (93: U = Specj4 — > X;zi, . . . ,zi) oi X around some closed point, we use the folowing notation in this and subsequent sections: Let V = Spec R and Zi, . . . , Z^ be as in Definition 2.3. Set Ij: = (Zj) and Jj: = {Z\ ■ ■ ■ Zy ■ ■ Z]) for 1 < j < /. (If / = 1, we set J\ = R for the convention.) Then A = R/I where /: = /i •••/;. Moreover, the ideal Ij/I C vl is generated by Zj = [Zj mod/) and is prime of height zero. Set J: = Ji + • • • + J/. Then the singular locus Du:= D Xx U of U is the closed subscheme defined by J. We set Q:= R/J. Note that, for 1 < j < I, Ij/ILj is a free A- module of rank one and is generated by C,j'.= {Zj mod II j). There exists a natural isomorphism Ij/IIj ^a Q — > ^jf-^-^j of Q' modules which maps (j (8) 1 to Cj'-= {Zj mod J Ij). Moreover, there exists a natural isomorphism (5) ///2 ^ I,/II, 0^ ... 0^ Ii/IIi of A-modules, and hence, the ^-module I /l"^ is free of rank one and is generated by Ci <X) • • • C/- We denote by ttj the natural projection Ij/IIj — > Ij/I C A. The cotangent complex of the morphism A; — > j4 is given by •5 , oi L:0 — > R®rA — > Ojj/;. ^rA — ^ 0, where 5 is defined hy R ^ F ■ R —^ f^p/^ with F:=Zi---Zi (cf. pO|). Then the tangent complex of U is the complex '■R/k IlomA{L,A) : — > Qji/k (^rA-^ Hom^(i? (^r A, A) — > 0, where 9^/^: = RomR{^]^^^,R). We define (6) T\ = RomA{R(^RA,A)/6*{eR/k(^RA). Lemma 3.1 We have the natural isomorphism (7) TX^i{omA{I/I^A)^AQ- Proof. Consider the exact sequence -^ i/i^ -^ n],/, ®rA^ n\/, -^ 0. By definition, we have T\ = Coker(HomA(f^L^ ^rA,A) -^ HomA(///^,^)). Then one can show — by direct calculations — that Hom^ [I/l"^ ) A) — > T\ is nothing but the "tensoring" morphism (SiaQ- Moreover, we have T\ —f Ext^(ri^;^, A). □ Considering all the local charts U on X, these modules T\ glue to an invertible Od- module on X, which is denoted by 7^; this is well-known (cf. fTO]) but, for the later purpose, we prove it in the following. Suppose we have two local charts {ip:U—>-X]Zi,...,zi) and (93': C/' — > X; z[, . . . , z^,) and an etale morphism ip:U ^f U' such that cp = cp' o ip. (Because we are interested in the singular locus, we shall assume / > 1 and /' > 1.) For these local charts, we use all the notation as above. (For U', we denote them by A', I', J', ('■, etc.) Let f:A'^A be the ring homomorphism corresponding to if). We shall show that the morphism ip induces naturally an isomorphism T^, ®qi Q ^ T\ of Q-modules. Let Uj (resp. C/') be the irreducible component of U (resp. U') corresponding to Ij/I (resp. Ij/I') for 1 < j < I (resp. 1 < j < /')• Since ip is etale and injective in codimension zero (Lemma |2.8D , we may assume that the generic point of Uj is mapped to that of [/' by ip for 1 < j < I. In particular, we have I < I' . Then one sees easily that U Xi;> Uj = Uj for 1 < j <l. This implies that A/{Ij/I) ^ {A'/{I'j/I') ^a' ^)(= A/{{I'^/I') ®a' A)), and hence, (8) /,•// = (/;.//') ®A' A, (1 < j < /) as ideals in A. For 1 < j < /, we can set f{z'j) = UjZj for some Uj a A. Here, each Uj is determined up to modulo Jj/I- Due to (^), UjZj generates the ideal Ij/I, and hence, Uj is a unit in A/ [Jj/I) (and, of course, in A/ [J /I)). (Note that Uj is not necessarily a unit in A, since A is not an integral domain for / > 1.) Then there exists an isomorphism (naturally induced by /) of Q-modules (9) Tj : I'j /I'i'j ®A' Q ^^ Ij /IIj (^A Q by i'j ^ {uj mod J /I)Cj. The natural projection tt'^: I'J I' I[ -^ I'JI' C A' {I < i < I') and / induce an 74-niodule morphism (10) pv.l'Jl'l[®A'A^A. For 1 < j < /, Pj maps I[/I'I[ (^a' ^ surjectively onto Ij/I, and for i > I, pi is an isomorphism; because, for i > I, one sees that pj(Cj- (8) 1) = /(-z^) is an invertible element of A as folows: Since ip is injective in codimension zero, the point Il/I' does not belong to tpiU); hence tp maps U = Specj4 to Spec A', j,,j,-,, and this implies the image of elements in 11/ 1' under / is invertible. Set Pi: = Pi (^a Q- Then these isomorphisms induce (11) r: = Ti ®Q • • • (g)Q Ti 0Q pi+i (S)Q---<S)Q Pi'-.I'/I'"^ <S)A' Q ^ I/l'^ «)A Q- The Q-dual of r is the desired isomorphism (cf . Lemma |3.1| ) . One can easily check that this isomorphism r does not depends on parameters z' , Zj ; it is cannonically induced by /: A' -^ A. Hence, for any sequence of etale morphisms of local charts U ^ U' ^ U", we obviously have r" = ro(T'(8)Q/Q), where r: I' /r'^®A'Q ^ I/P(^aQ, t': I" /I"'^®a"Q' ^ V jV^ ®A' Q' and t": I" /I""^ ®a" Q —^ I/I^ ®A Q are the isomorphisms defined as above with respect to ip, ip' and ip' o ip, respectively. Then one sees easily that there exists a unique 0£)-module whose restriction to each U is the 0£)y-module corresponding to T\; and it is nothing but our desired O^j-module Tj^. Note that there exists a natural isomorphism 7^ -^ SxtQ_^{Q,\^n,Ox)- Suppose X has a global NCD embedding X ^^ V. Then by Lemma |3.1| , the restric- tion of the normal bundle Afx\v to the singular locus D is isomorphic to T^. Hence we have the following: Proposition 3.2 // a normal crossing variety X over k is embedded into a smooth k- variety as a normal crossing divisor, then there exists a line bundle Cx on X such that Cx^OxOd^T^- Let X ^ A be a semistable reduction of schemes, i.e., a flat and generically smooth morphism between regular schemes with A one-dimensional and every closed fiber is a normal crossing variety. Suppose X — > Spec/c is isomorphic to a closed fiber of this family. Then one sees that the normal bundle Afxiv is trivial on X, and so is T^. Definition 3.3 (cf. ||2|) A normal crossing variety X is said to be d-semistable if T^ is the trivial line bundle on D. Due to the above observation, we have the following: Proposition 3.4 (cf. Q) The d-semistablilty is a necessary condition for the existence of global smoothings of X. 4 Logarithmic embeddings In this section, we define the logarithmic embedding of a normal crossing varieties (cf. [pl]| ). This concept is defined in terms of log geometry of Fontaine, Illusie, and Kazuya Kato (cf. §). Let X be a normal crossing variety over a field k. Suppose that X has a NCD embedding f.X^^V. We denote the open immersion V \X ^^ V hy j. We define a log structure on X by where l* denotes the pull-back of log structures (cf. 0, (1.4)]). We call this the log structure associated to the NCD embedding l: X ^^ V. For a general normal crossing variety X, we cannot define the log structure of this type on X, because X may not have a NCD embedding. But, as we have seen in Remark ^^, X has etale locally a NCD embedding. Then we can consider the log strcuture of this type for a general X defined as follows: Definition 4.1 (cf. ||ll|]) A log structure M.x — ^ Ox is said to be of embedding type, if the following condition is satisfied: There exists an etale covering {ipx'- U\ —> X}x^\ by local charts — with the NCD embeddings l\: U\ ^^ V\ as, in Definition |2.3| — such that, for each A E A, the restriction Mu>^: = <flMx — >Ou^ is isomorphic to the log structure associated to the NCD embedding i\. If M.x -^ Ox is a log structure of embedding type of A, we call the log scheme (A, M.x) the logarithmic em,bedding. Let {X,Aix) be a logarithmic embedding. We can explicitly write this log struc- ture Aix etale locally. Let i^: A — > A be a normalization of A. Take a local chart (p:U ^ X with parameters zi, . . . , z; such that Mu'- = ^*-M.x -^ Ojj is the log structure associated to the NCD embedding i:U ^^ V . Let U = Ui=i ^i be the decomposition into irreduclbile components, where Ui is the irreducible component corresponding to the ideal {zi). The normalization U = Ui=i Ui —>■ U is denoted by Ufj- Note that, due to Lemma |2.9|, we have U xx X = U. Define a homomorphism of monoids (12) a: {J^u)*^ri ^ ^c/ u by a{eui) = Zi ioi i = 1, . . . ,1, where (e^/J is the standard base of {i>ij)^,N~ = 0j=i N(7^. Then a induces a log structure (13) o^^{uu%N~^Ou. Proposition 4.2 The log structure M.u — > Ojj is isomorphic to (17 Proof. Let Zi, . . . ,Zi € T{V, Oy) be as in Definition ^. By definition of the log structure associated to the embedding i:U ^^ V, these Zi,...,Zi are sections of the sheaf M.U- Define a morphism V': (i^c/)*N~ ^ Xc/ by Tp{eir.): = Zj for 1 < i < L Let V^: (i/c/).N~ ^ Mu/O^ 10 be the composition of ^p followed by the natural projection Aifj -^ Mjj /O^. It is easy to see that V' is injective. Since sections of Oy fl j^Oyi ^ are precisely those of Oy which may take zeros along i{U), these are written in the form uZ^^ ■ ■ ■ Z^^ where u E Oy and ai, . . . ,ai E N. This implies that the morphism ip is an isomorphism. Then, consider the exact sequence of sheaves of monoids l^O^^Mu^ Mu/O^ ^ 1, where the second arrow is injective. This exact sequence splits since ip is an isomorphism and ijj defines a cross section M.u /O^ —> M.u- By this, we can easily obtain the desired result. □ Thus, a log structure of embedding type is determined by the morphism a: (i^;7)*N~ — > Ojj such that a(e[/. ) is a local defining function of the component Ui for each i = 1, . . . ,1. Let a' be another such homomorphism. Then — replacing U by sufficiently small Zariski open subset — we can take Ui E T{U, O^) such that a'{ei/J = Uia{euJ for each i. Then the isomorphism of log structures of embedding type determined by a and a' is described by the following commutative diagram o^ e (z^c/).N~ ^ o^ e (i^uh^u (14) by q' \ / by a Ox, where cp is defined by </>(!, e^/J = {ui,eui) for each i = 1, . . . ,1. In particular, the log structure of embedding type exists etale locally, and is unique up to isomorphisms. Corollary 4.3 For any logarithmic embedding {X,A4x), we have an exact sequence of abelian sheaves (15) 1 ^ C*^ — ' Mf -^ v:l~ -^ 0. Proof. Due to the local expression (|^). □ In the rest of this section, we prove the following theorem, which is the main theorem of this paper. Theorem 4.4 For a normal crossing variety X , the logarithmic embedding of X exists if and only if there exists a line bundle C on X such that C 0Ox ^d —^ Tx ■ For the proof of this theorem, we shall prove some lemmas as follows. Let {(p: U = Spec j4 — > X; zi , . . . , z;) be a local chart on X. Let the NCD embedding U ^^ V = Spec R and the ideals Ij,I, Jj, J of i? be as in the previous section. Lemma 4.5 The natural morphism of A-modules, induced by Jj ^^ J, is an isomorphism. 11 Proof. The surjectivity is clear. We are going to show the injectivity. Take aj Zi ■ ■ ■ Zj ■ ■ ■ Zi £ Jj — where Zi , . . . , Z; are as in the previous section — for 1 < j < / such that I ^^ / , ttjZi ■ ■ ■ Zj ■ ■ ■ Zi = b ■ Zi- ■ ■ Zi, j=i where aj,b G R. Since R is an integral domain, aj is divisible by Zj, and hence, we have ajZi ■ ■ ■ Zj ■ ■ ■ Zi = (mod /). □ Let TTj-.Ij/IIj -^ Ij/I and qj-.Ij/I -^ Ij/JIj{= Ij/Hj ®A Q where Q = R/J) be the natural projections and set pj: = Qj o vtj. Let q: I/P — > I / JI{= I /P ®a Q) be the natural projection. Lemma 4.6 Let Mi, . . . , Mi he free A-modules of rank one and set M: = Mi CS^ • • • 0^ Ml. Suppose we are given an A-module isomorphism g: M ^ I / 1"^ and A-module homo- morphisms gj: Mj -^ Ij/I j for 1 < j <l, such that, 1. for each j, there exists a free generator 5j of Mj such that gj{Sj) = Zj, 2. {qi o gi)(S)Q--- ^Q {qi ogi) = qog. Then there exists a unique collection {Tjj-.Mj —f Ij/IIj}-^i of A-isomorphisms such that TTj o gj = gj for each j and gi®A---®Am= 9- Proof. We fix the free generators 6j of Mj as above. Then M is generated by 5i^ ■ ■ ■ (^6i. Set g{6i (8> ■ • • <8) (5/) = v(i ® • • • (8) C/ where v £ A^ . By the second condition, we have t; = 1 (mod J//), i.e., I V = 1 + 2J djZi ■ ■ ■ Zj ■ ■ ■ Zl i=i for aj € A. We set Uj = 1 + ajZi ■ ■ ■ Zj ■ ■ ■ zi and define gj by gj{6j): = UjQj for 1 < j < /. Then, since v = ui ■ ■ -ui, each Uj is a unit in A and gj is an isomorphism. Moreover, we have gi iS) ■ ■ ■ ®gi = g SlS desired. The uniqueness follows from Lemma |4.5|. □ Proof of Theorem |4.4| . We first prove the "if" part. This part is divided into four steps. Step 1: Here, we shall describe the log structure of embedding type by another etale local expression. Let {cp: U = Specvl -^ X;zi, . . . ,zi) be a local chart. For m = {mi, . . . , m;) G N , define an A-module Pm by P^:={Ii/IIif^"'^(^A---®A{Il/Ih \®mi Each Pm is a free j4- module of rank one and ^'(i,...,!) — ///^. The natural projections vtj induce a natural ^d-homomorphism Define a monoid M:=\ ^""'"^ m G N^ a : a generator of Pn 12 and a homomorphism M — s- A of monoids by {m,a) >-^ dm (a). Then the associated log structure au- Mu -^ C>u of the pre~log structure M ^ ^ is that of embedding type on U. Step 2: Now, we assume that we are given a Hne bundle £ on X satisfying £. i^Ox Of) = {TxY . Suppose we have two local charts {(p'-U —^ X; zi, . . . , zi) and (c/?': U' -^ X;z[, . . . ,z'i,) and an etale morphism ip:U -^ U' such that ip = ip' o ip. For these local charts, we use the notation as in the previous section; such asU = Spec A ^^ V = Spec R, U' = Spec A' ^^ V' = SpecR', f: A' -^ A, I, /', etc. As in the previous section, we may assume {I'JI') (^a' -^ = Ij/I as ideals in yl for 1 < j < /, and set /(z') = UjZj (each Uj is determined up to modulo Jj/I)- To give the line bundle C as above is equivalent to give a compatible system of isomorphisms for all such U —^ U', with r (8) a Q = t, where r is defined as in (0). Then we shall show that r induces canonically an isomorphism of log structures V'*-^!/' -^ J^u^ a-nd prove that these isomorphisms form so a compatible system that the log structures Adjj glue to a log structure of embedding type on X. Moreover — since local charts form an etale open basis (Corollary ^) — we can pass through this procedure replacing U by its Zariski open subset if necessary. In particular, we may assume that each Uj as above is a unit in A, because (uj-mod J//) is a unit in A/ [J /I) (in case / > 1). Fix a locally constant section w G H (15,0^). (Actually, we can take w as any global section in H (Z), O^) but, if we do so, the following argument have to be modified slightly.) Step 3: (i) If / = /' = 1, i.e., h = I and /( = /', then we set ri:/{//7( ®a' A ^ h/Ih by ri:= r. (ii) If / = 1 and /' > 1, we define ti:I[/I'I[ ^a' -A —> h/Ih as follows: Suppose r maps C( "X) • • • «) C/' <^ 1 to vCi, where v e A^ . Let pj-.I-fl'I- (Sja' A ^ A be as (|^, for 1 < i < I'. Suppose, moreover, each pi, for i > 1, maps (^,- 1 to Vi & A^ . Then, define Ti by Ti{Ci 'S>l)'- = wuvv2 ' ' 'Vji Ci) where wu is a non-zero scalar which coincides with w restricted to D^. (iii) Suppose I > 1 and /' > 1. We claim that, under the conditions (16) TTj OTj = pj, (1 < J < /) and (17) Ti (g)A ■ • • O^ n (g)A Pl+l (8)A ■ • • O^ Pi' = T, the A-isomorphisms T,:l'j/l'l'j(^A'A^Ij/IIj exist uniquely for 1 < j < /. Set Mj: = I'- /I' I'- 0^' A and gj: = pj for 1 < j < /. Define g by g ^A Pi+i ®A • • ■ '^A Pi' = T (this is possible since Pi{Ci <8) 1) is a unit element in A for i > I), which is obviously an isomorphism. Then — since we assumed each Uj to be a unit in A — Mj: = lUl'A' ®a' A, g, and gj satisfy the conditions in Lemma 4.£. Hence our claim follows from this lemma. Note that, in any cases, we have the following commutative diagram: i^/ri^ -^ i,/ii, A' — > A, 13 (18) -J for 1 < j < /; this follows from (jT^) in case /,/' > 1, and is quite obvious in the other cases. Step 4: These morphisms tj induce the morphisms where m = {tjii, . . . ,mi) for m' = {mi, . . . ,mi') € N . Then these jm' induce nat- urally a morphism of monoids M' — > M compatible with M' -^ A' , M ^ A and /. By the construction of these morphisms, the induced morphism of sheaves of monoids ^■.■ip*A4u' —f M.JJ is an isomorphism. By the commutative diagram (|T8|), this isomor- phism commutes the following diagram: 'il)*Mu' ^^ M ^*ai/' u au Ou = Ou; hence 7 is an isomorphism of log structures. Our construction of the isomorphism 7 is canonical in the following sense: Suppose we are given a sequence of etale morphisms ih lb' U ^ U' ^ U" of local charts (with U and U' sufficiently small), we have 7" = 7 o (^*7'), where 'y:Tp*Mu' —^ Mu, y:ip'*Mu" —^ Mu' and ^"■.^*^'*Mu" —^ Mu are the isomorphisms of log structures defined as above corresponding to 'ip, ip' and ip' o ip, respectively. This follows from the naturality of vtj and pj, and the compatibility of r's. Then there exists a unique log structure M.x on X which is of embedding type. Hence the "if" part is now proved. Conversely, suppose we are given a log structure Mx of embedding type. Then we have an exact sequence ( |l5|) of abelian sheaves. Considering the cohomology exact sequence, we obtain a morphism <5:H°(X,zy,Z~) -^Yi^{X,0^){^VicX). In H (X, z^^^Zr;), we consider the element which is defined by the image of 1 G Zx under the diagonal morphism Zx — > i^*Z~. Then (5(5) defines a line bundle C = Cmx on X. We shall show that this line bundle satisfies C ®Ox ^d —^ (^)^- The line bundle C is constructed as follows: the inverse image of under M^ ~^ z^^Z- defines a principally homogeneous space over O^ and hence defines a line bundle, which is nothing but C. Let U = Spec j4 be a local chart as above. Then the inverse image of D restricted to U gives a generator of an j4-module ///^ which is — due to Lemma 3.1 — a local lifting of 7^ restricted to U. Hence C satisfies the desired condition. □ Remark 4.7 1. As we have seen above, the log structure of embedding type exists locally and is unique up to isomorphisms. The sheaf of germs of automorphisms of such a log structure is naturally isomorphic to /C, where fC is defined by the exact sequence (19) 1 — >IC — >0^ — >0^ — ^ 1. This can be shown by the following steps: (i) any automorphism over a sufficiently small local chart U is given by cj) in the diagram (|14|) with a = a'; (ii) cj) is determined by {ui} with Ui € T{U,0^) such that zi = Ui ■ zi for each i] (iii) hence such Uj's are written in the form of Uj = 1 + ai ■ zi- ■ ■ Zi- ■ ■ zf, (iv) due to Lemma [4.5| , to give a system {ui\ is 14 equivalent to give u = ui- ■ -ui which is a section of /C. Hence the obstruction for the existence of log structures of embedding type hes in H {X, /C) . The proof of Theorem 4.4 shows that this class coincides with the obstruction class for a lifting of (Tj^)'^ on X, i.e., the image of (T|)^ under R^{D,0^) -^ R^{X,IC). 2. One sees easily — by the proof of Theorem |4.4| — that there exists a natural surjective map , . j isom. class of log structures 1 r v y \ r n '^ it I of embeddine tvDe on X I I ' ^ ^ kr by A^ 1-^ Cj^, where £» is defined as in the proof of Theorem [4.4 If M.x is associated to a global NCD embedding X ^^ V, then Cmx i^ nothing but the conormal bundle of X in V. The set of isomorphism classes of log structures of embedding type on X, is a principally homogeneous space over H^(X, /C). Then one sees easily that the map pO| ) is equivariant to H^(X,/C) -^ Ker(H^(X,0^) -^ R^{D,0^)) induced by the cohomology exact sequence of (|l9|). In particular, if X is proper and D is connected, the map (^) is a bijection since H^(X,/C) ^ Ker(H^(X, Oj^) -^ R^{D,0^)); in this case, the logarithmic embeddings are determined by their "normal bundles." 3. By the exact sequence (|T5[) , a log structure of embedding type Aix on X defines an extension class in Ext^ (z^^,Z~, O]^). Under the morphism Ext^ (z/^^Z-,©^) — > Ext 7 [Zx,0'^), induced by the diagonal morphism Zjf — > z^*Z~, and the natural identification Ext^ (Zx, O^) ^ PicX, this class is mapped to the class corresponding to the line bundle jCmx defined as above. (The proof is straightforward and left to the reader.) 5 Logarithmic semistable reductions Definition 5.1 (cf. B, Pl) A log strcuture of embedding type A4x —^ Ox is said to be of semistable type, if there exists a homomorphism Zx — > -^x '-'^ abelian sheaves on X such that the diagram Mf -^ v.:l~ Zx commutes, where 0:Zx^i^*Z~ is the diagonal homomorphism, and M^ —^ v.JL~ is the projection in (p^). If hAx is a log strcuture of semistable type, the homomorphism Zx — > -A^x induces the homomorphism Nx -^ M.x of monoids by the following Cartesian diagram: Nx — y Mx 1 1 Zx -^ Mf; this follows easily from the local expression (13). This morphism defines a morphism of log schemes {X,Mx) — > (Spec A;, N) 15 Here, (Specfc, N) is the standard point defined by N ^ A; which maps m G N to 0'". We call this morphism of log schemes the logarithmic semistahle reduction. Logarithmic semistable reductions are log smooth in the sense of ||7|. Remark 5.2 Let /: X — > A be a semistable reduction of schemes; i.e., a proper flat gener- ically smooth morphism / with X a regular scheme and A a one-dimensional regular local scheme, with the closed fiber X — ;■ = Spec k a normal crossing variety. Then this mor- phism induces canonically a logarithmic semistable reduction {X,AAx) — > (Spec A;, N) on the closed fiber as follows: We define a log structure A4_^ ^ O-g by where j:X\X ^^ X is an open immersion. Take a local parameter t € Oa around = Spec A;. Then f~^{t) belongs to Aij^- We define a homomorphism of monoids Nj^ — > A4^ by 1 1-^ f~^{t). Then this homomorphism extends to a morphism of log schemes (21) {X,Mx)^{A,0), where the log structure on A is the associated log structure of N — >Oa by m^ t™. Taking the pull-back of (^Tf) to the closed fiber, we get a logarithmic semistable reduction. Note that the monoid morphism Nj^ -^ -^x induces Zx — ^ -^x which satisfies the condition in Definition 5.1. Hence, such a morphism Zx -^ -^x ^^^ ^ general log structure of semistable type can be regarded as a "parametrization." Remark 5.3 The logarithmic semistable reduction induced by a semistable reduction family, as in Remark 5^, is regarded as the "closed fiber" of the morphism (|2l| ) of log schemes. Then, conversely, one can consider the theory of deformations which deal with liftings of the logarithmic semistable reductions. This is nothing but the logarithmic deformation of Kawamata-Namikawa [^, and also a part of the log smooth deformation developed in @. Using Theorem 4.4 — which is proved in the previous section — we get a new proof of the theorem of Kawamata-Namikawa as follows: Theorem 5.4 (cf. y]) For a normal crossing variety X, the log structure of semistable type on X exists if and only if X is d-semistahle. To prove the theorem, we need the following lemma: Lemma 5.5 Let (X, A4x) be a logarithmic embedding. Consider the exact sequence ^JBO of abelian sheaves and the induced morphism Homz^(Zx,i^*Z~) ^ Ext^^(Zx,Ol). Let G Homg (Zx,i^*Z~) be the diagonal morphism. Then, under the natural identi- fication Extv (Zx^C^x) —^ PicX, we have where Cmx ^^ ^^^ ^^^^ bundle defined in the previous section. 16 Proof. This lemma follows from the commutative diagram Homz^(Zx,i/*Z~) -^ Ext^^(Zx,Oi) where the vertical morphisms are natural isomorphisms and the definition of the line bundle Cmx ■ '-' Proof of Theorem |5^. Suppose Mx is a log structure of semistable type. Consider the exact sequence (22) Homz^(Zx,.M|P) ^ Homz^(Zx, z^*Z~) ^ Ext'^jZx,0^) induced by (|T5|). The "parametrization" morphism Zx — > -M^ is mapped to 5 by vr. This implies that the line bundle Cmx i^ trivial. Then so is (T^)"^ because Cmx "^Ox ^d is isomorphic to (T^)^. Conversely, if X is d-semistable, there exists at least one log structure of embedding type on X due to Theorem |4.4 Since Cmx ®Cx ^d is trivial, we can take the log structure Mx of embedding type such that the corresponding line bundle Cmx i^ trivial (due to the natural surjection (^)). Since the obstruction for the existence of a morphism Zx — > -Mx which is mapped to 0, is nothing but the class [jC^k^^], we deduce that Mx is of semistable type. □ As is shown in the above proof, the log structure of semistable type on X is — considering the natural surjection ( po|) — the log structure of embedding type which is mapped to the trivial bundle on X. Hence we have the following: Corollary 5.6 Let X be a proper, d-semistahle normal crossing variety, and assume that the singular locus D is connected. Then, the log structure of semistable type on X exists uniquely. Example 5.7 Let X: = Xq U • • • U X]\j be a chain of surfaces defined as follows: Each Xi is the Hirzebruch surface of degree Oj < 0. The surfaces Xj_i and Xi are connected by identifying the section s'^^^ on Xi^i and the one Sj on Xi, where (s^_^)'^ = Oj-i and (sj)^ = — aj, for 1 < i < N . Then X has a log structure of embedding type if and only if ai\{ai-i + aj+i) for 1 < i < A^ — 1, while X has a log structure of semistable type if and only \i gq = ai = ■ ■ ■ = ax ■ References [1] M. Artin, Algebraic approximation of structures over complete local rings, Publ. Math., Inst. Hautes Etud. Sci. 36 (1969), 23-58. [2] R. Friedman, Global smoothings of varieties with normal crossings. Annals of Math. 118 (1983), 75-114. [3] A. Grothendieck, Revetement Stale et groupe fondamental. Springer Lecture Note 224 (1971). [4] L. Illusie, Introduction a la geometric logaritlimiquc. Seminar notes at Tokyo Univ. in 1992. 17 [5] T. Kajiwara, Logarithmic compactiGcations of the gcncrahzcd Jacobian variety, J. Fac. Sci. Univ. Tokyo, Sect. lA, Math. 40 (1993), 473-502. [6] F. Kato, Log smooth deformation theory, preprint, 1994. [7] K. Kato, Logarithmic structures of Fontaine-IUusie, in Algebraic Analysis, Geometry and Number Theory, J.-l. Igusa ed., 1988, Johns Hopkins Univ., 191-224. [8] , Toric Singularities, Amer. J. of Math. 116 (1994), 1073-1099. [9] Y. Kawamata and Y. Namikawa, Logarithmic deformations of normal crossing varieties and smoothings of degenerate Calabi-Yau varieties, Invent. Math. 118 (1994), 395-409. [10] S. LiCHTENBAUM AND M. SCHLESSINGER, The cotangcnt complex of a morphism. Trans. A.M.S. 128 (1967), 41-70. [11] J. H. M. Steenbrink, Logarithmic embeddings of varieties with normal crossings and mixed Hodge structures. Preprint, 1993. 18