We study the non-archimedean counterpart to the complex amoeba of an algebraic variety, and show that it coincides with a polyhedral set defined by Bieri and Groves using valuations. For hypersurfaces this set is also the tropical variety of the defining polynomial. Using non-archimedean analysis and a recent result of Conrad we prove that the amoeba of an irreducible variety is connected. We introduce the notion of an adelic amoeba for varieties over global fields, and establish a form of the local-global principle for them. This principle is used to explain the calculation of the nonexpansive set for a related dynamical system.
This survey consists of two parts. Part 1 is devoted to amoebas. These are images of algebraic subvarieties in the complex torus under the logarithmic moment map. The amoebas have essentially piecewise-linear shape if viewed at large. Furthermore, they degenerate to certain piecewise-linear objects called tropical varieties whose behavior is governed by algebraic geometry over the so-called tropical semifield. Geometric aspects of tropical algebraic geometry are the content of Part 2. We pay special attention to tropical curves. Both parts also include relevant applications of the theories. Pa…
We prove a new patchworking theorem for singular algebraic curves, which states the following. Given a complex toric threefold $Y$ which fibers over ${\mathbb C}$ with a reduced reducible zero fiber $Y_0$ and other fibers $Y_t$ smooth, and given a reduced curve $C_0\subset Y_0$, the theorem provides a sufficient condition for the existence of a one-parametric family of curves $C_t\subset Y_t$, which induces an equisingular deformation for some singular points of $C_0$ and certain prescribed deformations for the other singularities. As application we give a comment on a recent theorem by G. Mik…
Given any complex Laurent polynomial $f$, $\mathrm{Amoeba}(f)$ is the image of its complex zero set under the coordinate-wise log absolute value map. We give an efficiently constructible polyhedral approximation, $\mathrm{ArchtTrop}(f)$, of $\mathrm{Amoeba}(f)$, and derive explicit upper and lower bounds, solely as a function of the number of monomial terms of $f$, for the Hausdorff distance between these two sets. We also show that deciding whether a given point lies in $\mathrm{ArchTrop}(f)$ is doable in polynomial-time, for any fixed dimension, unlike the corresponding problem for $\mathrm{…
In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via tropical varieties. When we apply this construction to the Teichmuller spaces we see that they can be mapped in a real algebraic hypersurface in such a way that the cone over the boundary is a subpolyhedron of a tropical hypersurface. We want to show how some properties of the boundary becomes straightforward if looked at from this point of view. For example…
We study generic intersection (or web) of vortices with instantons inside, which is a 1/4 BPS state in the Higgs phase of five-dimensional N=1 supersymmetric U(Nc) gauge theory on R_t \times (C^\ast)^2 \simeq R^{2,1} \times T^2 with Nf=Nc Higgs scalars in the fundamental representation. In the case of the Abelian-Higgs model (Nf=Nc=1), the intersecting vortex sheets can be beautifully understood in a mathematical framework of amoeba and tropical geometry, and we propose a dictionary relating solitons and gauge theory to amoeba and tropical geometry. A projective shape of vortex sheets is descr…
\textit{Harmonic amoebas} are generalisations of amoebas of algebraic curves immersed in complex tori. Introduced in \cite{Kri}, the consideration of such objects suggests to enlarge the scope of tropical geometry. In the present paper, we introduce the notion of harmonic morphisms from tropical curves to affine spaces and show how these morphisms can be systematically described as limits of families of harmonic amoeba maps on Riemann surfaces. It extends previous results about approximation of tropical curves in affine spaces and provides a different point of view on Mikhalkin's approximation…
To every rational complex curve $C \subset (\mathbf{C}^\times)^n$ we associate a rational tropical curve $Γ\subset \mathbf{R}^n$ so that the amoeba $\mathcal{A}(C) \subset \mathbf{R}^n$ of $C$ is within a bounded distance from $Γ$. In accordance with the terminology introduced by Passare and Rullgård, we call $Γ$ the spine of $\mathcal{A}(C)$. We use spines to describe tropical limits of sequences of rational complex curves.
This paper studies the curvatures of amoebas and real amoebas (i.e. essentially logarithmic curvatures of the complex and real parts of a real algebraic hypersurface) and of tropical and real tropical hypersurfaces. If V is a tropical hypersurface defined over the field of real Puiseux series, it has a real part RV which is a polyhedral complex. We define the total curvature of V (resp. RV) by using the total curvature of Amoebas and passing to the limit. We also define the "polyhedral total curvature" of the real part RV of a generic tropical hypersurface. The main results we prove about thes…
We consider Gromov's homological higher convexity for complements of tropical varieties, establishing it for complements of tropical hypersurfaces and curves, and for nonarchimedean amoebas of varieties that are complete intersections over the field of complex Puiseaux series. Based on these results, we conjecture that the complement of a tropical variety has this higher convexity, and we prove a weak form of our conjecture for the nonarchimedean amoeba of a variety over the complex Puiseaux field. One of our main tools is Jonsson's limit theorem for tropical varieties.
We study A-discriminants from a non-Archimedean point of view, refining earlier work on the tropical discriminant. In particular, we study the case where $A$ is a collection of n+m+1 points in Z^n in general position, and give an algorithm to compute the image of the A-discriminant variety under the non-Archimedean evaluation map. When m=2, our approach yields tight lower and upper bounds, of order quadratic in n. We also detail a Sage package for plotting certain p-adic discriminant amoebae, and present explicit examples of point sets yielding discriminant amoebae with extremal behavior.
This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the connected components of its complement are convex when the variety is a hypersurface. We also extend the notion of Ronkin f…
We show that the non-Archimedean skeleton of the $d$-th symmetric power of a smooth projective algebraic curve $X$ is naturally isomorphic to the $d$-th symmetric power of the tropical curve that arises as the non-Archimedean skeleton of $X$. The retraction to the skeleton is precisely the specialization map for divisors. Moreover, we show that the process of tropicalization naturally commutes with the diagonal morphisms and the Abel-Jacobi map and we exhibit a faithful tropicalization for symmetric powers of curves. Finally, we prove a version of the Bieri-Groves Theorem that allows us, under…
We define a tropicalization procedure for theta functions on abelian varieties over a non-Archimedean field. We show that the tropicalization of a non-Archimedean theta function is a tropical theta function, and that the tropicalization of a non-Archimedean Riemann theta function is a tropical Riemann theta function, up to scaling and an additive constant. We apply these results to the construction of rational functions with prescribed behavior on the skeleton of a principally polarized abelian variety. We work with the Raynaud--Bosch--Lütkebohmert theory of non-Archimedean theta functions for…
Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and non-archimedean pluripotential theories of invariant plurisubharmonic functions on toric varieties. We will apply this correspondence to solve invariant non-archimedean Monge--Ampère equations on tori…
I describe an algebro-geometric theory of skeleta, which provides a unified setting for the study of tropical varieties, skeleta of non-Archimedean analytic spaces, and affine manifolds with singularities. Skeleta are spaces equipped with a structure sheaf of topological semirings, and are locally modelled on the spectra of the same. The primary result of this paper is that the topological space underlying a non-Archimedean analytic space may locally be recovered from the sheaf of `pointwise valuations' of its analytic functions.
We calculate the tropical Dolbeault cohomology for the analytifications of the projective line and Mumford curves over non-archimedean fields. We show that the cohomology satisfies Poincaré duality and behaves analogously to the cohomology of curves over the complex numbers. Further, we give a complete calculation of the dimension of the cohomology on a basis of the topology.
Exploiting a connection between amoebas and tropical curves, we devise a method for computing tropical curves using numerical algebraic geometry and give an implementation. As an application, we use this technique to compute Newton polygons of $A$-polynomials of knots.
We study the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization is a finite union of polyhedra. Previously, the converse direction was known by the theorem of Bieri and Groves. Over the field of complex numbers, Madani, L. Nisse, and M. Nisse proved similar results for analytic subvarieties of tori.
We study the tropical Dolbeault cohomology of non-archimedean curves as defined by Chambert-Loir and Ducros. We give a precise condition for when this cohomology satisfies Poincaré duality. The condition is always satisfied when the residue field of the non-archimedean base field is the algebraic closure of a finite field. We also show that for curves over fields where the residue field is the field of complex numbers, the tropical (1,1)-Dolbeault cohomology can be infinite dimensional. Our main new ingredient is an exponential type sequence that relates tropical Dolbeault cohomology to the co…
This paper provides an overview of recent progress on the interplay between tropical geometry and non-archimedean analytic geometry in the sense of Berkovich. After briefly discussing results by Baker, Payne and Rabinoff in the case of curves, we explain a result by Cueto, Häbich and the author comparing the tropical Grassmannian of planes to the analytic Grassmannian. We also give an overview of the general higher-dimensional theory developed by Gubler, Rabinoff and the author. In particular, we explain the construction of generalized skeleta in which are polyhedral substructures of Berkovich…
We construct a functorial decomposition of de Rham cohomology sheaves, called weight decomposition, for smooth analytic spaces over non-Archimedean fields embeddable into $\mathbf{C}_p$, which generalizes a construction of Berkovich and solves a question raised by him. We then investigate complexes of real tropical differential forms and currents introduced by Chambert-Loir and Ducros, by establishing a relation with the weight decomposition and defining tropical cycle maps with values in the corresponding Dolbeault cohomology. As an application, we show that algebraic cycles that are cohomolo…
In this article we use techniques from tropical and logarithmic geometry to construct a non-Archimedean analogue of Teichmüller space $\overline{\mathcal{T}}_g$ whose points are pairs consisting of a stable projective curve over a non-Archimedean field and a Teichmüller marking of the topological fundamental group of its Berkovich analytification. This construction is closely related to and inspired by the classical construction of a non-Archimedean Schottky space for Mumford curves by Gerritzen and Herrlich. We argue that the skeleton of non-Archimedean Teichmüller space is precisely the trop…
The amoeba of an affine algebraic variety V in (C^*)^r is the image of V under the map (z_1, ..., z_r) -> (log|z_1|, ..., log|z_r|). We give a characterisation of the amoeba based on the triangle inequality, which we call testing for lopsidedness. We show that if a point is outside the amoeba of V, there is an element of the defining ideal which witnesses this fact by being lopsided. This condition is necessary and sufficient for amoebas of arbitrary codimension, as well as for compactifications of amoebas inside any toric variety. Our approach naturally leads to methods for approximating hype…
For a complex toric variety $X$ the logarithmic absolute value induces a natural retraction of $X$ onto the set of its non-negative points and this retraction can be identified with a quotient of $X(\mathbb{C})$ by its big real torus. We prove an analogous result in the non-Archimedean world: The Kajiwara-Payne tropicalization map is a non-Archimedean analytic stack quotient of $X^{an}$ by its big affinoid torus. Along the way, we provide foundations for a geometric theory of non-Archimedean analytic stacks, particularly focussing on analytic groupoids and their quotients, the process of analy…
We associate to an analytic subvariety of a torus a tropical variety. In the first part, we generalize the results from tropical algebraic geometry to this non-archimedean analytic situation. The periodic case is applied to a totally degenerate abelian variety A. We obtain a dimensionality bound for the range of an algebraic morphism from a smooth variety Y to A in terms of the singularities of a strictly semistable model of Y. The main result is that Chambert-Loir's canonical measures on a closed subvariety of A induce piecewise Haar measures on the associated tropical variety and we give an …
We study the asymptotic behavior of volume forms on a degenerating family of compact complex manifolds. Under rather general conditions, we prove that the volume forms converge in a natural sense to a Lebesgue-type measure on a certain simplicial complex. In particular, this provides a measure-theoretic version of a conjecture by Kontsevich--Soibelman and Gross--Wilson, bearing on maximal degenerations of Calabi--Yau manifolds.
Chambert-Loir and Ducros have recently introduced a theory of real valued differential forms and currents on Berkovich spaces. In analogy to the theory of forms with logarithmic singularities, we enlarge the space of differential forms by so called delta-forms on the non-archimedean analytification of an algebraic variety. This extension is based on an intersection theory for tropical cycles with smooth weights. We prove a generalization of the Poincaré-Lelong formula which allows us to represent the first Chern current of a formally metrized line bundle by a delta-form. We introduce the assoc…
A coamoeba is the image of a subvariety of a complex torus under the argument map to the real torus. Similarly, a non-archimedean coamoeba is the image of a subvariety of a torus over a non-archimedean field with complex residue field under an argument map. The phase tropical variety is the closure of the image under the pair of maps, tropicalization and argument. We describe the structure of non-archimedean coamoebae and phaseropical varieties in terms of complex coamoebae and their phase limit sets. The argument map depends upon a section of the valuation map, and we explain how this choice …
Tropicalizations form a bridge between algebraic and convex geometry. We generalize basic results from tropical geometry which are well-known for special ground fields to arbitrary non-archimedean valued fields. To achieve this, we develop a theory of toric schemes over valuation rings of rank 1. As a basic tool, we use techniques from non-archimedean analysis.
Let $V$ be a complex algebraic hypersurface defined by a polynomial $f$ with Newton polytope $Δ$. It is well known that the spine of its amoeba has a structure of a tropical hypersurface. We prove in this paper that there exists a complex tropical hypersurface $V_{\infty, f}$ such that its coamoeba is homeomorphic to the closure in the real torus of the coamoeba of $V$. Moreover, the coamoeba of $V_{\infty, f}$ contains an arrangement of $(n-1)$-torus depending only on the geometry of $Δ$ and the coefficients of $f$. In addition, we can consider this arrangement, as a weighted codual hyperplan…
Classical Hopf manifolds are compact complex manifolds whose universal covering is $\mathbb{C}^d \setminus \{0\}$. We investigate the tropical analogues of Hopf manifolds, and relate their geometry to tropical contracting germs. To do this we develop a procedure called monomialization which transforms non-degenerate tropical germs into morphisms, up to tropical modification. A link is provided between tropical Hopf manifolds and the analytification of Hopf manifolds over a non-archimedean field. We conclude by computing the tropical Picard group and $(p,q)$-homology groups.
We prove that if X, X' are closed subschemes of a torus T over a non-Archimedean field K, of complementary codimension and with finite intersection, then the stable tropical intersection along a (possibly positive-dimensional, possibly unbounded) connected component C of Trop(X) \cap Trop(X') lifts to algebraic intersection points, with multiplicities. This theorem requires potentially passing to a suitable toric variety X(Δ) and its associated extended tropicalization N_R(Δ); the algebraic intersection points lifting the stable tropical intersection will have tropicalization somewhere in the …
The purpose of this article is to study the role of Artin fans in tropical and non-Archimedean geometry. Artin fans are logarithmic algebraic stacks that can be described completely in terms of combinatorial objects, so called Kato stacks, a stack-theoretic generalization of K. Kato's notion of a fan. Every logarithmic algebraic stack admits a tautological strict morphism $ϕ_\mathcal{X}:\mathcal{X}\rightarrow\mathcal{A}_\mathcal{X}$ to an associated Artin fan. The main result of this article is that, on the level of underlying topological spaces, the natural functorial tropicalization map of $…
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly builds on the previous work of Vogiannou on spherical tropicalization and in some ways is complementary.
Let $X$ be a smooth geometrically connected projective curve of genus two over a complete non-archimedean field $K$. For discretely valued $K$, the first main theorem in \cite{liu} gives a set of criteria on the Igusa invariants of the curve that determine the minimal Berkovich skeleton of $X$ together with its edge lengths and vertex weights. In this paper we use the theory of Berkovich spaces to give a new proof of this theorem that works for arbitrary complete non-archimedean fields. We furthermore interpret the final result in terms of tropical moduli spaces and tropical Igusa invariants. …
In this paper we study a $k$-dimensional analytic subvariety of the complex algebraic torus. We show that if its logarithmic limit set is a finite rational $(k-1)$-dimensional spherical polyhedron, then each irreducible component of the variety is algebraic. This gives a converse of a theorem of Bieri and Groves and generalizes a result proven in \cite{MN2-11}. More precisely, if the dimension of the ambient space is at least twice of the dimension of the generic analytic subvariety, then these properties are equivalent to the volume of the amoeba of the subvariety being finite.
Recently we propose a class of infinite-dimensional integral representations of classical gl(n+1)-Whittaker functions and local Archimedean local L-factors using two-dimensional topological field theory framework. The local Archimedean Langlands duality was identified in this setting with the mirror symmetry of the underlying topological field theories. In this note we introduce elementary analogs of the Whittaker functions and the Archimedean L-factors given by U(n+1)-equivariant symplectic volumes of appropriate Kahler U(n+1)-manifolds. We demonstrate that the functions thus defined have a d…
We give an introduction to our work on the solution to the non-Archimedean Monge-Ampere equation and make comparisons to the complex counterpart. These notes are partially based on talks at the 2015 Simons Symposium on Tropical and Nonarchimedean Geometry.
This survey paper explains how one can attach geometric invariants to semialgebraic sets defined over non-archimedean fields, using the theory of motivic integration of Hrushovski and Kazhdan. It also discusses tropical methods to compute these invariants in concrete cases, as well as an application to refined curve counting, developed in collaboration with Sam Payne and Franziska Schroeter.
This is mostly* a non-technical exposition of the joint work arXiv:1212.0373 with Caporaso and Payne. Topics include: Moduli of Riemann surfaces / algebraic curves; Deligne-Mumford compactification; Dual graphs and the combinatorics of the compactification; Tropical curves and their moduli; Non-archimedean geometry and comparison. * Maybe the last section is technical.
In this paper we generalize the $j$-invariant criterion for the semistable reduction type of an elliptic curve to superelliptic curves $X$ given by $y^{n}=f(x)$. We first define a set of tropical invariants for $f(x)$ using symmetrized Plücker coordinates and we show that these invariants determine the tree associated to $f(x)$. We then prove that this tree completely determines the reduction type of $X$ for $n$ that are not divisible by the residue characteristic. The conditions on the tropical invariants that distinguish between the different types are given by half-spaces as in the elliptic…
We study two kinds of push-forwards of $δ$-forms and define the pull-backs of $δ$-forms. As a generalization of Gubler-Künnemann, we prove the projection formula and the tropical Poincaré-Lelong formula. As an application, we follow the idea of Gubler-Künnemann and generalize the notion of $δ$-forms on algebraic varieties, this allows us to define the first Chern forms for any piecewise smooth metrics.
Counts of holomorphic disks are at the heart of the SYZ approach to mirror symmetry. In the non archimedean framework, these counts are expressed as counts of analytic cylinders. In simple cases, such as cluster varieties, these counts can be extracted from a combinatorial algorithm encoded by a scattering diagram. The relevant scattering diagram encodes information about infinitesimal analytic cylinders. In this paper, we give a formula relating counts of a restricted class of cylinders on affine log Calabi Yau surfaces to counts on a single blowup of a toric surface, using non archimedean Gr…
We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup \{-\infty\}, \mathrm{max}, +)$ by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module theory. We then define a tropicalization functor that sends closed subschemes of a toric variety over a ring R with non-archimedean valuation to closed subschemes of the corresponding tropical toric vari…
We show that the tropicalization of a connected variety over a higher rank valued field is a path connected topological space. This establishes an affirmative answer to a question posed by Banerjee. Higher rank tropical varieties are studied as the images of "Hahn analytifications", introduced in this paper. A Hahn analytification is a space of valuations on a scheme over a higher rank valued field. We prove that the Hahn analytification is related to higher rank tropicalization by means of an inverse limit theorem, extending well-known results in the non-Archimedean case. We also establish co…
For a closed d-dimensional subvariety X of an abelian variety A and a canonically metrized line bundle L on A, Chambert-Loir has introduced measures $c_1(L|_X)^{\wedge d}$ on the Berkovich analytic space associated to A with respect to the discrete valuation of the ground field. In this paper, we give an explicit description of these canonical measures in terms of convex geometry. We use a generalization of the tropicalization related to the Raynaud extension of A and Mumford's construction. The results have applications to the equidistribution of small points.
