Abstract Let $$K$$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $$K$$. We study images of semialgebraic subsets of $K^n$ under this map from a general point of view. For a semialgebraic set $$S \subseteq K^n$$ we define a space $$S_r^{{\operatorname{an}}}$$ called the real analytification, which we show to be homeomorphic to the inverse limit of all real tropicalizations of $$S$$. We prove a real analogue of the tropical fundamental theorem and show that the tropicalization of any semialgebraic set is described by tropicalization of finitely many inequalities, which are valid on the semialgebraic set. We also study the topological properties of real analytification and tropicalization. If $$X$$ is an algebraic variety, we show that $$X_r^{{\operatorname{an}}}$$ can be canonically embedded into the real spectrum $$X_r$$ of $$X$$, and we study its relation with the Berkovich analytification of $$X$$.
more »
« less
Symmetric powers of algebraic and tropical curves: A non-Archimedean perspective
We show that the non-Archimedean skeleton of the d d -th symmetric power of a smooth projective algebraic curve X X is naturally isomorphic to the d d -th symmetric power of the tropical curve that arises as the non-Archimedean skeleton of X 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 certain tropical genericity assumptions, to deduce a new tropical Riemann-Roch-Theorem for the tropicalization of linear systems.
more »
« less
- Award ID(s):
- 2001739
- PAR ID:
- 10391299
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society, Series B
- Volume:
- 9
- Issue:
- 20
- ISSN:
- 2330-0000
- Page Range / eLocation ID:
- 586 to 618
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
For a large class of maximally degenerate families of Calabi–Yau hypersurfaces of complex projective space, we study non- Archimedean and tropical Monge–Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive constant. Moreover, the solution to the non-Archimedean equation can be derived from the tropical solution, and is the restriction of a continuous semipositive toric metric on projective space. Together with the work of Yang Li, this implies the weak metric SYZ conjecture on the existence of special Lagrangian fibrations in our setting.more » « less
-
Abstract We show that the tropicalization of an irreducibled-dimensional variety over a field of characteristic 0 is$$(d-\ell )$$ -connected through codimension one, where$$\ell $$ is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety.more » « less
-
Splice type surface singularities were introduced by Neumann and Wahl as a generalization of the class of Pham–Brieskorn–Hamm complete intersections of dimension two. Their construction depends on a weighted tree called a splice diagram. In this paper, we study these singularities from the tropical viewpoint. We characterize their local tropicalizations as the cones over the appropriately embedded associated splice diagrams. As a corollary, we reprove some of Neumann and Wahl’s earlier results on these singularities by purely tropical methods, and show that splice type surface singularities are Newton non-degenerate complete intersections in the sense of Khovanskii. We also confirm that under suitable coprimality conditions on its weights, the diagram can be uniquely recovered from the local tropicalization. As a corollary of the Newton non-degeneracy property, we obtain an alternative proof of a recent theorem of de Felipe, González Pérez and Mourtada, stating that embedded resolutions of any plane curve singularity can be achieved by a single toric morphism, after re-embedding the ambient smooth surface germ in a higher-dimensional smooth space. The paper ends with an appendix by Jonathan Wahl, proving a criterion of regularity of a sequence in a ring of convergent power series, given the regularity of an associated sequence of initial forms.more » « less
-
null (Ed.)Abstract Tropical geometry and the theory of Newton–Okounkov bodies are two methods that produce toric degenerations of an irreducible complex projective variety. Kaveh and Manon showed that the two are related. We give geometric maps between the Newton–Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $$X$$. Under a technical condition, we produce a natural “algebraic wall-crossing” map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map is the restriction of a geometric map. In an appendix by Nathan Ilten, he explains how the geometric wall-crossing phenomenon can also be derived from the perspective of complexity-one $$T$$-varieties; Ilten also explains the connection to the “combinatorial mutations” studied by Akhtar–Coates–Galkin–Kasprzyk.more » « less
An official website of the United States government

