Subtopic Deep Dive
K-Stability
Research Guide
What is K-Stability?
K-stability is an algebraic stability condition for polarized Fano manifolds that characterizes the existence of Kähler-Einstein metrics.
Introduced by Donaldson in toric cases (Donaldson, 2002, 789 citations), K-stability uses test configurations to define stability thresholds via the Donaldson-Futaki invariant. Tian proved that K-stable Fano manifolds admit Kähler-Einstein metrics (Tian, 2015, 342 citations). Chen-Donaldson-Sun completed the proof via approximations with cone singularities (2014, 380+ citations across three papers). Over 2,000 papers cite core works.
Why It Matters
K-stability resolves the Yau-Tian-Donaldson conjecture, linking algebraic geometry invariants to differential geometry metrics on Fano manifolds (Chen et al., 2014; Tian, 2015). Applications include classifying Fano varieties with Kähler-Einstein metrics and studying toric varieties' scalar curvature (Donaldson, 2002). It enables computations of stability thresholds for explicit manifold examples, impacting mirror symmetry and birational geometry (Demailly and Kollár, 2001).
Key Research Challenges
Computing stability thresholds
Evaluating the Futaki invariant over test configurations requires degenerations of Fano manifolds, often computationally intensive. Tian (2015) links thresholds to metric existence, but explicit calculations remain hard for non-toric cases. Donaldson (2002) verifies toric cases partially.
Test configuration analysis
Identifying destabilizing test configurations demands deep knowledge of geometric invariant theory. Chen et al. (2014) use cone metric approximations, but classifying all configurations challenges higher-dimensional Fanos. Lazarsfeld and Mustaţă (2009) connect to convex bodies for linear series.
Gromov-Hausdorff limits
Analyzing limits of cone-angle metrics as angles approach 2π proves smoothness in K-stable cases. Chen et al. (2014, parts II-III) handle limits with cone angles less than 2π, but bubbling and singularities complicate verification. Demailly and Kollár (2001) provide singularity exponents.
Essential Papers
Scalar Curvature and Stability of Toric Varieties
Simon Donaldson · 2002 · Journal of Differential Geometry · 789 citations
We define a stability condition for a polarised algebraic variety and state a conjecture relating this to the existence of a Kahler metric of constant scalar curvature. The main result of the paper...
Gromov–Witten theory and Donaldson–Thomas theory, I
Davesh Maulik, Nikita Nekrasov, Andreĭ Okounkov et al. · 2006 · Compositio Mathematica · 478 citations
We conjecture an equivalence between the Gromov–Witten theory of 3-folds and the holomorphic Chern–Simons theory of Donaldson and Thomas. For Calabi–Yau 3-folds, the equivalence is defined by the c...
Convex bodies associated to linear series
Robert Lazarsfeld, Mircea Mustaţă · 2009 · Annales Scientifiques de l École Normale Supérieure · 438 citations
Dans son travail sur la log-concavité des multiplicités, Okounkov montre au passage que l'on peut associer un corps convexe à un système linéaire sur une variété projective, puis utiliser la géomét...
Rational connectedness and boundedness of Fano manifolds
Janós Kollár, Yoichi Miyaoka, Шигефуми Мори · 1992 · Journal of Differential Geometry · 434 citations
Semi-continuity of complex singularity exponents and Kähler–Einstein metrics on Fano orbifolds
Jean-Pierre Demailly, Janós Kollár · 2001 · Annales Scientifiques de l École Normale Supérieure · 412 citations
We introduce complex singularity exponents of plurisubharmonic functions and prove a general semi-continuity result for them. This concept contains as a special case several similar concepts which ...
Kähler-Einstein metrics on Fano manifolds. I: Approximation of metrics with cone singularities
Xiuxiong Chen, Simon Donaldson, Song Sun · 2014 · Journal of the American Mathematical Society · 380 citations
This is the first of a series of three papers which prove the fact that a <italic>K</italic>-stable Fano manifold admits a Kähler-Einstein metric. The main result of this paper is that a Kähler-Ein...
A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on $K3$ fibrations
Richard Thomas · 2000 · Journal of Differential Geometry · 354 citations
We briefly review the formal picture in which a Calabi-Yau n-fold is the complex analogue of an oriented real n-manifold, and a Fano with a fixed smooth anticanonical divisor is the analogue of a m...
Reading Guide
Foundational Papers
Start with Donaldson (2002) for toric stability definition and conjecture (789 citations), then Demailly-Kollár (2001) for singularity tools (412 citations), followed by Tian (2015) for the full K-stable implies Kähler-Einstein theorem.
Recent Advances
Chen, Donaldson, Sun (2014, three papers, 380-286 citations) complete the cone-angle limit proofs resolving Yau-Tian-Donaldson.
Core Methods
Futaki invariants on test configurations (Donaldson, 2002); Gromov-Hausdorff limits of cone metrics (Chen et al., 2014); complex singularity exponents (Demailly-Kollár, 2001).
How PapersFlow Helps You Research K-Stability
Discover & Search
Research Agent uses searchPapers('K-stability Fano manifolds') to find Chen et al. (2014) series (380+ citations), then citationGraph to map citations from Donaldson (2002), and findSimilarPapers to uncover related toric stability works. exaSearch reveals 500+ recent extensions beyond OpenAlex.
Analyze & Verify
Analysis Agent applies readPaperContent on Tian (2015) to extract stability proof details, verifyResponse with CoVe to check Futaki invariant computations against Donaldson (2002), and runPythonAnalysis for numerical threshold simulations using NumPy on test configurations. GRADE grading scores proof rigor on algebraic-degenerations axis.
Synthesize & Write
Synthesis Agent detects gaps in non-toric K-stability via contradiction flagging across Chen-Donaldson-Sun papers, while Writing Agent uses latexEditText for theorem proofs, latexSyncCitations to link 10+ references, and latexCompile for polished manuscripts. exportMermaid visualizes stability threshold flows.
Use Cases
"Compute K-stability threshold for explicit toric Fano using Futaki invariant"
Research Agent → searchPapers → Analysis Agent → runPythonAnalysis (NumPy simulation of test configurations) → matplotlib plot of Donaldson-Futaki values output with stability verdict.
"Draft LaTeX section proving Yau-Tian-Donaldson via Chen-Donaldson-Sun"
Synthesis Agent → gap detection → Writing Agent → latexEditText + latexSyncCitations (Tian 2015, Chen et al. 2014) → latexCompile → PDF with cited proofs and diagrams.
"Find GitHub code for K-stability computations from recent papers"
Research Agent → exaSearch('K-stability code') → Code Discovery → paperExtractUrls → paperFindGithubRepo → githubRepoInspect → output verified NumPy/SageMath repo for Futaki invariants.
Automated Workflows
Deep Research workflow scans 50+ K-stability papers via searchPapers → citationGraph, producing structured reports on threshold computations with GRADE scores. DeepScan applies 7-step CoVe analysis to verify Chen et al. (2014) limits against Donaldson (2002). Theorizer generates hypotheses on non-Fano extensions from stability invariants.
Frequently Asked Questions
What is the definition of K-stability?
K-stability is a slope stability condition for polarized Fano manifolds using test configurations and the Futaki invariant, introduced by Donaldson (2002) for toric varieties.
What are main methods in K-stability?
Methods include Donaldson-Futaki invariants on test configurations (Donaldson, 2002), cone metric approximations (Chen et al., 2014), and singularity exponents (Demailly and Kollár, 2001).
What are key papers on K-stability?
Foundational: Donaldson (2002, 789 citations), Tian (2015, 342 citations). Proof of conjecture: Chen, Donaldson, Sun (2014 trilogy, 380-286 citations).
What are open problems in K-stability?
Explicit non-toric computations, uniform bounds on stability thresholds, and extensions to singular Fanos beyond orbifolds remain open (post-Tian 2015).
Research Geometry and complex manifolds with AI
PapersFlow provides specialized AI tools for Mathematics researchers. Here are the most relevant for this topic:
AI Literature Review
Automate paper discovery and synthesis across 474M+ papers
Paper Summarizer
Get structured summaries of any paper in seconds
AI Academic Writing
Write research papers with AI assistance and LaTeX support
See how researchers in Physics & Mathematics use PapersFlow
Field-specific workflows, example queries, and use cases.
Start Researching K-Stability with AI
Search 474M+ papers, run AI-powered literature reviews, and write with integrated citations — all in one workspace.
See how PapersFlow works for Mathematics researchers
Part of the Geometry and complex manifolds Research Guide