⚛️ high-energy theory

Canonical torus action on symplectic singularities

This paper establishes that symplectic singularities on smoothable projective symplectic varieties canonically admit torus actions (specifically $\mathbb{C}^*$ -actions extending to $\mathbb{H}^*$ ) by connecting Donaldson-Sun theory on local Kähler metrics with Poisson deformation theory, thereby proving that these singularities are cone vertices over contact orbifolds and settling Kaledin's conjecture in a stronger, canonical form.

Original authors: Yoshinori Namikawa, Yuji Odaka

Published 2026-02-09

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yoshinori Namikawa, Yuji Odaka

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 you are looking at a complex, crumpled piece of paper that represents a mathematical shape called a symplectic singularity. To the untrained eye, this shape looks messy, broken, and impossible to understand at the point where it is crumpled (the "singularity").

For a long time, mathematicians wondered: Is there a hidden order inside this mess? Is there a simple, smooth shape hiding underneath the crumple?

This paper, by Yoshinori Namikawa and Yuji Odaka, answers "Yes." They prove that if you zoom in close enough on these specific types of crumpled shapes, they aren't actually messy at all. They are perfectly smooth, cone-shaped structures that have a very specific, "canonical" (meaning unique and natural) way of spinning and stretching.

Here is a breakdown of their discovery using everyday analogies:

1. The Crumpled Paper vs. The Perfect Cone

Think of a symplectic singularity like a crumpled ball of foil.

The Old Idea: A mathematician named Kaledin guessed that if you zoomed in infinitely close to the center of the crumple, it would look like a perfect cone (a smooth, pointed shape) that could be spun around a central axis.
The New Discovery: Namikawa and Odaka didn't just prove Kaledin right; they proved it in a much stronger way. They showed that this "cone" isn't just any cone; it is a canonical cone. This means there is only one true way to describe it. It's like saying that if you melt down a crumpled soda can, it doesn't just become a cylinder; it becomes the specific cylinder that nature intended, with a specific way it spins and expands.

2. The "Good" Spin (The Torus Action)

The paper talks about a "canonical torus action." In simple terms, imagine the cone has a built-in motor.

You can spin the cone around its axis.
You can stretch it out or shrink it down.
The authors prove that this spinning and stretching isn't random. It follows a strict, unique rule. No matter how you look at the crumpled paper, if you zoom in, you will always find this same specific spinning motion. It's as if the shape has a "heartbeat" that is identical for every similar shape.

3. The Secret Ingredient: Geometry Meets Physics

How did they prove this? They used a clever mix of two different worlds of math:

Algebraic Geometry: The study of shapes defined by equations (like the crumpled paper).
Differential Geometry: The study of smooth curves, surfaces, and metrics (like the way a rubber sheet stretches).

The authors used a powerful tool called Donaldson-Sun theory. You can think of this as a high-powered microscope that looks at the "texture" of the shape.

The Analogy: Imagine trying to understand the shape of a mountain by looking at a satellite photo. The satellite photo (the metric) shows you the terrain. The authors used this "photo" to see that the crumpled paper actually has a hidden, smooth texture underneath.
They connected this smooth texture to the algebraic equations. They showed that the way the shape stretches (its metric) forces the shape to be a cone with a specific spinning motion.

4. The "Cone" is a Pyramid of Light

The paper mentions that these shapes are "conical symplectic varieties."

Imagine a lighthouse beam. The light gets wider as it goes up.
The authors found that these singularities are like the tip of that lighthouse beam. If you zoom in, the shape looks exactly like the tip of a cone.
Furthermore, this cone has a "hyperKähler" structure. In our analogy, this means the cone isn't just a 3D object; it's a 4D object that has three different "colors" of geometry (like red, green, and blue light) all mixed together perfectly. The "spinning" motion they found is the key that keeps these three colors aligned.

5. Why "Canonical" Matters

The most important word in the paper is Canonical.

Before this, we knew these shapes might be cones. But we didn't know if there was a "right" way to describe them.
Now, the authors say: "There is only one right way."
The Analogy: Imagine finding a lost key. Before, you might have said, "It's a key." Now, the authors say, "It is the specific key that fits this specific lock, and it has a unique pattern of teeth." This uniqueness allows mathematicians to build a library of these shapes without guessing.

6. The "Contact" Connection

The paper also mentions that if you slice off the tip of this cone, the remaining ring (the "link") is a contact orbifold.

The Analogy: Think of a donut. If you slice the donut in half, the edge is a circle. In this math, the "edge" of the singularity is a special kind of circle (or higher-dimensional version) that has a "twist" to it.
The authors show that this twist is related to a "Kähler-Einstein metric," which is a fancy way of saying the shape has a perfect balance of curvature, like a perfectly inflated balloon.

Summary

In short, this paper takes a very messy, crumpled mathematical shape (a symplectic singularity) and proves that if you zoom in close enough, it reveals itself to be a perfect, smooth cone.

This cone has a unique, natural way of spinning (a canonical torus action) and a perfectly balanced internal structure (hyperKähler metric). The authors used a "microscope" from differential geometry to prove that the algebraic equations describing the shape force it to be this perfect cone, settling a long-standing guess by Kaledin and opening the door to understanding these shapes much better.

They also note that this works for a wide variety of shapes, including those found in the study of "quiver varieties" (which are like complex Lego structures built from smaller blocks), proving that even in these complex constructions, the underlying "crumple" is actually a beautiful, spinning cone.

Technical Summary: Canonical Torus Action on Symplectic Singularities

Problem Statement
The paper addresses a conjecture by D. Kaledin regarding the local structure of symplectic singularities. Kaledin conjectured that the analytic germ of any symplectic singularity $x \in X$ is isomorphic to the germ of a conical symplectic variety $V$ at its vertex, equipped with a "good" $\mathbb{G}_m$ -action (where the closure of any orbit contains the vertex). While Kaledin's original conjecture focused on the existence of such a structure, this work aims to establish a stronger, more precise result: the existence of a canonical torus action $(\mathbb{C}^*)^r$ , the extension of this action to larger symmetry groups, and the identification of the singularity's metric structure.

Methodology
The authors employ a synthesis of complex differential geometry and algebraic geometry, specifically bridging the theory of Poisson deformations with the Donaldson-Sun theory of local metric tangent cones.

Donaldson-Sun Theory and Metric Tangent Cones: The proof relies heavily on the work of Donaldson and Sun [DS17], which describes the local metric tangent cone of a singular Kähler-Einstein metric. For a polarized projective symplectic variety $\bar{X}$ with a Ricci-flat Kähler metric (arising from a crepant resolution or a smoothing), the local metric tangent cone at a singularity $x$ is shown to be a singular Ricci-flat Kähler cone $C$ . This cone possesses a natural structure of an affine algebraic variety.
Two-Step Degeneration: The authors analyze the degeneration process $(x \in X) \rightsquigarrow (0 \in W) \rightsquigarrow (0 \in C)$ , where $W$ is an intermediate K-semistable Fano cone and $C$ is the K-polystable limit (the metric tangent cone).
Poisson Deformations and Rigidity: A central technical innovation is the realization of these metric degenerations as Poisson deformations. The authors construct "scale-up" Poisson deformations connecting $X$ to $W$ and $W$ to $C$ . By utilizing the rigidity of universal Poisson deformations (based on Namikawa's prior work), they prove that the formal completions of these varieties are isomorphic as Poisson schemes.
Diophantine Approximation: To extend the holomorphic symplectic form $\sigma_X$ from the smooth locus of the general fiber to the central fiber of the degeneration families, the authors employ delicate Diophantine approximation arguments (drawing on Dirichlet, Kronecker, and Weyl). This allows them to control the asymptotic behavior of the symplectic form near the singularity, ensuring its extension as a non-degenerate form on the limit cone.
HyperKähler Geometry: The paper establishes that the metric tangent cone $C$ carries a singular HyperKähler cone metric. This structure is crucial for proving that the intermediate variety $W$ is isomorphic to the final cone $C$ , and for establishing the existence of an $SU(2)$-action.

Key Contributions and Results

Theorem 1.1 (Main Result): For a polarized projective symplectic variety $\bar{X}$ $\overset{ˉ}{X}$ that admits a symplectic resolution or a smoothing, the analytic germ of any singularity $x \in \bar{X}$ $x \in \overset{ˉ}{X}$ is isomorphic to the germ of a canonical conical affine symplectic variety $C$ $C$ at its vertex.
- This variety $C$ admits a canonical action of a torus $(\mathbb{G}_m)^r$ with $r \ge 1$ .
- The vertex $0 \in C$ possesses a singular HyperKähler cone metric, inducing a canonical rescaling action of $\mathbb{R}_{>0}$ .
- The torus action extends to an action of $H^*$ (the multiplicative group of quaternions) and $SU(2)$ on the smooth locus of the cone.
Conditional Proof of Kaledin's Conjecture: The paper proves Kaledin's conjecture conditionally. The condition is that the Donaldson-Sun theory extends to the specific singularities in question (specifically, the existence of a suitable singular Ricci-flat Kähler metric satisfying Conjecture 1.3). For general symplectic singularities, the authors prove the same assertions assuming this differential geometric extension.
Canonicality and Rank: Unlike previous existence results, the authors demonstrate that the cone structure and the torus action are canonical, determined solely by the analytic germ of the singularity. They conjecture that for general symplectic singularities, the rank $r$ is always 1 (Conjecture 4.11). They prove $r=1$ under specific conditions, such as when the singularity is isolated, or when the second Betti number $b_2(\bar{X}) \ge 6$ , or when the orthogonal complement of the polarization class contains a non-zero isotropic element.
Applications to K-Stability and Contact Geometry: The results provide a systematic construction of (log) K-polystable Fano pairs and contact orbifolds with singular Kähler-Einstein metrics without calculating K-stability invariants. Specifically, the quotient of the cone $C$ by the $\mathbb{G}_m$ -action yields a log K-polystable Fano pair with a contact structure.
Asymptotic Behavior: The paper establishes that the singular HyperKähler metric on the original variety is polynomially close to the cone metric in a neighborhood of the singularity (Theorem 1.5, Corollary 6.8), generalizing results by Hein-Sun and others to the symplectic setting.

Significance and Claims
The authors claim that their work settles Kaledin's conjecture in a "substantially stronger form" by establishing:

Canonicity: The conical structure and the torus action are intrinsic to the singularity, not merely existing.
Extensibility: The action extends from a $\mathbb{G}_m$ -action to a larger group $H^*$ (including $SU(2)$), linking symplectic singularities to quaternionic geometry.
Metric Connection: The work successfully connects the algebraic theory of Poisson deformations with the differential geometric theory of local metric tangent cones (Donaldson-Sun theory).

The paper positions these results as a bridge between the algebraic geometry of symplectic singularities and the differential geometry of singular Ricci-flat metrics. It notes that the full resolution of the conjecture for arbitrary symplectic singularities depends on the extension of the Donaldson-Sun theory to more general singularities (Conjecture 1.3), a topic of active research in differential geometry. The authors also highlight that their methods offer a new pathway to constructing K-polystable Fano varieties and contact orbifolds, bypassing traditional invariant calculations.