Non-abelian Hodge correspondence over singular Kähler spaces

This paper extends the non-abelian Hodge correspondence to compact Kähler spaces with klt singularities by establishing an equivalence between polystable Higgs bundles and semi-simple flat bundles on regular loci and proving a descent theorem for Higgs bundles along resolutions, ultimately yielding a quasi-uniformization theorem for projective klt varieties satisfying the orbifold Miyaoka-Yau equality.

The Gist

Imagine you are trying to understand the shape of a complex, crumpled piece of paper. In the world of mathematics, this "paper" is a geometric space, and the "crumples" are singularities (points where the surface breaks, folds, or becomes jagged).

For a long time, mathematicians had a perfect map to understand smooth, uncrumpled spaces. This map is called the Non-Abelian Hodge Correspondence. It acts like a universal translator between two different languages describing the same object:

1. Language A (Geometry): Describes the space using "Higgs bundles," which are like flexible, vibrating fabrics draped over the shape.
2. Language B (Topology): Describes the space using "flat bundles," which are like rigid, non-vibrating maps of the space's holes and loops (fundamental group).

The magic of the correspondence is that if you have a perfect fabric in Language A, you can instantly translate it into a perfect map in Language B, and vice versa.

The Problem:
This translation worked beautifully for smooth spaces. But in the real world of modern geometry (specifically the "Minimal Model Program"), we often deal with spaces that have singularities—they are crumpled, torn, or have sharp corners. These are called Kawamata log terminal (klt) spaces.

The old translation dictionary didn't work here. If you tried to translate a crumpled fabric, the map would come out garbled or nonsensical. The mathematicians needed a new dictionary that could handle the "crumples."

The Solution (This Paper):
The authors, Chuanjing Zhang, Shiyu Zhang, and Xi Zhang, have successfully built this new dictionary for crumpled spaces. Here is how they did it, using some everyday analogies:

1. The "Smooth Core" Strategy

Imagine a crumpled ball of paper. If you look at the very center of the crumple, it's messy. But if you look at the outer edges, the paper is still smooth and flat.

• The Insight: The authors realized that even though the whole space is crumpled, the "regular" (smooth) parts of it still behave nicely.
• The Move: They first solved the translation problem for just the smooth parts of the crumpled ball. They proved that on these smooth patches, the "vibrating fabric" (Higgs bundle) and the "rigid map" (flat bundle) still match up perfectly.

2. The "Magic Mirror" (Harmonic Bundles)

How do they connect the smooth parts to the messy center? They use a concept called Harmonic Bundles.

• The Analogy: Imagine the fabric is a drumhead. If you hit it, it vibrates. A "harmonic" state is when the drumhead settles into a perfect, stable vibration that minimizes energy.
• The Application: The authors showed that if you have a stable, low-energy vibration (a "polystable" Higgs bundle) on the smooth parts, it naturally "settles" into a harmonic state. This harmonic state is so stable that it can "reach out" and define the shape of the fabric even over the crumpled, singular points, effectively smoothing them out mathematically.

3. The "Descent" (Folding the Map Back)

Once they have the translation working on the smooth parts and the harmonic "bridge" connecting them, they need to make sure the whole thing fits together.

• The Analogy: Imagine you have a map of a smooth island. You then crumple the island. You need to prove that the map you made for the smooth island still accurately describes the crumpled version.
• The Result: They proved that if the map works on the smooth parts, it automatically "descends" (folds down) to work on the entire crumpled space. They also proved the reverse: if you start with a crumpled map, you can "ascend" it back to the smooth version to check it.

Why Does This Matter? (The "Quasi-Uniformization" Prize)

Why go through all this trouble? Because this new dictionary allows them to solve a famous puzzle about the shape of the universe (or at least, these mathematical universes).

They proved a Quasi-Uniformization Theorem.

• The Analogy: Imagine you have a weird, crumpled shape. You want to know: "Is this shape just a perfect sphere (or a ball) that got crumpled by a group of people folding it?"
• The Discovery: Using their new tools, they showed that if a crumpled shape satisfies a specific mathematical "balance equation" (called the Miyaoka-Yau equality), then yes, it is exactly that. It is a "singular quotient" of a perfect ball.
• In plain English: Even if the shape looks broken and jagged, if it passes this specific test, we now know it was originally a perfect, smooth ball that was just folded up by a symmetry group.

Summary

Think of this paper as building a universal translator for broken objects.

1. Old Way: Could only translate smooth, perfect objects.
2. New Way: Can translate objects with cracks, tears, and crumples.
3. How: By focusing on the smooth edges, finding a "stable vibration" that bridges the gap, and proving the translation holds even in the messiest parts.
4. Result: We can now identify that many complex, broken shapes are actually just perfect, smooth shapes that have been folded up.

This is a massive step forward in understanding the fundamental geometry of the universe, allowing mathematicians to classify shapes that were previously too "broken" to understand.

Technical Summary

Here is a detailed technical summary of the paper "Non-Abelian Hodge Correspondence Over Singular Kähler Spaces" by Chuanjing Zhang, Shiyu Zhang, and Xi Zhang.

1. Problem Statement

The paper addresses the extension of the Non-Abelian Hodge Correspondence (NAHC) from smooth compact Kähler manifolds to compact Kähler spaces with Kawamata log terminal (klt) singularities.

• Context: The classical NAHC, established by Corlette, Donaldson, Hitchin, and Simpson, provides an equivalence between:
  1. Polystable Higgs bundles with vanishing Chern numbers.
  2. Semisimple local systems (flat bundles).
  3. Semisimple representations of the fundamental group.
• Gap: While the correspondence was recently extended to projective klt varieties by Greb, Kebekus, Peternell, and Taji, the case for general compact Kähler spaces (which are not necessarily projective) with singularities remained open.
• Specific Challenge: In the singular setting, standard techniques like cutting down by hyperplane sections (used in the projective case to reduce dimension) are unavailable. Furthermore, the behavior of Higgs sheaves and their stability near singularities requires new analytic tools, particularly regarding the existence and regularity of harmonic metrics on singular spaces.

2. Methodology

The authors employ a sophisticated blend of algebraic geometry, complex differential geometry, and analysis on singular spaces. The proof strategy relies on three main pillars:

A. Orbifold Modifications and Chern Classes

• The authors utilize orbifold modifications (bimeromorphic maps from spaces with only quotient singularities) to define orbifold Chern classes ($\hat{c}_1, \hat{c}_2$) on the singular space $X$.
• They establish the Orbifold Bogomolov-Gieseker inequality for reflexive Higgs sheaves on the regular locus $X_{reg}$. This involves constructing a sequence of orbifold Kähler metrics and analyzing the convergence of the Hermitian-Yang-Mills (HYM) flow.

B. Harmonic Metrics and Pluri-harmonic Structures

• Existence: They prove that polystable reflexive Higgs sheaves with vanishing orbifold Chern numbers admit pluri-harmonic metrics on the regular locus $X_{reg}$.
• Technique: Instead of relying on Mochizuki's theory of tame harmonic bundles (which is established for quasi-projective manifolds but not general quasi-Kähler ones), the authors adapt Bando-Siu's argument to the orbifold setting. They study the HYM flow on an orbifold modification and prove the convergence of the metrics to a limiting pluri-harmonic metric.
• Descent/Ascent: A critical technical step is proving that a harmonic bundle on the regular locus, which arises from a semisimple local system, extends to a locally free Higgs sheaf on the whole space (or a resolution) under specific conditions. This is achieved using period maps (based on Daniel's work on variations of loop Hodge structures) to reconstruct the Higgs field from the flat connection.

C. Maximally Quasi-Étale Covers

• The construction heavily relies on maximally quasi-étale covers ($\gamma: Y \to X$). These are covers where the étale fundamental group of the regular locus is isomorphic to that of the cover.
• This allows the authors to lift the problem to a space $Y$ where the fundamental group behaves well, construct the correspondence there, and then descend the results back to $X$.

3. Key Contributions and Results

Main Theorems

1. Theorem 1.3 (Global Correspondence): Establishes a natural one-to-one correspondence $\mu_X$ between the category of polystable locally free Higgs sheaves with vanishing Chern classes ($\mathbf{Higgs}_X$) and semisimple local systems ($\mathbf{sLSys}_X$) on a compact Kähler klt space $X$. This correspondence is compatible with resolutions of singularities.
2. Theorem 1.7 (Regular Locus Correspondence): Establishes a correspondence $\mu_{X_{reg}}$ between reflexive Higgs sheaves on the regular locus $X_{reg}$ (satisfying vanishing orbifold Chern conditions) and local systems on $X_{reg}$. This is compatible with maximally quasi-étale covers.
3. Theorem 1.12 (Characterization): Proves that a reflexive Higgs sheaf on $X_{reg}$ belongs to the polystable category if and only if its pullback to a maximally quasi-étale cover extends to a locally free Higgs sheaf with vanishing Chern classes. This resolves the issue of local freeness in higher dimensions without hyperplane sections.
4. Theorem 1.15 (Descent): Proves that for a bimeromorphic map $f: Z \to X$, any Higgs sheaf on $Z$ descends to a locally free Higgs sheaf on $X$. This is crucial for showing the correspondence is well-defined independent of the resolution.

Applications: Quasi-Uniformization

The authors apply their framework to prove quasi-uniformization theorems:

• Corollary 1.9: Characterizes singular quotients of complex tori. If a compact Kähler klt space has numerically trivial canonical divisor and satisfies the equality in the orbifold Bogomolov-Gieseker inequality, it is a quotient of a complex torus.
• Theorem 1.11 (Miyaoka-Yau Equality): Extends the Miyaoka-Yau inequality to projective klt varieties with big (but not necessarily nef) canonical divisors. If the equality holds, the canonical model is a singular quotient of a manifold covered by the unit ball (a complex hyperbolic ball quotient).

4. Technical Innovations

• Handling Non-Projective Singularities: The paper avoids the "cutting down" technique used in projective geometry. Instead, it uses orbifold modifications and uniform Sobolev inequalities on degenerating families of metrics to prove the local freeness of the sheaves.
• Period Map Construction: By utilizing the period map associated with harmonic bundles, the authors reconstruct the Higgs field from the flat connection, bypassing the need for global algebraic structures that might not exist in the Kähler setting.
• Extension of Lipman-Zariski Conjecture: The results implicitly rely on and contribute to the understanding of the Lipman-Zariski conjecture for klt spaces, showing that under specific curvature conditions, the singular space must be smooth (or a quotient of a smooth space).

5. Significance

• Unification: This work unifies the non-abelian Hodge theory for smooth Kähler manifolds, projective varieties, and singular Kähler spaces, providing a comprehensive theory for klt singularities in the analytic category.
• Foundation for Classification: The quasi-uniformization results provide powerful tools for the classification of algebraic varieties with specific curvature properties (e.g., those satisfying the Miyaoka-Yau equality), extending Yau's solution to the Calabi conjecture to the singular setting.
• Methodological Advance: The techniques developed for analyzing the HYM flow on singular spaces and the descent of harmonic structures are likely to have applications in other areas of complex geometry, such as the study of vector bundles on singular spaces and the minimal model program in the analytic category.

In summary, the paper successfully bridges the gap between algebraic and analytic non-abelian Hodge theory in the presence of singularities, offering a robust framework for studying the geometry of singular Kähler spaces through the lens of harmonic bundles and flat connections.