LLECTURES ON TROPICAL CURVES AND THEIR MODULISPACES
MELODY CHAN
Abstract.
These are notes for a series of five lectures on “Moduli anddegenerations of algebraic curves via tropical geometry” delivered at theCIMPA-CIMAT-ICTP School on Moduli of Curves, February 29-March 4,2016 in Guanajuato, Mexico.
Contents
Introduction 21. From the beginning: tropical plane curves 21.1. Embedded tropicalizations 21.2. A very, very short treatment of Berkovich analytifications 52. Abstract algebraic and tropical curves 72.1. Stable curves 82.2. Stable models 92.3. Dual graphs of stable curves 102.4. Abstract tropical curves 122.5. From algebraic to tropical curves: abstract tropicalization 133. Definition of the moduli space of tropical curves 144. Boundary complexes of toroidal embeddings 164.1. ´Etale morphisms 174.2. Toroidal embeddings 174.3. Boundary complexes of toroidal embeddings 185. Toroidal Deligne-Mumford stacks 205.1. Categories fibered in groupoids 205.2. Fast forward: Deligne-Mumford stacks, and toroidal embeddings 216. Compactification of M g,n by stable curves 226.1. The boundary strata M G of M g,n M g,n a r X i v : . [ m a t h . AG ] F e b MELODY CHAN
Introduction
These are notes for five lectures on moduli and degenerations of algebraiccurves via tropical geometry. What do I mean by degenerations of algebraiccurves? The basic idea is that one can get information about the behavior ofa smooth curve by studying one-parameter families of smooth curves, whichdegenerate in the limit to a singular curve, instead. The singular curve typ-ically has many irreducible components, giving rise to a rich combinatorialstructure. This technique obviously relies on having a robust notion of familyof curves, that is, a moduli space. Thus moduli spaces immediately come tothe fore.Tropical geometry is a modern degeneration technique. You can think ofit, to begin with, as a very drastic degeneration in which the limiting objectis entirely combinatorial. We will flesh out this picture over the course ofthe lectures. It is also a developing field: exactly what tropical geometryencompasses is a work in progress, developing rapidly.The powerful idea of using degenerations to study algebraic curves is atleast several decades old and has already been very successful. But recentdevelopments in tropical geometry make it timely to return to and expandupon these ideas. The focus of these lectures will be on one beautiful recentmeeting point of algebraic and tropical geometry: the tropical moduli space ofcurves , its relationship with the Deligne-Mumford compactification by stablecurves, and its implications for the topology of M g,n . I am not assuming anyprior background in tropical geometry.1. From the beginning: tropical plane curves
Let’s start from scratch. Centuries ago, some of the very first objects con-sidered in algebraic geometry were just plane curves : the zero locus in P ofa homogeneous equation in three variables. Only later was the perspectiveof studying curves abstractly, free from a particular embedding in projectivespace, developed. We’ll do the same, starting with some plane tropical curves,which are a special case of embedded tropicalizations. Embedded tropicalizations.
The natural setting for tropical geometryis over nonarchimedean fields.
Let K be a field, and write K ∗ = K \ { } asusual. Definition 1.1. A nonarchimedean valuation on K is a map v : K ∗ → R satisfying:(1) v ( ab ) = v ( a ) + v ( b ), and(2) v ( a + b ) ≥ min( v ( a ) , v ( b )) ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 3 for all a, b ∈ K ∗ . By convention we may extend v to K by declaring v (0) = ∞ .The ring R of elements with nonnegative valuation is the valuation ring of K . Note that R is a local ring; write k = R/ m for its residue field.If you are arithmetically minded, you might immediately think of the p -adicfield K = Q p , or C p , the completion of its algebraic closure. For anotherexample, take your favorite field, perhaps C , and equip it with the all-zerovaluation, also known as the trivial valuation . This example sounds unimpor-tant, but it is theoretically important, because it permits a unified theory oftropicalization.Another good example to keep in mind is K = C (( t )), the field of Laurentseries, with valuation v ( (cid:80) i ∈ Z a i t i ) = min { i : a i (cid:54) = 0 } . In this example, K isdiscretely valued, in that v ( K ∗ ) ∼ = Z . Note that the algebraic closure of C (( t ))is the field of Puiseux series C = (cid:83) n C (( t /n )), whose elements are powerseries with bounded-denominator fractional exponents. This field is a favoriteof tropical geometers. Exercise 1.2.
Let a, b ∈ K . If v ( a ) (cid:54) = v ( b ) , then in fact v ( a + b ) = min( v ( a ) , v ( b )) . In other words, for all a, b ∈ K , the minimum of v ( a ) , v ( b ) , v ( a + b ) occurs atleast twice. Exercise 1.3.
Suppose K is a nonarchimedean field. If K is algebraicallyclosed then its residue field k is also algebraically closed. Remark 1.4.
Already, you can get a glimpse of why tropical geometry isperformed over nonarchimedean fields. For example, a curve X over K = C (( t ))can be regarded as a family of complex curves over an infinitesimal puncturedcomplex disc Spec K around t = 0. The eventual tropicalization of this curvewill be a metric graph (decorated with a little bit of extra stuff). It recordsdata about how the special fiber t = 0 must be filled in according to theproperness of M g .A valued extension of valued fields is an extension L/K in which thevaluation on L extends the valuation on K . Definition 1.5. (Embedded tropicalization). Fix a nonarchimedean field K .Let X be a subvariety of the algebraic torus ( G m ) n . So X is defined by anideal of the Laurent polynomial ring K [ x ± , . . . , x ± n ].The tropicalization of X is the subset of R n { ( v ( x ) , . . . , v ( x n )) : ( x , . . . , x n ) ∈ X ( L ) for L/K a valued extension } . MELODY CHAN
In particular, if K is algebraically closed and nontrivially valued, then Trop( X )is the closure, in the usual topology on R n , of the set { ( v ( x ) , . . . , v ( x n )) : ( x , . . . , x n ) ∈ X ( K ) } of coordinatewise valuations of K -points of X .I am skimping a little bit on notation, and denoting all valuations by v , evenover different fields.Let’s immediately practice Definition 1.5 in the case of a line. Example 1.6. (A line in the plane). Let f ( x, y ) = x + y − X = V ( f ) ⊂ G m . So X is P minus 3 points. What is Trop( X )?Answer: Suppose x and y are such that x + y − v ( x ) , v ( y ) , and v (1) is attained at least twice.In other words,Trop( X ) ⊆ { ( z, w ) ∈ R : the minimum of z, w , and 0 occurs at least twice } . You can draw this latter set: it is polyhedral, consisting of three rays from theorigin in the directions of the standard basis vectors e , e , as well as − e − e .See Figure 1. The content of the next theorem is that the containment aboveis actually an equality.We state the theorem below in a baby case, the case of curves in the plane.But it holds verbatim for arbitrary hypersurfaces. See [28, Theorem 3.1.3] forthe full statement and its proof. Theorem 1.7 (Kapranov’s Theorem) . Let f = (cid:88) ( i,j ) ∈ Z c ij x i y j ∈ K [ x ± , y ± ] . Then
Trop( X ) = { ( z, w ) ∈ R : min ( i,j ) ∈ Z v ( c ij ) + iz + jw occurs at least twice. } Remark 1.8.
Notice that the expression min ( v ( c ij ) + iz + jw ) is obtainedfrom f by • replacing addition by minimum, • replacing multiplication by +, and • replacing scalars c ij by their valuations. The statement there also gives an equivalent formulation in terms of Gr¨obner initialideals, which is key for computations, and which I won’t talk about at all.
ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 5
Figure 1.
The tropical line from Example 1.6This explains the slogan you may hear that tropical geometry is the algebraicgeometry of the min-plus semiring ( R ∪ {∞} , min , +) . This may also helpexplain the naming of the field of tropical geometry, which was in honor of theBrazilian mathematician and computer scientist Imre Simon, a pioneer in thestudy of the min-plus semiring.
Remark 1.9.
It is not nearly as straightforward to compute tropicalizationsof subvarieties of G nm that are not hypersurfaces. It can however be doneby A. N. Jensen’s software gfan , using Gr¨obner methods [22]. See the gfan manual for details. Exercise 1.10.
What are all possible tropical lines in the plane, i.e., subsetsof R of the form Trop( X ) where X = V ( ax + by + c )?1.2. A very, very short treatment of Berkovich analytifications.
Allof this could be said much more elegantly using the language of Berkovichspaces [5]. We now assume that K is a complete valued field. This meansthat K is complete as a metric space, with respect to its nonarchimedeanvaluation. Conceptually, the assumption that K is complete is not such a bigdeal, because we can always base change from a given field K to its completionˆ K . Example 1.11. Q p is complete by construction. Any trivially valued field isof course complete. On the other hand, the field of Puiseux series C isnot complete. What is its completion?Let X be finite type scheme over K . We shall define the Berkovich analyti-fication X an , a locally ringed topological space associated to X . Actually, myplan is to entirely ignore the structure sheaf of analytic functions of X an . Sowe will just regard X an as a topological space for the duration. The valuation v on K defines a norm on K by setting | a | = exp( − v ( a )) . MELODY CHAN
I’ll do things in an unconventional order, starting with a very quick way tosay what the points of X an are. I find this simple description very useful—especially when X is some kind of moduli space. Definition 1.12. (Points of the Berkovich space). Let X be a finite typescheme over a complete nonarchimedean valued field K . The points of the Berkovich analytification X an are in bijection with maps Spec L → X for allvalued field extensions L/K , modulo identifying Spec L → X with Spec L (cid:48) → Spec L → X , where L (cid:48) /L is again a valued field extension.Does that sound strange? It should be compared with the more familiarsituation of a scheme Y over any field K , with no valuations in sight. Thenyou can see for yourself the following way to name the points of Y : points of Y correspond to maps Spec L → Y for all extensions L/K , modulo identifyingSpec L → Y with Spec L (cid:48) → Spec L → Y for all further extensions L (cid:48) /L .Next we will define the topology on X an . Definition 1.13. (Topology on the Berkovich space, affine case.) We continueto assume that K is a complete nonarchimedean valued field. Let X = Spec A be an affine scheme of finite type over K .We take X an to have the coarsest topology such that for all f ∈ A , thefunction(1) ν f : X an −→ R (Spec L p → X ) (cid:55)−→ v ( p f )is continuous. Here v denotes the valuation on the valued field L and p : A → L is the map of rings coming from p .Now for an arbitrary finite type scheme X over K that is not necessarilyaffine, the topological space X an is obtained by taking an affine open cover of X , analytifying everything separately, and then gluing. Now let’s try Definition 1.5 over again: Usually, the points of (Spec A ) an are described as multiplicative seminorms || · || p on A extending the norm on K , equipped with the coarsest topology such that for every f ∈ A ,the map X an → R sending || · || p (cid:55)→ || f || p is continuous. It’s not hard to describe the correspondence between Definitions 1.12 andthis definition. A seminorm || · || p corresponds to the mapSpec Frac( A/ ker( || · || p )) → Spec A. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 7
Redefinition 1.14. (Embedded tropicalization, again). Let X ⊆ ( G m ) n ,given explicitly as X = Spec K [ x ± , . . . , x ± n ] /I . The tropicalization of X , de-noted Trop( X ), is the image of the map X an → R n that sends, for p : Spec L → X a point of X an , p (cid:55)−→ ( ν x ( p ) , . . . , ν x n ( p )) . The maps ν x i were defined in (1), and we set up the topology of X an pre-cisely so that each ν x i is continuous. Thus Trop( X ) is, by Definition 1.13, a continuous image of X an . This is helpful! For example, Berkovich tells us that X an is connected if X is connected [5]. Therefore, in this situation, Trop( X )is connected too.We’ve just hinted at the fact that passing to analytifications can be a helpfulperspective for viewing tropicalizations. But actually, one could just as wellsay the reverse. Namely, one of the reasons tropicalizations are useful is thatthey can provide a faithful “snapshot” of a piece of the much hairier and morecomplicated space X an . See [4, 32].2. Abstract algebraic and tropical curves
Next, what is an abstract tropical curve, and how does such a gadget arisefrom an algebraic curve over a valued field K ? That is the subject of thislecture. The relationship with the previous lecture is as follows. In the lastsection, we concerned ourselves with embedded tropicalizations , i.e. tropical-izations of a subvariety of a torus or toric variety. In this section, we arefast-forwarding many decades in the parallel story in the history of algebraicgeometry, and treating curves now in the abstract , free from a particular em-bedding in projective space, say. Also, just as in algebraic geometry, once thisbifurcation between abstract and embedded tropicalization happens, it thenbecomes interesting to study the relationship between the two. This is also avery interesting story (see [4, 19]), but I won’t have time for it. I also highlyrecommend [3] for a survey of the state of the art in tropical linear series andBrill-Noether theory.Before launching into all the definitions, let me give one example in full.It’s such a tiny example that I can guarantee that it’s not that interesting onits own. But it will serve as a little laboratory in which we can see all thedefinitions in action at once. Example 2.1. (A preview). Let K = C (( t )), with R = C [[ t ]] its valuation ring.Let (cid:96) be a positive integer, and let X/K be the projective plane curve with Almost literally.
MELODY CHAN (cid:96)
Figure 2.
A picture of the abstract tropicalization of the curve
X/K of Example 2.1. We have drawn marked points as markedrays attached at vertices.equation(2) xy = t (cid:96) z . So, X is just a smooth conic over K , but we regard X as defining a germ ofa family, with base parameter t (cid:54) = 0, of smooth plane conics in the complexprojective plane. Let’s consider the four marked points p , p = ( ± t (cid:96) : ± p , p = ( ± ± t (cid:96) : 1)on X .Now, equation (2) also defines a scheme X /R , in which the special fiber X k = X × R k has equation xy = 0 in P C . That is, the special fiber is a unionof two rational curves meeting at a node. Furthermore, the horizontal closures p i of the four marked points of X do indeed meet X k in four regular points,namely (0 : ± ± X will qualify as a stable model for X , as defined in Definition 2.6.The abstract tropical curve associated to X will be the vertex-unweightedmetric graph with two vertices and an edge between them of length (cid:96) , withmarked points 1 , , Stable curves.
Fix k an algebraically closed field. By a curve we shallmean a reduced, proper, connected scheme X of dimension 1 over k . Thearithmetic genus of the curve is h ( X, O X ) . A node of X is a point p ∈ X ( k )with the property that (cid:98) O X,p ∼ = k [[ x, y ]] / ( xy ). A nodal curve is a curve whoseonly singularities, if any, are nodes. Definition 2.2. (Stable n -pointed curves). A nodal, n -marked curve of genus g is ( X, p , . . . , p n ), where p i ∈ X ( k ) are distinct nonsingular points of a genus g nodal curve X .We say that a nodal, marked curve ( X, p , . . . , p n ) is stable if Aut( X, p ,. . . , p n ) is finite, that is, there are only finitely many automorphisms of the ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 9 curve X that fix each p , . . . , p n pointwise. This is often equivalently statedas follows: ( X, p , . . . , p n ) is stable if the restriction of ω X ( p + · · · + p n ) toevery irreducible component of X is a line bundle of positive degree. Here ω X denotes the dualizing sheaf of X .Notice that all smooth curves of genus g ≥ P , has finitely many automorphisms once one fixes three marked points.So we could equally phrase the stability condition as follows: Observation 2.3.
For every irreducible component C of X , let φ : C ν → C denote the normalization of C . An n -marked nodal curve ( X, p , . . . , p n ) isstable if and only if(1) for every component C of geometric genus 0, | C ∩ { p , . . . , p n }| + |{ q ∈ C ν : φ ( q ) ∈ X sing }| ≥ C of geometric genus 1, | C ∩ { p , . . . , p n }| + |{ q ∈ C ν : φ ( q ) ∈ X sing }| ≥ . (The second condition sounds misleadingly general. You can trace throughthe definition yourself to see that it excludes only one additional case, the casethat the whole of X is just a smooth curve of genus 1 with no marked points.) Exercise 2.4.
Let g, n ≥
0. Check that stable n -marked curves of genus g exist if and only if 2 g − n > Stable models.
Let K be an algebraically closed field that is completewith respect to a nonarchimedean valuation. Good examples include the com-pletion of the field of Puiseux series C or the completion C p of the algebraicclosure of the field Q p . As before, let R denote the valuation ring of K and let k = R/ m be theresidue field. Recall that Spec R has two points η and s , corresponding to theideals (0) and m respectively. If X is a scheme over Spec R , then the genericfiber of X is the fiber over η ; the special fiber is the fiber over s . By the way, you might complain that some of this theory can be developed with weakerhypotheses on the field K . That is true. For example, the stable reduction theorem holds forarbitrary complete nonarchimedean fields, up to passing to a finite, separable field extension. I am taking this approach partly for expository ease, especially for one’s first exposure tothis material. It’s kind of like learning algebraic geometry over C first. My other defenseis that in the tropical context it is often not a big deal to pass to a possibly huge fieldextension, at least in theory. See Definition 1.12, for example. Definition 2.5. (Models) If X is any finite type scheme over K , then by a model for X we mean a flat and finite type scheme X over R whose genericfiber is isomorphic to X .Now let’s define stable models. First, let me forget about marked points,and just suppose that X is a smooth curve over K . Definition 2.6. (Stable models). Suppose X is a smooth, proper, geometri-cally connected curve over K of genus g ≥
2. A stable model for X is a propermodel X /R whose special fiber X k = X × R k is a stable curve over k . Definition 2.7. (Stable models, allowing marked points). Now say 2 g − n > X, p , . . . , p n ) is a smooth, n -marked, genus g curve. Then astable model for X is a proper model X /R with n sections p , . . . , p n : Spec R → X restricting to the marked points p i on the general fiber, making the specialfiber a stable n -marked curve of genus g over k. Let 2 g − n >
0. When does an n -marked genus g curve X/K admita stable model? The answer is: always . This is the content of the StableReduction Theorem of Deligne-Mumford-Knudsen, which also gives that thestable model is essentially unique. More precisely, the version we are usinghere, for fields whose valuations are not necessarily discrete, goes back to [6];see also [4, 34, 36]. You can also see Harris and Morrison’s book [21, § Dual graphs of stable curves.
We are working towards the goal ofassociating a graph, with some vertex decorations and some edge lengths, toa smooth curve
X/K . The graph we are going to associate to X is the dualgraph of the special fiber of a stable model for X . Basically, the dual graph ofa stable curve Y is a combinatorial gadget that records: • how many irreducible components Y has, and what their geometricgenera are; • how the irreducible components of Y intersect; and • the way in which the n marked points are distributed on Y . Again, the typical formulation of the stable reduction theorem says that if
X/K is asmooth curve, then there exists a finite separable field extension K (cid:48) /K such that X × K K (cid:48) admits a stable model. Here, we’ve folded the need to pass to a finite field extension intothe assumption that K itself is algebraically closed. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 11
Now we will explain this completely, starting with the graph theory.
Conventions on graphs.
All graphs will be finite and connected, withloops and parallel edges allowed. (Graph theorists would call such objectsfinite, connected multigraphs .) Remember that a graph G consists of a set ofvertices V ( G ) and a set of edges E ( G ). Each edge is regarded as having twoendpoints which are each identified with vertices of G , possibly the same. Definition 2.8. (Vertex-weighted marked graphs). A vertex-weighted, n -marked graph is a triple ( G, m, w ) where: • G is a graph; • w : V ( G ) → Z ≥ is any function, called a weight function , and • m : { , . . . , n } → V ( G ) is any function, called an n -marking. The genus of (
G, m, w ) is g ( G ) + (cid:88) v ∈ V ( G ) w ( v )where g ( G ) = | E | − | V | + 1is the first Betti number of G , considered as a 1-dimensional CW complex,say. Definition 2.9. (Stability for vertex-weighted marked graphs). With (
G, m, w )as above, we’ll say that (
G, m, w ) is stable if for every v ∈ V ( G ),2 w ( v ) − v ) + | m − ( v ) | > . Here val( v ) denotes the graph-theoretic valence of the vertex v , which is definedas the number of half-edges incident to it.Figure 3 shows the seven distinct stable vertex-weighted graphs of type( g, n ) = (2 , Exercise 2.10.
Find the five stable, 2-marked weighted graphs of genus 1.
Exercise 2.11.
Prove that there are only finitely many stable marked, weightedgraphs for fixed g and n , up to isomorphism. It may be helpful to considerthe partial order of contraction that we will define in Section 3. Another common setup for marking a tropical curve is to attach infinite rays to a graph,labeled { , . . . , n } . Our marking function m is obviously combinatorially equivalent. Figure 3.
The seven genus 2 stable vertex-weighted graphswith no marked points. The vertices have weight zero unlessotherwise indicated.
Definition 2.12. (Dual graph of a stable curve). Let k be an algebraicallyclosed field, and let ( Y, p , . . . , p n ) be a stable, n -marked curve over k .The dual graph of ( Y, p , . . . , p n ) is the vertex-weighted, marked graph ( G, m, w )obtained as follows. • The vertices v i of G are in correspondence with the irreducible com-ponents C i of Y , with weights w ( v i ) recording the geometric genera ofthe components. • For every node p of Y , say lying on components C i and C j , there is anedge e p between v i and v j . • The marking function m : { , . . . , n } → V ( G ) sends j to the vertex of G corresponding to the component of Y supporting p j .Note that by Observation 2.3, ( G, m, w ) is stable since (
Y, p i ) is stable.2.4. Abstract tropical curves. A metric graph is a pair ( G, (cid:96) ), where G isa graph, and (cid:96) is a function (cid:96) : E ( G ) → R > on the edges of G . We imagine (cid:96) as recording real lengths on the edges of G .An abstract tropical curve is just a vertex-weighted, marked metric graph: Definition 2.13. [7, 8, 30] (Abstract tropical curves) An abstract tropicalcurve with n marked points is a quadruple Γ = ( G, (cid:96), m, w ) where: • G is a graph, • (cid:96) : E ( G ) → R > is any function, called a length function , on the edges, • m : { , . . . , n } → V ( G ) is any function, called a marking function , and • w : V ( G ) → Z ≥ is any function.The combinatorial type of Γ is the triple ( G, m, w ), in other words, all ofthe data of Γ except for the edge lengths. We say that Γ is stable if itscombinatorial type is stable. The volume of Γ is the sum of its edge lengths.
ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 13
From now on, I will mean “stable abstract tropical curve” when I say “ab-stract tropical curve,” even if I forget to say so.
Hints of a tropical moduli space.
Informally, we view a weight of w ( v )at a vertex v as w ( v ) loops, based at v , of infinitesimally small length. Eachinfinitesimal loop contributes 1 to the genus of C . Permitting vertex weightswill ensure that the moduli space of tropical curves, once it is constructed, iscomplete. That is, a sequence of genus g tropical curves obtained by sendingthe length of a loop to zero will still converge to a genus g curve.Of course, the real reason to permit vertex weights is so that the combina-torial types of genus g tropical curves correspond precisely to dual graphs ofstable curves in M g,n , and that the eventual moduli space will indeed be theboundary complex of M g,n ⊂ M g,n .2.5. From algebraic to tropical curves: abstract tropicalization.
Nowlet’s put everything together. We continue to let K be an algebraically closedfield, complete with respect to a nonarchimedean valuation. Let 2 g − n > X, p , . . . , p n ) is a smooth, proper, n -marked curve over K of genus g . Let us extract a tropical curve from the data of ( X, p i ) . The procedure will go like this. First we will extend X to a family X overSpec R along with n sections Spec R → X , filling in a stable, n -marked curveof genus g over k in the special fiber. The fact that this is possible is the StableReduction Theorem.Then we will associate to X the vertex-weighted dual graph of the special fiber X k . It only remains to equip the edges of the dual graph with real lengths.We do this as follows: for every node q of X k , say lying on components C i and C j , the completion of the local ring O X ,q is isomorphic to R [[ x, y ]] / ( xy − α ) forsome α ∈ R , and v ( α ) > e q between v i and v j of length v ( α ). The result is a stable vertex-weighed,marked metric graph. See again Example 2.1. Summarizing: Definition 2.14. (Abstract tropicalization) Let K be an algebraically closedfield, complete with respect to a nonarchimedean valuation. Suppose ( X, p ,. . . , p n ) is a smooth, proper, n -marked curve over K of genus g . The abstracttropicalization of ( X, p i ) is the dual graph of the special fiber of a stablemodel ( X , p i ) for ( X, p i ), declaring an edge corresponding to a node q to havelength v ( α ) if the local equation of q in X is xy − α . Remark 2.15.
We can now take Definition 2.14 and extend it quite painlessly,to tropicalize stable curves, not just smooth ones. In this situation, the local equation of a node in the special fiber may be of the form xy = 0; in otherwords, the node may have simply persisted from the general fiber. Thus thenatural result of tropicalization is a stable extended tropical curve: just like atropical curve, but with edge lengths taking values in R > ∪ {∞} . Remark 2.16.
Another way to say this whole story is that abstract tropical-ization sends
X/K to its
Berkovich skeleton : the minimal skeleton of X an , withrespect to the n marked points p , . . . , p n , equipped with the skeleton metric.See [4, § n infinite rays attached tothe vertices, for the n marked points). There is a lot to be said here, but themain point at the moment is that the interpretation of the abstract tropical-ization of X as its Berkovich skeleton shows that it’s canonically associatedwith X : the construction is in fact independent of all choices.3. Definition of the moduli space of tropical curves
It is time to construct the moduli space of tropical curves. This constructionis due to Brannetti-Melo-Viviani [7] and subsequently Caporaso [8], buildingon work of Mikhalkin [30] and with antecedents in related constructions ofGathmann-Markwig [16, 29]. Actually, many of the ideas can be traced backeven further to the work of Culler-Vogtmann [12].Fix g and n with 2 g − n >
0. Suppose we fix a single combinatorial type(
G, m, w ) of type ( g, n ), and allow the edge lengths l to vary over all positivereal numbers. Then we clearly obtain all tropical curves of that type. Thismotivates our construction of the moduli space of tropical curves below. Wewill first group together curves of the same combinatorial type, obtaining onecell for each combinatorial type. Then, we will glue our cells appropriately toobtain the moduli space.To make this construction, for the moment we will just follow our nosescombinatorially. But the whole point of the next lectures will be that thespace we get out the other side is a good one algebro-geometrically: it can beidentified with the boundary complex of the Deligne-Mumford compactification M g,n ⊃ M g,n .Let’s begin. First, fix a combinatorial type ( G, m, w ) of type ( g, n ). What isa parameter space for all tropical curves of this type? Our first guess might bea positive orthant R | E ( G ) | > , that is, a choice of positive length for each edge of G .But we have overcounted by symmetries of the combinatorial type ( G, m, w ).For example, in the “figure 8” depicted leftmost in Figure 3, the edge lengths(2 ,
5) and (5 ,
2) give the same tropical curve.
ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 15
Furthermore, with foresight, we will allow zero length edges as well, withthe understanding that such a curve will soon be identified with one obtainedby contracting those edges. This suggests the following definition:
Definition 3.1.
Given a combinatorial type (
G, m, w ), let the automor-phism group
Aut(
G, m, w ) be the set of all permutations ϕ : E ( G ) → E ( G )that arise from automorphisms of G that preserve m and w . The groupAut( G, m, w ) acts on the set E ( G ), and hence on the orthant R E ( G ) ≥ , withthe latter action given by permuting coordinates. We define C ( G, m, w ) to bethe quotient space C ( G, m, w ) = R E ( G ) ≥ / Aut(
G, m, w ) . Next, we define an equivalence relation on the points in the union (cid:97) C ( G, m, w ) , as ( G, m, w ) ranges over all combinatorial types of type ( g, n ). Regard a point x ∈ C ( G, m, w ) as an assignment of lengths to the edges of G . Now, giventwo points x ∈ C ( G, m, w ) and x (cid:48) ∈ C ( G (cid:48) , m (cid:48) , w (cid:48) ), identify x and x (cid:48) if one ofthem is obtained from the other by contracting all edges of length zero. By contraction , we mean the following. Contracting a loop, say based at vertex v ,means deleting that loop and adding 1 to w ( v ). Contracting a nonloop edge,say with endpoints v and v , means deleting that edge and identifying v and v to obtain a new vertex whose weight we set to w ( v ) + w ( v ).Let ∼ denote the equivalence relation generated by the identification wehave just defined. Now we glue the cells C ( G, m, w ) along ∼ to obtain ourmoduli space: Definition 3.2.
The moduli space M trop g,n is the topological space M trop g,n := (cid:97) C ( G, m, w ) / ∼ , where the disjoint union ranges over all combinatorial types of genus ( g, n ),and ∼ is the equivalence relation defined above.A picture of M trop1 , is shown in Figure 4. The picture is not entirely accurate,in that there is a 2-dimensional cone with a nontrivial symmetry which is drawnwith a dotted line through it, which is supposed to remind us of the self-gluingof this cone induced by the symmetry. Exercise 3.3.
Label the other cones of M trop1 , according to Exercise 2.10. Figure 4.
A picture of the tropical moduli space M trop1 , . Onlythe two top-dimensional strata are labeled. We have drawnmarked points as marked rays attached at vertices.
Exercise 3.4.
Verify that M trop g,n is pure (3 g − n )-dimensional, i.e., that theEuclidean dimension of every maximal cone C ( G, m, w ) of M trop g,n is 3 g − n .Of course M trop g,n , being built out of cones, is contractible: e.g., it retracts ontoits cone point, corresponding to the tropical curve, denoted • g,n , consisting ofa single vertex with weight g , n marked points, and no edges. But the link of M trop g,n , meaning a cross-section of M trop g,n , is topologically very interesting andis a main character of these lectures. Definition 3.5. (Link of tropical moduli space) The link ∆ g,n of M trop g,n atthe tropical curve • g,n is the quotient of M trop g,n \ {• g,n } induced by uniformscaling of edge lengths. It can also be identified with the subspace of M trop g,n parametrizing tropical curves of volume 1. Boundary complexes of toroidal embeddings
We are working towards the fundamental statement that the link of thetropical moduli space of curves is the boundary complex of the stable curvescompactification of M g,n . This is one of the main results of [1]. It is thisidentification that allows us to re-examine the boundary complex of M g,n ⊂M g,n as a worthy combinatorial moduli space in its own right, and to obtain Having said all of that, you can find a slightly different way of describing M trop g,n , as acolimit of a diagram of rational polyhedral cones over the appropriate category of graphs, in[1, § § M trop g,n with the structure of a generalizedcone complex, and its link has the structure of a smooth generalized ∆-complex in the senseof [11, § ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 17 new results about the topology of M g,n using tropical geometry techniques. Iwill describe some of those applications in the last lecture. Right now, we willanswer the question: what is a toroidal embedding , and what is its boundarycomplex ?4.1. ´Etale morphisms. Let’s recall the definition of an ´etale morphism ofschemes, which provides a more flexible notion of neighborhoods than doZariski open neighborhoods. Let f : X → Y be a morphism of schemes offinite type over a field k . Then f is called unramified if for all x ∈ X , letting y = f ( x ), we have that m y O X,x = m x , and furthermore k ( y ) is a separablefield extension of k ( x ). Then f is ´etale if it is both flat and unramified.´Etale morphisms are, roughly, the algebro-geometric local analogue of finitecovering spaces. For example: Example 4.1.
Let k = C . Then the map A → A sending z (cid:55)→ z n is ´etaleaway from z = 0.4.2. Toroidal embeddings.
The theory of toroidal embeddings is due toKempf-Knudsen-Mumford-Saint-Donat [24]. Let k be an algebraically closedfield. Let U be an open subvariety of a normal variety X over k . We say that U ⊂ X is a toroidal embedding if it is locally modeled by toric varieties. Moreprecisely, it is a toroidal embedding if for every x ∈ X , (cid:98) O X,x ∼ = (cid:98) O Y σ ,y where y ∈ Y σ is a point in an affine toric variety Y σ with torus T , and further-more, the ideals of X \ U and Y σ \ T correspond in the respective completedlocal rings.We’ll write D , . . . , D r for the irreducible components of X − U . There aretwo cases, one of which makes the theory more intricate: we say that a toroidalembedding has self-intersections if the components D i are not all normal.It is actually not a problem if you aren’t familiar with toric varieties, becausethe most relevant example for our purposes is one you definitely know: theusual embedding of the torus G nm into A n . Note that the complement A n \ G nm is the union of n coordinate hyperplanes, intersecting transversely.Indeed, toroidal embeddings whose local toric charts are all affine spaces arecalled normal crossings divisors, and this is the case we’ll be most interested in. Definition 4.2. (Normal crossings and simple normal crossings) Let X be anormal variety, and D a divisor. We say D is a normal crossings divisor if forevery x ∈ X , we have (cid:98) O X,x ∼ = k [[ x , . . . , x n ]] and the equation of D in (cid:98) O X,x is x · · · x i for some i . Equivalently, U = X − D ⊂ X is a toroidal embeddinglocally modeled by affine spaces.We say D is simple normal crossings if in addition D has no self-intersections. Example 4.3.
The nodal cubic V ( y = x + x ) in A is a normal crossingsdivisor, but not a simple normal crossings divisor.4.3. Boundary complexes of toroidal embeddings.
The theory of bound-ary complexes for toroidal embeddings without self-intersection is due againto Kempf-Knudsen-Mumford-Saint-Donat [24]. For simplicity, we will statethis theory in the case of simple normal crossings divisors, while emphasizingthat both the work [24] and the work of Thuillier [33] takes place in the moregeneral case of toroidal embeddings. Definition 4.4. (Boundary complex, no self-intersections). Suppose U ⊂ X isan open inclusion whose boundary is simple normal crossings. Let D , . . . , D r be the irreducible components of ∂X = X − U . The boundary complex ∆( U ⊂ X ), or just ∆( X ), is the ∆-complex on vertices D , . . . , D r with a d -face forevery irreducible component of an intersection D i ∩ · · · ∩ D i d +1 . Example 4.5.
The boundary complex ∆( G nm ⊂ A n ) is the simplex ∆ n − .Next, Thuillier recently extended the theory of boundary complexes in away that is important for our applications, dropping the assumption that the D i are normal [33]. Definition 4.6. (Boundary complex, self-intersections). Now let U ⊂ X havenormal crossings boundary. Let V → X be an ´etale surjective morphism to X ,such that U V = U × X V ⊂ V is simple normal crossings, and let V = V × X V ,with U = U V × X U V . The boundary complex of U ⊂ X is the coequalizer, inthe category of topological spaces, of the diagram∆( U ⊂ V ) ⇒ ∆( U V ⊂ V ) . Indeed, to a toroidal embedding U ⊂ X without self-intersections, one associates a rational polyhedral cone complex , whose cones correspond to the toroidal strata of U ⊂ X [24]. Next, if U ⊂ X is toroidal with self-intersections, one may associate a generalized conecomplex , a more general object in which self-gluings of cones are permitted [1, 33].How do these definitions specialize to Definitions 4.4 and 4.6, in the special cases of simplenormal crossings and normal crossings, respectively? In these cases, the cone complexesassociated to U ⊂ X are glued from smooth cones. The operation of replacing each smooth d -dimensional cone with a ( d − § generalized ∆ -complexes . Thuillier actually shows that this construction is independent of all choices, because infact it is intrinsic to the Berkovich analytification of the pair U ⊂ X . See [33] for the precisedescription. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 19
Figure 5.
The Whitney umbrella of Example 4.7.
Example 4.7.
Let k = C . Consider, as in [1, Example 6.1.7], the Whitneyumbrella D = { x y = z } ⊂ X = A \ { y = 0 } , drawn in Figure 5. Let U = X − D . We will explain why ∆( U ⊂ X ) is a“half-segment,” meaning the quotient of a line segment by a Z / Z reflection. Let V ∼ = A × G m → X be the ´etale cover of degree 2 given by a base change y = u . Then D V = D × X V = { x u − z = 0 } is simple normal crossings, and D = D V × X D V ∼ = D V × Z / Z , since D V isdegree 2 over D . Explicitly, one component of D parametrizes pairs ( p, p ) ofpoints in D V , and the other parametrizes pairs ( p, q ) with p (cid:54) = q lying over thesame point of D .That means that ∆( V ) is a segment and ∆( V ) is two segments, and thetwo maps ∆( V ) ⇒ ∆( V ) differ by one flip. So the coequalizer is a segmentmodulo a flip.What is going on complex-analytically? Let Y = { (0 , y,
0) : y (cid:54) = 0 } be theumbrella pole. It is a punctured affine line A − { } over C , to be visualizedcomplex-analytically as a punctured plane. The points (0 , u,
0) and (0 , − u, D correspond to the two analytic branches of D along Y at the point(0 , y, y = u . The equations of the branches are z = xu and z = − xu .So taking y around a loop around the puncture precisely interchanges thebranches. Exercise 4.8.
Compute the boundary complex of the complement of the nodalcubic V ( y = x + x ) in A . Of course, a line segment modulo a reflection is, topologically, just another segment.There is a more abstract definition of a boundary complex in which the half-segment andsegment are nonisomorphic, and only their geometric realizations as topological spaces arehomeomorphic. See [11, § Toroidal Deligne-Mumford stacks
Boundary complexes can be defined for toroidal Deligne-Mumford stacksas well by following Thuillier’s construction [1]. The punchline will be thattoroidal Deligne-Mumford stacks admit ´etale covers by toroidal schemes, andso Definition 4.6 can be repeated with respect to toroidal ´etale covers with nochanges. Here we’ll give a quick-start guide to toroidal DM stacks. We willhave to skip many details in order to get anywhere in the allotted time. ButI’ll try to indicate exactly what I’m skipping.5.1.
Categories fibered in groupoids.
Let us fix an algebraically closedfield k , without the structure of a valuation. Let Sch k denote the category ofschemes over k . Let me recall the following “negative result”: it’s impossibleto define a scheme that deserves to be called a fine moduli space for genus g , n -marked curves. By a fine moduli space I mean a space M g,n such that maps S to M g,n correspond, functorially, to families of genus g , n -marked curvesover S . The obstruction is that some curves have nontrivial automorphisms.Nevertheless, we can start by axiomatizing the desired property of a finemoduli space into a category whose objects are families of genus g , n -markedsmooth, respectively stable, curves. More precisely: Definition 5.1. (The category M g,n ). We denote by M g,n the category whoseobjects are flat, proper morphisms f : X → B of k -schemes, together with n sections p , . . . , p n : B → X , such that the geometric fibers, with their n marked points induced by the p i , are smooth curves of type ( g, n ). The mor-phisms in M g,n are Cartesian diagrams X (cid:48) (cid:47) (cid:47) (cid:15) (cid:15) X (cid:15) (cid:15) B (cid:48) (cid:47) (cid:47) B. Definition 5.2. (The category M g,n ). The definition of M g,n is the same asabove, but with families of stable curves instead.These two categories come equipped with obvious functors to Sch k : takea family of curves X → B , and remember only its base B . In fact, both M g,n and M g,n , along with their functors to Sch k , are examples of categoriesfibered in groupoids , or CFGs for short. I won’t state the condition that acategory is fibered in groupoids over Sch k , but I will state that in our case it isthe condition that pullbacks of families of curves exist and are unique up tounique isomorphism. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 21
Here is another CFG, verifying that CFGs encompass k -schemes: Definition 5.3. (The category S ). Let S be any k -scheme. The objects ofthe category S are morphisms X → S of k -schemes. The morphisms in S arecommuting triangles X (cid:48) → X → S . The functor S → Sch k sends ( X → S ) to X .In addition, the category S determines the scheme S , in the sense made preciseby Yoneda’s Lemma. In this case, the fact that S is a CFG boils down tothe fact that the composition of two morphisms X (cid:48) → X → S exists and isunique—which is obvious.A morphism of CFGs C and D is just what you think: it is a functor F : C →D making a commuting triangle with the functors
C →
Sch k and D →
Sch k .Using the Yoneda correspondence, you can check (and make more precise): Exercise 5.4.
To give a morphism S → M g,n is precisely to give a family ofgenus g , n -marked curves over S .5.2. Fast forward: Deligne-Mumford stacks, and toroidal embed-dings.
Now let’s chat a little about Deligne-Mumford stacks. Not all cat-egories fibered in groupoids are schemes. (In other words, not all CFGs are ofthe form S for some k -scheme S .) Stacks, and, even more restrictively, Deligne-Mumford stacks , are CFGs satisfying some extra conditions that make thembehave a little more geometrically, even if they aren’t exactly schemes.One of these requirements is the following, which we state as a fact aboutDeligne-Mumford stacks:
Fact 5.5. If M is a Deligne-Mumford stack, then there is an ´etale, surjectivemorphism from a scheme U to M . A very rough rephrasing is that locally, everywhere in a Deligne-Mumfordstack there is a “scheme covering space.”Given Fact 5.5, we can define toroidal Deligne-Mumford stacks by lookingon ´etale atlases, and define their boundary complexes in exactly the sameway as in Definition 4.6. We continue to let k be an algebraically closed fieldwithout valuation. All our stacks are separated and connected over k . What do I even mean by saying that the morphism U → M has a property like, say,´etale? The other condition for a stack M to be Deligne-Mumford is a representabilitycondition: it says that for any morphisms f : S → M and g : T → M from a scheme, the fiber product S × M T (which I will not define) is again a scheme. Then for any property P ofmorphisms that is preserved by base change, we say that f has property P if S × M T → T is a map of schemes with property P . Definition 5.6. (Toroidal Deligne-Mumford stacks). An open substack
U ⊂X of a Deligne-Mumford stack X is toroidal if for every ´etale morphism V → X from a scheme, the induced map of schemes U V := U × X V → V is a toroidalembedding (of schemes). Definition 5.7. (Boundary complexes of toroidal Deligne-Mumford stacks).This is a reprise of Definition 4.6. Let
U ⊂ X be a toroidal Deligne-Mumfordstack. Let V → X be an ´etale cover by a scheme such that U V → V is atoroidal embedding of schemes without self-intersections. Then the boundarycomplex of X is the coequalizer, in the category of topological spaces, of∆( V × X V ) ⇒ ∆( V ) . That’s it. Abramovich-Caporaso-Payne show that Thuillier’s work can beextended to the setting of DM stacks. In particular, when X is proper, theboundary complex of U ⊂ X can be found intrinsically inside the Berkovichanalytification of the coarse moduli space of X . Compactification of M g,n by stable curves We continue to let k be an algebraically closed field, with no valuation.At this point, I want to recall some of the essential facts about the Deligne-Mumford-Knudsen moduli stacks M g,n and M g,n [15, 25, 26, 27]. Fact 6.1.
The category M g,n of smooth genus g , n -marked curves over k , de-fined in Definition 5.2, is a smooth, proper Deligne-Mumford stack containing M g,n an open substack. The inclusion M g,n ⊂ M g,n is toroidal, indeed normalcrossings (though far from simple normal crossings). The boundary strata M G of M g,n . Moreover, the strata of the bound-ary M g,n \ M g,n are naturally indexed by genus g , n -marked combinatorialtypes G = ( G, m, w ), according to the dual graphs of the stable curves thatthey parametrize. I would now like to describe these strata, which we’ll denote M G . This description follows [1, § § G = ( G, m, w ). For each vertex v , let n v =val( v ) + | m − ( v ) | where val( v ) is the valence of v . Let (cid:103) M G = (cid:89) v ∈ V ( G ) M w ( v ) ,n v . In fact, it can be found intrinsically inside the analytification of the stack X itself [35,IV]. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 23
If you think about it, (cid:103) M G can be identified with the moduli space of n -markedgenus g stable curves, together with a chosen isomorphism of the dual graphwith G . To get rid of that choice of isomorphism, we take the stack quotient[ (cid:103) M G / Aut( G )]. The theorem is then that there is a canonical isomorphism M G ∼ = [ (cid:103) M G / Aut( G )] . An explicit example is given in Example 6.2 below.(It is worth noting that this stratification is inclusion-reversing with respectto the corresponding stratification of M trop g,n by combinatorial type. The moreedges there are in G , the smaller the stratum M G is, and the larger C ( G ) isin the tropical moduli space.)Now, given a point p ∈ M G corresponding to a stable curve C , we maydescribe an ´etale neighborhood V p of p in M g,n in which the boundary canbe identified with the d coordinate hyperplanes inside A d . The boundary of M g,n in this neighborhood V p is a union of irreducible divisors D with simplenormal crossings; each D i corresponds to an edge of G and parametrizes localsmoothings of the corresponding node. So the boundary complex of V p is justa simplex ∆ E ( G ) − .But there is in fact monodromy manifested in the coequalizer∆( V p × V p ) ⇒ ∆( V p ) , and it turns out that this monodromy identifies the coequalizer of the diagramabove with ∆ E ( G ) − / Aut( G ) , where Aut( G ) acts by permutation on E ( G ). So there is concordance on thelevel of strata with M trop g,n ! Example 6.2.
Let’s see everything at work in the following specific exampleof a stratum in M , .Let G be the combinatorial type below.
12 3
Consider the boundary stratum M G of M , . Locally, it is a self-intersection ofthe boundary component whose dual graph is obtained from G by contractingeither edge.Let’s describe M G . I’ll assume char k (cid:54) = 2 in this example. According tothe discussion above we have (cid:103) M G ∼ = M , . Essentially, to give a stable curve C with dual graph G along with a fixed identification of the two nodes of C with the two edges of G , we choose (up to projective equivalence) four distinct points p , p , q , q on a P , with the understanding that p will be marked1, p marked 2, and q and q will be the two points of attachment of theother rational curve. Of course M , is an honest variety: for example, fixing p = 0 , p = 1 , and q = ∞ identifies M , with A − { , } .Now M G is then the stack quotient [ M , / ( Z / Z )], where the action is theone that exchanges q and q . You can work out that with the identification (cid:103) M G = A − { , } above, the action sends a to 1 − a .Thus the quotient M G is a once-punctured plane with a Z / Z -stacky point,corresponding to the fixed point (0 , , ∞ , /
2) of M , under Z / Z . It is thestacky point that produces monodromy: walking around it interchanges theanalytic branches of the boundary divisor that meet along it. This exampleis just like Example 4.7, except that the punctured complex plane in thatexample is now filled in with a Z / Z -stacky point, and there is another (in-consequential) puncture elsewhere.The result is that for a point p in M G , the neighborhood V p has boundarycomplex a segment modulo a flip, just as in Example 4.7. And this is indeed aslice of the cell C ( G ) corresponding to G in the tropical moduli space M trop1 , .I omitted many details here, but this can all be patched together to show: Theorem 6.3. [1]
There is a canonical identification of the link ∆ g,n of M trop g,n with the boundary complex of the toroidal embedding M g,n ⊂ M g,n . Applications to the topology of M g,n . What good is all of that? Hereis one application to the cohomology of M g,n .Suppose U is a smooth variety over k , or even a smooth Deligne-Mumfordstack. Let X be a normal crossings compactification of U . It is a fact that thehomotopy type of the boundary complex ∆( X ) is independent of the choiceof compactification X ; that is, any other normal crossings compactificationproduces a homotopy equivalent complex [13]. This means that all topologicalinvariants of ∆( X ) are actually invariants of U itself. One very interesting suchinvariant is the rational homology of ∆( X ). The reason that it is particularlyinteresting is as follows.Set k = C . Then there is a weight filtration , due to Deligne, on the coho-mology of U W H k ( U, Q ) ⊂ · · · ⊂ W k H k ( U, Q ) = H k ( U, Q ) . Let’s write Gr Wk H j for the quotient W k H j /W k − H j . Letting d = dim U , I’llrefer to Gr W d H ∗ as the top-weight cohomology , since cohomology never appearsin weights above 2 d . The point is that there is a canonical identification(3) (cid:101) H i − (∆( U ⊂ X ) , Q ) ∼ = Gr W d H d − i ( U, Q ) ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 25 of reduced, rational homology of the boundary complex, up to shifting degrees,with the top-weight rational cohomology of U . These facts all follow fromDeligne’s work on mixed Hodge structures [14] in the case of varieties; inthe case of stacks, they can be proved following Deligne’s ideas as in [11,Appendix]. In short: the top-weight slice of cohomology is combinatoriallyencoded in the boundary complex of any normal crossings compactification.The identification (3), along with Theorem 6.3, allows us to study the ra-tional cohomology of M g,n appearing in top weight exactly by studying thereduced rational homology of M trop g,n . This is a useful shift in perspective, be-cause it allows arguments from tropical geometry and metric graph theoryto be employed to study these complexes. Along these lines, S. Galatius,S. Payne, and I have shown some general results on ∆( M g,n ), including alower bound on the connectivity of those spaces. When g = 1, our resultsallow us to describe the whole situation pretty thoroughly: Theorem 6.4. [11](1) ∆( M ,n ) is homotopy equivalent to a wedge of ( n − / n ≥
3. (It is contractible when n = 1 and 2.) Therefore:(2) For each n ≥
1, the top weight cohomology of M ,n isGr W n H i ( M ,n , Q ) ∼ = (cid:26) Q ( n − / for n ≥ i = n ,0 otherwise.Moreover, for each n ≥
3, the representation of S n on Gr W n H n ( M ,n , Q )induced by permuting marked points can be described explicitly, as in[11].(3) When n ≥
3, a dual basis for Gr W n ( M ,n , Q ) is given by the torusclasses associated to the ( n − / n once-marked P s.I should remark that when n ≥
5, Theorem 6.4(2) also follows in principlefrom an earlier calculation by E. Getzler [17], as we explain in [11]. There isalso a companion paper for the case g = 2 [10], in which I again use tropicaltechniques to show vanishing of integral homology of ∆( M ,n ) outside thetop two degrees, and compute the top-weight Euler characteristic of M ,n forevery n . Furthermore, using tropical geometry and using a computer one canfully compute the top-weight Q -cohomology of M g,n in a range of cases, aswe discuss in [10, 11]. I reproduce the computations for M ,n from [10] foryour curiosity: the cohomology is concentrated in degrees n + 3 and n + 4 withranks given in the table below. We say that a space is n -connected if the homotopy groups π , . . . , π n all vanish. n W d H n +3 ( M ,n , Q ) 0 0 1 0 3 15 86 575 4426dim Gr W d H n +4 ( M ,n , Q ) 0 0 0 0 1 5 26 155 1066 Acknowledgments.
Thank you very much to the organizers of the Moduli ofCurves School at CIMAT for inviting me to lecture and to write these notes,and to Dan Abramovich, Ethan Cotterill, Sam Payne, and the anonymousreviewer for giving me comments on them. I’m grateful to Dan Abramovich,Matt Baker, Lucia Caporaso, Joe Harris, Diane Maclagan, Sam Payne, andBernd Sturmfels, and many others for many helpful conversations over theyears.
References [1] D. Abramovich, L. Caporaso, S. Payne, The tropicalization of the moduli space ofcurves, Ann. Sci. Ec. Norm. Sup´er., 48 (2015), no. 4, 765–809.[2] E. Arbarello, M. Cornalba, P. Griffiths, Geometry of algebraic curves. Volume II. With acontribution by Joseph Daniel Harris. Grundlehren der Mathematischen Wissenschafte,268. Springer, Heidelberg, 2011.[3] M. Baker, D. Jensen, Degeneration of linear series from the tropical point of view andapplications, preprint, arXiv:1504.05544 .[4] M. Baker, S. Payne, J. Rabinoff, Nonarchimedean geometry, tropicalization, and met-rics on curves, Algebraic Geometry 3 (2016), no. 1, 63–105.[5] V. Berkovich, Spectral theory and analytic geometry over non-Archimedean fields,Mathematical Surveys and Monographs, 33, American Mathematical Society, Provi-dence, RI, 1990.[6] S. Bosch, W. L¨utkebohmert, Stable reduction and uniformization of abelian varieties.I., Math. Ann. 270 (1985), no. 3, 349–379.[7] S. Brannetti, M. Melo, F. Viviani, On the tropical Torelli map, Advances in Mathe-matics 226 (2011) 2546–2586.[8] L. Caporaso, Algebraic and tropical curves: comparing their moduli spaces, Handbookof Moduli, Volume I, G. Farkas, I. Morrison (eds.), Advanced Lectures in Mathematics,Volume XXIV (2013), 119–160.[9] M. Chan, Combinatorics of the tropical Torelli map, Algebra Number Theory 6 (2012),no. 6, 1133–1169.[10] M. Chan, Topology of the tropical moduli spaces M ,n , preprint, arxiv:1507.03878 [11] M. Chan, S. Galatius, S. Payne, The tropicalization of the moduli space of curves II:topology and applications, preprint, arxiv:1604.03176 [12] M. Culler, K. Vogtmann, Moduli of graphs and automorphisms of free groups, Invent.Math. 84 (1986), no. 1, 91–119.[13] V. I. Danilov, Polyhedra of schemes and algebraic varieties, Mat. Sb. (N.S.) 139 (1975),no. 1, 146–158, 160.[14] P. Deligne, Th´eorie de Hodge II, III, Inst. Hautes ´Etudes Sci. Publ. Math. No. 40 (1971)5–57 and 44 (1974), 5–77.[15] P. Deligne, D. Mumford, The irreducibility of the space of curves of given genus,Inst. Hautes ´Etudes Sci. Publ. Math. No. 36 (1969) 75–109. ECTURES ON TROPICAL CURVES AND THEIR MODULI SPACES 27 [16] A. Gathmann, H. Markwig, The numbers of tropical plane curves through points ingeneral position, J. Reine Angew. Math. 602 (2007), 155–177.[17] E. Getzler, Resolving mixed Hodge modules on configuration spaces, Duke Math. J. 96(1999), no. 1, 175–203.[18] W. Gubler, A guide to tropicalizations, Algebraic and combinatorial aspects of tropicalgeometry, 125–189, Contemp. Math., 589, Amer. Math. Soc., Providence, RI, 2013.[19] W. Gubler, J. Rabinoff, and A. Werner, Skeletons and tropicalizations, Adv. Math. 294(2016) 150–215.[20] P. Hacking, The homology of tropical varieties, Collect. Math. 59 (2008), no. 3, 263–273.[21] J. Harris and I. Morrison, Moduli of curves, Graduate Texts in Mathematics, 187.Springer–Verlag, New York (1998), xiv+366 pp.[22] A. N. Jensen, Gfan, a software system for Gr¨obner fans and tropical varieties, availableat http://home.imf.au.dk/jensen/software/gfan/gfan.html .[23] T. Kajiwara, Tropical toric geometry, Toric topology, 197–207, Contemp. Math., 460,Amer. Math. Soc., Providence, RI, 2008.[24] G. Kempf, F. Knudsen, D. Mumford, and B. Saint-Donat, Toroidal embeddings. I,Lecture Notes in Mathematics, Vol. 339, Springer-Verlag, Berlin, 1973.[25] F. F. Knudsen and D. Mumford, The projectivity of the moduli space of stable curves.I. Preliminaries on “det” and “Div”, Math. Scand. 39 (1976), no. 1, 19–55.[26] F. F. Knudsen, The projectivity of the moduli space of stable curves. II. The stacks M g,n . Math. Scand. 52 (1983), no. 2, 161–199.[27] F. F. Knudsen, The projectivity of the moduli space of stable curves. III. The linebundles on M g,n , and a proof of the projectivity of M g,n in characteristic 0. Math.Scand. 52 (1983), no. 2, 200–212.[28] D. Maclagan, B. Sturmfels, Introduction to Tropical Geometry, Graduate Studies inMathematics, 161, AMS, Providence, RI, 2014. vii+359pp.[29] H. Markwig, The enumeration of plane tropical curves, Ph.D dissertation, TechnischenUniversit¨at Kaiserslautern, 2006.[30] G. Mikhalkin, Tropical geometry and its applications, International Congress of Math-ematicians. Vol. II, 827–852, Eur. Math. Soc., Z¨urich, 2006.[31] G. Mikhalkin, I. Zharkov, Tropical curves, their Jacobians and theta functions, Con-temporary Mathematics 465, Proceedings of the International Conference on Curvesand Abelian Varieties in honor of Roy Smith’s 65th birthday (2007), 203–231.[32] S. Payne, Analytification is the limit of all tropicalizations, Math. Res. Lett. 16 (2009),no. 3, 543–556.[33] A. Thuillier, G´eom´etrie toro¨ıdale et g´eom´etrie analytique non archim´edienne. Applica-tion au type d’homotopie de certains sch´emas formels, Manuscripta Math. 123 (2007),no. 4, 381–451.[34] I. Tyomkin, Tropical geometry and correspondence theorems via toric stacks, Math.Ann. 353 (2012), no. 3, 945–995.[35] M. Ulirsch, Tropical geometry of logarithmic schemes, Ph.D. dissertation, Brown Uni-versity, 2015.[36] F. Viviani, Tropicalizing vs. compactifying the Torelli morphism, Tropical and non-Archimedean geometry, 181–210, Contemp. Math., 605, Amer. Math. Soc., Providence,RI, 2013. Department of Mathematics, Brown University, Providence, RI 02912
E-mail address ::