Tropical Geometry
Tropical Geometry
2 Tropical hypersurfaces in Rn 29
2.1 Polyhedral geometry dictionary I . . . . . . . . . . . . . . . . . . 30
2.2 Tropical Laurent polynomials and hypersurfaces . . . . . . . . 34
2.3 The polyhedral structure of hypersurfaces . . . . . . . . . . . . 40
2.4 The balancing condition . . . . . . . . . . . . . . . . . . . . . . . 47
2.5 Planar Curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.6 Floor decompositions . . . . . . . . . . . . . . . . . . . . . . . . . 69
2
Contents
3
Acknowledgements
4
1 Introduction
1.1 Algebraic geometry over what?
The two words “Algebraic Geometry” may invoke different images for dif-
ferent people today. For some it might be something very abstract, and even
somewhat formalistic, adapted to work in the most general setting possible.
For many others, including the authors of this book, Algebraic Geometry is
a branch of geometry in the first place — geometry of spaces defined by
polynomial equations.
Note that (unlike many algebraic properties) the resulting geometry de-
pends not only on the type of the defining equations, but also on the choice
of the numbers where we look for solutions. The two most classical choices
are the field R of real numbers and the field C of complex numbers. Both
these fields come naturally enhanced with the so-called “Euclidean topol-
ogy” induced by the metric |x − y| between two points x, y ∈ R (or in C).
Furthermore, real algebraic varieties are differentiable manifolds (perhaps
with singularities) from a topological viewpoint, and complex algebraic va-
rieties are special kind of real algebraic varieties of twice the dimension.
To illustrate the two parallel classical theories let us recall the classical
example of the so-called elliptic curve. Namely, consider a cubic curve in the
complex projective plane CP2 . As long as the defining cubic polynomial is
chosen generically, the resulting curve is topologically a 2-dimensional torus
(see Figure 1.1). This torus is embedded in the complex projective plane
CP2 . As CP2 is 4-dimensional such embedding is beyond our imagination
tools.
Now consider the case of real coefficients. Even if the defining polynomial
is chosen generically, the topological type of the curve is not fixed. But there
are only two possible cases, see Figure 1.2.
As the ambient real projective plane RP2 is indeed 2-dimensional, we can
actually draw how the curve is embedded there. Recall that topologically
5
1 Introduction
antipodal points
get identified
6
1 Introduction
oval
non-
non- trivial
trivial comp.
comp.
Figure 1.4 depicts embeddings of cubic curves in the real projective plane.
Note that there might be different pictures inside D2 before the self-iden-
tification of its boundary, but we get one of the two pictures above in
RP2 = D2 / ∼ for any smooth real curve. An example is given in Figure
1.5.
non-trivial
comp.
oval
7
1 Introduction
Definition 1.2.1
The set T enhanced with the arithmetic operations (1.1) and (1.2) is called
the set of tropical numbers.
8
1 Introduction
Remark 1.2.2
There are papers where min{x, y} is taken for tropical addition. In such
case one has to modify the set of tropical numbers to include +∞ and ex-
clude −∞. It is hard to say which choice is better. The choice of max may
be more natural from the mathematical viewpoint as we are more used to
taking the logarithm whose base is greater than 1, cf. equation (1.4). Also
when we add two numbers in this way the sum does not get smaller. How-
ever in some considerations in Computer Science and Physics (cf. [IM12])
taking the minimum is more natural. Clearly it does not really matter as
the two choices are isomorphic under x 7→ −x.
Remark 1.2.3
The term “tropical” was borrowed from Computer Science, where it was
reportedly introduced to commemorate contributions of the Brazilian com-
puter scientist Imre Simon. Simon introduced the semiring (N, min, +)
which was later baptized “tropical” following a suggestion of Christian Chof-
furt (see [Sim88; Cho92]). According to Jean-Eric Pin, the suggestion was
(also) made by Dominique Perrin (see [Pin98]). Some years later, in the
first days of what is now known as tropical geometry, the adjective “tropical”
quickly outplayed other suggestions inspired by “non-archimedean amoe-
bas”, “idempotent algebraic geometry” or “logarithmic limit sets”.
9
1 Introduction
Remark 1.2.5
Note that the Euclidean topology on T is determined by the linear order on
T: it is generated by the sets Ua = {x ∈ T | x < a} and Va = {x ∈ T | a < x}
(as a subbase) for all possible a ∈ T .
The tropical non-zero numbers are T× = R. Of course, they form an
honest group with respect to tropical multiplication as it coincides with
the conventional addition. It is easy to check that the tropical arithmetic
operations satisfy the distribution law
“(x + y)z” = “xz + yz”.
So we see that the only defect of tropical arithmetics is the missing sub-
traction which makes the tropical numbers a so-called semifield instead of
a field. It does not stop us from defining polynomials. Let A ⊂ Nn be a finite
set of integer vectors with non-negative entries. We denote the entries of
j ∈ A by j = ( j1 , . . . , jn ). The function
X
j
“ a j x 11 · · · x njn ” = max{a j + j x} : Tn → T
j∈A
j∈A
10
1 Introduction
Rn ⊆ D ⊆ Tn
Definition 1.3.1
An affine map Φ : V → W between tropical vector spaces V, W is called
integer affine if for any x, y ∈ V with x − y ∈ NV we have (Φ(x) − Φ( y)) ∈
NW . The map Φ is called an integer affine transformation of V if V = W , it is
11
1 Introduction
invertible and the inverse function is an integer affine map, too. We define
the differential dΦ : V → W as the conventional differential (identifying
V = Tx V and W = Tφ(x) W ). Note that dΦ takes NV to NW . Clearly, an
integer affine map Φ : V → V is an integer affine transformation if and only
if dΦ|NV is a bijection to NV .
We can generalize these notions to local versions whenever the underly-
ing space comes equipped with a so-called integer affine structure.
Definition 1.3.2
Let M be a smooth n-dimensional manifold. An integer affine structure on
M is given by an open cover Uα and charts φα : Uα → Rn such that for
each pair α, β the overlapping map φβ ◦ φα−1 is locally the restriction of an
integer affine transformation Φβα : Rn → Rn .
Two integer affine structures on M are considered equivalent if the union
of their covers and charts gives an integer affine structure as well. A man-
ifold M together with an equivalence class of integer affine structures is
called an integer affine manifold.
Example 1.3.3
Let A be a real affine space with tangent vector space V . Obviously, by
choosing a lattice NA ⊂ V (i.e. turning V into a tropical vector space) induces
an integral affine structure on A. It is tempting to call such an integral affine
manifold a tropical affine space. However, in this text we reserve this term
for the space Tn (following the algebro-geometric viewpoint here).
Example 1.3.4
Let (V, N ) be a tropical vector space and let Λ ⊂ V be an arbitrary lattice
(unrelated to N ). We declare points x, y ∈ A equivalent if x − y ∈ Λ. Let
T := V /Λ denote the quotient space. Then T is a integer affine manifold
diffeomorphic to (S 1 )n . Indeed, the quotient map V → T can be inverted
locally and the usual atlas given by local inverse maps provides an integer
affine structure on T . We call T a tropical torus.
We will see that the tropical structure on general tropical manifolds can
be thought of as an extension of integer affine structures to polyhedral com-
plexes. Let us preview this (without detailed explanation) by revisiting the
example of a smooth cubic curve in the plane.
12
1 Introduction
13
1 Introduction
14
1 Introduction
z = ae iα , a, α ∈ R, a ≥ 0.
x ¾ t y = Log t (Log−1
t
x + Log−1
t
y) (1.3)
15
1 Introduction
x ¾ t y = [log t |t x − t y |, log t (t x + t y )] ⊂ T,
Remark 1.4.1
Note also that if x 6= y, then we have
We see that in this case “x + y” is the single limit of the multi-valued oper-
ation x ¾ t y and therefore independent of the chosen phases for the preim-
ages of x and y. If x = y then min{x ¾ t y} = −∞, so it is independent of
t. Hence, in the realm of multivalued operations, the limit of ¾ t for t → ∞
is the multivalued tropical addition
¨
max(a, b) if a 6= b,
a+b=
[∞, a] if a = b.
16
1 Introduction
17
1 Introduction
(in the following, the logarithm without index always refers to the natural
base logarithm log := loge ) as we see in the next remark.
Remark 1.5.1
It was observed by Passare (see [Pas08]) that two different ways of comput-
ing the area Ze produces yet another proof of Euler’s formula ζ(2) = π2 /6.
log
Indeed, as log t = log(t) coordinatewise it suffices to establish (1.6) for t = e.
Let us compute the area of the part of Ae in the negative quadrant. It is
given by
Z0 Z0 Z0
dxd y = − log(1 − e x )d x
−∞ log(1−e x ) −∞
Z 0 X
∞ ∞ Z 0 ∞
e nx X e nx X 1
= dx = dx = = ζ(2).
−∞ i=1
n i=1 −∞
n i=1
n2
On the other hand, one can show (using the fact that {z + w + 1 = 0} ∈ C2
is a holomorphic submanifold) that the area of Ae is half of the area of the
corresponding coamoeba, which is the image of {z + w + 1 = 0} ∈ (C× )2
under the argument map
Arg : (C× )2 → (R/2πZ)2 , (a1 e iα1 , a2 e iα2 ) 7→ (α1 , α2 ).
Using elementary triangle geometry (for all 0 < β1 , β2 , β1 + β2 < π there
exists a triangle with vertices 0, 1 ∈ C and interior angles β1 and β2 ) one can
18
1 Introduction
19
1 Introduction
Figure 1.12: Tropical lines intersect in one point. They can be used to con-
nect any pair of points in T2 .
coefficients defining this line. Indeed, we will later define the notion of a
tropical hypersurface of a tropical polynomial, and in the case of the linear
tropical polynomial “Ax +B y +C” this hypersurface will be equal to L. Note
that the tropical lines we can get in this way only differ by translations in
R2 .
Remark 1.5.2
Let us consider a special case when b(t) = −1, a(t) = t A, c(t) = t C . Then
the curve Vt is a graph of the function w(z) = t Az + t C while its amoeba can
be written as
Log t (Vt ) = { y = “Ax” ¾ t C},
i.e. it can be thought of as the graph of the multivalued addition (1.3) of
“Ax” = A + x ∈ T and C ∈ R. The statement continues to hold in the limit
case t → ∞ if we use multivalued tropical addition +, i.e.
We easily get some familiar properties of lines for the new piecewise lin-
ear objects. Two generic lines intersect in a single point. And for two generic
points in R2 there is a unique line connecting them. We get more tropical
lines in R2 if we allow the coefficients A, B, C to be −∞ = 0T as well: con-
ventional horizontal lines, vertical lines and diagonal lines parallel to the
vector (1, 1), see Figure 2.21.
Remark 1.5.3
For an affine variety V ⊂ Cn we call Log t (V ) ⊂ Tn its affine amoeba. Note
20
1 Introduction
in z whose coefficients a j (t) are C-valued functions in the positive real vari-
able t (defined for sufficiently large values of t) such that there exist α j ∈ C×
and A j ∈ R
a j (t) − α j t A j
lim = 0,
t→+∞ tAj
in other words, a j (t) = α j t A j + o(t A j ), t → +∞.
We may note that the amoeba Log t (G t ) is contained in the graph of the
multivalued polynomial
21
1 Introduction
By Remark 1.4.1 the set F t (x) ⊂ T has a one-point limit {F (x)} when t →
+∞ if x is such that the collection {“Ad x d ”} has a unique maximum. If
this maximum is not unique then this limit is [−∞, F (x)]. Again, using
multivalued tropical addition this can be reformulated by saying that the
limit of Log t (G t ) is equal to the graph of F∞ = A0 + “A1 x” + · · · + “Ad x d ”.
Clearly the same holds if we slightly perturb the coefficients a j (t) from
α j t A j to α j t A j + o(t A j ). The limit of Log t (G t ) is shown on Figure 1.14.
22
1 Introduction
Figure 1.15: Log t maps the real line z + w + 1 = 0 to the three boundary
arcs of the amoeba.
23
1 Introduction
Log t , t → ∞
(+, −)
(+, −)
(−, −) (−, −)
(−, −),
(−, +), (+, −)
(−, +)
Figure 1.17: A tropical line whose edges are labelled with signs referring to
the 4 quadrants.
24
1 Introduction
R2
Figure 1.18: RP2 obtained from gluing four copies of TP2 (antipodal points
are also identified).
RΓ
called Ragsdale conjecture standing open since 1906 (see [Rag06] for the
conjecture and [IV96] for the counterexample). Let us review the relevant
background of this conjecture.
There are only two homology types of circles embedded in RP2 . The line
RL is an example of the non-trivial class (as the complement RP2 \ RL is
still connected). A circle which bounds a disc in RP2 is zero-homologous
and is called an oval. If we consider a smooth real algebraic curve RC ⊂
RP2 , then its connected components are embedded circles. Note that non-
trivially embedded circles must intersect by topological reasons and that
their intersection points must be singular points of RC. Thus if the degree
of RC is even then all its components are ovals; if it is odd, then all but one
component are ovals.
25
1 Introduction
Each oval separates its complement into two connected components, the
interior (homeomorphic to a disc) and the exterior (homeomorphic to a
Möbius band). An oval is called even if it sits in the interior of an even
number of other ovals (and odd otherwise). The Ragsdale conjecture stated
that the number of even ovals, denoted by p, of a smooth real curve of even
degree 2k is bounded by
3k(k − 1)
p≤ + 1.
2
It was noted by Viro [Vir80] that this inequality comes as a special case of
the more general conjecture
26
1 Introduction
27
1 Introduction
28
2 Tropical hypersurfaces in Rn
We start our presentation of tropical geometry with tropical hypersurfaces
in Rn . Recall from the introduction that R can be regarded as the set of
tropical non-zero numbers T× . Hence, using the terminology from algebraic
geometry, Rn = (T× )n is the tropical algebraic torus. Subvarieties of the
algebraic torus are usually called very affine varieties in algebraic geometry.
In this sense, we are dealing with tropical very affine geometry in this (and
the next) chapter.
As many examples in the introduction showed, tropical algebraic geom-
etry can typically be translated into notions from ordinary affine geometry
(unfortunately in slight conflict with the meaning of “affine” in the previous
paragraph) after unwrapping the definition of tropical arithmetics. Table
2.1 shows an incomplete dictionary between tropical algebro-geometric and
ordinary affine language and the present chapters focuses on exploring this
interplay in the case of hypersurfaces. It is therefore appropriate to start by
recalling some basic notions from affine and polyhedral geometry.
Throughout the following, any reference to topology refers to the Eu-
clidean topology of Rn .
29
2 Tropical hypersurfaces in Rn
30
2 Tropical hypersurfaces in Rn
2.1.2 Polyhedra
For each integer affine function κ on V , we define the rational halfspace of
κ to be
Hκ := {x ∈ V : κ(x) ≥ 0} = {x ∈ V : j x ≥ −a}.
A subset σ ⊆ V is called a rational polyhedron of X if it is the intersection
of finitely many rational halfspaces. Let us emphasize that the adjective
“rational” refers to the fact that the bounding inequalities have linear parts
in N ∗ (or, equivalently, N ∗ ⊗ Q). As we will not work with other halfspaces
or polyhedra, and also to avoid conflicts with other usage of the attribute
“rational”, we mostly drop it in the following. Figure 2.1 depicts an un-
bounded and a compact polyhedron.
The Minkowski sum of two polyhedra
σ + σ0 = {x + y : x ∈ σ, y ∈ σ0 }
31
2 Tropical hypersurfaces in Rn
by σ and called the linear span of σ. More precisely, L(σ) is spanned by all
differences x − y, x, y ∈ σ. We define the dimension of σ by dim(σ) :=
dim(L(σ)). We set LZ (σ) = L(σ) ∩ Zn . If σ is is rational, then LZ (σ) is a
lattice in L(σ).
Let σ ⊂ V be a polyhedron. The recession cone rc(σ) of σ is the set of
direction vectors of all rays contained in σ,
σ = R≥0 v1 + . . . R≥0 vk
32
2 Tropical hypersurfaces in Rn
The collection of cones Cτ for all faces τ of σ forms a polyhedral fan which
is the normal fan of σ, denoted by N (P) (see [BG09, Proposition 1.67]).
Let X be a polyhedral complex in V and fix a cell τ ∈ X . For any cell
σ ∈ X containing τ, we define σ/τ to be the polyhedral cone in V / L(τ)
generated by all differences x − y, x ∈ σ, y ∈ τ. The collection of σ/τ for
all σ ⊇ τ forms a pointed fan in V / L(τ) denoted by StarX (τ) and called
the star of X at τ.
Exercise 2.1.1
Let σ and σ0 be polyhedra such that σ ∩ σ0 6= ;. Show that rc(σ ∩ σ0 ) =
rc(σ) ∩ rc(σ0 ).
Exercise 2.1.2
Prove that StarX (τ) = {σ/τ : τ ⊂ σ} is a pointed fan.
Exercise 2.1.3
Let X and Y be two polyhedral complexes in Rn . Show that
X ∩ Y := {σ ∩ σ0 : σ ∈ X , σ0 ∈ Y }
33
2 Tropical hypersurfaces in Rn
Exercise 2.1.4
Let X and Y be two polyhedral complexes in Rn and Rm , respectively. Show
that
X × Y := {σ × σ0 : σ ∈ X , σ0 ∈ Y }
is a polyhedral complex in Rn+m and |X × Y | = |X | × |Y |.
κ(x 1 , . . . , x n ) = a + j1 x 1 + · · · + jn x n .
κ(x) = “ax j ” = a + j x,
34
2 Tropical hypersurfaces in Rn
Example 2.2.1
If a tropical Laurent polynomial f can be represented by only one term,
then it is just an integer affine function, as discussed before. If f consists
of two terms, say f = “ai x i + a j x j ”, then it divides Rn into two halfspaces
along the hyperplane ai + i x = a j + j x. In one half, f equals ai + i x, in the
other f is a j + j x. In particular, f is locally integer affine except for points
in the hyperplane, where f is non-differentiable and strictly convex.
Example 2.2.2
We take three polynomials f1 = “0 + 1x + x 2 ”, f2 = “0 + x + x 2 ” and f3 =
“0 + (−1)x + x 2 ” in one variable x. First, let us point out some possibly
confusing facts. Note that neither the constant term 0 not the coefficient
1 of 1x can be omitted here, because 0 6= 0T = −∞ and 1 6= 1T = 0. In
fact, x 2 = “0x 2 ”, but “1x” 6= x = “0x”. After this piece of warning, let us
just draw the graphs of the three functions (see Figure 2.2). The important
observation is that f2 and f3 are actually the same functions coming from
different representations as a sum of monomials. For f3 , the linear term is
never maximal. For f2 , the linear term is maximal at 0, but only together
with the other two terms. In fact, the “shortest” representation of both
functions is given by f2 = f3 = “0+ x 2 ”. Apart from that, note that again the
functions are non-differentiable and strictly convex only at a finite number
35
2 Tropical hypersurfaces in Rn
of breaking points. Away from these points, only one monomial attains the
maximum and hence the function is locally affine linear.
Example 2.2.3
The expression
Definition 2.2.4
Let f be a tropical Laurent polynomial in n variables. Then we define the
36
2 Tropical hypersurfaces in Rn
Proposition P 2.2.5 j
Let f = “ j∈A a j x ” be a representation of tropical polynomial. Then the
hypersurface V ( f ) is equal to the set of points x ∈ Rn where the maximum
f (x) is attained by at least two monomials, i.e.
Example 2.2.6
For the three (in fact, two) polynomials from example 2.2.2, the hypersur-
faces are just finite sets of points (see Figure 2.4).
V ( f1 ) = {−1, 1} V ( f2 ) = V ( f3 ) = {0}
37
2 Tropical hypersurfaces in Rn
Remark 2.2.7
As mentioned in the introduction, there is an alternative definition of the
tropical sum of two numbers given by multivalued addition. This was sug-
gested by Viro (cf. [Vir10]) and is given, for each two numbers a, b ∈ T =
R ∪ {−∞}, by ¨
max(a, b) if a 6= b,
a+b= (2.1)
[−∞, a] if a = b.
Note that when a = b, the sum a + b is not just a single element but the
set [−∞, a] := {−∞} ∪ {x ∈ R : x ≤ a}. The set T equipped with the
multivalued addition + and the uni-valued multiplication “ · ” = + forms a
structure which is called a hyperfield (in our case, the tropical hyperfield).
One reason to consider such generalizations of ordinary algebra is that they
allow to describe “zero-sets” in a natural way. Of course, when considering
a multi-valued sum, “being zero” should be replaced by “containing zero”.
Note that a sum a1 + · · · + an in the tropical hyperfield contains −∞ if and
only if we find i 6= j such that ai = a j ≥ ak , k = 1, . . . , n, i.e., if the maximum
of the summands occurs at least twice. Hence, if we replace a tropical
polynomial
f (x) = max(a j1 + j1 x, . . . , a jn + jn x)
by the hyperfield version
f + (x) = (a j1 + j1 x) + · · · + (a jn + jn x),
we find
V ( f ) = {x ∈ Rn : −∞ ∈ f + (x)} =: V ( f + ).
38
2 Tropical hypersurfaces in Rn
Exercise 2.2.8
Let f : R → R be a univariate tropical polynomial of degree d and with non-
vanishing constant term. Show that T is algebraically closed in the following
sense. There exist c ∈ R and α1 , . . . , αn ∈ R (unique up to reordering) such
that n
Y
f (x) = “c (x + αi )”
i=1
Exercise 2.2.9
Let f , g : Rn → R be tropical Laurent polynomials. Show that V (“ f g”) =
V ( f ) ∪ V (g).
Exercise 2.2.10
Given a set H, we denote by Pot(H) the set of subsets of R. A hyperfield is a
set H together with binary operations + : H ×H → Pot(H) and · : H ×H → H
and two elements 0H , 1H ∈ H such that for all a, b, c ∈ H
a + (b + c) = (a + b) + c, 0H + a = {a},
∃! − a ∈ H s.t. 0H ∈ a + (−a), a + b = b + a,
a ∈ b + c ⇒ b ∈ a + −c, 0H · a = 0H ,
(H \ {0H }, ·) is a commutative group, a · (b + c) = (a + b) · (a + c).
Note that some of the axiom (e.g. associatitvity) require to consider the
canonical extension of + : H × H → Pot(H) to Pot(H) × Pot(H) → Pot(H).
(a) With + defined as in Equation 2.1, show that (T, +, +, −∞, 0) forms a
hyperfield.
(b) With ¾ t defined as in Equation 1.3, show that (T, ¾ t , +, −∞, 0) forms
a hyperfield for all t > 0.
39
2 Tropical hypersurfaces in Rn
Example 2.3.1
Our polynomials from the previous examples give subdivisions as indicated
in Figure 2.6. Note that in the second and third case the subdivisions S ( f2 )
and S ( f3 ) are identical, but the definition of σ1 depends on the chosen
representation. For the polynomial in two variables, the subdivision S ( f )
is shown in Figure 2.7.
σ1 = ;
σ0 σ1 σ2 σ0 σ1 σ2 σ0 σ2
40
2 Tropical hypersurfaces in Rn
σ(0,2)
σ(1,1)
σ(0,1)
σ(0,0) σ(2,0)
σ(1,0)
Corollary 2.3.2
The hypersurface V ( f ) is equal to the n − 1-skeleton of S ( f ). In particu-
lar, V ( f ) is canonically equipped with the structure of a rational polyhedral
complex of pure dimension n − 1.
Definition
P2.3.3
Let f = “ j∈A a j x j ” be a tropical Laurent polynomial. The set
Ared := { j ∈ A : dim(σ j ) = n} = {d f x : x ∈ Rn \ V ( f )}
Lemma 2.3.4
Let f be a tropical Laurent polynomial. On the level of functions on Rn , we
have f ≡ f red . Moreover, two tropical Laurent polynomials describe the same
41
2 Tropical hypersurfaces in Rn
function if and only if their reduced representations agree (as abstract poly-
nomials). In particular, the subdivision S ( f ) is independent of the represen-
tation of f .
Moreover, if two polynomials describe the same function, they have the
same reduced support (by the second description of Ared ). The value f (x)
for any x ∈ Rn with d f x = i determines the coefficient of x i uniquely. Thus
the second claim follows. Finally, since obviously S ( f ) = S ( f red ) (by the
first description of Ared ), it follows that S ( f ) is completely determined by
the underlying function.
i.e. the convex hull of all appearing exponents. Note that NP( f ) naturally
lives in the dual space of Rn .
Definition
P2.3.5
Let f = “ j∈A a j x j ” be a tropical Laurent polynomial. We set
e := {( j, −a j ) ∈ Zn × R : j ∈ A and a j 6= −∞}
A
and Pe = Conv(A e). The projection of the lower faces of Pe (i.e. those which
are also faces of Pe + ρ with half-ray ρ := {0} × R≥0 ) produces a subdivision
SD( f ) of NP( f ), which we call the dual subdivision of f .
Example 2.3.6
Our polynomials in one variable from example 2.2.2 all have the same New-
ton polytope Conv{0, 2}. Only for the first polynomial, SD( f1 ) is non-trivial,
42
2 Tropical hypersurfaces in Rn
e and P
A e
SD( f i )
i.e. the segment is divided into two unit segments with vertex {1} (see Fig-
ure 2.8).
For the polynomial f of example 2.2.3, the dual subdivision is again more
interesting. In Figure 2.9, only the lower faces of P
e are drawn solidly. We
Aσ := { j ∈ A : σ ⊆ σ j }.
43
2 Tropical hypersurfaces in Rn
Theorem 2.3.7
The subdivisions S ( f ) of Rn and SD( f ) of NP( f ) are dual in the following
sense. There is an inclusion-reversing bijection of cells given by
S ( f ) → SD( f )
(2.3)
σ 7→ Dσ := Conv(Aσ )
such that dim σ + dim Dσ = n and L(σ)⊥ = L(Dσ ). Moreover, SD( f ) is inde-
pendent of the representation of f and the set of vertices of SD( f ) is equal to
the reduced support of f .
Proof. First let us show that Dσ is indeed a cell of SD( f ). To do so, we pick a
point x in the relative interior of σ. Let us consider the linear form (x, −1)
on Pe ⊂ Rn+1 . For each vertex ( j, −a j ) of P
e we find (x, −1)( j, −a j ) = a j + j x.
Thus the face of P e on which (x, −1) is maximal is exactly the convex hull
of the points Aσ with
e
eσ := {( j, −a j ) : j ∈ Aσ }.
A
The projection of this face to Rn is Dσ , and therefore Dσ is indeed a face of
SD( f ). Next we see that all lower faces of P e are obtained in this way for
a suitable (x, −1). It follows that equation (2.3) indeed describes a well-
defined bijection whose inverse map is given by
\
D 7→ σj.
j∈D∩A
44
2 Tropical hypersurfaces in Rn
N (P
e)
P
e
R × {−1}
Example 2.3.8
Let A ∈ Zn be a finite set and let f = “ j∈A x j ” be the Laurent polynomial
P
Remark 2.3.9
Let S be a subdivision of a polyhedron P ⊆ Rn . S is called a regular sub-
division if it can be obtained by projecting down the lower faces of some
polyhedron P e ⊆ Rn+1 . Equivalently, S is regular if there exists a convex
function on P which is affine on each cell of S (to get the polyhedron in
Rn+1 , we take the convex hull of the graph of the function; the other way
around, the union of lower faces of the polyhedron describes the graph of
a suitable function). Note that both S ( f ) and SD( f ) are regular subdi-
visions. Such subdivisions are sometimes also called convex or coherent.
They play a prominent role in the context of the Viro’s patchworking tech-
nique (see [Vir06] for references) as well as the study of discriminants and
resultants (see [GKZ08]).
Note that not all subdivisions are regular. An example is given in Figure
2.11. Assume there is convex function g inducing this subdivision. We can
assume that g is constant zero on the inner square. Then if we fix one
g(v1 ) on an outer vertex, on the next vertex v2 in clockwise direction, we
need g(v2 ) ≥ g(v1 ), due to the diagonal edge subdividing the corresponding
trapezoid. Going around the square completely gives a contradiction.
Another way to describe the duality of S ( f ) and SD( f ) can be formu-
lated in terms of Legendre transforms. Let g : S → R be a function on an
arbitrary set S ⊆ Rn . The Legendre transform g ? is a function on covectors
45
2 Tropical hypersurfaces in Rn
of Rn given by
g ? (w) = sup{wx − g(x)}.
x∈S
?
It is easy to check that g takes finite values on a convex set of Rn (possibly
empty) and that g ? is convex. Moreover, if g is a convex function in the
beginning,
P than (g ? )? = g. By definition, a tropical Laurent polynomial f =
“ j∈A a j x j ” is equal to the Legendre transform of its inverted coefficient
map A → R, j 7→ −a j .
Lemma 2.3.10
Let f be a Laurent polynomial and let g be the convex function on NP( f )
whose graph is the lower hull of
e = Conv({( j, −a j ) : j ∈ A}).
P
Exercise 2.3.11
Let f be a tropical Laurent polynomial. Show that the Newton polytope of
f can be described as
46
2 Tropical hypersurfaces in Rn
Exercise 2.3.12
Let f , g : Rn → R be tropical Laurent polynomials. Show that NP(“ f g”) =
NP( f ) + NP(g).
Exercise 2.3.13
Let f be a tropical Laurent polynomial. In this exercise, we want to prove
N (NP( f )) = {rc(σ) : σ ∈ S ( f )}. Recall that rc(σ) denotes the recession
cone of σ.
(b) For D ∈ SD( f ), let F ⊂ NP( f ) be the unique face of NP( f ) such that
D ⊂ F . Let σ D and σ F be the dual cell/cone of D and F in S ( f )
and N (NP( f )), respectively. Show that rc(σ D ) = rc(σ F ).
47
2 Tropical hypersurfaces in Rn
polytope P we have Vol(P) ∈ N. This follows from the fact that we can
always triangulate P into lattice simplices (not necessarily minimal ones).
The volume of a simplex with vertices v0 , . . . , vn is given by the determi-
nant of the vectors v1 − v0 , . . . , vn − v0 , which is obviously integer for lattice
simplices. For one-dimensional lattice polytopes E (i.e., edges) we find
Vol(E) = #{E ∩ Zn } − 1. For two-dimensional lattice polytopes P, Pick’s
theorem states Vol(P) = 2i + b − 1, where i := #{σ ∩ Zn } is the number of
interior lattice points and b := #{∂ σ ∩ Zn } is the number of lattice points
in the boundary.
Definition 2.4.1
Let f be a tropical Laurent polynomial. We turn its hypersurface V ( f ) into a
weighted polyhedral complex as follows. The weight of each cell σ of V ( f )
is the volume of the corresponding cell Dσ in the dual subdivision SD( f ),
ω(σ) := Vol(Dσ ) ∈ N.
For each point x ∈ V ( f ) in the relative interior of σ we define the weight
ω(x) ∈ N (or multiplicity of x) to be ω(σ).
A point resp. cell of V ( f ) is called smooth or singular point/cell of V ( f ) if
its weight is equal to 1 or greater than 1, respectively. If V ( f ) does not have
any singular points, it is called a smooth hypersurface. This is equivalent to
the condition that all cells of SD( f ) are minimal simplices, in which case
we call SD( f ) a unimodular subdivision. Of course, it suffices to check this
condition for the maximal cells of SD( f ), as faces of minimal simplices are
minimal simplices again.
Remark 2.4.2
Let σ be a facet of V ( f ). The dual cell Dσ is an edge whose endpoints,
say i and j, are the exponents of the two monomials in the reduced rep-
resentation of f which attain the maximum at F . Thus the weight ω(F )
can be considered as a measure of the change of slope when crossing from
the linearity domain Pi to P j through F . This is precisely what happens for
polynomials in one variable. In general, one should think of the change of
slope relative to F .
Example 2.4.3
Let us revisit our running examples. The polynomials from example 2.2.2
48
2 Tropical hypersurfaces in Rn
SD( f1 ) V ( f1 )
0 1 2 mult 1 1
SD( f2 ) = SD( f3 ) V ( f2 ) = V ( f3 )
0 2 mult 2
Remark 2.4.4
For a smooth hypersurface V ( f ), the reduced support of f is NP( f ) ∩ Zn .
This follows from the fact that a minimal simplex does not contain integer
points other than its vertices and thus each point in NP( f ) ∩ Zn must be a
49
2 Tropical hypersurfaces in Rn
vertex of SD( f ).
Example 2.4.5
The tropical hyperplane in Rn is the hypersurface V ( f ) with f = “x 1 + · · · +
x n + 0”. It is obviously smooth, as NP( f ) is the standard simplex itself.
Figure 2.14 depicts the 2-dimensional hyperplane in R3 .
A hypersurface V ( f ), equipped with multiplicities as above, satisfies the
so-called balancing condition — a fundamental property of tropical vari-
eties.
Definition 2.4.6
Let X be a pure-dimensional polyhedral complex in Rn . A weight function
on X is given by a weight ω(σ) ∈ Z for each facet σ of X . In this case, we
say X is a weighted polyhedral complex. We define its support |X | as the
union of facets of non-zero weight.
Let X be a positively weighted polyhedral complex in Rn . We say X
is balanced or satisfies the balancing condition if for every cell τ ∈ X of
codimension one the following equation holds:
X
ω(σ)vσ/τ ∈ L(τ)
σ facet
τ⊂σ
50
2 Tropical hypersurfaces in Rn
The balancing condition requires that the weighted sum of primitive vec-
tors around a codimension one cell τ is parallel to τ. An equivalent formu-
lation is as follows. Consider the ray σ/τ ∈ StarX (τ) let uσ/τ ∈ Zn / LZ (τ)
denote its unique primitive generator. By definition, vσ/τ + L(τ) = uσ/τ and
hence the balancing condition can be equivalently expressed as
X
ω(σ)uσ/τ = 0 ∈ Rn / L(τ).
σ facet
τ⊂σ
Allowing non-zero weights will be convenient later, but for all practical
purposes (cf. definition of support) we may always throw away all facets of
weight 0 and hence assume that all weights are non-zero. Obviously, the
balancing condition is not affected by this operation.
Theorem 2.4.7
Any hypersurface V ( f ) of a Laurent polynomial f = “ j∈A a j x j ” forms a
P
51
2 Tropical hypersurfaces in Rn
σV
2
V
2
2 2
in say clockwise order, the prescribed chain of edges is equal to a right angle
rotation of the boundary of Dν . The fact that this boundary closes up is thus
equivalent to the fact X
ω(σ)vσ/ν = 0.
σ edge
ν⊂σ
This finishes the proof for R2 , and essentially the same argument can be
applied in the general case. Let τ be a codimension one face of V ( f ) and
let Dτ be the dual 2-cell of SD( f ). Then L(Dτ ) is canonically the dual space
of Rn / L(τ) and for each facet σ containing τ, the primitive generator uσ/τ ∈
Rn / L(τ) is orthogonal to the corresponding edge Dσ ∈ SD( f ). Thus, once
again the “closedness” of Dτ implies the balancing condition.
Remark 2.4.8
Note that the balancing condition only involves the multiplicity of the facets
of V ( f ) or, in other words, of generic points of V ( f ). Since we defined mul-
tiplicities for all cells of S ( f ), one might ask whether S ( f )(k) is balanced
for all k. Indeed, we will prove this in Theorem 4.7.6.
Remark 2.4.9
Let us one more time revisit our question of defining the “zero set” of a
tropical polynomial. Now that we know that the balancing condition is a
fundamental property of tropical hypersurfaces, we might be bothered by
52
2 Tropical hypersurfaces in Rn
Γ = {(x, y) ∈ Rn × R : y = f (x)}
does not satisfy the balancing condition (of course, Γ carries a natural poly-
hedral structure by lifting S ( f ), and we use multiplicity 1 for all facets
here). Note that in classical algebraic geometry, the graph of a polynomial
Γ + = {(x, y) ∈ Rn × T : y ∈ f + (x)}.
We find that Γ + contains the ordinary graph Γ , but additionally, over each
point x ∈ V ( f ), contains the half-infinite interval {(x, y) : y ≤ f (x)}.
Moreover, Γ + is canonically balanced. To that end, we equip each facet of
Γ + which is not already contained in Γ with the multiplicity of its projection
to Rn which is a facet of V ( f ). It is easy to see that Γ + is the only balanced
completion of Γ if we only allow to add facets in direction (0, −1) ∈ Rn × R.
This is why Γ + is sometimes called the completed graph of f . Note that, in
contrast to Γ , the completed version Γ + intersects the “zero-section” Rn ×
{−∞} and this intersection gives back V ( f ) — yet another reason for our
53
2 Tropical hypersurfaces in Rn
Theorem 2.4.10
Let X be a balanced polyhedral complex in Rn which is of dimension n − 1
and all of whose weights are positive. Then there exist tropical polynomials f
such that X is a weighted refinement of V ( f ). Moreover, f is unique up to
adding an integer affine function.
54
2 Tropical hypersurfaces in Rn
f2 = f1 + ω(σ)hσ ,
where hσ is the integer affine function such that hσ |σ = 0 and dhσ (vC2 /σ ) =
1 (where vC2 /σ is a primitive generator of C2 modulo σ). Using this proce-
dure recursively, we may define integer affine functions f i for all i = 1, . . . , l.
We need to check that the definition of f i does not depend on the chosen
path from v1 to vi . Equivalently, we show that for any loop in Γ adding
up the various functions ω(σ)hσ produces 0. Let τ ∈ X be a n − 2-cell.
Going around τ in a small loop gives rise to a simple loop lτ in Γ . Note that
Rn \ |X (n−3) | is simply connected since X (n−3) is of codimension 3 in Rn . It
follows that it suffices to check the addition to zero for the loops lτ .
Let σ1 , . . . , σh be the facets adjacent to τ, ordered according to lτ , and
let hσ j be the integer affine functions defined above. Then the condition
X
ω(σ j )hσ j = 0
is just the dual version (and thus equivalent to) the balancing condition of
X at R. We have seen this in more details in the proof of theorem 2.4.7.
So far we proved that the above procedure produces a well-defined mono-
mial f i for each connected component Ci . Let f : Rn → R be the unique
continuous function with f |Ci := f i for all i. It is clear from the construc-
tion of the f i that f is well-defined and convex on each line segment in
Rn \ X (n−2) . By continuity, f is convex on all of Rn and therefore equal to
Pl
twice its Legendre dual “ i=1 f i ”. Hence f is a tropical polynomial. It is
now easy to check that X is a weighted refinement of V ( f ).
To verify uniqueness, let g be another tropical polynomial satisfying the
hypothesis. Then g is also integer affine on each component of Rn \ |X | =
Rn \ V ( f ). Moreover, since the weights of X and V (g) agree, g needs to
satisfy the same transition formula than f when traversing a facet σ ∈ X .
It follows that g = f + g1 , where g1 is the integer affine functions which
describes g on C1 .
55
2 Tropical hypersurfaces in Rn
Exercise 2.4.11
Let f1 , f2 , f3 : R2 → R be the tropical polynomials given by
f1 = “(−1) + x + 1 y + x 2 + x y + (−1) y 2 ”,
f2 = “(−2) + (−2)x 3 + (−2) y 3 + x + y + x 2 + y 2 + x 2 y + x y 2 + 1x y”,
f3 = “0 + (−1)x + (−3)x 2 + y + 1x y + x 2 y + (−2) y 2 + x y 2 + x 2 y 2 ”.
(a) Compute the Newton polytopes NP( f i ) and the dual subdivisions SD( f i ).
Exercise 2.4.12
Let f : R → R be a univariate polynomial and α ∈ R. Let ordα ( f ) be the
maximal number k such that (x − α)k | f (cf. Exercise 2.2.8). Show that
ωV ( f ) (α) = ordα ( f ).
Exercise 2.4.13
Let X be a weighted polyhedral complex of pure dimension k. For any
cell τ the fan StarX (τ) carries induced weights given by ω(σ/τ) = ω(σ).
Show that the following statements are equivalent.
(c) The stars StarX (τ) are balanced for any k − 1-cell τ.
56
2 Tropical hypersurfaces in Rn
f (x, y) = y
L
f (x, y) = x
f (x, y) = 0
57
2 Tropical hypersurfaces in Rn
58
2 Tropical hypersurfaces in Rn
two pictures we get a perfectly nice single point of intersection, the third
picture shows two parallel degenerated lines with no intersection. As in
classical geometry, we will get rid of this special case by compactifying R2 .
However, a classical geometer would very likely compactify to the real pro-
jective plane RP2 to make the lines intersect at infinity. This is different
from the tropical compactifications we will study later, e.g. TP2 . The fourth
picture shows a more interesting way of failure. Here, the two tropical
lines have a whole ray in common. This type of abnormality does not have
a classical counterpart (except for taking the same line twice) and will later
encourage us to introduce the concept of stable intersection. The stable in-
tersection of two curves consists only of those points in the set-theoretic in-
tersection which are stable under small deformations — small translations,
in our case. E.g. for lines, a small translation of one of them will yield a
unique intersection point close to the apex of the common ray. When mov-
ing the translation back to the original line, the limit of intersection points
59
2 Tropical hypersurfaces in Rn
is just this single point, which we therefore call the stable intersection of
the two lines. The dual problem of finding a line through two points shows
a completely similar behaviour.
Proposition 2.5.1
Any pair of points p1 , p2 ∈ R2 can be joined by a tropical line. Furthermore,
this line is unique if and only if the points do not lie on an ordinary classical
line of slope (1, 1), (−1, 0) or (0, −1).
f (x, y) = “ax 2 + bx y + c y 2 + d x + e y + f ”.
stable
intersection
point
60
2 Tropical hypersurfaces in Rn
p1
p2
61
2 Tropical hypersurfaces in Rn
62
2 Tropical hypersurfaces in Rn
vertices are 3-valent) and each pair of the primitive integer vectors v1 , v2 , v3
spanning the 3 edges of a vertex form a Z-basis of Z2 . We now present a
few special cases of combinatorial types for arbitrary degrees.
The honeycomb triangulation of ∆d is defined by the property that all
its edges are parallel to one of the three boundeary edges of ∆d . In other
words, it is obtained from the collection of lines x = i, y = j, x + y = k
with i, j, k ∈ {0, . . . , d}. Our figure depicts the case d = 5. The curves of
this combinatorial type are called honeycombs. They proved to be useful in
63
2 Tropical hypersurfaces in Rn
64
2 Tropical hypersurfaces in Rn
algebraic curves.
Let us also recall an example of a special tropical curve which we men-
tioned in the introduction. Figure 2.32 shows the curve of degree 10 to-
gether with its subdivision. It is this curve (together with the extra data
of suitable signs) that was used by Itenberg (cf. [IV96]) to disprove the fa-
mous Ragsdale conjecture (cf. [Rag06]; the conjecture was an inequality
involving the numbers of “odd” and “even” ovals of a real planar curve of
given degree).
A fundamental theorem in the study of classical planar curves is Bézout’s
65
2 Tropical hypersurfaces in Rn
theorem which states that two projective curves of degree d and e have
d e points of intersections (in various meanings and under various assump-
tions). Previously we discussed the case of lines which are supposed to
intersect in a single point. It is easy to convince oneself that a more gen-
eral statement should also be true tropically. For example, a smooth non-
degenerate curve of degree d has exactly d unbounded rays in each of the
directions (1, 1), (−1, 0) and (0, −1) corresponding two the d dual segments
in the boundary of ∆d . Thus two such tropical curves of degree d and e can
be translated in such a way that they only intersect in such rays of fixed
direction (for each curve) — in this case there are exactly de intersection
points (see Figure 2.33). We can actually prove a general version of Bézout’s
theorem based on our understanding of dual subdivisions. For this purpose,
let us assume that C and D are non-degenerate tropical P planarj curves of
degree d resp. e and given by the polynomials f = “ j∈∆d a j x y ” resp.
1 j2
66
2 Tropical hypersurfaces in Rn
where v and w are primitive integer vectors describing the slope of σ resp.
τ. This multiplicity is one if and only if both weights are one and v, w form
a lattice basis of Z2 .
v w v w
mult(p) = 1 mult(p) = 2
Theorem 2.5.2
Let C = V ( f ) and D = V (g) be two non-degenerate tropical curves of degree
d and e, respectively, which intersect transversally. The number of intersection
points, counted with multiplicities, is equal to de.
X
de = mult(p)
p∈C∩D
Proof. The main trick is to consider the union of the two curves B := C ∪D =
V (“ f g”). Note that each intersection point p ∈ C ∩ D is a vertex of C ∪ D
and thus has a corresponding dual cell σ in SD(“ f g”). This dual cell must
be a parallelogram whose pairs of parallel edges correspond to the edges
of C resp. D that intersect. Moreover, we see that the multiplicity of p can
be computed in terms of the volume of σ, namely
Vol(σ)
mult(p) = .
2
If a vertex of B is not an intersection point, it is just a vertex of C or D.
Note that the corresponding dual triangle in SD(“ f g”) is just a shift of the
corresponding triangle in SD( f ) resp. SD(g) (see Figure 2.35). Indeed,
assume that v is a vertex of C and therefore by assumption v ∈ / D. Then
locally around v the function g is affine-linear, say b j + j x, and therefore
“ f g” is locally equal to f + b j + j x = “ f b j x j ”, which corresponds to a
shift of the dual picture by j. Hence the maximal cells of SD(“ f g”) are
67
2 Tropical hypersurfaces in Rn
Exercise 2.5.3
In this exercise we give an alternative proof of tropical Bézout’s theorem
(cf. [RST05]). Let C = V ( f ) and D = V (g) be two non-degenerate tropical
curves of degree d and e, respectively. We denote deg(C·D) = p∈C∩D mult(p)
P
(a) Show that the set of vectors v ∈ R2 such that C and D + v do not have
a vertex in common is connected.
(b) Assume that C is a fan and Y is an (usual) affine line. Show that
deg(C · (D + v)) is constant for all v such that the intersection is
transversal.
(c) Using the previous two items, show that deg(X · (Y + v)) = const. also
holds in the general case (for all “generic” v).
68
2 Tropical hypersurfaces in Rn
Exercise 2.5.4
Let f : R2 → R be a tropical polynomial and C = V ( f ) the associated
planar tropical curve. The (embedded) genus g(C) of C is the first Betti
number b1 (C) = dim H1 (C, Z) (i.e. the number of independent 1-cycles in
C). Show the following statements.
(a) The genus g(C) is equal to the number of vertices of SD( f ) contained
in NP( f ) .
(d − 1)(d − 2)
g(C) = .
2
Exercise 2.5.5
Let C ⊂ R2 be a planar tropical curve of degree d (possibly degnerated).
For each ray ρ of C with primitive generator v P = (v1 , v2 ) ∈ Z2 , we set
ord∞ (ρ) := ω(ρ) max{v1 , v2 , 0}. Show that d = ρ ord∞ (ρ), where the
sum runs through all rays of C.
69
2 Tropical hypersurfaces in Rn
also need the dual projection q : Rn → R which forgets all except the n-th
coordinate.
Definition 2.6.1
Let V ( f ) ⊂ Rn be a hypersurface with dual subdivision SD( f ). The V ( f ) is
called floor-decomposed (with respect to π) if for each cell D ∈ SD( f ) the
image q(σ), which is an integer interval in R, is of length at most 1 (i.e. of
length 0 or 1).
Examples of floor-decomposed subdivisions are given in Figure 2.36. The
surface corresponding to the three-dimensional subdivision is displayed in
Figure 2.37.
A floor-decomposed hypersurface splits naturally into floors and elevators
as follows. We assume q(NP( f )) = [0, m]. For a cell σ of V ( f ), we denote
the dual cell in SD( f ) by Dσ . For i = 1, . . . , m, we define
[
Fi := σ,
σ cell of V ( f )
q(Dσ )=[i−1,i]
70
2 Tropical hypersurfaces in Rn
and call this set an elevator of V ( f ). (In a more refined setting, one might
call the connected components of the Ei elevators.) The floors and elevators
in Figure 2.37 are shown in gray and red, respectively.
Accordingly, we can split the polynomial f , i.e. we can write f as a
polynomial of the last coordinate x n
m
X
f =“ f i x ni ”,
i=0
Proposition 2.6.2
The projection π(Ei ) of an each elevator is a tropical hypersurface in Rn−1
given by V ( f i ).
Each floor Fi projects one-to-one to Rn−1 and is equal to the graph of the
function “ f i−1 / f i ” = f i−1 − f i on Rn−1 .
The floors and elevator projections of our example surface are displayed
in Figure 2.38.
Proof. For the first part, let us fix an elevator Ei . We want to show that
π(Ei ) = V ( f i ) as sets. First, take x ∈ Ei . By definitions, the dual cell Dx
71
2 Tropical hypersurfaces in Rn
F2
π(E0 )
π(E1 )
F1
72
2 Tropical hypersurfaces in Rn
Proposition 2.6.3
Let V0 , . . . , Vd−1 be non-degenerated tropical hypersurfaces in Rn−1 of degree
deg(Vi ) = d −P i. Moreover, let h1 < h2 < · · · < hd be real numbers and
set f i := f Vi − 0< j≤i h j for all i = 0, . . . , d (with and f Vd ≡ 0). Under the
assumption
(2 f i − f i−1 − f i+1 )(x) > 0
for all x ∈ Rn−1 and i = 1, . . . , m − 1, there exists a unique generic floor-
decomposed hypersurface V ⊂ TPn such that π(Ei ) = Vi for all elevators and
each floor Fi intersects the x n -coordinate
Pm axis at height hi . This hypersurface
is given by V = V ( f ), where f = i=0 f i x ni . In particular, V has degree d.
Pm
Proof. Let us study V := V ( f ) with f := i=0 f i x ni . The assumption (2 f i −
f i−1 − f i+1 )(x) > 0 makes sure that the various floors (given by the graphs of
f i−1 − f i ) do not intersect and therefore V is indeed floor-decomposed. By
proposition 2.6.2, the elevators of V satisfy π(Ei ) = V ( f i ) = Vi . Moreover,
again by proposition 2.6.2, the height of the intersection of Fi with the x n -
coordiante axis is given by the the difference of the constant terms of f i−1
and f i , which is −h1 −· · ·−hi−1 +h1 +· · ·+hi−1 +hm = hm . For the uniqueness
of V , we note that the condition π(Ei ) = Vi already implies f i − f Vi ≡ const.
These constants are uniquely fixed (up to adding a global constant) by the
“heights” of the floors Fi .
73
2 Tropical hypersurfaces in Rn
Example 2.6.4
Figure 2.39 shows an example of a floordecomposed curve that appears
in the context of Viro’s patchworking method. An simple example for the
construction of a stacking floors on top of each other is given in Figure 2.40.
References
The main themes of this chapter — tropical polynomials, tropical hypersur-
faces, dual subdivisions and the balancing condition — appear it many of
the early papers on tropical geometry and we do not attempt to describe
the history of the development of these notions and its diverse predecessors
in other areas of mathematics. Among the earliest “tropical” papers treat-
ing (or at least mentioning) some of this material, let us mention [Mik01;
Mik04; Stu02; SS04; Mik05; EKL06]. Note, in particular, that [EKL06]
is based on an earlier unpublished preprint by Kapranov treating tropical
hypersurfaces (under the name “non-archimedean amoebas”).
74
2 Tropical hypersurfaces in Rn
75
3 Projective space and other
tropical toric varieties
In the previous chapter we studied the tropical space Rn and its hypersur-
faces. Let us recall once more that R = T× is the set of units for tropical
multiplication on T = R ∪ {−∞}. Hence, Rn = (T× )n is the tropical alge-
braic torus with classical analogue (C× )n and we treated what is sometimes
called very affine varieties so far.
The goal of this chapter is to study tropical geometry for certain com-
pactifications of Rn , in particular, tropical projective space. In fact, most
of the new features that will show up are already present in tropical affine
space Tn , a partial compactification of Rn . The set of new points Tn \ Rn at
“infinity” behaves differently from the points in Rn , even on a topological
level. In particular, the number of coordinates equal to −∞, called the
sedentarity of a point, is an invariant under tropical automorphisms of Tn .
This is of course in contrast to the classical situation, with Cn and CPn being
fully homogeneous spaces.
A natural class of compactifications of Rn = (T× )n are toric varieties. The
main feature of toric varieties is that they can be constructed by monomial
maps and binomial equations, respectively, which is to say, without using
addition. Since the peculiar idempotent nature of tropical arithmetics ac-
curs only in the context of tropical additions, it turns out that toric varieties
can be pushed to the tropical world instantly.
76
3 Projective space and other tropical toric varieties
Definition 3.1.1
Let x be a point in Tn . The sedentarity sed(x) is the number of coordinates
of x equal to −∞. Namely, if x ∈ R I , then sed(x) = |I|.
77
3 Projective space and other tropical toric varieties
How do the points of different sedentarity interact? How are the various
strata glued together geometrically? To understand this better, let x, v ∈ Rn
be vectors consider the ray R = x + R≥0 v ⊆ Rn . We are interested in the
closure R ∈ Tn . A few examples of rays in T2 are depicted in Figure 3.2 (the
vectors labelling each ray describe the particular choice of v).
(−2, 1)
(1, 1)
(−1, 0)
(0, −1)
(−1, −1) (−1, −2)
78
3 Projective space and other tropical toric varieties
(a, b)
(a, −∞)
Rn → Rn−|I| ∼
= RI ,
(x i )1≤i≤n 7→ (x i )i ∈I
/ .
x3
x2
x1
79
3 Projective space and other tropical toric varieties
Exercise 3.1.2
Let A = (ai j ) ∈ Mat(m× n, Z) be an integer matrix and let φ : Rn → Rm , x 7→
Ax be the associated S linear map. Set I(A) := {i : aki ≥ 0 ∀ k} and
integer
U(A) = T \ i ∈I(A) T{i} = I⊂I(A) R I . Show that the following statements.
n
S
/
(b) For I ⊂ I(A), we set K = K(I) = {k : aki > 0 for some i ∈ I}. Then the
extension φ maps R I ⊂ Tn to RK ⊂ Tm .
(c) For K = K(I), the map φ : R I → RK is the integer linear map associ-
ated to the matrix A with K-rows and I-columns removed.
ΦA : (C× )n → (C× )m ,
Y Y
a a
(z1 , . . . , zn ) 7→ ( zi 1i , . . . , zi mi ),
i i
ear map
φA : R n → R m ,
X X
x = (x 1 , . . . , x n ) 7→ Ax = ( a1i x i , . . . , ani x i ).
i i
80
3 Projective space and other tropical toric varieties
and only if aki ≥ 0 for all i ∈ I (see Exercise 3.1.2). Again, the analogous
statements hold in the complex setting, which means that the rules for glu-
ing affine patches together are exactly the same. For simplicity, we restrict
to smooth toric varieties here.
Recall that a pointed fan Ξ in Rn is called unimodular if every cone σ
of Ξ can be generated by dim(σ) integer vectors that form a lattice basis
of LZ (σ). Let Ξ be a unimodular pointed fan in Rn . For any cone σ ∈ Ξ
of dimension k, fix a lattice basis e1σ , . . . , enσ of Zn such that −e1σ , . . . , −ekσ
generate σ and set
Lemma 3.2.1
Let τ be a face of σ ∈ Ξ. Then the map φAσ,τ : Rn → Rn extends to an open
embedding φσ,τ = φAσ,τ : Uτ → Uσ . We denote the image by Uστ ⊂ Uσ .
Let σ, σ0 ∈ Ξ two cones with τ = σ ∩ σ0 6= ;. Then the map φAσ,σ0 :
Rn → Rn extends to a homeomorphism φσ,σ0 = φAσ,σ : Uστ0 → Uστ . Moreover,
φσ,σ0 ◦ φσ0 ,σ00 = φσ,σ00 whenever defined.
Exercise 3.2.2
Prove the preceding lemma (e.g. using Exercise 3.1.2).
Definition 3.2.3
Let Ξ be a unimodular pointed fan in Rn . The tropical smooth toric variety
associated to Ξ is the topological space
[
X Ξ := Uσ / ∼,
σ∈Ξ
81
3 Projective space and other tropical toric varieties
Proposition 3.2.4
Let X Ξ be a tropical smooth toric variety. Then the following properties hold.
(b) The orbits of the tropical torus action are in bijection to the cones of Ξ.
For each σ ∈ Ξ of dimension k the corresponding orbit is given by
(e) The topological space X Ξ is compact if and only if the fan Ξ is complete,
i.e., |Ξ| = Rn .
82
3 Projective space and other tropical toric varieties
Remark 3.2.5
Property (d) together with the requirement that the embeddings Rσ ,→ X Ξ
are continuous fixes the topology on X Ξ uniquely. Hence an F alternative
construction of X Ξ could be based on defining a topology on σ∈Ξ R/ L(σ)
satisfying these two properties. Note that this description extends to arbi-
trary (not necessarily unimodular) pointed fans Ξ, providing (not neces-
sarily smooth) tropical toric varieties. Proposition 3.2.4 still holds for such
general toric varieties, except for the description of orbits given in Equa-
tion (3.2.4) (in the sense that the open charts Uσ are no longer of the form
Tk × Rn−k in general). The description of toric varieties in terms of semi-
group homomorphisms (see for example [Ful93]) can also be immediately
“tropicalized”.
For later use, we extend the discussion of limit points of rays to arbitrary
polyhedra P ⊂ Rn . Recall that the recession cone rc(P) of P is the set of
direction vectors of all rays contained in P.
Proposition 3.2.6
Let X Ξ be a tropical toric variety, σ ∈ Ξ a cone and P ⊂ Rn a polyhedron. Let
P denote the closure of P in X Ξ . Then the following holds.
(a) P ∩ Rσ = ; ⇐⇒ rc(P) ∩ σ = ;.
Example 3.2.7
Before treating “serious” examples of tropical toric varieties in the next
section, let us look back at tropical affine space from Section 3.1. Let
σ I , I ⊂ {1, . . . , n} be the cones generated by the negative standard basis
vectors −ei , i ∈ I and let Ξ be the fan formed by all such cones. Then ob-
viously the tropical toric variety X Ξ is canonically isomorphic to Uσ[n] = Tn .
Indeed, choosing the lattice basis e1 , . . . , en globally (i.e., M σ = Id for all
σ), all gluing maps are identity maps on the subsets UσI ⊂ Tn . Moreover,
the torus orbit RσI agrees with the sedentarity stratum R I , and the closure
X σI is equal to T I .
Exercise 3.2.8
83
3 Projective space and other tropical toric varieties
Prove Proposition 3.2.4, for example, by copying the proofs of the corre-
sponding facts from your favorite textbook on classical toric varieties (e.g.
[Ful93]).
Exercise 3.2.9
Prove Proposition 3.2.6.
Definition 3.3.1
Tropical projective space is
(x 0 : . . . : x n ) 7→ (x 0 − x i , . . . , x i−1 − x i , x i+1 − x i , . . . , x n − x i ).
φi j : ( y0 , . . . , yi−1 , yi+1 , . . . , yn ) 7→
( y0 − y j , . . . , yi−1 − y j , − y j , yi+1 − y j , . . . , Ù
y j − y j , . . . , yn − y j ). (3.2)
84
3 Projective space and other tropical toric varieties
U2
TP2
1 −1
0 −1 −1 1 0 −1
1 −1 −1 0
−1 0
−1 1
U0 U1
Rn+1 /R(1, . . . , 1) ∼
= Rn as an open dense subset and this torus acts on TPn
by coordinatewise addition. The orbits of this action are of the form
R I = {(x 0 : . . . : x n ) ∈ TPn : x i = −∞∀i ∈ I, x i 6= −∞∀i ∈
/ I}
with I ( {0, . . . , n}.
Let us review the construction in the language of toric variety. For any
proper subset I ( {0, . . . , n}, we define σ I ⊂ Rn as the cone generated by
the vector −ei , i ∈ I. Here, e1 , . . . , en denotes the standard basis of Rn and
−e0 = e1 + · · · + en = (1, . . . , 1). Let Ξ be the fan consisting of all such cones.
We denote the maximal cones by σi := σ{0,...,î,...n} , i = 0, . . . , n. For each
such cone, we take as lattice basis the one given by e0 , . . . , êi , . . . , en . Then
it is straightforward to check that linear maps described Pn by Aσ j ,σi are equal
to the gluing maps φi j from above. Indeed, since k=0 y j ek = 0, by setting
yi = 0 we change coordinates via the computation
X n
X n
X X
yk ek = yk ek = ( yk − y j )ek = ( yk − y j )ek ,
k6=i k=0 k=0 k6= j
Remark 3.3.2
Note that the fans we associate to tropical toric varieties are the reflection at
85
3 Projective space and other tropical toric varieties
pt
(1, 1)
R (−1, 0)
R
R2
(0, −1)
pt R pt
the origin of fans commonly used in classical toric geometry. This because it
seems more natural tropically to follow v in positive direction, i.e. λ → ∞,
whereas in the classical case one usually performs t → 0 (for t ∈ C× ).
86
3 Projective space and other tropical toric varieties
(1, 1, 1)
(−1, 0, 0)
R3
R
(0, −1, 0)
R2
(0, 0, −1)
87
3 Projective space and other tropical toric varieties
Definition 3.4.1
The affine hypersurface V ( f ) ⊂ Tn given by the tropical polynomial f ∈
T[x 1 , . . . , x n ] is (as a set)
H i := V (x i ) = {x ∈ Tn : x i = −∞}.
Let ord x i ( f ) ≥ 0 denote the maximal integer k such that x i divides f (i.e. f
can be written as f = “x k f 0 ” for some other tropical polynomial f 0 ). Note
that k only depends on the Newton polytope of f and hence on the func-
tion f (not on the polynomial representation). We say f is monomialfree if
ord x i ( f ) = 0 for all i = 1, . . . , n (equivalently, x i 6 | f ).
88
3 Projective space and other tropical toric varieties
Theorem 3.4.2
Let f ∈ T[x 1 , . . . , x n ] be a non-zero tropical polynomial. Then
V ( f ) = V ( f )fin ∪ H i1 ∪ · · · ∪ H ik ,
where i1 , . . . , ik ∈ {1, . . . , n} are exactly those indices for which ord x i ( f ) > 0.
Proof. Given two polynomials g, h ∈ T[x 1 , . . . , x n ], we can check easily that
V (“gh”) = V (g) ∪ V (h). Let us write f = “x j g”, where j = ( j1 , . . . , jn ) ∈ Nn
is the exponent vector of a monomial S and g is monomialfree. Then V ( f ) =
V (x ) ∪ V (g). Clearly, V (x ) = i: ji >0 H i . Moreover, note that f |Rn and
j j
g|Rn only differ by the integer linear function x 7→ j x and thus V ( f |Rn ) =
V (g|Rn ) and V ( f )fin = V (g)fin . So it suffices to prove the statement in the
monomialfree case.
So from now on we assume f is monomialfree and it remains to show
that V ( f ) = V ( f )fin . The inclusion “⊃” is obvious since V ( f ) is closed and
V ( f |Rn ) ⊂ V ( f ). For the other inclusion, let p ∈ V ( f ) be point, say, in the
stratum R I ⊂ Tn . Without loss of generality, we may assume I = {1, . . . , s},
s = |I|. Let us first consider the case f (p) 6= −∞. Then there exist two
0
terms “a j x j ”, “a j 0 x j ” attaining the (finite) maximum at p. In particular,
this implies ji = ji0 = 0 for all i = 1, . . . , s. Considering the points p(λ) :=
(−λ, . . . , −λ, ps+1 , . . . , pn ), we see that for sufficiently large λ ∈ R
0
f (p(λ)) = “a j p(λ) j ” = “a j 0 p(λ) j ” = f (p).
Lemma 3.4.3
Let f ∈ T[x 1 , . . . , x n ] be a non-zero monomialfree tropical polynomial such
that f ((−∞)n ) = −∞, (−∞)n = (−∞, . . . , −∞) ∈ Tn . Then (−∞)n ∈
V ( f )fin .
89
3 Projective space and other tropical toric varieties
Proof. Let P := NP( f ) be the Newton polytope of f and let N (P) be its
normal fan. By our assumptions, P lies in the positive orthant of Rn but
is touching all the hyperplanes { ji = 0}, i = 1, . . . , n. Consider the open
negative orthant N := (R<0 )n . We want to show that N intersects one of
the non-maximal cells of N (P). Assuming the contrary, it follows that N is
contained in a n-cone of N (P) corresponding to a vertex V of P. Choosing
a sequence of rays in N converging to −ei , it follows by continuity that V
is contained in { ji = 0}. Running through all i = 1, . . . , n, we find V =
(0, . . . , 0) ∈ P, which is a contradiction to f ((−∞)n ) = −∞. Hence N
intersects a non-maximal cone σ D of N (P) dual to a positive-dimensional
face F of P. Let D be a positive-dimensional cell of SD( f ) such that D ⊂ F .
Let σ D ⊂ V ( f |Rn ) be the cell of S ( f )(n−1) dual to D. By Exercise 2.3.13 we
have rc(σ D ) = σ F , which intersects N . Hence by Proposition 3.2.6 we see
that (−∞)n ∈ σ D ⊂ Tn , which proves the claim.
Definition 3.4.4
Let X Ξ be a tropical toric variety with torus Rn . A tropical divisor or tropical
n − 1-cycle D is a formal sum of the form
D = D0 + k1 D1 + · · · + kl Dl ,
where
• D0 is a (single) n − 1-cycle in Rn ,
• k1 , . . . , kn ∈ Z,
The support of D is the union of |D0 | with Di for all i such that ki 6= 0.
Definition 3.4.5
The affine hypersurface V ( f ) ⊂ Tn defined by the tropical polynomial f ∈
90
3 Projective space and other tropical toric varieties
f i = F ( y0 , . . . , 1, . . . , yn ) ∈ T[ y0 , . . . , ŷi , . . . , yn ].
Under the coordinate change (3.2), these polynomial follow the rule
f i ( y) − f j (φi j ( y) = d y j .
91
3 Projective space and other tropical toric varieties
Definition 3.4.6
The projective hypersurface V (F ) ⊂ TPn defined by the tropical homoge-
neous polynomial F is the tropical divisor
n
X
V (F ) := V (F ) +
fin
ord x i (F )H i ,
i=1
Remark 3.4.7
Note that ord x k (F ) = ord yk ( f i ) for all i 6= k. In particular, defining V (F )∩ Ui
in the obvious way, we have V (F ) ∩ Ui = V ( f i ) for all i = 0, . . . , n. Together
with Theorem 3.4.2, this also shows that the support of V (F ) agrees with
the set-theoretic definition in Equation (3.4). Moreover, we may define the
dual subdivision SD(F ) of NP(F ) as before. The canonical identification
NP(F ) ∼= NP( f i ) for all i also identifies the subdivisions SD(F ) ∼ = SD( f i ).
Hence we get a duality between V (F ) and SD(F ) as in the very affine
fin
case.
Remark 3.4.8
The definitions can be immediately generalized to arbitrary tropical toric
varieties following the standard representation of Cox rings for (classical)
toric varieties. More precisely, let Ξ be a pointed fan in Rn and let v1 , . . . , vl
be the primitive generators of its rays. Let A be the kernel of the map Zl →
Zn , ei 7→ vi . Set B = A∗ and let δ : Zl → B be the map dual to A ,→ Zl . The
toric degree of a monomial x j in the variables x 1 , . . . , x l is given by δ( j) ∈ B.
Fixing d ∈ B, a homogenuous polynomial of degree d is a tropical sum
X
F (x) = “ a j x j ” ∈ T[x 1 , . . . , x l ]
j∈Nl
92
3 Projective space and other tropical toric varieties
Proposition 3.4.9
Let X Ξ be a tropical toric variety and let
D = D0 + k1 D1 + · · · + kl Dl
Proof. We content ourselves to discuss the projective case, the general case
can be easily adapted. First, note that by Theorem 2.4.10 there exists a
polynomial g ∈ T[ y1 , . . . , yn ] such that V ( f ) = D0 , and we may assume
that f is monomialfree. Let G ∈ T[x 0 , . . . , x n ] denote the homogenization
of f (still mononialfree). Then the polynomial F = x j G with ji = ki satisfies
V (F ) = D.
Let us close this section with a short digression on the homotopy type of
tropical hypersurfaces.
Proposition 3.4.10
Let V ( f ) be a hypersurface in Rn whose Newton polytope NP( f ) is full-dimensional.
Then V ( f ) is homotopy-equivalent to a bouquet of k (n−1)-spheres. Here k is
the number of vertices of the dual subdivision SD( f ) which are interior points
of NP( f ).
93
3 Projective space and other tropical toric varieties
this component is contractible and the homotopy type after removing the
component is unchanged. For vertices in the interior of NP( f ), the bound-
ary of the corresponding component is homeomorphic to an (n − 1)-sphere.
Up to homotopy equivalence, removing such a component is equivalent to
removing a point of Rn . But Rn minus k points is a bouquet of k (n − 1)-
spheres, as claimed.
Remark 3.4.11
Assume NP( f ) is not full-dimensional, but generates the affine subspace
A ⊂ Rn in dual space. Then V ( f ) is tranlation-invariant along A⊥ and the
projection to Rn /A⊥ provides a contraction of V ( f ) to a hypersurface in
a smaller-dimensional space whose Newton polytope is full-dimensional
(namely NP( f ) ⊂ A). Therefore the proposition is basically valid in this
case, too. The only difference is that now we count vertices in the relative
interior of NP( f ) and V ( f ) is a bouquet of (m − 1)-spheres, where m is the
dimension of NP( f ).
Proposition 3.4.12
Let F be a homogeneous polynomial of degree d such that x i 6 |F for all i and de-
fine ∆d to be the simplex obtained as convex hull of (d, 0, . . . , 0), . . . , (0, . . . , d) ∈
Nn+1 . Let k denote the number of vertices of SD(F ) contained in ∆d . Then the
projective hypersurface V (F ) ⊂ TPn is homotopy-equivalent to a bouquet of k
(n − 1)-spheres.
94
3 Projective space and other tropical toric varieties
V ( f ) ⊂ TP2 SD( f ) ⊂ ∆3
Exercise 3.4.13
Let f : Tn → T be a tropical polynomial. Show that V ( f ) ⊂ Tn is closed.
Conclude that projective hypersurfaces V (F ) ⊂ TPn are closed.
ExerciseP 3.4.14
Let f = j∈A a j x j be a tropical polynomial. For I ⊂ {1, . . . , n}, set A I ⊂ A
to be the subset of exponent vectors j = ( j1 , . . . , jn ) with ji = 0 whenever
i ∈ I. We call X
f I := / I]
a j x j ∈ T[x i : i ∈
j∈A I
95
3 Projective space and other tropical toric varieties
NP( f ) ⊆ ∆d . Here ∆d is the d-fold standard simplex, i.e. the convex hull
of the points (0, 0), (d, 0), (0, d). In section 2.5, we mostly considered non-
degenerated curves with NP( f ) = ∆d . In projective world, they are distin-
guished by not containing any of the torus fixed points p0 = (0, −∞, −∞),
p1 = (−∞, 0, −∞), p2 = (−∞, −∞, 0) ∈ TP2 . Vice versa, any curve V ( f )
with NP( f ) 6= ∆d contains at least one of these points (see Figure 3.10).
Our goal is to extend Bézout theorem from Section 2.5 to projective
curves. To do so, we need to define intersection multiplicities for curves
intersecting at torus fixed points. We will do this in the following adhoc
manner following [BS11]. Let X , Y be two curves in T2 and let ρ1 , ρ2
be (unbounded) rays of X 1 resp. X 2 . These rays intersect at (−∞, −∞)
if and only if both primitive generators v1 , v2 have only negative entries,
say vi = (x i , yi ), x i , yi ∈ Z<0 (see Figure 3.11). In this case, the contribu-
tion of the intersection of these two rays to the intersection multiplicity at
(−∞, −∞) is defined to be
The general definition is then just a summation over all such pairs of rays.
Definition 3.5.1
96
3 Projective space and other tropical toric varieties
T2
ρ1
ρ2
v1
v2
where the sum is taken over all pairs of rays ρ1 and ρ2 of X and Y , respec-
tively, with primitive generators (x i , yi ) ∈ Z2<0 , i = 1, 2.
Let X , Y ⊂ TP2 be two projective tropical curves which intersect transver-
sally in R2 . For the three torus fix points p0 , p1 , p2 , we use the multiplic-
ity mult((−∞, −∞)) in the corresponding charts to define multiplicities
mult(p0 ), mult(p1 ), mult(p2 ). The intersection product X · Y is the formal
sum of points
X
X ·Y = mult(p)p + mult(p0 )p0 + mult(p1 )p1 + mult(p2 )p2 ,
p∈R2
97
3 Projective space and other tropical toric varieties
respectively. Then
deg(X · Y ) = deg(X ) · deg(Y )
holds.
Proof. First note that in the non-degenerated case, i.e. when both X and Y
do not contain torus fixed points, the statement is already proven in Theo-
rem 2.5.2.
In the degenerated case, let σ be a ray of X containing a torus fixed point.
In the corresponding affine chart T2 , let v = (x 1 , y1 ) be the primitive gen-
erator of this ray, x 1 , y1 < 0. Now we perform the following “deformation”
of σ. We pick a point p ∈ σ ∩ R2 such that the remaining unbounded part
p + R≥0 v does not intersect Y . We replace this part of σ by the two rays
p + R≥0 (−1, 0) and p + R≥0 (0, −1) with weights ω(σ)x 1 and ω(σ) y1 , re-
spectively. By construction, this deformed curve X 0 is still balanced, hence
a tropical curve. By Exercise 2.5.5, it has the same degree as X .
By choosing p close enough to (−∞, −∞), we can ensure that the two
new rays only intersect Y in rays also going to (−∞, −∞). Then, each
such ray τ of Y , with primitive generator (x 2 , y2 ), intersects exactly one of
the two rays. Moreover, by our assumption that p + R≥0 v does not intersect
Y , it follows that each τ intersects the (−1, 0)-ray only if x 1 y2 ≤ x 2 y1 , and
vice versa for the (0, −1)-ray. Hence the intersection multiplicity at this new
intersection point is
ω(σ)ω(τ) min{x 1 y2 , x 2 y1 }.
In other words, the new finite intersection points of X 0 · Y exactly compen-
sate the loss of intersection multiplicities at (−∞, −∞), compared to X ·Y ,
and hence deg(X · Y ) = deg(X 0 · Y ). Repeating this procedure for each “de-
generated” ray of X and Y , we eventually end up with two non-degenerated
tropical curves and the assertion follows.
Exercise 3.5.3
Let X , Y ⊂ TP2 be two tropical curves of sedentarity zero such that X ∩ R2
and Y ∩ R2 intersect transversally. Show that X and Y intersect only in R2
and some of the torus fixed points.
Exercise 3.5.4
Show that any two tropical projective curves X , Y ⊂ TP2 intersect.
98
3 Projective space and other tropical toric varieties
σ σ
p τ (−1, 0)
v1
v v2
u (0, −1)
Exercise 3.5.5
Let (TP2 )∗ be the set of tropical lines in TP2 . Show that (TP2 )∗ can be
canonically identified with TP2 . We call (TP2 )∗ the dual projective plane.
99
4 Tropical cycles in Rn
In this chapter, we jump back to case of very affine tropical geometry in
Rn . We will define tropical cycles as balanced poylhedral sets of any codi-
mension and introduce the concept of stable intersection of such cycles.
We also extend the construction of associating a hypersurface to a tropical
polynomial to arbitrary piecewise affine functions on tropical cycles. This
is strongly related to the concept of tropical modifications, an important
construction in tropical geometry which does not have a direct counterpart
in classical geometry.
Proposition 4.1.1
The following statements hold true.
(a) Let X = σ1 ∪ · · · ∪ σl be a polyhedral set. Then there exists a polyhedral
structure X of X such that X |σi is a subdivision of σi for all i = 1, . . . , l.
In particular, any polyhedral set admits a polyhedral structure.
100
4 Tropical cycles in Rn
(c) In both previous items, the promised polyhedral structure can be com-
pleted to a polyhedral subdivision of Rn .
S = Gκ1 ∩ · · · ∩ G κ m
101
4 Tropical cycles in Rn
Theorem 4.1.2
Let F be a fan in Rn . Then the following statements are true.
Proof. For (a) and (b), see for example [CLS11, Theorems 11.1.7 and 11.1.9].
For (c), see [Ewa96, Theorem III.2.8] (or [EI06]).
Exercise 4.1.3
Let σ ∈ Rn be a (rational) polyhedron. Show that R≥0 σ = {λx : λ ∈
R≥0 , x ∈ σ} is a (polyhedral) cone.
for all k − 1 cells τ (see Definition 2.4.6). Tropical hypersurfaces are exam-
ples of balanced polyhedral complexes of dimension n−1, but note that the
definition makes sense in any codimension. Indeed, such balanced polyhe-
dral complexes of arbitrary codimension are the basic objects in tropical
geometry.
Compared to the case of hypersurfaces, we will sligthly shift our point of
view by focusing on the underlying support sets and not insisting on a fixed
subdivision into cells. Here are the relevant definitions. Recall that for a
weighted polyhedral complex X , the support |X | is the union of cells of
non-zero weight.
102
4 Tropical cycles in Rn
Definition 4.2.1
Two weighted polyhedral complexes X and Y in Rn are equivalent if |X | =
|Y | and for any pair of facets σ ∈ X , σ0 ∈ Y with σ ∩ τ 6= ; the weights
agree. A weighted polyhedral complex Z is a (weighted) refinement of X
if |Z | = |X |, any σ ∈ Z , σ ⊂ |Z |, is contained in some σ0 ∈ X , and if σ is
a facet, then ωZ (σ) = ωX (σ0 ).
Definition 4.2.2
A tropical k-cycle X in Rn is an equivalence class of balanced polyhedral
complexes in Rn of pure dimension k. A tropical subspace is a tropical cycle
that can be represented by a complex with only positive weights. A tropical
fan cycle is a tropical cycle X that can be represented by a fan X .
103
4 Tropical cycles in Rn
Definition 4.2.3
A tropical k-cycle X (or balanced polyhedral subset) in Rn is a weighted poly-
hedral set in Rn of pure dimension k such that for any polyhedral structure
of X , equipped with the inherited weights, the balancing condition is satis-
fied. A tropical subspace is a tropical cycle with positive weight function. A
tropical fan cycle is a tropical cycle X supported on a fan set.
In the following we will take the freedom to take both viewpoints simul-
taneously. For example, will regard a tropical cycle X as a subset of Rn and
use the notation |X | only when we want to emphasize that we are forgetting
the weight function.
The set of all k-cycles of Rn is denoted by Zk (Rn ) and forms a group under
taking unions and adding weights. That is to say, to obtain X + Y we first
equip (X ∪ Y )gen ⊂ X gen ∪ Y gen with the weight function ωX (x) + ωY (x) (for
x ∈ (X ∪ Y )gen ⊂ X gen ∪ Y gen ), extending ωX and ωY by zero if necessary,
and secondly we restrict to the closure of the set of points with non-zero
weight. In particular, X + Y ⊂ X ∪ Y , but in general equality does not hold.
For a subset X ⊂ Rn , we denote by Zk (X ) groups of tropical k-cycles whose
support is contained in X .
Note that in tropical geometry the distinction between between algebraic
subvarieties as honest geometric objects and algebraic cycles as formal sums
of irreducible subvarieties does not really exist. In particular, our definition
of tropical subspaces as “effective” tropical cycles is somewhat arbitrary.
Rather, one should think of tropical cycles as a mixture between the two
concepts, carrying features of honest geometric subobjects (weights already
occur for hypersurfaces) as well as algebraic properties of cycles (such as
they form a group). For later use, let us prove the following lemma.
Example 4.2.4
Let A ⊂ Rn be a rational affine subspace of dimension k. We denote by [A]
the k-cycle supported on A with constant weight function 1.
Lemma 4.2.5
Any k-cycle X in Rn can be written as a difference X = X 1 − X 2 of tropical
k-subspaces X 1 , X 2 .
Proof. We set X 2 = σ:ω(σ)<0 −ω(σ)[Aσ ]. Here, the sum runs through all
P
104
4 Tropical cycles in Rn
Example 4.2.6
Choose non-negative P integers k ≤ n. Let e1 , . . . , en denote the standard basis
n
of R and set e0 = − i=1 ei = (−1, . . . , −1). For any subset I ⊂ {0, . . . , n},
n
Definition 4.2.7
Let C ∈ Z1 (Rn ) be a one-dimensional tropical cycle with polyhedral struc-
ture C . The recession fan of C is the fan RF(C ) = {rc(σ) : σ ∈ C } equipped
with the following weights. For a ray σ of RF(C ), let σ1 , . . . , σk be the rays
Pk
of C with rc(σi ) = σ. Then ω(σ) := i=1 ω(σi ). The recession fan cycle
RF(C) is the weighted polyhedral set represented by RF(C ).
It is clear that RF(C) is independent of the chosen polyhedral structure
C.
Lemma 4.2.8
The weighted fan RF(C ) is balanced. Hence RF(C) ∈ Z1 (Rn ) is a tropical fan
cycle.
105
4 Tropical cycles in Rn
Exercise 4.2.9
Let X be a weighted polyhedral complex and let Z be a weighted refine-
ment. Show that Z is balanced if and only if X is balanced
Exercise 4.2.10
Let X and Y be two weighted polyhedral complexes. Show that X and Y
are equivalent if and only if they have common weighted refinement.
Exercise 4.2.11
Let X be a polyhedral complex of dimension k. A cell τ ∈ X (k−1) is called
redundant if τ ⊂ |X |gen . Show that X the weight functions for |X | are in
bijection with the non-zero weight functions for X which are balanced for
all redundant (k − 1)-cells τ.
Exercise 4.2.12
Let L k be the standard k-plane in Rn defined in Example 4.2.6. Let C I be a
cone of Lk , the standard fan structure of L k . Show that StarLk (C I ) is again
(the fan structure of) a standard plane, namely the standard (k| I|)-plane
in Rn / L(C I ) (where the standard directions in Rn / L(C I ) are given by the
/ I).
images of e j , j ∈
106
4 Tropical cycles in Rn
Proposition 4.3.2
In the transversal case, the transversal intersection X · Y is balanced and hence
forms a tropical (k + l − n)-cycle.
107
4 Tropical cycles in Rn
and therefore
vσ∩σ0 /τ∩σ0 = [LZ (σ) : (LZ (σ) ∩ LZ (σ0 )) + LZ (τ)] · vσ/τ mod LZ (τ).
[LZ (σ) : (LZ (σ) ∩ LZ (σ0 )) + LZ (τ)] = [LZ (σ) + LZ (σ0 ) : LZ (τ) + LZ (σ0 )].
[Zn : LZ (σ) + LZ (σ0 )] · vσ∩σ0 /τ∩σ0 = [Zn : LZ (τ) + LZ (σ0 )] · vσ/τ mod LZ (τ).
(4.1)
Now let σ1 , . . . , σm be the collection of facets containing τ (with primitive
vectors vi ). Then the facets of X ∩ Y containing τ ∩ σ0 are σi ∩ σ0 (with
primitive vectors w i ) and the above relation gives
m
X m
X
ω(σi ∩ σ )w i = ω(σ )
0 0
ω(σi )[Zn : LZ (σi ) + LZ (σ0 )]w i
i=1 i=1
m
X (4.2)
= ω(σ0 ) · [Zn : LZ (τ) + LZ (σ0 )] · ω(σi )vi = 0,
i=1
i.e. the balancing condition around τ implies the balancing condition around
τ ∩ σ0 .
108
4 Tropical cycles in Rn
v→0
Proposition 4.3.3
Let X and Y be two cycles in Rn of pure dimensions k resp. l. Then the following
holds.
(b) Assume n = k + l. Then deg(X · (Y + v)) is the same for all such generic
v ∈ Rn .
Remark 4.3.4
In the following, a set of generic vectors will always be the complement of a
polyhedral subset of dimension n − 1 (or even a union of affine subspaces).
Proof. Choose arbitrary polyhedral structures X and Y . For the first state-
ment, we consider all pairs of cells σ ∈ X , σ0 ∈ Y . If L(σ) + L(σ0 ) 6= Rn ,
then for any v ∈ Rn \ (L(σ) + L(σ0 )), we have L(σ) ∩ (L(σ0 ) + v) = ;. It
109
4 Tropical cycles in Rn
110
4 Tropical cycles in Rn
σi
λi > 0
λi < 0
σ0
[H : τ + σ0 ] := [(H ∩ Zn ) : (τ ∩ Zn ) + (σ0 ∩ Zn )]
we may write
Contrary, when moving Y towards −w, we must sum over i with λi < 0
instead. By equation (4.3) both sums are equal.
Definition 4.3.5
Let X and Y be two tropical cycles in Rn of pure dimension k resp. l. The
stable intersection X · Y is
X · Y := lim X · (Y + εv),
ε→0
111
4 Tropical cycles in Rn
Proposition 4.3.6
Let X and Y be two cycles in Rn of pure dimension k resp. l with polyhedral
structures X and Y . Then the following holds.
(a) The stable intersection X · Y is well-defined, i.e. does not depend on the
choice of v ∈ Rn .
112
4 Tropical cycles in Rn
This follows directly from Equation 4.4 and the observation that dividing by
L(τ) does not affect any of the lattice indices. With the help of our earlier
invariance result 4.3.3, this proves (a) and, using the definition of stable
intersection again, (b) and (d).
Similarly, to prove (e) it suffices to consider generic vectors v. We choose
a generic v and set C = X · (Y + v). In order to prove RF(C ) = X · Y ,
we note that by Exercise 2.1.1 we have rc(σ ∩ (σ0 + v)) = rc(σ ∩ σ0 ) for
all facets σ ∈ X , σ0 ∈ Y such that σ ∩ (σ0 + v) 6= ;. Hence for a given
ray τ ∈ X ∩ Y , the terms in the sum 4.4 correspond exactly to the rays
in C whose recession cone is equal to τ. It follows that τ ∈ RF(C ) if
ωX ·Y (τ) 6= 0 and moreover ωX ·Y (τ) = ωRF(C ) (τ). This proves (e).
It remains to prove (c). By (b), if suffices to consider the case where X
and Y are fans and k + l = n + 1. By (e), in this case we have X · Y =
RF(X ·(Y + v)) for all v. For generic v, we know that X ·(Y + v) is balanced
by Proposition 4.3.2. Hence X · Y is balanced by Lemma 4.2.8.
Stable intersection provides a map
Proposition 4.3.7
Stable intersection is associative, commutative, bilinear and its neutral ele-
ment is given by the “fundamental” cycle [Rn ]. We have X · Y ⊆ X ∩ Y .
113
4 Tropical cycles in Rn
Example 4.3.8
Let us consider the stable intersection of the standard planes L k defined in
Example 4.2.6. We claim
L k · L l = L n−k−l .
114
4 Tropical cycles in Rn
Figure 4.4: Two planes in R3 which intersect in a line with a bounded edge
for example. Indeed, in this case, the only facets of L k and L n−k + v that
intersect are C{1,...,k} and C{k+1,...,n} + v. The intersection point
k
X n
X
ei = ei + v.
i=1 i=k+1
Exercise 4.3.9
Let X and Y be tropical cycles in Rn that intersect transversally. Show that
X · Y does not depend on the chosen polyhedral structures X and Y .
115
4 Tropical cycles in Rn
Example 4.4.2
Let f : Rn → R be a tropical polynomial. Then f is a piecewise integer
affine function. A sufficiently fine polyhedral structure is given by S ( f ).
Let g : Rn → R be a second polynomial. Then the tropical quotient
“ f /g” : x 7→ f (x) − g(x) is a piecewise integer affine function as well,
with sufficiently fine subdivision given by the intersection of the subdivi-
sions S ( f ) and S (g).
Note that our definition includes a finiteness condition since polyhedral
structures are assumed to be finite here. For example, a tropical Laurent
116
4 Tropical cycles in Rn
Definition 4.4.3
Let X ⊂ Rn be a tropical cycle. A polynomial function f : X → R is the re-
striction of a tropical polynomial Rn → R to f . A (tropical) regular function
f : X → R is a piecewise integer affine function which is locally polynomial.
We denote the set of regular functions by O (X ).
A (tropical) rational function f : X → R is the restriction of a tropical quo-
tient of two tropical polynomials “g/h” to X . We denote the set of rational
functions by R(X ). A locally rational function f : X → R is a piecewise
integer affine function which is locally rational.
Note that the definitions, even though imposing a local condition, still
contain the finiteness condition inherited from our definition of piecewise
integer affine function. In particular, with the given definition neither reg-
ular functions nor locally rational functions form a sheaf on X .
117
4 Tropical cycles in Rn
Remark 4.4.5
A few remarks are in order.
• First note that by the balancing condition for X around τ, the sum
Pk
i=1
ω(σi )vσi /τ is a vector in L(τ) and its value under d f |τ is well-
defined. Second, let us check that the definition of weights is inde-
pendent of the chosen primitive generators vσi /τ . Indeed, for an al-
ternative choice vσ0 /τ we have w i := vσ0 /τ − vσi /τ ∈ L(τ). It follows
i i
118
4 Tropical cycles in Rn
Example 4.4.6
Let f : Rn → R be a tropical polynomial with associated subdivision S ( f ).
Then divS ( f ) ( f ) = V ( f ). Indeed, let P be an (n − 1)-cell of S ( f ) and let
h1 , h2 the integer linear functions associated to the endpoints of the dual
cell σ P . Let h be the integer linear form such that h2 − h1 = Vol(σ P ) · h
and let F1 , F2 be the facets of S ( f ) on which h1 , h2 attain the maximum,
respectively. The primitive generators v of F2 modulo P are characterized
by the property (v) = 1. Hence
ω(τ) = h2 (v) + h1 (−v) = Vol(σ P )h(v) = Vol(σ P ).
Proposition 4.4.7
The weighted polyhedral complex divX ( f ) is balanced.
Proof. We need to check the balancing condition for each m−2-cell ρ ∈ X .
Let fρ : Rn → R be an integer affine function restricting to f |ρ on ρ. Then
the function f − fρ descends to a piecewise integer linear function fe on
S := StarX (ρ), a polyhedral fan in Rn / L(ρ). By the previous remark, the
weights of divX ( f ) are invariant under adding a (globally) integer affine
function. Hence, the balancing condition at ρ is equivalent to the balancing
condition of divS ( fe) at the origin. In other words, we may restrict to the
case where m = 2 and X is a balanced polyhedral fan (with 0-cell {0}).
We may additionally assume that X is unimodular, that is to say, each 2-
cone σ ∈ X is generated by two integer vectors which form a lattice basis
of LZ (σ). To see this, recall that any X admits a unimodular refinement
and note that refining X does not affect the balancing condition. Indeed,
any newly added ray gets assigned weight 0 by the previous remark. So let
us assume that X is unimodular.
Let τ1 , . . . , τl denote the rays of X , and let v1 , . . . , vl be their primitive
generators. If a 2-cone σ is spanned by τi and τ j , then unimodularity
implies that we can use v j as a primitive generator for σ modulo τi (and
vice versa). We use the following notation. For i 6= j ∈ {1, . . . , l}, we set
ωi j = ω(σi j ) if τi and τ j span a 2-cone σi j of X , and ωi j = 0 otherwise.
Note that ωi j = ω ji . The balancing condition of X implies that there is an
integer αi ∈ Z such that
l
X
ωi j v j = αi vi ∈ L(τi ). (4.6)
j=1
119
4 Tropical cycles in Rn
But the term in big brackets in the last line is zero by Equation (4.6).
Definition 4.4.8
Let f : X → R be a piecewise integer affine function on a tropical cycle
X ∈ Zm (Rn ) and let X be sufficiently fine polyhedral structure. The divisor
of f is the tropical cycle of dimension m − 1 defined by divX ( f ). We denote
it by divX ( f ) or f · X .
Remark 4.4.9
By the previous proposition, divX ( f ) is balanced and hence defines a tropi-
cal cycle. Note that this tropical cycle does not depend on the chosen poly-
hedral structure X . Indeed, let X 0 be a refinement of X and let τ be m−1-
cell of X 0 which is not contained in any m − 1-cell of X . Then f is integer
affine in a neighbourhood of τ and therefore the weight of τ in divX 0 ( f )
is zero. For all other m − 1-cells of X , obviously the weight agrees with the
weight of the (unique) m − 1-cell of X containing τ. Hence divX 0 ( f ) and
divX ( f ) are equivalent as weighted polyhedral complexes and induce the
same tropical cycle.
Example 4.4.10
Let f : Rn → R be a tropical polynomial. Then div( f ) = V ( f ).
120
4 Tropical cycles in Rn
Example 4.4.11
Let X = L2 = V (“0 + x + y + z”) ⊂ R3 be the standard plane in R3 from
Example 4.2.6. Note that X contains the (honest) line L = R(e0 + e3 ) =
R(e1 + e2 ) as a subcycle. We want to describe a function f : X → R such
that f · X = L.
We start by subdividing the cones σ{0,3} and σ{1,2} by intersecting rays in
the direction −(e0 +e3 ) and −(e1 +e2 ), respectively. Note that the refined fan
X is (still) unimodular. In particular, there exists a unique function g which
is linear on the cones of X and maps the primitive generators according to
−ei 7→ 0 (i = 0, 1, 2, 3), −(e0 + e3 ), −(e1 + e2 ) 7→ −1.
Corollary 4.4.12
Let X ⊂ Rn be a tropical n − 1-cycle. Then there exists a tropical rational func-
tion f : Rn → R such that X = div( f ). The function f is unique up to adding
an integer affine function (among all piecewise integer affine functions). In
particular, any piecewise integer affine function on Rn is rational.
Proof. By Lemma 4.2.5, we can write X = X 1 − X 2 with X 1 , X 2 tropical n−1-
subspaces. By Theorem 2.4.10 there exist tropical polynomials f1 , f2 such
that X i = V ( f i ) = div( f i ), i = 1, 2. Hence the rational function f = f1 −
f2 satisfies V ( f ) = X . To show uniqueness and the last claim, let f be
a piecewise affine function such that V ( f ) = 0 (as a cycle). Let X be
a sufficiently fine subdivision of Rn . Then for any n − 1-cell τ ∈ X the
condition ωdiv( f ) (τ) = 0 implies that the two affine functions on both sides
of τ agree. Hence f is a globally integer affine function.
121
4 Tropical cycles in Rn
Corollary 4.4.13
Any piecewise integer affine function f : X → R is locally rational.
Proof. Since this is a local statement, we may restrict to the case where f
is piecewise linear function on a fan cycle X . Let X be a sufficiently fine
polyhedral fan structure for f on X . By refining X further if necessary, we
may assume that X ⊂ F where F is unimodular complete fan of Rn . Then
by choosing arbitrary integer values on the primitive generators of rays not
contained in X and extending by linearity, we may construct an extension
fe : Rn → R of f which is integer linear on cones of F . Then by Corollary
4.4.12, fe is a rational function, and the claim follows.
Exercise 4.4.14
y
X = R≥0 (−1, 2) ∪ R≥0 (−1, −2) ∪ 2 · R≥0 (1, 0), f : X → R, (x, y) 7→ 2 . Show
that f is piecewise integer linear on X and div( f ) = 0. Show that f is not
regular. In particular, it is not true that any locally convex piecewise integer
affine function is regular.
The statement holds, however, if we allow Laurent polynomials with ra-
tional exponents: Show that every locally convex piecewise integer affine
function f : X → R is locally the restriction of a function x 7→ max j∈A{a j +
j x} with A ∈ Qn finite and a j ∈ R (for arbitrary X ).
122
4 Tropical cycles in Rn
(c) By the linearity property of Equation (4.5) it follows that the map
PAZ (X ) × Zk (X ) → Zk−1 (X ),
( f , Z) 7→ f · Z := f | Z · Z
Recall that a tropical subspace is a tropical cycle with only positive weights.
Proposition 4.4.16
Let f : X → R be a regular function on a tropical subspace X ∈ Zm (Rn ). Then
f · X is a tropical subspace and its support is equal to V ( f ).
where the inequality follows from the local convexity of f . This proves the
first claim.
For the second claim, it remains to show that if ω = 0 then f is locally
Pl
affine. Assumimg the contrary, there exists a linear combination i=1 λi vi =
Pl Pl
0, λi ∈ Z, such that i=1 λi f (vi ) 6= 0. We may assume i=1 λi f (vi ) < 0
by replacing λi with −λi , if necessary. Moreover, replacing λi by λi + mωi
123
4 Tropical cycles in Rn
Example 4.4.17
Let X = L2 ⊂ R3 be the standard plane and L ∈ X the (honest) line from Ex-
ample 4.4.11. Note that L is rigid in X : No non-trivial translation of L lies
in X . Philosophically, we might hope to detect this by computing a negative
self-intersection of L in X . Since in Example 4.4.11 we constructed a func-
tion f : X → R such that f · X = L, we can interpret this self-intersection
as f 2 · X . By defnition, this 0-cycle is supported {0} and the weight of the
origin is given by
f (−(e0 + e3 )) + f (−(e1 + e2 )) = 0 − 1 = −1.
So indeed, the self-intersection f 2 · X is negative. In particular, f is not a
regular (or locally convex) function.
Proposition 4.4.18
Let f , g : X → R be a two piecewise integer affine functions on a tropical cycle
X ∈ Zm (Rn ). Then
f · (g · X ) = g · ( f · X ).
Proof. The proof is very similar to the proof of 4.4.7. Again by locality, we
may restrict to the case of a two-dimensional unimodular fan X and f , g
piecewise integer linear functions on X . Let ω and ω0 be the weight of the
origin in f · (g · X ) and g · ( f · X ), respectively. Let τ1 , . . . , τl be the rays of
X and let ωi and ω0i be the weights of ρi in g · X and f · X , respectively.
Then
l
l l
X X X
ω= ωi f (vi ) = ωi j g(v j ) f (vi ) − αi g(vi ) f (vi )
i=1 i, j=1 i=1
l
l
X X
= ωi j f (v j )g(vi ) − αi f (vi )g(vi )
i, j=1 i=1
l
X
= ω0i g(vi ) = ω0 ,
i=1
124
4 Tropical cycles in Rn
Theorem 4.4.19
Let X and Y be tropical cycles in Rn . Let f : X → R be a piecewise integer
affine function on X . Then
f · (X · Y ) = ( f · X ) · Y.
Example 4.4.20
Let X ⊂ Rn be a tropical cycle and let f : Rn → R be a tropical polynomial.
Then
f · X = V(f ) · X.
Let f1 , . . . , f k be a collection of tropical polynomials. Then
f1 · · · f k · Rn = V ( f1 ) · · · V ( f k ).
Lemma 4.4.21
Let X be a tropical fan cycle, f : X → R a piecewise integer linear function on
X and C ⊂ X a one-dimensional tropical cycle. Then
125
4 Tropical cycles in Rn
l
X l
X
ω= ωX ·Y (σi ∩ L) f (w i ) = ωY (L) ωX (σi )ai f (w i )
i=1 i=1
l
X
= ωY (L) · a · ω(σi ) f (vi ) = ωY (L) · a · ω f ·X (Q) = ω0 .
i=1
Exercise 4.4.22
Let X be a tropical 1-cycle in Rn and f : X → R be a piecewise integer affine
function. Let X be a sufficiently fine (pointed) polyhedral structure and
let ρ1 , . . . , ρl denote the rays (i.e. unbounded edges) of X , with primitive
generators v1 , . . . , vl . Then
l
X
deg( f · X ) = ω(ρi )d f |ρi (vi ).
i=1
126
4 Tropical cycles in Rn
127
4 Tropical cycles in Rn
τ≤ = τ
e + ({0} × R≤0 ) = {(x, y) ∈ Rn × R : x ∈ τ, y ≤ f (x)}
equipped with weight ω(τ≤ ) = ω(τ) (see Figure 4.5). Let us summarize
the discussion in the following definition.
Definition 4.5.1
Let f : X → R be a piecewise integer affine function on tropical k-cycle and
let X be a sufficiently fine polyhedral structure. The (open) modification of
X along f is the weighted polyhedral complex
Mod(X , f ) := {e
σ : σ ∈ X } ∪ {τ≤ : τ ∈ divX ( f )},
Lemma 4.5.2
The weighted polyhedral complex Mod(X , f ) in Rn × R is balanced.
128
4 Tropical cycles in Rn
Definition 4.5.3
Let f : X → R be a piecewise integer affine function on tropical k-cycle
X . The (open) modification Mod(X , f ) of X along f is the tropical cycle in
Rn × R defined by Mod(X , f ) for any sufficiently fine polyhedral structure
X . The map π : Mod(X , f ) → X is the contraction of the modification.
Remark 4.5.4
Let us make a few remarks here.
• Let us, for the moment, consider the closure Mod(X , f ) of Mod(X , f )
in Rn × T. Let us denote by H−∞ = Rn × {−∞} ∼ = Rn the hyperplane
added at infinity. Then by construction the intersection Mod(X , f ) ∩
H−∞ is equal to divX ( f ), and this equality is respecting the weights
(in an obvious sense). See Figure 4.6 for an example. Hence, in
agreement with Remark 2.4.9, the modification construction justifies
to some extent our definition of div( f ) as locus of (tropical) zeros
and poles of f . Here, poles are actually described in terms of zeros
with negative weight. It might be tempting to use facets in upward
direction (0, 1) instead of negative weights. Note, however, that for a
general piecewise integer affine function there is no globally consis-
tent construction which does so.
129
4 Tropical cycles in Rn
Mod(X , f )
div( f )
X
Figure 4.6: The modification of R2 along the standard line is the standard
plane.
(C× )n+1 is isomorphic X after removing the zero locus V ( f ) (or the
divisor of zeros and poles of f , respectively). Hence, the process of
tropical open modifications can be regarded as the result of a very
affine embedding of a principally open subset of X .
Assume that f = “g/h” : X → R is a rational function for two polynomial
functions g, h on X . In this case there exists an alternative version of the
modification along f which does distinguish between zeros and poles, in
contrast to the previous remark.
Definition 4.5.5
Let g, h : X → R be two polynomial functions on a tropical subspace X . Let
X be a polyhedral structure sufficiently fine for both g and h. The (open)
modification of X along the quotient of g by h is the weighted polyhedral
complex
σ : σ ∈ X } ∪ {τ≤ : τ ∈ divX (g)} ∪ {τ≥ : τ ∈ divX (h)},
Mod(X , g, h) := {e
where σ e = Γ (σ, (g−h)|σ ), τ≤ = τe +({0}×R≤0 ) and τ≥ = τe +({0}×R≤0 ) The
weights are given by ω(e σ) = ωX (σ), ω(τ≤ ) = ωdivX (g) (τ) and ω(τ≥ ) =
ωdivX (h) (τ), respectively. The (open) modification Mod(X , g, h) of X along
the quotient of g by h is the tropical cycle defined by Mod(X , g, h).
130
4 Tropical cycles in Rn
Remark 4.5.6
Again, a few remarks.
• It is straightforward to adapt the proof of Lemma 4.5.2 to show that
Mod(X , g, h) is balanced and hence Mod(X , g, h) is well-defined as
a tropical cycle.
Exercise 4.5.7
Show that both Mod(X , F ) and Mod(X , g, h) are independent of the chosen
(sufficiently fine) polyhedral structure X .
131
4 Tropical cycles in Rn
Lemma 4.6.1
Let X ⊂ Rn and Y ⊂ Rm be polyhedral sets and ϕ : X → Y be an integer affine
map. Then there exist polyhedral structures X of X and Y of Y such that
ϕ(σ) ∈ Y for all σ ∈ X .
T = Gκ1 ◦Φ ∩ . . . ∩ Gκl ◦Φ
IfX and Y satisfy the conditions of the lemma, they are called sufficiently
fine for ϕ. We denote by ϕ∗ (X ) the part of the subcomplex {ϕ(σ) : σ ∈
X } ⊂ Y of pure dimension dim(X ). Note that the facets of ϕ∗ (X ) are of
the form ϕ(σ) for a facet σ ∈ X for which ϕ|σ is injective.
132
4 Tropical cycles in Rn
Lemma 4.6.3
The weighted polyhedral complex ϕ∗ (X ) is balanced.
Proof. By Exercise 4.6.10 it suffices to prove the local case. More precisely,
we can restrict to the case where X is a one-dimensional fan. Let ρ1 , . . . , ρl
denote the rays of X with primitive generators v1 , . . . , vl . We may assume
ϕ(vi ) = 0 if and only if i = k + 1, . . . , l for some 0 ≤ k ≤ l. Then the rays
of ϕ∗ (X ) are spanned by the vectors ϕ(vi ), i = 1, . . . , k, and ϕ(vi ) is equal
to [LZ (ϕ(ρi )) : ϕ(LZ (ρi )] · w i , where w i is primitive. Hence the balancing
condition for ϕ∗ (X ) turns into
k
X k
X
ω(ϕ(ρi ))w i = ω(ρi )ϕ(vi )
i=1 i=1
l
l
X X
= ω(ρi )ϕ(vi ) = ϕ ω(ρi )vi = 0,
i=1 i=1
Remark 4.6.4
Let us make a few remarks.
• Note that the support of a push forward satisfies |ϕ∗ (X )| ⊂ ϕ(|X |) ⊂
|Y |.
133
4 Tropical cycles in Rn
Example 4.6.5
Let us consider the standard line X = L1 = V (“0+ x + y”) ⊂ R2 and the map
ϕ : R2 → R, (x, y) 7→ x+ y. The standard structure on L1 and the polyhedral
structure {R≥0 , R≤0 , {0}} are sufficiently fine for ϕ|X . Let ρ0 , ρ1 , ρ2 be the
rays of X spanned by (1, 1), (−1, 0), (0 − 1). The generators are mapped
under ϕ to
and so ϕ∗ (X ) = 2[R].
134
4 Tropical cycles in Rn
Remark 4.6.7
In order to construct a sufficiently fine polyhedral structure for ϕ ∗ f , it suf-
fices to start with a sufficiently fine structure Y 0 for f and then apply the
construction of Lemma 4.6.1.
f · ϕ∗ (X ) = ϕ∗ (ϕ ∗ ( f ) · X ) ∈ Zdim X −1 (Y )
= ω f ·ϕ∗ (X ) ({0}).
Exercise 4.6.9
Prove that the definition of the push forward ϕ∗ (X ) is independent of the
(sufficiently fine) polyhedral structures X and Y .
135
4 Tropical cycles in Rn
(a) For any cell τ ∈ X , show that (the linear part of) ϕ induces a canon-
ical “local” integer affine map ϕ τ : StarX (τ) → StarY (ϕ(τ)) for which
StarX (τ) and StarY (ϕ(τ)) are sufficiently fine.
(a) symmetric,
Theorem 4.7.1
Let f1 , . . . , f n ∈ T[x 1± , . . . , x n± ] be tropical Laurent polynomials with associated
Newton polytopes P1 , . . . , Pn . Then
deg( f1 · · · f n · Rn ) = MV(P1 , . . . , Pn ).
136
4 Tropical cycles in Rn
We start by showing that the degree on the left hand side only depends on
the Newton polytopes of the polynomials, not the polynomials themselves.
We put the details of this verification in exercises below. For a lattice poly-
tope P with vertices j1 , . . . , jk , we set
k
X
fP = “ x ji ” T[x 1± , . . . , x n± ].
i=1
Lemma 4.7.2
The degree of tropical 0-cycle f1 · · · f n ·Rn only depends on the Newton polytopes
P1 , . . . , Pn .
fλP+µP 0 = λ f P + µ f P 0
Theorem 4.7.3
Let f T[x 1± , . . . , x n± ] be a tropical Laurent polynomial with associated Newton
polytope P. Then deg( f n · Rn ) = Vol(P).
Proof. To prove the theorem, we proceed as follows. First, recall that any
lattice polytope P admits a regular triangulation T (choose generic lift of
137
4 Tropical cycles in Rn
the vertices to Rn+1 , see e.g. [GKZ08, Proposition 1.5]). Let g be a tropical
polynomial with SD(g) = T . Using Lemma 4.7.2 again, it suffices to show
deg(g n · Rn ). But g n · Rn consists of a finite number of points dual to the
full-dimensional simplices of T . Since the weight of these points in g n · Rn
can be computed locally, we reduced the statement to the case of simplices.
Let us assume that P = ∆ is a lattice simplex and f = f∆ . Let us first
consider the case f = f1 := “0 + x 1 + · · · + x n ”, i.e. ∆ = ∆1 is equal to the
minimal standard simplex. Then the claim deg( f1n · Rn ) = 1 follows from a
direct calculation (or from Examples 4.3.8 and 4.4.20).
Now let us go back to the case of an arbitrary lattice simplex ∆. Note
that there exists a unique integer affine map ψ : (Rn )∗ → (Rn )∗ such that
ψ(∆1 ) = ∆. Let ϕ : Rn → Rn denote the dual map such that ϕ ∗ ( f1 ) = f .
Then the volume of ∆ can be expressed as Vol(∆) = [Zn : dψ(Zn )] = [Zn :
dϕ(Zn )]. Finally, using the projection formula 4.6.8 we get
Exercise 4.7.4
Show that the following statements hold.
Theorem 4.7.5
Let P ∈ Rn be a lattice polytope and let N = N (P) be its normal fan. For a
138
4 Tropical cycles in Rn
ω(σ F ) = Vol(F )
is balanced.
Theorem 4.7.6
The polyhedral complex S ( f )(k) with weights ω(σ) = Vol(Dσ ) is balanced
for all k = 0, . . . , n.
It is clear that Theorem 4.7.6 follows from Theorem 4.7.5 applied locally.
On the other hand, both statements have a nice conceptual explanation in
terms of tropical intersection products.
Theorem 4.7.7
Let f : Rn → R be a tropical Laurent poylnomial with associated subdivision
S ( f ). Then for all k = 0, . . . , n, the intersection product f n−k · S ( f ) is equal
to the polyhedral complex S ( f )(k) with weights ω(σ) = Vol(Dσ ).
139
4 Tropical cycles in Rn
The approach is more formal but sometimes simplifies arguments (for ex-
ample, for showing the compatibility of the divisor construction with stable
intersection) can be generalized to situations where usual stable intersec-
tion (i.e. moving cycles around) is not available. We briefly state the main
ideas here.
Given tropical X ⊂ Rn and Y ⊂ Rm , the cartesian product X × Y ⊂
R n+m
with weights ω((x, y)) = ω(x)ω( y) is a tropical cycle of dimension
dim(X ) + dim(Y ). We are particularly interested in the case n = m. Let us
denote by x 1 , . . . , x n and y1 , . . . , yn the coordinates of the first and second
factor of Rn × Rn , respectively.
Definition 4.7.8
Given a tropical cycle Z ⊂ Rn × Rn of dimension k, the intersection with the
diagonal is
X .Y := π∗ (∆ · (X × Y )) ∈ Zk+l−n (Rn ),
Theorem 4.7.9
For any two tropical cycles X , Y ⊂ Rn we have X .Y = X · Y .
Proof. It is easy to check that X .Y satisfies the same locality formula as
X · Y (see Exercise 4.7.10). It therefore suffices to prove the case k + l = n
and X , Y fan cycles. Since by Exercise 4.7.11 X .Y and X · Y agree in the
transversal case, it suffices to show deg(X .Y ) = deg(X .(Y + v)) for any v =
(v1 , . . . , vn ) ∈ Rn . But note that X .(Y +v) can be described as π∗ (∆ v ·(X ×Y ))
for the modified diagonal
∆ v · Z := max{x 1 , y1 + v1 } · · · max{x n , yn + vn } · Z.
140
4 Tropical cycles in Rn
Exercise 4.7.10
Let X , Y ⊂ Rn be two tropical cycles with polyhedral structures X and Y ,
respectively. Then for any cell τ ∈ (X ∩ Y )(k+l−n) we have
Exercise 4.7.11
Show the following statements.
(b) Assume that X and Y are affine subspaces of Rn (equipped with con-
stant weight 1) such that L(X ) + L(Y ) = Rn . Then X .Y is equal to the
affine space X ∩ Y equipped with weight [Zn : LZ (X ) + LZ (Y )].
141
4 Tropical cycles in Rn
Exercise 4.7.12
Show the two “and then for any” parts. Show the following statements.
If X is (Q-)irreducible and connected in codimension one, then X is (Q-
)irreducible.
Exercise 4.7.13
Show that if X is a k-cycle irreducible in codimension one and f : X → R is
a piecewise integer affine function, then | div( f )| = V ( f ). Let us denote by
Aff (X ) ⊂ PAZ (X ) the locally affine functions on X . Show that the sequence
div
0 −→ Aff (X ) −→ PAZ (X ) −→ Zk−1 (X ) −→ 0
Exercise 4.7.14
Construct an irreducible tropical fan k-cycle X and a fan (k − 1)-subcycle D
such that there exists no f ∈ PAZ (X ) such that div( f ) = D. Can you go on
to X irreducible in codimension one and all weights are 1?
142
4 Tropical cycles in Rn
Note that the choice of primitive generators does not matter since λ|LZ (τ) =
0. Obviously, a weight function ω ∈ Fk (Ξ)∗ is balanced around τ if and only
ω ∈ Im(evτ )⊥ . Let R k (Ξ) = ⊗τ∈Ξk−1 Im(evτ ) the sum of all these sublattices.
It follows that
Let Ak (X) denote the k-th Chow group of X. In our case, it can be com-
pletely described in terms of torus-invariant cycles and relations, hence
A(n−k) (X) = Fk (Ξ)/R k (Ξ). Let Ak (X ) denote the “operational” Chow co-
homology groups (see [Ful98]). For compact X, these can be described as
Ak (X) = Hom(Ak (X), Z). In view of Equation 4.10, we find An−k (X) = Zk (Ξ).
In other words, Chow cohomology classes correspond to tropical fan cycles
on |Ξ(k) |, and the identification is given by ωα (σ) = deg(α ∩ [Xσ ]) for any
α ∈ An−k (X). Chow cohomology carries a ring structure given by the cup
product ∪ : Ak (X) × Al (X) → Ak+l (X). It turns out that under the identifica-
tion An−k (X) = Zk (Ξ), the cup product is replaced by stable intersection of
tropical cycles (the “fan displacement rule”, see [FS97]).
143
4 Tropical cycles in Rn
Let Pic(X) denote the Picard group of X. Again, in the toric case it suf-
fices to consider torus-invariant Cartier divisors and relations and therefore
Pic(X) = PLZ (Ξ)/(Zn )∗ . There are natural maps Pic(X) → A1 (X) and more
generally Pic(X) × Ak (X) → Ak+1 (X) given by intersecting with Cartier divi-
sors. It turns out that under the identification Pic(X) = PLZ (Ξ)/(Zn )∗ , these
maps are replaced by the tropical divisor construction PLZ (Ξ) × Zn−k (Ξ) →
Zn−k−1 (Ξ), (ϕ, X ) 7→ ϕ · X . Note that in particular λ · X = 0 for λ ∈ (Zn )∗ .
In codimension one, some interesting special cases occur. For exam-
ple, the fact that the map Pic(X) → A1 (X) is an isomorphism can be de-
duced from Theorem 2.4.10 and Corollary 4.4.12 using the previous iden-
tifications. Indeed, a simple adaptation of the proofs shows that the map
PLZ (Ξ) → Zn−1 (Ξ), ϕ 7→ div(ϕ), is surjective with kernel (Zn )∗ , which im-
plies Pic(X) ∼
= A1 (X). Another interesting map is Pic(X) → An−1 (X) given by
sending a Cartier divisor to its associated Weil divisor. This relates to the
map ev : PLZ (Ξ) → F1 (Ξ), ϕ 7→ ρ∈Ξ1 ϕ(vρ )[ρ]. Clearly, this map is injec-
P
References
Parts of the theory presented here appeared in many papers in the early
days of tropical geometry. Stable intersection in the setting of tropical cy-
cles was introduced in [Mik06]. A formal approach to tropical intersec-
tion theory covering most of the material presented here was developed in
[AR10; Rau16] (see also [Rau09; Kat09]).
144
5 Projective tropical geometry
5.1 Tropical cycles in toric varieties
5.1.1 The quick and formal definition
Our first objective is to define tropical cycles in tropical toric varieties, in
particular, in Tn and TPn . Again, there are several equivalent definitions,
depending on our preferred viewpoint. Let us start with the quick and
formal definition.
Let Ξ be a fan in Rn . In this section, we denote its cones by ϑ, ρ ∈ Ξ, to
distinguish them from the cells τ, σ ∈ X of polyhedral complexes to appear
soon. We denote by W = WΞ the tropical toric variety associated to Ξ. Let us
recall that to any ϑ ∈ Ξ we can associate a torus orbit Rϑ as well as its closure
Wϑ = Rϑ ⊂ W . They have dimension dim(Wϑ ) = dim(Rϑ ) = n − dim(ϑ). In
particular, recall that Rϑ ∼
= Rn−dim(ϑ) .
Definition 5.1.1
A tropical k-cycle in WΞ is a formal sum
X
X= Xϑ,
ϑ∈Ξ
145
5 Projective tropical geometry
R2 T2
σ0 σ
Figure 5.1: The closures of a standard polyhedron in T2 with its new faces
146
5 Projective tropical geometry
respectively.
Given a weighted polyhedral complex X in W (a polyhedral structure of
a weighted polyhedral set X in W , respectively), the balancing condition in
W requires that for all τ ∈ X (k−1) we have
X
ω(σ)vσ/τ = 0 mod LZ (τ). (5.1)
σ⊃τ
same sed.
Here, the sum runs through all facets σ ∈ X containing τ and of same
sedentarity, in which case the notion of primitive generator vσ/τ := vσm /τm
is well-defined. Note that if τ is of sedentarity ϑ, then the computation
takes place completely inside Zϑ ⊂ Rϑ . We can now reformulate Definition
5.1.1 in the following equivalent ways (cf. 4.2.2 and 4.2.3).
Definition 5.1.2
A tropical k-cycle X in W is the equivalence class of balanced polyhedral
complex X in W of pure dimension k. Equivalently, X is a balanced poly-
hedral set in W of pure dimension k. If all weights are positive, X is a
tropical subspace in W . Moreover, X is of pure sedentarity ϑ if |X | is so.
Remark 5.1.3
Having rephrased our definition P like this, when writing a cycle X as sum
of its pure sedentarity parts X = ϑ X ϑ , the X ϑ will from now on be closed
cycles in Wϑ . The mobile parts X ϑ ∩ Rϑ that were used in Definition 5.1.1
will be denoted by X ϑm .
Example 5.1.4
For each k with 0 ≤ k ≤ n, let L km ⊂ Rn be the standard tropical k-plane
defined in Example 4.2.6. Its closure L k ⊂ TPn is a sedentarity zero k-
cycle in TPn and is called the standard tropical projective k-plane. Figure
5.2 illustrates the example L2 ⊂ TP3 . Note that L2s consists of four tropical
lines of higher sedentarity, one for each coordinate hyperplane at infinity.
More generally, for any boundary stratum TPnI ∼ = TPn−|I| , we have L k ∩TPnI =
L k−|I| ⊂ TPn−|I| . On a set-theoretic level, this follows immediately from the
recursive structure of the stars of L km , see Exercise 4.2.12. Regarding the
weights, we will be more precise in Section .
147
5 Projective tropical geometry
Definition 5.1.5
Let ϕP: WΞ → WΞ0 be an integer affine map between toric varieties and let
X = ϑ X ϑ be a tropical k-cycle in WΞ . The push forward of X along ϕ is
148
5 Projective tropical geometry
Definition
P 5.2.1
Let X = I X I be a tropical k-cycle in TPn . The stable intersection of H and
X is X
H · X := H Im · X Im ,
I
149
5 Projective tropical geometry
p a p ∈ Z.
Definition 5.2.2
Let X be a tropical k-cycle in TPn . The (projective) degree of X is
deg(X ) := deg(H k · X ).
Example 5.2.3
From our computations in example 4.3.8 it follows that the standard pro-
jective k-planes L k ∈ TPn have degree 1.
In the following Proposition, we show that a local part of tropical sub-
space X can only have smaller degree than X itself.
Proposition 5.2.4
Let X be a tropical subspace of Rn and let X be a polyhedral structure. Then
the followings holds.
150
5 Projective tropical geometry
Proposition 5.2.5
Let F be a homogeneous tropical polynomial of degree d and V (F ) ⊂ TPn its
associated hypersurface (see Definition 3.4.6). Then deg(V (F )) = d.
Let us recall a trivial fact from classical algebraic geometry: Any line in
CPn is isomorphic to CP1 . In tropical geometry, however, there exist (topo-
logically) different projective lines. Of course, the archetype is still TP1 . But
already the standard line L1 in TP2 is different from TP1 . L contains 3 infi-
nite points and one vertex, whereas TP1 has 2 infinite points and no vertex
at all. Figure 5.3 depicts a tropical line in TP3 containing a bounded edge.
On the other hand, tropical lines are of course very special 1-cycles. Some
properties are summarized in the following Proposition. Note that any 1-
cycle carries a canonical coarsest polyhedral structure. In the following, all
statements about edges and vertices refer to this polyhedral structure.
Lemma 5.2.7
Let L be a tropical line in TPn of sedentarity zero. Then L has the following
properties:
151
5 Projective tropical geometry
(1, 1, 1)
(−1, 0, 0)
(0, −1, 0)
(0, 0, −1)
(d) The graph L m has at most m − 3 bounded edges and at most m − 2 finite
vertices. Equalities holds when all vertices of L m are 3-valent.
152
5 Projective tropical geometry
coordinate entries of v j are either 0 or −1. Assume contrarily that the first
coordinate entry is lower than −1. Then we take a hyperplane H transversal
to L and such that the facet of H spanned by −e2 , . . . , −en and the ray of
L with direction v j intersect. As the lattice index contributing to the local
intersection multiplicity is equal to the first coordinate entry of v j , we get a
contradiction again. Thus we showed
X
vj = − ei
i∈I j
for a suitable subset I j ⊂ {0, . . . , n}. Next, we show that these sets are
pairwise disjoint. Assume i ∈ I j ∩ I j 0 . Then any hyperplane H which we
move far towards −ei will intersect both rays generated by v j and v j 0 , which
Sm Pm
is impossible. It remains to show {0, . . . , n} = j=0 . But note j=0 vk = 0
by Part (a) and Lemma 4.2.8. Since i∈I ei = 0 if and only if I = {0, . . . , n},
P
153
5 Projective tropical geometry
Definition 5.3.1
A ray ρ is Cartier in Ξ if there exists a function f : |Ξ| → R which integer
linear on each cone of Ξ and such that f (vρ ) = −1 and f (vρ0 ) for all other
rays ρ 0 6= ρ. A divisor D = Wρ is Cartier in WΞ if ρ is Cartier in Ξ.
In such function f exists, it is obviously unique and we denote it by fρ or
fD.
Remark 5.3.2
Note that ρ is Cartier in Ξ if and only if the following holds. Any cone
ϑ ∈ Ξ containing ρ has a unique face ϑ0 not containing ρ and LZ (ϑ) =
LZ (ϑ0 ) + Zvρ . The terminology is adapted from classical toric geometry,
where the condition is equivalent to CWρ being a Cartier divisor in CWΞ (in
the classical sense).
In order to define intersections with toric divisors, we need to introduce
the notion of primitive generators for faces of higher sedentarity. Let σ ⊂ W
be a polyhedron of dimension k and sedentarity zero and let τ ⊂ σ be a
(k − 1)-face of higher sedentarity, say ϑ. By Proposition 3.2.6, it follows
that rc(σm ) ∩ ϑ 6= ; and that πϑ (σm ) = τm , where πϑ : Rn → Rϑ = Rn / L(ϑ)
is the canonical projection. In particular,
Definition 5.3.3
Let σ ⊂ W be a polyhedron of dimension k and sedentarity zero and let
τ ⊂ σ be a (k − 1)-face of higher sedentarity, say ϑ. Let −vσ/τ ∈ Zn be the
primitive generator of rc(σm )∩ϑ. Then its negative, vσ/τ , is the (sedentary)
primitive generator of σ modulo τ.
If σ is of sedentarity ϑ0 , we replace Rn by Rϑ0 and Ξ by StarΞ (ϑ0 ) and
obtain the sedentary primitive generator vσ/τ ∈ Zϑ0 = Zn / LZ (ϑ0 ).
154
5 Projective tropical geometry
Definition 5.3.4
Let X ⊂ W be a k-cycle of sedentarity zero and let X be a polyhedral struc-
ture. Let D = Wρ be a toric divisor which is Cartier, with associated function
f D : |Ξ| → R. The (sedentary) intersection D · X is the weighted polyhedral
complex X | D with weights
X
ω(τ) = ω(σ) f D (vσ/τ ).
σ⊃τ
Proposition 5.3.5
The weighted polyhedral complex D · X in W is a balanced.
155
5 Projective tropical geometry
Since for all τ the argument of π in the last expression is in L(τ) (balancing
around τ), it follows that the total sum is contained in π(L(τ)) = L(α),
which proves the claim.
Remark 5.3.6
Clearly, the definition of D·X can be extended to cycles X of pure sedentarity
ϑ as long as ρ 6⊂ ϑ. More precisely, if ϑ + ρ is a cone of Ξ, we consider X
as a sedentarity zero cycle in W 0 = WStarΞ (ϑ) and let D0 be the toric divisor
in W 0 associated to the ray (ϑ + ρ)/ϑ. We set D · X := D0 · X , using the
previously defined construction in W 0 . Otherwise, we set D · X = 0. Note,
however, that in the case ρ ⊂ ϑ the intersection D · X is not well-defined (at
least, on the cycle level).
Exercise 5.3.7
Prove that the multiplicities introduced in Exercise 2.5.5 correspond to the
intersection of a curve C ⊂ TP2 of sedentarity zero with the toric divisor
L∞ corresponding to the ray R≥0 (1, 1).
Definition
P 5.3.8
Let X = ϑ∈Ξ X ϑ be tropical k-cycle in W . A piecewise integer affine function
on X is a collection of piecewise integer affine functions fϑ : X ϑm → R for
each ϑ ∈ Ξ. In particular, the group of piecewise integer linear functions
on X is M
PAZ (X ) = PAZ (X ϑm ).
ϑ∈Ξ
156
5 Projective tropical geometry
DefinitionP5.3.9
Let X = ϑ∈Ξ X ϑ be tropical k-cycle in W and f : X m → R a piecewise
integer affine function on X . The modification of X along f is the k-cycle in
W × TP1 given by X
Mod(X , f ) = Mod(X ϑm , fϑ ).
ϑ
Example 5.3.10
Consider the Laurent monomial f = “x 2 /x 1 ” = x 2 − x 1 : R2 → R. We con-
sider it here as a element in PAZ (T2 ). Note that f obviously be extended to
continuous function on T2 \ {(−∞, −∞)} → TP1 , the value at (−∞, −∞)
is not well-defined. Let us compute Mod(T2 , f ). Note that f |2R is just a lin-
ear function. Taking the closure of its graph {x ∈ R3 : x 2 = x 1 + x 3 } in
T2 × TP1 , we see easily that the extra added points form the union of three
coordiante lines
(see Figure 5.4). While the first two lines are due to the extension of f to
T2 \ {(−∞, −∞)} → TP1 , the last line {−∞} × {−∞} × TP1 reflects the
157
5 Projective tropical geometry
T2 × TP1
Mod(T2 , f )
DefinitionP5.3.11
Let X = ϑ∈Ξ X ϑ be tropical k-cycle in W and f : X m → R a piecewise
integer affine function on X . The divisor of f , denoted by div( f ) or f · X , is
the tropical k − 1-cycle
Note that this time the balancing condition for div( f ) follows from Propo-
sition 5.3.5.
Remark 5.3.12
Let us assume that X is a tropical subspace. Then the domains of div( f ) of
positive and negative weight can be regarded as “zeros” and “poles” of f ,
respectively. Note that poles can arise in two ways: From H+ · Mod(X , f )),
158
5 Projective tropical geometry
obviously, but also from facets in Mod(X , f ) pointing downwards but car-
rying negative weights. As discussed in Remark 4.5.4, in Rn -case only the
poles of the second type occur and it is therefore sufficient to intersect with
H− . Again, for general piecewise integer affine functions there seems to be
no canonical way to repair this asymmetry between zeros and poles.
For rational functions, on the other hand, we can of course adapt Def-
inition 4.5.5 as follows. For simplicity, let us assume that X is a tropical
subspace of W of sedentarity zero. Let f = “g/h” : X m → R be a ratio-
nal function given as the quotient of two polynomial functions g, h. Then
modification of the quotient “ g/h " is given by
We would like to give an explicit formula for the weights of div( f ) avoid-
ing the detour via Mod(X , f ). For the sedentarity zero part we can obviously
still use the weight formula from Equation (4.5). Actually, something sim-
ilar is true at the boundary. Actually, the formula can be easily adapted to
cover faces of higher sedentarity as well. It enough to consider the seden-
tarity zero case.
Let X ⊂ W be a tropical k-cycle of sedentarity zero and let f : X m → R
be a piecewise integer affine function. A polyhedral structure X is called
sufficiently fine for f if X m is sufficiently fine.
Corollary 5.3.13
Let X ⊂ W be a tropical k-cycle of sedentarity zero and let f : X m → R be
a piecewise integer affine function. Let X be a sufficiently fine polyhedral
structure and τ ∈ X a (k − 1)-cell of higher sedentarity. Then the weight of
τ in div( f ) is equal to
k
X
ω(τ) = ω(σi )d f |σmi (vσi /τ ), (5.2)
i=1
159
5 Projective tropical geometry
Example 5.3.14
H± Cartier in W × TP1 .
Example 5.3.15
The Laurent monomial f = “x 2 /x 1 ” = x 2 − x 1 from Example 5.3.10 has
divisor div( f ) = V (x 2 ) − V (x 1 ) ⊂ T2 .
Example 5.3.16
If D is Cartier then D = div( f D ).
Explain subdivision of W induced by Ξ??
160
5 Projective tropical geometry
ϑ≤ := ϑ
e + R≤0 en+1 , ϑ≥ := ϑ
e + R≥0 en+1 ,
Ξ≤ ( f ) := {ϑ,
e ϑ≤ : ϑ ∈ Ξ}, (5.3)
Ξ( f ) := {ϑ,
e ϑ≤ , ϑ≥ : ϑ ∈ Ξ}. (5.4)
Exercise 5.3.17
Show that Ξ≤ ( f ) and Ξ( f ) are fans.
Definition 5.3.18
The tropical line bundle OW ( f ) associated to f on W = WΞ is the toric variety
associated to Ξ≤ ( f ) together with the canonical projection π : OW ( f ) → W .
The tropical projective line bundle (or TP1 -bundle) PW ( f ) associated to f
on W = WΞ is the toric variety associated to Ξ( f ) together with the canon-
ical projection π : PW ( f ) → W .
Exercise 5.3.19
Show that a fiber of π : OW ( f ) → W can be identified with T. Show that a
fiber of π : PW ( f ) → W can be identified with TP1 .
Example 5.3.20
If f ≡ 0 is constant zero, we have OW ( f ) = W × T and PW ( f ) = W × TP1 .
Example 5.3.21
For W = TPn , f = “0 + x 1 + · · · + x n ” and d ∈ Z, we obtain the tropical lines
bundles O (d) := OTPn (d · f ) (sometimes called the twisting bundles) their
projective counterparts and P (d) := PTPn (d · f ). Let us describe the gluing
maps for O (d) explicitly. We denote by Ui = {x ∈ TPn : x i 6= −∞} the
standard affine charts of TPn . On the overlap Ui ∩ U j the function ai j (x) :=
d(x j − x i ) is a well-defined Z-invertible integer linear function (in particular,
it extends to the sedentary points of Ui ∩ U j ). The result of gluing the affine
161
5 Projective tropical geometry
φi j : (Ui ∩ U j ) × T → (Ui ∩ U j ) × T
(x, t) 7→ (x, t + ai j (x))
Remark 5.3.22
Let us assume that Ξ is complete and f : |Ξ| → R is strongly convex, i.e.
f is strictly convex on any line in Rn . Then the convex hull Conv(Γ ( f )) of
the graph of f is a pointed cone in Rn+1 . Adding this cone to Ξ≤ ( f ), we
obtain a complete fan Ξ≤ ( f ) of Rn+1 . The associated tropical toric variety
is denoted by O W ( f ).
Example 5.3.23
For W = TPn , the variety O W (d) is called a tropical weighted projective space
TP(1, . . . , 1, d).
Example 5.3.24
Let λ : Rn → R be an integer linear function. Then the fans Ξ≤ ( f ) and
Ξ≤ ( f + λ) are canonically isomorphic under the action of GL(n + 1, Z). The
same is true for Ξ( f ) and Ξ( f + λ). Hence we can canonically identify
OW ( f ) ∼
= OW ( f + λ) and PW ( f ) ∼
= PW ( f + λ).
Remark 5.3.25
Recall the toric degree map δ : Zl → B from Remark 3.4.8. Fixing a toric
degree d ∈ B, we consider the rational polyhedron P(d) := (δ−1 (d) ⊗ R) ∩
l
R≥0 . Up to translation Pd determines a polyhedron in Rn via the map Z n →
Zl . On the dual side, the support function f d of Pd (i.e. the Legendre dual of
the characteristic function of Pd ) is a function on |Ξ| which is linear on the
cones of Ξ. We call d Cartier if f (d) is integer linear (if Ξ is complete, this
is equivalent to Pd being a lattice polytope). Under this assumption, we get
associated line bundles OW (d) := OW ( f d ) and PW (d) := PW ( f d ). Moreover,
if Ξ is complete and Pd is an n-dimensional polytope, then f d is strongly
convex and we set O W (d) := O W ( f d ).
162
5 Projective tropical geometry
where ai j denotes the transition functions from Example 5.3.21. Let now
X ⊂ TPn be a tropical k-cycle of sedentarity zero. We set X i = X ∩ Ui . On
each chart, we may consider the modification Mi := Mod(X i , f i |X i ). Since
f i is a polynomial, Mi is contained in Ui × T (versus Ui × TP1 ). Moreover, it
follows from Equation (5.5) that restricted to (Ui ∩ U j ) × T, Mi and M j are
identified via φi j . In more precise terms,
Definition 5.3.26
Let F ∈ T[x 0 , . . . , x n ] be a homogeneous polynomial of degree d and X ⊂
TPn a tropical k-cycle of sedentarity zero. We denote by X i = X ∩ Ui the
affine pieces of X . The modification Mod(X , F ) of X along F is the tropical
k-cycle in O (d) such that for any i = 0, . . . , n we have
Definition 5.3.27
Let G, H ∈ T[x 0 , . . . , x n ] be homogeneous polynomials and set d = deg(G)−
deg(H). Let X ⊂ TPn a tropical k-cycle of sedentarity zero. We denote by
X i = X ∩ Ui the affine pieces of X . The modification Mod(X , G, H) of X
163
5 Projective tropical geometry
along the quotient “G/H” is the tropical k-cycle in P (d) such that for any
i = 0, . . . , n we have
Example 5.3.28
Let us look at two examples of modifications of TP2 along linear polynomi-
als. Let us first consider the standard line given by f = “x 0 + x 1 + x 2 ”.
Then Mod(TP2 , f ) = V (“x 0 + x 1 + x 2 + x 3 ”) is just the standard plane
in TP3 (cf. Figure 5.4). Let us now consider the degenerated polynomial
g = “x 1 + x 2 ”, hence (0 : −∞ : −∞) ∈ V (g). Correspondingly, the mod-
ification Mod(TP2 , g) is still a plane in TP3 , but degenerated as well. In
particular, it contains the torus fixed points (0 : −∞ : −∞ : −∞). Both
examples are illustrated in Figure 5.5.
Remark 5.3.29
Clearly, both construction can be extended to arbitrary toric varieties W
as follows. Let d ∈ B be a toric degree which is Cartier (see Remark
5.3.25). Recall that OW (d) and PW (d) denote the corresponding (projec-
tive) line bundles. Let F be a homogeneous polynomial of degree d (see Re-
mark 3.4.8). There exist well-defined dehomogenizations f i ∈ T[ y1 , . . . , yn ]
164
5 Projective tropical geometry
Definition 5.3.30
Two tropical k-cycles X ⊂ W ,Y ⊂ W 0 are isomorphic, denoted X ∼ = Y , if
there exist open toric subvarieties U ⊂ W and U 0 ⊂ W 0 such that X ⊂ U and
Y ⊂ U 0 and an integer affine isomorphism ϕ : U → U 0 such that ϕ∗ (X ) = Y .
We say X and Y are (modification) equivalent, denoted by X ≡ Y , if
there exists a chain of tropical k-cycles X = X 0 , X 1 , . . . , X l = Y , X i ⊂ Wi
such for each consecutive pair X i , X i+1 either X i ∼
= Mod(X i+1 , Fi ) or X i+1 ∼=
Mod(X i , Fi ) for suitable homogeneous polynomials Fi on Wi or Wi+1 , respec-
tively.
Exercise 5.3.31
Show that the tropical cycle D·X does not depend on the chosen polyhedral
structure X .
Exercise 5.3.32
Show that Mod(W, F ) = V (“ y + F (x)”). Show that Mod(X , F ) = “ y + F (x)”·
π−1 (X ) with π : OW (d) → W . Show that div(F ) = V (F ).
Remark 5.3.33
Cycles of higher sedentarity
165
5 Projective tropical geometry
Lemma 5.4.1
There exists a series of modifications and contractions of L to an isomorphic
line L 0 which transforms the points q0 , q1 , q2 to the infinite points p0 , p1 , p2 .
166
5 Projective tropical geometry
q1
p0 p0
q1 q1 p0
q2 p2 p2
p2 modifying contracting q2
along the qi q2
q0 q0 the pi p1
p1
p1 q0
L and L 0 are isomorphic and the identification pi = qi0 satisfies the required
properties.
Lemma 5.4.2
There exists a sequence of modifications and contractions of H to an isomorphic
hyperplane H 0 which transforms the chosen hyperplanes Q 0 , . . . , Q n+1 to the
infinite hyperplanes the infinite hyperplanes P0 , . . . , Pn+1 .
167
5 Projective tropical geometry
Lemma 5.4.3
Let p0 , . . . , p3 be 4 generic points in TP2 (i.e. no three of them are contained
in a line). Then this point configuration is tropically equivalent to the config-
uration (−∞ : 0 : 0), (0 : −∞ : 0), (0 : 0 : −∞), (0 : 0 : 0).
{L0 , L1 , L2 } =
6 {V (x 0 ), V (x 1 ), V (x 2 )}.
In other words, one of the lines, say L0 , must be of sedentarity zero. More-
over, there exists at least one coordinate lines, say V (x 0 ), which contains
at most one of the points p0 , p1 , p2 . We modify along L0 and then con-
tract V (x 0 ) (to be precise, we contract by forgetting the coordinate x 0 ).
Let H = Mod(TP2 , L0 ) be the modified plane in TP3 . By construction we
have sed(p0 ) = sed(p0 ) + 1, sed(p1 ) = sed(p1 ) + 1 and sed(p2 ) = sed(p2 ).
When contracting (let us call the contraction π), the sedentarity of a point
drops (by one) if and only if it is contained in the contracted line at infinity
V (x 0 ) = Mod(V (x 0 ), L0 ∩ V (x 0 )). By our choice, V (x 0 ) contains at most
one of the points p0 , p1 , p2 . It follows
168
5 Projective tropical geometry
s=3 s0 = 4
s=4 s0 = 5
169
5 Projective tropical geometry
ture). It follows that, for a chosen simplicial structure, we call the edges
containing an 1-vertex ends of C. Other edges are called bounded edges. A
bounded edge is homeomorphic to an interval [0, l] ⊂ R, l > 0, and we call
l the length of the edge. An end is homeomorphic to [−∞, 0], where −∞
is identified with the 1-valent vertex. Therefore, C is completely described
its combinatorial graph Γ and by a positive real length l(E) for any bounded
edge E. Finally, C is called rational if Γ is a tree.
The reader might be surprised that the definition of an abstract curve does
not require any balancing condition. In fact, as we will later see, given the
valence of a point, there is only one smooth local model in dimension 1. For
a point of valence n+1, this local model is given by the standard line in TPn
(i.e. the 1-dimensional fan with n+1 rays pointing to the standard directions
−e0 , . . . , −en ) or T, if n = 0. Hence the tropical structure of a smooth curve
is completely determined by its graph and the balancing condition at each
(finite) point is somewhat hidden by the uniquness of local models.
An isomorphism of two abstract tropical curves C, D is a continuous map
C → D which restricts to an isometry C ◦ → D◦ .
Lemma 5.5.1
Any smooth rational tropical curve C is isomorphic to a sequence of modifica-
tion of TP1 along single points.
Proof. Assume that C = (Γ , d) has more than two 1-valent vertices. Then
we can contract one of them, i.e. we just remove the vertex and the interior
of the adjacent edge E to obtain a new abstract curve C 0 = C \ E. Let x ∈ C 0
be the point where E was attached to C 0 . When we modify C 0 along x, we
just glue an interval [−∞, 0] to C 0 (identifying 0 to x). Hence Mod(C 0 , x)
is isomorphic to C. Now we repeat this process until we end up with a curve
with only two ends. Clearly its graph must be linear and hence the curve is
isomorphic to TP1 , which proves the claim.
170
5 Projective tropical geometry
in some TPN ), can look quite differently. This is already happens for lines
where, aside from the most natural ”model“ TP1 , we may consider lines in
TPN with a bigger number of infinite points and more complicated (though
rational) graphs. Again, tropical equivalence generated by tropical modifi-
cations is the right notion to identify all these different models/embeddings
of tropical lines and linear spaces.
Lemma 5.6.1
Let L ⊆ TPN be a tropical linear space of dimension n. Then L is a multi-
ple modification of TPn . In particular, all linear spaces of dimension n are
tropically equivalent to each other.
Proof. We choose a torus fixed point p ∈ TPN such that p ∈ / L and project
along p. More precisely, we consider the projection map π : TPN \ {p} →
TPN −1 which in each affine chart not containing p is just given by TN → TN −1
forgetting one coordinate (say, after reordering, the last one). Let L 0 = π(L)
be the image of L, For each point x ∈ L 0 , the preimage π−1 (x) ∩ L is either
a single point or an interval of the form [−∞, a]. In any other case, (e.g.
an interval) one can the existence of a nearby fiber which contains at least
two isolated points which contradicts the assumption that L is of degree
1. It follows that L, equipped with trivial weights, is a linear space again.
Moreover, a generic fiber π−1 (x)∩L consists of only one point, say x̃, and we
may define, in each affine chart, a piecewise linear function f on L 0 whose
value at a generic x is given by the last coordinate of x̃. Let us now modify
L 0 along f (in each chart). By construction, the graph of f is contained
in L and ... Therefore L is in fact equal to Mod(L 0 , f ). If L 0 ( TPN −1 , we
continue until we finally end up with TPn .
171
6 Tropical cycles and the
Chow group
6.1 Tropical cycles
We defined tropical cycles in toric varieties in section 5.1. The main idea
was that tropical cycles should be polyhedral sets (with rational slopes)
whose generic points carry multiplicities such that around each codimen-
sion one cell the balancing condition holds. As all these requirements are
of a local nature, it is easy to extend the definition to arbitrary tropical
varieties.
Let V be a tropical variety. A subset X ⊆ V is called a polyhedral set
if it is (finite closed) polyhedral in any chart. Recall that in charts with
points of higher sedentarity, we define a polyhedron to be the closure of a
usual polyhedron in Rn . Let x ∈ X be a point. We define the speciality of
x, denoted by specX (x) or just spec(x), to be the minimal codimension of
the polyhedra P such that x ∈ P ⊆ X . Points with specX (x) = 0 are called
generic points. Let X be of pure dimension m. Then the closure of all points
of speciality m − k is called the k-skeleton of X , denoted by X (k) .
Definition 6.1.1
Let V be a tropical variety. A tropical k-cycle X of V is a weighted polyhedral
set X ⊆ V of pure dimension k such that for any chart U ∈ V , any polyhedral
172
6 Tropical cycles and the Chow group
is satisfied.
X is called of pure sedentarity if all its generic points have the same seden-
tarity (in V ).
X is called effective if all its weights are positive, i.e. mult : X gen → N.
Remark 6.1.2
Note that an effective tropical cycle X ⊆ V is a tropical space itself by re-
stricting the charts of V to X . In other words, in our terminology effective
tropical cycles are just the closed tropical subvarieties of V . In particular, V
satisfies the requirement of a cycle itself. Hence V is the fundamental cycle
of itself.
Given two tropical cycles X 1 and X 2 , we can form the sum X 1 +X 2 . We just
take the union X 1 ∪ X 2 (which is again a polyhedral set) and add weights.
This means for a generic point of x of X 1 ∪ X 2 we set multX 1 +X 2 (x) =
multX 1 (x) + multX 2 (x) (where multX (x) = 0 if x ∈ / X ). If this sum turns
out to be zero, we just remove the point. Thus, in general, X 1 + X 2 is only
supported on a subset of X 1 ∪ X 2 . It is straightforward to check that X 1 + X 2
still satisfiesL
the balancing condition. So the set of all cycles in V , denoted
by Z∗ (V ) = k Zk (V ), forms a group under addition with neutral element
the empty cycle 0 := ;.
One further remark: As above, we will always ignore points of weight
zero. This is to say, whenever a construction (like summing two cycles)
produces zero weights, we just discard these points.
173
6 Tropical cycles and the Chow group
Proposition 6.2.1
In the situation above, there is a unique k-cycle supported on f (X ) whose
weight function agrees with (6.1) for sufficiently generic points. This cycle is
called the push-forward of X , denoted by f∗ (X ) ∈ Zk (W ).
Proof. f (X ) is a polyhedral set in W . If dim( f (X )) < k, then f∗ (X ) = 0. If
dim( f (X )) = k, let Y denote its k-dimensional part. Then equation (6.1)
defines a locally constant weight function on a open polyhedral dense sub-
set U ∈ Y . We have to show that this weight function satisfies the balancing
condition.
Choose y ∈ Y and let S denote the part of StarY ( y) given by points of
the sedentarity (in Y ) . We have to show that S with weight function (6.1)
is balanced. We use the following locality statement. Let X y := f −1 ( y) ∩ X
and let Z ⊆ X y be the set of vertices of X y . For each z ∈ Z, let Sz denote the
sedentarity part of StarX (z) as above. Then, for y 0 ∈ S, we have
X
ω f∗ (X ) ( y ) =
0
ω f∗ (Sz ) ( y 0 ).
z∈Z
This follows form the fact that when we let y 0 converge to y, then the
preimage points in X y 0 have to converge to points in Z. Using this equa-
tion, we can assume that X is a fan, and f is integer linear. The balancing
condition is a condition for the ridges of f (X ). Hence, by applying locality
one more time and using the fact that dividing by a lineality space is com-
patible with the lattice index showing up in (6.1), we can assume that X is
one-dimensional. We denote by uρ the primitive generator of a ray ρ. For
any ray ρ 0 of Y we have
X
ω f∗ (X ) (ρ 0 ) = [TρZ0 f (X ) : Im(d fρZ )]ωX (ρ).
ρ⊆X
f (ρ)=ρ 0
174
6 Tropical cycles and the Chow group
Definition 6.3.1
Let X 1 , X 2 be two k-cycles in the tropical space V . Then X 1 and X 2 are
called linearly equivalent, denoted by X 1 ∼ X 2 , if there exists a (k + 1)-cycle
Z ⊆ V × TP1 such that
• X 1 = Z−∞ , and
• X 2 = Z+∞ .
Lemma 6.3.2
The relation ∼ defined in the previous definition is an equivalence relation.
175
6 Tropical cycles and the Chow group
Furthermore, we have
X 1 ∼ X 2 , Y1 ∼ Y2 ⇒ X 1 + Y1 ∼ X 2 + Y2 .
X 1 ∼ X 2, X 2 ∼ X 3 ⇒ X 1 + X 2 ∼ X 2 + X 3 ⇒ X 1 ∼ X 3,
Z p = Z · (V × {p})
for any p ∈ C. If sed(p) = 1, C looks like T near p and we can use Definition
5.3.4 again (assuming that Z is the closure of a cycle in V × C \ {p}). If
sed(p) = 0, then C locally near p looks like the line L ⊆ Rm with single
vertex sitting at 0. So we can pull-back the function max{x 1 , . . . , x m , 0} to
V × U, where U is a neighbourhood of p. Let us denote this pull-back by
ϕ p . Then we define Z p = div(ϕ p | Z∩V ×U ).
Definition 6.4.1
Let X 1 , X 2 be two k-cycles in the tropical space V . Then X 1 and X 2 are called
alg
algebraically equivalent, denoted by X 1 ∼ X 2 , if there exists a tropical curve
C, two points p1 , p2 ∈ C and a (k + 1)-cycle Z ⊆ V × C such that
• X 1 = Z p1 , and
176
6 Tropical cycles and the Chow group
• X 2 = Z p2 .
Lemma 6.4.2
alg
The relation ∼ defined in the previous definition is an equivalence relation.
Furthermore, we have
alg alg alg
X 1 ∼ X 2 , Y1 ∼ Y2 ⇒ X 1 + Y1 ∼ X 2 + Y2 .
alg
Proof. It suffices to show that the cycles X such that X ∼ 0 form a sub-
group of Z∗ (V ). So let X 1 , X 2 be two tropical cycles which are algebraically
alg
equivalent to zero. We want to show that X 1 − X 2 ∼ 0. According to our
definition, there exists a curve C1 , two points p, p0 and a cycle Z1 ⊆ V × C1
such that (Z1 ) p = X 1 and (Z1 ) p0 = 0. Analogously, we find C2 , q, q0 ∈ C2 and
Z1 ⊆ V × C1 such that (Z2 )q = X 2 and (Z2 )q0 = 0.
Definition 6.5.1
Let V be a tropical variety and let D ⊂ V be a divisor. Then the set of all
effective linearly equivalent divisors
177
6 Tropical cycles and the Chow group
Exercise 6.6.2
Let S be a polyhedral subdivision of Rn . A path of cells in S is a sequence
σ0 , . . . , σn , σi ∈ S , such that for any i either σi ⊂ σi+1 or σi+1 ⊂ σi . Let σ
and σ be celly of S such that v ∈ rc(σ) ∩ rc(σ0 ) 6= ;.
(a) Show that there is a path of cells connecting σ and σ0 such that v ∈
rc(σi ) for all i. You might want to reduce to the 2-dimensional case
by choosing two generic points in σ and σ0 .
(b) Assume that v ∈ rc(σ) . Conclude that the rc(σ) is equal to the face
of rc(σi ) containing v for all i.
178
7 Tropical manifolds
Lemma 7.0.1
Let U ⊂ Rn be open and connected and let f : U → R be a smooth function.
Then the following conditions are equivalent.
f (x) = a + j x,
with a ∈ R and j ∈ Zn .
179
7 Tropical manifolds
of purely local nature. For the reader’s convenience, we repeat some ter-
minology which has appeared before. Recall that for any index set I ⊂ [n],
we denote by R I ⊂ Tn the torus orbit of points with coordinates x i = ∞ for
all i ∈ I.
180
7 Tropical manifolds
Note that the balancing condition at point p ∈ R I only takes into account
the full-dimensional parts of X near p contained in R I . In other words,
balancing is checked in the locus of points of same sedentarity.
Balanced open polyhedral sets are the local building blocks for tropical
spaces. Let us now consider the maps we use to glue these blocks together.
Recall from chapter 3 that in tropical arithmetics, monomial maps from
R to Rm correspond simply to linear maps which map Zn to Zm . We call such
n
181
7 Tropical manifolds
U of p in X such that for all I ⊂ [n] with U ∩ R I 6= ;, the map f |U∩RI is the
restriction of an affine Z-linear map R I → Tm .
Assume moreover that X and Y are weighted. Then f is called a tropical
isomorphism if there exists an inverse tropical morphism g : Y → X and,
moreover, if
ω(x) = ω( f (x))
for all x ∈ X gen . Note that the existence of g implies that f (x) is a generic
point of Y .
Example 7.1.5
The group of tropical automorphisms of Rn is the semidirect product
Aut(Rn ) = GL(n, Z) n Rn ,
where the first factor represents Z-invertible linear maps and the second
factor parameterizes translations.
Example 7.1.6
The group of tropical automorphisms of Tn is the semidirect product
Aut(Tn ) = Sn n Rn ,
Note that there are some subtleties hidden in the definition of tropical
morpshisms when higher sedentarity points are involved. The following
example shows some of that behaviour.
Example 7.1.7
We will compare four polyhedral sets in T2 . Let u, v, w ∈ Z2+ be integer vec-
tors with all entries positive and assume that v, w are linearly independent.
We define X 1 = T{1} ∪ T{2} (union of the two coordinate axes at infinity),
X 2 = T{1} ∪ Tu (one coordinate axis plus a ray), X 3 = Tu ∪ (Tu + p) for some
p∈ / Tu (two parallel rays) and X 4 = Tv ∪ Tw (two non-parallel rays). All of
these four sets contain the corner point o = (−∞, −∞) and we are inter-
ested in whether or not two such sets are isomorphic in a neighbourhood
of o. It turns out that such isomorphic neighbourhoods exist for X 1 and X 2 ,
182
7 Tropical manifolds
but for none of the remaining pairs. Note that some authors in other con-
texts use different definitions for tropical morphisms which may discard or
allow for extra isomorphisms in this example.
Definition 7.1.8
Let X be a topological space. A tropical atlas or tropical structure on X is a
collection of tuples (Ui , ψi , Vi )i subject to the following constraints:
• X = i Ui is an open covering of X .
S
ψi ◦ ψ−1
j
: ψ j (Ui ∩ U j ) → ψi (Ui ∩ U j )
Two atlases on X are called equivalent if their union also forms an at-
las. A tropical space is a topological space X together with the choice of an
equivalence class of atlases.
If all Vi are of pure dimension n, we say that X is of dimension n.
• The weights on the various charts are compatible and therefore glue
to give a locally constant weight function on X gen .
183
7 Tropical manifolds
Example 7.1.9
Let Λ ⊂ R2 be the lattice generated by the vectors (1, π) and (1, e). Then
X = R2 /Λ is a tropical space, with charts given by restrictions of the pro-
jection map R2 → X . Note that here we stick to integer affine structure on
R2 (and hence also on X ) given by the standard lattice Z2 ⊂ R2 . It follows
that X cannot be stratified using rational polyhedra (it can, however, be
triangulated by non-rational triangles).
Definition 7.1.10
Let X be a tropical space and let Y ⊂ X be a subset. Then Y is called a
polyhedral subset of X if Y is closed in X and if the image set ψ(Y ∩ U)
under every chart (U, ψ, V ) of X is an open polyhedral set in TN .
Polyhedral subsets often arise as the sub- resp. superlevel sets of the fol-
lowing class of functions.
Definition 7.1.11
Let X be a tropical space and let f : X → M be a function to some set M .
Then f is called semiconstant if it is constant on the relative interior of every
cell of every polyhedral structure of every chart of X . Moreover, let ≤ be
a total order on M . Then f is called lower (resp. upper) semiconstant if for
every containment of cells τ ⊂ σ we have f (τ ) ≤ f (σ ) (resp. f (τ ) ≥
f (σ )).
184
7 Tropical manifolds
Proposition 7.1.12
Let f : X → M be a lower (resp. upper) semiconstant function on at tropical
space X and choose m ∈ M . Then the sublevel (resp. superlevel) set
is a polyhedral subset of X .
Definition 7.1.13
For k ∈ N, the superlevel set
In most situations, we would like to impose some kind of finite type con-
dition on tropical spaces. This regards the local polyhedral sets Vi (a priori,
we might allow polyhedral sets which have an infinite number of cells), the
number of charts needed to give an atlas of X and, finally, the completeness
of X (open polyhedral sets can just stop at some bounded distance — this
is usually undesirable for tropical spaces). We will address all these issues
in the following definition.
Definition 7.1.14
A tropical space X is called of finite type if it admits a tropical atlas {(Ui , ψi , Vi )}i
subject to the following conditions.
185
7 Tropical manifolds
(a) The number of charts is finite, i.e. i ∈ I is taken from a finite index set
I.
(b) Each Vi is the open subset of a finite polyhedral set, i.e. the union of
finitely many polyhedra. This was implicit in the general definition,
but we want to emphasize it here.
(c) Each chart can be extended, i.e. there exists a chart (Ui0 , ψ0i , Vi0 ) such
that Vi ⊂ Vi0 for all i. The closure is taken in TN .
Example 7.1.15
A (finite) balanced effective polyhedral set in Tn is a tropical space of finite
type. More general, tropical cycles, considered as polyhedral sets, in any
toric variety are examples of tropical spaces of finite type. Note however
that in order to satisfy the third condition from above, it might be neces-
sary to split a chart in Tn into several smaller ones. For example, tropical
cycles in Rn are of finite type, but in general we have to use more than one
embedding Rn ⊂ Tn to satisfy the third condition.
Example 7.1.16
A simple example of a tropical space which is not of finite type is the unit
interval (0, 1) ⊂ T.
Example 7.1.17
Here is a strange example of a tropical space of finite type — we call it ρ
space, denoted X ρ . It is obtained from TP1 simply by glueing the points
+∞ and 0. The glued point is denoted O ∈ X ρ . The result is depicted in
Figure 7.1. This quotient space can be made a tropical space by using a
neighbourhood of (−∞, 0) ∈ V (“x 1 (x 2 + 0)”) ⊂ T2 as a chart for O. Note
that in a certain sense the point O has sedentarity 0 and 1 at the same time,
so for general tropical spaces we need to be careful when we speak about
sedentarity.
186
7 Tropical manifolds
−∞
Proposition 7.2.1
Let X ⊆ TN be an open polyhedral set of pure dimension n. Let R I be a torus
orbit of TN such that X ∩ R I 6= ;. Then it holds
dim(X ∩ R I ) ≥ n − |I|.
187
7 Tropical manifolds
Remark 7.2.2
Note that when replacing R I by T I , the previous proposition is note true
anymore (at least as long as we do not impose the balancing condition or
something similar). A simple counterexample is given in Figure 7.2. For
the same reason, the proof of the proposition can not proceed inductively,
i.e. can not be reduced to the case |I| = 1.
R2 T2
X ∩ R2 X
Proposition 7.2.3
Let X ⊆ TN be an open polyhedral set of pure dimension n. Then the following
conditions are equivalent.
(a) For each torus orbit R I ⊂ TN such that X ∩ R I 6= ;, we have
dim(X ∩ R I ) = n − |I|.
188
7 Tropical manifolds
Definition 7.2.4
Let X ⊆ TN be an open polyhedral set of pure dimension n. Then X is called
regular at infinity if the equivalent conditions of 7.2.3 hold. A tropical space
X is called regular at infinity if it admits a tropical atlas {(Ui , ψi , Vi )}i where
all Vi are regular at infinity.
Example 7.2.5
Let us give a few examples.
(a) The polyhedron depicted in Figure 7.2 is regular at infinity.
189
7 Tropical manifolds
Definition 7.2.6
Let X be a tropical space which is regular at infinity. For p ∈ X we define
the sedentarity of p in X to be
Example 7.2.7
The class of tropical spaces X which are regular at infinity and such that
every point satisfies codimX (p) = sedX (p) = 0 coincides with the class of
integer-affine manifolds defined in 1.3.2.
The main feature of regularity at infinity is that each point of sedentarity
k admits a chart which factors into a product of a sedentarity 0 part and
190
7 Tropical manifolds
Theorem 7.2.8
Let X be a tropical space which is regular at infinity. Then each point p ∈ X
of sedentarity k has a chart isomorphic to U × V ⊆ X [k] × Tk , where U and V
are open neighbourhoods of p resp. (−∞, . . . , −∞) in X [k] resp. Tk .
Definition 7.2.9
Let X be a tropical space which is regular at infinity. Then we define a
weight function on the k-skeleton X [k] by defining the weight of a generic
point p ∈ X [k] to the weight of a nearby generic point of X . This turns X [k]
into a tropical space of pure dimension n − k. We call X ∞ the divisor at
infinity of X .
191
7 Tropical manifolds
Definition 7.2.10
Let F be a tropical fan cycle in RN , U ∈ RN a convex open set containing
the origin and k ∈ N. The open neighbourhood
Corollary 7.2.11
A tropical space X is regular at infinity if and only if it can be covered by
standard charts.
Definition 7.2.12
Let F be a tropical fan cycle in RN , U ∈ RN a convex open set containing the
origin and k, M ∈ N with k ≤ M . We set Snk to be the union of coordinate
planes of dimension k in Tn , i.e.
[
Snk := (Tn )[n−k] = TI .
I⊂[n]
|I|=n−k
192
7 Tropical manifolds
Example 7.2.13
Let X be a tropical space which is regular at infinity. Then all its skeletons
0 0
X [k] are normal crossing tropical spaces. It holds (X [k] )[k ] = X [k+k ] .
Definition 7.3.1
Let X and Y be two tropical spaces. A continuous map f : X → Y is called a
tropical morphism if for each pair of charts (U, ψ, V ) for X and (U 0 , ψ0 , V 0 )
for Y the composition map
ψ0 ◦ f ◦ ψ−1 : ψ( f −1 (U 0 ) ∩ U) → V 0
Definition 7.3.2
Let X be a tropical space. We define the sheaf of locally affine Z-linear func-
tions, denoted Aff X , by setting
193
7 Tropical manifolds
Note that the invertible sections Aff ∗X (U) of this sheaf are given by tropi-
cal morphisms/locally affine Z-linear functions to R. The sheaf Aff X as well
as most of the sheaves we will introduce has very special properties, e.g. it
is semiconstant (the stalk map p 7→ Aff X ,p is semiconstant in the sense of
7.1.11) and hence constructible.
Example 7.3.3
Let us give a few examples.
= (Zn )∨ × R ∼
Aff X (Rn ) \ {−∞} ∼ = Zn × R,
(7.2)
f 7→ (d f , f (0)).
(c) Let X be a tropical space and let (U, ψ, V ) be a standard chart for
p ∈ X . Hence V is a connected open subset of StarX (p) × Tk . We may
assume StarX (p) ⊂ Rn is non-degenerate. Then
Here, the first factor encodes the differential in Rn -directions (the di-
rections of “same” sedentarity), the second factor encodes the Rk -
directions (the directions to smaller sedentarity) and the last factor
again just parameterizes shifts by a constant. Be careful, however,
that in general the (Zn )∨ -coordinates are not determined by the re-
striction of f to the points of k-sedentarity X [k] ∩ U. Namely, if one
of the Nk -coordinates is positive, this restriction takes constant value
194
7 Tropical manifolds
−∞, but the (Zn )∨ -coordinates are still well-defined and might be
non-zero. The sheaf Aff ∗X of invertible sections can be described, via
the above identification, as follows.
Aff X ρ ,O \{−∞} ∼
= (Z × R) t (Z>0 × R).
The first part describes functions with f (O) 6= −∞ using the slope
along the 0-branch and the value at O. The second part describes
functions with f (O) = −∞ using the slope along the +∞-branch
and a shift parameter.
Definition 7.3.4
Let X be a tropical space and p ∈ X be a point. The cotangent space lattice
of P at p is defined to be
195
7 Tropical manifolds
Remark 7.3.5
One nice feature of the tangent space Tp is that it contains StarX (p) canoni-
cally and non-degenerately. Hence we can remove the choice of representa-
tion of StarX (p) and regard it as embedded in the (abstract) vector space Tp .
If X is regular/normal crossing at infinity, StarX (p) ⊂ Tp is a well-defined
tropical fan cycle of sedentarity zero.
Definition 7.3.6
Let X be at tropical space and let p ∈ X be a point. We define the slope
semigroup of X at p to be
196
7 Tropical manifolds
Definition 7.4.1
A tropical space X is called smooth if it can be covered by charts to degree
1 open polyhedral sets. We call X a tropical manifold if it is of finite type,
regular at infinity and smooth.
Note that smoothness does not in general imply regularity at infinity, as
example 7.2.5 (b) shows.
Let Λ be a lattice and Λ × R the associated vector space. Let X ⊂ V be a
tropical fan of pure dimension k. The choice of a basis B = (v1 , . . . , vn ) of
Zn gives us a tropical isomorphism ΦB : V → Rn .
Definition 7.4.2
We define the degree of X with respect to the basis B to be
degB (X ) := deg(ΦB (X )).
A tropical fan X ⊂ V is called degree 1 fan if it is effective and if there exists
a basis B such that degB (X ) = 1.
Corollary 7.4.3
Let X be a tropical space regular at infinity. Then X is smooth if and only if
for all p ∈ X the star StarX (p) ⊂ Tp is a degree 1 fan.
We will now have a closer look at the local building blocks of tropical
manifolds, degree 1 fans. Our goal is to show that degree 1 fans satisfy
some very special properties and, summarizing this, can be described in
terms of matroids. This correspondence depends on the chosen basis B.
In the following we fix as ambient space Rn with its standard basis e1 , . . . , en
(i.e. we compute the degree of a fan with respect to the standard hyperplane
197
7 Tropical manifolds
Theorem 7.4.4
Let X ⊂ Rn be a degree 1 fan of dimension k. Then X is supported on FS(Rn )(k) .
Proof. Note that the subdivision FS(Rn ) can be obtained from intersecting
all hyperplane subdivisions given by the hyperplanes x i = x j . Hence it
suffices to show that the linear span Rσ of every facet σ of X is the inter-
section of n − k such hyperplanes. Note that Rσ, considered as a tropical
cycle, is itself of degree 1 by 5.2.4. Hence the following lemma finishes the
proof.
Lemma 7.4.5
Let V ⊂ Rn be a linear space which, considered as a tropical cycle with weight
1, has degree 1. Then there exists a chain ; ( S1 ( . . . ( Sk ( E such that
V = 〈vS1 , . . . , vSk 〉.
198
7 Tropical manifolds
with 0 ≤ r1 < . . . < rk < rk+1 = n and such that a r j = 0 for all 1 ≤ j ≤ k + 1.
Here is a schematic picture of the matrix obtained from this basis of V .
eS1 1 . . . 1 0 . . . 0 0 . . . 0
eS2 1 . . . 1 1 . . . 1 0 . . . 0
.. .. .. .. .. . .
.
. . . . .
e 1 . . . 1 1 . . . 1 1 . . . 1
E
v ∗ ... 0 ∗ ... 0 ∗ ... 0
Our next claim is that v has only 0 and 1 entries. Namely, consider the entry
/ {r1 , . . . , rk+1 }. Let I be the complement of {i, r1 , . . . , rk+1 }. Since
ai for i ∈
|I| = n − k − 1, σ I is a facet of H k+1 . Now deg(H k+1 · V ) = 1 implies (after
choosing a suitable translation) that if Rσ I and V intersect transversally, the
corresponding lattice index should be 1. In the language of determinants
this means that after deleting the columns of M labeled by indices in I the
square matrix has determinant 0 or ±1. However, after the deletion the
only non-zero entry in the v-row is ai . Moreover, after developing this row,
the matrix becomes triangular with 1’s on the diagonal. Hence ai ∈ 0, 1. It
remains to show that v has non-zero entries in exactly one of the segments
0 ≤ r1 < . . . < rk < n, say between r j and r j+1 . This finishes the proof, as
this allows us to replace v by eS , where S = S j ∪ {i : ai = 1}. So let us prove
this. Assume by contradiction that we find r j < i1 < r j+1 < i2 such that
ai1 = ai2 = 1. We set
I = E \ {i1 , r1 , . . . , rk+1 },
J = E \ {i1 , i2 , r1 , . . . , rd
j+1 , . . . , rk+1 }.
Again, deleting the columns labeled by I resp. J, we see easily that the
determinant is non-zero in both cases (note that I is exactly of the form as
above). Hence Rσ I and RσJ both intersect V transversely. We now move
H k+1 such that the translated vertex p has coordinates satisfying
i = i1 ,
1
pi = 0 i ∈ {i2 , r1 , . . . , rk+1 },
< 0 otherwise.
199
7 Tropical manifolds
eS j+1 − eS j ∈ p +σJ . It follows that both v and eS j+1 − eS j occur in (H k+1 + p)· V
and therefore deg(V ) ≥ 2, a contradiction.
Lemma 7.4.6
Let p ∈ Rn be a point with pairwise distinct projective coordinates pi . Let O
be the induced complete order on E such that pi > p j ⇔ i > j. Let S = (; (
S1 ( . . . ( Sk ( E) be a chain and set m j := maxO (S j+1 \ S j ), with respect to
O. Then the following are equivalent:
(b) (H k + p) ∩ σS 6= ;.
Corollary 7.4.7
Let X ⊂ Rn be of degree 1 and let σF , σG ⊂ X be two facets. If F and G admit
a common compatible order, then F = G .
Lemma 7.4.8
Let X ⊂ Rn be a degree 1 fan of dimension k. Let S = (; ( S1 ( . . . ( Sk−1 (
E) be a chain of length k − 1 such that σS ⊂ X . Let σS1 , . . . , σSl be the facets
of X containing σS . Then all chains Si are of the form ; ( . . . S j ( Ti (
S j+1 ( . . . ( E for a fixed 0 ≤ j ≤ k − 1 and the Ti \ S j form a partition of
S j+1 \ S j .
200
7 Tropical manifolds
Theorem 7.4.9
Let X ⊂ Rn be a degree 1 fan and let S = (; ( S1 ( . . . ( Sl ( E) be a chain.
Then σS ⊂ X if and only if eS j ∈ X for all 1 ≤ j ≤ l.
The proof uses a certain reordering construction which we choose to
present seperately in the following lemma.
Lemma 7.4.10
Let S = (; ( S1 ( . . . ( Sk ( E) be a chain such that σS ⊂ X is a facet of X .
Fix 1 ≤ l ≤ k and let O be a complete order on Sl . Then there exists another
chain S 0 = (; ( S10 ( . . . ( Sk0 ( E) such that
(a) S 0j = S j for all j ≥ l,
(c) σS 0 ⊂ X .
We call S 0 the reordering of S by O.
Proof. Let i be the maximal element in Sl with respect to O. Take 1 ≤ j ≤ l
minimal such that i ∈ S j . By 7.4.8 we can replace S j−1 by a (unique) set
such i ∈ S j−1 . Proceeding in this way, we may assume i ∈ S1 . Now consider
the maximal element i 0 in Sl \ S1 and proceed analogously to obtain a new
chain with i 0 ∈ S2 . Continuing in this way, we end up with a chain as
described in the statement.
201
7 Tropical manifolds
Proof of theorem 7.4.9. The “only if” direction is clear. Hence let us assume
that S is a chain of length l with eS j ∈ X for all j. We prove σS ⊂ X by
induction on l. By induction hypothesis we assume σS ⊂ X and show for
given G with Sl ( G and eG ∈ X the concatenated chain also describes a
cone of X . The containments in X guarantee that there are maximal chains
F resp. G completing S resp. containing G. Choose a complete order of Sl
compatible with S and complete it to an order O on E such that elements
in Sl are greater than elements in G \ Sl which in turn are greater than
elements in E \ G. Let F 0 resp. G 0 be the reorderings of F resp. G with
respect to O. It follows from the construction that the lower part of F
remains unchanged, hence F 0 is still a completion of S . At the same time
G 0 still contains G by construction. However, F 0 and G 0 have common
order O, hence by 7.4.7 they have to be equal. Therefore F 0 = G 0 is a
completion of ; ( S1 ( . . . ( Sl ( G ( E, which proves the claim.
(A) E is a flat.
(C) Let F be a flat and let G1 , . . . , Gl be all flats which cover F (i.e. F ( Gi
and F ⊂ H ⊂ Gi implies F = H or F = Gi ). Then the sets Gi \ F form
a partition of E \ F .
The matroid M is called loopfree if the empty set is a flat as well. Here is
how a degree 1 fan can be turned into a matroid.
Theorem 7.4.11
Let X be a degree 1 fan of dimension k. Let F be the set of subsets S ⊂ {0, . . . , n}
such that eS ∈ X . Then F satisfies the axioms of the lattice of flats of a matroid.
It is called the matroid associated to X and denoted by M (X ).
202
7 Tropical manifolds
For Axiom (B) choose any order O of E such that the elements in F ∩G are
greater than the rest. Let σF and σG be facets of X such that F contains
F and G contains G. Reorder F by O and let F 0 be smallest set in the
new chain such that F ∩ G ⊂ F 0 . By construction of O, we have F 0 ⊂ F .
Analogously, reordering G we get a minimal set G 0 ⊂ G. The two new chains
have common order O and hence are equal, and by minimality F ∩ G ⊂ F 0 =
G 0 ⊂ F ∩ G. Hence F ∩ G = F 0 = G 0 is a flat.
For axiom (C), first note that by 7.4.9 it is clear that the minimal flats Gi
containing F are exactly those appearing behind F in some chain F such
σF is a facet of X . Let i ∈ E\F . Let F be any such chain that contains F and
let O be an order on E such that the largest elements are in F , then i, then
the rest. Reordering F by O we obtain a chain such that the set G behind
F contains i. Hence the Gi cover E \ F . Assume there was a second such G 0
containing i. Then reordering a chain containing F ⊂ G 0 by O produces the
same chain as before, hence G = G 0 . This proves the claim.
By theorem 7.4.9, the inverse to X 7→ M (X ) should look as follows.
Definition 7.4.12
Let M be a loopfree matroid on E. The associated matroid fan B(M ) consists
of the collection of cones σF , where F = (; ( F1 ( . . . ( Fl ( E) is a chain
of flats of M . In particular, B(M ) is a subfan of the fine subdivision of
dimension rank(M ) − 1 (which is the maximal length of chains of flats in
M ).
Theorem 7.4.13
Let M be a loopfree matroid. Then B(M ) is a degree 1 fan.
Proof. First note that axiom (C) of the matroid axioms guarantees that the
statement of lemma 7.4.8 holds and hence B(M ) is balanced. So B(M )
forms indeed a tropical fan in Rn and it remains to compute its degree. Our
approach is as follows. Let H ⊂ Rn be the standard hyperplane. We will
show that the stable intersection H · B(M ) is the fan of a loopfree matroid
again. Therefore, by induction it suffices to prove the claim for the single
loopfree matroid of rank 1 on E. Its only flats are ; and E itself. Therefore
B(M ) is just the origin which is obviously of degree 1.
So, let us now prove that when rank(M ) > 1, H · B(M ) is a matroid fan
again. Indeed, we will show H · B(M ) = B(M 0 ) where M 0 is the matroid
203
7 Tropical manifolds
Corollary 7.4.14
There is a one-to-one correspondence between degree 1 fans in Rn and loopfree
matroids on E given by
204
7 Tropical manifolds
Proof. Theorems 7.4.11 and 7.4.13 show that both maps are well-defined.
Theorem 7.4.9 proves that B(M (X )) = X . Finally, M (B(M )) = M follows
directly from the definitions.
Remark 7.4.15
Note that the map X 7→ M (X ) has a completely analogous counterpart in
classical algebraic geometry. An embedding of a linear space L in CPn is
basically equivalent (up to translating TPn by the torus action) to a hyper-
plane arrangement on L. The hyperplanes are given by the intersection of L
with the coordinate hyperplanes of CPn . In this situation, it is easy to check
that the above definition of M (L) is equivalent to the standard definition of
the matroid of the hyperplane arrangement.
In fact, we may consider a slight generalization of our statement.
A degree 1 fan X in TPn is the closure of a degree 1 fan in an orbit O F ,
F ⊂ E. We think of M (X ), which a priori is a matroid on the ground set
E \F , as a matroid on E by summing with the rank zero matroid on F (hence
F is the minimal flat of M (X )).
Correspondingly, let M be a (not necessarily loopfree) matroid M and let
F = ; be its minimal flat. Then M \ F is a loopfree matroid and we define
B(M ) := B(M \ F ) ⊂ O F .
The philosophy here is that loops in the matroid correspond to fans con-
tained in the corresponding coordinate hyperplane at infinity.
With these generalizations, the one-to-one correspondence can be ex-
tended to degree 1 fans in TPn and (arbitrary) matroids on E.
Theorem 7.4.16
Let Y ⊂ Rn be a matroid fan of dimension k and let V ⊂ Y be a balanced
polyhedral complex of dimension k−1 contained in Y . Then there exist tropical
polynomials f , g such
V = div(“ f /g”|Y ).
Proof. Use FrancoisRau and Alexander Esterov: We can find X 0 ⊂ Rn of
dimension n − 1 such that X = Y · X 0 (stable intersection). Use the previous
205
7 Tropical manifolds
Theorem 7.4.17
In the above two theorems, the function ϕ = “ f /g” is unique up to adding an
affine linear function.
Proof. In the Rn -case, it follows from the proof that once we fix f on one
connected component, it is uniquely determined everywhere else. For a
general matroid fan, we can use the fact that it is a (multiple) modifica-
tion of Rk along matroid divisors and show that the property survives such
a modification. So let us assume V V is a matroid modification of V and
f · V V = 0 for some rational function f . We want to show that f is affine
linear. We prove first that f is the pull-back of a function g on X . Then the
claim follows as the function g has to be affine linear by induction assump-
tion.
We check the claim by proving that f is affine linear on every half-ray
V V ⊂ {p} × R, where p is a generic point of divisor. Assume there is a
point
We write f = δ∗ g + h, where g is a function on X and h == 0 away from
d i visor × R. It follows δ∗ h · V V ⊂ divisor, and, as divisor is irreducible,
δ∗ h · V V = a · divisor. This implies g · V = −adivisor and therefore g =
−aϕ, where ϕ is the modification function, by uniqueness in X . From this
follows f = −a y.
Example 7.4.18
Example: Smooth curves, stable curves, M0,n , M 0,n
Definition 7.5.1
Let X ⊆ Tn be an open polyhedral set of pure dimension. A function f :
206
7 Tropical manifolds
Remark 7.5.2
Both OX0 and RX0 are only presheaves in general (recall that we require sub-
divisions X of X to be finite). An example is given by the tropical Laurent
series
∞
X i i
f =“ − x ” ∈ OT (T) (7.6)
i=0
2
with infinitely many tropical zeros.
Exercise 7.5.3
Let ϕ : X → Y be a tropical morphism of open polyhedral sets. Show that
local polynomiality resp. rationality is preserved under pull-back along ϕ.
This leads to sheaf homomorphisms
ϕ ∗ : OY → OX and ϕ ∗ : RY → RX . (7.7)
Find an example for the fact that the pull-back of a polynomial function is
not necessarily polynomial again (only locally).
The exercise shows that the sheaves OX and RX can be glued along trop-
ical isomorphisms to give sheaves on tropical spaces.
Definition 7.5.4
Let X be a tropical space with atlas (Ui , ψi , Vi ). The unique sheaf OX on
207
7 Tropical manifolds
X such that OVi ∼ = OX |Ui along ψ∗i is called the sheaf of locally polynomial
functions on X . Analogously, we define the sheaf of locally rational functions
RX . Finally, a Cartier divisor on X is a section of the quotient sheaf CDiv =
RX∗ / Aff ∗ . Hence it can be described by a collection of non-vanishing ra-
tional functions whose domains cover X and which differ by affine Z-linear
functions on the overlaps.
Let X ⊂ TN be an open tropical cycle of pure dimension n and sedentarity
zero and let f : X ¹¹Ë T be a rational function. We may choose a subdivision
X of X such that f is defined and affine Z-linear on all cells of sedentarity
zero. Let τ ∈ X be a cell of codimension one. We define the order of
vanishing ω f (τ) of f at τ in analogy to the constructions in by
k
X
ω f (τ) = ω(σi ) fσi (vi ), (7.8)
i=1
Definition 7.5.5
Let X ⊂ TN be an open tropical cycle of pure dimension n and sedentarity
zero and let f : X ¹¹Ë T be a rational function. We define the divisor (of
zeros and poles) of f , denoted by div( f ), to be the weighted open polyhedral
set obtained (for a chosen subdivision X as above) as the union of the
codimension one faces τ of X with weights ω f (τ).
Proposition 7.5.6
The divisor construction satisfies the following properties.
(a) The weighted open polyhedral set div( f ) is balanced, hence gives a open
tropical cycle.
208
7 Tropical manifolds
(b) The open tropical cycle div( f ) does not depend on the chosen subdivision
X.
The last property implies that we can extend the definition to Cartier
divisors.
Definition 7.5.7
Let X be a tropical space and let ϕ ∈ CDiv(X ) be a Cartier divisor. Let
(Ui )i be a open cover of X such that ϕ|Ui = [ f i ] for some rational function
f i ∈ R ∗ (Ui ). Then the (Weil) divisor div(ϕ) of ϕ is the unique tropical
subspace of X such that
209
8 Tropical curves
In the previous chapters we presented the general concepts of tropical ge-
ometry. Instead of developing the general theory further, in the present
chapter we want to bring these concepts into action in the easiest non-
trivial concrete class of examples. Unsurprisingly, this class is formed by
tropical curves.
Let us unwind the definition of tropical manifold to see what that actually
means in the curve case. The classification of local models is very easy. We
set L(n + 1) = H n−1 ⊂ Rn , the fan in Rn consisting of the n + 1 rays in the
directions −e1 , . . . , −en , e1 + . . . en , for suitable n. In the following, we call
L(n) the n-valent line.
Exercise 8.1.2
Let F ⊂ Rm be a one-dimensional tropical fan of degree 1. Show that F
is isomorphic to L(n) for suitable n ≥ 2. Show that F ∈ Tm is regular at
infinity. You can either proceed directly and use the definition of projective
degree, or classify matroids of rank 2.
210
8 Tropical curves
points of C. Note that by regularity at infinity the only smooth local model
at an infinite point is −∞ in T. It is convenient to extend our notation
by setting L(1) := T (with "vertex" −∞). Then it follows from the above
exercise that at any point p the curve C admits a chart to L(n), for suitable
n ∈ N, sending p to the vertex. The number n =: val(p) is unique and called
the valence of p. We have val(p) = 1 if and only if sed(p) = 1.
We will now show that smooth tropical curves are the same thing as met-
ric graphs. The first ingredient to this statement is is the uniqueness for the
local model for each valence n as discussed above. The second ingredient is
the fact that in dimension one an integral affine structure is the same thing
as an (inner) metric. Let us be more precise.
Definition 8.1.3
A metric graph (with open ends) G is a connected one-dimensional finite CW-
complex with some 1-valent vertices removed and equipped with a com-
plete inner metric on G \ {1-valent vertices}. To avoid some tautologies, we
exclude the case of a single edge with both endpoints removed (we may
subdivide it by a 2-valent vertex, however). We distinguish three kinds of
edges. The edges adjacent to an erased resp. remaining 1-valent vertex are
called open resp. closed ends. All other edges are called inner edges.
Two metric graphs G, G 0 are called isomorphic if there exists a homeo-
morphism which is an isometry after removing 1-valent vertices.
Note that the open ends, closed ends, resp. inner edges e of G are iso-
metric to (−∞, 0], [−∞, 0], resp. [0, l e ] (for some l e ∈ R> ). It follows that
given a fixed cell decomposition of G, the choice of a complete inner metric
is equivalent to specifying a positive real number l e ∈ R> for each inner
edge e of G.
Let L(n + 1) be the n + 1-valent line. We equip L(n + 1) with the unique
complete inner metric such that all primitive generators −e1 , . . . , −en , e1 +
. . . en have length 1. Let p ∈ G be the vertex of a metric graph and let U v be
the open neighbourhood consisting of p and the interior of all edges adja-
cent to p (in the presence of loop edges, we subdivide them into two pieces).
Then there exists a unique distance-preserving map U p → L(val(p)) up to
permuting the rays of L(val(p)). We include the case val(p) = 1 with map
Up ∼ = [−∞, 0] ,→ T). The collection of these maps forms a tropical atlas
and give G the structure of a regular tropical curve, denoted (presently) by
211
8 Tropical curves
tc(G).
Exercise 8.1.4
Check that the collection of maps distance-preserving maps U p → L(val(p))
forms a tropical atlas which is of finite type and smooth.
Proposition 8.1.5
The map G 7→ tc(G) given by the above construction induces a bijection be-
tween the set of isomorphism classes of metric graphs G and the set of isomor-
phism classes of regular tropical curves (i.e., smooth curves of finite type).
Exercise 8.1.6
Let C be a smooth tropical curve.
(a) Show that C has the structure of a connected finite CW-complex with
some 1-valent vertices removed.
(b) Show that given the metric on L(n), there is a unique inner metric on
C \ C [1] such that the charts to L(n) are distance-preserving.
Note that along this identification, the ends of the graph correspond to
rays of the tropical curve, with sedentarity 1 endpoint in the case of closed
ends. The inner edges correspond to bounded line segments. In the follow-
ing, we will use the same letters and jump back and forth freely between
the two points of view.
Definition 8.1.7
We define the genus of a smooth tropical curve to be g(C) = b1 (C) =
dim H1 (C, Z), the first Betti number of the underlying graph.
212
8 Tropical curves
Remark 8.1.8
We may drop the condition of finite type and extend the above one-to-one
correspondence to any smooth tropical curve. In this case we should relax
the completeness condition in the definition of metric graph to the property
that the metric cannot be extended to a metric on G. It corresponds to
allowing a finite length parameter l e ∈ (0, ∞] for open ends.
Definition 8.2.2
Two divisors D, D0 on C are called linearly equivalent, denoted by D ∼ D0 ,
if D − D0 = div( f ) for some f ∈ Rat(X ). The corresponding quotient group
Div(X )/ Im(div) is called the divisor class group of X . The divisors of the
form div( f ), f ∈ Rat(X ) are called principal divisors of X .
Proposition 8.2.3
Let X be a compact tropical curve. Then deg(div( f )) = 0 holds for all f ∈
Rat(X ).
213
8 Tropical curves
Proposition 8.2.4
Let X be a compact tropical curve and f ∈ Rat(X ). Then it holds
div( f ) = 0 =⇒ f ≡ const,
Definition 8.2.5
Let D be a divisor on a tropical curve X . The set of effective divisors linearly
equivalent to D
|D| := {D0 ∈ Div(X ) : D ∼ D0 ≥ 0}
is called the complete linear system of D. We also use the notation
Proposition 8.2.6
Let D be an effective divisor on a tropical curve X . Then the following holds.
214
8 Tropical curves
Ui
commutes.
Remark 8.3.2
Note that the tropical definition is slightly simpler than in the classical case.
In the classical case, in way or the other, the vector space structure on the
fibers has to be included in the definition and the trivialization is required
to respect this structure. (In practice, this is often done by fixing a triv-
ialization and asking the transition maps to be linear on fibers.) As we
215
8 Tropical curves
will see in a moment, in tropical geometry we get this for free. In some
sense, this boils down to the fact that the classical automorphism group
Aut(C) contains many non-C-linear maps, whereas a tropical automorphism
φ ∈ Aut(T) ∼ = R is automatically T-linear. Similar remarks apply to the def-
inition of isomorphisms of line bundles.
Remark 8.3.3
A line bundle L is smooth if and only if X is smooth. It is a tropical manifold
if and only if X is regular.
Let (Ui , ψi ) be a local trivialization of a line bundle L. Consider the in-
duced automorphisms on the overlaps
ψ
ei j := ψ j ◦ ψ−1 : (Ui ∩ U j ) × T → (Ui ∩ U j ) × T,
i
which acts trivially in the first component. It follows that ψ ei j induces auto-
∼
morphisms on {x}×T for each x ∈ Ui ∩ U j . Since Aut(T) = R, this gives rise
to functions ψi j : Ui ∩ U j → R such that ψ ei j (x, y) = (x, “ψi j (x) y”). More-
over, the functions ψi j are tropical morphisms (write them as ψi j (x) =
π2 (ψei j (x, 0)), where π2 is the projection to the second component) and
hence are sections of Aff ∗X (Ui ∩ U j ). They are called the transition func-
tions associated to the trivialization (Ui , ψi ). The identity ψ e jk ◦ ψ
ei j = ψ
eik
translates to the cocycle identity
ψi j − ψik + ψ jk ≡ 0 on Ui ∩ U j ∩ Uk .
The other way around, any collection of functions ψi j ∈ Aff ∗X (Ui ∩ U j ) sat-
isfying the cocycle identity occur as transition functions of a line bundle,
and the following statement summarizes this in terms of the first Čech co-
homology group H 1 (X , Aff ∗X ).
Proposition 8.3.4
Let L be a line bundle on X . The transition functions of any trivialization of
L induce a cocycle class [(ψi j )i j ] ∈ H 1 (X , Aff ∗X ). The map
Pic(X ) → H 1 (X , Aff ∗X ),
L 7→ [(ψi j )i j ]
is well-defined and bijective. In particular, it induces a group structure on
Pic(X ).
216
8 Tropical curves
Exercise 8.3.5
Prove the proposition (for example, by copying the proof of the classical
case). Recall that Aff ∗X is a constructible sheaf and hence Čech cohomology
group can be computed on a suitably fine open covering of X .
Exercise 8.3.6
Let us fix a subdivision of X without loops and double edges and let U x
denote the open neighbourhood of the vertex x consisting of x and the
interior of the adjacent edges. Show that the U v form an admissible open
covering for Aff ∗X and compute the cohomology groups with respect to this
covering.
Definition 8.3.7
Let L be a line bundle on X and (Ui , ψi )i be a local trivialization of L. A
map s : X → L is called a rational section (of finite type) of L if π ◦ s =
idX and si := π2 ◦ ψi ◦ s|Ui ∈ Rat(Ui ) for all i. We call the si the local
parts of s. WePdefine the order of s at x ∈ Ui by ord x (s) := ord x (si ) and
call div(s) := x ord x (s)x ∈ Div(X ) the divisor of s. The T-semifield of all
rational sections of L is denoted by Rat(L).
Exercise 8.3.8
Check that if s is a rational section for some local trivialization of X , then
it is so for any trivialization. Check that ord x (s) does not depend on the
choices made and hence div(s) is well-defined.
Remark 8.3.9
Every line bundle L has a canonical trivial section which is constant −∞
in every local trivialization. By abuse of notation, let {−∞} ⊂ L denote
the image of this section. Note that any non-trivial rational section s can be
restricted to a map X \ X [1] → L \ {−∞}, and this restriction determines
s uniquely. By abuse of notation, we will often write s : X → L in the
following.
Proposition 8.3.10
217
8 Tropical curves
(b) Let s, s0 be two rational sections of L with local parts si resp. si0 . Then there
exists a unique global rational function f ∈ Rat(X ) such that f |Ui =
si − si0 . We use the notation f = “s/s0 ” = s − s0 .
Proof. Part (a) is clear. For part (b), set f i := si − si0 . Then part (a) implies
f i − f j ≡ 0 on Ui ∩ U j , hence we can glue the rational functions f i to a global
rational function f . We leave (c) as an exercise.
Exercise 8.3.11
Show that every line bundle L on a tropical curve admits a rational section.
You can proceed as follows:
The previous proposition should bring to mind the very closely related
concept of Cartier divisors. Recall that a Cartier divisor (of finite type) on X
is a global section of the (pre-)sheaf quotient Rat / Aff ∗ . In other words, it
can be described by a finite collection (Ui , f i )i where the Ui form an open
covering of X and f i ∈ Rat(Ui ) subject to the condition f i − f j ∈ Aff ∗X (Ui ∩U j )
for all i, j. Two such collections are considered equal if the merge of the
two still satisfies this condition. Any rational function f ∈ Rat(X ) gives rise
to a Cartier divisor given by the single tuple (X , f ). Such Cartier divisors
are called linearly equivalent to zero. They form a subgroup of the group
218
8 Tropical curves
Proposition 8.3.12
The map
Pic(X ) → CDiv(X )/ ∼,
L 7→ [(Ui , si )i ] for some s ∈ Rat(X ),
Exercise 8.3.13
Check the details of the proof.
219
8 Tropical curves
Proposition 8.3.14
Let X be a smooth tropical curve. Then the map
Pic(X ) → Div(X )/ ∼,
L 7→ div(s) for some s ∈ Rat(X ),
Lemma 8.3.15
Let L = L(n+1) be the n-valent line and let R(L) be the set of rational functions
f : L → R which are affine linear on each ray of L(n). Then the map ord0 :
R(L) → Z fits into the following exact sequence.
Proof. The sequence of the statement, when restricted to the case f (0) = 0,
is dual to the sequence
0 → Z → Zn+1 → Zn → 0
220
8 Tropical curves
Proof of 8.3.14. By 8.3.10 it suffices to establish the statement for the first
map. We prove injectivity first. Let L be a line bundle and s ∈ Rat(L) such
that div(s) = 0. Let si be the local parts of s with respect to some trivializa-
tion of L. By 8.3.15 we get si ∈ Aff ∗ (Ui ). By 8.3.4 this implies the existence
of an isomorphism L ∼ = X ×T which identifies s with the constant zero func-
tion. This proves injectivity. Let now D ∈ Div(X ). Choose a subdivision of X
without loops whose vertices contain the support of D. Let U v be the open
set containing the vertex v and the interior of the adjacent edges. By 8.3.15
there exists a collection of functions (U v , f v ) v such that ord v ( f v ) equals the
coefficient of v in D and such that each f v is affine linear on the interior
of edges. Hence, the collection determines a Cartier divisor and by 8.3.12
also a tuple (L, s) with div(s) = D. This proves surjectivity.
Definition 8.4.1
Let X be a compact smooth tropical curve and let L ⊆ |D| be a subset of a
complete linear system. We define the rank of L to be the maximal integer r
such that for all effective divisors D0 of degree r there exists a divisor D ∈ L
such that D − D0 ≥ 0. The rank of L is denoted by rk(L). We set rk(L) = −1
if L = ;. We write rk(D) = rk(|D|) for short.
Obviously, we have rk(D) = −1 if deg(D) ≤ 0. Moreover, if deg(D) = 0,
then rk(D) = 0 if and only if D ∼ 0 — otherwise rk(D) = −1.
Let us make a quick comparison to the classical situation. Given a com-
plete linear system and a given point on the curve which is not a base point,
the set of divisors "containing" the point forms a hyperplane. Hence our
definition requires that the intersection of L with rk(L) such hyperplanes is
non-empty. It easy to check that in the classical situation we just get back
the dimension of L.
Remark 8.4.2
Note that there are other non-equivalent definitions for the rank of a trop-
ical linear system |D|, for example
221
8 Tropical curves
Definition 8.4.3
Let X be a smooth tropical curve. The canonical divisor class [K] ∈ Pic(X )
is given by X
K= (val(p) − 2)p.
p∈C
Remark 8.4.4
The motivation behind this definition is as follows. Let X be a classical
nodal curve whose whose irreducible components are P1 and whose dual
graph is equal to X . Then the dualizing sheaf of X (which is, in some appro-
priate sense, the limit of the canonical sheaf of a smoothing of X ) restricted
to the irreducible component X p , p ∈ X is isomorphic to OP1 (val(p) − 2).
Hence K just reflects the degree of the dualizing sheaf restricted to irre-
ducible components. Note however, that K is not “realizable” in general.
We can now state the theorem.
Theorem 8.4.5
Let X be a compact smooth tropical curve of genus g. Let D be a divisor of
degree d. Then the following equality holds.
rk(D) − rk(K − D) = d − g + 1
Before proving the statement, we need a few basic facts concerning the
rank of a linear system. As some of these facts can be proven most conve-
niently using the Abel-Jacobi map, we postpone the proof of them to the
next chapter.
222
8 Tropical curves
Exercise 8.4.6
Show that
Proposition 8.4.7
Let D be a divisor of degree d on a compact smooth tropical curve X of genus
g.
Proof. Part (a) follows from the Jacobi inversion theorem (cf. Theorem
9.3.12 and Remark 9.3.15 (a)). Part (b) follows immediately from (a).
For part (c), assume conversely that d − rk(D) < g. Choose a divisor
D0 of degree d − rk(D) with |D0 | = ; (such a choice exists by the Abel-
Jacobi theorem, cf. (cf. Theorem 9.3.6 and Remark 9.3.15 (c)). We have
deg(D − D0 ) ≥ g and hence by part (a) there exists an effective divisor
E ∈ |D−D0 |. But deg(E) = deg(D−D0 ) = rk(D) and hence |D0 | = |D−E| =
6 ;,
a contradiction.
223
8 Tropical curves
Definition 8.4.8
A divisor D on X is called p-reduced if its restriction to X \ {p} is effective
and minimal with respect to the p-order among such restrictions in the
equivalence class of D.
Exercise 8.4.9
Show that if D is p-reduced and |D| 6= ;, then D ≤ 0.
Here is another characterization of p-reduced divisors using subgraphs
A ⊆ X (i.e., closed subsets obtained as the union of cells for some subdivi-
sion of X ).
Proposition 8.4.10
A divisor D is p-reduced if and only if it is effective on X \ {p} and for any
subgraph A ⊆ X with p ∈/ A there exists a point q 6= p such that the coefficient
aq of D at q satisfies
aq + valA(q) < valX (q). (8.1)
In intuitive words: Any A is leaking into X and cannot be sealed off using
D.
Proof. The characterization based on (8.1) will be referred to as leaking
property in the following. Let us first show that p-reducedness implies the
leaking property. First note that a p-reduced divisor does not contain infi-
nite points. This is true since an infinite point is linearly equivalent to any
other point on the corresponding leaf edge and hence can be replaced by
any finite point, thereby decreasing the p-distance. Hence the leaking prop-
erty holds for any A ⊆ X [1] and it remains to check the case A[0] = A∩ X [0] 6=
;. In this case the function fA : X [0] → R, x 7→= dist(A[0] , x) is a well-defined
rational function on X . We set mA = max{ fA, −ε} where ε > 0 is chosen
such that the ε-ball around A does not contain p nor any vertices outside of
A. For all q ∈ A[0] we have ordmA (q) = ord fA (q) = valA(q) − valX (q). More
precisely, we get
X X
div(mA) = x+ (valA(q) − valX (q))q.
dist(A,x)=ε q∈A[0]
It follows that if the condition aq +valA(q) ≥ valX (q) holds for all q ∈ A, then
D0 := D + div(mA) is effective. We can see that D0 is strictly smaller with
224
8 Tropical curves
Proposition 8.4.11
Fix p ∈ X [0] . Then every divisor class [D] ∈ Pic(X ) has a unique p-reduced
representative.
Proof. First we show existence. It follows from Proposition 8.4.7 that there
exists m ∈ Z such that |D + mp| 6= ; (choose m ≥ g − deg(D)). Pick the
minimal such m ∈ Z. Since |D+mp| is compact , we can choose E ∈ |D+mp|
with minimal p-distance. For any other D0 = −m0 p+E 0 ∼ D, E ≥ 0, we have
m0 ≤ m, by minimality of m, and hence deg(E 0 ) ≥ deg(E). This together
with the minimality of E implies that D00 = −mp + E is p-reduced.
For uniqueness, let D ∼ D0 be two p-reduced divisors in the same class.
Let f be a rational function such that div( f ) = D0 − D. The leaking property
for D implies that p is contained in the maximality domain of f (cf., the
proof of the previous proposition). Reversing the roles of D and D0 , the
same argument shows that p is contained in the minimality domain of f .
Hence f is constant and D = D0 .
We continue by defining an important class of divisors of “intermediate”
degree g − 1.
225
8 Tropical curves
Definition 8.4.12
An acyclic orientation O of X is a choice of directions of the edges of a sub-
division of X which does not admit oriented cycles. We denote by val+ (x)
the number of outgoing edges at x. The divisor
X
K+ := (val+ (x) − 1)x
x∈X
Exercise 8.4.13
Check deg(K+ ) = deg(K− ) = g − 1 and K+ + K− = K.
Note that the points with negative coefficient in K+ are exactly the sinks
of O . Since O is acyclic, there always exists at least one sink, hence K+ is
never effective. This is even true for the full equivalence class of K+ .
Lemma 8.4.14
For any moderator K+ it holds |K+ | = ;.
Lemma 8.4.15
For any divisor D ∈ Div(X ) exactly one of the following two options holds:
Either |D| =
6 ; or there exists a moderator K+ such that |K+ − D| =
6 ;.
Proof. By lemma 8.4.14 at most one of the two options holds true. It re-
mains to show that if |D| = ;, there exists a moderator K+ with |K+ − D| =
6 ;.
226
8 Tropical curves
Corollary 8.4.16
Let D be a divisor of degree g − 1. If |D| = ; then D is linearly equivalent
to a moderator. Moreover, if D is p-reduced, then D is equal to a moderator.
Finally, we have |D| = ; if and only if |K − D| = ;.
Corollary 8.4.17
Let D be a divisor of degree d < g − 1. If |D + q| =
6 ; for all q then |D| =
6 ;.
A divisor D is called special if rk(D) > max d − g, −1. By 8.4.7 D can only
be special if 0 ≤ d ≤ 2g − 2. In the range 0 ≤ d ≤ g − 1, specialness is
equivalent to |D| 6= ;.
227
8 Tropical curves
Lemma 8.4.18
A divisor D is special if and only if K − D is special.
228
9 Tropical jacobians
9.1 (Coarse) differential forms, integration,
and the Jacobian
The canonical line bundle plays a very special role in the theory of curves.
Its sections are differential forms which have special properties and allow
for special constructions which are not present in sections of arbitrary line
bundles. These peculiarities of the canonical bundle, which manifest clas-
sically in the theory of jacobians, have a tropical counterpart, which is pre-
sented here.
In the following, we will always assume C to be a smooth tropical curve
(and add finite type or compactness when necessary). Hence C can be
represented by a metric graph with open and closed ends (where the latter
are closed up by infinite vertices). Recall from Definition 7.3.4 that we can
define the cotangent sheaf on C in terms of the exact sequence
0 → R → R ⊗Z Aff ∗C → TC∗ → 0,
where the first map is just the inclusion of constant functions. Note that the
tensor product in the middle term is a product over Z, where Z acts on Aff ∗C
by (non-tropical) multiplication. In other words, R ⊗Z Aff ∗C is the sheaf of
affine linear functions where we also allow non-integer slopes.
Definition 9.1.1
A residue form ω is a global section of the cotangent sheaf TC∗ . The set of
all residue forms constitutes a real vector space which we denote by Ω(C).
Remark 9.1.2
Note that residue forms are (locally constant) classical differential forms on
the interior of edges. The name reflects the fact that these forms appear
229
9 Tropical jacobians
Since the function in Aff ∗C are locally affine linear, any residue form is
locally constant (in particular, constant on the interior of edges). Moreover,
it is zero on any closed end (since Tp∗ = 0 for any infinite point p). For a
given edge e with endpoint p, we can evaluate ω on the primitive vector
ve/p ∈ ZTp . If we fix vertex p ∈ C and let v1 , . . . , vk denote the primitive
generators of all the adjacent edges, then the balancing condition translates
to
Xk
ω(vi ) = 0.
i=1
(Note that the statements holds trivially for any infinite endpoint by the
previous remark). Hence, a residue form can alternatively described by the
following data.
Proposition 9.1.3
A residue form ω on C is uniquely described by a assignment of numbers to
each oriented edge
ω : {oriented edge of C} → R,
such that
• for any vertex p, if e1 , . . . , ek denote all the outgoing edges from p, then
k
X
ω(ei ) = 0.
i=1
230
9 Tropical jacobians
Exercise 9.1.4
Show that if c1 , . . . , ck is a tree cut, then k = g.
Proposition 9.1.5
Let c1 , . . . , c g be a tree cut of C. Let e1 , . . . , e g be oriented edges with ci ∈ ei ,
and let e g+1 , . . . , e g+m+1 be the set of open ends of C (oriented away from the
end). Then the map
Ω(C) → R g × Rm ,
ω 7→ (ω(e1 ), . . . , ω(e g+m )),
Proof. The map is obviously linear. Note that the contraction of a closed
infinite end does neither affect Ω(C) nor the map above. We can hence
contract all such ends and obtain a curve without such ends (or T1 or TP1 ,
which obviously satisfy the statement).
Let us now assume that C is a tree, i.e., g = 0. Let us fix some vector
v ∈ R g+m . If C does not contain an inner edge, then v obviously has a unique
preimage residue form by the equations in Proposition 9.1.3. Otherwise, let
e be an inner edge and C1 and C2 be the two curves obtained by cutting C
along some interior point of e. We may assume that C2 contains the end
em+1 . By induction, the statement is true for C1 and there exists a unique
residue form ω1 on C1 determined by the values of v (restricted to the ends
of C1 ). In particular, ω1 has some value on the cut open end e. If we
assign −ω1 (e) to the opposite end in C2 , the remaining values of v, again
by induction, fix a unique residue form ω2 on C2 . Since the two residue
forms are compatible on e, they can be combined to a residue form ω on
C, and the uniqueness on C1 , C2 implies the uniqueness on C. This finishes
the tree case.
231
9 Tropical jacobians
where the last map is the projection which forgets the e− -coordinate (and
moves the e+ -coordinate to the right place). It is hence still an isomorphism
by Equation (9.1).
We can restrict the aforementioned exact sequence to the integers,
0 → R → Aff ∗C → ZTC∗ → 0,
Definition 9.1.6
A integer residue form ω is a global section of the integer cotangent sheaf
ZTC∗ , or, in the description of Proposition 9.1.3, satisfies ω(e) ∈ Z for any
oriented edge e. The set of all integer residue forms, denoted by ΩZ (C),
constitutes a lattice in Ω(C) and hence turns Ω(C) into a tropical vector
space in the sense of Section 2.1.
As explained above, residue forms are honest classical differential forms
on the interior of edges and therefore can be integrated along (compact)
paths. To fix notation, let us explicitly define this integration here.
Definition 9.1.7
Let ω be a residue form on C and let e be an oriented bounded edge. We
define the edge integral of ω along e to be
Z
ω := l(e)ω(e).
e
232
9 Tropical jacobians
Note that this is can be extended to closed leavess, since then ω(e) = 0.
Given an oriented 1-chain α = e1 + . . . + ek (i.e., a formal sum of oriented
bounded edges), we can extend integration by linearity
Z k
X
ω := l(ei )ω(ei ).
α i=1
Definition 9.1.8
We define integration pairing between Ω(C) and H1 (C, R) by
Z
: Ω(C) × H1 (C, R) → R,
Z
(ω, [α]) 7→ ω.
α
Proposition 9.1.9 R
Let C be a compact smooth tropical curve. Then the integration pairing is
non-degenerate.
Proof. We have toR construct for any non-zero residue form ω a suitable
cycle α such that α ω 6= 0 — and vice versa. Let us start with a non-zero
R
ω. Assume that α ω = 0 for all cycles α of C. This would imply that ω can
be integrated to a affine linear function
Z p
f (p) := ω ∈ Aff (C).
p0
233
9 Tropical jacobians
where the sum runs through the edges of C (with arbitrary orientation).
This proves the claim. which proves the claim.
Let Ω(C)∗ be the dual vector space of Ω(C). Equipped with the dual
lattice ΩZ (C)∗R
, this is again a tropical vector space. By Proposition 9.1.9, the
isomorphism : H1 (C, R) → Ω(C)∗ allows us allows us to regard H1 (C, Z)
as another lattice in Ω(C)∗ . The quotient of Ω(C)∗ by this second lattice
carries a canonical structure as smooth tropical manifold and as group (see
Example 7.1.9 and the next section).
Definition 9.1.10
Let C be a compact smooth tropical curve. We define the Jacobian of C as
the quotient of the tropical vector space Ω(C)∗ by the lattice H1 (C, Z),
234
9 Tropical jacobians
• two lattices L, Λ ⊂ V .
However, the lattices play different roles in the construction. Namely, we
use L to determine the tropical structure of V (i.e., the integral tangent
vectors), whereas we use Λ to quotient by (i.e., to fix the metric structure).
Here is the exact definition.
Definition 9.2.1
A tropical torus A is the quotient of a tropical vector space V = R ⊗ L by a
lattice Λ ⊂ V ,
A = (R ⊗ L)/Λ.
A tropical torus is compact regular tropical variety in a canonical way.
Exercise 9.2.2
Show that the restrictions of the quotient map V → A to sufficiently small
domains provide a regular tropical atlas for A.
Example 9.2.3
The jacobian of a compact smooth tropical curve of genus g is tropical torus
of dimension g, with V = Ω(C)∗ , L = ΩZ (C)∗ and Λ = H1 (C, Z) (embedded
via integration).
Remark 9.2.4
Let A be tropical variety homeomorphic to a topological torus (S 1 )n (this
implies that A is regular), and let p ∈ A be a fixed point. Parallel transport
of integer tangent vectors produces a monodromy action
γ : H1 (A, Z) → GL(ZTA,p ).
Remark 9.2.5
tori up to isom are equal to (V, L, Λ) up to isom
Tropical tori often come equipped with additional structure. In the fol-
lowing, we use the identification
H 1 (A, ZTA∗ ) = Λ∗ ⊗ L ∗
and think of an element in this space either as a bilinear form on V or as
a linear map P : Λ → L ∗ . We also denote the space of symmetric bilinear
forms on V by Sym2 V ∗ ⊂ V ∗ ⊗ V ∗ .
235
9 Tropical jacobians
Definition 9.2.6
A polarization P of the tropical torus A is an element
P ∈ (Λ∗ ⊗ L ∗ ) ∩ Sym2 V ∗ ,
Remark 9.2.7
Given a principal polarization P, we can dualize the representation of A and
obtain a canonical isomorphism
A∼
= (R ⊗ Λ∗ )/L ∗ . (9.2)
Definition 9.2.8
Let A be a tropical abelian variety with polarization P. We define the theta
function ϑ : V → R by
1
ϑ(x) := max{P(λ, x) − P(λ, λ)}. (9.3)
λ∈Λ 2
Note that the maximum always exists since P is positive definite (and hence
−P(λ, λ) is a negative definite quadratic functional).
236
9 Tropical jacobians
Lemma 9.2.9
For any x ∈ V and µ ∈ Λ the theta function satisfies
1
ϑ(x + µ) = ϑ(x) + P(µ, x) + P(µ, µ). (9.4)
2
In particular, for fixed µ the difference function ϑ(x + µ) − ϑ(x) is affine Z-
linear in x.
Proof. By shifting the λ to λ + µ we can evaluate the theta function as
1
ϑ(x + µ) := max{P(λ + µ, x + µ) − P(λ + µ, λ + µ)}. (9.5)
λ∈Λ 2
Multiplying out this type of term we get
1
P(λ + µ, x + µ) − P(λ + µ, λ + µ)
2
1
= P(λ, x) + P(µ, x) + P(λ, µ) + P(µ, µ) − P(λ, λ) + 2P(λ, µ) + P(µ, µ)
2
1 1
= P(λ, x) − P(λ, λ) + P(µ, x) − P(µ, µ). (9.6)
2 2
Since the first two terms in the last expression coincide with the terms in
Equation (9.3), the first statement follows. The second statement holds
since P ∈ Λ∗ ⊗ L ∗ . Hence for fixed µ ∈ Λ, we have P(µ, .) ∈ L ∗ and P(µ, x)−
1
2 P(µ, µ) is indeed affine Z-linear on R ⊗ L.
Definition 9.2.10
Given a tropical abelian variety A, we call
Θ = div(ϑ)/Λ ⊂ A (9.7)
the Theta divisor of A.
Remark 9.2.11
The definition depends upt to translation on the fixed group structure of A
(alternatively, on a fixed marked point 0 ∈ A).
237
9 Tropical jacobians
Definition 9.3.1
We define the bilinear form P on the space of inner 1-chains as bilinear
extension of ¨
l(e) if e = f ,
P(e, f ) = (9.10)
0 otherwise,
where e, f are two inner edges of C.
Proposition 9.3.2
The bilinear form P on H1 (C, R) is symmetric, positive definite and lies in
Z −1
P ∈ H1 (C, Z) ⊗
∗
ΩZ (C). (9.11)
Proof. Let R{inner edges} denote the space of inner 1−chains. By defini-
tion, P has diagonal form with respect to the standard basis of R{inner edges}
238
9 Tropical jacobians
and the diagonal entries l(e) are strictly positive. Hence P is symmetric and
positive definite on R{inner edges}, thus also on H1 (C, R).
For the integrality statement, note we can think of Ω(C) as a subspace
of R{inner edges} by Proposition 9.1.5. In fact, this is exactly the same
subspace as H1 (C, R) ⊂ R{inner edges}, since both spaces are given by the
condition that the total in and out flow at each vertex is zero. The induced
identification
H1 (C, R) = Ω(C) (9.12)
is denoted by ω(α) for α ∈ H1 (C, R) in the following. Note that identifies
H1 (C, Z) with ΩZ (C). Unwrapping the definition, it turns out that P is noth-
ing else but the bilinear form associated to the isomorphism H1 (C, R) ∼ =
H1 (C, R)∗ obtained by concatenating the above identification (9.12) with
integration. In formulas, this just means
Z
P(α, β) = ω(β). (9.13)
α
H1 (C, Z) ∼
= ΩZ (C), (9.14)
R −1
which shows that P ∈ H1 (C, Z)∗ ⊗ ΩZ (C) is indeed a principal polariza-
tion.
Remark 9.3.3
Using the canonical isomorphisms
H 1 (C, Z) ∼
= H1 (C, Z)∗ , H 1 (C, R) ∼
= R ⊗ H 1 (C, Z), (9.15)
Jac(C) ∼
= (R ⊗ H 1 (C, Z))/ΩZ (C), (9.16)
239
9 Tropical jacobians
Recall from Proposition 8.3.14 that on a smooth curve C, line bundles are
in one-to-one correspondence to rational equivalence classes of divisors
Pic(C) ∼
= Div(C)/ ∼ . (9.17)
deg : Pic(C) ∼
= Div(C)/ ∼→ Z. (9.18)
The fibers of the degree map split the Picard group into isomorphic pieces
X
Pic(C) = Picd (C) (9.19)
d∈Z
and both functional determine the same element in Jac(C), which we de-
note by Z p
∈ Jac(C). (9.21)
p0
Definition 9.3.4
Given a divisor D = ai pi ∈ Divd (C) of degree d, we define
P
Z D X Z pi
240
9 Tropical jacobians
Remark 9.3.5
Note that µ depends on the choice of p0 for d 6= 0. Indeed, choosing another
R p0
base point p00 results in an additive shift of the map by d p 0 . For d =
0
0 however, the dependence on p0 vanishes and we obtain a canonically
defined map Pic0 (C) → Jac(C).
Recall that O : Divd (C) → Picd (C) is the map which associates to the
divisor D the line bundle O (D). The theorem can be summarized in the
following commutative diagram.
Divd (C)
µ
O (9.25)
∼
=
Picd (C) ν Jac(C)
Similar to the classical situation, the statement naturally splits into two
parts called Abel’s theorem (“ν is well-defined and injective”) and Jacobi
inversion theorem (“ν is surjective”). We start with tropical Abel.
241
9 Tropical jacobians
D, and fix an orientation of the edges. Then the slope of f on each inner
edge defines an (oriented) 1-chain which we denote by
(by slight abuse of notation, since d f is not balanced at all vertices, hence
not a residue form). This shows µ(D) = 0, which proves the first claim.
We proceed to show the second direction. We have to show that any D ∈
Div0 (C) with µ(D) = 0 is rationally equivalent to zero. Let γ an oriented
1-chain with boundary D. By definition, µ(D) is described by integration
over γ. Since µ(D) = 0, we can in fact choose γ such that
Z
= 0 ∈ Ω(C)∗ . (9.28)
γ
Again, we can essentially turn around domain and integrand and get
Z
γ=0 (9.29)
α
for all α ∈ H1 (C, R). RIt follows that we can “integrate” γ and obtain a
rational function f := γ whose divisor is equal to the boundary of γ, i.e.,
div( f ) = D.
242
9 Tropical jacobians
Lemma 9.3.8
The Abel-Jacobi map
µ|C : C → Jac(C). (9.30)
is a tropical morphism.
Proof. The map is constant in a neighbourhood of the infinite points of C
(in fact, it contracts any end to point) since two points on the same end
are rationally equivalent. It remains to check the claim for a finite point
p ∈ C. Let us fix a chart containing p to the n + 1-valent standard tropical
line L(n + 1) ⊂ Rn with n + 1 = val(p). We may assume that the base point
p0 in the definition of µ is equal to p. Let e0 , . . . , en denote the oriented
edges of C corresponding to the rays of L(n + 1), and let ϕi ∈ Ω(C)∗ denote
the evaluations
ϕi (ω) := ω(ei ). (9.31)
It holds ϕ0 +. . . ϕn = 0. Moreover, for any point p0 on the i-th ray of L(n+1),
we find µ(p0 ) = lϕi where l is the lattice distance of p0 from p. It follows
that µ is locally given by the linear map
Rn → Ω(C)∗ ,
(9.32)
(x 1 , . . . , x n ) 7→ x 1 ϕ1 + . . . x n ϕn .
This shows that µ is a tropical morphism.
Let f : X → Y be a tropical morphism and let s = {(Ui , si )} be a Cartier
divisor on Y . We define the pull back of s along f to be the Cartier divisor
f ∗ s := {( f −1 (Ui ), si ◦ f )}. (9.33)
Exercise 9.3.9
Check that f ∗ s is a well-defined Cartier divisor on X .
Recall that the polarization P on Jac(C) provides us with a theta function
ϑ which we can either regard as a quasi-periodic function on V or a Cartier
divisor on Jac(C). For any y ∈ Jac(C), we the shift function
ψ y : Jac(C) → Jac(C),
(9.34)
x 7→ x + y,
is a tropical isomorphism. We denote the shifted theta function by
ϑ y := ψ∗− y ϑ. (9.35)
243
9 Tropical jacobians
Definition 9.3.10
The Jacobi inverse of y ∈ Jac(C) is defined to be the divisor
Proposition 9.3.11
For any y ∈ Jac(C) the divisor D( y) is an effective divisor of degree g.
Proof. The effectiveness follows from the fact that ϑ is locally a tropical
polynomial, i.e., a maximum of finitely many terms. To compute the degree,
let us first make the construction of D( y) more explicit. Let c1 , . . . , c g ∈ C
be a tree cut disjoint from D( y) and let e1 , . . . , e g be oriented edges with
ci ∈ ei . These choices in fact provide us with explicit bases for all vector
spaces and lattices involved. Namely we get lattice bases
ω1 , . . . , ω g ∈ ΩZ (C),
ϕ1 , . . . , ϕ g ∈ ΩZ (C)∗ ,
α1 , . . . , α g ∈ H1 (C, Z),
where
• the ωi correspond to the standard basis of R g via Proposition 9.1.5,
i.e., ωi (e j ) = δi j ,
244
9 Tropical jacobians
µ
e∗ ϕ y . Hence the degree of D( y) is equal to sum of the outgoing slopes
of ϕ y on the open ends of C.e Indeed, let us denote by z + , z − the ends of
i i
Ce coming from the cut point ci . Here, we use the convention that both
ends are oriented outwards and the orientation of zi+ is compatible with ei .
Denoting the slope of µ
e∗ ϕ y on zi± by si± , a straightforward generalization of
Proposition 8.2.3 shows
X
deg(D( y)) = si+ + si− . (9.39)
(a) The image under µ e of the primitive generator of zi± is exactly ±ϕi ∈
ΩZ (C) . This follows from the simplest case of the calculation in the
∗
(b) The difference of the image points of the ends of zi+ minus zi− in Ω(C)∗
is equal to αi (since the difference of integration from some base point
to the endpoint of zi+ minus integration to the endpoint of zi− is the
same as integration over αi ).
We can now use the quasi-periodicity of ϑ y and compute the sum of slopes
si+ + si− simultanuously by
as promised.
With just a little more effort, we are now ready to prove that the Jacobi
inversion map is essentially inverse to the Abel map ν, finishing the proof
of Theorem 9.3.6. This is in fact not quite true — we additionally have to
shift ν by a constant.
245
9 Tropical jacobians
In particular, the map µ : Sym g (C) → Jac(C) and hence all maps µ : Divd (C) →
Jac(C) are surjective.
Remark 9.3.13
Note that κ is constant with respect to varying y — it might however depend
the base point p0 . An investigation of this dependency and the meaning of
κ will be part of Section 9.4.
In the previous proof, we used the fact that the degree of the divisor of a
rational function can be computed in terms of the behavior of the function
on the ends of the curve. In fact, we can extract even a little more informa-
tion from this boundary behavior. This is the extra ingredient we need to
prove the Jacobi inversion theorem.
Lemma 9.3.14
Let C ⊂ Rn be a bounded tropical curve (not necessarily connected nor smooth).
We denote the boundary point of C by
∂ C = {b1 , . . . , bk }. (9.43)
X k
X
ai pi = w j (d f (v j )b j − f (b j )v j ) (9.44)
j=1
Proof. Both sides of the formula behave linearly with respect to the con-
nceted components of C. On the other hand, when cutting the curve into
246
9 Tropical jacobians
Here in the second step, the second and fourth term cancel while the third
term is zero by the balancing condition.
Proof of Theorem 9.3.12. We use exactly the same setup and notation as in
the proof of Proposition 9.3.11, i.e. we fix a tree cut of C and consider the
lifted map µe : Ce → Ω(C)∗ . We pick y ∈ Ω(C)∗ from some local chart of
Jac(C) such that the Jacobi inverse D( y) has support disjoint from the tree
cut (by choosing different tree cuts, we can cover Ω(C) ∗
P completely). Since
µ is group homomorphism, the image of D( y) = ai pi under µ can be
computed as X
µ(D( y)) = [ ai µ
e(pi )]. (9.46)
Here, the sum on the right hand side is a standard sum of vectors in Ω(C)∗ ,
and the square brackets denote its equivalence class in Jac(C). By projec-
tion formula,we have X
ai µ
e(pi ) = div(ϑ
ey ), (9.47)
X g
X g
X
ai µ
e(pi ) = s+j b+j − ϑ y (b+j )ϕ j + s−j b−j + ϑ y (b−j )ϕ j
j=1 j=1
247
9 Tropical jacobians
and collecting all constant terms with respect to y on the left, we get
g
X
= κ1 − (ϑ(b−j + α j − y) − ϑ(b−j − y))ϕ j
j=1
Remark 9.3.15
The Jacobi inversion theorem and the Abel-Jacobi theorem have some nice
corollaries (e.g. used in the proof of Proposition 8.4.7).
(a) Let D ∈ Div g (C) be an arbitrary divisor of degree g. Then
which implies that µ|dC cannot be surjective for d < g. Hence for all
d < g, there exists a divisor D of degree d with |D| = ;.
248
9 Tropical jacobians
The proofs we provided for the Abel-Jacobi theorem have the advantage
of being of rather explicit nature. However, there is somewhat more funda-
mental approach which exploits the full power hidden in the exact sequence
we started with, namely
In fact, this sequence plays a role very similar to the exponential sequence
in classical geometry, and the long exact sequence of cohomology groups
essentially contains the Abel-Jacobi theorem. To see this, let us recall from
Remark 9.3.3 that we define the jacobian of a smooth compact curve equiv-
alently as
Jac(C) = Ω(C)∗ /H1 (C, Z) ∼
= H 1 (C, R)/ΩZ (C). (9.53)
Let us now look at the non-zero terms in the long exact sequence associated
to (9.52)
ΩZ (C) ∼
= H 0 (C, ZTC∗ ), Pic(C) ∼ ∗
= H 1 (C, Aff C ). (9.56)
We claim that this sequence encodes the Abel-Jacobi theorem, details being
left as exercise.
Exercise 9.3.16
Let C be a compact smooth curve.
249
9 Tropical jacobians
(b) Show that with the above identification, the map Pic(C) → H 1 (C, ZTC∗ )
in (9.55) is equal to the degree map deg : Pic(C) → Z.
(c) Show that the map ΩZ (C) → H 1 (C, R) in (9.55) is equal to the em-
bedding given by integration.
(d) Let ψ : H 1 (C, R) → Pic(C) denote the map in the middle of (9.55).
Given D ∈ Div0 (C), let α be a 1-chain in C with boundary ∂ α = D.
Let P(α, .) ∈ H1 (C, R)∗ ∼
= H 1 (C, R) be the linear functional. Show that
We regard the Wd only as sets here, even though they carry the structure
of closed tropical subspaces. We already know Wg = Jac(C) by the Jacobi
inversion theorem. Riemann’s theorem identifies Wg−1 .
250
9 Tropical jacobians
Exercise 9.4.2
Let A be a principally polarized abelian variety. Let Θ
e ⊂ V be the lift of the
Theta divisor to V . Let ∆ be a connected component of V \ Θ
◦ e.
∆◦ → Jac(C) (9.60)
τ ⊂ σ, τ ⊂ ∆w ⇒ σ ⊂ ∆w . (9.62)
Next, it will be helpful to slightly extend our notion of tree cut. Let Γ be
a compact metric graph (where we allow finite closed ends in this section).
A tree map of Γ is a tuple (Γ 0 , ϕ) where
• ϕ : Γ 0 → Γ is a bijective isometry.
This generalizes the notion of tree cut in two ways. First, we now also allow
cutting at higher-valent vertices. Second, we cut infinitesimally near the cut
point, such that e.g. for a two-valent cut point the new ends are open and
closed, one each.
Let c : Ce → C be the universal cover of C. We can identify Ce with the
set of all homotopy classes of paths with fixed endpoints, starting in p0 .
251
9 Tropical jacobians
µ
e−1 (∆w ). Let
cw := c| Tw : Tw → C (9.63)
denote the restriction of the covering map. (The choices of the open cell ∆◦
and the connected component Tw are not essential in the following, since
different choices are isomorphic up to deck transformations of Ce → C). The
following diagram summarizes the setup.
cw
c
Tw Ce C
µ
e µ (9.64)
∆w Ω(C)∗ Jac(C)
Lemma 9.4.3
For generic w ∈ Ω(C)∗ , the map cw : Tw → C is a tree map.
Remark 9.4.4
Recall that for any y ∈ Jac(C) (or, by abuse of notation, y ∈ Ω(C)∗ ) we
denote the shifted theta function resp. divisor by ϑ y resp. Θ y (and Θ e y ).
Note that the statement and proof of the previous lemma (and exercises)
continue to hold without any changes for ∆◦ being an open cell of Θ e y (for
any y). Hence, for any y ∈ Jac(C) and generic w ∈ Ω(C) we obtain a
∗
252
9 Tropical jacobians
cw ( y) : Tw ( y) → C. (9.65)
Note that valΓ (ϕ(p)) − valΓ 0 (p) can be interpreted as the number of open
ends e in Γ 0 for which ϕ(p) provides the “missing” endpoint of ϕ(e). For the
special tree maps cw ( y) : Tw ( y) → C, we use the notation Ew ( y) := Ecw ( y) .
Proposition 9.4.5
For any y ∈ Jac(C) and generic w ∈ Ω(C)∗ , we have
D( y) = Ew ( y). (9.67)
Exercise 9.4.6
Show that for generic y, µ and Θ y intersect transversely.
Proof of Proposition 9.4.5. First assume that µ and Θ y are transverse. In
this case, cw ( y) in fact corresponds to the ordinary tree cut along the points
in µ−1 (Θ y ) (each point p ∈ µ−1 (Θ y ) corresponds bijectively to a closed finite
end of Tw ( y)) and hence
X
Ew ( y) = p. (9.68)
p∈µ−1 (Θ y )
(The choice of w only affects which of two associated ends is closed). Let
us compute D( y). We first show supp(D( y)) = µ−1 (Θ y ). The inclusion
supp(D( y)) ⊂ µ−1 (Θ y ) is clear by definition. For the inverse, if p ∈ µ−1 (Θ y )
is not in supp(D( y)), this implies that ϑ y ◦ µ is affine linear in a neigh-
bourhood of p and hence the whole neighbourhood lies in µ−1 (Θ y ). This
253
9 Tropical jacobians
It remains to prove continuity for Ew ( y). In terms tree maps, one can check
that Tw ( y −εw) is obtained from Tw ( y) by shortening all open ends a certain
bit, while growing a corresponding number of small closed segments at the
“opposite” point p ∈ Tw ( y). In fact, we argued before that this number is
just valC (ϕ(p)) − val Tw ( y) (p). Since all points in Ew ( y − εw) appear with
multiplicity one, this shows
Exercise 9.4.7
Give the details of the proof of Equation (9.69).
where val+ (x) denotes the number of outgoing edges at x. (In 8.4.12, we
only considered the case when O is acyclic).
Exercise 9.4.8
Show that Eϕ = K+ + q.
254
9 Tropical jacobians
Lemma 9.4.9
For any y ∈ Jac(C), generic w ∈ Ω(C)∗ , and q ∈ Jac(C) such that µ(q) ∈
/ Θy,
the orientation induced by cw (λ) and q is acyclic.
obviously acyclic, since all edges are oriented towards e q. Hence an oriented
cycle in C must lift to an oriented path γ1 inTw ( y), with “open” starting point
p1 and “closed” endpoint p2 . Let γ2 the unique (oriented) path from p2 to
q. Let us now change w to a generic vector u close to −w. It follows that the
e
new fundamental domain ∆u contains p1 , but not p2 . We choose as Tu ( y)
−1
the unique connected component of m Ýu (∆u ) which contains e q. Let γ3 be
the unique path in Tu ( y) connecting e q to the unique point in the same fiber
as p1 , say p3 . We denote by γ0i projected paths in C. Since µ e(p1 ) = µe(p3 ),
the homology class of γ3 ◦ γ2 ◦ γ1 is zero, and hence
0 0 0
We now check on the chain level that this is impossible. Let e be an edge
used by γ01 such µe maps its interior to ∆w ∩ ∆u , but its endpoint to ∆w \ ∆u .
Since γ01 is an oriented and hence simple path, this edge occurs with non-
zero coefficient in the chain representation of [γ1 ]. On the other hand, this
edge can neither be used by γ02 (since γ02 ◦ γ01 is still oriented and hence sim-
ple) not γ0 3 (since e corresponds to an open end in Tv ( y)). Hence the chain
representations of [γ03 ◦γ02 ] and [γ01 ] are different and the claim follows.
We will now formulate the main statement of the section, of which Rie-
mann’s theorem is an easy corollary. Here, the support of a linear system is
defined to be [
supp |D| := supp D0 . (9.73)
D0 ∈|D|
Theorem 9.4.10
Let D be a divisor of degree g. Set y = µ(D) ∈ Jac(C). Then
255
9 Tropical jacobians
Let us start the proof with the following lemma. Let C be a smooth tropi-
cal curve. Let Γ ⊂ C by a proper subgraph. By abuse of notation, we denote
by ∂ Γ the divisor containing each boundary point of Γ with multiplicity 1.
Lemma 9.4.11
Let D = a p p be a divisor on C. Let ϕ : Γ 0 → Γ be a tree map such that
P
D − ∂ Γ − Eϕ is effective. Then
This implies that the lift p0 of p in Γ is connected to at least two edges. Hence
p0 is not an end in Γ 0 and Γ 0 \ {p0 } is disconnected. Restricting ϕ to the clo-
sures of the connected components (and Γ to the corresponding image),
the assumptions of the lemma still hold. Hence we can apply the induc-
tion hypothesis and the claim follows. The case occurs when all boundary
points p satisfy a p ≥ valΓ (p). In this case, we can deform D to an rationally
equivalent divisor by moving one point along all the edges adjacent to all
boundary points. The corresponding rational function is of the form
for some (not too) negative constant b. Let Γ b be the subgraph of Γ where
f (x) = b. If we choose −b equal to the minimal distance of an interior
vertex of Γ to the boundary, Γ b is a “smaller” graph then Γ and D + div( f )
still satisfies the assumption of the lemma (just use the shrinked tree map).
Again, by induction the claim follows.
Proof of Theorem 9.4.10. We set y := µ(D). Let us start with the inclusion
supp |D| ⊂ µ|−1
C
(Θ y+κ ). Choose q ∈
/ µ|−1
C
(Θ y+κ ). We have to show q 6 supp |D|
or equivalently |D − q| = ;. By the Jacobi inversion theorem, we have
D ∼ D( y + κ). Let K+ the divisor associated to a tree map cw ( y + κ) and
the point q ∈ C. By Proposition 9.4.5 and Exercise 9.4.8 we conclude
256
9 Tropical jacobians
Since µ(q) ∈ / Θ y+κ , we can apply Lemma 9.4.9 which says that the corre-
sponding orientation on C is acyclic and hence K+ is a moderator in the
sense of Definition 8.4.12. Then Lemma 8.4.14 implies |K+ | = ;, and we
are done.
Let us now prove the second inclusion supp |D| ⊃ µ|−1 C
(Θ y+κ ). Let q ∈
µ|C (Θ y+κ ). Choose a tree map c := cw ( y + κ). Since µ(q) ∈ Θ y+κ , the
−1
257
Bibliography
[AR10] Lars Allermann and Johannes Rau. First steps in tropical intersec-
tion theory. Math. Z. 264.3 (2010), pp. 633–670. arXiv: 0709.
3705.
[Ber76] David N. Bernstein. The number of roots of a system of equations.
Functional Analysis and its Applications 9 (1976), pp. 183–185.
[BM07] Erwan Brugallé and Grigory Mikhalkin. Enumeration of curves
via floor diagrams. Comptes Rendus. Mathématique. Académie
des Sciences, Paris 345.6 (2007), pp. 329–334.
[BM09] Erwan Brugallé and Grigory Mikhalkin. Floor decompositions of
tropical curves: the planar case. Proceedings of the 15th Gökova
geometry-topology conference, Gökova, Turkey, May 26–31, 2008.
Cambridge, MA: International Press, 2009, pp. 64–90. arXiv:
0812.3354.
[BS11] Erwan Brugallé and Kristin M. Shaw. Obstructions to approxi-
mating tropical curves in surfaces via intersection theory. Preprint
(2011). arXiv: 1110.0533.
[BG09] Winfried Bruns and Joseph Gubeladze. Polytopes, rings, and K-
theory. New York, NY: Springer, 2009, pp. xiii + 461. DOI: 10.
1007/b105283.
[Cho92] Christian Choffrut. Rational relations and rational series. Theor.
Comput. Sci. 98.1 (1992), pp. 5–13.
[CLS11] David A. Cox, John B. Little, and Henry K. Schenck. Toric va-
rieties. Vol. 124. Graduate Studies in Mathematics. American
Mathematical Society, Providence, RI, 2011, pp. xxiv+841.
[Dan78] V. I. Danilov. Geometry of toric varieties. Russ. Math. Surv. 33.2
(1978), pp. 97–154.
258
Bibliography
259
Bibliography
[KT01] Allen Knutson and Terence Tao. Honeycombs and sums of Her-
mitian matrices. Notices of the American Mathematical Society
48.2 (2001), pp. 175–186.
[Kou76] Anatoli G. Kouchnirenko. Polyèdres de Newton et nombres de Mil-
nor. French. Invent. Math. 32 (1976), pp. 1–31.
[Mik01] Grigory Mikhalkin. Amoebas of algebraic varieties. Preprint (2001).
arXiv: math/0108225.
[Mik04] Grigory Mikhalkin. Decomposition into pairs-of-pants for complex
algebraic hypersurfaces. Topology 43.5 (2004), pp. 1035–1065.
arXiv: math/0205011.
[Mik05] Grigory Mikhalkin. Enumerative tropical algebraic geometry in
R2 . J. Am. Math. Soc. 18.2 (2005), pp. 313–377. arXiv: math/
0312530.
[Mik06] Grigory Mikhalkin. Tropical geometry and its applications. Pro-
ceedings of the international congress of mathematicians (ICM),
Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures.
Zürich: European Mathematical Society (EMS), 2006, pp. 827–
852. arXiv: math/0601041.
[Pas08]
P
Mikael Passare. How to compute 1/n2 by solving triangles. Amer-
ican Mathematical Monthly 115.8 (2008), pp. 745–752.
[Pin98] Jean-Eric Pin. Tropical semirings. Idempotency. Based on a work-
shop, Bristol, UK, October 3–7, 1994. Cambridge: Cambridge
University Press, 1998, pp. 50–69.
[Rag06] V. Ragsdale. On the arrangement of the real branches of plane
algebraic curves. American Journal of Mathematics 28 (1906),
pp. 377–404.
[Rau09] Johannes Rau. Tropical intersection theory and gravitational de-
scendants. PhD-Thesis. Technische Universität Kaiserslautern, 2009.
URL : http://kluedo.ub.uni-kl.de/volltexte/2009/
2370/.
[Rau16] Johannes Rau. Intersections on tropical moduli spaces. Rocky Mt.
J. Math. 46.2 (2016), pp. 581–662. arXiv: 0812.3678.
260
Bibliography
261