Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Geometric classification of primes modulo a (bend) congruence

Netanel Friedenberg, Kalina Mincheva

Abstract

In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications of this result. (1) We prove an analogue of the strong Nullstellensatz for congruences with finite tropical basis. This extends the existing result of Joó-Mincheva to cases, such as the bend congruence of a tropical(ized) ideal, where the congruence is not finitely generated. (2) We show that, if $I$ is the ideal of an affine variety not contained in the coordinate hyperplanes, then $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is cancellative. This result has applications to the integral closure (as per Tolliver) of $\mathbb{T}[x_1, \dots, x_n]/\operatorname{Bend}(\operatorname{trop} I)$ which we explore in a forthcoming paper. (3) We show that $\mathbb{T}[x_1, \dots, x_n]/\sqrt{\operatorname{Bend}(\operatorname{trop} I)}$ is the tropical function semiring on $\operatorname{trop} V(I)$, which creates a bridge between the algebraic approach to non-embedded tropicalization in the work of J. Song and the bend congruence approach of Giansiracusa-Giansiracusa and Maclagan-Rincón. (4) As a consequence of one of our lemmas, we describe the closure of a polyhedron in a tropical toric variety even when the polyhedron is not compatible with the fan defining the tropical toric variety.

Geometric classification of primes modulo a (bend) congruence

Abstract

In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications of this result. (1) We prove an analogue of the strong Nullstellensatz for congruences with finite tropical basis. This extends the existing result of Joó-Mincheva to cases, such as the bend congruence of a tropical(ized) ideal, where the congruence is not finitely generated. (2) We show that, if is the ideal of an affine variety not contained in the coordinate hyperplanes, then is cancellative. This result has applications to the integral closure (as per Tolliver) of which we explore in a forthcoming paper. (3) We show that is the tropical function semiring on , which creates a bridge between the algebraic approach to non-embedded tropicalization in the work of J. Song and the bend congruence approach of Giansiracusa-Giansiracusa and Maclagan-Rincón. (4) As a consequence of one of our lemmas, we describe the closure of a polyhedron in a tropical toric variety even when the polyhedron is not compatible with the fan defining the tropical toric variety.

Paper Structure

This paper contains 10 sections, 43 theorems, 81 equations.

Table of Contents

  1. Introduction
  2. Results
  3. preliminaries
  4. Congruences
  5. Polyhedral geometry and basics of tropical toric varieties
  6. Tropical varieties
  7. Prime filters and flags of polyhedra
  8. Congruences and flags of cones
  9. Gleichstellensatz
  10. Minimal primes containing a congruence

Key Result

Theorem 1.1

Let $E$ be a congruence on $S[M]$ with a finite tropical basis $\mathcal{B}$. Then the finitely generated congruence $C=\left\langle \mathcal{B}\right\rangle$ satisfies $\sqrt{E}=\sqrt{C}$. In particular, if $I\subseteq S[M]$ is a tropical ideal then there is a finitely generated ideal $J\subseteq I

Theorems & Definitions (110)

  • Theorem 1.1
  • Theorem 1.2: Nullstellensatz for congruences with a finite tropical basis
  • Theorem 1.3
  • Corollary 1.4
  • Theorem 1.5
  • Lemma 2.1
  • proof
  • Definition 2.2
  • Definition 2.3: cf. Definition 2.3 and Proposition 2.10 in JM17
  • Definition 2.5
  • ...and 100 more