English

Homogeneous ideals with minimal singularity thresholds

Commutative Algebra 2026-03-10 v1 Algebraic Geometry

Abstract

Let (On,m)(\mathcal{O}_n, \mathfrak{m}) denote the ring of germs of holomorphic functions CnC\mathbb{C}^n\to \mathbb{C}, and let IOnI\subseteq \mathcal{O}_n be an m\mathfrak{m}-primary ideal. Demailly and Pham showed that lct(I)1e1(I)++en1(I)en(I)\mathrm{lct}(I) \geq \frac{1}{e_1(I)} + \dots + \frac{e_{n-1}(I)}{e_n(I)}, where ej(I)e_j(I) is the mixed multiplicity e(I,,I,m,,m)e(I,\dots, I, \mathfrak{m},\dots, \mathfrak{m}), with II repeated jj times and m\mathfrak{m} repeated njn-j times. We generalize the lower bound to the case of an arbitrary ideal of an excellent regular local (or standard-graded) ring of equal characteristic, with lct(I)\mathrm{lct}(I) replaced by the FF-threshold cm(I)c^{\mathfrak{m}}(I) in positive characteristic. Our main result is a classification of homogeneous ideals in polynomial rings for which the lower bound is attained, resolving a conjecture of Bivi\`a-Ausina in the graded case.

Keywords

Cite

@article{arxiv.2603.08698,
  title  = {Homogeneous ideals with minimal singularity thresholds},
  author = {Benjamin Baily},
  journal= {arXiv preprint arXiv:2603.08698},
  year   = {2026}
}

Comments

42 pages, 5 figures. Comments are welcome!

R2 v1 2026-07-01T11:10:48.940Z