Existence of complements for foliations

Yen-An Chen,Dongchen Jiao,Pascale Voegtli
2024-08-22
Abstract:This paper demonstrates the existence of $\mathbb{Q}$-complements for algebraically integrable log-Fano foliations on klt ambient varieties. Additionally, we investigate properties of algebraically integrable Fano foliations such as a partial inversion of adjunction as well as a connectedness principle.
Algebraic Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove the existence of Q - complements of algebraically integrable foliated structures on klt ambient manifolds. Specifically, the authors aim to prove that for an lc Fano foliated triple \((X, F, B)\), if \(F\) is algebraically integrable, then there exists a Q - complement. That is, there exists an effective divisor \(D \sim_Q -(K_F + B)\) such that \((X, F, B + D)\) is log canonical. In addition, the author also studies some properties of algebraically integrable Fano foliated structures, such as the inverse of the partial adjunction relation and the connectedness principle. ### Main contributions 1. **Existence of Q - complements**: - It is proved that for an lc Fano foliated triple \((X, F, B)\) with \(F\) being algebraically integrable, there exists a Q - complement \(D\) such that \(K_F + B + D \sim_Q 0\) and \((X, F, B + D)\) is log canonical. - This result is a generalization of the existence of complements of Fano varieties in classical algebraic geometry, especially in the context of foliated structures. 2. **Inverse of the adjunction relation**: - A weak form of the inverse theorem of the adjunction relation for foliated structures is proved. That is, for an algebraically integrable foliated triple \((X, F, B)\), if \(S \subseteq X\) is an invariant prime divisor and \((S^\nu, F_{S^\nu}, \text{Diff}_{S^\nu}(F, B))\) is log canonical, then \(N_{\text{lc}}(X, F, B) \cap S=\emptyset\). 3. **Connectedness principle**: - A foliated - structure - version of the connectedness principle is proved. That is, for a log canonical foliated pair \((F, \Delta)\), if \(-(K_F + \Delta)\) is big and semi - positive, and \(F\) is induced by a morphism \(g: X \to Z\), then \(\lfloor \Delta \rfloor\) is connected. ### Technical methods - **Induction method**: Prove the existence of Q - complements by induction, especially considering the rank of the foliated structure to gradually reduce the complexity of the problem. - **Adjunction theory**: Utilize the adjunction theory of foliated structures, especially by restricting to invariant sub - varieties to reduce the dimension, thereby applying known results. - **Minimal model program**: Use the minimal model program (MMP) of foliated structures to handle some technical problems, such as lifting sections, etc. ### Conclusion This paper provides new tools and perspectives for the study of algebraically integrable Fano foliated structures by proving the existence of Q - complements. These results not only enrich the theoretical framework of foliated structures but also lay the foundation for further research on the boundedness problem of Fano foliated structures.