Related papers: Equations of tropical varieties
We state the fundamental theorem of projective geometry for semimodules over semirings, which is facilitated by recent work in the study of bases in semimodules defined over semirings. In the process we explore in detail the linear algebra…
We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also…
We consider multidimensional optimization problems that are formulated in the framework of tropical mathematics to minimize functions defined on vectors over a tropical semifield (a semiring with idempotent addition and invertible…
We define vector bundles for tropical schemes, and explore their properties. The paper largely consists of three parts; (1) we study free modules over zero-sum free semirings, which provide the necessary algebraic background for the theory…
An unconstrained optimization problem is formulated in terms of tropical mathematics to minimize a functional that is defined on a vector set by a matrix and calculated through multiplicative conjugate transposition. For some particular…
The concepts of tropical-semiring and tropical hypersurface, are extended for an arbitrary ordered group. Then, we define the tropicalization of a polynomial with coefficients in a Krull-valued field. After a close study of the properties…
The purpose of this paper is fourfold. The first is to develop the theory of tropical differential algebraic geometry from scratch; the second is to present the tropical fundamental theorem for differential algebraic geometry, and show how…
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal…
We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…
We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically…
This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories,…
Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on…
Tropicalization is a procedure that assigns polyhedral complexes to algebraic subvarieties of a torus. If one fixes a weighted polyhedral complex, one may study the set of all subvarieties of a toric variety that have that complex as their…
We introduce tropical complexes, as an enrichment of the dual complex of a degeneration with additional data from non-transverse intersection numbers. We define cycles, divisors, and linear equivalence on tropical complexes, analogous both…
In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study…
In this paper, we introduce ordered blueprints and ordered blue schemes, which serve as a common language for the different approaches to tropicalizations and which enhances tropical varieties with a schematic structure. As an abstract…
We introduce adic tropicalizations for subschemes of toric varieties as limits of Gubler models associated to polyhedral covers of the ordinary tropicalization. Our main result shows that Huber's adic analytification of a subscheme of a…
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,…
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…
The symmetrized tropical semiring is an extension of the tropical semifield, initially introduced to solve tropical linear systems using Cramer's rule. It is equivalent to the real tropical hyperfield, which has been used in the study of…