Computing tropical varieties over fields with valuation

DOI10.1007/S10208-019-09430-2MaRDI QIDQ2194773zbMATH OpenOpenAlexFDO

Authors Thomas Markwig, Yue Ren

Publication date 7 September 2020

Published in Foundations of Computational Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1612.01762

zbMATH Keywords

Gröbner fansstandard basestropical geometrytropical varietiesvalued fields

Mathematics Subject Classification ID

Non-Archimedean valued fields (12J25) Formal power series rings (13F25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Real algebraic sets (14P05) Computational aspects of higher-dimensional varieties (14Q15) Foundations of tropical geometry and relations with algebra (14T10)

Abstract: We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in Rt[x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we present algorithms on how the latter can be computed in finite time, provided that generators are polynomial in t. While doing so, we also comment on the computation of the Groebner polytope structure and p-adic Groebner bases using our framework. All algorithms solely rely on existing standard basis techniques.

Recommendations

• A tropical F5 algorithm
• On Affine Tropical F5 Algorithms
• Computing tropical varieties

Cites work

• A guide to tropicalizations
• Algebraic Statistics for Computational Biology
• Bad Primes in Computational Algebraic Geometry
• Combinatorial simplex algorithms can solve mean payoff games
• Computing tropical points and tropical links
• Computing tropical varieties
• Enumerative tropical algebraic geometry in ℝ²
• Finiteness of spatial central configurations in the five-body problem
• Gröbner bases over fields with valuations
• Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t ]\!][x]\)
• scientific article; zbMATH DE number 3687501 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• scientific article; zbMATH DE number 6437647 (Why is no real title available?)
• Local Gröbner fans
• Local tropicalization
• Product-mix auctions and tropical geometry
• Pruning algorithms for pretropisms of Newton polytopes
• Standard bases in mixed power series and polynomial rings over rings
• The Gröbner fan of an ideal
• The tropical Grassmannian
• Tropical algebraic geometry
• Tropical approach to Nagata's conjecture in positive characteristic
• Understanding preferences: ``demand types, and the existence of equilibrium with indivisibilities

Cited in

(16)

• Detecting tropical defects of polynomial equations
• Complexity of deciding whether a tropical linear prevariety is a tropical variety
• Tropical differential Gröbner bases
• Computing zero-dimensional tropical varieties via projections
• The gfanlib interface in Singular and its applications
• Computing tropical varieties
• Generic tropical varieties on subvarieties and in the non-constant coefficient case
• Universal valued fields and lifting points in local tropical varieties
• The degree of a tropical basis
• Tropical geometry for fields with a Krull valuation: first definitions and a small result
• A tropical F5 algorithm
• Computing tropical varieties over fields with valuation using classical standard basis techniques
• The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems
• Universal Analytic Gröbner Bases and Tropical Geometry
• On intersections and stable intersections of tropical hypersurfaces
• Eigenvalue methods for sparse tropical polynomial systems

Describes a project that uses

Uses Software

• Macaulay2
• SageMath
• SINGULAR
• Gfan

This page was built for publication: Computing tropical varieties over fields with valuation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2194773)