相关论文: Tropicalization through the lens of {\L}ukasiewicz…

Tropicalizations form a bridge between algebraic and convex geometry. We generalize basic results from tropical geometry which are well-known for special ground fields to arbitrary non-archimedean valued fields. To achieve this, we develop…

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.

This paper provides an overview of recent progress on the interplay between tropical geometry and non-archimedean analytic geometry in the sense of Berkovich. After briefly discussing results by Baker, Payne and Rabinoff in the case of…

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

This is an attempt to look at the tropical geometry from topological point of view.

We introduce tropical dual numbers as an extension of tropical semiring. By this innovation, one can work with honest ideals, instead of congruences, and recover the Euclidean topology on affine tropical spaces similar to Zariski's approach…

Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build…

This paper introduces a notion of generalised geometric logic. Connections of generalised geometric logic with L-topological system and L-topological space are established.

The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic…

Tropical mathematics is used to establish a correspondence between certain microscopic and macroscopic objects in statistical models. Tropical algebra gives a common framework for macrosystems (subsets) and their elementary constituents…

We develop a number of general techniques for comparing analytifications and tropicalizations of algebraic varieties. Our basic results include a projection formula for tropical multiplicities and a generalization of the Sturmfels-Tevelev…

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

We give an introduction to Tropical Geometry and prove some results in Tropical Intersection Theory. The first part of this paper is an introduction to tropical geometry aimed at researchers in Algebraic Geometry from the point of view of…

Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…

In recent years a series of remarkable advances in tropical geometry and in non-archimedean geometry have brought new insights to the moduli theory of algebraic curves and their Jacobians. The goal of this survey, an expanded version of my…

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…

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…

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…

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…

Tropical algebraic geometry is an active new field of mathematics that establishes and studies some very general principles to translate algebro-geometric problems into purely combinatorial ones. This expository paper gives an introduction…