arxiv: v4 [math.ag] 29 Jan 2017

Transcription

1 FUNCTORIAL TROPICALIZATION OF LOGARITHMIC SCHEMES: THE CASE OF CONSTANT COEFFICIENTS MARTIN ULIRSCH arxiv: v4 [math.ag] 29 Jan 2017 Abstract. The purpose of this article is to develop foundational techniques from logarithmic geometry in order to define a functorial tropicalization map for fine and saturated logarithmic schemes in the case of constant coefficients. Our approach crucially uses the theory of fans in the sense of K. Kato and generalizes Thuillier s retraction map onto the non-archimedean skeleton in the toroidal case. For the convenience of the reader many examples as well as an introductory treatment of the theory of Kato fans are included. Contents Introduction 1 1. Overview and statement of the main results 3 2. Monoids, cones, and monoidal spaces 8 3. Kato fans, cone complexes, and their extensions Logarithmic structures and Kato fans Non-Archimedean analytification a reminder Constructing the troplicalization map Comparison with Kajiwara-Payne tropicalization 30 References 32 Introduction Tropical geometry associates to an algebraic variety Y a polyhedral shadow known as its tropicalization, whose polyhedral geometry surprisingly often corresponds to the algebraic geometry of Y. Classically (see e.g. [MS15], [Kaj08], and [Pay09]), in order to define the tropicalization of Y, one has to choose an embedding of Y into a suitable toric variety X, and, in general, the geometry the tropicalization of Y strongly depends on the chosen embedding Y X. Unfortunately, there are many varieties that do not admit a well-understood embedding into a toric variety, such as the Deligne-Knudsen-Mumford moduli spaces M g,n of stable n-marked curves for g > 0 (see [DM69] and [Knu83]) or the toric degenerations arising in the Gross-Siebert approach to mirror symmetry (see e.g. [GS11], [GS06], and [GS10]). A common feature of these Date: January 31, Mathematics Subject Classification. 14T05; 14G22; 20M14. M.U. s research was supported in part by funds from BSF grant , NSF grants DMS and DMS , and by the SFB/TR 45 Periods, Moduli Spaces and Arithmetic of Algebraic Varieties of the DFG (German Research Foundation) as well as by the Hausdorff Center for Mathematics at the University of Bonn. 1

2 varieties is that they are locally (in the étale topology) isomorphic to toric varieties, i.e. they canonically carry the structure of a toroidal embedding in the sense of [KKMSD73]. In this article we use techniques from Berkovich analytic spaces (see e.g. [Ber90] and [Ber93]) and logarithmic geometry (see [Kat89] and [Kat94]) to construct a natural tropicalization map associated to any fine and saturated logarithmic scheme X that is locally of finite type over a trivially valued base field. We, in particular, show that this tropicalization map is functorial with respect to logarithmic morphisms and that it recovers Thuillier s [Thu07] strong deformation retraction onto the non-archimedean skeleton of X in the logarithmicallly smooth case (see Theorems 1.1 and 1.2 below). Using these techniques we derive a criterion for a schön variety (in the sense of [Tev07]) to admit a faithful tropicalization (see Corollary 1.3 below). The main applications of the techniques developed in this article lie in the tropical geometry of moduli spaces. In [ACP15], as an archetypical result, the authors show that the moduli space of stable tropical curves is isomorphic to the skeleton of the moduli space of algebraic curves with the respect to the toroidal structure coming from the Deligne-Knudsen-Mumford compactification (see [DM69] and [Knu83]). Similar results have appeared for other moduli spaces, such as the moduli space of admissible covers (see [CMR16]), the moduli space of weighted stable curves (see [CHMR16] for the case genus g = 0 and [Uli15b] for g 0), and the moduli space of rational logarithmic stable maps into a toric variety (see [Ran15]). Let us now give a short outline of this article: In Section 1 we give an overview of the historical background, provide precise statements of our results, and discuss further developments that have appeared in parallel or after this article has first been made available. Section 2 introduces the basic notions of monoids and cones and the theory of locally monoidal spaces. In Section 3 we introduce the technical heart of our construction, the notion of a Kato fan, as originally proposed in [Kat94], and connect it with the theory of (extended) rational polyhedral cone complexes. Section 4 gives a quick introduction to the theory of logarithmic structures in the sense of Kato- Fontaine-Illusie (see [Kat89]) and shows how Kato fans naturally arise in this theory. Section 5 introduces the two different non-archimedean analytification functors used in this text and explains their differences using the torus-invariant open subsets of the projective line as explicit examples. In Section 6 we construct the tropicalization map and prove our main results. Section 7, finally, is concerned with a comparison of our construction with the well-known embedded tropicalization for (subvarieties of) toric varieties in the sense of Kajiwara and Payne (see [Kaj08] and [Pay09]) and a proof of Corollary 1.3. Acknowledgements. The author would like to express his gratitude to Dan Abramovich for his constant support and encouragement. Thanks are also due to Walter Gubler and Sam Payne, as well as to Amaury Thuillier, who originally suggested to the author the use of Kato fans in order to define tropicalization maps, and to Jonathan Wise, whose ideas related to Artin fans heavily influenced this work. The author also profited from discussions with Lorenzo Fantini, Jeffrey and Noah Giansiracusa, Angela Gibney, Andreas Gross, Alana Huszar, Oliver Lorscheid, Diane Maclagan, Steffen Marcus, Samouil Molcho, Johannes Nicaise, Joseph Rabinoff, Dhruv Ranganathan, Mattia Talpo, and Michael Temkin. Parts of this research have been carried out while enjoying the hospitality of Hebrew University, Jerusalem, and the University of Regensburg. Particular thanks are due to the anonymous referee(s) for several suggestions that significantly improved the readability of this article. 2

3 1. Overview and statement of the main results 1.1. Historical background: Tropicalization of tori, toric varieties, and toroidal embeddings. Let k be a field that is endowed with a (possibly trivial) non-archimedean absolute value., let N be a finitely generated free abelian group of dimension n, and write M for its dual Hom(N, Z) as well as.,. for the duality pairing between N and M Tropicalization is a process that associates to a closed subset Y of the split algebraic torus T = Speck[M] a subset Trop(Y) in N R = N R, the tropicalization of Y, which can be endowed with the structure of a rational polyhedral complex. Following [EKL06] as well as [Gub07] and [Gub13], one of the many ways of defining Trop(Y) is by taking it to be the projection of the non-archimedean analytic space Y an (see Section 5 below) associated to Y into N R via a natural continuous tropicalization map trop : T an N R. The image trop(x) of a point x T an, given by a seminorm. x : k[m] R extending. on k, is uniquely determined by the condition trop(x),m = log χ m x for all m M, where χ m denotes the character in k[m] corresponding to m M Kajiwara [Kaj08, Section 1] and, independently, Payne [Pay09, Section 3] define a natural continuous extension of the above tropicalization map to a T-toric variety X = X( ) defined by a rational polyhedral fan in N R. For standard notation and general background on toric varieties we refer the reader to [Ful93]. The codomain of the tropicalization map is a partial compactification N R ( ) of N R determined by, a detailed construction of which can be found in [Rab12, Section 3]. For a torus-invariant open affine subset U σ = Speck[S σ ] of X defined by the semigroup S σ = σ M for a cone σ, the compactification N(σ) is given by Hom(S σ,r), where R = R { } is endowed with the natural additive monoid structure, and the tropicalization map trop : U an σ N R (σ) sends x U an σ to the element trop (x) Hom(S σ,r) that is determined by trop (x)(s) = log χ s x for all s S σ. From an alternative point of view, one may also think of trop as a non-archimedean analytic moment map (see [Pay09, Remark 3.3], [Kaj08], [BGPS14, Section 4.1], and [Uli14, Sections 1.1 and 1.2]) Suppose that. is the trivial absolute value, i.e. a = 1 for all a k. In this case Thuillier [Thu07, Section 2] constructs a closely related strong deformation retraction p : X ℶ X ℶ from X ℶ onto the non-archimedean skeleton S(X) of X using the natural action of the analytic group T ℶ on X ℶ. By [Thu07, Proposition 2.9] there is a natural embedding i : S(X) N R ( ) 3

4 such that the diagram X ℶ p S(X) i X an trop N R ( ) is commutative and the image of S(X) in N R ( ) is the closure of in N R ( ). Note that on a torus-invariant open affine subset U σ = Speck[S σ ] of X, for a cone σ, the image of i is given by σ = Hom(S σ,r 0 ) Hom(S σ,r), which is also known as the canonical compactifcation of the cone σ = Hom(S,R 0 ) Suppose now that X 0 X is a toroidal embedding, i.e. an open and dense embedding that is étale locally isomorphic to the open embedding of a big algebraic torus into a toric variety. Using formal torus actions Thuillier [Thu07, Section 3] is able to lift his construction for toric varieties and obtains a strong deformation retraction p : X ℶ X ℶ onto the non-archimedean skeleton S(X) of X. We refer to [KKMSD73, Chapter 2] and the beginning of [Thu07, Section 3] for the basic theory of toroidal embeddings. In [KKMSD73] the authors work with formal instead of étale neighborhoods, but by [Den13, Section 2] both approaches are equivalent over algebraically closed fields. In [ACP15] Abramovich, Caporaso, and Payne explain how S(X) can be endowed with the structure of a generalized extended cone complex Σ X. By [Thu07, Proposition 3.15], if X 0 X has no self-intersection in the terminology of [KKMSD73], then Σ X is the canonical compactification of the rational polyhedral cone complex Σ X associated to the toroidal embedding as constructed in the end of [KKMSD73, Section 2.1]. Note that other authors also use the adjectives simple or strict to denote toroidal embeddings without self-intersection Tropicalization of logarithmic schemes. Let X be a fine and saturated logarithmic scheme locally of finite type over k. In this article we associate to X a generalized cone complex Σ X, expanding on both [ACP15] and [KKMSD73], and construct a natural continuous tropicalization map : X ℶ Σ X from X ℶ into its canonical extension Σ X. For our definition to be reasonable we require to fulfill the following two properties: (i) The tropicalization map is functorial with respect to logarithmic morphisms. (ii) In the logarithmically smooth case recovers Thuillier s retraction map. To be precise, the following two theorems have to hold: Theorem 1.1. A morphism f : X X of fine and saturated logarithmic schemes locally of finite type over k induces a morphism Σ(f) : Σ X Σ X of generalized cone complexes that makes the induced diagram X ℶ f ℶ Σ X Σ(f) (X ) ℶ Σ X commute. The association f Σ(f) is functorial in f. 4

5 Suppose now that X is logarithmically smooth over k. Then X has the structure of a toroidal embedding (see Section 4.3 below). Theorem 1.2. If X is logarithmically smooth, then has a section onto the skeleton of X, i.e. there is a homeomorphism J X : Σ X S(X) such that the diagram p X X ℶ S(X) J X Σ X is commutative Tropicalizing subvarieties. Let X be a logarithmic scheme locally of finite type over k and let Y X be a closed subvariety. One may define the tropicalization associated to Y with respect to X by setting Trop X (Y) = (Y ℶ ). In [Uli15a, Theorem 1.1] we have shown that, if X is a Zariski logarithmic scheme that is logarithmically smooth over k and if Y non-trivially intersects the open locus X 0 of X where the logarithmic structure is trivial, then Trop X (Y) Σ X also carries the structure of a cone complex. Moreover, the further results of [Uli15a] show that one can use the polyhedral geometry of Trop X (Y) to study properties ofy, thought of as a partial embedded compactification ofy 0 = Y X, expanding on Tevelev s theory of tropical compactifications (see [Tev07]). Let Y be a closed subvariety of a T-toric variety X and assume Y T. Then there are two different ways to tropicalize Y: the first is to consider the classical Kajiwara-Payne tropicalization Trop (Y) (see Section above); the other is to endow Y with the pullback of the logarithmic structure from X and to consider its image in Σ X. In Section 7 we give a detailed comparison of these two cases. These considerations together with the above two theorems lead to the following incarnation of the principle of faithful tropicalization (see e.g. [BPR16], [GRW16], and [CHW14]). Corollary 1.3. Suppose that Y is a proper and schön subvariety of a T-toric variety X such that Y T. Then the restriction trop Y an : Y an Trop (Y) of the Kajiwara-Payne tropicalization map has a unique continuous section J Y : Trop (Y) Y an such that J Y trop : Y an S(Y) is the deformation retraction onto the toroidal skeleton if and only if the intersection of Y with every T-orbit in X is non-empty and irreducible (i.e. has multiplicity one) The main idea of our construction. Our approach to the construction of is a global version of the local tropicalization map defined by Popescu-Pampu and Stepanov in [PPS13, Section 6]. Fix a morphism α : P A from a monoid P into the multiplicative monoid of an algebra A of finite type over k (or more generally into the quotient A/A ) and set X = SpecA. The set σ P = Hom(P,R 0 ) is the canonical compactification of the rational polyhedral cone σ P = Hom(P,R 0 ) and there is a natural continuous tropicalization map trop α : X ℶ σ P 5

6 that is defined by sending x X ℶ to the homomorphism trop α (x) σ P = Hom(P,R 0 ) given by p log α(p) x for p P. In the global case we proceed in two steps. Associated to a Zariski logarithmic scheme X without monodromy (see Section 4.2 below) there is an essentially unique characteristic morphism φ X : (X,O X ) F X into a Kato fan F X, i.e. a locally monoidal space that is covered by affine patches SpecP for fine and saturated monoids P (see [Kat94, Section 9] and Section 3.1 below). The set of R 0 -valued points F X (R 0 ) carries the structure of an extended cone complex Σ X and, as a heuristic, should be thought of as a non-archimedean analytic space associated to F X. The natural continuous tropicalization map : X ℶ Σ X is then formally defined as the analytification of the characteristic morphism φ X. In the special case that both X = SpecA and F X = SpecP are affine, we have Σ X = σ P and the tropicalization map is nothing but the local tropicalization map of Popescu-Pampu and Stepanov [PPS13]. In general, not every logarithmic scheme X admits a characteristic morphism, a phenomenon that is due to the presence of monodromy in the logarithmic structure (see Section 4.2). In these cases we may still define a generalized cone complex Σ X as well as a tropicalization map : X ℶ Σ X by taking colimits over all strict étale covers by logarithmic schemes without monodromy Complements, applications, and further developments Our approach to the tropicalization of logarithmic schemes is very much inspired by ideas of M. Gross and Siebert that have been outlined in [GS13, Appendix B]; their construction is motivated by applications to logarithmic Gromov-Witten theory in analogy with the tropical part of an exploded manifold in the sense of [Par12]. Let X be a fine and saturated Zariski logarithmic scheme locally of finite type over k. According to Gross and Siebert the tropicalization of X is given as the space ( )/ Trop GS (X) = Hom(M X,x,R 0 ), x X where the equivalence relation is induced by the duals of the generization maps M X,x M X,x, whenever x is a specialization of x in X. In fact, from our construction one can deduce that there is a natural homeomorphism Trop GS (X) Σ X and Trop GS (X) therefore naturally carries the structure of a generalized cone complex An alternative approach to the tropicalization of subvarieties of toric varieties, that is similar in spirit to our construction, can be found in [GG16]. Let N be a free finitely generated abelian group and consider a rational polyhedral fan in N R. Then defines a toric variety X over the fieldf 1 with one element and the associated sharp monoidal space(x,o X ) = (X,O X /OX ) turns out to be a toric Kato fan. Instead of analytifying F X by considering the R 0 -valued points of X, the authors of [GG16] work in the category of semiring scheme and consider the base change X F1 T, where T denotes the semi-ring of tropical numbers. 6

7 In [Lor15], based on his theory of blueprints (see [Lor12]), Lorscheid proposes a much larger framework for tropicalization that generalizes both Giansiracusa and Giansiracusa s theory of tropical schemes and the tropical geometry of logarithmic schemes without monodromy. Let T 0 be the semiring of non-negative tropical numbers. Lorscheid, in particular, shows that both X ℶ and Σ X (and more generally Y ℶ and the tropicalization Trop X (Y) for a closed subset Y of X) naturally arise as the set of T 0 -valued points of certain suitable chosen so-called ordered blue schemes (see [Lor15, Theorem H]). In this language the tropicalization map, as defined in this article, arises as the induced map on T 0 -valued points of an underlying morphism of ordered blue schemes, which one can think of as an enrichment of the characteristic morphism φ X used in our construction Let X be a Zariski logarithmic scheme that is logarithmically smooth over the base field. In [Gro15] A. Gross has developed a version of tropical intersection theory on (extended) cone complexes that admit a weak embedding into a vector space generated by a lattice, expanding on the theory developed in this article. In particular, using his approach one can enrich the process of tropicalization to an operation on algebraic cycles on X that non-trivially intersect X 0. In good cases, his approach also allows us to identify certain natural tropical intersection products with their algebraic counterparts. Applying these identities to the moduli space of rational logarithmic stable maps into a toric variety, we can deduce that certain rational tropical and algebraic (descendant) Gromov-Witten invariants agree (see e.g. [Gro15, Section 5] and [Ran15, Theorem C]), which provides us with a moduli-theoretic explanation of the classical Nishinou-Siebert correspondence theorem (see [NS06]) In [ACMW14] and [AW13] (also see [ACM + 16] and [Uli16]), the authors develop the theory of Artin fans, an incarnation of the theory of Kato fans in the category of logarithmic algebraic stacks that is more suitable to deal with logarithmic structures that have monodromy. In particuar, for every logarithmic scheme there is an Artin fana X and an essentially unique strict morphism X A X that is a lift of the characteristic morphism to this category. For example, if X is a T-toric variety, the Artin fan A X is the toric quotient stack [ X / T ]. In [Uli16, Theorem 1.1] we show that defining as the analytification of the characteristic morphism is much more than a mere heuristic: There is a natural homeomorphism µ X : A ℶ X Σ X from the topological space A ℶ X underlying the non-archimedean analytic stack A ℶ X with Σ X making the diagram φ ℶ X X ℶ A ℶ X µ X Σ X commute. If X is a T-toric variety, this statement generalizes to the fact that the Kajiwara-Payne tropicalization map trop : X an N R ( ) is a stack quotient [ X an/ T ], where T denotes the affinoid torus of T, a non-archimedean version of S 1 N. This procedure, in particular, gives every rational polyhedral cone complex Σ as well as its canonical compactification Σ canonically the structure of a non-archimedean analytic stack. 7

8 2. Monoids, cones, and monoidal spaces 2.1. Monoids. A monoid P is a commutative semigroup with an identity element. All monoids will be written additively, unless noted otherwise. The non-negative real numbers together with addition form a monoid that is denoted by R 0. Its monoid structure naturally extends to R 0 = R 0 { } by setting a+ = for all a R 0. An ideal I in a monoid P is a subset I P such that p+i I for all p P. Every monoid P contains a unique maximal ideal m P = P P. An ideal p in P is called prime if its complement P p in P is a submonoid, or equivalently, if p 1 +p 2 p already implies p 1 p or p 2 p for all p i P. The complement of a prime ideal in P is referred to as a face of P. The localization of a monoid P with respect to a submonoid S is given by S 1 P = {p s p P, s S}, where p s denotes an equivalence class of pairs (p,s) P S under the equivalence relation (p,s) (p,s ) t S such that p+s +t = p +s+t. If S is the set N f for an element f P we write P f for the localization S 1 P and if S is the complement of a prime ideal p in P we denote S 1 P by P p. A monoid P is called fine, if it is finitely generated and the canonical homomorphism into the group P gp = P 1 P = {p q p,q P} is injective. It is said to be saturated if, whenever p P gp, the property n p P for some n N >0 already implies p P. An element p P is called a torsion element, if n p = 0 for some n N >0 ; it is called a unit, if there is q P such that p+q = 0. Denote the subgroup of torsion elements in P by P tors and the subgroup of units by P. A fine and saturated monoid P is said to be toric, if P tors = 0; any monoid P is said to be sharp, if P = 0. We denote the category of fine and saturated by fs Mon and the full subcategory of toric monoids by tor Mon. Lemma 2.1. Let P be a fine and saturated monoid. (i) There is a toric submonoid P of P such that P = P P tors. (ii) There exists a sharp submonoid P of P such that P = P P. For the convenience of the reader we provide proofs of these two well-known statements. Proof of Lemma 2.1. The abelian group Q = P gp is finitely generated. So we can find a finitely generated free abelian subgroup Q of Q such that Q = Q Q tors. Note that hereby Q tors = P tors, since n q = 0 P for q Q and some n N >0 already implies q P using that P is saturated. Set P = P Q. Every p P can be uniquely written as p + t with p Q and t P tors and we have p = p t P. Thus P = P P tors. This proves part (i). In view of (i), we may assume P = 0 for the proof of part (ii). Given q Q such that n q P for somen N >0, we already have q P, since P is saturated. ThereforeP is a saturated abelian subgroup in Q, i.e. Q/P is free, and we can find a subgroup Q of Q such that Q = Q P. So every element p P can be uniquely written as p + u with p Q and u P. Set P = P Q. Since p = p u P, this implies P = P P. In a slight abuse of notation, we write P for the toric monoid P/P tors and P for the sharp monoid P/P. 8

9 2.2. Rational polyhedral cones. A strictly convex rational polyhedral cone (or short: a rational polyhedral cone) is a pair (σ,n) consisting of a finitely generated free abelian group N and a strictly convex rational polyhedral cone σ N R = N R, i.e. a finite intersection of half spaces H i = { u N R u,vi 0 }, where v i M such that σ does not contain any non-trivial linear subspaces. We refer to [Ful93, Section 1.2] and [Gub13, Appendix A] for the essential background on these notions. Note hereby that Gubler [Gub13] calls rational polyhedral cones pointed integral polyhedral cones. We denote the relative interior of a rational polyhedral cone σ, i.e. the interior of σ in its span in N R, by σ. A morphism f : (σ,n) (σ,n ) of rational polyhedral cones is given by an element f Hom(N,N ) such that f(σ) σ. Consider now the functor σ on fs Mon op that associates to a fine and saturated monoid P the rational polyhedral cone (σ P,N P ) given by and N P = Hom(P gp,z) σ P = Hom(P,R 0 ) = { u Hom(P gp,r) u(p) 0 for all p P } (NP ) R. It is immediate that a morphism f : Q P of fine and saturated monoids P and Q induces a morphism σ(f) : (σ P,N P ) (σ Q,N Q ) and that the association f σ(f) is functorial in f. Proposition 2.2. The functor σ induces an equivalence between the category of toric monoids and the category of rational polyhedral cones. Proof. Consider the functor (.) that sends(σ,n) in RPC to S σ = σ M, wherem = Hom(N,Z) and σ = { v M R u,v 0 for all v σ }. By Gordon s Lemma [Ful93, Section 1 Proposition 1] the monoid S σ is finitely generated and it is immediate that S σ is integral, saturated, and torsion-free. A morphism f : (σ,n) (σ,n ) induces a homomorphism f : S σ S σ and this association is functorial in f. It is now easy to check that (.) is an inverse to σ using Lemma 2.1 (i). By Lemma 2.1 (ii) the category of sharp toric monoids corresponds to rational polyhedral cones (σ,n) that are sharp, i.e. those cones σ whose span in N R is equal to N R. Throughout this article we are going to assume that all of our cones are sharp. In a slight abuse of notation we are therefore going to denote the category of sharp cones by RPC; an object in RPC will simply be referred to as a cone and written as σ without explicit reference to the lattice N. A face morphism τ σ is a morphism of cones that induces an isomorphism onto a (not necessarily proper) face of σ. Note that we explicitly allow automorphisms of a cone σ in the class of face morphism. If we want to τ to be isomorphic to a proper face of σ, we refer to τ σ as a proper face morphism Monoidal spaces. A locally monoidal space is a pair (X,O X ) consisting of a topological space X together with a sheaf of monoids O X. Given two locally monoidal spaces (X,O X ) and (Y,O Y ), a morphism of locally monoidal spaces is a continuous map f : X Y together with a morphism f : f O Y O X of sheaves of monoids such that the induced homomorphism f x : O Y,f(x) O X,x is a local homomorphism of monoids for all x X. This means that f x(m Y,f(x) ) m X,x for the unique maximal ideals m Y,f(x) and m X,x in O X,x and O Y,y respectively. 9

10 Denote the category of locally monoidal spaces by LMS. A morphism f : X Y in LMS is said to be strict, if the induced morphism f 1 O Y O X is an isomorphism of sheaves of monoids on X. All schemes are implicitly thought of as monoidal spaces with respect to multiplication on O X. A monoidal space (X,O X ) is said to be sharp, if OX,x = 0 for all x X. The category SMS of sharp monoidal spaces is a full and faithful subcategory of LMS and the association (X,O X ) X = (X,O X ) with O X = O X /OX defines a retraction functor onto this subcategory. 3. Kato fans, cone complexes, and their extensions 3.1. Kato fans. In [Kat94, Section 9] K. Kato introduces the notion of a fan that serves as a geometric model for the dual category sh Mon op of the category sh Mon of sharp monoids (also see [GR04, Section 3.5] for further details). These objects should be thought of as analogues of schemes, where, instead of rings, we allow monoids as the fundamental building blocks. In particular, there is a functor Spec : Mon op SMS that associates to a monoid P a sharp monoidal space SpecP, called the spectrum of P. By [Kat94, Proposition 9.2] the spectrum Spec P is uniquely determined by representing the functor SMS Sets that associates to a sharp monoidal space(x,o X ) the set of homomorphisms Hom ( P,O X (X) ). As a set SpecP is equal to set of prime ideals of P and its topology is the one generated by the open sets D(f) = {p SpecP f / p} for f P. The structure sheaf O F on F = SpecP is determined by the association D(f) P f /P f and, consequently, the stalk of O F at p SpecP is given by O F,p = P p /P p. A morphism φ : Q P, induces a morphism φ # : SpecP SpecQ that is given by the association p φ 1 (p) and the induced morphisms on the structure sheaves. Remark 3.1. A toric monoid P defines a toric variety X P = Speck[P]. The affine Kato fan SpecP is naturally homeomorphic to Ξ(X P ), the set of generic points of the T = Speck[P gp ]-orbits in X P. Proposition 3.2. The functor Spec defines an equivalence between the category of sharp monoids and the category of affine Kato fans. Proof. Given a sharp monoid P, we have O SpecP (SpecP) = P/P = P and, conversely, for an affine Kato fan F the identity SpecO F (F) = F. So taking global sections of the structure sheaf defines an inverse to Spec. Note that the specialization relation defines a partial order on Spec P with a unique minimal element and a unique maximal element m P = P P. In the following pictures we indicate specialization by an arrow. Examples 3.3. (i) If P = R 0, then SpecR 0 consists of the two prime ideals and R >0 in the monoid R 0. 0 R 0 10

11 In this picture we indicate the stalk of the structure sheaf at each point. If P = R 0, then SpecR 0 contains, in addition to and R >0, also the prime ideal { }. (ii) Similarly, if P = N, then F A 1 = SpecN consists of the two prime ideals and N >0 in the monoid N. 0 N Note that the topological spaces underlying SpecN and SpecR 0 are the same; the crucial difference lies in their sheaf of functions. (iii) Suppose P = N 2. The spectrum F A 2 = SpecN 2 consists of the four elements, N N >0, N >0 N, and N 2 {0}. N N 2 0 N This visualization immediately generalizes to P = N k for all positive integers k. (iv) Let P be the monoid generated by p,q,r subject to the relation p+r = 2q. Then SpecP has the following four points:, P N p, P N r, and P {0}. N P 0 N In analogy with the category of schemes that extends the dual of the category of rings, K. Kato [Kat94] introduces the category of Kato fans the extends the dual of the category of sharp monoids. Definition 3.4. A Kato fan F is a sharp monoidal space that admits a covering by open subset U i isomorphic to SpecP i for some monoids P i. In the remainder of this article, unless noted otherwise, we are going to assume that every Kato fan is locally fine and saturated, i.e. that we may choose the P i as above to be fine and saturated. Denote the category of (locally fine and saturated) Kato fans by Fans. Examples 3.5. (i) Given two copies U 0 and U 1 of SpecN, we can glue them over the generic point { }. This defines the Kato fan F P 1. N 0 N 11

12 (ii) Consider three copies U 0, U 1, and U 2 of SpecN 2 with coordinates p 0,q 0, p 1,q 1, and p 2,q 2 respectively. Glue these affine fans with respect to the isomorphisms in order to obtain the Kato fan F P 2. D U0 (p 0 ) SpecN D U1 (q 1 ) D U1 (p 1 ) SpecN D U2 (q 2 ) D U2 (p 2 ) SpecN D U0 (q 0 ) N N 2 N 2 0 N N N 2 Glueing k+1 copies of SpecN k in an analogous manner, gives rise to Kato fans F P k for all integers k. (iii) Given four copies U 1, U 2, U 3, and U 4 of SpecN 2 with generators p 1,q 1, p 2,q 2, p 3,q 3, and p 4,q 4 respectively, we can glue these affine Kato fans via the isomorphisms D U1 (p 1 ) SpecN D U2 (q 2 ) D U2 (p 2 ) SpecN D U3 (q 3 ) D U3 (p 3 ) SpecN D U4 (q 4 ) D U4 (p 4 ) SpecN D U1 (q 1 ). The Kato fan obtained this way will be denoted by F P 1 P 1. N 2 N N 2 N 0 N N 2 N N 2 An immediate generalization of this construction yields the Kato fans F (P 1 ) k for all positive integers k. The notation F A n, F P n, and F (P 1 ) n is explained in Example 4.11 below: The Kato fans described here turn out to be the Kato fans that are naturally associated to the toric varieties A n, P n, 12

13 and (P 1 ) n. Note, in particular, that the underlying topological spaces of these Kato fans precisely correspond to the generic points of the torus orbits of these toric varieties (see Remark 3.1 above) Cone complexes. In [Kat94] K. Kato introduced the notion of a Kato fan in order to algebraize much more geometric objects, so called rational polyhedral cone complexes in the terminology of [KKMSD73, Section 2.1 Definition 5] (also see [ACP15, Section 2.1]). Definition 3.6. A rational polyhedral cone complex Σ (or short: a cone complex) consists of a topological space Σ together with a collection of rational polyhedral cones σ α and continuous maps φ α : σ α Σ such that the following properties hold: (i) The maps φ α are injective and induce a bijection σ α Σ. α (ii) Given a proper face τ of σ α, then τ is also a member of the family (σ α ). (iii) A subset A of Σ is closed if and only if its preimages φ 1 α (A) are closed in σ α for all α. Denote the category of cone complexes with piecewise Z-linear morphisms by RPCC. That is, a morphism f : Σ Σ in this category is given by a continuous map f : Σ Σ together with a family of morphisms σ α σ β with β = β(α) such that the diagrams σ α φ α Σ f commute for all α. Proposition 3.7. There is an equivalence σ β Fans φ β Σ RPCC F Σ F between the the category of Kato fans and the category of rational polyhedral cone complexes such that Σ F = F(R 0 ) = Hom ( SpecR 0,F ). Define the reduction map r : Σ F = F(R 0 ) F by sending a morphism u : SpecR 0 F to the image u(r >0 ) of the maximal ideal R >0 in SpecR 0. Proof of Proposition 3.7. Let F be a Kato fan. For an open affine subset U = SpecP in F, the preimage σ U = r 1 (U) = Hom(P,R 0 ) is a rational polyhedral cone in Σ F = F(R 0 ). Given an open affine subset V = SpecQ of U, we can assume that Q = P p for some prime ideal p in P and we have that σ V = r 1 (V) = Hom(Q,R 0 ) is a face of σ U. This, in particular, allows us to endow Σ F with the weak topology. That is, a subset A Σ F is closed, if and only if the A r 1 (U) Hom(P,R 0 ) is closed for all open affine subsets U = Spec P of F. These observations together with Proposition 2.2 and Proposition 3.2 imply that RPCC and Fans are equivalent. 13

14 3.3. Canonical extensions. Consider a Kato fan F. The results in [Thu07] suggest to think of Σ F as the analogue of a non-archimedean analytic space associated off. In fact, the correct analogue of X ℶ for a scheme X locally of finite type over k is not Σ F, but rather its canonical compactification Σ F, as defined in [ACP15, Section 2.2]. Definition 3.8. Let F be a Kato fan. The extended cone complex associated to F (also known as the canonical extension of Σ F ) is the set F(R 0 ) of R 0 -valued points on F, that is the set of morphisms SpecR 0 F. Define the reduction map r : Σ F F by sending a morphism u : SpecR 0 F onto the point u(r >0 ) F and the structure map ρ : Σ F F by sending a morphismu : SpecR 0 F to the pointu ( { } ) F. Note hereby that the reduction map r : Σ F F is a natural extension of the reduction map r : Σ F F as defined right before the proof of Proposition 3.7. We observe that for an open affine subset U = SpecP of F the preimage r 1 (U) = Hom(P,R 0 ) is the canonical compactification σ U of the cone σ U = Hom(P,R 0 ) as defined in [Thu07, Section 2]. Moreover, for an open affine subset V = SpecQ of U, the extended cone σ V = r 1 (V) is a face of σ U = r 1 (U) and so Σ F is the colimit of all σ U taken over all open affine subsets U of F. This characterization of Σ F allows us to endow it with the weak topology: A subset A Σ F is closed if and only if A σ U is closed for all open affine subsets U = SpecP. Proposition 3.9. The structure map ρ : Σ F F is continuous and the reduction map r : Σ F F is anti-continuous. Proof. We only need to consider an affine Kato fan F = SpecP. Given f P, we have ρ 1( D(f) ) = { u Hom(P,R 0 ) u(f) } as well as r 1( D(f) ) = { u Hom(P,R 0 ) u(f) = 0 } and this implies the continuity of ρ as well as the anti-continuity of r. Proposition A morphism f : F G of Kato fans induces a continuous map Σ(f) : Σ F Σ G u f u that naturally extends the piecewise Z-linear map Σ(f) : Σ F Σ F and makes the diagrams Σ F ρ F Σ(f) Σ G ρ f G commute. The association f Σ(f) is functorial in f. 14 Σ F r F Σ(f) Σ G r f G

15 Note that on open affine subsets U = SpecP and V = SpecQ of F and G respectively with f(u) V the map Σ(f) is given by Hom(P,R 0 ) Hom(Q,R 0 ) where f # is a homomorphism Q P inducing f. u u f #, Proof. We only need to show the commutativity of the two diagrams. To achieve this we observe that for u Σ F = Hom(SpecR 0 ) we have ( ρg Σ(f) ) (u) = ρ G (f u) = as well as ( rg Σ(f) ) (u) = r G (f u) = = (f u)({ }) = (f ρ F )(u) = (f u)(r >0 ) = (f r F )(u). Recall from Section 2.3 that a morphismf : F G of Kato fans is strict, if the natural morphism f 1 O G O F is an isomorphism of monoid sheaves on F and note that this is equivalent to f inducing isomorphisms f x : O G,f(x) O F,x for all x F. Corollary A morphism f : F G of Kato fans is strict if and only if the induced morphism Σ(f) : Σ F Σ G maps every cone in Σ F isomorphically onto a cone in Σ G. Proof. Denote for x F and y = f(x) G the unique minimal affine open subsets in F and G containing x and y respectively as their maximal points by U = SpecP and V = SpecQ. A morphism f : F G is strict, if and only if it induces an isomorphism U V for all points x F. By Proposition 3.10 this is the case if and only f also induces isomorphisms of rational polyhedral cones. Σ U = Hom(P,R 0 ) Σ V = Hom(Q,R 0 ) 3.4. Stratification of extended cone complexes. Let F be a Kato fan. The collection ρ 1 (x) for x F defines a stratification of Σ F by locally closed subsets. If F is irreducible, the unique open stratum ρ 1 (η), where η is the generic point of F, is equal to the set of morphisms SpecR 0 F, i.e. the cone complex Σ F. In this sense we can think of Σ F as the canonical compactification of Σ F. If F = SpecP is affine, we can formally describe this stratification following [Pay09, Section 3] or [Rab12, Proposition 3.4]. Write σ for the cone Hom(P,R 0 ) as well as N R (σ) = Hom(P,R). Proposition 3.12 ([Rab12] Proposition 3.4). There is a natural stratification N R / Specτ N R (σ) τ σ ofn R (σ) by locally closed subsets homeomorphic ton R / Spanτ, given by associating to[u] N R / Spanτ, represented by u N R = Hom(P gp,r), the homomorphism { u,p if p τ P p else in N R (σ) = Hom(P,R). 15

16 We may identify the stratification of Σ F = Hom(P,R 0 ) Hom(P,R) given by the preimages ρ 1 (x) of the points x in F with the stratification τ σ σ/τ Σ F induced from Proposition 3.12, where we write σ/τ for the image of σ in N R / Spanτ. Hereσ/τ is identified with a locally closed subset of Σ F by sending an element in σ/τ represented by u σ to the homomorphism { u,p if p τ P p else in Hom(P,R 0 ). Remark If we think of N R (σ) = Hom(P,R) as the analogue of X an for an affine scheme X = SpecA of finite type over k, then Σ F = Hom(P,R 0 ) is the closed subset corresponding to X ℶ X an, the set of bounded seminorms on A (see Section 5 below). Examples { }. (i) If F = F A 1 = SpecN, then Σ F = Σ A 1 = R 0. The strata are given by R 0 and (ii) Suppose F = F A 2 = SpecN 2. Then Σ F = Σ A 2 = R 2 0 and the strata are given by R 2 0, R 0 { }, { } R 0, and {(, )}. (iii) Suppose P is the monoid generated by p,q,r subject to the relation p + r = 2q. Then the extended cone complex Σ F associated tof = SpecP consists of the coner 0 (1,2)+R 0 (1,0), two copies of R 0, and the point {(, )} at infinity. Examples (i) Let F = F P 1. Then the strata of the extended cone complex are given by R, { }, and { }. (ii) If F = F P 2, its associated extended cone complex Σ F = Σ P 2 consists of the open stratum R 2, three copies of R at infinity and three points { } at infinity. 16

17 (iii) IfF = F P 1 P 1, its associated extended cone complexσ F = Σ P 1 P1 can be visualized as follows. The strata of Σ P 1 P 1 are given by R2, { } R, R { }, { } R, R { }, { (, ) }, { (, ) }, { (, ) }, and { (, ) } Generalized cone complexes. In [ACP15] the authors develop the notion of a generalized cone complex in order to describe the combinatorial structure of a toroidal embedding that has self-intersection. Recall that a face morphism τ σ is a morphism of rational polyhedral cones that induces an isomorphism onto a face of σ. This face need not be a proper face of σ; so, in particular, automorphisms of cones are allowed. Definition 3.16 ([ACP15] Section 2.6). A generalized cone complex Σ is a topological space Σ together with a presentation as a colimit of a diagram of face morphisms in RPC such that for a proper face τ of a cone σ in Σ the proper face morphism τ σ is also in Σ, and for every automorphism of a cone σ in Σ that leaves a proper face τ of σ invariant the induced automorphism of τ is also in Σ. Example Let F be a Kato fan. Then the cone complex Σ F = F(R 0 ) is a generalized cone complex, since we may take the diagram of all σ U = Hom(P,R 0 ) taken over open affine subsets U = SpecP of F connected by (proper) face morphisms σ V σ U whenever V = SpecQ is an open affine subset of U. Example Let G be a finite group acting on a cone σ by automorphisms. Then the quotient σ/g is a generalized cone complex (see Figure 1). 17

18 A morphism Σ Σ of generalized cone complexes is a continuous map Σ Σ such that for every σ in Σ, there is a cone σ in Σ such that the composition σ Σ Σ factors through a morphism σ σ of cones. Of course, we may form the canonical extension of a generalized cone complex Σ by taking the colimit of the σ α instead of the σ α (see Figure 1). In this case a morphism f : Σ Σ of generalized cone complexes canonically extends to a continuous map f : Σ Σ. Figure 1. The quotient of R 2 0 by the Z 2 -operation (x,y) (y,x) is a generalized extended cone complex by Example Logarithmic structures and Kato fans The main reference for logarithmic geometry is [Kat89]. We also refer the reader to [Kat96, Section 2-4] and [ACG + 13, Section 2 and 3] for short accounts of this theory and to [GR04, Section 7] for a treatment in full generality Logarithmic structures and charts. One of the main objectives of logarithmic geometry in the sense of K. Kato [Kat89] is to enlarge the category of schemes in a way that allows us to generalize many of the nice combinatorial constructions that are naturally associated to toric varieties to more general schemes. The geometry of a toric variety X with big torust is governed by the T-invariant divisors. If X = Spec k[p] is affine, the monoid of torus-invariant Cartier divisors is given by P/P. It is exactly this observation that motivates the following definition. Definition 4.1. Let X be a scheme and denote by X τ either the associated Zariski site X Zar or the étale site X et. (i) A pre-logarithmic structure on X τ is a pair (M,ρ) consisting of a sheaf of monoids M on X τ and a morphism ρ : M O X of sheaves of monoids on X. (ii) A pre-logarithmic structure (M,ρ) is said to be a logarithmic structure, if ρ induces an isomorphism ρ 1 O X O X. The triple (X, M, ρ) is called a logarithmic scheme. If the logarithmic structure is defined on X Zar (or on X et ), we say (X,M,ρ) is a Zariski (resp. étale) logarithmic scheme. It is very common to conveniently suppress the reference to ρ or (M, ρ) from this notation and to denote a logarithmic scheme just by (X,M) orxrespectively. In the latter case the logarithmic structure will be written as (M X,ρ X ). Denote by π : X et X Zar the natural morphisms of sites. As explained in [Ols03, Appendix A] to every Zariski logarithmic structure (M,ρ) we can associate its pullback π (M,ρ) to X et and restricting an étale logarithmic structure (M,ρ) from X et to X Zar defines an adjoint π to π. By [Ols03, Theorem A.1] the functor π induces an equivalence between the category of Zariski logarithmic structures on X Zar and the category of étale logarithmic structures on X et for which 18

19 the adjunction morphism π π (M,ρ) (M,ρ) is an isomorphism. From now on we are going to identify a Zariski logarithmic structure (M,ρ) on X Zar with its pullback to X et. Example 4.2 (Divisorial logarithmic structures). Let D be a divisor on a normal scheme X. Setting M D = { f O X f X D OX } defines a logarithmic structure on X. Example 4.3 (Toric varieties). Let X be a T-toric variety defined by a rational polyhedral fan in the real vector space N R = N R associated to the cocharacter lattice N of T. The divisorial logarithmic structure associated to the toric boundary X T is given by k S σ k[s σ ] (a,s) aχ s on T-invariant open affine subset U σ = SpecK[S σ ] for a cone σ in. To any pre-logarithmic structure (M, ρ) on X we can canonically associate a logarithmic structure M a together with a morphism M M a that is adjoint to the natural forgetful functor from the category of logarithmic structures to the category of pre-logarithmic structures on X. The sheaf M a is defined to be the pushout of α 1 (OX ) ρ M O X in the category of sheaves of monoids on X with the induced morphism M a O X. Given a morphism f : Y X of schemes, the inverse image f M of M is defined to be the logarithmic structure associated to f 1 M f 1 O X O Y. Definition 4.4. (i) Let M and M be pre-logarithmic structures on X. A morphism of prelogarithmic structures (M,ρ) (M,ρ ) is a morphism γ : M M of monoid sheaves such that ρ γ = ρ. A morphism of logarithmic structures on X is a morphism of pre-logarithmic structures. (ii) Let X and Y be logarithmic schemes. A morphism of logarithmic schemes f : X Y consists of a morphism f : X Y of schemes together with a morphism f : f M Y M X of logarithmic structures on X. Definition 4.5. A chart of a logarithmic structure (M X,ρ X ) on X is given by a monoid P and a morphism α : P X O X such that M X is isomorphic to the logarithmic structure associated to α : P X O X, where P X denotes the constant sheaf defined by P on X τ. A morphism f : X Y of logarithmic schemes is said to be strict, if f : f M Y M X is an isomorphism. A morphism P X O X defines a chart if and only if the induced morphism X SpecZ[P] is strict. A logarithmic scheme X is said to be quasi-coherent, if X admits a covering by étale neighborhoods U i of X such that for every U i there is a monoid P i and a chart β i : (P i ) Ui M Ui. If all P i can be chosen to be finitely generated (fine, saturated, etc.), we say the logarithmic structure M is coherent (fine, saturated, etc.). 19

20 Throughout this article, the term logarithmic scheme will always mean a fine and saturated logarithmic scheme. Given two morphisms X Z and Y Z of logarithmic schemes, the fiber product exists in the category of fine and saturated logarithmic schemes. If either (or both) of the morphisms are strict, then it is given by endowing the scheme-theoretic fiber product X Z Y with the logarithmic structure associated to pr # X M X MZ pr # Y M Y Logarithmic schemes without monodromy. The characteristic sheaf of a logarithmic structure (M X,ρ X ) on X is defined to be the sheaf M X = M X /M X M X/OX on X. We say a Zariski logarithmic scheme X is small, if the closed locus of points x X where the restriction map Γ(X,M X ) is an isomorphism is non-empty and connected. M X,x Definition 4.6. A Zariski logarithmic scheme X is said to have no monodromy, if there is a strict morphism (X,M X ) F into a Kato fan F. For a small Zariski logarithmic scheme X the isomorphism P X = M X,x Γ(X,M X ) induces a morphism φ X : (X,M X ) SpecP X of sharp monoidal spaces that is strict, since P X M X locally lifts to a chart of M X by [Kat94, Lemma (1.6)]. So a small logarithmic scheme automatically has no monodromy. Proposition 4.7. Suppose that X is a Zariski logarithmic scheme without monodromy. There is a strict morphism φ X : (X,M X ) F X into a Kato fan F X that is initial among such morphisms. In other words, given another strict morphism φ : (X,M X ) F into a Kato fan F, there is a unique strict morphism F X F making the diagram (X,M X ) φ F φ X F X commute. In a slight abuse of notation we also denote the composition (X,O X ) (X,M X ) F X by φ X and refer to it as the characteristic morphism of X. Proof of Proposition 4.7. Suppose first thatxis small. Given a strict morphismφ : (X,M X ) F into a Kato fan F, the smallest open subset containing φ(x) as its unique closed point is isomorphic to SpecP x therefore implying the universal property as above. Now consider a general Zariski logarithmic scheme without monodromy. Choose a cover by small open subsetsu i. The intersectionsu ij = U i U j may not be small, but we can again choose an open cover of ij U ij by small logarithmic schemes V k. For every open V k U i the Kato fan F Vk is an open affine subset of F Ui. Since there is a strict morphism (X,M X ) F into some Kato fan, the diagram of F Vk and F Ui glues to give a Kato fan F X, which has the desired universal property, since it is a colimit of all U i and V k. Not every Zariski logarithmic scheme is without monodromy, as shown by the following Example 4.8 that has originally appeared in [GS13, Appendix B]. 20

21 Example 4.8 ([GS13] Example B.1). Let X be a logarithmic scheme whose underlying scheme is a union C 1 C 2 of two copies of P 1 meeting each other in two nodes p and q. Set U(p) = X {q} and U(q) = X {p}, and denote the two connected components of U(p) U(q) = X {p,q} by V 1 and V 2 respectively. We define a logarithmic structure on X as follows: On U(p) = Speck[x 1,x 2 ]/(x 1 x 2 ) we take the logarithmic structure M U(p) associated to the chart N 4 k[x 1,x 2 ]/(x 1 x 2 ) that is given by (a 1,a 2,a 3,a 4 ) x a 1 1 xa 2 2 Similarly, on U(q) we consider the logarithmic structure M U(q) associated to the chart N 4 k[y 1,y 2 ]/(y 1 y 2 ) given by (b 1,b 2,b 3,b 4 ) y b 1 1 yb 2 2. Finally, on V 1 we glue the logarithmic structures along the identification N 3 N 3 given by (a 1,a 3,a 4 ) (b 1,b 3,b 4 ), while on V 2 we glue along the identification N 3 N 3 given by (a 2,a 3,a 4 ) (b 2,b 4,b 3 ). We obtain a diagram of four Kato fans F U(p) = SpecN 4, F U(q) = SpecN 4, F V1 = SpecN 3, and F V2 = SpecN 3. If we try to glue those four affine Kato fans, we find (going around the circle once) that an open affine subset SpecN 2 of F U(p) would have to be identified with itself along the swap (a 3,a 4 ) (a 4,a 3 ) and the resulting quotient is not a Kato fan. Lemma 4.9. A morphism f : X Y of logarithmic schemes X and Y locally of finite type over k without monodromy induces a morphism f F : F X F Y such that the diagram (X,O X ) (f,f ) (Y,O Y ) φ X FX f F φ Y FY is commutative. The association f f F is functorial in f and, if f is a strict morphism, then f F is a strict morphism. Proof. The morphism f induces a compatible family of morphisms f x : M Y,f(x) M X,x for all x X and therefore there is an induced morphism f F : F X F Y that is functorial. Note, in particular, that a strict morphism f : X Y induces isomorphisms M Y,f(x) M X,x for all x X implying that f F is strict Logarithmically smooth schemes. In [Kat89] K. Kato defines the notion of logarithmically smooth morphism X Y between logarithmic schemes and in [Kat89, Theorem 3.5] (also see [Kat96, Theorem 4.1]) he gives a criterion on how to check for logarithmic smoothness in terms of the existence of certain well-behaved charts. For Y = Speck, endowed with the trivial logarithmic structure k k, this reduces to the following: A logarithmic scheme X is logarithmically smooth over k if and only if every point x X there is an étale neighborhood δ : U X, a fine and saturated monoid P whose torsion part P tors has order invertible on X, as well as a chart P U O U of M U = δ M X such that the induced morphism γ : U Speck[P] is étale. Write X 0 for the locus of points x in X where the logarithmic structure is trivial, i.e. where M X,x = O X,x. We have the following immediate Corollary 4.10 of Kato s criterion. Corollary Let X be a logarithmic scheme that is logarithmically smooth over k. Then the open embedding X 0 X is a toroidal embedding. 21