# Tangent splittings and product decompositions

> Two integrable families of directions on a compact Kähler manifold make its universal cover a product. Plain-English explainer, Lean status and sources.

Canonical: https://closedform.nishachay.tech/e/openai-math-2026-052/
Last updated: 2026-10-11

**Two integrable families of directions on a compact Kähler manifold make its universal cover a product.**

**Trust:** Formal proof listed · **Papers:** 2 · **First paper:** September 23, 2026 · **Field:** Algebraic and complex geometry · **Entry:** 052

*Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error.

At each point of a curved space, the directions can sometimes be split into two families. The first paper proves that if both families form layers, the fully unrolled space is a product along them. This settles the two-family case of a conjecture Arnaud Beauville formulated in 2000. The second paper proves that on smooth rationally connected projective manifolds, both families always fit together into layers. Combined with Höring's earlier theorem, the paper claims such a space is then itself a product.

## At a glance

- **First step:** 2000 (Arnaud Beauville, the compatible splitting conjecture)
- **Significance:** Major. If the proofs hold, they settle the two-family case of Beauville's conjecture and Höring's conjecture for rationally connected manifolds.
- **Trust:** Formal proof listed
- **Field:** Algebraic and complex geometry (2 papers)

## The explanation

Picture a square video-game screen that wraps around. Leave through the right edge and you come back on the left. Leave through the top and you come back at the bottom. Mathematicians call this surface a torus, the surface of a donut. At every point you can split the possible directions into two families: horizontal and vertical. Now unroll the torus by laying copies of the square side by side forever. You get the whole flat plane, and the two families become a plain grid. The plane is a product: each point is one horizontal position paired with one vertical position.

Now tilt one family. Keep the vertical lines, but swap the horizontal lines for lines of slope √2. Start at a corner and follow one tilted line. Each time it wraps past the right edge, note its height. The heights come out at about 0.414, 0.828, 0.243, 0.657 and 0.071. Because √2 is not a fraction, the line never closes up. It winds forever across the donut. Yet on the unrolled plane the picture is still a grid, only slanted. The product survives, even though the lines on the donut look tangled.

Not every split of directions behaves this well. Take ordinary space with coordinates x, y and z. Let one family be "move in x". Let the other be "move in y while climbing in z at rate x". Walk a small square with sides 0.1, using only these moves. You end up directly above your start, 0.01 higher. Two such moves do not close up, so no layers of surfaces can follow them. A family whose directions do fit together into layers is called integrable. The layers are called leaves. The papers define integrability through the Lie bracket (the drift left over after such a small loop).

These toy pictures use real coordinates. The papers work with complex manifolds (spaces that look locally like several complex coordinates). The question needs a few more terms. A tangent-bundle splitting is a smooth choice, at every point, of two complementary families of directions. A Kähler manifold is a complex manifold with a compatible way to measure lengths and areas. Compact means it is finite in extent and has no edge, like the donut. The universal cover is the space you get by unrolling every loop, as the plane unrolls the torus. The question asks when a given splitting comes from a product on the universal cover. The given families must be the factor directions.

Arnaud Beauville formulated this as a conjecture for compact Kähler manifolds, in a paper published in 2000. For two families, his condition is that both are integrable. He proved major cases, including Kähler–Einstein manifolds and compact Kähler surfaces. Later work added other special hypotheses. Brunella, Pereira and Touzet treated a family of directions that is a single line, with an integrable complement. Druel, Pereira, Pym and Touzet treated the case where one family has a compact leaf with finite holonomy. Integrability alone gives a product only near each point. The obstacle was continuing those small products across the whole space[1]. Compactness makes every smooth metric complete, but it does not make the two families line up with it[2].

The first paper proves the two-family form of Beauville's conjecture[3]. Take a compact connected Kähler manifold of complex dimension at least two. Split its directions into two integrable families, each of positive size. Then its universal cover is a product of two connected, simply connected complex manifolds. The first factor runs exactly along the first family, and the second along the second. The proof extends small two-direction patches, one direction in each family, step by step across the space. A bound on areas, supplied by the Kähler structure, stops these patches from breaking down[4]. The result speaks only about the universal cover. It does not say that the original space, or any finite cover of it, is a product[5]. The factors and the leaves can be infinite in extent, like the √2 line.

The second paper asks where integrability comes from. It looks at rationally connected projective manifolds. Projective means the space can be cut out by polynomial equations. Rationally connected means two general points lie on one rational curve (the image of a complex sphere). Andreas Höring showed in 2007 that on such a space one integrable family already gives an actual product. He then conjectured that at least one family is always integrable. Campana and Peternell had settled Fano manifolds when one family has size one or two. Höring's 2026 preprint covers varieties of Fano type. The second paper proves that both families are always integrable, with no rank or positivity condition[6]. The paper adds that Höring's earlier theorem then makes the space itself a product[7]. Smoothness matters here. Höring's 2026 preprint gives a singular rationally connected example with a non-integrable family[8].

The obstacle there was finding a way to test integrability everywhere at once. The paper builds, from each rational curve, a map of two spheres into the space[9]. One sphere runs along the first family and the other along the second. Along this map, the drift from walking loops becomes a quantity that cannot change. It is zero at one marked point, so it is zero at another[10]. Rational curves through enough points then force the drift to vanish everywhere. Beauville's own warning example shows why such a theorem is needed[11]. On the product of a complex torus with a sphere, a tilted family of directions can fail to be integrable. That space is not rationally connected, so the second paper does not cover it.

How sure is this? A computer proof checker called Lean has checked formal versions of both main theorems. The first is the universal-cover product, with both families assumed integrable. The second is integrability of both families on a rationally connected manifold of dimension at least two. There the manifold comes with a projective embedding that witnesses rational connectedness. The product consequence of the second paper is outside that check. So are the first paper's further corollaries. No specialist review has been published.

**What it doesn't show.** This does not make a compact Kähler manifold with such a splitting, or any finite cover of it, a product.

## Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

## Hype check

Major if the proofs hold. Lean checks formal versions of both main theorems. The product consequence and the corollaries are outside that check. No specialist review is published.

## Words used

- **Tangent-bundle splitting:** A smooth choice, at every point, of two complementary families of directions.
- **Integrable:** A family of directions is integrable when it fits together into layers, called leaves.
- **Kähler manifold:** A complex space with a compatible way to measure lengths and areas.
- **Universal cover:** The space you get by unrolling every loop, as the flat plane unrolls a donut-shaped torus.
- **Rationally connected:** Two general points of the space lie on a single rational curve, the image of a complex sphere.
- **Projective manifold:** A smooth space that can be cut out by polynomial equations.
- **Lie bracket:** The drift left over after walking a small loop along two direction fields.

## The original papers (2)

- [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf) - September 23, 2026 · Formal proof listed
- [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf) - September 23, 2026

- [Lean notes](https://github.com/openai/math/blob/main/lean/docs/052.md)

## Quoted lines from the paper (11)

[1] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> The problem is to continue these local products globally.

[2] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> Compactness makes every smooth metric complete, but it does not turn the given foliations into parallel distributions.

[3] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> Theorem … proves the two-summand form of Beauville's compatible splitting conjecture.

[4] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> Bounded projections onto $E_1$ and $E_2$ compare the normal and tangential speeds of the box. Stokes' theorem for a K\"ahler form then bounds the areas of shrinking complex tangent disks.

[5] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> The conclusion is about the ordinary universal cover; it does not assert that a finite cover of $X$ is a product. If a summand has rank zero, the corresponding factor is a point, so the positive-rank formulation removes only the trivial case.

[6] From [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf):

> The theorem has no further rank or positivity hypothesis. It proves the smooth rationally connected assertion formulated in.

[7] From [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf):

> H\"oring's showed that, for a rationally connected projective manifold, integrability of one summand already gives a compatible product.

[8] From [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf):

> Smoothness matters: gives a singular rationally connected example with a nonintegrable summand. Section … applies the smooth theorem to general fibers of the rationally connected quotient, supplying the integrability premise in H\"oring's structure theorems for uniruled compact K\"ahler manifolds.

[9] From [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf):

> Given any holomorphic map \(g:\PP^1\to X\) into a smooth projective manifold with a split tangent bundle, we construct \[ F:\PP^1\times\PP^1\longrightarrow X,\qquad F(s,s)=g(s), \] with the first factor direction tangent to \(E_1\) and the second tangent to \(E_2\).

[10] From [Integrability of split tangent bundles on rationally connected manifolds](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf):

> It is constant and vanishes at the first mark, so it vanishes at the second.

[11] From [Universal-cover splitting for compact Kähler manifolds](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf):

> The rank-two subbundle spanned by $U+S,V+T$ complements $T_{\Pp^1}$, but is not integrable: its two generators have the nonzero vertical bracket $[S,T]$.

## Other sources

- [A. Beauville, “Complex manifolds with split tangent bundle”, in Complex Analysis and Algebraic Geometry, de Gruyter, Berlin (2000), 61–70](https://arxiv.org/abs/math/9809033v2)
- [M. Brunella, J. V. Pereira and F. Touzet, “Kähler manifolds with split tangent bundle”, Bull. Soc. Math. France 134 (2006), 241–252](https://doi.org/10.24033/bsmf.2507)
- [A. Höring, “Uniruled varieties with split tangent bundle”, Math. Z. 256 (2007), 465–479](https://arxiv.org/abs/math/0505327v3)
- [A. Höring, “The structure of uniruled manifolds with split tangent bundle”, Osaka J. Math. 45 (2008), 1067–1084](https://www.i-repository.net/contents/osakacu/sugaku/111F0000002-04504-14.pdf)
- [F. Campana and T. Peternell, “Projective manifolds with splitting tangent bundle, I”, Math. Z. 241 (2002), 613–637](https://doi.org/10.1007/s00209-002-0435-5)
- [A. Höring, “Fano varieties with split tangent sheaf”, preprint (2026), arXiv:2602.15427v1](https://arxiv.org/abs/2602.15427v1)
- [openai/math, “Universal-cover splitting for compact Kähler manifolds” (2026)](https://github.com/openai/math/blob/main/preprints/Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026/paper.pdf): “We prove the two-summand form of Beauville's compatible splitting conjecture.”
- [openai/math, “Integrability of split tangent bundles on rationally connected manifolds” (2026)](https://github.com/openai/math/blob/main/preprints/Integrability-of-split-tangent-bundles-on-rationally-connected-manifolds-September-23-2026/main.pdf): “This proves H\"oring's conjecture on rationally connected projective manifolds.”

## Related

- [A stable-coordinate counterexample in four variables](https://closedform.nishachay.tech/e/openai-math-2026-049/) - Algebraic and complex geometry
- [Fundamental groups of special complex varieties and root orbifolds](https://closedform.nishachay.tech/e/openai-math-2026-057/) - Algebraic and complex geometry
- [Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII](https://closedform.nishachay.tech/e/openai-math-2026-042/) - Algebraic and complex geometry
- [Hyperkähler SYZ and projective-space bases](https://closedform.nishachay.tech/e/openai-math-2026-041/) - Algebraic and complex geometry
- [Global quantum geometric Langlands at irrational level](https://closedform.nishachay.tech/e/openai-math-2026-069/) - Algebraic and complex geometry
- [Algebraic and complex geometry](https://closedform.nishachay.tech/science/mathematics/algebraic-and-complex-geometry/) - Field · 36 results
- [Open since the 2000s](https://closedform.nishachay.tech/open-since/2000s/) - Era · 48 results
- [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results
- [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20052%5D%20)