pith. sign in

arxiv: 2510.11540 · v4 · pith:SQL477JInew · submitted 2025-10-13 · 🧮 math.AC · math.AG

The Brianc{c}on-Skoda theorem for pseudo-rational and Du Bois singularities and uniformity in excellent rings

classification 🧮 math.AC math.AG
keywords brianon-skodaoverlinetheoremclosurecontainmentmathrmprove
0
0 comments X
read the original abstract

Suppose $J = (f_1, \dots, f_n)$ is an $n$-generated ideal in any ring $R$. We prove a general Brian\c{c}on-Skoda-type containment relating the integral closure $\overline{J^{n+k-1}}$ with ordinary powers $J^k$. We prove that our result implies the full Brian\c{c}on-Skoda containment $\overline{J^{n+k-1}} \subseteq J^k$ for pseudo-rational singularities (for instance regular rings), and even for the weaker condition of birational derived splinters. Our methods also yield the containment $\overline{J^{n+k}} \subseteq J^k$ for Du Bois singularities and even for a characteristic-free generalization. Our Brian\c{c}on-Skoda-type theorem also implies well-known closure-based Brian\c{c}on-Skoda results $\overline{J^{n+k-1}} \subseteq (J^k)^{\mathrm{cl}}$ where, for instance, $\mathrm{cl}$ is tight or plus closure in characteristic $p > 0$, or $\mathrm{ep}$ closure or extension and contraction from $\widehat{R^+}$ in mixed characteristic. Our proof relies on a study of the tensor product of the derived image of the structure sheaf of a partially normalized blowup of $J$ with the Buchsbaum-Eisenbud complex (equivalently the Eagon-Northcott complex) associated to $(f_1,\dots,f_n)^k$. As an application of our results and methods above, we prove the uniform Artin-Rees theorem and the uniform Brian\c{c}on-Skoda theorem for quasi-excellent, respectively quasi-excellent reduced, rings of finite dimension, answering conjectures of Huneke.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.