geometry-topology / Complex and Kahler geometry; split tangent bundles and foliations

Beauville's splitting conjecture for two integrable summands

Theorem 1.1: if a compact connected Kahler manifold has TX=E1⊕E2T_X=E_1\oplus E_2 with both summands integrable holomorphic subbundles of positive rank, its universal cover is biholomorphic to Y1×Y2Y_1\times Y_2 (connected, simply connected) with dΦ(π∗Ei)=pri∗TYid\Phi(\pi^*E_i)=\mathrm{pr}_i^*T_{Y_i}. Corollary: non-uniruled projective manifolds with a two-summand splitting (integrability by Hoering 2007). It does not treat three or more summands, gives no finite-cover product, and assumes integrability (automatic integrability is the companion entry, for rationally connected manifolds).

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 30/100Registry: lean checked

Beauville's splitting conjecture for two integrable summands

Prior state unknown→proved

Theorem 1.1: if a compact connected Kahler manifold has TX=E1⊕E2T_X=E_1\oplus E_2 with both summands integrable holomorphic subbundles of positive rank, its universal cover is biholomorphic to Y1×Y2Y_1\times Y_2 (connected, simply connected) with dΦ(π∗Ei)=pri∗TYid\Phi(\pi^*E_i)=\mathrm{pr}_i^*T_{Y_i}. Corollary: non-uniruled projective manifolds with a two-summand splitting (integrability by Hoering 2007). It does not treat three or more…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: if a compact connected Kahler manifold has TX=E1⊕E2T_X=E_1\oplus E_2 with both summands integrable holomorphic subbundles of positive rank, its universal cover is biholomorphic to Y1×Y2Y_1\times Y_2 (connected, simply connected) with dΦ(π∗Ei)=pri∗TYid\Phi(\pi^*E_i)=\mathrm{pr}_i^*T_{Y_i}. Corollary: non-uniruled projective manifolds with a two-summand splitting (integrability by Hoering 2007). It does not treat three or more summands, gives no finite-cover product, and assumes integrability (automatic integrability is the companion entry, for rationally connected manifolds).

Theorem 1.1: if a compact connected Kahler manifold has TX=E1⊕E2T_X=E_1\oplus E_2 with both summands integrable holomorphic subbundles of positive rank, its universal cover is biholomorphic to Y1×Y2Y_1\times Y_2 (connected, simply connected) with dΦ(π∗Ei)=pri∗TYid\Phi(\pi^*E_i)=\mathrm{pr}_i^*T_{Y_i}. Corollary: non-uniruled projective manifolds with a two-summand splitting (integrability by Hoering 2007). It does not treat three or more summands, gives no finite-cover product, and assumes integrability (automatic integrability is the companion entry, for rationally connected manifolds).

Recorded attempts

Evidence graph

Connected research record