Abstract:Given a foliation $\mathcal{F}$ on $X$ and an embedding $X\subseteq Y$, is there a foliation on $Y$ extending $\mathcal{F}$? Using formal methods, we show that this question has an affirmative answer whenever the embedding is sufficiently positive with respect to $(X,\mathcal{F})$ and the singularities of $\mathcal{F}$ belong to a certain class. These tools also apply in the case where $Y$ is the total space of a deformation of $X$. Regarding the uniqueness of the extension, we prove a foliated version of a statement by Fujita and Grauert ensuring the existence of tubular neighborhoods. We also give sufficient conditions for a foliation to have only trivial unfoldings, generalizing a result due to Gómez-Mont.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the extensibility of foliations. Specifically, given an embedding \(X \subseteq Y\) and a foliation \(F\) on \(X\), does there exist a foliation on \(Y\) that can be restricted to \(F\) on \(X\)? The author proves by formal methods that under certain conditions, the answer to this question is yes. These conditions include the positivity of the embedding \(X \subseteq Y\) and that the singularities of \(F\) belong to a certain class.
### Main problems and background
1. **Problem definition**:
- Given a foliation \(F\) on a sub - manifold \(X\) and an embedding \(X\subseteq Y\), can a foliation be found on \(Y\) such that its restriction on \(X\) is exactly \(F\)?
2. **Research motivation**:
- Understanding the restriction and extension of geometric structures on sub - manifolds is crucial for many geometric problems.
- In particular, the extension problem of foliations is closely related to the unfolding theory of foliations. The unfolding theory studies whether there exists a foliation that can be restricted to \(F\) on the central fiber in a deformation \(X\rightarrow T\) over a base space \(T\).
### Main results
1. **Sufficient conditions for extensibility**:
- If \(X\subseteq Y\) is a regular embedding, and the singularities of \(F\) are locally unobstructed, and \(H^{1}(X, I_{\text{Per}}\otimes N_{F}\otimes N_{X/Y}^{-n}) = 0\) for all \(n\geq1\), then \(F\) can be formally extended to \(Y\).
2. **Extension under the effective Lefschetz condition**:
- If \(X\subseteq Y\) is a regular embedding, and the dimension of \(Y\) is 1 greater than that of \(X\), while \(H^{1}(X, I_{\text{Per}}\otimes N_{F}\otimes N_{X/Y}^{-n})=0\) for all \(n\geq1\) and \(X\subseteq Y\) satisfies the effective Lefschetz condition \(L_{\text{eff}}(X, Y)\), then \(F\) can be extended to \(Y\).
3. **Special cases**:
- If \(X\subseteq Y\) is an ample divisor, or \(X\subseteq Y\) is the central fiber of a deformation, then the above results can be further refined.
### Related theorems
1. **Theorem 1.1**:
- Let \(F\) be a foliation on a projective variety \(X\) with unobstructed singularities, and \(X\subseteq Y\) be a regular embedding, where the dimension of \(Y\) is 1 greater than that of \(X\). If \(H^{1}(X, I_{\text{Per}}\otimes N_{F}\otimes N_{X/Y}^{-n}) = 0\) for all \(n\geq1\) and \(L_{\text{eff}}(X, Y)\) holds, then \(F\) can be extended to \(Y\).
2. **Corollary 1.2**:
- Let \(X\) be a smooth ample divisor, and \(F\) be a one - dimensional foliation on \(X\) with unobstructed singularities, and \(H^{1}(X, I_{\text{Per}}\otimes N_{F}\otimes N_{X/Y}^{-n}) = 0\) for all \(n\geq1\), then \(F\) can be extended to \(Y\).
3. **Corollary 1.3**:
- Let \(F\) be on \(X\)