Algebraic Properties of Generic Tropical Varieties

Varieties of Tropical Ideals are Balanced

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…

非有限生成的热带簇所定义的同余关系

Non-finite generatedness of the congruences defined by tropical varieties

本文研究了热带簇支持下形式为E(Z)的同余关系是否有限生成，并给出了热带标准线L的E(|L|)的显式最小生成集。

Polyhedral structures on tropical varieties

Tropical varieties are polyhedral shadows of classical varieties. The purpose of these expository notes is to explain the origin of this polyhedral complex structure from the perspective of Gröbner bases. To appear in the proceedings of the 2011 Bellairs Workshop in Number Theory.

Congruences and coordinate semirings of tropical varieties

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 Algebraic Sets, Ideals and An Algebraic Nullstellensatz

This paper introduces the foundations of the polynomial algebra and basic structures for algebraic geometry over the extended tropical semiring. Our development, which includes the tropical version for the fundamental theorem of algebra, leads to the reduced polynomial semiring -- a structure that provides a basis for developing a tropical analogue to the classical theory of commutative algebra. The use of the new notion of tropical algebraic com-sets, built upon the complements of tropical algebraic sets, eventually yields the tropical algebraic Nullstellensatz.

Non-archimedean amoebas and tropical varieties

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…

Idempotent Semigroups and Tropical Algebraic Sets

The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical polynomials, formed from univariate monomials, define subsemigroups with respect to coordinate-wise…

零维热带化在OSCAR中的实现

Zero-dimensional tropicalizations in OSCAR

本文提出了一种在OSCAR中计算零维热带种集的算法，解决了现有软件处理精确字段上多项式时的常见问题。

Universal valued fields and lifting points in local tropical varieties

Let $k$ be a field with a real valuation $ν$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $μ$ on $K$ extending $ν$ such that any real ring valuation of $R$ is induced by $μ$ via some homomorphism from $R$ to $K$; $K$ can be chosen to be a field. Then we study the case when $ν$ is trivial and $R$ a complete local Noetherian ring with the residue field $k$. Let $K$ be the ring $\bar{k}[[t^\R]]$ of Hahn series with its natural valuation $μ$; $\bar{k}$ is an algebraic closure of $k$. Despite $K$ is not universal in the strong sense defined above, it has th…

Tropical totally positive cluster varieties

We study the relation between the integer tropical points of a cluster variety (satisfying the full Fock-Goncharov conjecture) and the totally positive part of the tropicalization of an ideal presenting the corresponding cluster algebra. Suppose we are given a presentation of the cluster algebra by a Khovanskii basis for a collection of ${\bf g}$-vector valuations associated with several seeds related by mutations. In presence of a full rank fully extended exchange matrix we construct the rays of a subfan of the totally positive part of the tropicalization of the ideal that coincides combinato…