Gibbs polystability of Fano manifolds, stability thresholds and symmetry breaking

This paper extends the probabilistic construction of Kähler-Einstein metrics to Fano manifolds with non-discrete automorphism groups by introducing Gibbs polystability and symmetry-breaking via moment map constraints, conjecturing its equivalence to metric existence and the emergence of unique metrics in the large-N limit, while proving these results for log Fano curves and deriving a strengthened logarithmic Hardy-Littlewood-Sobolev inequality with optimal stability constants.

The Gist

Imagine you are trying to bake the perfect cake. In the world of complex geometry, this "perfect cake" is called a Kähler-Einstein metric. It's a special, balanced shape that a geometric object (called a Fano manifold) can take. Mathematicians have known for a long time when such a cake can exist (if the ingredients are right), but figuring out how to bake it—how to actually describe its shape—is incredibly difficult.

This paper introduces a new, clever way to bake this cake using probability and randomness, like a chef who doesn't follow a strict recipe but instead throws ingredients into a bowl and lets the laws of physics do the work.

Here is the breakdown of their method, using everyday analogies:

1. The Problem: The "Symmetry" Trap

Imagine you have a perfectly round, symmetrical cake. If you try to take a photo of it, it looks the same from every angle. Now, imagine you have a group of friends (the symmetry group) who can rotate the cake. If the cake is too symmetrical, you can't tell which friend is holding it or where the "top" is.

In math, if a shape has too much symmetry (a non-trivial group of automorphisms), it's impossible to pick out one unique "perfect" shape using standard methods. The shape is stuck in a state of confusion, spinning in all directions at once.

The Solution: The authors say, "Let's break the symmetry!" They introduce a constraint, like a moment map. Think of this as a rule that says, "The cake must be balanced so that its center of gravity is exactly at the origin." By forcing the shape to balance in a specific way, they break the infinite spinning and isolate a single, unique "perfect" version.

2. The Method: The "Gibbs" Party

The authors use a probabilistic approach. Imagine you have a huge party with N guests (points) on your geometric shape.

• The Old Way: You try to arrange the guests perfectly to form the shape.
• The New Way (Gibbs Polystability): You let the guests arrive randomly, but you give them a "vibe" (an energy function). They naturally want to settle into a comfortable arrangement.

The paper introduces a concept called Gibbs Polystability. Think of this as a "vibe check" for the shape.

• If the shape is Gibbs Polystable, it means that if you throw enough guests (points) onto the shape, they will naturally settle down into a stable, balanced configuration that looks exactly like the "perfect cake" (the Kähler-Einstein metric).
• If the shape is not stable, the guests will keep running around chaotically, and the perfect cake will never form.

3. The "Microscope" and the "Telescope"

The paper looks at this problem through two lenses:

• The Microscope (Algebraic): They look at the shape made of $N$ points. They check if the points are in "bad positions" (like too many guests crowding one corner). They calculate a "stability threshold" (a score). If the score is high enough, the shape is stable.
• The Telescope (Analytic): They look at the shape as a continuous fluid. They check if the "energy" of the system is low enough to hold a perfect shape.

The authors conjecture that these two views are actually the same thing. If the shape passes the "microscope" test (Gibbs polystability), it will automatically pass the "telescope" test (it has a Kähler-Einstein metric).

4. The "Spontaneous Symmetry Breaking" Surprise

Here is a fascinating twist they discovered, especially with shapes that look like a sphere (the 2-sphere).

Imagine a round table with guests. If the table is perfectly round and the guests are identical, they might sit in a perfect circle. But, if you change the "weights" of the guests slightly (adding a small divisor $\Delta$), something weird happens.

• The Phenomenon: Even though the table is still round, the guests spontaneously decide to sit in a lopsided way to minimize their energy. They break the perfect symmetry of the table to find a better balance.
• The Result: This "spontaneous symmetry breaking" allows them to prove a stronger version of a famous mathematical inequality (the Hardy-Littlewood-Sobolev inequality). It's like finding a tighter, more efficient way to pack the guests than anyone thought possible.

5. The Big Picture: Why Does This Matter?

• For Mathematicians: It connects two different worlds: Algebraic Geometry (counting points and shapes) and Analysis (calculus and energy). It proves that if you can count the points correctly, you know the shape exists.
• For Physicists: This connects to the AdS/CFT correspondence (a theory in physics linking gravity to quantum mechanics) and Onsager's vortex model (how fluids swirl). The "guests" in their math model are like tiny whirlpools in a fluid. The paper shows how these whirlpools organize themselves into a stable pattern.
• The "Large Deviation" Principle: This is the statistical engine behind it all. It basically says: "If you have enough guests, the random chaos will almost certainly settle into the one perfect, balanced state."

Summary Analogy

Imagine you are trying to find the most stable way to stack a pile of sand on a spinning turntable.

1. The Problem: The turntable spins too fast; the sand flies off.
2. The Fix: You add a "moment constraint" (a fence) to keep the sand centered.
3. The Test: You throw sand grains randomly. If the pile settles into a perfect cone without collapsing, the pile is Gibbs Polystable.
4. The Discovery: The authors proved that if the pile passes this random sand-throwing test, it guarantees that a perfect, mathematical cone exists. They also found that sometimes, the sand naturally breaks the symmetry of the turntable to find a more stable spot, leading to new, sharper mathematical rules.

In short, this paper gives us a new, probabilistic recipe to bake the perfect geometric cake, proving that if the ingredients are right, the universe will naturally arrange them into perfection.

Technical Summary

Here is a detailed technical summary of the paper "Gibbs Polystability of Fano Manifolds, Stability Thresholds and Symmetry Breaking" by Rolf Andreasson, Robert J. Berman, and Ludvig Svensson.

1. Problem Statement and Context

The central problem addressed is the construction of Kähler–Einstein (KE) metrics on log Fano manifolds $(X, \Delta)$, particularly in cases where the automorphism group $G = \text{Aut}_0(X, \Delta)$ is non-trivial.

• Background: The Yau–Tian–Donaldson (YTD) conjecture (now a theorem) establishes that a Fano manifold admits a KE metric if and only if it is K-polystable.
• The Gap: Previous probabilistic approaches (e.g., Berman et al.) successfully constructed KE metrics for Fano manifolds with trivial automorphism groups ($G=\{id\}$) using random point processes. These methods rely on sampling $N$ points from a canonical measure derived from algebraic data.
• The Obstacle: When $G$ is non-trivial, the canonical measure on the $N$-fold product $X^N$ is not well-defined (it has infinite mass) because the group action prevents the existence of a $G$-invariant probability measure. Furthermore, the KE metric is not unique up to isometry but only up to the action of $G$.
• Goal: Extend the probabilistic framework to the non-trivial $G$ case by breaking the symmetry, introducing a new algebraic notion of stability (Gibbs polystability), and establishing the equivalence between this stability, analytic thresholds, and the existence of a unique KE metric with vanishing moment.

2. Methodology

The authors employ a synthesis of Algebraic Geometry, Complex Analysis, Geometric Invariant Theory (GIT), and Statistical Mechanics.

A. Symmetry Breaking via Moment Maps

To handle non-trivial $G$, the authors fix a maximal compact subgroup $K \subset G$ and a $K$-invariant reference metric. This induces a moment map $m: X \to \mathfrak{k}^*$.

• They restrict the probabilistic construction to the zero-locus of the moment map on the $N$-fold product: $\{m_N = 0\} \subset X^N$.
• This "symmetry breaking" reduces the $G$-symmetry to $K$-symmetry, allowing for the definition of a $K$-reduced canonical probability measure $\mu^{(N)}_0$ supported on $\{m_N = 0\}$.

B. Gibbs Polystability

The paper introduces an algebraic stability notion tailored to the non-trivial $G$ case:

• Microscopic Stability Thresholds: They define $\gamma^{(N)}(X, \Delta)_G$ as the log canonical threshold (LCT) of a specific divisor $D^{(N)}$ (derived from the Slater determinant of sections) restricted to the GIT semistable locus $(X^N)^{ss}$.
• Definition: A log Fano manifold is Gibbs polystable if $\gamma^{(N)}(X, \Delta)_G > 1$ for sufficiently large $N$, and uniformly Gibbs polystable if the limit $\gamma(X, \Delta)_G > 1$.
• Strong Uniform Gibbs Polystability: A refined notion involving "thickened" semistable loci $(X^N)^{ss, \epsilon_N}$ to handle cases where 0 is not a regular value of the moment map.

C. Analytic Stability and Large Deviation Principles (LDP)

• Reduced Analytic Threshold: They define $\delta_A(X, \Delta)_G$ via the coercivity of the Mabuchi functional $M$ modulo the group $G$.
• Conjectural LDP: The core heuristic is a Large Deviation Principle for the empirical measures $\delta_N$ of the random point processes. The authors conjecture that as $N \to \infty$, the empirical measures converge to the unique KE volume form with vanishing moment, governed by a rate functional identified with the Mabuchi functional.

3. Key Contributions and Results

A. Equivalence of Stability Notions (Log Fano Curves)

The authors prove their main conjectures for log Fano curves ($X = \mathbb{P}^1$):

• Theorem 1.3: For any log Fano curve $(X, \Delta)$, the following are equivalent:
  1. $(X, \Delta)$ is K-polystable.
  2. $(X, \Delta)$ is Gibbs polystable.
  3. The analytic threshold $\delta_A(X, \Delta)_G > 1$.
• They provide explicit formulas for the microscopic thresholds $\gamma^{(N)}$ and the analytic threshold $\delta_A$. For example, if $\Delta = w(p_1 + p_2)$, then $\delta_A = \min\left(\frac{1}{1-w}, 2\right)$.

B. Existence of KE Metrics via Strong Polystability

• Theorem 1.4: If a log Fano manifold $(X, \Delta)$ is strongly uniformly Gibbs polystable, then it admits a Kähler–Einstein metric.
• This is proven by establishing an effective large deviation bound relating the partition function of the restricted measure to the analytic threshold, bypassing the need for the full LDP conjecture.

C. Quantitative Stability and Symmetry Breaking

• Sharp Inequalities: The results yield a strengthened, sharp logarithmic Hardy–Littlewood–Sobolev (HLS) inequality on the 2-sphere $S^2$ under a moment constraint.
• Optimal Stability Constants: They derive quantitative stability results for the sharp HLS inequality with an optimal stability constant of $1/2$.
• Spontaneous Symmetry Breaking: The paper identifies a phenomenon where the minimizer of the free energy functional is not invariant under the full symmetry group $K$ when parameters fall in certain ranges (e.g., $w \in (0, 1/2)$). This mirrors "spontaneous symmetry breaking" in physics, where the ground state breaks the symmetry of the Hamiltonian.

D. Arithmetic Geometry Connections

• Conjecture 9.1/9.2: The authors link the asymptotics of the $K$-reduced partition function $Z_{N,0}$ to the arithmetic Mabuchi functional (or modular height) of an arithmetic log Fano variety defined over $\mathbb{Z}$.
• They show that for log Fano curves, the limit of $-\frac{1}{N} \log Z_{N,0}$ converges to the infimum of the arithmetic Mabuchi functional, providing a probabilistic interpretation of arithmetic heights.

4. Significance and Impact

1. Resolution of the Non-Trivial Automorphism Case: This work successfully extends the probabilistic construction of KE metrics to the general case where the automorphism group is non-trivial, a long-standing gap in the probabilistic approach to the YTD conjecture.
2. New Algebraic Invariant: The introduction of Gibbs polystability provides a purely algebro-geometric criterion (based on LCTs on $N$-fold products) that is conjectured to be equivalent to K-polystability, offering a new tool for testing stability.
3. Bridge Between Fields: The paper creates a robust bridge between:
   • Complex Geometry (KE metrics, K-stability).
   • Probability/Statistical Mechanics (Point processes, Large Deviation Principles, Onsager's vortex model).
   • Arithmetic Geometry (Arithmetic heights, modular forms).
4. Applications to Physics: The results have direct applications to Onsager's point vortex model on the sphere and the AdS/CFT correspondence (specifically toric quiver gauge theories), where the existence of KE metrics on Fano orbifolds is crucial.
5. Quantitative Analysis: The derivation of optimal stability constants for the HLS inequality represents a significant advancement in the quantitative analysis of functional inequalities, improving upon previous non-explicit or suboptimal bounds.

In summary, the paper establishes a comprehensive framework where algebraic stability (Gibbs polystability), analytic coercivity (Mabuchi functional), and probabilistic convergence (LDP) are shown to be equivalent, providing a powerful new perspective on the existence and construction of canonical metrics in complex geometry.