Skip to main content

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