Related papers: Homomorphisms between the semirings of Boolean fun…
We first develop the local theory of functions on $\mathbb R^n$ defined by tropical Laurent polynomials. We study the structure of the semiring of functions, where two functions are identified when they coincide on a neighborhood of a fixed…
The aim of this paper is to study homological properties of tropical fans and to propose a notion of smoothness in tropical geometry, which goes beyond matroids and their Bergman fans and which leads to an enrichment of the category of…
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…
We say that a tropical fan is homologically smooth if each of its open subsets verify tropical Poincare duality. A tropical homology manifold is a tropical variety that is locally modelled by open subsets of homologically smooth tropical…
This paper is the first in a series devoted to the development of a Hodge theory for tropical varieties. We introduce a notion of T-stability for tropical fans and prove that various geometric properties of tropical fans are T-stable. As a…
We give a rigorous definition of tropical fans (the "local building blocks for tropical varieties") and their morphisms. For such a morphism of tropical fans of the same dimension we show that the number of inverse images (counted with…
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…
We prove that an injective $\boldsymbol{T}$-algebra homomorphism between the rational function semifields of two tropical curves induces a surjective morphism between those tropical curves, where $\boldsymbol{T}$ is the tropical semifield…
Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of…
We extend the tropical intersection theory to tropicalizations of germs of analytic sets. In particular, we construct a (not entirely obvious) local version of the ring of tropical fans with a nondegenerate intersection pairing. As an…
We prove that a semiring isomorphism between the rational function semifields of two tropical curves induces an expansive map between those tropical curves. This semiring isomorphism and the expansive map respect zeros and poles of rational…
We formulate the mirror symmetry for correlation functions of tropical observables. We prove the tropical mirror correspondence for correlation functions of evaluation observables on toric space. The key point of the proof is the…
We construct a mixing homeomorphism on the Lelek fan. We also construct a mixing homeomorphism on the Cantor fan. Then, we construct a family of uncountably many pairwise non-homeomorphic (non-)smooth fans that admit a mixing homeomorphism.
We prove a Poincar\'e duality for the Chow rings of smooth fans whose support are tropical linear spaces. As a consequence, we show that cycles and cocycles on tropical manifolds are Poincar\'e dual to each other. This allows us to define…
An affine tropical fan is called regular if it supports a reduced 0-dimensional complete intersection. For some cases the classification of regular fans is already complete. It was proved by Fink that tropical varieties of degree 1 are…
We investigate geometric embeddings among several classes of stacky fans and algorithms, e.g., to compute their homology. Interesting cases arise from moduli spaces of tropical curves. Specifically, we show that the tropical honeycomb…
The tropical fundamental class of a rational balanced polyhedral fan induces cap products between tropical cohomology and tropical Borel-Moore homology. When all these cap products are isomorphisms, the fan is said to be a tropical…
We prove that the Chow ring of any simplicial fan is isomorphic to the middle degree part of the tropical cohomology ring of its canonical compactification. Using this result, we prove a tropical analogue of Kleiman's criterion of ampleness…
We establish a canonical isomorphism between two bigraded cohomology theories for polyhedral spaces: Dolbeault cohomology of superforms and tropical cohomology. Furthermore, we prove Poincar\'e duality for cohomology of tropical manifolds,…
This paper illustrates the relationship between boolean propositional algebra and semirings, presenting some results of partial ordering on boolean propositional algebras, and the necessary conditions to represent a boolean propositional…