arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.32287

Bernstein--Sato ideals might not be linear

Lei Wu
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $F=(f_1,\dots,f_r)$ be a family of nonzero polynomials on $\mathbb C^n$. More than ten years ago, Budur conjectured that $B_F$, the Bernstein--Sato ideal of $F$, is generated by products of linear polynomials with rational coefficients. With the aid of AI, we construct two counterexamples to Budur's conjecture. The examples indicate that main results in [Wu26] provide the optimal linearity properties that the zero locus of Bernstein-Sato ideals satisfies in general.

Explore related subjects

math.ACmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lei Wu. 2026-09-26. Bernstein--Sato ideals might not be linear. https://arxiv.org/abs/2609.32287

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

KEEP EXPLORING

Related papers

arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗