geometry-topology / Algebraic geometry; rationally connected varieties, foliations

Hoering's conjecture: tangent-bundle summands on rationally connected manifolds are integrable

Theorem 1.1: on a smooth connected rationally connected projective manifold of dimension at least two, both summands of every holomorphic splitting TX=E1⊕E2T_X=E_1\oplus E_2 into positive-rank subbundles are integrable. Corollary 1.2 (with Hoering's 2007 product theorem): X≅X1×X2X\cong X_1\times X_2 with Ei=pri∗TXiE_i=\mathrm{pr}_i^*T_{X_i}. Smoothness is needed (Hoering 2026 gives a singular counterexample); splittings with more than two summands are not treated.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

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

Hoering's conjecture: tangent-bundle summands on rationally connected manifolds are integrable

Prior state unknown→proved

Theorem 1.1: on a smooth connected rationally connected projective manifold of dimension at least two, both summands of every holomorphic splitting TX=E1⊕E2T_X=E_1\oplus E_2 into positive-rank subbundles are integrable. Corollary 1.2 (with Hoering's 2007 product theorem): X≅X1×X2X\cong X_1\times X_2 with Ei=pri∗TXiE_i=\mathrm{pr}_i^*T_{X_i}. Smoothness is needed (Hoering 2026 gives a singular counterexample); splittings with more than…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: on a smooth connected rationally connected projective manifold of dimension at least two, both summands of every holomorphic splitting TX=E1⊕E2T_X=E_1\oplus E_2 into positive-rank subbundles are integrable. Corollary 1.2 (with Hoering's 2007 product theorem): X≅X1×X2X\cong X_1\times X_2 with Ei=pri∗TXiE_i=\mathrm{pr}_i^*T_{X_i}. Smoothness is needed (Hoering 2026 gives a singular counterexample); splittings with more than two summands are not treated.

Theorem 1.1: on a smooth connected rationally connected projective manifold of dimension at least two, both summands of every holomorphic splitting TX=E1⊕E2T_X=E_1\oplus E_2 into positive-rank subbundles are integrable. Corollary 1.2 (with Hoering's 2007 product theorem): X≅X1×X2X\cong X_1\times X_2 with Ei=pri∗TXiE_i=\mathrm{pr}_i^*T_{X_i}. Smoothness is needed (Hoering 2026 gives a singular counterexample); splittings with more than two summands are not treated.

Recorded attempts

Evidence graph

Connected research record