Questions tagged [tropical-geometry]
For questions about tropical geometry, piece-wise linear functions with integer slopes, tropical degenerations and applications of tropical geometry, max-plus algebra, and tropical semifields.
49 questions with no upvoted or accepted answers
46
votes
0
answers
2k
views
Mikhalkin's tropical schemes versus Durov's tropical schemes
In Mikhalkin's unfinished draft book on tropical geometry, (available here) (page 26) he defines a notion of tropical schemes. It seems to me that this definition is not just a wholesale adaptation of ...
- 6,229
19
votes
0
answers
852
views
Which manifolds decompose into pants?
In this nice paper Mikhalkin uses certain (more geometrical than algebraic) aspects of tropical geometry to prove that every complex projective hypersurface in $\mathbb C \mathbb P ^n$ decomposes as a ...
- 10.5k
13
votes
0
answers
496
views
Strange formula in arithmetic dynamic
Added: another function like that is $S_p f(z) = f(z)+\frac{f(\sqrt{zp})^2}{f(p)}$ in a field of characteristic two.
We discovered the following operator which acts on the space of polynomials (or ...
- 5,063
10
votes
0
answers
379
views
Does the tropicalization of a curve remember the curve's automorphism group?
For a tropical curve $Z$, let us call $Z_0$ this curve with its 1-valent points removed.
(Def [5] of Joyner-Ksir-Grant Melles) Let the automorphism group of a tropical curve $Z$ be a map $g: Z \to Z$ ...
- 3,539
8
votes
0
answers
204
views
Chow ring of extended tropicalizations
In Allermann-Rau '09, the authors define the Chow groups of an arbitrary abstract tropical cycle. In particular, one may take the tropical cycle to be the tropicalization of a subvariety of a torus. ...
- 166
7
votes
0
answers
120
views
What is the closed cone generated by constant and coordinate functions and closed under taking $f\mapsto\max(f,0)$?
Let $C$ be the smallest closed convex cone of functions from $\mathbb{R}^n$ to $\mathbb{R}$ that contains all constant functions, all coordinate functions, and such that $\max(f,0)\in C$ whenever $f\...
- 2,772
6
votes
0
answers
145
views
The proof of the fundamental theorem of tropical algebraic geometry in Maclagan-Sturmfels
I am trying to understand the proof of the fundamental theorem of tropical algebraic geometry from Maclagan-Sturmfels (Introduction to Tropical Geometry, Section 3.2 of the 2015 edition). Is the ...
- 5,359
6
votes
0
answers
221
views
Motives in tropical geometry
Is there a notion of motives in tropical geometry? Similar like the notion introduced by Grothendieck in algebraic geometry.
- 163
6
votes
0
answers
269
views
Tropical abelian variety as a limit
A tropical abelian variety is given by a quotient of a real vector space $V \cong \mathbb{R}^g$ with a fixed integral structure $\Gamma_2$, by a lattice $\Gamma_1$, equipped with some aditional ...
- 61
5
votes
0
answers
710
views
$L_1$ and $L_\infty$ Voronoi diagrams and tropical geometry: Connection?
I just realized that there is a visual similarity between Voronoi diagrams in
the $L_1$ and $L_\infty$ metrics (two images below)
Left: O'Rourke, "Computing Relative Neighborhood graph ...
- 151k
4
votes
0
answers
255
views
Economic equilibrium and tropical geometry
There is a famous saying in economics: When everyone pursues his or her own interests, there is an invisible hand that brings the market to equilibrium. However, this is not always the case. Here is ...
- 123
4
votes
0
answers
206
views
History of tropical mathematics
This is a follow-up to this question about the origin of tropical mathematics.
Are there any articles, websites or books which deal with the history of tropical mathematics?
I have been trying to find ...
- 211
4
votes
0
answers
215
views
Does the tropical semiring admit a universal property?
Each of the rings $\mathbf{Q}$, $\mathbf{Z}_p$, $\mathbf{Q}_p$, $\mathbf{R}$ admits a universal construction: the rationals are the field of fractions of the integers: $\mathbf{Q}:=\mathrm{Frac}(\...
- 11.8k
4
votes
0
answers
163
views
Tropical lie algebra
In this article https://arxiv.org/pdf/1705.01075.pdf are we mean that Lie semialgebras over semirings with a negation map is tropical version of Lie algebra?. And what we do when we define lifting? ...
- 41
4
votes
0
answers
164
views
Two variants of the Littlewood-Offord theorem
I found two different looking things being called the Littlewood-Offord theorem,
If $\vec{a} \in \mathbb{R}^k \setminus 0$ and $t \in \mathbb{R}$ then there are $O(\frac{2^k}{\sqrt{k}})$ points $x \...
- 2,246
4
votes
0
answers
577
views
Tropical Properties From Algebraic Geometry
What properties of tropical geometry (Starting from a valued Field) can be proven to be true using their analogue in algebraic geometry? For example, using the valuation on the Puiseux series $\mathbb{...
- 345
4
votes
1
answer
221
views
Does a nontrivial notion of integral under logarithmic deformations of $\mathbb{R}_+$ exist?
Background
The upper and lower Maslov dequantizations are respectively the limits $h \downarrow 0$ and $h \uparrow 0$ of deformations of the semifield $(\mathbb{R}_+,+,\cdot)$ defined for $0 \ne h \...
- 15.4k
3
votes
0
answers
315
views
Factorization of tropical polynomials
I am referring to the definition of a tropical polynomial given on page 8 (top of section 3) here in this review, https://arxiv.org/pdf/math/0306366.pdf. I understand that here a tropical polynomial ...
- 2,246
3
votes
0
answers
127
views
Max-Plus algebra and hyperplane arrangements
Given an expression in the Max-Plus algebra is it possible to recognize if it represents a continuous piecewise linear (CPWL) function whose polyhedral complex is a hyperplane arrangement?
Or ...
- 2,246
3
votes
0
answers
209
views
Can MacLane's notion of universality inform $\mathbb{F}_1$?
MacLane (1939) calls a field $F$ universal if every other field $F'$ of the same cardinality and characteristic as $F$ is a subfield of $F$. He then exhibits an example, viz. a field of generalized ...
- 15.4k
3
votes
0
answers
327
views
Asymptotics vs Puiseux series
Define asymptotic as a class of sequences {$ x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$.
More, we define $X= \{x_i\} \lt Y= \{ ...
- 5,063
3
votes
0
answers
424
views
Tropicalization of the Grassmannian
Let $Trop(Gr(m,n))$ denote the tropicalization of the grassmannian $Gr(n,m)$. Let $\phi^m : \mathbb R^{n \choose 2} \rightarrow \mathbb R^{n \choose m}$ such that $X_{i,j} \rightarrow X_{i_1,...,i_m}$...
- 1,277
2
votes
1
answer
172
views
Actual zeros of tropical Laurent polynomial
I consider the tropical semi-ring $(\mathbb{R},\oplus,\odot)=(\mathbb{R},\max,+)$. I know that the tropiclisation of any (Laurent) polynomial $p\in\mathbb{R}[x_1^{\pm1},...,x_n^{\pm1}]$ given a ...
- 91
2
votes
0
answers
104
views
Kouchnirenko's theorem for non-generic polynomials
In Polyèdres de Newton et nombres de Milnor (Theorem 1.18), Kouchnirenko proved that given Laurent polynomials $f_1, \dotsc, f_k$ in $k$ variables, the number of isolated solutions is less than or ...
- 315
2
votes
0
answers
87
views
Does tropicalization commute with composition?
Say we have two polynomials
$$
f = \sum d_n x^n, \quad g = \sum_n b_n x^n
$$
that tropicalize to
$$
F = \max(d_n + nx), \quad G = \max(b_n + nx).
$$
Can we say $f\circ g$ tropicalizes to $F\circ G$?
...
- 306
2
votes
0
answers
97
views
How to define the limit of an infinite sequence of Newton polytopes rigorously?
Let $A_1 \subset A_2 \subset \cdots$ and each $A_i$ is a finite set of polynomials over variables $x_1, \ldots, x_n$. For each $i$, let $N_i$ be the Newton polytope of $A_i$. Since $A_{\infty}$ has ...
- 6,211
2
votes
0
answers
249
views
Enlightening examples of tropical skeletons of Berkovich spaces
Let $K$ be a complete non-archimedean field and let $X$ be a $K$-analytic space in the sense of Berkovich of pure dimension $d$. Let $\varphi \colon X \to \mathbf{G}_m^r$ be a moment map to an ...
user478030
2
votes
0
answers
103
views
Amoeba for a K3 surface in $\mathbb {CP}^3$
Let $X=X_\Delta$ be the toric variety associated to a reflexive polyhedron $\Delta$.
Consider a Calabi-Yau hypersurface $Y\subset X$, and the image of $Y$ under the moment map $\mu:X\to \Delta$ has ...
- 2,789
2
votes
0
answers
92
views
Rational sections of tropical conics
Let us consider the family of Fermat conics in $(\mathbb{C}^*)^2\subset\mathbb{C}^2$ given by
$$\pi\colon V(ax^2+by^2-1)\subset(\mathbb{C}^*)^2_{a,b}\times(\mathbb{C}^*)^2_{x,y}\to(\mathbb{C}^*)^2_{a,...
user39380
2
votes
0
answers
125
views
A structure sheaf for real analytification of semialgebraic sets in the context of signed tropicalization
Let $X=Spec(A)$ be an affine scheme, where $A$ be a commutative algebra over a non-archimedean valued field $K$. Assume that $K$ is a real closed field with the unique ordering $<$, which should be ...
- 21
2
votes
0
answers
205
views
Local toric varieties and tropicalization
Let $K$ be a valued field, and consider the ring $R=K((x_1,\dots,x_m))$ of formal Laurent series. This is "the germ of the torus at $0$". Is there a theory of "local toric varieties" where $R$ ...
- 2,788
2
votes
0
answers
875
views
How to draw tropical curves?
In paper arXiv:1311.2360v3, there are a lot of tropical curves. I want to know how to draw them by using some softwares/algorithms?
- 475
2
votes
0
answers
80
views
Tropical algebraic structures
What is the difference between tropical lie semialgebra and lie semialgebra with anegation map? and How can I build another algebraic structure in tropical algebra?
- 21
2
votes
0
answers
94
views
Tropical self intersection number of boundary divisor on toroidal embedding
Let $X_0 \subset X$ a toroidal embedding without self intersections and denote by $\overline{\Sigma}$ its corresponding (weakly embedded) extended conical simplicial complex. Let $D$ be a divisor on $...
- 357
2
votes
0
answers
190
views
holomorphic curves in almost toric fibration and their relation to tropical curves
My goal is to get better understanding how the projection of holomorphic curves converge to tropical disks.
We are given an almost toric fibration $X\rightarrow B$ with special Lagrangian fibers with ...
- 21
2
votes
0
answers
164
views
Algorithms for "Ideals" in polynomial algebras over the max-plus semi-ring
I'm a beginner in tropical geometry, and I'm running into the following question:
In the usual polynomial ring over a field, one has algorithms (i.e. using a Groebner basis) for determining whether ...
- 1,509
2
votes
0
answers
185
views
Simple topological question on taking complements inside a simplex
We would like to know if the following claim is true:
(If you don't know the definition of a tropical hyperplane, then please consider the case when d=3)
Let $P_1,\cdots,P_d$ be full dimensional (...
- 113
1
vote
0
answers
162
views
Integral points on "complex exponential surface" in $\mathbb{C}^3$
I encountered the following object in $\mathbb{C}^3$ defined for $m\in\mathbb{N}$ by
$$A_m:=\lbrace (z_1,z_2,z_3)\in\mathbb{C}^3|(2^{2z_3}m-1)2^{2z_1+z_2+1}+3^{z_2-1}(2^{2z_1}-2^2-3^{z_3+1}m)=0\rbrace$...
- 91
1
vote
0
answers
43
views
Parametrize regions of positivity of a polynomial
I realize that this problem is extremely generic, so I am pessimistic that there may be concrete solutions, but let me try...
Consider a multi-variate polynomial $P(x)$, is it possible to find ...
- 1,435
1
vote
0
answers
29
views
Proving equivalence of tropical polynomials
I am new to the world of tropical mathematics. I am wondering if there is an algorithm to prove the equivalence of two tropical polynomials (in the plus-min semiring let's say), say over multivaribles?...
- 11
1
vote
0
answers
55
views
Essential rays in fan structure
Let $|\Sigma|$ be the underlying set of some fan $\Sigma$ in $\mathbb{R}^n$. It is well known that in general there is no coarsest fan structure on $|\Sigma|$. However, there may be some special rays ...
- 2,788
1
vote
0
answers
94
views
Generators for Ideals in ring of multivariate Laurent Polynomials
Consider the following problem:
Find an ideal $I \subset \mathbb{Q}[x^{\pm}_1,x^{\pm}_2,x^{\pm}_3]$ such that $I_{aff} \subset \mathbb{Q}[x_1, x_2, x_3] = I \cap k[x_1, x_2, x_3]$ requires more ...
- 11
1
vote
0
answers
256
views
Explicit description of rigid analytification of torus
It is known that in non-archimedean world there is also a GAGA-functor from the category of $K$-schemes of locally finite type to the category of rigid $K$-spaces. Here $K$ is a field with a non-...
- 2,789
1
vote
0
answers
66
views
Conjugating the tropical Lyness 5-cycle into a rotation of the plane
In his response to my question Conjugating the Lyness 5-cycle into a rotation of the plane, Francois Brunault provided an explicit conjugacy between the Lyness order-5 map and a 72-degree rotation, ...
- 19.7k
1
vote
0
answers
102
views
Notion of transversality over the field of Puiseux series.
To a given a Laurent polynomial $f$ over the field of Puiseux seris with parameter $t$, $f \in \mathbb{C} \lbrace\lbrace t \rbrace\rbrace[z_1^{\pm1},...,z_n^{\pm 1}]$, one can associate the ...
- 41
1
vote
0
answers
138
views
Bases of Ideals With no Monomials
Let $K$ be an algebraically closed field and $K[\underline{x}]$ its ring of polynomials in $n$ variables $x_1,\cdots, x_n$. Let $J\leq K[\underline{x}]$ be an ideal such that there are no monomials in ...
- 345
0
votes
0
answers
82
views
How can complex abelian varieties degenerate to tropical abelian varieties
There is a similar interesting question here
which has not been answered. I therefore ask this question in the hope to get an answer. I wonder how a family of complex abelian varieties can exactly ...
- 85
0
votes
0
answers
27
views
Projection onto polytopes as tropical polynomial
Let $C$ be a convex polytope in $\mathbb{R}^n$ with $m$ extremal points. Let $p\in \{1,2\}$.
Can the $\ell^p$-projection $\Pi_C:\mathbb{R}^n\to C$
$$
\Pi_C(x) \in \operatorname{argmin}_{z\in C}\, \|x-...
- 364
0
votes
0
answers
279
views
Tropical varieties correspondence to varieties over a non-archimedean valuation field.
I am a mathematical physicist and I am studying certain discrete dynamical systems defined in terms of piecewise linear mappings, which may be expressed in terms of expressions over the max-plus semi-...
- 106