Bernd Sturmfels, Jenia Tevelev
Tropical algebraic geometry offers new tools for elimination theory and implicitization. We determine the tropicalization of the image of a subvariety of an algebraic torus under any homomorphism from that torus to another torus.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of tropical hypersurfaces the corresponding point symmetry is obtained for their Newton polytopes and lattice polytopes.
We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we present algorithms on how the latter can be computed in finite time, provided that generators are polynomial in t. While doing so, we also comment on the computation of the Groebner polytope structure and p-adic Groebner bases using our framework. All algorithms solely rely on existing standard basis techniques.
We show that in the constant coefficient case the generic tropical variety of a graded ideal exists. This can be seen as the analogon to the existence of the generic initial ideal in Groebner basis theory. We determine the generic tropical variety as a set in general and as a fan for principal ideals and linear ideals.
Varieties of prime tropical ideals and the dimension of the coordinate semiring
本文研究了热带多项式半环中素理想变体的性质，并探讨了热带变体与坐标半环维度之间的关系。
We show that the algebraic invariants multiplicity and depth of a graded ideal in the polynomial ring are closely connected to the fan structure of its generic tropical variety in the constant coefficient case. Generically the multiplicity of the ideal is shown to correspond directly to a natural definition of multiplicity of cones of tropical varieties. Moreover, we can recover information on the depth of the ideal from the fan structure of the generic tropical variety if the depth is known to be greater than 0. In particular, in this case we can see if the ideal is Cohen-Macaulay or almost-C…
In earlier papers it was shown that the generic tropical variety of an ideal can contain information on algebraic invariants as for example the depth in a direct way. The existence of generic tropical varieties has so far been proved in the constant coefficient case for the usual notion of genericity. In this paper we generalize this existence result to include the case of non-constant coefficients in certain settings. Moreover, we extend the notion of genericity to arbitrary closed subvarieties of the general linear group. In addition to including the concept of genericity on algebraic groups…
Tropical covers, tropical abelian varieties and Prym varieties
本文研究热带普里姆簇，基于无分支伽罗华循环覆盖的热带曲线，通过循环伽罗华群在热带阿贝尔簇上的作用进行分析，并扩展了双覆盖的阿贝尔-普里姆映射。
Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that every subscheme of a tropical toric variety defined by a tropical ideal has an associated class in the Chow ring of the toric variety. A key tool in the proof is that specialization of variables in a tropical ideal yields another tropical ideal; this plays the role of hyperplane sections in the theory. We also show that elimination theory (projection of var…
In this text, we show that locally tropically convex tropical varieties in $\mathbb{R}^n$ have locally a canonical polyhedral structure that satisfies higher balancing conditions at all cells of positive codimension.
Non-finite generatedness of the congruences defined by tropical varieties
本文研究了热带簇支持下形式为E(Z)的同余关系是否有限生成，并给出了热带标准线L的E(|L|)的显式最小生成集。
We investigate the problem of counting tropical genus g curves in g-dimensional tropical abelian varieties. For g = 2, 3, we prove that the tropical count matches the count provided by Göttsche, Bryan-Leung, and Lange-Sernesi in the complex setting.
We apply ideas from intersection theory on toric varieties to tropical intersection theory. We introduce mixed Minkowski weights on toric varieties which interpolate between equivariant and ordinary Chow cohomology classes on complete toric varieties. These objects fit into the framework of tropical intersection theory developed by Allermann and Rau. Standard facts about intersection theory on toric varieties are applied to show that the definitions of tropical intersection product on tropical cycles in $\R^n$ given by Allermann-Rau and Mikhalkin are equivalent. We introduce an induced tropica…
We study the tropicalizations of Severi varieties, which we call tropical Severi varieties. In this paper, we give a partial answer to the following question, ``describe the tropical Severi varieties explicitly.'' We obtain a description of tropical Severi varieties in terms of regular subdivisions of polygons. As an intermediate step, we construct explicit parameter spaces of curves. These parameter spaces are much simpler objects than the corresponding Severi variety and they are closely related to flat degenerations of the Severi variety, which in turn describes the tropical Severi variety.…
In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set, and the second based on the layered structure. We tie them to tropical geometry, especially in connection with the dimension of an affine variety.
Tropical cohomology via reductions of tropical varieties
本文通过引入热带簇的约化，构造了热带谱序列，并证明其特征波作用由热带Gauss-Manin连接给出。
We describe in some details an idea of M. Kontsevich how one can try to find a counterexample to the Hodge conjecture using tropical geometry.
In this article we define a natural tropicalization procedure for closed subsets of log-regular varieties in the case of constant coefficients and study its basic properties. This framework allows us to generalize some of Tevelev's results on tropical compactification as well as Hacking's result on the cohomology of the link of a tropical variety to log-regular varieties.
We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.
We use piecewise polynomials to define tropical cocycles generalising the well-known notion of tropical Cartier divisors to higher codimensions. Groups of cocycles are tropical analogues of Chow cohomology groups. We also introduce an intersection product of cocycles with tropical cycles - the counterpart of the classical cap product - and prove that this gives rise to a Poincaré duality in some cases.
We define an intersection product of tropical cycles on matroid varieties (via cutting out the diagonal) and show that it is well-behaved. In particular, this enables us to intersect cycles on moduli spaces of tropical rational marked curves $M_{0,n}$ and $M_{0,n}(\R^r, d)$. This intersection product can be extended to smooth varieties (whose local models are matroid varieties). We also study pull-backs of cycles and rational equivalence.
Topology and Euler characteristics of tropical varieties
研究热带阿贝尔簇的热带子簇的欧拉示性数，证明H-正则子簇具有非负符号欧拉示性数，给出Green-Lazarsfeld定理的热带类比，并构造反例。
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.
Tropical matroid Schubert varieties and the graded Möbius algebra
本文引入热带Matroid Schubert变种，证明其热带上同调环与Matroid的分级Möbius代数同构，扩展了Arrangement Schubert变种到任意Matroid。
Cohomologically tropical varieties
本文研究了cohomologically tropical流形的定义与性质，证明了schön流形为cohomologically tropical当且仅当满足wunderschön条件和tropical化为tropical上同调manifold，并扩展了相关Hodge数的结果。
In this paper we study tropicalization of Grassmannian and linear varieties. In particular, we study the tropical linear spaces cor- responding to the phylogenetic trees. We prove that corresponding to each subtree of the phylogenetic tree there is a point on the tropical grassmannian. We deduce a necessary and sufficient condition for it to be on the facet of the tropical linear space.
We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.
Starting from certain rational varieties blown-up from (P^1)^N, we construct a tropical, i.e., subtraction-free birational, representation of Weyl groups as a group of pseudo isomorphisms of the varieties. Furthermore, we develop an algebro-geometric framework of tau-functions as defining functions of exceptional divisors on the varieties. In the case where the corresponding root system is of affine type, our construction yields a class of (higher order) q-difference Painleve equations and its algebraic degree grows quadratically.
Effective faithful tropicalizations and embeddings for abelian varieties
本文通过非阿基米德theta函数实现阿贝尔簇的热带化，提供经典勒夫定理的热带版本，结合热带theta函数嵌入与非阿基米德theta函数提升，拓展了热带几何的应用范围。
We present an algorithm for computing zero-dimensional tropical varieties using projections. Our main tools are fast unimodular transforms of lexicographical Gröbner bases. We prove that our algorithm requires only a polynomial number of arithmetic operations if given a Gröbner basis, and we demonstrate that our implementation compares favourably to other existing implementations. Applying it to the computation of general positive-dimensional tropical varieties, we argue that the complexity for calculating tropical links is dominated by the complexity of the Gröbner walk.
Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.
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.
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…
Tropical cluster varieties, phylogenetic trees, and generalized associahedra
本文通过将类型C簇变种热带化与轴对称系统发生树空间关联，探讨其有符号热带化作为associahedra或cyclohedra对偶子扇的性质。
Tropical Matsusaka and Matsusaka--Ran Criteria
本文证明热带松阪准则与热带松阪-兰准则，结合热带庞加莱公式为热带肖特基问题提供几何解，还开发了相关工具并回答了Brannetti等人的问题。
On tropical cohomology of smooth algebraic varieties
本文显式描述了平凡赋值域上光滑代数簇的热带上同调，并为几何严格半稳定约化构造了单值权重谱序列。
We give several characterizations of stable intersections of tropical cycles and establish their fundamental properties. We prove that the stable intersection of two tropical varieties is the tropicalization of the intersection of the classical varieties after a generic rescaling. A proof of Bernstein's theorem follows from this. We prove that the tropical intersection ring of tropical cycle fans is isomorphic to McMullen's polytope algebra. It follows that every tropical cycle fan is a linear combination of pure powers of tropical hypersurfaces, which are always realizable. We prove that ever…
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 nonexpansiv…
We describe a framework to construct tropical moduli spaces of rational stable maps to a smooth tropical hypersurface or curve. These moduli spaces will be tropical cycles of the expected dimension, corresponding to virtual fundamental classes in algebraic geometry. As we focus on the combinatorial aspect, we take the weights on certain basic 0-dimensional local combinatorial curve types as input data, and give a compatibility condition in dimension 1 to ensure that this input data glues to a global well-defined tropical cycle. As an application, we construct such moduli spaces for the case of…
On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.
Linear Degenerate Tropical Flag Varieties
本文从热带几何角度研究旗簇的线性退化，通过定义线性退化旗Dressian，建立了其与赋值拟阵、热带线性空间及投影映射诱导的态射之间的对应关系。
In analogy to chapter 9 of arXiv:0709.3705 we define an intersection product of tropical cycles on tropical linear spaces L^n_k, i.e. on tropical fans of the type max{0,x_1,...,x_n}^(n-k)*R^n. Afterwards we use this result to obtain an intersection product of cycles on every smooth tropical variety, i.e. on every tropical variety that arises from gluing such tropical linear spaces. In contrast to classical algebraic geometry these products always yield well-defined cycles, not cycle classes only. Using these intersection products we are able to define the pull-back of a tropical cycle along a …
On tropical Hodge theory for tropical varieties
本文建立了热带簇的热带Hodge理论（除Laplacian解的正则性外），并以类似紧Kähler流形的方式给出了Kähler package的条件证明。
This paper proves that when the $r \times r$ minors of an $m \times n$ matrix of indeterminates are not a tropical basis then the tropical prevariety has greater dimension than the tropical variety. It proves the same for the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates when r > 4.
We show that the counting of rational curves on a complete toric variety that are in general position to the toric prime divisors coincides with the counting of certain tropical curves. The proof is algebraic-geometric and relies on degeneration techniques and log deformation theory. This generalizes results of Mikhalkin obtained by different methods in the surface case to arbitrary dimensions.
The goal of this note is to affirm a local version of the conjecture of Nisse--Sottile [NS16] on higher convexity of complements of tropical varieties, while providing a family of counter-examples for the global Nisse--Sottle conjecture in any codimension and dimension higher than 1. Moreover, it will be shown that, surprisingly, this family also provides a family of counter-examples for the generalized Hodge conjecture for positive currents in these dimensions, and gives rise to further approximability obstruction.
We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta characteristics and $2^{g-1}$ odd theta characteristics. We then study the relationship between unramified double covers of a tropical curve and its theta characteristics, and use this to define the tropical Prym variety.
Tropical cluster varieties of type C
本文显式描述了有限C型簇簇的热带化，将其实现为轴对称系统发育树空间，并发现所有坐标符号模式，证明每个符号热带化组合对偶于环面体或结合面体。
Computing positive tropical varieties and lower bounds on the number of positive roots
本研究提出两种计算代数簇正热带化的有效工具，给出热带几何基本定理与横截相交定理的实数版本，据此提出计算参数化多项式方程组正实根组合界的算法，并探讨其在化学反应网络正稳态数量研究中的应用。
In this article, we present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of finite symmetries. We compute the tropical Grassmannian TGr$_0(3,8)$, and show that it refines the $15$-dimensional skeleton of the Dressian Dr$(3,8)$ with the exception of $23$ special cones for which we construct explicit obstructions to the realizability of their tropical linear spaces. Moreover, we propose algorithms for identifying maximal-dimensional tropical cones which belong to the positive tropicalization. These algorithms exploit symmetries of the tr…
To each prime ideal in a polynomial ring over a field we associate an algebraic matroid and show that it is preserved under tropicalization. This gives a necessary condition for a tropical variety to be set-theoretically realizable from a prime ideal. We also show that there are infinitely many Bergman fans that are not set-theoretically realizable as the tropicalization of any ideal.
Lefschetz section theorems for tropical hypersurfaces
本文建立环面簇热带超曲面的 Lefschetz 超平面截面定理，证明整系数热带同调群在紧致或 $\mathbb{R}^n$ 情形下无挠，并建立其与复超曲面 Hodge 数及 Hodge-Deligne 数的联系。
This article studies the relationship between tropical Severi varieties and secondary fans. In the case when tropical Severi varieties are hypersurfaces this relationship is very well known; specifically, in this case, a tropical Severi variety of codimension 1 is a subfan of the corresponding secondary fan. It was expected for some time that this continues to hold more generally, but Katz found a counterexample in codimension 2, showing that this relationship is more subtle. The two main results in this paper are as follows. The first theorem finds a simple condition under which a tropical Se…
We relate quantum degree cones, parametrizing PBW degenerations of quantized enveloping algebras, to (negative tight monomial) cones introduced by Lusztig in the study of monomials in canonical bases, to K-theoretic cones for quiver representations, and to some maximal prime cones in tropical flag varieties.
We study algebraic and combinatorial aspects of (classical) projections of $m$-dimensional tropical varieties onto $(m+1)$-dimensional planes. Building upon the work of Sturmfels, Tevelev, and Yu on tropical elimination as well as the work of the authors on projection-based tropical bases, we characterize algebraic properties of the relevant ideals and provide a characterization of the dual subdivision (as a subdivision of a fiber polytope). This dual subdivision naturally leads to the issue of self-intersections of a tropical variety under projections. For the case of curves, we provide some …
We study algebraic, combinatorial and geometric aspects of weighted PBW-type degenerations of (partial) flag varieties in type $A$. These degenerations are labeled by degree functions lying in an explicitly defined polyhedral cone, which can be identified with a maximal cone in the tropical flag variety. Varying the degree function in the cone, we recover, for example, the classical flag variety, its abelian PBW degeneration, some of its linear degenerations and a particular toric degeneration.
A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by stable polynomials. We give a new characterization of positively hyperbolic varieties using sign variations, and show that they are equivalently defined by being hyperbolic with respect to the positive part of the Grassmannian, in the sense of Shamovich and Vinnikov. We prove that positively hyperbolic projective varieties have tropicalizations that are loca…
The tropical variety of a $d$-dimensional prime ideal in a polynomial ring with complex coefficients is a pure $d$-dimensional polyhedral fan. This fan is shown to be connected in codimension one. We present algorithmic tools for computing the tropical variety, and we discuss our implementation of these tools in the Gröbner fan software \texttt{Gfan}. Every ideal is shown to have a finite tropical basis, and a sharp lower bound is given for the size of a tropical basis for an ideal of linear forms.
Extremal decompositions of tropical varieties and relations with rigidity theory
针对有理平衡权重热带簇的极值分解计算难题，本文提出快速算法，并建立其与刚性理论的联系，证明热带超曲面极值等价于其倒数图在位似下唯一。
In this paper, we define two numbers. One comes from counting tropical curves with a stop and the other is the number of holomorphic discs in toric varieties with Lagrangian boundary condition. Both of these curves should satisfy some matching conditions. We show that these numbers coincide. These numbers can be considered as Gromov-Witten type invariants for holomorphic discs, and they have both similarities and differences to the counting numbers of closed holomorphic curves. We study several aspects of them.
Zero-dimensional tropicalizations in OSCAR
本文提出了一种在OSCAR中计算零维热带种集的算法，解决了现有软件处理精确字段上多项式时的常见问题。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。