Search arXiv⌕ Search

arXiv · 2609.32524

The Waldschmidt constant of square-free principal Borel ideals

Abstract

Fix a square-free monomial $m = x_{i_1} \cdots x_{i_s}$ in $S = \K[x_1, \dots, x_n]$, where $\K$ is a field. The ideal generated by all square-free monomials that are Borel moves of $m$ is referred to as the \emph{square-free principal Borel ideal}, denoted by $\mathrm{sfBorel}(m)$. While the Waldschmidt constant of $\mathrm{sfBorel}(m)$ has been partially studied in the literature, we consider the remaining cases and provide bounds for the Waldschmidt constant of $\mathrm{sfBorel}(m)$. In some cases, we explicitly compute its exact value. Furthermore, we study this invariant for square-free Borel and square-free lex-segment ideals, establishing both bounds and exact values for special cases.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ajay Kumar, Rajiv Kumar, Paramhans Kushwaha. 2026-09-26. The Waldschmidt constant of square-free principal Borel ideals. https://arxiv.org/abs/2609.32524

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

KEEP EXPLORING

Related papers

Splitting the Matroid Determinant

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

math.AC↗

On embeddings of rings into their canonical modules

We study embeddings of Cohen--Macaulay local rings into their canonical modules such that the quotient of the cokernel by a regular sequence has the residue field as a direct summand. Motivated by almost Gorenstein rings, we prove an Ext-vanishing criterion for finite projective dimension, which implies G-regularity and the generalized Auslander--Reiten condition. We characterize this summand condition for one-dimensional fiber products and numerical semigroup rings. For Stanley--Reisner rings of graphs, we characterize the corresponding condition for graded embeddings in terms of the graph and show that it is equivalent to a strict multiplicity inequality.

math.AC↗

A Bézout domain that is not an elementary divisor domain

We settle in the negative the longstanding question whether every Bézout domain is an elementary divisor domain by constructing a Bézout domain over which an explicit $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.

math.AC↗