Result 341, Differential geometry

Donaldson's hypersymplectic deformation conjecture

Proves Donaldson's hypersymplectic deformation conjecture in a cohomology-preserving form. Every positive triple of smooth closed two-forms on a closed connected oriented four-manifold, normalized by ∫ωi∧ωj=δij\int\omega_i\wedge\omega_j=\delta_{ij}, deforms through positive closed triples to a hyperkähler triple while preserving all three cohomology classes. Any positive triple can first be normalized by a constant linear change.

Proof

The bigger picture

Why it matters

The manuscript claims that a flexible kind of four-dimensional geometry can always be reshaped into highly structured hyperkähler geometry, without changing its global area data. This would connect an apparently broader family of geometric structures to a much more rigid class.

What changes?

The manuscript reports that every smooth normalized positive triple on a closed (compact, boundaryless), connected, oriented four-dimensional manifold deforms smoothly to a hyperkähler triple, through positive closed triples preserving all three cohomology classes. A positive triple consists of three closed two-forms, area-measuring fields whose nonzero linear combinations square to positive volume forms. Normalization sets integrated pairings to one for identical forms and zero otherwise; any positive triple can first be normalized by a constant linear change.

What does that help mathematicians do?

A hyperkähler triple describes a metric with three compatible complex structures. The claimed deformation preserves each original form's integral over every closed surface, not merely the underlying manifold. Consequently, within any fixed set of normalized cohomology classes, every deformation component of positive triples must contain a hyperkähler representative. Researchers could therefore rule out components consisting entirely of non-hyperkähler structures, without assuming that the endpoint is unique.

Are there practical applications?

The immediate value is foundational: the claimed result connects deformation questions about closed two-forms to the more structured setting of hyperkähler geometry in four dimensions. It would let researchers seek representatives there without sacrificing prescribed cohomology classes. The supplied sources describe a geometric existence result, not a computational procedure or a direct practical application.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

Deforming hypersymplectic four-manifolds to hyperkähler triples

September 23, 2026 72 pages

Every smooth normalized positive triple of closed two-forms on a closed connected oriented four-manifold admits a smooth deformation, with each cohomology class fixed, to a hyperkähler triple. This resolves Donaldson's hypersymplectic deformation conjecture.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:Deforming-hypersymplectic-four-manifolds-to-hyperkahler-triples-September-23-2026,
  author = {{OpenAI}},
  title = {{Deforming hypersymplectic four-manifolds to hyperk\"ahler triples}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Deforming-hypersymplectic-four-manifolds-to-hyperkahler-triples-September-23-2026/paper.pdf}{OAI:Deforming-hypersymplectic-four-manifolds-to-hyperkahler-triples-September-23-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 8 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.