Log canonical singularities of plurisubharmonic functions

Dano Kim,János Kollár

2024-09-28

Abstract:A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the same non-integrable locus. The proof uses the theory of quasimonomial valuations developed by Jonsson-Mustaţǎ and Xu, as well as the minimal model program over complex analytic spaces due to Fujino and Lyu-Murayama. As a consequence, we obtain that the non-integrable locus is seminormal.

Complex Variables,Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the understanding of logarithmic canonical singularities in functions of several complex variables, especially in the transition process from integrable to non - integrable. Specifically, the authors explore the properties of plurisubharmonic weights of log canonical and prove that there always exists a "holomorphic" log canonical weight with the same non - integrable set locally. This result is achieved by using the quasi - univalent valuation theory developed by Jonsson - Mustatˇa and Xu and the minimal model program on complex analytic spaces proposed by Fujino and Lyu - Murayama.

### Main Contributions
1. **Properties of Log Canonical Plurisubharmonic Functions**: The authors prove that for any log canonical plurisubharmonic function, there always exists a "holomorphic" log canonical weight with the same non - integrable set locally. This shows that the multiplier ideals of log canonical plurisubharmonic functions are the same as those of log canonical divisors.

2. **Seminormality of Non - Integrable Sets**: As a corollary of the main theorem, the authors prove that non - integrable sets are seminormal. This answers a question in Li20 and extends the seminormality theorem of Ambro - Fujino to the case of plurisubharmonic functions.

### Key Techniques
- **Quasi - Univalent Valuation**: Use the quasi - univalent valuation theory developed by Jonsson - Mustatˇa and Xu to deal with the valuation problems of log canonical plurisubharmonic functions.
- **Minimal Model Program**: Utilize the minimal model program on complex analytic spaces proposed by Fujino and Lyu - Murayama to construct the required R - divisors.
- **Demailly Approximation**: Use the Demailly approximation method to deal with the approximation problems of general plurisubharmonic functions.

### Mathematical Formulas
- **Logarithmic Canonical Threshold**:
\[
\text{lct}_x(\phi):=\sup\{c\geq0:J(c\phi)_x = \mathcal{O}_{X,x}\}
\]
- **Multiplier Ideal**:
\[
J(\phi)=\{f\in\mathcal{O}_X:|f|^2e^{- 2\phi}\text{ is locally integrable}\}
\]
- **Geometric Divisor Valuation**:
\[
A(v):=1 + v(K_{X'/X})
\]
where \(K_{X'/X}\) is the relative canonical divisor.

### Conclusion
This paper solves some fundamental problems of log canonical plurisubharmonic functions, especially regarding the properties of their non - integrable sets, by combining algebraic and analytical methods. These results not only deepen the understanding of plurisubharmonic functions but also provide new tools and perspectives for related problems in complex geometry and algebraic geometry.