Upper bound on the multiplicity of rational and Du Bois singularities

Basic Information

• Paper ID: 2509.21807
• Title: Upper bound on the multiplicity of rational and Du Bois singularities
• Author: Sung Gi Park (Princeton University & Institute for Advanced Study)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 17, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2509.21807

Abstract

This paper resolves a problem posed by Huneke and Watanabe, establishing a sharp upper bound on the multiplicity of Du Bois singularities: at a point on a d-dimensional variety with Du Bois singularities, if the embedding dimension is e, then the multiplicity is at most $\binom{e}{d}$. Furthermore, this result recovers the previously known upper bound on the multiplicity of rational singularities.

Research Background and Motivation

1. Problem Origin: This research originates from the study of the Fujita conjecture. While attempting to prove the Fujita conjecture concerning the freeness of adjoint linear systems, Helmke obtained an upper bound on the multiplicity of log canonical centers for log canonical pairs (X,D).
2. Theoretical Background:
   • An important result of Kollár-Kovács shows that any union of log canonical centers has Du Bois singularities
   • Kawamata's sub-adjunction formula implies that minimal log canonical centers have rational singularities
   • These results motivated the expectation to generalize Helmke's multiplicity bound to varieties with Du Bois or rational singularities
3. Specific Problem: Huneke-Watanabe used commutative algebra methods to prove the upper bound $\text{mult}_x(X) \leq \binom{e-1}{d-1}$ for rational singularities, and posed the question: whether there exists an upper bound $\text{mult}_x(X) \leq \binom{e}{d}$ for Du Bois singularities?
4. Research Significance: Multiplicity bounds are of fundamental importance in algebraic geometry, particularly in singularity theory and birational geometry, providing quantitative tools for understanding the complexity of singularities.

Core Contributions

1. Main Theorem: Establishes sharp upper bounds on the multiplicity of Du Bois and rational singularities
2. Methodological Innovation: Based on Koszul complex arguments in singularity resolution, combined with multiplicity bounds in the one-dimensional case
3. Problem Resolution: Completely resolves the open problem posed by Huneke-Watanabe
4. Theoretical Unification: Treats both Du Bois and rational singularities using a unified method
5. Conjecture Formulation: Proposes a more general multiplicity bound conjecture based on minimal log discrepancy

Methodology in Detail

Problem Setup

Given a point x on a d-dimensional variety X, where X has Du Bois singularities (or rational singularities) at x, with embedding dimension $e = \dim m_x/m_x^2$, the goal is to establish an upper bound on the multiplicity $\text{mult}_x X$.

Core Methodological Framework

1. One-Dimensional Foundational Lemma (Lemma 2.1)

For a curve C satisfying the S₁ condition and a closed point x∈C, if there exists a natural inclusion: $\mu_*\mathcal{O}_{\text{Bl}_x C}(-k E_x) \subset \mathcal{O}_C$ then the multiplicity bound holds: $\text{mult}_x C \leq \binom{e+k-1}{k}$

2. Koszul Complex Construction

Using Cartier divisors $D_1, \ldots, D_r$, construct the Koszul complex: $K_\bullet(\phi): 0 \to \bigwedge^r E \to \cdots \to E \to \mathcal{O}_X \to 0$ where $E = \bigoplus_{i=1}^r \mathcal{O}_X(-D_i)$

Proof Strategy for Rational Singularities

1. Setup: Take x∈X as a rational singularity, $f: \text{Bl}_x X \to X$ as the blowup, $g: \tilde{X} \to \text{Bl}_x X$ as a resolution of singularities
2. Hyperplane Sections: Choose general hyperplane sections $H_1, \ldots, H_{d-1}$ through x, obtaining a curve $C = H_1 \cap \cdots \cap H_{d-1}$
3. Koszul Complex Comparison: Construct a morphism between two Koszul complexes: $K_\bullet(\psi) \otimes \mathcal{O}_{\tilde{X}}(-(d-1)\tilde{E}_x) \to K_\bullet(\phi)$
4. Rational Singularity Property: Utilize $R\mu_*\mathcal{O}_{\tilde{X}} = \mathcal{O}_X$ to obtain the natural inclusion
5. Application of One-Dimensional Result: Derive the multiplicity bound $\binom{e-1}{d-1}$

Proof Strategy for Du Bois Singularities

1. Embedding Setup: Embed X into a smooth variety W, blowing up W at x
2. Log Resolution: Take a log resolution such that $(f \circ g)^{-1}(X) = E + F$ is a reduced simple normal crossing divisor
3. Du Bois Complex: Utilize the quasi-isomorphism of the Du Bois complex: $R\mu_*\Omega^0_{\tilde{W},E \cup F} = \Omega^0_{W,X}$
4. Ideal Sheaf Relations: When both W and X are Du Bois, obtain: $R\mu_*\mathcal{O}_{\tilde{W}}(-F-E) = I_{W,X}$
5. Koszul Complex Construction: Construct a more complex Koszul complex containing $\mathcal{O}_{\tilde{W}}(-F-E)$
6. Final Bound: Through similar arguments, derive the multiplicity bound $\binom{e}{d}$

Technical Innovations

1. Unified Framework: Koszul complexes provide a unified method for handling both types of singularities
2. Dimension Reduction: Cleverly reduces the high-dimensional problem to multiplicity calculations for one-dimensional curves
3. Geometric-Algebraic Synthesis: Combines geometric singularity resolution with algebraic Koszul complex theory
4. Natural Inclusion Construction: Constructs key natural inclusion relations through complex morphisms

Experimental Setup

Theoretical Verification

As a pure mathematics theory paper, this work does not involve numerical experiments but rather verifies results through rigorous mathematical proofs.

Boundary Examples

Boundary Example for Du Bois Singularities:

• In affine space $A^e$, take X as the union of d-dimensional planes spanned by d coordinate axes
• X is the union of $\binom{e}{d}$ d-dimensional planes
• One can prove that X has Du Bois singularities and $\text{mult}_x X = \binom{e}{d}$
• This demonstrates that the upper bound in the theorem is sharp

Experimental Results

Main Results

Theorem 1.1: Let x∈X be a point on a variety with Du Bois singularities (or rational singularities), denote $e := \dim m_x/m_x^2$ and $d := \dim X$, then: $\text{mult}_x X \leq \binom{e}{d} \quad \left(\text{or} \binom{e-1}{d-1}\right)$

Theoretical Findings

1. Sharpness of Bounds: The optimality of the upper bound is proven through explicit boundary examples
2. Universality of Method: The same set of methods can handle two different types of singularities
3. Relationship with Existing Results:
   • Recovers the rational singularity result of Huneke-Watanabe
   • Generalizes Helmke's work on log canonical centers
   • Confirms partial results of Shibata in the Cohen-Macaulay case

Related Work

1. Helmke's Work: Obtained multiplicity bounds for log canonical centers in the study of the Fujita conjecture
2. Huneke-Watanabe: Proved multiplicity bounds for rational and F-rational singularities using commutative algebra methods
3. Kollár-Kovács: Established foundational theory that log canonical centers have Du Bois singularities
4. Shibata: Proved upper bounds for Du Bois singularities in the Cohen-Macaulay normal variety case
5. Positive Characteristic Analogue: Huneke-Watanabe proved similar bounds for F-rational and F-pure singularities in positive characteristic

Conclusions and Discussion

Main Conclusions

1. Complete Resolution: Completely resolves the problem of Du Bois singularity multiplicity bounds posed by Huneke-Watanabe
2. Methodological Unification: Provides a unified geometric method for handling multiplicity bounds of different singularity types
3. Optimality of Bounds: Confirms through boundary examples that the obtained upper bounds are sharp

Future Directions

Conjecture 1.2: A more general multiplicity bound based on minimal log discrepancy

• For a point x on a variety with log canonical singularities, if $\text{mld}_x(X) > k-1$, then $\text{mult}_x X \leq \binom{e-k}{d-k}$
• This would unify various existing multiplicity bound results
• The author confirms the cases $k=0,1$; more general cases remain to be investigated

Limitations

1. Characteristic Restriction: Main results are established over the complex numbers in characteristic zero; connections with positive characteristic require further study
2. Computational Complexity: While theoretical bounds are provided, actual computation of multiplicity remains difficult
3. Generalization Scope: Multiplicity bounds for more general singularity types remain to be explored

In-Depth Evaluation

Strengths

1. Theoretical Importance: Resolves an important open problem in the field with significant theoretical value
2. Methodological Innovation: The combination of Koszul complexes with singularity resolution provides new technical tools
3. Optimal Results: The sharpness of bounds is demonstrated through boundary examples, indicating the results cannot be further improved
4. Clear Exposition: The proof structure is clear and technical details are handled appropriately
5. Broad Vision: The proposed conjecture provides direction for future research

Weaknesses

1. Technical Threshold: Requires deep background in algebraic geometry, limiting accessibility
2. Application Scope: As a pure theory result, direct applications are relatively limited
3. Computational Aspects: No effective algorithms for computing multiplicity in practice are provided

Impact

1. Academic Contribution: Holds important status in singularity theory and birational geometry
2. Subsequent Research: Provides methods and insights for investigating more general multiplicity bound problems
3. Theoretical Refinement: Perfects an important component of Du Bois singularity theory

Applicable Scenarios

1. Theoretical Research: Theoretical research in singularity theory, birational geometry, and algebraic geometry
2. Related Problems: May assist research on related geometric problems such as the Fujita conjecture
3. Methodological Reference: The techniques for using Koszul complexes may apply to other geometric problems

References

The paper cites key references in the field, including:

• Helmke's work on the Fujita conjecture
• Huneke-Watanabe's research on multiplicity bounds
• Kollár-Kovács's foundational theory on Du Bois singularities
• Du Bois's original work on Du Bois complexes
• Related classical literature in commutative algebra and algebraic geometry

Overall Assessment: This is a high-quality algebraic geometry theory paper that completely resolves an important open problem. While technically demanding, it features methodological innovation and optimal results, making significant contributions to the development of singularity theory. The proposed conjecture also provides clear direction for future research in the field.