OpenAI claim summary for Math-2587
mathematicsTop Open Problemscontributionliterature_reportClaim: literature report
Summary of a claim published in openai/math; not a claim by this platform.
Manuscript 1 (family 052, 2026-09-23): The problem selects the mathematical statement summarized here, including its stated hypotheses and parameter range. The cited theorem gives a claimed proof of that assertion in full.
Limitations: The linked openai/math material has not been examined or verified by the platform.
Manuscript
Contents
Universal-cover products for integrable tangent summands
OpenAI's claim
If a compact Kähler tangent bundle splits into two integrable positive-rank subbundles, its ordinary universal cover is claimed to split compatibly with those particular distributions. The cited manuscript argues for that result; its relation to this problem is specified below.Mathematical statement of the claimed result
Mathematical claim 1.
Let $X$ be compact connected Kähler of dimension at least two with a specified positive-rank holomorphic splitting $T_X=E_1\oplus E_2$ whose summands are integrable. For its ordinary universal cover $\pi:\widetilde X\to X$, OpenAI claims simply connected connected complex manifolds $Y_1,Y_2$ and a biholomorphism \[ \Phi:\widetilde X\xrightarrow{\sim}Y_1\times Y_2,\qquad d\Phi(\pi^*E_i)=\operatorname{pr}_i^*T_{Y_i}. \] In particular $\dim Y_i=\operatorname{rank}E_i$. Compatibility is with the given embedded distributions, and integrability is an explicit premise.Outline of the argument
Manuscript 1 (family 052, 2026-09-23): Separate tangency identities remove fibers of the meromorphic graph when a box is extended across a Hartogs figure. Kähler area bounds on annuli then extend adapted boxes across convex boundaries; continuation produces the two global leaf factors with the original summands as their tangent bundles.Formal verification
For family 052, the scope page documents the following selections. One selected statement splits the universal cover assuming integrability of both supplied tangent summands. Another establishes that integrability for rationally connected projective manifolds; its compatible-product consequence is not itself that selected statement. The documented statement covers the main claim of manuscript 1. Comparator files: KahlerSplitting.lean, SplitTangentIntegrability.lean. Declarations: OAI.UniversalCoverSplitting.main, OAI.SplitTangent.integrability_main.This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.
Status caveat
OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.Sources
- OpenAI, Universal-cover splitting for compact K"ahler manifolds, 2026-09-23; citation key
OAI:Universal-cover-splitting-for-compact-Kahler-manifolds-September-23-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main. - Family 052: Lean scope.
- Comparator KahlerSplitting.json.
- Comparator KahlerSplitting.lean.
- Comparator SplitTangentIntegrability.json.
- Comparator SplitTangentIntegrability.lean.
- OpenAI catalogue entry.