Let X be a projective manifold containing a quasi-line l. An important difference between quasi-lines and lines in the projective space is that in general there is more than one quasi-line passing through two given general points. In this paper we use this feature to construct an algebraic foliation associated to a family of quasi-lines. We prove that if the singular locus of this foliation is not too large, it induces a rational fibration on X that maps the general leaf of the foliation onto a quasi-line in a rational variety.
We prove that a generic holomorphic foliation on a weighted projective plane has no algebraic solutions when the degree is big enough. We also prove an analogous result for foliations on Hirzebruch surfaces.
In this paper we consider various notions of positivity for distributions on complex projective manifolds. We start by analyzing distributions having big slope with respect to curve classes, obtaining characterizations of generic projective space bundles in terms of movable curve classes. We then apply this result to investigate algebraicity of leaves of foliations, providing a lower bound for the algebraic rank of a foliation in terms of invariants measuring positivity. We classify foliations attaining this bound, and describe those whose algebraic rank slightly exceeds this bound.
We investigate the notion of the $p$-divisor for foliations on a smooth algebraic surface defined over a field of positive characteristic $p$ and we study some of their properties. We present a structure theorem for the $p$-divisor of foliations in the projective plane and the Hirzebruch surfaces where we show that, under certain conditions, such $p$-divisors are reduced.
Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points, through which every invariant morphism factors uniquely.
Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under some natural conditions, a line subbundle of the sheaf of $p$-forms induces the Iitaka fibration.
Projective Foliations with a Unique Singular Point and Maximum Algebraic Multiplicity
Universidad de Valladolid（瓦拉多利德大学）；Facultad de Ciencias, Universidad de Valladolid（瓦拉多利德大学理学院）；Instituto de Investigación en Matemáticas - UVa (IMUVA)（瓦拉多利德大学数学研究所）；Facultad de Ciencias de la UNAM（墨西哥国立自治大学理学院）
It is known after Jouanolou that a general holomorphic foliation of degree $\geq2$ in projective space has no algebraic leaf. We give formulas for the degrees of the subvarieties of the parameter space of one-dimensional foliations that correspond to foliations endowed with some invariant subvariety of degree 1 or 2 and dimension $\geq1$.
Let $X$ be an irreducible algebraic variety over $\mathbb{C}$, endowed with an algebraic foliation ${\cal{F}}$. In this paper, we introduce the notion of minimal invariant variety $V({\cal{F}},Y)$ with respect to $({\cal{F}},Y)$, where $Y$ is a subvariety of $X$. If $Y=\{x\}$ is a smooth point where the foliation is regular, its minimal invariant variety is simply the Zariski closure of the leaf passing through $x$. First we prove that for very generic $x$, the varieties $V({\cal{F}},x)$ have the same dimension $p$. Second we generalize a result due to X. Gomez-Mont. More precisely, we prove t…
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
We show that an everywhere regular foliation $\mathcal F$ with compact canonically polarized leaves on a quasi-projective manifold $X$ has isotrivial family of leaves when the orbifold base of this family is special. By a recent work of Berndtsson, Paun and Wang, the same proof works in the case where the leaves have trivial canonical bundle. The specialness condition means that the $p$-th exterior power of the logarithmic extension of its conormal bundle does not contain any rank-one subsheaf of maximal Kodaira dimension $p$, for any $p>0$. This condition is satisfied, for example, in the ver…
The main purpose of this paper is to provide a structure theorem for codimension one singular transversely projective foliationson projective manifolds. To reach our goal, we firstly extend Corlette-Simpson's classification of rank two representationsof fundamental groups of quasiprojective manifolds by dropping the hypothesis of quasi-unipotency at infinity.Secondly we establish an analogue classification for rank two flat meromorphic connections.In particular, we prove that a rank two flat meromorphic connection with irregular singularities having non trivial Stokesprojectively factors throu…
Contents 1. Algebraicity criterion: statement 2. Proof of the algebraicity criterion. 3. Pseudoeffectivity and movable classes. 4. Harder-Narasimhan filtrations and pseudo-effectivity. 5. Pseudo-effectivity of relative canonical bundles. 6. Rational curves and non-pseudoeffectivity of the canonical/cotangent bundles. 7. Birational stability of the cotangent bundle 8. Shafarevich-Viehweg conjecture. 9. Numerically trivial foliations. 10. The Beauville-Bogomolov-Yau decomposition 11. Some questions 11.1. Pseudoeffectivity of determinants. 11.2. Variations on Abundance. 11.3. Special manifolds. R…
We show that the isolated invariant branches globalize to algebraic curves, when we consider weak toric type complex hyperbolic foliations on projective toric ambient surfaces. To do it, we pass through a characterization of weak toric type foliations in terms of "non-degeneracy" conditions, associated to Newton polygons. We also give a description of the relationship between invariant algebraic curves and isolated invariant branches, valid for the case of toric type, by means of the following dichotomy. Either there is a rational first integral and there are no isolated invariant branches or …
Non-dicritical codimension one foliations on projective spaces of dimension four or higher always have an invariant algebraic hypersurface. The proof relies on a strengthening of a result by Rossi on the algebraization/continuation of analytic subvarieties of projective spaces.
Given a reflexive sheaf on a mildly singular projective variety, we prove a flatness criterion under certain stability conditions. This implies the algebraicity of leaves for sufficiently stable foliations with numerically trivial canonical bundle such that the second Chern class does not vanish. Combined with the recent work of Druel and Greb-Guenancia-Kebekus this establishes the Beauville-Bogomolov decomposition for minimal models with trivial canonical class.
In this paper we address Fano foliations on complex projective varieties. These are foliations whose anti-canonical class is ample. We focus our attention on a special class of Fano foliations, namely del Pezzo foliations on complex projective manifolds. We show that these foliations are algebraically integrable, with one exceptional case when the ambient space is a projective space. We also provide a classification of del Pezzo foliations with mild singularities.
We look at natural foliations on the Painlevé VI moduli space of regular connections of rank 2 on $\pp ^1 -{t_1,t_2,t_3,t_4}$. These foliations are fibrations, and are interpreted in terms of the nonabelian Hodge filtration, giving a proof of the nonabelian Hodge foliation conjecture in this case. Two basic kinds of fibrations arise: from apparent singularities, and from quasiparabolic bundles. We show that these are transverse. Okamoto's additional symmetry, which may be seen as Katz's middle convolution, exchanges the quasiparabolic and apparent-singularity foliations.
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic varieties and on their associated formal and analytic versions. Their truncations are classical singular foliations. We prove that a quasi-smooth rigid derived foliation on a smooth complex variety $X$ is formally integrable at any point, and, if we suppose that its singular locus has codimension $\geq 2$, then the truncation of its analytification is a locally inte…
We present a variant of the classical Darboux-Jouanolou Theorem. Our main result provides a characterization of foliations which are pull-backs of foliations on surfaces by rational maps. As an application, we provide a structure theorem for foliations on 3-folds admitting an infinite number of extremal rays.
This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called quasi-coherent crystals, and construct a certain sheaf of dg-algebras of differential operators along a given derived foliation, with the property that quasi-coherent crystals can be interpreted as modules over this sheaf of differential operators. We use this interpretation in order to introduce the notion of good filtrations on quasi-coherent crystals, and define the…
We use a family of algebraic foliations given by A. Lins Neto to provide new evidences to a conjecture, related to the Harbourne-Hirschowitz's one and implying the Nagata's conjecture, which concerns the structure of the Mori cone of blow-ups of $\mathbb{P}^2$ at very general points.
We introduce and study birational invariants for foliations on projective surfaces built from the adjoint linear series of positive powers of the canonical bundle of the foliation. We apply the results in order to investigate the effective algebraic integration of foliations on the projective plane. In particular, we describe the Zariski closure of the set of foliations on the projective plane of degree d admitting rational first integrals with fibers having geometric genus bounded by g.
We present some methods and results in the application of algebraic geometry and computer algebra to the study of algebraic vector bundles, foliations and zeta functions. A connection of the methods and results with noncommutative geometry will be consider.
Deformation of morphisms along leaves of foliations define the tangential foliation on the corresponding space of morphisms. We prove that codimension one fo-liations having a tangential foliation with at least one non-algebraic leaf are transversely homogeneous with structure group determined by the codimension of the non-algebraic leaf in its Zariski closure. As an application, we provide a structure theorem for degree three foliations on $P^3$ .
Consider a field $k$ of characteristic $0$, not necessarily algebraically closed, and a fixed algebraic curve $f=0$ defined by a tame polynomial $f\in k[x,y]$ with only quasi-homogeneous singularities. We prove that the space of holomorphic foliations in the plane ${mathbb A}^2_\k$ having $f=0$ as a fixed invariant curve is generated as $k[x,y]$-module by at most four elements, three of them are the trivial foliations $fdx,fdy$ and $df$. Our proof is algorithmic and constructs the fourth foliation explicitly. Using Serre's GAGA and Quillen-Suslin theorem, we show that for a suitable field exte…
In this article, we develop a geometric framework to study the notion of semi-minimality for the generic type of a smooth autonomous differential equation $(X,v)$, based on the study of rational factors of $(X,v)$ and of algebraic foliations on $X$, invariant under the Lie-derivative of the vector field $v$. We then illustrate the effectiveness of these methods by showing that certain autonomous algebraic differential equation of order three defined over the field of real numbers --- more precisely, those associated to mixing, compact, Anosov flows of dimension three --- are generically disint…
We prove that a representation of the fundamental group of a quasi-projective manifold into the group of formal diffeomorphisms of one variable either is virtually abelian or, after taking the quotient by its center, factors through an orbicurve.
This paper contributes to the solution of the Poincare problem, which is to bound the degree of a (generalized algebraic) leaf of a (singular algebraic) foliation of the complex projective plane. The first theorem gives a new sort of bound, which involves the Castelnuovo--Mumford regularity of the singular locus of the leaf. The second theorem gives a bound in terms of two singularity numbers of the leaf: the total Tjurina number, and the number of non-quasi-homogeneous singularities. If such singularities are present, then this bound improves one due to du Plessis and Wall, at least when the …
We consider the problem of estimating the intersection multiplicity between an algebraic variety and a Pfaffian foliation, at every point of the variety. We show that this multiplicity can be majorized at every point $p$ by the local algebraic multiplicity at $p$ of a suitably constructed algebraic cycle. The construction is based on Gabrielov's complex analog of the Rolle-Khovanskii lemma. We illustrate the main result by deriving similar uniform estimates for the complexity of the Milnor fiber of a deformation (under a smoothness assumption) and for the order of contact between an algebraic …
We prove that the characteristic foliation $F$ on a non-singular divisor $D$ in an irreducible projective hyperkaehler manifold $X$ cannot be algebraic, unless the leaves of $F$ are rational curves or $X$ is a surface. More generally, we show that if $X$ is an arbitrary projective manifold carrying a holomorphic symplectic $2$-form, and $D$ and $F$ are as above, then $F$ can be algebraic with non-rational leaves only when, up to a finite étale cover, $X$ is the product of a symplectic projective manifold $Y$ with a symplectic surface and $D$ is the pull-back of a curve on this surface. When $D…
Let $\mathcal F(r, d)$ denote the moduli space of algebraic foliations of codimension one and degree $d$ in complex proyective space of dimension $r$. We show that $\mathcal F(r, d)$ may be represented as a certain linear section of a variety of complexes. From this fact we obtain information on the irreducible components of $\mathcal F(r, d)$.
In this work, we construct some irreducible components of the space of two-dimensional holomorphic foliations on $\mathbb{P}^n$ associated to some algebraic representations of the affine Lie algebra $\mathfrak{aff}(\mathbb{C})$. We give a description of the generalized Kupka components, obtaining a classification of them in terms of the degree of the foliations, in both cases $n=3$ and $n=4$.
In this paper, we introduce a sub-family of the usual generalized Wronskians, that we call geometric generalized Wronskians. It is well-known that one can test linear dependance of holomorphic functions (of several variables) via the identical vanishing of generalized Wronskians. We show that such a statement remains valid if one tests the identical vanishing only on geometric generalized Wronskians. It turns out that geometric generalized Wronskians allow to define intrinsic objects on projective varieties polarized with an ample line bundle: in this setting, the lack of existence of global f…
We propose a study of the foliations of the projective plane induced by simple derivations of the polynomial ring in two indeterminates over the complex field. These correspond to foliations which have no invariant algebraic curve nor singularities in the complement of a line. We establish the position of these foliations in the birational classification of foliations and prove the finiteness of their birational symmetries. Most of the results apply to wider classes of foliations.
Following T. Suwa, we study unfoldings of algebraic foliations and their relationship with families of foliations, making focus on those unfoldings related to trivial families. The results obtained in the study of unfoldings are then applied to obtain information on the structure of foliations on projective spaces.
Let F be a holomorphic foliation of general type on CP(2) which admits a rational first integral. We provide bounds for the degree of the first integral of F just in function of the degree, the birational invariants of F and the geometric genus of a generic leaf. Similar bounds for invariant algebraic curves are also obtained and examples are given showing the necessity of the hypothesis.
This manuscript is an introduction to the theory of holomorphic foliations on the complex projective plane. Historically the subject has emerged from the theory of ODEs in the complex domain and various attempts to solve Hilbert's 16th Problem, but with the introduction of complex algebraic geometry, foliation theory and dynamical systems, it has now become an interesting subject of its own.
We give an optimal upper bound of the degree of quasi-smooth hypersurfaces which are invariant by a one-dimensional holomorphic foliation on a compact toric orbifold, i.e. on a complete simplicial toric variety. This bound depends only on the degree of the foliation and of the degrees of the toric homogeneous coordinates.
We prove that foliations on the projective plane admitting a Liouvillian first integral but not admitting a rational first integral always have invariant algebraic curves of degree bounded by a function of the degree of the foliation. We establish, for the same class of foliations, the existence of a bound for the degree of the simplest integrating factor depending only on the degree of the foliation and on the nature of its singularities. We also prove the existence of invariant algebraic curves of small degree for foliations with rational first integral and intermediate Kodaira dimension.
Let $X$ be an irreducible holomorphic symplectic fourfold and $D$ a smooth hypersurface in $X$. It follows from a result by Amerik and Campana that the characteristic foliation (that is the foliation given by the kernel of the restriction of the symplectic form to $D$) is not algebraic unless $D$ is uniruled. Suppose now that the Zariski closure of its general leaf is a surface. We prove that $X$ has a lagrangian fibration and $D$ is the inverse image of a curve on its base.
This work concerns the problem of relating characteristic numbers of one-dimensional holomorphic foliations of P^n to those of algebraic varieties invariant by them. More precisely: if M is a connected complex manifold, a one-dimensional holomorphic foliation F of M is a morphism Φ:L -> TM where L is a holomorphic line bundle on M. The singular set of F is the analytic subvariety sing(F) = {p : Φ(p)=0} and the leaves of F are the leaves of the nonsingular foliation induced by F on M-sing(F). If M is P^n then, since line bundles over P^n are classified by the Chern class c_1(L) in H^2(P^n,Z) = …
In this article we consider the three parameter family of elliptic curves $E_t: y^2-4(x-t_1)^3+t_2(x-t_1)+t_3=0, t\in\C^3$ and study the modular holomorphic foliation $\F_ω$ in $\C^3$ whose leaves are constant locus of the integration of a 1-form $ω$ over topological cycles of $E_t$. Using the Gauss-Manin connection of the family $E_t$, we show that $\F_ω$ is an algebraic foliation. In the case $ω=\frac{xdx}{y}$, we prove that a transcendent leaf of $\F_ω$ contains at most one point with algebraic coordinates and the leaves of $\F_ω$ corresponding to the zeros of integrals, never cross such a …
Explicit integration, birational models and symmetries of Lins Neto's exceptional families of foliations
Instituto de Matemáticas, Universidad Nacional Autónoma de México（墨西哥国立自治大学数学研究所）；Universidade Federal do Rio Grande do Sul（南里奥格兰德联邦大学）；Universidade Federal Fluminense, Instituto de Matemática e Estatística（弗鲁米嫩塞联邦大学数学与统计学院）；Pontificia Universidad Católica del Perú（秘鲁天主教 Pontificia 大学）
We give a bounding of degree of quasi-smooth hypersurfaces which are invariant by a one dimensional holomorphic foliation of a given degree on a weighted projective space.
Given a (singular, codimension 1) holomorphic foliation F on a complex projective manifold X, we study the group PsAut(X, F) of pseudo-automorphisms of X which preserve F ; more precisely, we seek sufficient conditions for a finite index subgroup of PsAut(X, F) to fix all leaves of F. It turns out that if F admits a (possibly degenerate) transverse hyperbolic structure , then the property is satisfied; furthermore, in this setting we prove that all entire curves are algebraically degenerate. We prove the same result in the more general setting of transversely projective foliations, under the a…
We establish a correspondence between simplicial fans, not necessarily rational, and certain foliated compact complex manifolds called LVMB-manifolds. In the rational case, Meersseman and Verjovsky have shown that the leaf space is the usual toric variety. We compute the basic Betti numbers of the foliation for shellable fans. When the fan is in particular polytopal, we prove that the basic cohomology of the foliation is generated in degree two. We give evidence that the rich interplay between convex and algebraic geometries embodied by toric varieties carries over to our nonrational construct…
Let X be a variety over an algebraically closed field, η:Ω^1_X\to L a one-dimensional singular foliation, and C\subseteq X a projective leaf of η. We prove that 2p_a(C)-2=°(L|C)+λ(C)-°(C\cap S) where p_a(C) is the arithmetic genus, where λ(C) is the colength in the dualizing sheaf of the subsheaf generated by the Kähler differentials, and where S is the singular locus of η. We bound λ(C) and °(C\cap S), and then improve and extend some recent results of Campillo, Carnicer, and de la Fuente, and of du Plessis and Wall.
We show that the singular holomorphic foliations induced by dominant quasi-homogeneous rational maps fill out irreducible components of the space $\mathscr F_q(r, d)$ of singular foliations of codimension $q$ and degree $d$ on the complex projective space $\mathbb P^r$, when $1\le q \le r-2$. We study the geometry of these irreducible components. In particular we prove that they are all rational varieties and we compute their projective degrees in several cases.
Pursuing McQuillan's philosophy in proving the Green-Griffiths conjecture for certain surfaces of general type, we deal with the algebraic degeneracy of entire curves tangent to holomorphic foliations by curves. Inspired by the recent work of Paun and Sibony, we study the intersection of Ahlfors current with the tangent bundle of the foliation, and derive some consequences. In particular, we introduce the definition of weakly reduced singularities for foliations by curves, which requires less work than the exact classification for foliations. Finally we discuss the strategy to prove the Green-…
