arXiv Science⌕ Search

arXiv · 2610.32647

Rank identifications in join-meet ideals of thin distributive lattices

Abstract

Let $L$ be a thin distributive lattice of rank $m+1$, and let $I_L$ be its join-meet ideal in the polynomial ring $S_L$. For $A\subseteq\{1,\dots,m\}$, let $J_A$ be the ideal obtained from $I_L$ by identifying, for every $i\in A$, the variables of the two elements of $L$ of rank $i$. We prove that $J_A$ is prime if and only if $A$ contains no turning rank and does not contain both ranks adjacent to a turning rank. In this case, $S_L/J_A$ is the toric ring obtained from Hibi's parametrization of the Hibi ring of $L$ by identifying suitable pairs of variables, and for an arbitrary $A$ we describe the saturation of $J_A$ as a lattice ideal.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Takayuki Hibi, Francesco Navarra, Ayesha Asloob Qureshi. 2026-10-23. Rank identifications in join-meet ideals of thin distributive lattices. https://arxiv.org/abs/2610.32647

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Ideal transition systems

We study an inductive method of computing initial ideals and Gröbner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in the initial ideal of $I$. These containments become a system of equalities if one can establish a particular transition recurrence among the chosen ideals. We describe explicit constructions of such systems in two motivating cases -- namely, for the ideals of matrix Schubert varieties and their skew-symmetric analogues. Despite many formal similarities with these examples, for the symmetric versions of matrix Schubert varieties, it is an open problem to construct the same kind of transition system. We present several conjectures that would follow from such a construction, while also discussing the special obstructions arising in the symmetric case.

math.AC↗

A note on the class of sober rings

We study sober rings, a class of commutative rings in which every prime non-maximal ideal is not the intersection of the prime ideals strictly containing it. We establish basic structural properties of sober rings and investigate connections to other known classes of rings. We show that sobriety is preserved under quotients and localizations and we examine the behavior of sobriety for polynomial extensions.

math.AC↗

Spherical Completeness, Coherence, and GCD Properties of Formal Power Series and Witt Vector Rings

Let $K$ be a complete nonarchimedean valued field with $v(K^\times)=\mathbf R$, and let $V=\mathcal O_K$. We prove that $K$ is spherically complete if and only if $V[[T]]$ is coherent, and that this is also equivalent to $V[[T]]$ being a GCD domain. If $K$ is perfect of characteristic $p$, the same characterization holds for the Witt vector ring $W(V)$. Thus, this settles the previously unresolved full-real-value-group case in the coherence problems for both formal power series and Witt vector rings. In particular, this result also gives affirmative answers to Questions~9 and~10 of Anderson--Kang--Park. The proof combines a coherence criterion for complete rings with a spherically complete valuation quotient and a uniform construction of non-finitely generated intersections of two principal ideals from an empty ball chain.

math.AC↗