Non-finite generatedness of the congruences defined by tropical varieties

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Ito, Takaaki
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909982039998464
author Ito, Takaaki
author_facet Ito, Takaaki
contents In tropical geometry, there are several important classes of ideals and congruences such as tropical ideals, bend congruences, and the congruences of the form $\mathbf E(Z)$. Although they are analogues of the concept of ideals of rings, it is not well known whether they are finitely generated. In this paper, we study whether the congruences of the form $\mathbf E(Z)$ are finitely generated. In particular, we show that when $Z$ is the support of a tropical variety, $\mathbf E(Z)$ is not finitely generated except for a few specific cases. In addition, we give an explicit minimal generating set of $\mathbf E(|L|)$ for the tropical standard line $L$.
format Preprint
id arxiv_https___arxiv_org_abs_2512_21565
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Non-finite generatedness of the congruences defined by tropical varieties
Ito, Takaaki
Commutative Algebra
Algebraic Geometry
14T10 (Primary) 15A80, 16Y60 (Secondary)
In tropical geometry, there are several important classes of ideals and congruences such as tropical ideals, bend congruences, and the congruences of the form $\mathbf E(Z)$. Although they are analogues of the concept of ideals of rings, it is not well known whether they are finitely generated. In this paper, we study whether the congruences of the form $\mathbf E(Z)$ are finitely generated. In particular, we show that when $Z$ is the support of a tropical variety, $\mathbf E(Z)$ is not finitely generated except for a few specific cases. In addition, we give an explicit minimal generating set of $\mathbf E(|L|)$ for the tropical standard line $L$.
title Non-finite generatedness of the congruences defined by tropical varieties
topic Commutative Algebra
Algebraic Geometry
14T10 (Primary) 15A80, 16Y60 (Secondary)
url https://arxiv.org/abs/2512.21565