## MODULI OF MORPHISMS OF LOGARITHMIC SCHEMES

## JONATHAN WISE

Abstract. We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the representability of the stack of stable logarithmic maps from logarithmic curves to a fixed target without restriction on the logarithmic structure of the target.

An intermediate step requires a left adjoint to pullback of ´tale e sheaves, whose construction appears to be new in the generality considered here, and which may be of independent interest.

## Contents

| 1.          | Introduction                                     | Introduction                                     |   1 |
|-------------|--------------------------------------------------|--------------------------------------------------|-----|
| 2.          | Algebraicity relative to the category of schemes | Algebraicity relative to the category of schemes |   6 |
| 3.          | Local minimality                                 | Local minimality                                 |   9 |
| 4.          | Global minimality                                | Global minimality                                |  17 |
| 5.          | Automorphisms of minimal logarithmic structures  | Automorphisms of minimal logarithmic structures  |  29 |
| Appendix A. | Appendix A.                                      | Integral morphisms of monoids                    |  31 |
| Appendix B. | Appendix B.                                      | Minimality                                       |  31 |
| Appendix C. | Appendix C.                                      | Explicit formulas: by Sam Molcho                 |  34 |
| References  | References                                       | References                                       |  44 |

## 1. Introduction

Let X and Y be logarithmic algebraic spaces over a logarithmic scheme S . Consider the functor Hom LogSch /S ( X,Y ) 1 whose value on a logarithmic S -scheme S ′ the set of logarithmic morphisms X ′ → Y ′ , where X ′ = X × S S ′ and Y ′ = Y × S S ′ . Under reasonable hypotheses

Date : November 9, 2015.

2010 Mathematics Subject Classification. 14H10, 14D23, 14A20 .

Wise is supported by an NSA Young Investigator's Grant, Award #H98230-141-0107.

1 See Section 1.3 for our conventions on notation.

on these data, we show that Hom LogSch /S ( X,Y ) is representable by a logarithmic algebraic space over S .

Our strategy is to work relative to the space Hom LogSch /S ( X,Y ) parameterizing morphisms of the underlying algebraic spaces X and Y of X and Y , respectively. More precisely, Hom LogSch /S ( X,Y )( S ′ ) is the set of morphisms of schemes X × S S ′ → Y × S S ′ . In order to guarantee that a morphism

$$\text{Hom} _ { \text{LogSch} / S } ( X, Y ) \rightarrow \text{Hom} _ { \text{LogSch} / S } ( \underline { X }, \underline { Y } )$$

exists, we need to assume that the morphism of logarithmic spaces π : X → S is integral, meaning π M ∗ S → M X is an integral morphism of sheaves of monoids.

Theorem 1.1. Let π : X → S be a proper, flat, finite presentation, geometrically reduced, integral morphism of fine logarithmic algebraic spaces. Let Y be a logarithmic stack 2 over S . Then the morphism

$$\text{Hom} _ { \text{LogSch} / S } ( X, Y ) \rightarrow \text{Hom} _ { \text{LogSch} / S } ( \underline { X }, \underline { Y } )$$

is representable by logarithmic algebraic spaces.

Combining the theorem with already known criteria for the algebraicity of Hom LogSch /S ( X,Y ) such as [HR14, Theorem 1.2], we obtain

Corollary 1.1.1. In addition to the assumptions of Theorem 1.1, assume as well that Y is an algebraic stack over S that is locally of finite presentation with quasi-compact and quasi-separated diagonal and affine stabilizers and that X → S is of finite presentation. Then Hom LogSch /S ( X,Y ) is representable by a logarithmic algebraic stack.

One application is to the construction of the stack of pre-stable logarithmic maps. Let M denote the logarithmic stack of logarithmic curves. The algebraicity of M may be verified in a variety of ways, e.g., [GS13, Proposition A.3]. For a logarithmic algebraic stack Y over S , we write M ( Y/S ) for the logarithmic stack whose T -points are logarithmically commutative diagrams

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-fdfd4722-db70-46b6-80c5-bb44ed32c3fe.jpg)

/d15

/d15

/d15

/d47

/d47

in which C is a logarithmic curve over T .

Taking X to be the universal curve over M in the previous corollary yields

2 It is not necessary for Y to be algebraic.

Corollary 1.1.2. Suppose that Y → S is a morphism of logarithmic algebraic stacks with quasi-finite and separated relative diagonal. Then M ( Y/S ) is representable by a logarithmic algebraic stack.

This improves on several previous results:

- (1) [Che10] required Y to have a rank 1 Deligne-Faltings logarithmic structure,
- (2) [AC11] required Y to have a generalized Deligne-Faltings logarithmic structure, and
- (3) [GS13] required Y to have a Zariski logarithmic structure.

The evaluation space for stable logarithmic maps can also be constructed using Theorem 1.1. Recall that the standard logarithmic point P is defined by restricting the divisorial logarithmic structure of A 1 to the origin. A family of standard logarithmic points in Y parameterized by a logarithmic scheme S is a morphism of logarithmic algebraic stacks S × P → Y . Following [ACGM10], we define ∧ Y to be the fibered category of standard logarithmic points of Y .

Corollary 1.1.3 ([ACGM10, Theorem 1.1.1]) . If Y is a logarithmic algebraic stack with quasi-finite and quasi-separated diagonal then ∧ Y is representable by an algebraic stack with logarithmic structure.

- 1.1. Outline of the proof. Working relative to Hom LogSch /S ( X,Y ), the question of the algebraicity of Hom LogSch /S ( X,Y ) is reduced to showing that, given a logarithmic algebraic space X and a logarithmic algebraic stack Y , both over S , as well as a commutative triangle of algebraic stacks,

/d47

/d47

/d31

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-01ecbc0b-bfa8-4fac-9897-e860b4f06c57.jpg)

/d31

/d0

/d0

the lifts of f to an S -morphism of logarithmic algebraic stacks making the triangle commute are representable by a logarithmic algebraic stack.

This problem reduces immediately to the verification that morphisms of logarithmic structures f ∗ M Y → M X compatible with the maps from π M ∗ S are representable by a logarithmic algebraic space over S . We may therefore eliminate Y from our consideration by setting M = f ∗ M Y and restricting our attention to the functor Hom LogSch /S ( M,M X ) that parameterizes morphisms of logarithmic structures M → M X .

Stated precisely, the S ′ -points of Hom LogSch /S ( M,M X ) are the morphisms of logarithmic structures M ′ → M ′ X , where M ′ and M ′ X are the

logarithmic structures deduced by base change on X ′ = X × S S ′ , that fit into a commutative triangle:

/d123

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-bc6a8e82-92a1-4705-b51c-f3232e53c5dc.jpg)

/d123

/d35

/d35

/d47

/d47

As is typical for logarithmic moduli problems, we now separate the question of the representability of Hom LogSch /S ( M,M X ) by a logarithmic algebraic stack into a question about the representability of a larger stack Log (Hom LogSch /S ( M,M X )) = Hom Sch / Log ( S ) ( M,M X ) over schemes (not logarithmic schemes), followed by the identification of an open substack of minimal objects within Log (Hom LogSch /S ( M,M X )) that represents Hom LogSch /S ( M,M X ).

When Log (Hom LogSch /S ( M,M X )) is viewed as a category, its objects are the same as the objects of Hom LogSch /S ( M,M X ). Its fiber over a scheme T therefore consists of tuples ( M ,f,α T ) where

- (i) M T is a logarithmic structure on T ,
- (ii) f : ( T, M T ) → S is a morphism of logarithmic schemes, and
- (iii) α : f ∗ M → f ∗ M X is a morphism of logarithmic structures on X × S T that is compatible with the maps from M T .

The distinction between the categories Log (Hom LogSch /S ( M,M X )) and Hom LogSch /S ( M,M X ) is that morphisms in the former are required to be cartesian over the category of schemes, while in the latter they are only required to be cartesian over the category of logarithmic schemes. That is, ( T, M T , f, α ) → ( T , M ′ T ′ , f ′ , α ′ ) in Hom LogSch /S ( M,M X ) lies in Log (Hom LogSch /S ( M,M X )) only if the map ( T, M T ) → ( T , M ′ T ′ ) is strict.

Weshow in Section 2 that Log (Hom LogSch /S ( M,M X )) is representable by an algebraic space relative to Log ( S ). As Olsson has proved that Log ( S ) is algebraic, the representability of Log (Hom LogSch /S ( M,M X )) by an algebraic stack follows.

In Sections 3 and 4 we use Gillam's criterion (Section B) to prove that the fibered category Hom LogSch /S ( M,M X ) over logarithmic schemes is induced from a fibered category over schemes with a logarithmic structure. Section 3 treats the case where X = S by adapting methods from homological algebra to commutative monoids. In Section 4, we transform the local minimal object of Section 3 to a global minimal object by means of a left adjoint to pullback for ´tale sheaves (constructed, e under suitable hypotheses, in Section 4.1), whose existence appears to be a new observation.

Gillam's criterion characterizes the fibered category over schemes inducing the fibered category Hom LogSch /S ( M,M X ) over logarithmic schemes: it is the substack of minimal objects of Hom LogSch /S ( M,M X ). A slight augmentation of that criterion (described in Section B) implies that the substack of minimal objects is open in Log (Hom LogSch /S ( M,M X )). Combined with the algebraicity of Log (Hom LogSch /S ( M,M X )) proved in Section 2, the verification of Gillam's criteria in Sections 3 and 4 implies that Hom LogSch /S ( M,M X ) is representable by a logarithmic algebraic stack . A direct analysis of the stabilizers of logarithmic maps in Section 5 then implies that Hom LogSch /S ( M,M X ) is representable by an algebraic space .

- 1.2. Remarks on hypotheses. It is far from clear that all of the hypotheses of Theorem 1.1 are essential. We summarize how they are used in the proof: Integrality of X over S is used to guarantee the existence of a morphism Hom LogSch /S ( X,Y ) → Hom LogSch /S ( X,Y ); it is also used in the construction of minimal objects. Properness and finite presentation are used to guarantee the representability of Log (Hom LogSch /S ( M,M X )) by an algebraic stack. Flatness, finite presentation, and geometrically reduced fibers are used to guarantee the existence of a left adjoint to pullback of ´ etale sheaves, used in the construction of global minimal objects from local ones.
- 1.3. Conventions. We generally follow the notation of [Kat89a] concerning logarithmic structures, except that we write X for the scheme (or fibered category) underlying a logarithmic scheme (or fibered category) X . The logarithmic structures that appear in this paper will all be fine, although we will usually point this out in context. If M is a logarithmic structure on X , we write exp : M →O X for the structural morphism and log : O ∗ X → M for the reverse inclusion.

It is occasionally convenient to pass only part of the way from a chart for a logarithmic structure to its associated logarithmic structure. We formalize this in the following definition:

Definition 1.2. A quasi-logarithmic structure on an scheme X is an extension N of an ´ etale sheaf of integral 3 monoids N by O ∗ X and a morphism N →O X compatible with the inclusions of O ∗ X . We will say that a quasi-logarithmic structure is coherent if its associated logarithmic structure is coherent. If f : X ′ → X is a morphism of schemes, the

3 The integrality assumption is not necessary in the definition. It is included to avoid qualifying every quasi-logarithmic structure that appears below with the adjective 'integral'.

pullback f ∗ N of N to X ′ is obtained by pushout via f -1 O ∗ X → O X ′ from the pulled back extension f -1 N :

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-63ad7967-bbe9-4946-acff-43ced6ab560c.jpg)

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

We write Hom( A, B ) for the set of morphisms between two objects of the same type. When A and B and the morphisms between them may reasonably be construed to vary with objects of a category C , we write Hom ( C A, B ) for the functor or fibered category of morphisms between A and B . Occasionally, we also employ a subscript on Hom to indicate restrict to homomorphisms preserving some additional structure. We rely on context to keep the two meanings of these decorations distinct.

- 1.4. Acknowledgements. The central construction of this paper was inspired by the construction of basic logarithmic maps in [GS13]. I am very grateful to Qile Chen and Steffen Marcus for their comments on an early draft, and to Dan Abramovich for his many detailed comments and his encouragement that I present these results in their natural generality. Samouil Molcho discovered an error in my original presentation of the main construction. I am very grateful to him for that correction, as well as for the attached Appendix C, which translates the results of this paper into explicit formulas.

This work was supported by an NSA Young Investigator's grant, award number H98230-14-1-0107.

## 2. Algebraicity relative to the category of schemes

We show that the morphism

$$\text{(2.1)} & & \text{Log(Hom} _ { \text{LogSch/S} } ( M, M _ { X } ) ) \rightarrow \text{Log(S)}$$

is representable by algebraic spaces. Combined with the algebraicity of Log ( S ) [Ols03, Theorem 1.1], this implies Log (Hom LogSch /S ( M,M X )) is representable by an algebraic stack.

Proposition 2.1. Let S = ( S, M S ) be a logarithmic scheme, X a proper S -scheme with π : X → S denoting the projection. Assume given logarithmic structures M and M X on X with morphisms of logarithmic structures π M ∗ S → M and π M ∗ S → M X . Assume as well that M S , M X , and M are all coherent. Then the morphism (2.1) is representable by algebraic spaces.

We divide this into a local problem in which X = S and then pass to the general case.

Theorem 2.2 ([GS13, Proposition 2.9]) . Suppose that P and Q are coherent logarithmic structures on a scheme X . Then Hom Sch /X ( P, Q ) is representable by an algebraic space over X .

For isomorphisms, this is [Ols03, Corollary 3.4].

Proof. The question of the algebraicity of Hom Sch /X ( P, Q ) may be separated into one about the algebraicity of Hom Sch /X ( P, Q ) and another about the relative algebraicity of the map

$$& ( 2. 2 ) & & \text{Hom} _ { \text{Sch} / X } ( P, Q ) \to \text{Hom} _ { \text{Sch} / X } ( \overline { P }, \overline { Q } ).$$

Lemma 2.2.1. The functor Hom Sch /X ( P, Q ) is representable by an ´ etale algebraic space over X .

Proof. Because P and Q are constructible, the natural map

$$f ^ { * } \text{Hom} _ { \acute { e t } ( X ) } ( \overline { P }, \overline { Q } ) \to \text{Hom} _ { \acute { e t } ( X ^ { \prime } ) } ( f ^ { * } \overline { P }, f ^ { * } \overline { Q } )$$

is an isomorphism for any morphism f : X ′ → X . Therefore we may represent Hom Sch /X ( P, Q ) with the espace ´tal´ of Hom e e ´ et( X ) ( P, Q ). /square

The relative algebraicity of (2.2) is equivalent to the following lemma:

Lemma 2.2.2 ([GS13, Lemma 2.12]) . Let Q be a logarithmic structure on a scheme X and let P be a coherent quasi-logarithmic structure on X . Fix a morphism u : P → Q . The lifts of u to a morphism of quasilogarithmic structures u : P → Q are parameterized by a relatively affine scheme over X .

Our proof of this lemma only differs from that of loc. cit. superficially, but is nevertheless included for the sake of completeness. It is also possible to deduce Lemma 2.2.2 from Lemma 2.2.1 and [Ols03, Corollary 3.4].

Proof. This is a local question in X , so we may freely pass to an ´tale e cover. Furthermore, replacing P with a quasi-logarithmic structure P 0 that has the same associated logarithmic structure does not change the morphisms to Q , by the universal property of the associated logarithmic structure. Since the logarithmic structure associated to P admits a chart ´tale locally, we can therefore select e P 0 to be a quasi-logarithmic structure whose sheaf of characteristic monoids P 0 is constant. Replacing P with P 0 , we can assume that the characteristic monoid of P is constant.

We wish to construct the space of completions of the diagram below (in which u is also required to be compatible with the maps exp : P → O X and exp : Q →O X ):

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-a19e29f4-4a0d-4249-aba7-2104ac411173.jpg)

/d47

Replacing Q with u -1 Q , we can assume that P = Q and u = id P . 4 Let H be the moduli space of maps u : P → Q that are compatible with u = id P , ignoring the maps to O X . Locally such a map exists because P and Q are both extensions of P by G m and P is generated by a finite collection of global sections. Indeed, this implies that P and Q are each determined by a finite collection of G m -torsors on X , all of which can be trivialized after passage to a suitable open cover of X . It follows that H is a torsor on X under Hom Sch /X ( P, G m ) and in particular is representable by an affine scheme over X .

We may now work relative to H and assume that the map u : P → Q has already been specified. We argue that the locus where the diagram

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-fdb12a80-e842-44f1-bec2-7a07ef71ec48.jpg)

/d32

/d32

/d15

/d47

/d47

commutes is closed. In effect, we are looking at the locus where two G m -equivariant maps P → A 1 agree. But P is generated as a monoid with G m -action by a finite collection of sections, hence the agreement of the two maps P → A 1 corresponds to the agreement of a finite collection of pairs of sections of A 1 . But A 1 is separated, so this is representable by a closed subscheme. /square

This completes the proof of Theorem 2.2. /square

We can now obtain a global variant:

Corollary 2.2.3. Let X be a proper, flat, finite presentation algebraic space over S and let P and Q be logarithmic structures on X with P coherent. Then Hom Sch /S ( P, Q ) is representable by an algebraic space over S .

4 At this point a morphism P → Q covering u must be an isomorphism so we could complete the proof using [Ols03, Corollary 3.4].

Proof. Let π : X → S be the projection. Then we have

$$\text{Hom} _ { \text{Sch} / S } ( P, Q ) = \pi _ { * } \text{Hom} _ { \text{Sch} / X } ( P, Q ).$$

We have already seen in Theorem 2.2 that Hom Sch /X ( P, Q ) is representable by an algebraic space over X that is quasi-compact, quasiseparated, and locally of finite presentation. We may therefore apply [HR14, Theorem 1.2] (or any of a number of other representability results for schemes of morphisms) to deduce the algebraicity of π ∗ Hom Sch /X ( P, Q ). /square

Corollary 2.2.4. Let X and S be as in the last corollary. Suppose that P , Q , and R are logarithmic structures on X with P and Q coherent and morphisms α : P → Q and β : P → R have been specified. Then there is an algebraic space over S parameterizing the commutative triangles shown below:

/d15

$$\stackrel { P } { \alpha } \Big \downarrow _ { Q \longrightarrow R } ^ { \beta }$$

/d15

/d31

/d31

/d47

/d47

Proof. We recognize this functor as a fiber product:

$$\text{Hom} _ { \text{Sch} / S } ( Q, R ) \times _ { \text{Hom} _ { \text{Sch} / S } ( P, R ) } \{ \beta \}$$

$$\Box$$

Proposition 2.1 is an immediate consequence of Corollary 2.2.4, applied with P = π M ∗ S , Q = M , and R = M X .

## 3. Local minimality

After Proposition 2.1, all that is left to demonstrate Theorem 1.1 is to verify Gillam's criteria for

$$\text{Log} ( \text{Hom} _ { \text{LogSch} / S } ( M, M _ { X } ) ) = \text{Hom} _ { \text{Sch} / \text{Log} ( S ) } ( M, M _ { X } ).$$

As in the proof of Proposition 2.1 we separate this problem into local and global variants, the local version being the case S = X . We treat the local problem in this section and deduce the solution to the global problem in the next one.

Let X be a scheme equipped with three fine logarithmic structures, denoted π M ∗ S , M X , and M in order to emphasize the application in the next section, and morphisms of logarithmic structures,

$$\pi ^ { * } M _ { S } & \to M _ { X } \\ \pi ^ { * } M _ { S } & \to M.$$

Let GS loc ( X ) be the set of commutative diagrams

/d47

/d47

/d39

/d39

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-936421cb-33a5-4983-bf14-dd7af2926403.jpg)

/d15

/d15

/d15

/d125

/d125

/d47

/d47

in which N is a quasi-logarithmic structure 5 (Definition 1.2) and the square on the left is cocartesian. These data are determined up to unique isomorphism by the quasi-logarithmic structure N , the morphism π M ∗ S → N , and the morphism ϕ . We will refer to an object of GS loc ( X ) with the pair ( N,ϕ ) with the morphism π M ∗ S → N specified tacitly. 6

Convention 3.1. As a matter of notation, whenever we have a morphism of monoids π M ∗ S → N (resp. π M ∗ S → N ), we write N X (resp. N X ) for the monoid obtained by pushout:

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-88268569-60d3-42bf-9289-0be3da34e3a9.jpg)

/d47

/d47

/d47

When N = N S above, we simply write N X rather than ( N S ) X .

The object of this section will be to prove the following two lemmas:

Lemma 3.2. For any X -scheme Y , any object of GS loc ( Y ) admits a morphism from a minimal object.

Lemma 3.3. The pullback of a minimal object of GS loc ( Y ) via any morphism Y ′ → Y is also minimal.

The construction of the minimal object appearing in Lemma 3.2 is done in Section 3.1, while the proof of its minimality appears in Section 3.2, along with the proof of Lemma 3.3.

5 The use of quasi-logarithmic structures here is entirely for convenience: it allows us to avoid repeated passage to associated logarithmic structures. The reader who would prefer not to worry about quasi-logarithmic structures should feel free to assume N is a logarithmic structure and worry instead about remembering to take associated logarithmic structures at the right moments.

6 Effectively, N is an object of the category of quasi-logarithmic structures equipped with a morphism from π M ∗ S .

3.1. Construction of minimal objects. Fixing ( N,ϕ ) ∈ GS loc ( X ), we construct an object ( R, ρ ) ∈ GS loc ( X ) and a morphism ( R, ρ ) → ( N,ϕ ). In Section 3.2 we verify that ( R, ρ ) is minimal and that its construction is stable under pullback.

We assemble R in steps: First we build the associated group of its characteristic monoid, then we identify its characteristic monoid within this group, and finally we build the quasi-logarithmic structure above the characteristic monoid.

Recall that the map ϕ : M → N X induces a map u : M → N /π N X ∗ S /similarequal M /π M X ∗ S known as the type of u . This generalizes [GS13, Definition 1.10]. For brevity, we write M X/S = M /π M X ∗ S = M /π M X ∗ S below. Note that u is equivariant with respect to the action of π M ∗ S on M and the (trivial) action of π M ∗ S on the relative characteristic monoid M X/S . Therefore u may equally well be considered a morphism M/π M ∗ S → M X/S .

Remark 3.1 . The following construction is technical, so the reader may find it helpful to keep in mind that it is really an elaboration of an exercise in homological algebra:

If 0 → A → B → C → 0 is an exact sequence of abelian groups, and u : M → C is a given homomorphism, there is a universal homomorphism A → A ′ such that u lifts to a homomorphism M → B ′ , where B ′ = A ′ /coproduct A B :

/d47

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-02731532-42a5-4ca8-9919-74773a8c7103.jpg)

/d6

/d6

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Moreover, A ′ may be taken to be M × C B .

The associated group of the characteristic monoid of R . We set R gp 0 = M gp × M gp X/S M gp X . This fits into a commutative diagram with exact rows:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-8d5ffd5b-5ac5-4036-a25c-853e6df877e5.jpg)

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Observe that R gp 0 comes with two maps π M ∗ gp S → R gp corresponding to the two maps

$$\pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } & \rightarrow \overline { M } ^ { \text{gp} } \\ \pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } & \rightarrow \overline { M } _ { X } ^ { \text{gp} }.$$

$$\nu _ { S } \, \rightarrow \, \nu _ { X } \,.$$

We take /epsilon1 : R gp 0 → R gp to be the quotient of R gp 0 by the diagonal copy of π M ∗ gp S . We may then define R gp X by pushout via π M ∗ gp S → M gp X (Convention 3.1).

The homomorphism ρ : M gp → R gp X . Let M + X be the pushout of M X by the homomorphism of monoids π M ∗ S → π M ∗ gp S . This is a submonoid of M gp X and fits into the exact sequence in the middle row of the diagram below. Let R + 0 be the pullback of M → M X/S to M + X (the upper right square of the diagram below). The diagram below is commutative except for the dashed arrows (which will be explained momentarily) and has exact rows:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-d419ab36-2e4a-44c4-99b6-377f8192697a.jpg)

/d4

/d4

/d4

/d4

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Note that ( R gp ) X is the pushout of π M ∗ S → M X via π M ∗ S → R gp as a monoid . Equivalently, it is the pushout of π M ∗ gp S → M + X via π M ∗ gp S → R gp , again as a monoid. It is contained in but not necessarily equal to R gp X = ( R X ) gp .

The difference between the two compositions

$$\overline { R } _ { 0 } ^ { + } \stackrel { \beta } { \rightarrow } \overline { M } _ { X } ^ { + } \rightarrow ( \overline { R } ^ { \text{gp} } ) _ { X } \\ \overline { R } _ { 0 } ^ { + } \stackrel { \epsilon } { \rightarrow } \overline { R } ^ { \text{gp} } \stackrel { \alpha } { \rightarrow } ( \overline { R } ^ { \text{gp} } ) _ { X }$$

factors uniquely through a map M gp → ( R gp ) X ⊂ R gp X . We take this as the definition of ρ .

Remark 3.2 . Observe that when the maps π M ∗ gp S → R gp and π M ∗ gp S → M gp are the canonical ones, the diagram on the left commutes but the

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

diagram on the right does not:

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-3d47730e-d44d-4353-b036-a7ba3c5d06d5.jpg)

/d47

/d47

/d47

This is the reason we introduced the quotient /epsilon1 earlier.

We view ( R gp , ρ ) as the initial object of GS loc ( X ) on the level of associated groups of characteristic monoids . Justification for this attitude will be given in Section 3.2 (see the proof of Lemma 3.4).

The characteristic monoid R . We identify the smallest sheaf of submonoids R ⊂ R gp that contains the image of π M ∗ S and whose pushout R X contains the image of ρ : M → R gp X . For each local section ξ of M we will identify a local section (or possibly a finite collection of local sections) of R gp for inclusion in R ; we will then take R to be the submonoid of R gp generated by these local sections. As M is assumed to be coherent, a finite number of these local sections suffice to generate R , which guarantees that R is coherent.

Suppose that ξ ∈ Γ( U, M ) is a section over some quasi-compact U that is ´ etale over X . Recall that ρ ξ ( ) lies in ( R gp ) X , which is the pushout of R gp via the integral homomorphism π M ∗ S → M X . At least after passage to a finer quasi-compact ´ etale cover, we can represent ρ ξ ( ) as a pair ( a, b ) where a ∈ R gp and b ∈ M X (cf. Appendix A).

Let B ⊂ Γ( U, M X ) be the collection of all b ∈ M X such that ρ ξ ( ) can be represented as ( a, b ) for some a ∈ Γ( U, R gp ). As R gp → R gp X is injective (it is integral), there is at most one a for any b ∈ Γ( U, M X ). Note that B carries an action of Γ( U, π ∗ M S ), for if ρ ξ ( ) is representable by ( a, b ) then it is also representable by ( a -c, b + ). c The action of the sharp monoid π M ∗ S gives B a partial order by setting b ≤ b + c for all c ∈ Γ( U, π ∗ M S ). We will show b has a least element with respect to this partial order.

Suppose b and b ′ are elements of B with ( a, b ) and ( a , b ′ ′ ) both representing ρ ξ ( ) ∈ Γ( U, R gp X ). As π M ∗ S → M X is integral, Lemma A.2 implies that there must be elements d ∈ M X and c, c ′ ∈ π M ∗ S with a + c = a ′ + c ′ and b = d + c and b ′ = d + c ′ . But then ρ ξ ( ) is also representable by ( a + c, d ) = ( a ′ + c , d ′ ). Therefore, for any pair b, b ′ ∈ B there is a d ∈ B with d ≤ b and d ≤ b ′ .

It will now follow that B has a least element if we can show that every infinite decreasing chain of elements of B stabilizes. But B is a subset of Γ( U, M X ), and, at least provided U has been chosen small

/d47

/d47

enough, this is a strict submonoid of a finitely generated abelian group. A strictly decreasing chain of elements must have strictly decreasing distance from the origin in Γ( U, M X ) ⊗ R , and there can be only a finite number of elements of B whose image in Γ( U, M X ) ⊗ R within a fixed distance of the origin. Therefore the chain must stabilize and B has a least element.

Writing b for the least element of B and a for the corresponding element of Γ( U, R gp ) such that ( a, b ) represents ρ ξ ( ), we include a as an element of R . As M is coherent, we can repeat this construction for each element in a finite collection of sections that generate M over U (provided that U has been chosen small enough).

By construction, R is locally of finite type and integral. Moreover, the following lemma says that ( R,ρ ) is the initial object of type u in GS loc ( X ) on the level of characteristic monoids . We defer its proof to Section 3.2 in order not to interrupt the construction of ( R, ρ ).

Lemma 3.4. For any ( N,ϕ ) ∈ GS loc ( X ) of type u there is a unique morphism ( R, ρ ) → ( N,ϕ ) .

The quasi-logarithmic structure R and the map ρ . This construction will require an object ( N,ϕ ) ∈ GS loc ( X ) and not just a type. Suppose ( N,ϕ ) has type u and ( R,ρ ) has been constructed as in the steps above. Then Lemma 3.4 implies that there is a canonical map R → N compatible with the tacit maps from π M ∗ S . By pulling back N from N , we obtain a quasi-logarithmic structure R with characteristic monoid R .

As we have a factorization (again by Lemma 3.4)

$$\overline { M } \stackrel { \overline { \rho } } { \rightarrow } \overline { R } _ { X } \rightarrow \overline { N } _ { X }$$

and R X is pulled back from N X over N X , the universal property of the fiber product yields an induced map ρ : M → R .

## 3.2. Verification of Gillam's criteria.

Proof of Lemma 3.4. To prove the lemma, we must show that there is a unique morphism µ : R → N such that the induced diagram below is commutative:

/d47

/d47

/d32

/d32

/d15

/d15

$$\overline { M } \xrightarrow { \bar { p } } \overline { R } _ { X } \\ \overbrace { \varphi } \searrow \coprod \overline { N } _ { X }$$

Given ( N,ϕ ), we have a diagram with exact rows that commutes except for some of the parts involving the dashed arrow:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-82cd3d43-cc42-4ba4-9877-8b626ac06ad1.jpg)

/d5

/d5

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

The lower triangle involving ϕ commutes (because ( N,ϕ ) has type u ) but the upper one may not. The difference of the two compositions

$$\overline { R } _ { 0 } ^ { \text{gp} } & \rightarrow \overline { M } ^ { \text{gp} } \overset { \overline { \varphi } } { \rightarrow } \overline { N } _ { X } ^ { \text{gp} } \\ \overline { R } _ { 0 } ^ { \text{gp} } & \rightarrow \overline { M } _ { X } ^ { \text{gp} } \rightarrow \overline { N } _ { X } ^ { \text{gp} }$$

factors uniquely through a map µ : R gp 0 → N gp . Moreover, µ vanishes on the diagonal copy of π M ∗ gp S inside R gp 0 . This gives a factorization:

$$\pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } \rightarrow \overline { R } ^ { \text{gp} } \stackrel { \overline { \mu } } { \rightarrow } \overline { N } ^ { \text{gp} }$$

Moreover, the construction of µ is easily reversed to give a bijective correspondence between maps µ : R gp → N gp compatible with the tacit maps from π M ∗ gp S and morphisms ϕ : M gp → N gp X compatible with the type (cf. Remark 3.1).

We must verify that the image of µ : R → N gp lies in N . By definition, N X ⊂ N gp X contains the image of ϕ : M → N gp X . Write R ′ ⊂ R gp for the pre-image of N via the map R gp → N gp ; thus R ′ → N is an exact morphism of monoids [Kat89a, Definition 4.6 (1)]. Then R ′ X → N X is also exact [ loc. cit. ], so R ′ X coincides with the pre-image of N X ⊂ N gp X . Furthermore, R ′ X contains the image of ρ : M → R gp X because N X contains the image of ϕ : M → N gp X . On the other hand, R was constructed as the smallest submonoid of R gp such that R X contains the image of ρ : M → R gp X . Therefore R ⊂ R ′ and the image of R → N X is contained in N .

Finally, to get the commutativity of (3.1), it is sufficient to work on the level of associated groups. Assemble the diagram below, which is

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

commutative except for some of the parts involving the dashed arrows:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d124

/d124

/d15

/d15

/d124

/d124

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-a6136259-b9a2-4047-9cba-77c36f82ce27.jpg)

/d5

/d5

/d5

/d5

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

We write d for any of the horizontal arrows. To show that ϕ = µ X ◦ ρ it is sufficient to show that ϕ ◦ d = µ X ◦ ρ ◦ d . Recall that ρ was constructed such that ρ ◦ d = β -d ◦ /epsilon1 and µ was constructed such that d ◦ µ ◦ /epsilon1 = µ X ◦ β -ϕ ◦ d . Therefore,

$$\overline { \mu } _ { X } \circ \overline { \rho } \circ d = \overline { \mu } _ { X } \circ \beta - \overline { \mu } _ { X } \circ d \circ \epsilon = \overline { \mu } _ { X } \circ \beta - d \circ \overline { \mu } \circ \epsilon = \overline { \varphi } \circ d \\ \text{as required.}$$

Proof of Lemma 3.2. To minimize excess notation, we assume (without loss of generality) that Y = X .

Consider a morphism ( N , ϕ ′ ′ ) → ( N,ϕ ) of GS loc ( X ). We verify that the map ( R, ρ ) → ( N,ϕ ) factors in a unique way through ( N , ϕ ′ ′ ). In Lemma 3.4, we have already seen that there is a unique map R → N ′ , compatible with the maps from π M ∗ S , and a unique factorization of ϕ : M → N ′ X through ρ : M → R X . In particular, the diagram below commutes:

/d47

/d47

/d31

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-42d4bcf4-1a60-44df-bdda-22642c7a5f8a.jpg)

/d31

/d15

/d15

Since N ′ is pulled back from N by the vertical arrow in the diagram above, this gives a uniquely determined arrow R → N ′ . Likewise, the diagrams of solid arrows below are commutative (the diagonal arrow on the left coming from Lemma 3.4):

/d47

/d47

/d47

/d47

/d15

/d15

/d125

/d125

/d15

/d15

/d15

/d15

/d125

/d125

/d47

/d47

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-14eb7115-4fac-4f09-a8fb-88c8761c2167.jpg)

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

As N ′ X is pulled back from N X via the map N ′ X → N X there is therefore a unique induced map R → N ′ X completing the diagram on the right. This proves the minimality of ( R, ρ ). /square

Proof of Lemma 3.3. We show that the tools used in the construction of R and ρ are all compatible with pullback of quasi-logarithmic structures. Pullback of quasi-logarithmic structures along a morphism g : Y ′ → Y involves two steps: pullback of ´tale sheaves along e g followed by pushout of extensions along g -1 O ∗ Y → O ∗ Y ′ . We verify that the construction of R and ρ commutes with these operations:

- (1) R gp was constructed as a quotient of a fiber product, and both fiber products and quotients are preserved by pullback of ´tale e sheaves;
- (2) ρ was induced by the universal property of M as a quotient, and quotients are preserved by pullback of ´tale sheaves; e
- (3) R was built as the sheaf of submonoids of R gp generated by a collection of local sections, and this construction is compatible with pullback of ´tale sheaves; e
- (4) R was constructed as a pullback of an extension by O ∗ Y , and such pullbacks are preserved by pullback of ´tale sheaves and e by pushout along g -1 O ∗ Y →O ∗ Y ′ ;
- (5) ρ was induced by the universal property of a base change of extensions, and, as remarked above, base change of extensions is preserved by pullback of ´tale sheaves and pushout along the e kernels.

/square

## 4. Global minimality

In this section, X = ( X,M X ) and S = ( S, M S ) will be fine logarithmic schemes. We assume that the projection π : X → S is proper and flat with reduced geometric fibers and that the morphism of logarithmic structures π M ∗ S → M X is integral. We also assume a second coherent logarithmic structure M on X has been specified, along with a morphism π M ∗ S → M . We will verify Gillam's minimality criterion (Proposition B.1) for the fibered category Hom LogSch /S ( M,M X ) over LogSch .

We continue to use Convention 3.1 to notate pushouts, as well as to work with quasi-logarithmic structures instead of logarithmic structures. Define GS( S ) to be the category of pairs ( N ,ϕ S ) where N S is a quasi-logarithmic structure on S equipped with a tacitly specified

morphism M S → N S and ϕ fits into a commutative diagram

/d47

/d47

/d40

/d40

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-265addbe-07e6-41ab-9883-b0c4c5d773fb.jpg)

/d15

/d15

/d15

/d124

/d124

/d47

/d47

whose square is cocartesian. By pullback of quasi-logarithmic structures, we may assemble this definition into a fibered category over LogSch /S . When T is strict over S , we write GS( T ) instead of GS( T ).

We may recognize Hom LogSch /S ( M,M X )( T ) 7 inside of GS( T ) as the opposite of the category of pairs ( N ,ϕ T ) where N T is a logarithmic structure, as opposed to merely quasi-logarithmic structure. We are free to work with GS( T ) in place of Hom LogSch /S ( M,M X )( T ) as minimal objects of the latter may be induced from minimal objects of the former by passage to the associated logarithmic structure.

Lemma 4.1. For any logarithmic scheme T over S , every object of GS( T ) admits a morphism from a minimal object.

Lemma 4.2. If f : T ′ → T is a morphism of logarithmic schemes over S and ( Q ,ψ T ) is minimal in GS( T ) then f ∗ ( Q ,ψ T ) is minimal in GS( T ′ ) .

Note that passage to the associated logarithmic structure commutes with pullback of pre-logarithmic structures [Kat89a, (1.4.2)], so Lemma 4.2 implies that minimal objects of Hom LogSch /S ( M,M X )( T ) pull back to minimal objects of Hom LogSch /S ( M,M X )( T ′ ).

The strategy of proof for Lemmas 4.1 and 4.2 will be to bootstrap from the minimal objects of GS loc ( X ) constructed in Section 3. The essential tool in this construction is a left adjoint to pullback for ´tale e sheaves, constructed in Section 4.1, for whose construction is the reason we must assume X has reduced geometric fibers over S . Having dispensed with generalities in Section 4.1, we take up the construction of minimal objects of GS( T ) in Section 4.2.

Zariski logarithmic structures. The following proposition will only be used in Appendix C. It shows that when M S and M are Zariski logarithmic structures, one can replace M X by its best approximation by a Zariski logarithmic structure for the purpose of constructing the category GS. At least in many situations, this means that one can work

7 The notation Hom LogSch /S ( M,M X ) refers to the fibered category over LogSch /S whose value on a logarithmic scheme T over S is the set of morphisms of logarithmic structures M ∣ ∣ T → M X T ∣ ∣ on X × S T , compatible with the tacit morphisms from π M ∗ T .

in the Zariski topology rather than the ´tale topology for the purpose e of constructing a minimal logarithmic structure. See Appendix C for more details.

Lemma 4.3. Let X be a scheme. Denote by τ : ´ et( X ) → zar( X ) the morphism of sites. Then Hom( τ ∗ F, τ ∗ G ) = Hom( F, G ) for any sheaves F and G on zar( X ) . In particular, τ τ ∗ ∗ /similarequal id .

Proof. By adjunction, we have Hom( τ ∗ F, τ ∗ G ) = Hom( F, τ ∗ τ ∗ G ). But we can calculate that τ τ ∗ ∗ G U ( ) = τ ∗ G U ( ) = G U ( ) for any open U ⊂ X . The first equality is the definition; the second equality holds because, for example, the espace ´tal´ of e e G (in the Zariski topology) is a scheme, hence satisfies ´tale descent. e /square

Proposition 4.4. Suppose that M and M S are Zariski logarithmic structures and that M gp S is torsion free. Let τ denote the canonical morphism from the ´ etale site to the Zariski site. Define GS ′ be the category obtained by imitating the definition of GS with M X replaced by τ ∗ τ M ∗ X . Then GS /similarequal GS ′ .

Proof. By assumption, we have M S = τ ∗ M ′ S and M = τ ∗ M ′ for some logarithmic strcuctures M ′ S on S and M ′ on zar( X ). Here τ ∗ denotes pullback of logarithmic structures.

We will begin by constructing a functor GS ′ → GS. Observe that an object of GS ′ is a commutative diagram, in which the square is cocartesian:

/d47

/d47

/d40

/d40

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-2d57819e-49f8-4e4d-85e3-b191a8cd7df8.jpg)

/d15

/d15

/d15

/d123

/d123

/d47

/d47

Then composition with τ ∗ τ M ∗ X → M X induces

/d47

/d47

/d41

/d41

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-765e219f-ea5c-4d11-9e7f-fc6ce0ead7e4.jpg)

/d15

/d15

/d15

/d15

/d15

/d125

/d125

/d47

/d47

/d47

/d47

and omitting τ ∗ τ M ∗ X and N ′ X yields an object of GS.

Now we construct the functor GS → GS . ′ Suppose that we have an object of GS:

/d47

/d47

/d41

/d41

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-2d32e709-60bb-4296-ad57-0b6592ecd005.jpg)

/d15

/d15

/d15

/d123

/d123

/d47

/d47

Applying τ ∗ , this gives the following diagram:

/d47

/d47

/d40

/d40

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-9c0666e4-15b3-4207-9c62-e5ce0b79a786.jpg)

/d15

/d15

/d15

/d124

/d124

/d47

/d47

Note that we have used τ π M ∗ ∗ S = τ τ ∗ ∗ π ∗ zar M ′ S = π ∗ zar M ′ S and τ M ∗ = τ τ ∗ ∗ M ′ = M ′ by Lemma 4.3. The square in the diagram above is cocartesian. Indeed, first construct an exact sequence:

$$0 \to \pi ^ { * } M _ { S } ^ { \text{gp} } \to ( \pi ^ { * } N _ { S } \times M _ { X } ) ^ { \sim } \to N _ { X } \to 0$$

where ( π N ∗ S × M S ) ∼ is the smallest submonoid of π N ∗ gp S × M gp X that contains π N ∗ S × M X and the image of π M ∗ gp S . Applying τ ∗ to this gives an exact sequence:

The notation in the middle term is unabiguous because

$$& \text{and execute.} \\ & ( 4. 2 ) \quad 0 \to \tau _ { * } \pi ^ { * } M _ { S } ^ { \text{p} } \to \tau _ { * } ( \pi ^ { * } N _ { S } \times M _ { X } ) ^ { \sim } ) \to \tau _ { * } N _ { X } \to R ^ { 1 } \tau _ { * } \pi ^ { * } M _ { X } ^ { \text{p} } \\ & \text{The notation in the middle term is ambiguous because}$$

$$\text{allow all the main values} & = \text{allowquoits} \, \text{$\text{$\text{$evaluation values}$} } \\ \left ( \tau _ { * } ( \pi ^ { * } N _ { S } \times M _ { X } ) \right ) ^ { \sim } & = \tau _ { * } \left ( ( \pi ^ { * } N _ { S } \times M _ { X } ) ^ { \sim } \right ) \\ \text{not not} \, \text{mod} \, \text{$\text{$Tot $\,$coo$ to $\,$fetch $not$ to $\,$fetch $it $is$ of $\alpha$} }$$

Now we show that R τ π M 1 ∗ ∗ gp S = 0. We can verify this by passing to stalks an assume that X is the spectrum of a field. Note that π M ∗ gp S is an extension of a torsion free abelian group by O ∗ X . We know that R τ 1 ∗ O ∗ X = 0 by Hilbert's Theorem 90, and R τ π M 1 ∗ ∗ gp S = 0 because we via the natural map. To see this, note first that it is sufficient to verify this at the level of characteristic monoids, since both sides are torsors under O ∗ X over their characteristic monoids (the pushforward of a O ∗ X -torsor being a O ∗ X -torsor by Hilbert's Theorem 90). It is also sufficient to check this on stalks, so we may assume that X is the spectrum of a field, and in particular that M ′ S is constant. An element of τ ∗ ( ( π N ∗ S × M X ) ∼ ) is then a section of π N ∗ gp S × M gp X that can be expressed as x -y for some x ∈ π N ∗ S × M X and y ∈ M S and is invariant under the action of the Galois group. An element of ( τ ∗ ( π N ∗ S × M X ) ) ∼ is of the form x -y where x is a Galois invariant section of π N ∗ S × M X and y is a section of M ′ S . But the Galois action on M S is trivial since M S = τ ∗ M ′ S , so x -y is Galois invariant if and only if x is.

can identify it with homomorphisms from the Galois group, which is profinite, into the discrete, torsion free abelian group M gp S .

Now the exact sequence (4.2) implies that the square in diagram (4.1) is cocartesian. Applying τ ∗ to diagram (4.1) we get an object of GS : ′

/d47

/d47

/d41

/d41

/d15

/d15

/d15

/d15

/d122

/d122

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-3d11f23a-081c-4cd1-a8bf-2142810f6b8c.jpg)

/d124

/d124

/d15

/d15

/d15

/d47

/d47

Here N ′ X is defined to make the bottom square cartesian. But pullback preserves cartesian diagrams, so both squares are cartesian and the outer part of the diagram is the desired object of GS . ′ We leave it to the reader to verify that these constructions are inverse to one another. /square

4.1. Left adjoint to pullback. In this section we prove that pullback for ´tale sheaves has a left adjoint under two natural hypotheses e (flatness and local finite presentation) and one apparently unnatural one (reduced geometric fibers). When f : X → S is ´tale, the left ade joint to pullback exists for obvious reasons and is well known: simply compose with the structure morphism of the espace ´tal´ with e e f . The construction in the present generality appears to be new.

Our construction is based on the following observation: If F is an ´ etale sheaf on X , write F ´ et for its espace ´tal´. e e When S is the spectrum of a separably closed field then f F ! has no choice but to be the set of connected components of F ´ et . In general, if the definition of f ! is to be compatible with base change in S , this forces f F ! to coincide with π 0 ( F ´ et /S ), as defined by Laumon and Moret-Bailly [LMB00, Section (6.8)] or Romagny [Rom11].

The results of [LMB00] and [Rom11] guarantee the existence of π 0 ( F ´ et /S ) as long as F ´ et is flat, of finite presentation, and possesses reduced geometric fibers over S . 8 This suffices to treat a large enough class of ´tale sheaves to generate all others under colimits when e X is merely locally of finite presentation over S . As f ! must respect colimits where defined, we can then extend the definition to any ´tale sheaf e F by applying f ! to a diagram of ´tale sheaves over e X with colimit F and then taking the colimit of the resulting sheaves over S .

8 In fact, [LMB00] assumes that X is smooth over S , but, as we will see below, only flatness is necessary in the construction.

Flatness and local finite presentation appear to be natural hypotheses for the existence of f ! in the sense that removing either leads immediately to counterexamples (the inclusion of a closed point or the spectrum of a local ring, respectively). It is less clear how essential it is to require reduced geometric fibers, as our construction makes use of that hypothesis only to ensure the existence of π 0 ( F ´ et /S ) as an ´tale e sheaf.

Gabber has argued [Gab14] that the natural condition on f under which f ∗ possesses a left adjoint is, in addition to suitable finiteness conditions, that the morphism ˜ X → ˜ S possess connected geometric fibers whenever ˜ X is the strict henselization of X at a geometric point x and ˜ S is the strict henselization of S at f ( x ).

Theorem 4.5. Suppose that f : X → S is a flat, local finite presentation morphism of algebraic spaces with reduced geometric fibers. Then the functor f ∗ : ´t( e S ) → ´ et( X ) on ´tale sheaves has a left adjoint, e f ! .

Proof. In this proof we will move freely between ´tale sheaves and their e espaces ´tal´s, which are algebraic spaces that are ´tale over the base. e e e The ´ etale site ´ et( -) will be taken to mean the category of all ´tale e algebraic spaces over the base, so that it coincides with the category of ´ etale sheaves.

For any U ∈ ´ et( X ), we may define a functor:

↦

$$F _ { U } \, \colon \acute { \mathrm e t } ( S ) \to \text{Sets} \, \colon V \mapsto \text{Hom} _ { S } ( U, V ) = \text{Hom} _ { X } ( U, f ^ { * } V )$$

Consider the collection C of all U ∈ ´ et( X ) for which F U is representable by an ´tale sheaf on e S . The existence of f ! is equivalent to the assertion that C = ´ et( X ).

Step 1. We observe first that C is closed under colimits: Suppose that U = lim - → U i and F U i is representable by f U ! i for all i . Then we may take f U ! = lim - → f U ! i :

$$\AA ^ { \prime } F _ { U } ( V ) & = \text{Hom} _ { \text{et} ( X ) } ( \underset { t } { \longrightarrow } U _ { i }, f ^ { * } V ) \\ & = \underset { \longleftarrow } { \longmapsto } \text{Hom} _ { \text{et} ( X ) } ( U _ { i }, f ^ { * } V ) \\ & = \underset { \longleftarrow } { \longmapsto } \text{Hom} _ { \text{et} ( S ) } ( \underset { t } { \longrightarrow } f _ {! } U _ { i }, V ) \\ \AA ^ { \dots } \underset { \dots } { \longrightarrow } \text{D} \, \dots \, \dots \, \dots \, \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \dots \, \AA ^ { \dots } \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \dots \, \AA ^ { \dots } \, \dots \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \dta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \dia \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \dodelta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \ delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \Delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \ Delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \ddag \, \dots \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \dodag \, \dots \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \ delta \, \dodag \, \dots \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, delta \, \delta \, \delta. \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \} \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \cdag \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \delta \, \d$$

Every ´ etale algebraic space over X is a colimit of ´ etale algebraic spaces of finite presentation over S . For example, every ´tale algebraic e space over X is a colimit of ´tale algebraic spaces that are affine over e

affine open subsets of S . Therefore Step 1 implies that the construction of f F ! for arbitrary ´tale sheaves e F on X reduces to the construction for those representable by algebraic spaces of finite presentation over S .

Step 2. Following the construction of π 0 ( X/S ) from [LMB00, Section (6.8)], we argue next that C contains all ´tale e U over X that are of finite presentation over S . One could also use the construction of π 0 ( X/S ) from [Rom11, Th´ eor`me 2.5.2 (i)]. e

Suppose that U is flat, of finite presentation, and representable by schemes over S . By [Gro66, Corollaire (15.6.5)], there is an open subscheme W ⊂ U × S U such that, for each point x of U , the open set W ∩ { } × ( x U ) ⊂ U is the connected component of x in U . Thus a field-valued point of U × S U lies in W if and only if its two projections to U lie in the same connected component. Thus W ⊂ U × S U is a flat equivalence relation on U , hence has a quotient π 0 ( U/S ) = U/W that is an algebraic space over S .

We verify that U/W is ´ etale over S . It is certainly flat and locally of finite presentation since U is. It is therefore enough to verify it is formally unramified. This condition can be verified after base change to the geometric points of S . As the definition of W commutes with base change, so does the quotient U/W . We can therefore assume S is the spectrum of a separably closed field and then U/W = π 0 ( U/S ) = π 0 ( U ) is simply the set of connected components of U , which is certainly unramified over S .

Now we show that π 0 ( U/S ) represents F U . If g : U → V is a morphism from U to an ´tale e S -scheme V then the pre-images of points of V are open and closed in their fibers over S (since V has discrete fibers over S ). Therefore, U × V U contains W (viewing both as open subschemes of U × S U ), so f factors through U/W .

/square

Corollary 4.5.1. Let f : X → S be as in the statement of the theorem and let f ′ : X ′ → S ′ be deduced by base change via a morphism g : S ′ → S . Then the natural morphism f g ′ ! ∗ → g f ∗ ! is an isomorphism.

Proof. Since a morphism of ´tale sheaves is an isomorphism if and only e if it is an isomorphism on stalks, it is sufficient to verify the assertion upon base change to all geometric points of S ′ and therefore to assume that S ′ is itself a geometric point. Since every ´tale sheaf is a colimit e of representable ´tale sheaves that are of finite presentation over e S (as in the proof of Theorem 4.5), it is sufficient to show that

when F is representable by a scheme that is of finite presentation over S . In that case, f F ! = π 0 ( F ´ et /S ) and f g ′ ! ∗ F = π 0 ( F ´ et × S S /S ′ ′ ). But the fiber of π 0 ( F ´ et /S ) over S ′ is π 0 ( F ´ et × S S /S ′ ′ ) by definition! /square

The following proposition is well-known and included only for completeness.

↦

Proposition 4.6. Let X be a site. The inclusion of sheaves of abelian groups (resp. sheaves of commutative monoids) on X in sheaves of sets on X admits a left adjoint F → Z F (resp. F → N F ).

↦

Proof. The proofs for abelian groups and for commutative monoids are identical, so we only write the proof explicitly for abelian groups.

It is equivalent to demonstrate that, for any sheaf of sets F on X there is an initial pair ( G,ϕ ) where G is a sheaf of abelian groups and ϕ : F → G is a morphism of sheaves of sets. Denote the category of pairs ( G,ϕ ) by C . By the adjoint functor theorem, C has an initial object if it is closed under small limits and has an essentially small coinitial subcategory [ML98, Theorem X.2.1]. Closure under small limits is immediate.

For the essentially small coinitial subcategory, take the collection C 0 of all ( G,ϕ ) such that ϕ F ( ) generates G as a sheaf of abelian groups (i.e., the smallest subsheaf of abelian groups G ′ ⊂ G that contains ϕ F ( ) is G itself). The cardinalities of G U ′ ( ) for all U in a set of topological generators may be bounded in terms of the cardinalities of the F U ( ). It follows that C 0 is essentially small and by the adjoint functor theorem that the inclusion of sheaves of abelian groups in sheaves of sets has a left adjoint. /square

Proposition 4.7. Let f : X → S be flat and locally of finite presentation with reduced geometric fibers. The functor f ∗ on sheaves of abelian groups (resp. sheaves of commutative monoids) has a left adjoint, denoted f ! .

Proof. The proof is the same as the proof of the theorem above. We recognize that the class of sheaves of abelian groups (resp. sheaves of commutative monoids) F for which f F ! exists is closed under colimits. It contains Z U (resp. N U ) for all ´tale e U over X since we may take

$$f _ {! } ( \mathbf Z U ) = \mathbf Z f _ {! } ( U ) \quad ( \text{resp. } f _ {! } ( \mathbf N U ) = \mathbf N f _ {! } ( U ) ).$$

Finally, all sheaves of abelian groups are colimits of diagrams of Z U (resp. N U ) as above, so f ! is defined for all sheaves of abelian groups on X . /square

Zariski sheaves. We include a statement about the left adjoint to pullback on sheaves in the Zariski topology in a restricted situation when it agrees with the left adjoint on ´tale sheaves. e In practice, this can be used to compute the left adjoint on ´tale sheaves by working in the e Zariski topology, as in Appendix C.

Proposition 4.8. Let S be the spectrum of an algebraically closed field and let f : X → S be a reduced, finite type scheme over S . Then f ∗ : zar( S ) → zar( X ) has a left adjoint, given by f τ ! ∗ , where f ! denotes the left adjoint on ´tale sheaves. e

Proof. As in Lemma 4.3, we write τ for the morphism from the ´ etale site to the Zariski site. We have

Hom( f τ ! ∗ F, G ) = Hom( τ ∗ F, f ∗ ´ et G )

as required.

$$\Delta _ { \quad } \quad \dots \quad \Delta _ { \quad } = \text{Hom} ( \tau ^ { * } F, \tau ^ { * } f _ { z \text{ar} } ^ { * } G ) = \text{Hom} ( F, f _ { z \text{ar} } ^ { * } G ) \\ \Box$$

4.2. Reduction to the local problem. It is sufficient to construct minimal objects in GS( S ). When ( N ,ϕ S ) is an object of GS( S ), the pair ( π N , ϕ ∗ S ) is an object of GS loc ( X ). This determines a functor GS( S ) → GS loc ( X ), and when π : X → S is an isomorphism, this functor induces an equivalence between GS( S ) and GS loc ( X ).

Before giving the proof Lemma 4.1, we explain the construction. In order to minimize notation, we construct minimal objects of GS( S ); the same construction applies to GS( T ) for any S -scheme T after pulling back the relevant data.

We suppose that ( N ,ϕ S ) is an object of GS( S ) and we construct a pair ( Q , ψ S ) in GS( S ) and a morphism ( Q ,ψ S ) → ( N ,ϕ S ). Then we show ( Q ,ψ S ) is minimal in GS( S ) and that the construction of ( Q ,ψ S ) is stable under pullback.

Let ( R, ρ ) → ( π N , ϕ ∗ S ) be a morphism from a minimal object of GS loc ( X ), as guaranteed by Lemma 3.2.

Construction of Q S . Define Q S to be the pushout of the left half of the diagram of ´tale sheaves of monoids below: e

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-1789ffe3-37e6-4898-9850-d3888a255e8c.jpg)

/d47

/d53

/d53

/d47

/d47

The commutativity of the diagram of solid lines and the universal property of pushout induce a morphism Q S → N S , as shown above. Pulling

back N S via this map gives a quasi-logarithmic structure Q S with characteristic monoid Q S .

Remark 4.1 . The construction of Q S can be simplified when π : X → S has connected fibers. Under that hypothesis, the counit π π M ! ∗ S → M S is an isomorphism and Q S = π R ! .

Construction of ψ . Pulling diagram (4.3) back to X we get a commutative diagram of ´ etale sheaves of monoids:

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-1e17c7ed-eb59-41e4-92cb-2c70a8879329.jpg)

/d32

/d32

/d126

/d126

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

The vertical arrows on the left and right sides of the diagram compose to identities because π ! and π ∗ are adjoint functors. We isolate the commutative diagram

/d47

/d47

/d47

/d47

/d59

/d59

/d35

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-8ede5152-7132-4f6c-85d5-b001ec3f10a5.jpg)

/d35

/d15

/d15

and push it out via π M ∗ S → M X to obtain the lower half of the diagram below:

/d15

/d15

/d33

/d33

/d47

/d47

/d47

/d47

/d61

/d61

/d33

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-d195076e-1df2-4f8c-aeda-d169370afda2.jpg)

/d33

/d15

/d15

The upper half of the diagram is provided by the morphism ( R, ρ ) → ( π N , ψ ∗ S ) of GS loc ( X ). By composing the vertical arrows in the center of the diagram, we obtain the definition of ψ :

$$\overline { \psi } \, \colon \, \overline { M } \, \stackrel { \overline { \rho } } { \rightarrow } \, \overline { R } _ { X } \rightarrow \overline { Q } _ { X }$$

/d47

/d47

/d47

/d47

Now observe that Q X is the pullback of N X via the map Q X → N X . The commutative triangle

/d15

/d15

/d33

/d33

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-be2057dc-3496-4d14-8015-f6e1311b5e2c.jpg)

/d47

yields a commutative triangle

✤

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-8dd153eb-2d7c-482a-abc5-ab549047e053.jpg)

✤

/d15

/d15

/d34

/d34

✤

/d47

/d47

by the universal property of the fiber product.

Proof of Lemma 4.1. We check that the object ( Q , ψ S ) constructed above satisfies the universal property of a minimal object of GS( S ).

Consider a morphism ( N ,ϕ ′ S ′ ) → ( N ,ϕ S ) of GS( S ). We must show that there is a unique map ( Q ,ψ S ) → ( N ,ϕ ′ S ′ ) rendering the triangle below commutative:

/d47

/d47

/d37

$$\begin{matrix} \dots \dots \dots \dots \dots \dots \dots \\ & & ( Q _ { S }, \psi ) - \simeq ( N _ { S } ^ { \prime }, \varphi ^ { \prime } ) \\ & & \searrow \Big \downarrow \\ ( N _ { S }, \varphi ) \\ - & \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots
 \end{matrix}$$

/d37

/d15

/d15

To specify the dashed arrow above we must give a factorization of Q S → N S through N ′ S and show the induced triangle

/d125

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-ceb35b09-1aba-46d0-b340-63d88216321b.jpg)

/d125

/d15

/d15

/d47

/d47

is commutative.

The dashed arrow in diagram (4.6) and the commutativity of diagram (4.7) are both determined at the level of characteristic monoids. That is, to give a factorization of Q S → N S through N ′ S is the same as to give a factorization of Q S → N S through N ′ S since the logarithmic structure N ′ S is pulled back from N S via N ′ S → N S . Similarly, to verify the commutativity of diagram (4.7) it is sufficient to show that the induced diagram of characteristic monoids commutes.

By the definition of Q S as a pushout in diagram (4.3), to give Q S → N ′ S compatible with the tacit maps from M S is the same as to give

π R ! → N ′ S compatible with the maps from π π M ! ∗ S . The latter is equivalent, by adjunction, to giving R → π N ∗ ′ S , compatible with the maps from π M ∗ S . But by the minimality of ( R, ρ ) in GS loc ( X ), there is a unique factorization of R → π N ∗ S through π N ∗ ′ S such that the induced triangle depicted in the upper half of the diagram below is commutative.

/d15

/d15

/d33

/d33

/d61

/d61

/d47

/d47

/d24

/d24

/d15

/d15

X

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-c446611b-bfaa-4f56-961a-87fd11e9d074.jpg)

The lower triangle in the diagram is also commutative: As already noted, the map R → π N ∗ ′ S gives a factorization of π R ! → N ′ S through Q S , so by adjunction we get a factorization of R → π N ∗ ′ S through π Q ∗ S , and therefore a factorization R → π Q ∗ S → N ′ S . The lower triangle is the pushout of this sequence via R → R X . The outer triangle, which coincides with diagram (4.7), is therefore commutative, as desired. /square

Proof of Lemma 4.2. It is sufficient to treat the case where T = S . Suppose, then, that f : S ′ → S is a morphism of schemes and set X ′ = X × S S ′ . We show that ( f ∗ Q ,f ψ S ∗ ) is a minimal object of GS( S ′ ). We verify that all of the data that go into the construction of Q S are compatible with pullback:

- (1) the minimal object ( R, ρ ) of GS loc ( X ) pulls back to a minimal object of GS loc ( X ′ ) by Lemma 3.3;
- (2) the formation of π R ! is compatible with pullback by Corollary 4.5.1;
- (3) the pushout Q S is compatible with pullback by the preservation of colimits under pullback of sheaves;
- (4) the quasi-logarithmic structure Q S is formed as a fiber product of sheaves and these are preserved by pullback.

This shows that the construction of Q S is compatible with pullback. We make a similar verification for ψ :

- (5) The compatibility of π ! with f ∗ (Corollary 4.5.1) guarantees that diagram (4.4) pulls back to its analogue on X ′ ;
- (6) compatibility of pullback of sheaves with colimits guarantees the compatibility of the lower half of diagram (4.5) with pullback;

- (7) Lemma 3.3 and the assumption that ( R, ρ ) be minimal in GS loc ( X ) guarantee that the pullback of the upper half of diagram (4.5) coincides with its analogue constructed in GS loc ( X ′ ).

This shows that the construction of ψ is compatible with pullback and completes the proof. /square

## 5. Automorphisms of minimal logarithmic structures

Lemma 5.1. Suppose that ( R, ρ ) is a minimal object of GS loc ( X ) . Then the automorphism group of ( R, ρ ) is trivial.

Proof. It is equivalent to show that only the identity automorphism of R gp is compatible with both the inclusion of π M ∗ gp S and the map ρ : M gp → R gp X . Suppose that α is an automorphism of ( R, ρ ). Then the induced morphism α : R → R is the identity, by Lemma 3.4.

We use this to conclude that α = id. As α = id, the automorphism α is determined by a homomorphism λ : R gp →O ∗ X with

$$\alpha ( x ) = x + \log \lambda ( \overline { x } )$$

and x denoting the image of x under the projection R → R . By assumption, α restricts to the identity on π M ∗ gp S ⊂ R gp so λ restricts to the trivial homomorphism on π M ∗ gp S . Therefore, it must factor through the quotient M /π M gp ∗ gp S of R gp by π M ∗ gp S .

Let α X : R X → R X denote the automorphism induced by pushout of α . We investigate the condition that α X commute with ρ in terms of λ and show this implies λ = 1. Define λ X by the formula log λ X = α X -id and note that exp λ X : R gp X → O ∗ X is induced by pushout from the pair of morphisms λ : R gp → O ∗ X and 1 : M gp X → O ∗ X . This implies λ X ◦ q = 1 and λ X ◦ i = λ in the notation of the diagram below:

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d124

/d124

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-428807c3-9c42-4e59-b5d5-4a7121324c98.jpg)

/d124

/d124

/d47

/d47

/d47

/d47

/d47

/d47

/d47

That λ X ◦ q = 1 follows from the fact that q factors through M gp X → R gp X . For any y ∈ R gp 0 , let r y ( ) be its image in M gp . Then we have

$$\cdots \cdots _ { J } \, \xi \, \cdots _ { U } \,, \, \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \, 0 \\ 0 = \alpha _ { X } ( \rho r ( y ) ) - \rho r ( y ) & = \log \lambda _ { X } \overline { \rho } r ( \overline { y } ) \\ & = \log \lambda _ { X } ( q ( \overline { y } ) - i \circ \epsilon ( \overline { y } ) ) \\ & = - \log \lambda _ { X } ( i \circ \epsilon ( \overline { y } ) ) \\ & = - \log \lambda ( \epsilon \overline { y } ).$$

## JONATHAN WISE

As /epsilon1 : R gp 0 → R gp is surjective, we conclude that α -id = log λ = 0 so α = id. /square

Corollary 5.1.1. The automorphism group of a minimal object of GS( S ) is trivial.

Proof. Suppose that α is an automorphism of a minimal object ( Q ,ψ S ). Then π α ∗ is an automorphism of the object ( π Q , ψ ∗ S ) ∈ GS loc ( X ). Choose a map ι : ( R, ρ ) → ( π Q , ψ ∗ S ) with ( R, ρ ) minimal. Then by the definition of minimality, there is a commutative diagram:

/d47

/d47

/d15

$$( R, \rho ) - \frac { 1 } { 2 } - \simeq ( R, \rho ) \\ \iota \Big \downarrow \Big \downarrow ^ { \iota } \\ ( \pi ^ { * } Q _ { S }, \psi ) \xrightarrow { \pi ^ { * } \alpha } ( \pi ^ { * } Q _ { S }, \psi ) \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

/d15

/d15

/d15

/d47

/d47

The dashed arrow is an automorphism of ( R, ρ ), hence must be the identity by the lemma. Therefore, by adjunction, the diagram below must commute:

/d124

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-2107097d-e541-4bf6-b418-93f98ce37903.jpg)

/d34

/d34

/d124

/d47

/d47

But, by definition, Q gp S is generated by π R ! gp and M gp S (diagram (4.3) and the subsequent discussion). By assumption, α commutes with the map M gp S → Q gp S and we have just shown it commutes with the map π R ! gp . It follows that α is the identity map.

This implies that α must be induced from a map δ : Q gp S → O ∗ S , which we would like to show is trivial. This map is induced from a map Q gp S /M gp S → O ∗ S since δ is trivial on M gp S . Since π ! preserves colimits (it is a left adjoint) we use the pushout in the left half of diagram (4.3) to make identifications:

$$\overline { Q } _ { S } ^ { \text{gp} } / \overline { M } _ { S } ^ { \text{gp} } \simeq \pi _ {! } \overline { R } ^ { \text{gp} } / \pi _ {! } \pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } \simeq \pi _ {! } ( \overline { R } ^ { \text{gp} } / \pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } )$$

By adjunction, δ is therefore induced from a map

$$\tilde { \delta } \colon \overline { R } ^ { \text{gp} } / \pi ^ { * } \overline { M } _ { S } ^ { \text{gp} } \rightarrow \pi ^ { * } \mathcal { O } _ { S } ^ { * }.$$

But composing this with the map π ∗ O → O ∗ S ∗ X gives an automorphism of ( R, ρ ), which must be trivial, by the lemma. On the other hand, π ∗ O ∗ S injects into O X since X is flat over S , so the map ˜ -and by δ adjunction also δ -must be trivial. /square

Corollary 5.1.2. The functor Hom LogSch /S ( M,M X ) is representable by a logarithmic algebraic space.

Corollary 5.1.3. The morphism Hom LogSch /S ( X,Y ) → Hom LogSch /S ( X,Y ) is representable by logarithmic algebraic spaces.

## Appendix A. Integral morphisms of monoids

Recall that a morphism of monoids f : P → Q (written additively) is said to be integral if, for any a, a ′ ∈ P and b, b ′ ∈ Q such that

$$f ( a ) + b = f ( a ^ { \prime } ) + b ^ { \prime }$$

there are elements c, c ′ ∈ P and d ∈ Q such that a + c = a ′ + c ′ and b = d + f ( c ) and b ′ = d + f ( c ′ ).

Continue to assume that f : P → Q is integral and let P → P ′ be another morphism of monoids. Consider the collection of pairs ( a, b ) where a ∈ P ′ and b ∈ Q , modulo the relation ( a, b ) ∼ ( a , b ′ ′ ) if there are elements c, c ′ ∈ P and d ∈ Q such that a + c = a ′ + c ′ and b = d + f ( c ) and b ′ = d + f ( c ′ ).

The proofs of the following two lemmas are omitted as they are straightforward and likely well known.

Lemma A.1. If f : P → Q is integral then the relation defined above is an equivalence relation.

Lemma A.2. The monoid structure on P ′ × Q descends to the equivalence classes of the relation defined above and realizes the pushout of P → Q via P → P ′ .

## Appendix B. Minimality

B.1. Gillam's criteria. This section is included only for convenience. All of the results here may be found in greater detail in [Gil12]. Our Proposition B.1, below, is Descent Lemma 1.3 of op. cit.

Since our only application of this section is to the fibered category of logarithmic schemes, LogSch , over the category of schemes, Sch , we have not made any attempt to state the results below in their natural generality. The reader who is interested in that level of generality may easily verify that all of the arguments below are valid for an arbitrary fibered category.

Let Sch denote the category of schemes and let LogSch denote the category of logarithmic schemes. Note that LogSch is an ´ etale stack (not fibered in groupoids) over Sch . Recall that a logarithmic structure on a fibered category F over Sch is a cartesian section of LogSch over F .

Suppose that F is a fibered category over Sch with a logarithmic structure M : F → LogSch . There is an induced fibered category L ( F, M ) over LogSch : The objects of L ( F, M ) are pairs ( η, f ) where

η ∈ F and f : Y → M η ( ) is a morphism in LogSch such that Y = M η ( ) and f lies above the identity morphism.

When F is representable by a logarithmic scheme, this is the familiar construction that associates to F the functor it represents on logarithmic schemes.

We give a characterization of the fibered categories G on LogSch that are equivalent to L ( F, M ) for a fibered category F with logarithmic structure M .

An object ξ of G is called minimal if every diagram of solid lines in G ξ ( )

/d47

/d47

/d63

/d63

/d31

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-0589bd73-0fd8-46c2-a512-709432e7e0dd.jpg)

/d31

lying above id ξ admits a unique completion by a dashed arrow.

Proposition B.1. A fibered category G over LogSch is equivalent to L ( F, M ) if and only if the following two conditions hold:

- (1) for
- every η ∈ G there is a minimal object ξ ∈ G η ( ) and a morphism η → ξ lying above the identity of η , and
- (2) the pullback of a minimal object of G via a morphism of Sch is minimal.

Proof. Certainly L ( F, M ) has this property. The minimal object associated to ( α, f ) is ( α, id α ).

Conversely, let F be the full subcategory of minimal objects of G . By assumption, this is a fibered category over Sch with a map M : F → LogSch by composition of the inclusion F ⊂ G with the projection G → LogSch . This is cartesian over Sch because F cartesian in G over Sch and G → LogSch is cartesian over LogSch , hence over Sch .

We have a functor L ( F, M ) → G sending ( α, f ) to f ∗ α . We verify this is an equivalence. As this is a cartesian functor between fibered categories, the verification can be done fiberwise over Sch . That is, it is enough to show that the functors L ( F, M )( S ) → G S ( ) are equivalences for all schemes S .

But G S ( ) may be identified with

$$\coprod _ { \eta \in F ( S ) } ^ { \ell } G ( S ) / \eta \ \simeq \coprod _ { \eta \in F ( S ) } \, \text{LogSch} / M ( \eta ) \simeq \mathfrak { L } ( F, M ) ( S ).$$

/square

B.2. Openness of minimality. Unlike the previous section, this section is specific to logarithmic structures.

The proof of Proposition B.1 shows that G is L ( F, M ) where F ⊂ G is the open substack of minimal objects. The next proposition shows that when F and G are fibered over coherent logarithmic schemes (in other words, when minimal objects are coherent), F is an open substack of G .

For any ξ ∈ F , the image of ξ in LogSch is a logarithmic scheme S . We refer to the logarithmic structure on S also as the logarithmic structure on ξ .

Theorem B.2. Suppose that the logarithmic structure on each ξ ∈ F is coherent. Then F ⊂ Log ( G ) is open.

Proof. We must show that, for any η ∈ Log ( G ) lying above a scheme S , the locus in S where η is minimal is open in S . Let ξ be the minimal object admitting a morphism from η and let M η → M ξ be the associated morphism of logarithmic structures. The locus in S where η is minimal is the same as the locus where η → ξ restricts to an isomorphism. Since G is fibered in groupoids over LogSch , the map η → ξ restricts to an isomorphism if and only if M ξ → M η does. The following lemma therefore completes the proof. /square

Lemma B.3. Let α : M → M ′ be a morphism of coherent logarithmic structures on a scheme S . The locus in S where α is an isomorphism is an open subset of S .

Proof. It is sufficient to show that a morphism that is an isomorphism at a geometric point is an isomorphism in an ´tale neighborhood of e that point. Choose charts P → M and P ′ → M ′ near a geometric point ξ , 9 fitting into a commutative diagram:

/d47

/d47

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-7b9ae8c6-3a7f-4059-870f-5ad4df3c2c80.jpg)

/d47

/d47

/d47

As the monoids M ξ and M ′ ξ are of finite presentation (because they are finitely generated [RGS99, Theorem 5.12]), we can choose P and P ′ so that the maps P → M ξ and P ′ → M ′ ξ are isomorphisms, at least after shrinking the ´tale neighborhood of e ξ . But then P → P ′ is an

9 By a chart P → M we mean a homomorphism from a constant sheaf of monoids P to M such that if P is defined to be the extension of P by O ∗ S obtained by pulling back M → M , the associated logarithmic structure of P → M →O S is M .

isomorphism and M and M ′ are therefore the logarithmic structures associated to the same quasi-logarithmic structure. In particular, they are isomorphic. /square

## Appendix C. Explicit formulas: by Sam Molcho

The purpose of this appendix is to show that under certain reasonable simplifying assumptions, the minimal logarithmic structure constructed in the paper admits a rather concrete, simple description. Specifically, we will study minimal logarithmic structures in the case where we have a family of maps

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-589aa74d-428f-469b-a8c6-118c883a9d13.jpg)

/d15

/d126

/d126

over a geometric point S = Spec k , with π being flat and having reduced fibers, and where the logarithmic structure on V is a Zariski log structure. To our knowledge, these assumptions hold in all previous work where minimal logarithmic structures have been studied, e.g the papers, Gross-Siebert [GS13], Abramovich-Chen [AC11], Chen [Che10], Olsson [Ols08], and Ascher-Molcho [AM14]. In fact, in these papers the authors always begin with flat, proper families of schemes with reduced fibers, and construct a minimal logarithmic structure over each geometric point by writing down an explicit formula and then prove that a logarithmic structure is minimal over a general family if and only if it restricts to a minimal logarithmic structure over each point. In the cited papers, what are actually considered are 'absolute' families

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-14f0a5e4-bc6b-4de9-876f-225c72df1883.jpg)

/d15

We will show that in this absolute situation the notion of minimality defined in the present paper and the notion given in [GS13] (or, in fact, an evident extension of this notion) coincide. 10

- C.1. Structure of logarithmically smooth morphisms. Consider a logarithmically smooth morphism π : ( X,M X ) → ( S, M S ) which is flat, proper, and has reduced fibers, with S = Spec k a geometric point. The geometry of ( X,M X ) may be rather complicated; however, it is

10 The formula of [GS13] was only presented for families of nodal curves, but it works for more general X and the agreement we prove here holds in that generality.

simple to understand at the loci where the relative characteristic M X/S has rank 0 or 1. Specifically, we have

Theorem C.1. Suppose π : ( X,M X ) → ( S, M S ) is flat, proper, and has reduced fibers, and that S = Spec k is a geometric point. Then

- (1) Each irreducible component of X is smooth near its generic point η , and M X,η = M S .
- (2) Whenever two irreducible components intersect, they intersect in a divisor of each, which we will call a node. A node then generically is the intersection of precisely two irreducible components, and if q denotes the generic point of an irreducible component of the node, we have M X,q = M S ⊕ N N 2 , where N → N 2 is the diagonal map and ρ q : N → M S is some homomorphism determined by π .
- (3) There are certain divisors on the smooth locus of X so that at the generic point p of such a divisor, we have M X,p = M S ⊕ N .

The divisors in (3) are the higher dimensional analogue of marked points of logarithmic curves. In other words, the structure of a logarithmic morphism on the generic points of codimension 0 and 1 strata is precisely the same as the structure of a logarithmic curve, as discussed by F. Kato. To see why these claims are true, we apply the chart criterion for logarithmic smoothness [Kat89b], to obtain ´tale locally a e commutative diagram

/d47

/d47

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-47329a0e-612f-4b14-9163-8f6438620cad.jpg)

/d15

/d15

/d15

/d47

/d47

where the square is cartesian and the morphism from ( X,M X ) to the fiber product with its induced logarithmic structure is smooth on the level of underlying schemes and strict. Since smooth morphisms preserve the information of how irreducible components intersect, the problem reduces to proving these claims for the fiber of a toric morphism of toric varieties X F,N ( ) → X κ,Q ( ) over the torus fixed point of X κ,Q ( ). Here we use the notation X F,N ( ) for the toric variety determined by a fan F in a lattice N , and similarily for X κ,Q ( ), where we may assume κ is a single cone. A generic component of the fiber over the fixed point of X κ ( ) then corresponds to a cone τ ∈ F such that τ maps isomorphically to κ , and a divisor in the fiber corresponds

to a cone σ that maps onto κ with relative dimension 1. Condition (1) then is equivalent to saying that τ ∩ N is isomorphic to κ ∩ Q , since the duals of these monoids are charts for the logarithmic structures M X,η and M S . Conditions (2) and (3) are equivalent to saying that every cone σ that maps onto κ with relative dimension 1 can have either one or two faces isomorphic to κ ; and, (2) if σ has two such faces, then that N ∩ σ ∼ = ( Q ∩ κ ) × N N 2 for some homomorphism e q : Q ∩ κ → N , while if (3) σ has precisely one such face, then σ ∩ N ∼ = ( Q ∩ κ ) × N . These statements, and the construction of the homomorphism e q are precisely the content of lemmas 3.11 and 3.12 of Ascher-Molcho [AM14], or equivalently lemmas 8 and 9 in Gillam-Molcho [GM13] from which lemmas 3.11 and 3.12 are derived.

The description given above holds ´tale locally on e X , for the ´tale e sheaf M X . In what follows, we also need to understand the induced Zariski sheaf τ M ∗ X on X , where τ denotes the morphism of sites ´ et( X ) → zar( X )-c.f. lemma 4.6 and proposition 4.7. We claim that the description of τ M ∗ X over the generic points η of irreducible components of X and over generic points q of irreducible components of nodes is only slightly more involved. Specifically, we have

Corollary C.1.1. The logarithmic structure τ M ∗ X satisfies τ M ∗ X,η = M S on the generic point of an irreducible component η . On the generic point of an irreducible component of a node, we have either

- (1) τ M ∗ X,q = M S ⊕ N N 2 , when the node is the intersection of two distinct irreducible components of X in the Zariski topology, or
- (2) τ M ∗ X,q = M S , when the node is the self-intersection of a single irreducible component.

Proof. We prove the statement about nodes first. The question is local on X , so we may assume for simplicity that X is the spectrum of O X,q According to theorem C.1 above, we can choose an ´tale cover e U of X , and a lift q ′ of q , with the property that M U,q ′ ∼ = M S ⊕ N N 2 ; here the two generators e , e 1 2 of N 2 correspond to the two branches of U around q ′ , and map to the two functions in O U,q which define these two branches. For every ´tale cover e V of U over X , and cover q ′′ of q ′ , we have M V,q ′′ ∼ = M S ⊕ N N 2 as well, as M U,q ′ and M V,q ′′ are both pulled back from M X,q . Thus, every ´ etale cover V of U over X induces an automorphism of M S ⊕ N N 2 . On the other hand, the sheaf τ M ∗ X is determined from M U by descent, hence τ M ∗ X,q is the submonoid of invariants of M S ⊕ N N 2 under all automorphisms of M S ⊕ N N 2 obtained by ´tale covers e V → U over X . Every such automorphism further lives over S , hence must fix

M S ; and since e 1 + e 2 ∈ N 2 is in M S , such an automorphism must fix e 1 + e 2 . We are thus looking at automorphisms of N 2 which fix (1 , 1), that is, matrices with coefficients in N , determinant 1, and that fix (1 , 1). The only two such matrices are the identity and the matrix e 1 → e , e 2 2 → e 1 . Thus, the invariants of M S ⊕ N N 2 are either all of M S ⊕ N N 2 or the diagonal M S ⊕ N N ( e 1 + e 2 ) ∼ = M S . To prove the corollary it remains to analyze when each case happens. Suppose first that q is the intersection of two distinct irreducible components of X . Since O X is determined from O U by descent as well, we see that the images of e , e 1 2 in U map to distinct functions in O X , which define q in each of the irreducible components. Thus, there can be no ´tale e cover V of U over X which interchanges e , e 1 2 in the automorphism M S ⊕ N N 2 , and we are in the situation where the invariants are all of M S ⊕ N N 2 . On the other hand, if q is the self intersection of a single component, the only linear combinations of e 1 and e 2 that descend are the ke 1 + ke 2 , which lie in M S .

To see the statement about the logarithmic structure over the generic points of irreducible components η , we simply observe that the invariants of M S over M S are always M S , hence τ M ∗ X,η = M S as well. /square

## C.2. The Minimal Log Structure Over a Geometric Point. We consider a family of logarithmic schemes

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-c0f66a07-5e52-4065-b70b-110586bdb61c.jpg)

/d15

/d126

/d126

S

with S a geometric point, and π a logarithmic smooth morphism. The morphism f is not assumed to be a logarithmic morphism. We write M S for the logarithmic structure on S M , X for the logarithmic structure on X , and M V for the logarithmic structure on V . We further write M = f ∗ M V for the pullback of the logarithmic structure on V to X .

Out of X , we can create a category C . The objects of C are the generic points of the strata in the minimal stratification on which the relative characteristic M X is locally constant. Note that τ M ∗ X/S is constant on these strata. We have a morphism x → y in C whenever { x } ∈ { ¯ y } .

In the special case when X is a nodal curve, the category C is rather simple, with one object for each irreducible component η of X and an object for each node or marked point q , and a morphism q → η whenever q belongs to the component η . In fact, the same characterization holds for general X in depths 0 and 1: depth 0 objects correspond to

irreducible components of X , and depth 1 objects correspond to either marked divisors in X or nodes where irreducible components of X intersect, according to theorem C.1.

Lemma C.2. Let F be a sheaf in the ´tale topology on e X that is pulled back from a sheaf in the Zariski topology, which is constructible with respect to the category C . Then

$$\pi _ {! } ( F ) = \varinjlim _ { x \in \mathcal { C } } F _ { x }$$

Proof. By Proposition 4.8, π ! is the left adjoint to π ∗ zar the pullback functor on Zariski sheaves , so we only need to verify that for any sheaf G on S , Hom(lim - → x ∈C F , G x ) = Hom( F, π ∗ G ). A sheaf G on S is simply a monoid, so π G ∗ is the constant sheaf on X associated to G . Thus, to give a homomorphism F → π G ∗ is equivalent to giving homomorphims F x → G for each x ∈ C which are compatible with generization; but this is precisely the data of a homomorphism lim - → x ∈C F x → G . /square

Observe furthemore that the colimit over a finite indexing category only depends on the objects of depths 0 and 1, i.e in this case over the irreducible components η of X , the generic points q of the nodes of X , and the generic points of the marked divisors of X . Note that the marked divisors do not contribute to the colimit. The reason is that for each p ∈ C corresponding to a marked divisor, there is a unique morphism p → η , where η corresponds to the irreducible component containing the marked divisor. So the points corresponding to marked divisors can be ommited from the diagram without affecting the colimit. The same is true for nodes of X which are the self intersection of a single irreducible component.

From here on, η is always going to denote the generic point of an irreducible component of X , and q is always going to denote the generic point of an irreducible component of the intersection of two distinct irreducible components.

In what follows, we will replace M X with the sheaf τ ∗ τ M ∗ X . Note that while X equipped with τ ∗ τ M ∗ X is no longer log smooth over ( S, M S ), the minimal log structure obtained from τ ∗ τ M ∗ X and the minimal log structure obtained from M X coincide, according to 4.4. The reason we do this replacement is because this allows us to use C in the calculation of the minimal log structure, according to lemma C.2, rather than the far larger category of all ´tale specializations. e Furthermore, according to the preceeding remark, only irreducible components η and nodes q need to be included in the calculation and there we have

τ ∗ τ M ∗ X,η = M X,η , τ ∗ τ M ∗ X,q = M X,q according to corollary C.1.1. So this is in fact not a serious abuse of notation.

This allows us to work an explicit presentation for the minimal logarithmic structure. We first determine its associated group. Let us recall the notation. Diagram (C.1) gives us a diagram

u

/d119

/d119

/d111

/d111

/d111

/d111

/d79

/d79

/d59

/d59

S

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-eeeb67f1-4c81-4858-9a68-6551e784f12b.jpg)

where M = f ∗ M V and u is a given homomorphism which is fixed in advance, part of the discrete geometric data of the problem - the type of the morphism. The problem of finding a minimal logarithmic structure of the data is the same as finding a minimal object N S such that u factors through a homomorphism M gp → N gp S ⊕ π M ∗ gp S M gp X . To find the minimal logarithmic structure, we set

$$\overline { R } _ { 0 } ^ { \text{gp} } = \overline { M } _ { X } ^ { \text{gp} } \times _ { \overline { M } _ { X / S } ^ { \text{gp} } } \overline { M } ^ { \text{gp} }$$

and

$$\overline { R } ^ { \text{gp} } = \overline { R } ^ { \text{gp} } _ { 0 } / \Delta ( \pi ^ { * } \overline { M } ^ { \text{gp} } _ { S } )$$

where ∆ is the diagonal map π M ∗ gp S → M gp X × M gp X/S M gp .

Applying the lemma, we see that the associated group of the minimal logarithmic structure π R ! gp on S is given as the coequalizer

/d47

$$\varinjlim _ { x \in C } \overline { R } _ { x } ^ { \text{gp} } = \varinjlim _ { \text{$q$} } \left ( \, \bigoplus _ { q } \, \overline { R } _ { q } ^ { \text{gp} } \xrightarrow { \phi _ { 1 } } \bigoplus _ { \text{$q$} } \overline { R } _ { \text{$q$} } ^ { \text{gp} } \right )$$

/d47

/d47

/d47

where φ , φ 1 2 denote the two generization maps, induced by the generization morphisms M X,q → M X,η and M q → M η whenever q is contained in η . If we choose an ordering of the two components η , η 1 2 containing a node q , the coequalizer becomes the quotient

$$\bigoplus _ { q } \overline { R } _ { q } ^ { \text{gp} } \xrightarrow { \phi _ { 2 } - \phi _ { 1 } } \bigoplus _ { \eta } \overline { R } _ { \eta } ^ { \text{gp} }$$

On the other hand, even though R may be difficult to understand, its stalks at generic points and nodes are straightforward. We have

$$\overline { R } _ { 0, \eta } ^ { \text{gp} } = \overline { M } _ { X, \eta } ^ { \text{gp} } \times \overline { M } _ { \eta } ^ { \text{gp} } \cong \overline { M } _ { S } ^ { \text{gp} } \times \overline { M } _ { \eta } ^ { \text{gp} }$$

and so

$$\overline { R } _ { \eta } ^ { \text{gp} } = \overline { M } _ { \eta } ^ { \text{gp} }$$

Similarily, on a node q we have

$$\overline { R } _ { 0, q } ^ { \text{gp} } = \overline { M } _ { X, q } ^ { \text{gp} } \times \mathbf z \, \overline { M } _ { q } ^ { \text{gp} }$$

Now recall that M X,q = M S ⊕ N N 2 = { ( a, b ) : b -a = ρ d q } ⊂ M S × M S where ρ q : N → M S is a homomorphism determined by π , as discussed in section C.1. We abusively also write ρ q for the image ρ q (1) ∈ M S of ρ q . The morphism M gp X,q → Z is the canonical projection M gp X,q → M gp X/S , which, explicitly, is the homomorphism that sends a pair ( a, b ) such that b -a = ρ d q to d . Therefore,

$$\bar { R } _ { 0, q } ^ { \text{gp} } = \left \{ ( a, b, m ) \, \colon b - a = u _ { q } ( m ) \rho _ { q } \right \}$$

↦

The morphism π M ∗ gp S → R gp 0 ,q is the diagonal s → ( s, s, i ( s )), and hence the quotient

$$\overline { R } _ { q } ^ { \text{gp} } \cong \overline { M } _ { q } ^ { \text{gp} }$$

↦

the isomorphism sending [( a, b, m )] → m -i ( a ), with inverse m → [0 , u q ( m ρ , m ) q ]. The two generization morphisms R gp 0 ,q → R gp 0 ,η → R gp η are the two natural maps from M gp X,q × Z M gp q to M gp η , sending ( a, b, m ) to ( ( i a )+ φ 1 ( m )) or to ( ( i b )+ φ 2 ( m )) respectively, depending on whether η is the first or second irreducible component containing q , under our ordering. Thus, under the isomorphism above, the morphism R gp q → R gp η 1 × R gp η 2 becomes the map M gp q → M gp η 1 × M gp η 2 which sends m to ( -φ 1 ( m , φ ) 2 ( m ) + i ( u q ( m ρ ) q ) ) . The associated group of the minimal logarithmic structure thus has the very simple quotient presentation:

↦

$$\bigoplus _ { q } \overline { M } _ { q } ^ { \text{gp} } \xrightarrow [ ] { ( - \phi _ { 1 }, \phi _ { 2 }, i u _ { q } \rho _ { q } ) } \bigoplus _ { \eta } \overline { M } _ { \eta } ^ { \text{gp} }$$

The characteristic monoid of the actual logarithmic structure π R ! is then the image of ⊕ M η in π R ! gp .

C.3. Gross-Siebert Minimality. Wenow specialize to the case when the family of morphisms f : X → V is absolute, i.e of the form

/d47

/d47

/d15

$$\begin{matrix} \lambda & \cdot & \cdot & \cdot \\ & & X \xrightarrow { f } V \\ ( C. 3 ) & & \pi \Big | _ { S } \\ \end{matrix}$$

/d15

This point of view can be reconciled with that of the previous paragraph by simply redefining the logarithmic structure of V to be M ′ V = M V ⊕ π M ∗ S . At any rate, to avoid confusion and keep in line with existing literature, we will denote the sheaf of monoids f ∗ M V by P , and f ∗ M ′ V by M , as above. For a node q , specializing two irreducible components η , η 1 2 , let χ i : P q → P η i denote the two generization maps.

Definition C.3. Let S be a geometric point. A logarithmic structure N S on S is called a Gross-Siebert minimal logarithmic structure for f over M S if its characteristic monoid Q = N S has associated group isomorphic to the cokernel of

$$\begin{array} { c } \int \infty \infty \infty \\ \Phi \colon & \bigoplus _ { q } P _ { q } ^ { \text{gp} } \xrightarrow { ( - \chi _ { 1 }, \chi _ { 2 }, \rho _ { q } u _ { q } ) } & \overline { M } _ { S } ^ { \text{gp} } \oplus \bigoplus _ { \eta } P _ { \eta } ^ { \text{gp} } \end{array}$$

and Q is isomorphic to the image of M gp S ⊕ ⊕ η P gp η in the associated group.

Remark C.1 . In [GS13], the minimal logarithmic structure is in fact saturated by definition, i.e Q is the saturation of the monoid in the definition above. Since our results go through in case Q is merely integral, the definition is stated in this slightly more general form.

Remark C.2 . In [GS13], the object of study is stable logarithmic maps, in which case X → S is a logarithmic curve. In this case, there are canonical logarithmic structures on X and S which make X → S logarithmically smooth. Over a geometric point, the characteristic monoid of the canonical logarithmic structure on S is simply N m , where m is the number of nodes of X . The definition of minimality given in [GS13] has this canonical logarithmic structure as M S throughout. The definition presented here is the evident modification that allows the same flexibility as the present paper.

Theorem C.4. A Gross-Siebert minimal logarithmic structure is minimal.

Proof. Let ( X,N X ) → ( S, N S ) be any log morphism pulled back from ( X,M X ) → ( S, M S ) which admits a log morphism f to V , as in diagram (C.3). The morphism f induces morphisms P gp η → N gp X,η = N gp S

for each η . We thus have a unique extension to a summation morphism Σ : M gp S ⊕ ⊕ η P gp η → N gp S . On the other hand, for each node q , the diagram

/d47

/d47

/d62

/d62

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-86f5f65a-1594-444f-b340-90e8182a45c9.jpg)

/d61

/d61

/d32

/d32

/d47

/d47

must commute; thus the map Σ must descend uniquely to the (unsharpened) quotient of Φ. As N gp S is assumed torsion free, the morphism must descend to the sharpened quotient as well, i.e, the associated group of the minimal logarithmic structure, as desired. Since M S ⊕ ⊕ η P η → N gp S factors through N S , its image Q in Q gp maps to N S , as desired. /square

We are now ready for the comparison.

Theorem C.5. Suppose ( X,M X ) → ( S = Spec C , M S ) is a logarithmic smooth morphism which is flat and has reduced fibers, and f : X → ( V, M V ) is a morphism to a logarithmic scheme. The minimal logarithmic structure defined in the paper coincides with the GrossSiebert minimal logarithmic structure.

Proof. This is immediate as both logarithmic structures satisfy the same universal property. /square

It is actually rather interesting to give a direct proof of this fact, as the calculation is illuminating. We consider

/d47

/d47

/d15

/d15

S

/d47

/d47

/d15

/d15

/d126

/d126

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-9f515b8e-507f-4d14-9fd3-fec440870f84.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-79783fa5-27e4-41e8-974d-20ff539f6371.jpg)

and extend it to

/d47

/d47

/d32

/d32

↦

↦

as above by putting M ′ V = M V ⊕ π M ∗ S , M = f ∗ M ′ V . 11 Then, M q = P q ⊕ M S and M η = P η ⊕ M S . The morphism m → -( φ 1 ( m , φ ) 2 ( m ) + i ( u q ( m ρ ) q )) is identified with ( m,s ) → -( χ 1 ( m , ) -s, χ 2 ( m , u ) q ( m ρ ) q + s ). Therefore, by the results of section 1, we have that the associated group of the minimal logarithmic structure for the family is given as the quotient

/d47

$$\bigoplus _ { q } ( P _ { q } ^ { \text{gp} } \oplus M _ { S } ^ { \text{gp} } ) \xrightarrow { ( - \chi _ { 1 }, - i d, \chi _ { 2 }, i d + u _ { q } \rho _ { q } ) } \bigoplus _ { \eta } ( P _ { \eta } ^ { \text{gp} } \oplus M _ { S } ^ { \text{gp} } )$$

/d47

Then, if Σ denotes the summation map ⊕ M gp S → M gp S , we obtain a commutative diagram

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-5600e670-0516-4d85-bdfd-245833cd3ea0.jpg)

/d47

Thus, the morphism (Σ id) descends to a morphism of the quotients , π R ! gp → Q gp S , where Q is the characteristic monoid of the Gross-Siebert minimal logarithmic structure:

⊕

/d47

/d47

⊕(

/d47

/d47

/d15

/d15

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-65b8c37b-ac7e-4fda-a676-3da194f30977.jpg)

/d15

/d15

/d47

/d47

/d47

Observe that the kernel of the map P gp q ⊕ M gp S → P gp q is simply M gp S . The kernel of the map on the right on the other hand is the kernel of the summation map ⊕ η M gp S → M gp S . The induced map of kernels then fits into the sequence

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0037v2-figure-137321a7-fdbe-4cdc-8f79-563a11223ec5.jpg)

But this is precisely the part of the complex that computes the homology of the geometric realization B C of the category C with coefficients in the group M gp S , where the morphism on the right is the evaluation map. Since X is connected, so is C , and thus H B ,M 0 ( C gp S ) = M gp S , and thus ⊕ q M gp S surjects onto the kernel of the evaluation map Σ. Thus, the map π R ! gp → Q is injective. On the other hand, the morphism (Σ id) is certainly surjective, so , π R ! gp → Q gp is also surjective. We thus get the isomorphism on the level of associated groups.

To extend the isomorphism on the level of actual monoids, note that since the summation morphism is also surjective on the level of monoids, the image of ⊕ η ( M gp S ⊕ P η ) surjects onto the image of M S ⊕ ( ⊕ η P η ), and hence π R ! surjects onto Q . Since π R ! and Q are integral and the morphism of associated groups is injective, we obtain the desired isomorphism.

## References

[AC11] D. Abramovich and Q. Chen, Stable logarithmic maps to DeligneFaltings pairs II , February 2011, arXiv:1102.4531 .

[ACGM10] D. Abramovich, Q. Chen, W. D. Gillam, and S. Marcus, The Evaluation Space of Logarithmic Stable Maps , December 2010, arXiv:1012.5416 .

K. Ascher and S. Molcho, Logarithmic stable toric varieties and their moduli

[AM14] , ArXiv e-prints (2014).

[Che10]

Q. Chen, Stable logarithmic maps to Deligne-Faltings pairs I , August 2010, arXiv:1008.3090 .

[Gab14]

[Gil12]

[GM13]

O. Gabber, Personal communication, August 2014.

W. D. Gillam, Logarithmic stacks and minimality , International Journal of Mathematics 23 (2012), no. 07, 1250069.

W.D Gillam and S. Molcho, Stable Log Maps as Moduli of Flow Lines , http://www.math.brown.edu/ ~ smolcho/flows3.pdf , 2013.

[Gro66]

A. Grothendieck, ´ l´ments E e de g´om´ etrie e alg´brique. e IV. Etude locale ´ des sch´mas et des morphismes de sch´mas. III e e , Inst. Hautes Etudes ´ Sci. Publ. Math. (1966), no. 28, 255. MR MR0217086 (36 #178)

[GS13] Mark Gross and Bernd Siebert, Logarithmic Gromov-Witten invariants , J. Amer. Math. Soc. 26 (2013), no. 2, 451-510. MR 3011419

[HR14]

J. Hall and D. Rydh, Coherent Tannaka duality and algebraicity of Hom-stacks , ArXiv e-prints (2014).

[Kat89a]

[Kat89b]

Kazuya Kato, Logarithmic structures of Fontaine-Illusie , Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp. 191-224. MR 1463703 (99b:14020)

, Logarithmic structures of Fontaine-Illusie , Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp. 191-224. MR 1463703 (99b:14020)

[LMB00]

G´ erard Laumon and Laurent Moret-Bailly, Champs alg´ ebriques , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 39, Springer-Verlag, Berlin, 2000. MR 1771927 (2001f:14006)

[ML98]

Saunders Mac Lane, Categories for the working mathematician , second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872 (2001j:18001)

Martin C. Olsson, Logarithmic geometry and algebraic stacks , Ann. Sci.

[Ols03] ´ cole Norm. Sup. (4) E 36 (2003), no. 5, 747-791.

[Ols08]

M.C. Olsson, Compactifying moduli spaces for abelian varieties , Compactifying Moduli Spaces for Abelian Varieties, Springer, 2008.

[RGS99]

J.C. Rosales and P.A. Garc´ ıa-S´nchez, a Finitely generated commutative monoids , Nova Science Publishers, 1999.

[Rom11]

Matthieu Romagny, Composantes connexes et irr´ductibles en familles e , Manuscripta Math. 136 (2011), no. 1-2, 1-32. MR 2820394 (2012g:14013)

University of Colorado, Boulder, Boulder, Colorado 80309-0395, USA
Jonathan Wise
Moduli of morphisms of logarithmic schemes
We show that there is a logarithmic algebraic space parameterizing
logarithmic morphisms between fixed logarithmic schemes when those logarithmic
schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity
of the stack of stable logarithmic maps without restriction on the logarithmic
structure of the target.