🔢 mathematics

Bondal's conjecture in dimension five

This paper establishes the first proof of Bondal's conjecture for Fano manifolds of dimension five and provides partial results for all odd dimensions by combining an algebraic integrability criterion for codimension-one foliations, modular residues of Poisson structures, and cohomological constraints on invariant subvarieties.

Original authors: Stéphane Druel, Jorge Vitório Pereira, Brent Pym, Frédéric Touzet

Published 2026-06-03

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Stéphane Druel, Jorge Vitório Pereira, Brent Pym, Frédéric Touzet

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a complex geometric shape called a Fano manifold. You can think of this shape as a perfectly smooth, positively curved universe, like a multi-dimensional sphere made of glass. Now, imagine painting a special pattern on this shape called a Poisson structure.

This pattern isn't just a drawing; it acts like a set of invisible currents or wind flows. In most places, these flows are strong and create swirling, symmetrical "symplectic leaves" (like eddies in a river). However, in some spots, the wind dies down or gets tangled. These spots where the flow weakens or stops are called degeneracy loci.

The Big Question: How Big are the Calm Spots?

For a long time, mathematicians had a guess, proposed by a man named Bondal, about how big these "calm spots" must be.

Bondal's Conjecture says: "If you have a positively curved universe (a Fano manifold) with these special flows, the places where the flow gets weak cannot be tiny, isolated dots. They must form large, connected regions. Specifically, if the flow drops to a certain low level, the region where this happens must be at least a certain size."

Before this paper, mathematicians knew this was true for small universes (dimensions 1, 2, 3, and 4). But for a 5-dimensional universe, it was a mystery. This paper solves that mystery.

The Main Discovery

The authors, Druel, Pereira, Pym, and Touzet, have proven that Bondal's Conjecture is true for 5-dimensional Fano manifolds.

They also proved a slightly broader version for any odd-dimensional universe (like 5, 7, 9 dimensions), showing that the "calm spots" are always large enough to satisfy the rule.

How Did They Solve It? (The Detective Work)

The authors didn't just look at the whole shape; they broke the problem down into two main scenarios, like a detective investigating a crime scene.

Scenario 1: The "Smooth" Case

Imagine the places where the wind flow gets messy (the "singularities") are very rare and far apart.

The Analogy: Think of a river that flows smoothly everywhere except for a few tiny, isolated rocks.
The Logic: The authors proved that if the messy spots are rare enough, the entire flow pattern is actually just a series of layers, like pages in a book. The "calm spots" are simply the edges of these pages. Because the shape is a Fano manifold (positively curved), these pages must be large and connected. This confirmed the conjecture for this case.

Scenario 2: The "Messy" Case

Imagine the places where the wind gets tangled are more common, forming a large wall or sheet within the shape.

The Analogy: Now the river has a massive, tangled kelp forest in the middle.
The Logic: This was the hard part. To solve it, the authors used two powerful tools:
1. Modular Residues (The "Compass"): This is a mathematical tool invented by previous researchers (Gualtieri and Pym) that acts like a compass. It points out where the flow must have a specific type of singularity. The authors used this compass to show that if the tangled forest exists, it must have a core that is large enough to satisfy Bondal's rule.
2. The "Current" Constraint (The "Weight"): They used a concept from physics and geometry involving "positive currents" (think of these as heavy, flowing weights). They showed that if the tangled forest was too small or too weirdly shaped, it would violate a fundamental law of the universe (specifically, a rule about the shape's "Hodge numbers," which are like counting the holes or handles in the shape). Since the shape is a Fano manifold, it can't have these specific holes. Therefore, the tangled forest must be big enough to avoid breaking the law.

The "Aha!" Moment

The most clever part of the proof was a "proof by contradiction."
They assumed the opposite: "What if the calm spot is tiny?"
They followed the math and found that if the calm spot were tiny, it would force the entire 5-dimensional shape to have a property (a specific type of "hole") that Fano manifolds are strictly forbidden from having.
Since the shape can't have that hole, the assumption that the calm spot is tiny must be wrong. Therefore, the calm spot must be big.

Summary

In simple terms, this paper proves that in a 5-dimensional positively curved world with special swirling flows, the places where the flow gets weak cannot be small or insignificant. They are forced by the laws of geometry to be large, substantial regions. This confirms a 30-year-old guess and opens the door to understanding these shapes in even higher dimensions.

Technical Summary: Bondal's Conjecture in Dimension Five

Problem Statement
The paper addresses Bondal's conjecture (1993) regarding the geometry of degeneracy loci for holomorphic Poisson structures on Fano manifolds. Let $X$ be a complex Fano manifold and $\sigma$ a holomorphic Poisson structure on $X$ . The structure $\sigma$ induces a singular foliation by symplectic leaves. The degeneracy locus $D_{2k}(\sigma)$ is defined as the closed analytic subspace where the rank of $\sigma$ is at most $2k$ .

Bondal's conjecture posits that when $X$ has positive curvature (i.e., is Fano), the degeneracy loci are significantly larger than classical skew-symmetric determinantal varieties would predict. Specifically, for any integer $k$ such that $0 \le 2k < \dim X$ , the locus $D_{2k}(\sigma)$ must possess an irreducible component of dimension at least $2k+1$ .

Prior to this work, the conjecture was established for Fano manifolds of dimension $\le 4$ and for specific "maximal" degeneracy loci in higher dimensions. The open problem was the general case for odd-dimensional Fano manifolds, particularly the "submaximal" degeneracy locus in dimension five.

Methodology
The authors employ a combination of foliation theory, cohomological constraints on Pfaff fields, and Poisson geometry techniques. The proof strategy for the main theorem (Theorem 1.2) involves analyzing the holomorphic foliation $\mathcal{F}$ defined by the saturation of the image of the contraction map $\sigma^\sharp: \Omega^1_X \to TX$ . The argument proceeds by distinguishing cases based on the codimension of the singular locus of $\mathcal{F}$ :

High Codimension Singularities ( $\ge 3$ ):
The authors establish a structural result for codimension-one foliations on weak Fano manifolds with singular loci of codimension $\ge 3$ . They prove that such foliations are defined by the fibers of a morphism $f: X \to \mathbb{P}^1$ with irreducible fibers. This reduces the problem to the even-dimensional case (the fibers), where the conjecture is already known to hold.
Codimension Two Singularities:
When the singular locus of $\mathcal{F}$ has codimension two, the authors analyze the geometry of the singular subvarieties using two primary tools:
- Modular Residues: Utilizing the theory of modular residues introduced by Gualtieri and Pym, they examine the vanishing loci of these residues on the degeneracy loci. This provides constraints on the Poisson singular loci of invariant subvarieties.
- Cohomological Constraints on Pfaff Fields: The authors extend the work of Esteves–Kleiman on Pfaff fields to the setting of compact Kähler manifolds. They introduce the concept of "strongly directed positive currents" to derive cohomological obstructions. Specifically, they prove that if a Poisson subvariety $Y$ has sufficiently mild singularities and supports a strongly directed positive current, then the Hodge number $h^{0, \dim Y}(X)$ must be non-zero. Since Fano manifolds have vanishing Hodge numbers $h^{0, k}(X) = 0$ for $k > 0$ , this creates a contradiction if the degeneracy locus is too small.

Key Contributions and Results

Theorem 1.2 (Main Result): For a Fano manifold $X$ of dimension $2n+1$ ( $n > 1$ ) with a Poisson structure $\sigma$ , the submaximal degeneracy locus $D_{2n-4}(\sigma)$ contains an irreducible component of dimension at least $2n-3$ .
Corollary 1.3: As a direct consequence, Bondal's conjecture is proven for all Fano manifolds of dimension five.
Theorem 2.5 (Foliations on Weak Fanos): A generalization of previous results showing that codimension-one holomorphic foliations on weak Fano manifolds with singular loci of codimension $\ge 3$ are fibrations over $\mathbb{P}^1$ . This extends the first author's earlier work on regular foliations to the singular case.
Proposition 1.5 & Lemma 3.3: The paper provides a cohomological constraint for compact Kähler manifolds: if $X$ contains a closed subvariety $Y$ (with mild singularities) that is a symplectic leaf closure, then $h^{0, \dim Y}(X) > 0$ . This generalizes previous results on compact symplectic leaves.
Proposition 4.1: A specific application of the above constraint to Poisson subvarieties, linking the existence of such subvarieties to the non-vanishing of Hodge numbers.

Significance
The paper claims to provide the first proof of Bondal's conjecture for Fano manifolds of dimension five. By resolving the submaximal degeneracy case for odd-dimensional Fanos, the authors close a significant gap in the understanding of Poisson geometry on positive curvature manifolds.

The work is significant not only for the specific dimension five result but also for the methodological tools developed:

The extension of algebraic integrability criteria for foliations to the singular setting on weak Fano manifolds.
The adaptation of Esteves–Kleiman's theory of Pfaff fields to compact Kähler manifolds using positive currents, allowing for the derivation of cohomological constraints on invariant subvarieties.

The authors note that their results for odd dimensions are partial (specifically addressing the submaximal locus), but the techniques lay the groundwork for further investigation into higher odd dimensions. The paper does not propose experimental applications or future conjectures beyond the scope of the established theorems.