English
Related papers

Related papers: Supertropical semirings and supervaluations

200 papers

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,…

Algebraic Geometry · Mathematics 2014-08-12 Zur Izhakian , Louis Rowen

Kapranov's theorem is a foundational result in tropical geometry. It states that the set of tropicalisations of points on a hypersurface coincides precisely with the tropical variety of the tropicalisation of the defining polynomial. The…

Algebraic Geometry · Mathematics 2022-10-06 James Maxwell

Towards building tropical analogues of adic spaces, we study certain spaces of prime congruences as a topological semiring replacement for the space of continuous valuations on a topological ring. This requires building the theory of…

Algebraic Geometry · Mathematics 2024-07-24 Netanel Friedenberg , Kalina Mincheva

We describe the ideals, especially the prime ideals, of semirings of polynomials over layered domains, and in particular over supertropical domains. Since there are so many of them, special attention is paid to the ideals arising from…

Commutative Algebra · Mathematics 2011-11-29 Zur Izhakian , Louis Rowen

This article discusses a way for uniquely setting up the valuations for the minimal generators of the maximal ideal of a one dimensional complete reduced and irreducible local algebra over an algebraically closed field, when treated as a…

Commutative Algebra · Mathematics 2025-09-23 Reinhold Hübl , Craig Huneke , Sarasij Maitra , Vivek Mukundan

This article is a sequel of [4], where we introduced quadratic forms on a module~ $V$ over a supertropical semiring $R$ and analysed the set of bilinear companions of a quadratic form $q: V \to R$ in case that the module $V$ is free, with…

Rings and Algebras · Mathematics 2015-06-11 Zur Izhakian , Manfred Knebusch , Louis Rowen

The objective of this paper is to lay out the algebraic theory of supertropical vector spaces and linear algebra, utilizing the key antisymmetric relation of ``ghost surpasses.''Special attention is paid to the various notions of ``base,''…

Commutative Algebra · Mathematics 2010-08-03 Zur Izhakian , Manfred Knebusch , Louis Rowen

The growth of tropical geometry has generated significant interest in the tropical semiring in the past decade. However, there are other semirings in tropical algebra that provide more information, such as the symmetrized (max, +),…

Commutative Algebra · Mathematics 2018-10-09 Sara Kalisnik Verovsek , Davorin Lesnik

The category $\operatorname{STROP}$ of commutative semirings, whose morphisms are transmissions, is a full and reflective subcategory of the category $\operatorname{STROP}_m$ of supertropical monoids. Equivalence relations on supertropical…

Commutative Algebra · Mathematics 2019-05-07 Zur Izhakian , Manfred Knebusch

This is a survey on an analogue of tropical convexity developed over the max-min semiring, starting with the descriptions of max-min segments, semispaces, hyperplanes and an account of separation and non-separation results based on…

Metric Geometry · Mathematics 2019-03-26 Viorel Nitica , Sergei Sergeev

In the first section of the present work, we introduce the concept of pseudocomplementation for semirings and show semiring version of some known results in lattice theory. We also introduce semirings with pc-functions and prove some…

Commutative Algebra · Mathematics 2018-04-17 Peyman Nasehpour

An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory…

Category Theory · Mathematics 2023-11-08 Soichiro Fujii

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…

Algebraic Geometry · Mathematics 2021-10-18 JuAe Song

We explore several facets of tropical subrepresentations of a linear representation of a group over the tropical semifield $\mathbb{T}$. A key role in the study of tropical subrepresentations is played by two types of modules over a…

Representation Theory · Mathematics 2024-12-02 Jaiung Jun , Kalina Mincheva , Jeffrey Tolliver

Arithmetic valuations are intimately connected with the structure of the ideals of a commutative ring. We show how the generalized idempotent semiring valuations of Jeffrey and Noah Giansiracusa can be used to make this connection explicit.…

Commutative Algebra · Mathematics 2024-04-18 William Bernardoni

We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as $\mathbb{T} = (\mathbb{R}\cup…

Algebraic Geometry · Mathematics 2017-02-22 Jeffrey Giansiracusa , Noah Giansiracusa

We study the geometry of tropical extensions of hyperfields, including the ordinary, signed and complex tropical hyperfields. We introduce the framework of 'enriched valuations' as hyperfield homomorphisms to tropical extensions, and show…

Algebraic Geometry · Mathematics 2024-11-27 James Maxwell , Ben Smith

A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a…

Computational Complexity · Computer Science 2012-04-23 Dima Grigoriev , Vladimir V. Podolskii

We consider weighted tiling systems to represent functions from graphs to a commutative semiring such as the Natural semiring or the Tropical semiring. The system labels the nodes of a graph by its states, and checks if the neighbourhood of…

Formal Languages and Automata Theory · Computer Science 2020-10-01 C. Aiswarya , Paul Gastin

Let $R$ be a real closed field and let ${\mathcal S}(M)$ be the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$ and let ${\mathcal S}^*(M)$ be its subring of bounded semialgebraic functions. In this work…

Algebraic Geometry · Mathematics 2013-06-19 José F. Fernando , J. M. Gamboa