Abstract:We investigate the singularities and boundedness of a special kind of algebraic varieties so-called stable minimal models, which are constructed and studied by Birkar. Given a klt stable minimal model with bounded relative volume, if we fix the dimension, Iitaka volume, and a DCC set controlling coefficients, then we show that the singularities of the klt stable minimal model can be controlled uniformly. Furthermore, we prove that with certain bounded data, stable minimal models with klt singularities form a bounded family.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the boundedness of stable minimal models with klt singularities. Specifically, the paper explores whether the singularities of klt - stable minimal models can be uniformly controlled under the given dimension, Iitaka volume, and a DCC set controlling coefficients, and further proves that under certain bounded data, stable minimal models with klt singularities form a bounded family.
### Background and Motivation
The boundedness properties of algebraic varieties and singularities have been widely studied in recent years. For some specific types of algebraic varieties, such as canonically polarized varieties, polarized Calabi - Yau varieties, and Fano varieties, proving their boundedness properties is the first step in constructing their potential moduli spaces. Moreover, these properties are also key tools for proving effective birationality and effective Iitaka fibrations in high - dimensional birational geometry.
### Main Research Object
The paper mainly studies the boundedness of stable minimal models with klt singularities. The klt - stable minimal model, defined by Birkar, is an algebraic variety with polarization, which generalizes KSBA - stable varieties and polarized Calabi - Yau varieties.
### Main Results
1. **Theorem 1.5**: Let \(d\in\mathbb{N}\), \(u, v, w\in\mathbb{R}_{>0}\), and \(\Phi\subset\mathbb{R}_{\geq0}\) be a DCC set. If \((X, B), A\in S_{\text{klt}}(d, \Phi, \leq u, v)\) satisfy that for any \(0\leq i\leq d\), the intersection number \((K_X + B)^i\cdot A^{d - i}\leq w\), then such \((X, B), A\) form a bounded family.
2. **Theorem 1.6**: Let \(d\in\mathbb{N}\), \(u, v\in\mathbb{R}_{>0}\), and \(\Phi\subset\mathbb{R}_{\geq0}\) be a DCC set. There exists \(\epsilon\in\mathbb{R}_{>0}\) such that if \((X, B), A\in S_{\text{klt}}(d, \Phi, \leq u, v)\), then \((X, B)\) is \(\epsilon\)-lc.
3. **Theorem 1.7**: Let \(d\in\mathbb{N}\), \(\epsilon, u, v, w\in\mathbb{R}_{>0}\), and \(\Phi\subset\mathbb{R}_{\geq0}\) be a finite set. If \((X, B), A\in S_{\text{klt}}(d, \Phi, \leq u, \leq v)\) satisfy that \((X, B)\) is \(\epsilon\)-lc, and for any \(0\leq i\leq d\), the intersection number \((K_X + B)^i\cdot A^{d - i}\leq w\), then such \((X, B), A\) form a bounded family.
### Proof Ideas
1. **Proof of Theorem 1.6**:
- First, generalize Birkar's effective adjoint formula in [Bir21a, Lemma 7.4] to the case of real coefficients.
- Use uniform rational polytopes to deal with the adjoint formula.
- Through the above steps, obtain an adjoint formula \(K_X + B\sim_{\mathbb{R}} f^*(K_Z + B_Z + M_Z)\), where \((Z, B_Z + M_Z)\in F_{\text{gklt}}(\dim Z, \Psi, v)\).
- Utilize [Bir21a, Theore