--- title: 'Turbulent Foliations: Holomorphic and 3-Manifold Models' url: https://www.emergentmind.com/topics/turbulent-foliations type: topic --- # Turbulent Foliations: Holomorphic and 3-Manifold Models Searching arXiv for recent papers on turbulent foliations and related transverse structures. arxiv_search(query="turbulent holomorphic foliations compact complex tori transversely holomorphic Cartan geometry", max_results=5, sort_by="relevance") Turbulent foliations denote two distinct constructions in foliation theory. In the holomorphic setting of compact complex tori, a nonsingular turbulent foliation is defined by the kernel of globally defined closed meromorphic \(1\)-forms built from a meromorphic contribution on a quotient torus and a translation-invariant holomorphic contribution on the total space; in codimension one on a product of elliptic curves, such foliations have compact polar leaves, while every other leaf is dense and accumulates on each polar curve [2402.11310]. In codimension-one foliation theory on \(3\)-manifolds, turbulization denotes a local model on \(T^2\times I\) obtained from Reeb-type holonomy, together with generalizations by spiraling, and it is used to analyze torus leaves, Reeblessness, and tautness [1105.3103]. ## 1. Codimension-one holomorphic turbulent foliations on complex tori Let \(T\) be a compact complex torus of dimension two, for instance \(T=E_1\times E_2\) with \(E_i\) elliptic. A turbulent foliation \(\Ff\) on \(T\) is, by definition, the kernel of a globally defined, closed, meromorphic \(1\)-form \[ \eta \;=\;\pi^*(\omega)\;+\;\beta \;\in\;H^0\bigl(T,\; \Omega^1_{T}(*D)\bigr), \] where \(\pi\colon T\to E_1\) is a holomorphic elliptic fibration, \(\omega\in H^0\bigl(E_1,\Omega^1_{E_1}(D)\bigr)\) is a meromorphic \(1\)-form on \(E_1\) whose divisor of poles \(D\) is reduced of degree \(d\ge2\), and \(\beta\in H^0\bigl(T,\Omega^1_T\bigr)\) is a nowhere-vanishing holomorphic \(1\)-form along the fibers of \(\pi\) [2402.11310]. Locally one may trivialize \(E_2\) by a coordinate \(x\) with \(\beta=dx\), trivialize the base \(E_1\) by \(z\), and write \[ \eta \;=\; \omega(z)\,dz\;+\;dx. \] The leaves are then solutions of \(dx=-\omega(z)\,dz\), so \(x+\int^z\omega\) is constant. Since \(\beta|_{\ker d\pi}\neq0\), \(\eta\) never vanishes identically on a fiber of \(\pi\), and by choosing \(\omega\) with reduced poles and zeros one checks that \(\eta\) has no zeros on \(T\). The resulting foliation is therefore nonsingular. Its dynamics justify the term “turbulent.” The polar curves \(\pi^{-1}(\supp\,\Div\omega)\) are compact leaves, and every other leaf is dense and accumulates on each polar curve. This sharply contrasts with the linear case in Ghys’ codimension-one dichotomy on compact complex tori, where \(\F=\ker(\beta)\) for a global nonzero holomorphic \(1\)-form \(\beta\), so the foliation is translation-invariant [2510.01804]. ## 2. Generic families on products of elliptic curves For the generic construction, fix \(d\ge2\), write \(C:=E_1\) and \(X:=E_2\), both genus-\(1\) curves, and form \[ U \;=\;\bigl\{(x,y)\in \Sym^d(C)\times \Sym^d(C)\;\big|\;\supp x\cap\supp y=\emptyset,\;\sum_{i=1}^d x_i =\sum_{i=1}^d y_i\in C\}\!. \] Over \(U\) there is a principal \(\C^\times\)-bundle \(E\to U\) whose fiber over \(((x_1,\dots,x_d),(y_1,\dots,y_d))\) is the set of triples \((\omega,\beta,\lambda)\) such that \(\omega\in H^0\bigl(C,\Omega^1_C(\sum_i x_i-\sum_i y_i)\bigr)\) is the unique, up to scale, meromorphic form with \[ \Div_\infty\omega=\sum x_i, \qquad \Div_0\omega=\sum y_i, \] \(\beta\in H^0(X,\Omega^1_X)\setminus\{0\}\), and \(\lambda\in\C^\times\) rescales \((\omega,\beta)\mapsto(\lambda\omega,\lambda\beta)\) [2402.11310]. Pulling back to \(C\times X\) via the projections \(\phi_C,\phi_X\), one sets \[ \eta \;=\;\phi_C^*(\omega)\;+\;\phi_X^*(\beta), \qquad \Ff \;=\;\ker(\eta)\;\subset T_{C\times X}. \] The total parameter space of these nonsingular turbulent foliations is a \(2d\)-dimensional quasi-projective variety \[ \Ecal\;=\;E/\C^\times,\quad\dim \Ecal=2d. \] This parameter count is structurally important. It supplies the ambient moduli against which the dimension of transverse geometric data is compared in the non-existence theorem for nonsingular transversely complex-projective structures. A plausible implication is that the genericity statement is not a local accident of a particular meromorphic form, but a global feature of the family \(\Ecal\). ## 3. Nonsingular transversely projective structures and their obstruction Theorem 5.4 states: if \(d\ge8\), then there exists a nonempty Zariski-open subset \[ \Ecal^0\;\subset\;\Ecal \] such that for every point \(z\in\Ecal^0\) the associated nonsingular turbulent foliation on \(C\times X\) admits no nonsingular transversely complex-projective structure. Equivalently, a generic turbulent foliation of polar degree \(d\ge8\) on \(E_1\times E_2\) cannot be endowed with any nonsingular projective transverse atlas [2402.11310]. The proof begins with uniqueness. If such a foliation \(\Ff\) admitted a transverse projective structure, then by cohomological obstruction theory it would be unique, because \[ H^0\!\bigl(C\times X,\,(N_\Ff)^{-2}\bigr)^{\rm flat}\;=\;0. \] One then uses the fact that \(X=E_2\) acts by translations on \(C\times X\) preserving \(\Ff\), hence preserving any hypothetical \((\PP^1,\nabla)\)-bundle and section \(\sigma\). The problem reduces to data over the base \(C\) together with an auxiliary term in \[ H^0\bigl(C,\;\ad(P)\otimes K_C\bigr)\;\otimes\;H^0\bigl(X,K_X\bigr). \] A further constraint comes from the second fundamental form. The section \(\sigma:C\to P\) must satisfy that its second fundamental form vanishes at exactly \(d\) points of \(C\), namely the points \(x_i\in\supp\Div\omega\). Imposing this vanishing-of-order condition cuts down the dimension: the space of all quadruples \[ \bigl(\rho:P\to C,\;\eta:C\to P,\;\nabla,\;\theta\bigr) \] with the required conditions has dimension at most \(d+7\). Since the full moduli of turbulent foliations has dimension \(2d\), the inequality \(2d>d+7\), equivalently \(d\ge8\), yields the obstruction. The conclusion is a rigid-versus-moving mismatch. No monodromy or explicit residue calculation is needed beyond the cohomological dimension count and the Bott-connection uniqueness on an elliptic base. Two complementary points delimit the result. First, these examples are the first known nonsingular, codimension-one holomorphic foliations on a projective surface without any nonsingular transversely complex projective structure [2402.11310]. Second, every turbulent foliation does carry a singular transversely complex projective structure, for instance one coming from the closed-form description \(\eta=0\) itself. A common misconception is therefore that the theorem excludes projective transverse structures altogether; it excludes the nonsingular ones in the stated generic range. The bound \(d\ge8\) is left open as a possible non-sharp threshold. ## 4. Higher-codimension turbulent foliations on compact complex tori The paper “Turbulent holomorphic foliations on compact complex tori and transversely holomorphic Cartan geometry” extends the codimension-one notion to arbitrary codimension by working with generating subbundles [2510.01804]. Let \(T=V/\Lambda\) be a compact complex torus of dimension \(d\), and let \(\F\subset T_T\) be a holomorphic subbundle of rank \(r\), \(1\le r>> \ad(E_H) @>>> \At(E_H)/\theta(\F) @>>> \N @>>> 0\\ && \Vert && \downarrow\beta && \downarrow\bar\beta\\ 0 @>>> \ad(E_H) @>\iota>> \ad(E_G) @>>> \ad(E_G)/\ad(E_H) @>>> 0 \end{CD} \] and generically an isomorphism. If \(\beta\) is everywhere invertible, one has a genuine Cartan geometry; otherwise one has a branched Cartan geometry, with branching divisor the zero locus of \(\det\beta\). The main technical input is the vanishing statement: if \(\F\subset T_T\) is an involutive generating subbundle with normal bundle \(\N\), and \(V\) is any vector bundle on \(T\) of nonpositive maximal slope, then \[ H^0\bigl(T,\;V\otimes\Lambda^j\N^*\bigr)\;=\;0 \quad\forall\,j\ge1. \] In particular, \[ H^0\bigl(T,\;\ad(E_G)\otimes\Lambda^2\N^*\bigr) \;=\;0, \qquad H^0\bigl(T,\;\ad(E_G)\otimes\N^*\bigr) \;=\;0, \] whenever \(\ad(E_G)\) admits a holomorphic connection. From this, the flatness and uniqueness theorem follows. For any transversely branched Cartan geometry of type \((G,H)\) on a smooth turbulent foliation, the induced holomorphic connection on \(E_G\) has curvature valued in \(\ad(E_G)\otimes\Lambda^2\N^*\); by the vanishing lemma, that curvature must vanish, so the geometry is branchwise flat. Moreover, if \(\beta_1,\beta_2\) are two Cartan forms on the same underlying \((E_H,\theta)\), then their difference lies in \(H^0(T,\ad(E_G)\otimes\N^*)\) and must vanish. Thus the Cartan form is unique. The projective case is a special instance: when there is a flat transversely branched Cartan geometry of model \(\bigl(\mathrm{PSL}(2,\C),B\bigr)\), with \(B\) a Borel subgroup, the foliation acquires a possibly branched transversely projective structure. The theorem shows that on a turbulent foliation this structure, if it exists, is automatically flat and unique. The paper leaves open the problem of characterizing exactly which higher-codimension turbulent foliations admit a given flat Cartan structure of type \((G,H)\). ## 6. Turbulization and spiraling in codimension-one \(3\)-manifold foliations In \(3\)-manifold topology, “turbulization” refers to a different construction, centered on a foliation of \(T^2\times I\) obtained from a Reeb-type model [1105.3103]. In \(\mathbb R^3\) with coordinates \((x,y,z)\), the submersion \[ f(x,y,z)\;=\;(x^2 + y^2 - 1)\,e^z \] has level sets defining a foliation by cylinders and paraboloids limiting on the vertical cylinder \(x^2+y^2=1\). Restricting to the solid torus \(T_r=\{x^2+y^2\le r^2\}/(z\sim z+1)\) with \(r>1\), and deleting its core \(T_1\), yields a foliation on \[ T^2\times I\;\cong\;T_r\;\setminus\;\mathring T_1 \] for which \(T^2\times\{0\}\) is a leaf and \(T^2\times\{1\}\) is everywhere transverse, carrying a circle-foliation. This foliation on \(T^2\times I\) is the turbulization component, denoted \(\T\); with a chosen transverse orientation one writes \(\T^+\) or \(\T^-\). An equivalent suspension description uses \[ A=\{(x,\theta)\mid x\in[0,1],\;\theta\in S^1\},\quad A\times I, \] with coordinates \((x,\theta,z)\), and a strictly increasing diffeomorphism \(f\!:I\to I\) satisfying \(f(0)=0\) and \(f(1)=1\). For each \(\alpha\in[0,1]\), one defines the suspension annulus \[ A_\alpha \;=\;\bigcup_{z\in[0,1]}\{\,x=(1-f(\alpha))\,z+\alpha\,\}\times\{\theta\}\times\{z\}. \] Quotienting \((x,\theta,0)\sim(x,\theta,1)\) yields a foliation isotopic to \(\T\). The holonomy map along the transverse annulus \(A_\pi=\{(x,\pi,z)\}\) is exactly \(f\), so one also writes \(\T_f\). This local model is inserted into ambient foliated manifolds along a torus \(T\subset M\) carrying a circle-foliation. Removing a collar \(T\times I\) and gluing in \((T^2\times I,\T)\) turns \(T\times\{0\}\) into a compact torus leaf bounding a genuine Reeb component. Generalized turbulization \(\T_*(f)\) replaces the circle-foliated annulus by an arbitrary foliation \(\C\) of \(A=S^1\times I\) whose boundary leaves are circles; if \(f\) is an irrational rotation, one obtains a Reebless, dense torus-foliation on the top boundary and all non-compact leaves of type \(\mathbb R^+\times\mathbb R\). Spiraling \(\S_g(f,h)\) extends the construction to \(S_g\times I\), where \(S_g\) is a closed orientable surface of genus \(g\ge1\), by inserting suspension along one annulus and infinitely many gluings along another so as to produce spiral-annuli winding into the top leaf. These constructions organize several criteria and examples. Proposition 2.6 states that if a foliation carries a compact separating leaf, or if all boundary leaves carry the same transverse orientation, then the foliation cannot be taut. Proposition 3.2 states that any foliation admitting a torus leaf must contain either a \(\T_*\)-component or a \(\S_*\)-component in a neighborhood of that torus, unless the manifold is itself a product by \(T^2\). Theorem 1.2 (4.19) states that on a manifold whose boundary is a union of torus leaves and has no interior Reeb annuli, the foliation is taut if and only if at least two boundary tori carry opposite transverse orientations; a bad orientation forces non-tautness. The examples include the classical Reeb foliation of \(S^3\), a non-taut Reebless foliation \(\L_1\) on \(T^3\), foliations on a mapping torus \(M=F_g\times S^1/\partial\) with good and bad orientations, and the Waldhausen manifold \(Q=K\tilde\times I\), which admits both taut and non-taut Reebless foliations with a single torus boundary leaf. The holomorphic and \(3\)-manifold usages of “turbulent foliation” are therefore distinct. In the former, turbulence is encoded by closed meromorphic forms on complex tori and by dense leaves accumulating on polar curves; in the latter, turbulization is a local Reeb-type or spiraling model governing torus-leaf neighborhoods, holonomy, and tautness. The shared terminology reflects a common emphasis on nontrivial transverse behavior, but the ambient categories, local models, and transverse geometric questions are different. Source: https://www.emergentmind.com/topics/turbulent-foliations