搜索结果：Tropical doctor

We study anisotropic scaling limits of topological field theories using tropical geometry. The resulting topological field theories are characterized by foliated geometries and are invariant under foliation-preserving gauge transformations. We demonstrate the tropicalization for the 2D BF theory and generalize the prescription to topological Yang-Mills and Chern-Simons theories. We call the tropical limit of the BF theory, the \textit{TBF} theory, which is an anisotropic generalization of the BF theory with an additional adjoint-valued field $T$ that enforces a projectability condition onto the leaves of the foliation. The TBF theory localizes onto the moduli space of tropicalized flat connections $\mathcal{M}(Σ_g,G)$ on a foliated Riemann surface $Σ_g$ of genus $g$. The tropical connections exhibit anisotropic behavior; their holonomy is sensitive only to the leaves of the foliation. We analyze this moduli space two distinct ways, Firstly, they are classified by leaf-wise holonomy whose dimension can be explicitly calculated for the case of tropical projective space $\mathbb{TP}^1$ by the moduli space isomorphism $\mathcal{M}\left(\mathbb{TP} ^1, G\right) \cong \operatorname{Hom}(

We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line.

We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$.

In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear constraints. Similarly, we construct a one-to-one correspondence between elliptic curves with fixed $j$-invariant satisfying toric constraints and "stacky tropical reductions" that can be enumerated in terms of tropical elliptic curves with fixed tropical $j$-invariant satisfying linear constraints. Our theorems generalize previously published correspondence theorems in tropical geometry, and our proofs are algebra-geometric. In particular, the theorems hold in large positive characteristic.

In tropical geometry, one studies algebraic curves using combinatorial techniques via the tropicalization procedure. The tropicalization depends on a map to an algebraic torus and the combinatorial methods are most useful when the tropicalization has nice properties. We construct, for any Mumford curve $X$, a map to a three-dimensional torus, such that the tropicalization is isometric to a subgraph of the Berkovich space $X^{\rm an}$, called the extended skeleton. In this case, we say the tropicalization is "fully faithful." Additionally, given a map $X$ to a toric variety $Y$, which induces a fully faithful tropicalization, we show that we can extend the map to $X \to Y \times (\mathbf{P}^1)^n$ such that the new tropicalization is smooth and fully faithful.

We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained.

We study the geometry of tropical extensions of hyperfields, including the ordinary, signed and complex tropical hyperfields. We introduce the framework of 'enriched valuations' as hyperfield homomorphisms to tropical extensions, and show that a notable family of them are relatively algebraically closed. Our main results are hyperfield analogues of Kapranov's theorem and the Fundamental theorem of tropical geometry. Utilising these theorems, we introduce fine tropical varieties and prove a structure theorem for them in terms of their initial ideals.

We prove that the tropical Abel--Prym map $Ψ\colon \widetildeΓ\to Prym(\widetildeΓ/Γ)$ associated with a free double cover $π\colon \widetildeΓ\to Γ$ of hyperelliptic metric graphs is harmonic of degree $2$ in accordance with the already established algebraic result. We then prove a partial converse. Contrary to the analogous algebraic result, when the source graph of the double cover is not hyperelliptic, the Abel--Prym map is often not injective. When the source graph is hyperelliptic, we show that the Abel--Prym graph $Ψ(\widetildeΓ)$ is a hyperelliptic metric graph of genus $g_Γ-1$ whose Jacobian is isomorphic, as pptav, to the Prym variety of the cover. En route, we count the number of distinct free double covers by hyperelliptic metric graphs.

We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves given by Y. Ganor and the author, which naturally led to consideration of plane tropical curves with an unmarked four-valent vertex. Another refined invariant counts rational tropical curves of a given degree in the Euclidean space of arbitrary dimension matching specific constraints, which make the spacial refined invariant similar to known planar invariants.

The tropical (p, q)-homology groups of Itenberg, Katzarkov, Mikhalkin and Zharkov are the tropical analogues of the Hodge decomposition of the cohomology of complex algebraic varieties. There is a well-defined intersection pairing on tropical (1, 1)-classes of a compact non-singular tropical surface. Here we compute directly the (1, 1)-homology of a non-singular floor decomposed tropical surface in tropical projective space, along with the intersection form.

Let $X$ be an algebraic variety and let $S$ be a tropical variety associated to $X$. We study the tropicalization map from the moduli space of stable maps into $X$ to the moduli space of tropical curves in $S$. We prove that it is a continuous map and that its image is compact and polyhedral. Loosely speaking, when we deform algebraic curves in $X$, the associated tropical curves in $S$ deform continuously; moreover, the locus of realizable tropical curves inside the space of all tropical curves is compact and polyhedral. Our main tools are Berkovich spaces, formal models, balancing conditions, vanishing cycles and quantifier elimination for rigid subanalytic sets.

We show that the weights on a tropical variety can be recovered from the tropical scheme structure proposed by the Giansiracusas in arXiv:1308.0042, so there is a well-defined Hilbert-Chow morphism from a tropical scheme to the underlying tropical cycle. For a subscheme of projective space given by a homogeneous ideal I we show that this tropical scheme structure contains the same information as the set of valuated matroids of the vector spaces I_d for d \geq 0. We also give a combinatorial criterion to determine whether a given relation is in the congruence defining the tropical scheme structure.

The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it computes sufficient conditions to have an algebraic counterpart related by tropicalization. We also provide sufficient conditions in a geometric construction to ensure that the algebraic counterpart always exists. Geometric constructions are applied to transfer classical theorems to the tropical framework, we provide a notion of incidence theorems and prove several tropical versions of classical theorems like converse Pascal, Fano plane or Cayley-Bacharach.

We present a simple and elementary procedure to sketch the tropical conic given by a degree--two homogeneous tropical polynomial. These conics are trees of a very particular kind. Given such a tree, we explain how to compute a defining polynomial. Finally, we characterize those degree--two tropical polynomials which are reducible and factorize them. We show that there exist irreducible degree--two tropical polynomials giving rise to pairs of tropical lines.

In this work, we argue that the $α'\to 0$ limit of closed string theory scattering amplitudes is a tropical limit. The motivation is to develop a technology to systematize the extraction of Feynman graphs from string theory amplitudes at higher genus. An important technical input from tropical geometry is the use of tropical theta functions with characteristics to rigorously derive the worldline limit of the worldsheet propagator. This enables us to perform a non-trivial computation at two loops: we derive the tropical form of the integrand of the genus-two four-graviton type II string amplitude, which matches the direct field theory computations. At the mathematical level, this limit is an implementation of the correspondence between the moduli space of Riemann surfaces and the tropical moduli space.

In this paper we propose a general functorial definition of the operation of \emph{local tropicalization} in commutative algebra. Let $R$ be a commutative ring, $Γ$ a finitely generated subsemigroup of a lattice, $γ: Γ\rightarrow R/ R^*$ a morphism of semigroups, and $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$. Then we may \emph{tropicalize} with respect to $γ$ any subset $\W$ of the space of valuations $\V(R)$. By definition, we get a subset of a rational polyhedral cone canonically associated to $Γ$, enriched with strata at infinity. In particular, when $R$ is a local ring, $γ$ is a \emph{local} morphism of semigroups, and $\W$ is the space of valuations which are either positive or non-negative on $R$, we call these processes \emph{local tropicalizations}. They depend only on the ambient toroidal structure, which in turn allows to define tropicalizations of subvarieties of toroidal embeddings. We prove that with suitable hypothesis, these local tropicalizations are the supports of finite rational polyhedral fans enriched with strata at infinity and we compare the global and local tropicalizations of a subvariety of a toric variety.

We introduce the notion of tropical area of a tropical curve defined in an open subset of $\mathbb R^n$. We prove that the number of vertices of a tropical curve is bounded by the area of the curve. The approach is totally elementary yet tricky. Our proof employs ideas from intersection theory in algebraic geometry. The result can be interpreted as the fact that the moduli space of tropical curves with bounded area is of finite type.

Working over various graded Lie algebras and in arbitrary dimension, we express scattering diagrams and theta functions in terms of counts of tropical curves/disks, weighted by multiplicities given in terms of iterated Lie brackets. Over the tropical vertex group, our tropical curve counts are known to give certain descendant log Gromov-Witten invariants. Working over the quantum torus algebra yields theta functions for quantum cluster varieties, and our tropical description sets up for geometric interpretations of these. As an immediate application, we prove the quantum Frobenius conjecture of Fock and Goncharov. We also prove a refined version of the Carl-Pumperla-Siebert result on consistency of theta functions, and we prove the non-degeneracy of the trace-pairing for the Gross-Hacking-Keel Frobenius structure conjecture.

We introduce the notion of families of n-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of n-marked abstract rational tropical curves.