In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian[1] and reformulated more algebraically later by Simon Donaldson.[2] The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics (cscK metrics).
History
[edit]In 1954, Eugenio Calabi formulated a conjecture about the existence of Kähler metrics on compact Kähler manifolds, now known as the Calabi conjecture.[3] One formulation of the conjecture is that a compact Kähler manifold admits a unique Kähler–Einstein metric in the class . In the particular case where , such a Kähler–Einstein metric would be Ricci flat, making the manifold a Calabi–Yau manifold. The Calabi conjecture was resolved in the case where by Thierry Aubin and Shing-Tung Yau, and when by Yau.[4][5][6] In the case where , that is when is a Fano manifold, a Kähler–Einstein metric does not always exist. Namely, it was known by work of Yozo Matsushima and André Lichnerowicz that a Kähler manifold with can only admit a Kähler–Einstein metric if the Lie algebra is reductive.[7][8] However, it can be easily shown that the blow up of the complex projective plane at one point, is Fano, but does not have reductive Lie algebra. Thus not all Fano manifolds can admit Kähler–Einstein metrics.
After the resolution of the Calabi conjecture for attention turned to the loosely related problem of finding canonical metrics on vector bundles over complex manifolds. In 1983, Donaldson produced a new proof of the Narasimhan–Seshadri theorem.[9] As proved by Donaldson, the theorem states that a holomorphic vector bundle over a compact Riemann surface is stable if and only if it corresponds to an irreducible unitary Yang–Mills connection. That is, a unitary connection which is a critical point of the Yang–Mills functional
On a Riemann surface such a connection is projectively flat, and its holonomy gives rise to a projective unitary representation of the fundamental group of the Riemann surface, thus recovering the original statement of the theorem by M. S. Narasimhan and C. S. Seshadri.[10] During the 1980s this theorem was generalised through the work of Donaldson, Karen Uhlenbeck and Yau, and Jun Li and Yau to the Kobayashi–Hitchin correspondence, which relates stable holomorphic vector bundles to Hermitian–Einstein connections over arbitrary compact complex manifolds.[11][12][13] A key observation in the setting of holomorphic vector bundles is that once a holomorphic structure is fixed, any choice of Hermitian metric gives rise to a unitary connection, the Chern connection. Thus one can either search for a Hermitian–Einstein connection, or its corresponding Hermitian–Einstein metric.
Inspired by the resolution of the existence problem for canonical metrics on vector bundles, in 1993 Yau was motivated to conjecture the existence of a Kähler–Einstein metric on a Fano manifold should be equivalent to some form of algebro-geometric stability condition on the variety itself, just as the existence of a Hermitian–Einstein metric on a holomorphic vector bundle is equivalent to its stability. Yau suggested this stability condition should be an analogue of slope stability of vector bundles.[14]
In 1997, Tian suggested such a stability condition, which he called K-stability after the K-energy functional introduced by Toshiki Mabuchi.[1][15] The K originally stood for kinetic due to the similarity of the K-energy functional with the kinetic energy, and for the German kanonisch for the canonical bundle. Tian's definition was analytic in nature, and specific to the case of Fano manifolds. Several years later Donaldson introduced an algebraic condition described in this article called K-stability, which makes sense on any polarised variety, and is equivalent to Tian's analytic definition in the case of the polarised variety where is Fano.[2]
Definition
[edit]In this section we work over the complex numbers , but the essential points of the definition apply over any field. A polarised variety is a pair where is a complex algebraic variety and is an ample line bundle on . Such a polarised variety comes equipped with an embedding into projective space using the Proj construction,
where is any positive integer large enough that is very ample, and so every polarised variety is projective. Changing the choice of ample line bundle on results in a new embedding of into a possibly different projective space. Therefore a polarised variety can be thought of as a projective variety together with a fixed embedding into some projective space .
Hilbert–Mumford criterion
[edit]K-stability is defined by analogy with the Hilbert–Mumford criterion from finite-dimensional geometric invariant theory. This theory describes the stability of points on polarised varieties, whereas K-stability concerns the stability of the polarised variety itself.
The Hilbert–Mumford criterion shows that to test the stability of a point in a projective algebraic variety under the action of a reductive algebraic group , it is enough to consider the one parameter subgroups (1-PS) of . To proceed, one takes a 1-PS of , say , and looks at the limiting point
This is a fixed point of the action of the 1-PS , and so the line over in the affine space is preserved by the action of . An action of the multiplicative group on a one dimensional vector space comes with a weight, an integer we label , with the property that
for any in the fibre over . The Hilbert-Mumford criterion says:
- The point is semistable if for all 1-PS .
- The point is stable if for all 1-PS .
- The point is unstable if for any 1-PS .
If one wishes to define a notion of stability for varieties, the Hilbert-Mumford criterion therefore suggests it is enough to consider one parameter deformations of the variety. This leads to the notion of a test configuration.
Test Configurations
[edit]![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/44/Test_Configuration.png/456px-Test_Configuration.png)
A test configuration for a polarised variety is a pair where is a scheme with a flat morphism and is a relatively ample line bundle for the morphism , such that:
- For every , the Hilbert polynomial of the fibre is equal to the Hilbert polynomial of . This is a consequence of the flatness of .
- There is an action of on the family covering the standard action of on .
- For any (and hence every) , as polarised varieties. In particular away from , the family is trivial: where is projection onto the first factor.
We say that a test configuration is a product configuration if , and a trivial configuration if the action on is trivial on the first factor.
Donaldson–Futaki Invariant
[edit]To define a notion of stability analogous to the Hilbert–Mumford criterion, one needs a concept of weight on the fibre over of a test configuration for a polarised variety . By definition this family comes equipped with an action of covering the action on the base, and so the fibre of the test configuration over is fixed. That is, we have an action of on the central fibre . In general this central fibre is not smooth, or even a variety. There are several ways to define the weight on the central fiber. The first definition was given by using Ding-Tian's version of generalized Futaki invariant.[1] This definition is differential geometric and is directly related to the existence problems in Kähler geometry. Algebraic definitions were given by using Donaldson-Futaki invariants and CM-weights defined by intersection formula.
By definition an action of on a polarised scheme comes with an action of on the ample line bundle , and therefore induces an action on the vector spaces for all integers . An action of on a complex vector space induces a direct sum decomposition into weight spaces, where each is a one dimensional subspace of , and the action of when restricted to has a weight . Define the total weight of the action to be the integer . This is the same as the weight of the induced action of on the one dimensional vector space where .
Define the weight function of the test configuration to be the function where is the total weight of the action on the vector space for each non-negative integer . Whilst the function is not a polynomial in general, it becomes a polynomial of degree for all for some fixed integer , where . This can be seen using an equivariant Riemann-Roch theorem. Recall that the Hilbert polynomial satisfies the equality for all for some fixed integer , and is a polynomial of degree . For such , let us write
The Donaldson-Futaki invariant of the test configuration is the rational number
In particular where is the first order term in the expansion
The Donaldson-Futaki invariant does not change if is replaced by a positive power , and so in the literature K-stability is often discussed using -line bundles.
It is possible to describe the Donaldson-Futaki invariant in terms of intersection theory, and this was the approach taken by Tian in defining the CM-weight.[1] Any test configuration admits a natural compactification over (e.g.,see [16][17]), then the CM-weight is defined by
where . This definition by intersection formula is now often used in algebraic geometry.
It is known that coincides with , so we can take the weight to be either or . The weight can be also expressed in terms of the Chow form and hyperdiscriminant.[18] In the case of Fano manifolds, there is an interpretation of the weight in terms of new -invariant on valuations found by Chi Li[19] and Kento Fujita.[20]
K-stability
[edit]In order to define K-stability, we need to first exclude certain test configurations. Initially it was presumed one should just ignore trivial test configurations as defined above, whose Donaldson-Futaki invariant always vanishes, but it was observed by Li and Xu that more care is needed in the definition.[21][22] One elegant way of defining K-stability is given by Székelyhidi using the norm of a test configuration, which we first describe.[23]
For a test configuration , define the norm as follows. Let be the infinitesimal generator of the action on the vector space . Then . Similarly to the polynomials and , the function is a polynomial for large enough integers , in this case of degree . Let us write its expansion as
The norm of a test configuration is defined by the expression
According to the analogy with the Hilbert-Mumford criterion, once one has a notion of deformation (test configuration) and weight on the central fibre (Donaldson-Futaki invariant), one can define a stability condition, called K-stability.
Let be a polarised algebraic variety. We say that is:
- K-semistable if for all test configurations for .
- K-stable if for all test configurations for , and additionally whenever .
- K-polystable if is K-semistable, and additionally whenever , the test configuration is a product configuration.
- K-unstable if it is not K-semistable.
Yau–Tian–Donaldson Conjecture
[edit]K-stability was originally introduced as an algebro-geometric condition which should characterise the existence of a Kähler–Einstein metric on a Fano manifold. This came to be known as the Yau–Tian–Donaldson conjecture (for Fano manifolds). The conjecture was resolved in the 2010s in works of Xiuxiong Chen, Simon Donaldson, and Song Sun,[24][25][26][27][28][29] The strategy is based on a continuity method with respect to the cone angle of a Kähler–Einstein metric with cone singularities along a fixed anticanonical divisor, as well as an in-depth use of the Cheeger–Colding–Tian theory of Gromov–Hausdorff limits of Kähler manifolds with Ricci bounds.
Theorem (Yau–Tian–Donaldson conjecture for Kähler–Einstein metrics): A Fano Manifold admits a Kähler–Einstein metric in the class of if and only if the pair is K-polystable.
Chen, Donaldson, and Sun have alleged that Tian's claim to equal priority for the proof is incorrect, and they have accused him of academic misconduct.[a] Tian has disputed their claims.[b] Chen, Donaldson, and Sun were recognized by the American Mathematical Society's prestigious 2019 Veblen Prize as having had resolved the conjecture.[30] The Breakthrough Prize has recognized Donaldson with the Breakthrough Prize in Mathematics and Sun with the New Horizons Breakthrough Prize, in part based upon their work with Chen on the conjecture.[31][32]
More recently, a proof based on the "classical" continuity method was provided by Ved Datar and Gabor Székelyhidi,[33][34] followed by a proof by Chen, Sun, and Bing Wang using the Kähler–Ricci flow.[35] Robert Berman, Sébastien Boucksom, and Mattias Jonsson also provided a proof from the variational approach.[36]
Extension to constant scalar curvature Kähler metrics
[edit]It is expected that the Yau–Tian–Donaldson conjecture should apply more generally to cscK metrics over arbitrary smooth polarised varieties. In fact, the Yau–Tian–Donaldson conjecture refers to this more general setting, with the case of Fano manifolds being a special case, which was conjectured earlier by Yau and Tian. Donaldson built on the conjecture of Yau and Tian from the Fano case after his definition of K-stability for arbitrary polarised varieties was introduced.[2]
Yau–Tian–Donaldson conjecture for constant scalar curvature metrics: A smooth polarised variety admits a constant scalar curvature Kähler metric in the class of if and only if the pair is K-polystable.
As discussed, the Yau–Tian–Donaldson conjecture has been resolved in the Fano setting. It was proven by Donaldson in 2009 that the Yau–Tian–Donaldson conjecture holds for toric varieties of complex dimension 2.[37][38][39] For arbitrary polarised varieties it was proven by Stoppa, also using work of Arezzo and Pacard, that the existence of a cscK metric implies K-polystability.[40][41] This is in some sense the easy direction of the conjecture, as it assumes the existence of a solution to a difficult partial differential equation, and arrives at the comparatively easy algebraic result. The significant challenge is to prove the reverse direction, that a purely algebraic condition implies the existence of a solution to a PDE.
Examples
[edit]Smooth Curves
[edit]It has been known since the original work of Pierre Deligne and David Mumford that smooth algebraic curves are asymptotically stable in the sense of geometric invariant theory, and in particular that they are K-stable.[42] In this setting, the Yau–Tian–Donaldson conjecture is equivalent to the uniformization theorem. Namely, every smooth curve admits a Kähler–Einstein metric of constant scalar curvature either in the case of the projective line , in the case of elliptic curves, or in the case of compact Riemann surfaces of genus .
Fano varieties
[edit]The setting where is ample so that is a Fano manifold is of particular importance, and in that setting many tools are known to verify the K-stability of Fano varieties. For example using purely algebraic techniques it can be proven that all Fermat hypersurfaces
are K-stable Fano varieties for .[43][44][45]
Toric Varieties
[edit]K-stability was originally introduced by Donaldson in the context of toric varieties.[2] In the toric setting many of the complicated definitions of K-stability simplify to be given by data on the moment polytope of the polarised toric variety . First it is known that to test K-stability, it is enough to consider toric test configurations, where the total space of the test configuration is also a toric variety. Any such toric test configuration can be elegantly described by a convex function on the moment polytope, and Donaldson originally defined K-stability for such convex functions. If a toric test configuration for is given by a convex function on , then the Donaldson-Futaki invariant can be written as
where is the Lebesgue measure on , is the canonical measure on the boundary of arising from its description as a moment polytope (if an edge of is given by a linear inequality for some affine linear functional h on with integer coefficients, then ), and . Additionally the norm of the test configuration can be given by
where is the average of on with respect to .
It was shown by Donaldson that for toric surfaces, it suffices to test convex functions of a particularly simple form. We say a convex function on is piecewise-linear if it can be written as a maximum for some affine linear functionals . Notice that by the definition of the constant , the Donaldson-Futaki invariant is invariant under the addition of an affine linear functional, so we may always take one of the to be the constant function . We say a convex function is simple piecewise-linear if it is a maximum of two functions, and so is given by for some affine linear function , and simple rational piecewise-linear if has rational cofficients. Donaldson showed that for toric surfaces it is enough to test K-stability only on simple rational piecewise-linear functions. Such a result is powerful in so far as it is possible to readily compute the Donaldson-Futaki invariants of such simple test configurations, and therefore computationally determine when a given toric surface is K-stable.
An example of a K-unstable manifold is given by the toric surface , the first Hirzebruch surface, which is the blow up of the complex projective plane at a point, with respect to the polarisation given by , where is the blow up and the exceptional divisor.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Moment_polytope_of_first_Hirzebruch_surface.png/290px-Moment_polytope_of_first_Hirzebruch_surface.png)
The measure on the horizontal and vertical boundary faces of the polytope are just and . On the diagonal face the measure is given by . Consider the convex function on this polytope. Then
and
Thus
and so the first Hirzebruch surface is K-unstable.
Alternative Notions
[edit]Hilbert and Chow Stability
[edit]K-stability arises from an analogy with the Hilbert-Mumford criterion for finite-dimensional geometric invariant theory. It is possible to use geometric invariant theory directly to obtain other notions of stability for varieties that are closely related to K-stability.
Take a polarised variety with Hilbert polynomial , and fix an such that is very ample with vanishing higher cohomology. The pair can then be identified with a point in the Hilbert scheme of subschemes of with Hilbert polynomial .
This Hilbert scheme can be embedded into projective space as a subscheme of a Grassmannian (which is projective via the Plücker embedding). The general linear group acts on this Hilbert scheme, and two points in the Hilbert scheme are equivalent if and only if the corresponding polarised varieties are isomorphic. Thus one can use geometric invariant theory for this group action to give a notion of stability. This construction depends on a choice of , so one says a polarised variety is asymptotically Hilbert stable if it is stable with respect to this embedding for all sufficiently large, for some fixed .
There is another projective embedding of the Hilbert scheme called the Chow embedding, which provides a different linearisation of the Hilbert scheme and therefore a different stability condition. One can similarly therefore define asymptotic Chow stability. Explicitly the Chow weight for a fixed can be computed as
for sufficiently large.[46] Unlike the Donaldson-Futaki invariant, the Chow weight changes if the line bundle is replaced by some power . However, from the expression
one observes that
and so K-stability is in some sense the limit of Chow stability as the dimension of the projective space is embedded in approaches infinity.
One may similarly define asymptotic Chow semistability and asymptotic Hilbert semistability, and the various notions of stability are related as follows:
Asymptotically Chow stable Asymptotically Hilbert stable Asymptotically Hilbert semistable Asymptotically Chow semistable K-semistable
It is however not know whether K-stability implies asymptotic Chow stability.[47]
Slope K-Stability
[edit]It was originally predicted by Yau that the correct notion of stability for varieties should be analogous to slope stability for vector bundles. Julius Ross and Richard Thomas developed a theory of slope stability for varieties, known as slope K-stability. It was shown by Ross and Thomas that any test configuration is essentially obtained by blowing up the variety along a sequence of invariant ideals, supported on the central fibre.[47] This result is essentially due to David Mumford.[48] Explicitly, every test configuration is dominated by a blow up of along an ideal of the form
where is the coordinate on . By taking the support of the ideals this corresponds to blowing up along a flag of subschemes
inside the copy of . One obtains this decomposition essentially by taking the weight space decomposition of the invariant ideal under the action.
In the special case where this flag of subschemes is of length one, the Donaldson-Futaki invariant can be easily computed and one arrives at slope K-stability. Given a subscheme defined by an ideal sheaf , the test configuration is given by
which is the deformation to the normal cone of the embedding .
If the variety has Hilbert polynomial , define the slope of to be
To define the slope of the subscheme , consider the Hilbert-Samuel polynomial of the subscheme ,
for and a rational number such that . The coefficients are polynomials in of degree , and the K-slope of with respect to is defined by
This definition makes sense for any choice of real number where is the Seshadri constant of . Notice that taking we recover the slope of . The pair is slope K-semistable if for all proper subschemes , for all (one can also define slope K-stability and slope K-polystability by requiring this inequality to be strict, with some extra technical conditions).
It was shown by Ross and Thomas that K-semistability implies slope K-semistability.[49] However, unlike in the case of vector bundles, it is not the case that slope K-stability implies K-stability. In the case of vector bundles it is enough to consider only single subsheaves, but for varieties it is necessary to consider flags of length greater than one also. Despite this, slope K-stability can still be used to identify K-unstable varieties, and therefore by the results of Stoppa, give obstructions to the existence of cscK metrics. For example, Ross and Thomas use slope K-stability to show that the projectivisation of an unstable vector bundle over a K-stable base is K-unstable, and so does not admit a cscK metric. This is a converse to results of Hong, which show that the projectivisation of a stable bundle over a base admitting a cscK metric, also admits a cscK metric, and is therefore K-stable.[50]
Filtration K-Stability
[edit]Work of Apostolov–Calderbank–Gauduchon–Tønnesen-Friedman shows the existence of a manifold which does not admit any extremal metric, but does not appear to be destabilised by any test configuration.[51] This suggests that the definition of K-stability as given here may not be precise enough to imply the Yau–Tian–Donaldson conjecture in general. However, this example is destabilised by a limit of test configurations. This was made precise by Székelyhidi, who introduced filtration K-stability.[46][23] A filtration here is a filtration of the coordinate ring
of the polarised variety . The filtrations considered must be compatible with the grading on the coordinate ring in the following sense: A filtation of is a chain of finite-dimensional subspaces
such that the following conditions hold:
- The filtration is multiplicative. That is, for all .
- The filtration is compatible with the grading on coming from the graded pieces . That is, if , then each homogenous piece of is in .
- The filtration exhausts . That is, we have .
Given a filtration , its Rees algebra is defined by
We say that a filtration is finitely generated if its Rees algebra is finitely generated. It was proven by David Witt Nyström that a filtration is finitely generated if and only if it arises from a test configuration, and by Székelyhidi that any filtration is a limit of finitely generated filtrations.[52] Combining these results Székelyhidi observed that the example of Apostolov-Calderbank-Gauduchon-Tønnesen-Friedman would not violate the Yau–Tian–Donaldson conjecture if K-stability was replaced by filtration K-stability. This suggests that the definition of K-stability may need to be edited to account for these limiting examples.
See also
[edit]- Kähler manifold
- Kähler–Einstein metric
- K-stability of Fano varieties
- Geometric invariant theory
- Calabi conjecture
- Kobayashi–Hitchin correspondence
- Stable curve
References
[edit]- ^ a b c d Tian, Gang (1997). "Kähler–Einstein metrics with positive scalar curvature". Inventiones Mathematicae. 130 (1): 1–37. Bibcode:1997InMat.130....1T. doi:10.1007/s002220050176. MR 1471884. S2CID 122529381.
- ^ a b c d Donaldson, Simon K. (2002). "Scalar curvature and stability of toric varieties". Journal of Differential Geometry. 62 (2): 289–349. doi:10.4310/jdg/1090950195.
- ^ Calabi, Eugenio (1956), "The space of Kähler metrics", Proceedings of the International Congress of Mathematicians 1954 (PDF), vol. 2, Groningen: E.P. Noordhoff, pp. 206–207
- ^ Aubin, Thierry (1976). "Equations du type Monge-Ampère sur les variétés kähleriennes compactes". Comptes Rendus de l'Académie des Sciences, Série A. 283: 119–121. Zbl 0333.53040.
- ^ Yau, Shing-Tung (1977). "Calabi's conjecture and some new results in algebraic geometry". Proceedings of the National Academy of Sciences. 74 (5): 1798–1799. Bibcode:1977PNAS...74.1798Y. doi:10.1073/PNAS.74.5.1798. PMC 431004. PMID 16592394. S2CID 9401039.
- ^ Yau, Shing-Tung (1978). "On the ricci curvature of a compact kähler manifold and the complex monge-ampére equation, I". Communications on Pure and Applied Mathematics. 31 (3): 339–411. doi:10.1002/CPA.3160310304. S2CID 62804423.
- ^ Matsushima, Yozô (1957). "Sur la Structure du Groupe d'Homéomorphismes Analytiques d'une Certaine Variété Kaehlérinne". Nagoya Mathematical Journal. 11: 145–150. doi:10.1017/S0027763000002026. S2CID 31531037.
- ^ Lichnerowicz, André (1958). "Géométrie des groupes de transformations". Travaux et Recherches Mathématiques (in French). 3. Dunod, Paris. MR 0124009. OCLC 911753544. Zbl 0096.16001.
- ^ Donaldson, S. K. (1983). "A new proof of a theorem of Narasimhan and Seshadri". Journal of Differential Geometry. 18 (2): 269–277. doi:10.4310/jdg/1214437664.
- ^ Narasimhan, M. S.; Seshadri, C. S. (1965). "Stable and Unitary Vector Bundles on a Compact Riemann Surface". Annals of Mathematics. 82 (3): 540–567. doi:10.2307/1970710. JSTOR 1970710.
- ^ Donaldson, S. K. (1985). "Anti Self-Dual Yang-Mills Connections over Complex Algebraic Surfaces and Stable Vector Bundles". Proceedings of the London Mathematical Society: 1–26. doi:10.1112/plms/s3-50.1.1.
- ^ Uhlenbeck, K.; Yau, S. T. (1986). "On the existence of hermitian-yang-mills connections in stable vector bundles, in Frontiers of Mathematical Sciences: 1985 (New York, 1985)". Communications on Pure and Applied Mathematics. 39: S257–S293. doi:10.1002/cpa.3160390714.
- ^ Li, Jun; Yau, Shing Tung (1987). "Hermitian-Yang-Mills Connection on Non-Kähler Manifolds". Mathematical Aspects of String Theory. pp. 560–573. doi:10.1142/9789812798411_0027. ISBN 978-9971-5-0273-7.
- ^ Yau, Shing-Tung (1993). "Open problems in geometry". Differential Geometry: Partial Differential Equations on Manifolds (Los Angeles, CA, 1990). Proceedings of Symposia in Pure Mathematics. Vol. 54. pp. 1–28. doi:10.1090/pspum/054.1/1216573. ISBN 9780821814949. MR 1216573.
- ^ Mabuchi, Toshiki (1986). "K-energy maps integrating Futaki invariants". Tohoku Mathematical Journal. 38 (4): 575–593. doi:10.2748/tmj/1178228410. S2CID 122723602.
- ^ Odaka, Yuji (March 2013). "A generalization of the Ross--Thomas slope theory". Osaka Journal of Mathematics. 50 (1): 171–185. MR 3080636.
- ^ Wang, Xiaowei (2012). "Height and GIT weight". Mathematical Research Letters. 19 (4): 909–926. doi:10.4310/MRL.2012.V19.N4.A14. S2CID 11990163.
- ^ Paul, Sean Timothy (2012). "Hyperdiscriminant polytopes, Chow polytopes, and Mabuchi energy asymptotics". Annals of Mathematics. 175 (1): 255–296. arXiv:0811.2548. doi:10.4007/annals.2012.175.1.7. JSTOR 41412137. S2CID 8871401.
- ^ Li, Chi (2017). "K-semistability is equivariant volume minimization". Duke Mathematical Journal. 166 (16): 3147–3218. arXiv:1512.07205. doi:10.1215/00127094-2017-0026. S2CID 119164357.
- ^ Fujita, Kento (2019). "A valuative criterion for uniform K-stability of Q-Fano varieties". Journal für die reine und angewandte Mathematik (Crelle's Journal). 2019 (751): 309–338. doi:10.1515/crelle-2016-0055. S2CID 125279282.
- ^ Li, Chi; Xu, Chenyang (2014). "Special test configuration and K-stability of Fano varieties". Annals of Mathematics. 180 (1): 197–232. arXiv:1111.5398. doi:10.4007/annals.2014.180.1.4. JSTOR 24522921. S2CID 54927428.
- ^ Stoppa, Jacopo (2011). "A note on the definition of K-stability". arXiv:1111.5826 [math.AG].
- ^ a b An Introduction to Extremal Kähler Metrics. Graduate Studies in Mathematics. Vol. 152. 2014. doi:10.1090/gsm/152. ISBN 9781470410476.
- ^ Chen, Xiuxiong; Donaldson, Simon; Sun, Song (2014). "Kähler–Einstein Metrics and Stability". International Mathematics Research Notices. 2014 (8): 2119–2125. arXiv:1210.7494. doi:10.1093/IMRN/RNS279. S2CID 119165036.
- ^ Chen, Xiuxiong; Donaldson, Simon; Sun, Song (2014). "Kähler-Einstein metrics on Fano manifolds. I: Approximation of metrics with cone singularities". Journal of the American Mathematical Society. 28: 183–197. arXiv:1211.4566. doi:10.1090/S0894-0347-2014-00799-2. S2CID 119641827.
- ^ Chen, Xiuxiong; Donaldson, Simon; Sun, Song (2014). "Kähler-Einstein metrics on Fano manifolds. II: Limits with cone angle less than 2π". Journal of the American Mathematical Society. 28: 199–234. arXiv:1212.4714. doi:10.1090/S0894-0347-2014-00800-6. S2CID 119140033.
- ^ Chen, Xiuxiong; Donaldson, Simon; Sun, Song (2014). "Kähler-Einstein metrics on Fano manifolds. III: Limits as cone angle approaches 2π and completion of the main proof". Journal of the American Mathematical Society. 28: 235–278. arXiv:1302.0282. doi:10.1090/S0894-0347-2014-00801-8. S2CID 119575364.
- ^ Tian, Gang (2015). "K-Stability and Kähler-Einstein Metrics". Communications on Pure and Applied Mathematics. 68 (7): 1085–1156. arXiv:1211.4669. doi:10.1002/cpa.21578. S2CID 119303358.
- ^ Tian, Gang (2015). "Corrigendum: K-Stability and Kähler-Einstein Metrics". Communications on Pure and Applied Mathematics. 68 (11): 2082–2083. doi:10.1002/cpa.21612. S2CID 119666069.
- ^ "2019 Oswald Veblen Prize in Geometry to Xiuxiong Chen, Simon Donaldson, and Song Sun". American Mathematical Society. 2018-11-19. Retrieved 2019-04-09.
- ^ Simon Donaldson "For the new revolutionary invariants of four-dimensional manifolds and for the study of the relation between stability in algebraic geometry and in global differential geometry, both for bundles and for Fano varieties."
- ^ Breakthrough Prize in Mathematics 2021
- ^ Székelyhidi, Gábor (2016). "The partial 𝐶⁰-estimate along the continuity method". Journal of the American Mathematical Society. 29 (2): 537–560. arXiv:1310.8471. doi:10.1090/jams/833.
- ^ Datar, Ved; Székelyhidi, Gábor (2016). "Kähler–Einstein metrics along the smooth continuity method". Geometric and Functional Analysis. 26 (4): 975–1010. arXiv:1506.07495. doi:10.1007/s00039-016-0377-4. S2CID 253643887.
- ^ Chen, Xiuxiong; Sun, Song; Wang, Bing (2018). "Kähler–Ricci flow, Kähler–Einstein metric, and K–stability". Geometry & Topology. 22 (6): 3145–3173. arXiv:1508.04397. doi:10.2140/gt.2018.22.3145. MR 3858762. S2CID 5667938.
- ^ Berman, Robert; Boucksom, Sébastien; Jonsson, Mattias (2021). "A variational approach to the Yau–Tian–Donaldson conjecture". Journal of the American Mathematical Society. 34 (3): 605–652. arXiv:1509.04561. doi:10.1090/jams/964. MR 4334189. S2CID 119323049.
- ^ Donaldson, Simon K. (2005). "Interior estimates for solutions of Abreu's equation". Collectanea Mathematica. 56 (2): 103–142. arXiv:math/0407486. Zbl 1085.53063.
- ^ Donaldson, S. K. (2008). "Extremal metrics on toric surfaces: A continuity method". Journal of Differential Geometry. 79 (3): 389–432. doi:10.4310/jdg/1213798183.
- ^ Donaldson, Simon K. (2009). "Constant Scalar Curvature Metrics on Toric Surfaces". Geometric and Functional Analysis. 19: 83–136. arXiv:0805.0128. doi:10.1007/s00039-009-0714-y. S2CID 17765416.
- ^ Stoppa, Jacopo (2009). "K-stability of constant scalar curvature Kähler manifolds". Advances in Mathematics. 221 (4): 1397–1408. arXiv:0803.4095. doi:10.1016/j.aim.2009.02.013. S2CID 6554854.
- ^ Arezzo, Claudio; Pacard, Frank (2006). "Blowing up and desingularizing constant scalar curvature Kähler manifolds". Acta Mathematica. 196 (2): 179–228. arXiv:math/0411522. doi:10.1007/s11511-006-0004-6. S2CID 14605574.
- ^ Deligne, P.; Mumford, D. (1969). "The irreducibility of the space of curves of given genus". Publications Mathématiques de l'IHÉS. 36: 75–109. doi:10.1007/BF02684599.
- ^ Tian, Gang (1987). "On Kähler-Einstein metrics on certain Kähler manifolds with C1 (M)> 0". Inventiones Mathematicae. 89 (2): 225–246. Bibcode:1987InMat..89..225T. doi:10.1007/BF01389077. S2CID 122352133.
- ^ Zhuang, Ziquan (2021). "Optimal destabilizing centers and equivariant K-stability". Inventiones Mathematicae. 226 (1): 195–223. arXiv:2004.09413. Bibcode:2021InMat.226..195Z. doi:10.1007/s00222-021-01046-0. S2CID 215827850.
- ^ Tian, Gang (2000). Canonical Metrics in Kähler Geometry. Notes taken by Meike Akveld. Lectures in Mathematics. ETH Zürich, Birkhäuser Verlag, Basel. doi:10.1007/978-3-0348-8389-4. ISBN 978-3-7643-6194-5. S2CID 120250582.
- ^ a b Székelyhidi, Gábor (2015). "Filtrations and test-configurations. With an appendix by Sebastien Boucksom". Mathematische Annalen. 362 (1–2): 451–484. arXiv:1111.4986. doi:10.1007/s00208-014-1126-3. S2CID 253716855.
- ^ a b Ross, Julius; Thomas, Richard (2006). "A study of the Hilbert-Mumford criterion for the stability of projective varieties". Journal of Algebraic Geometry. 16 (2): 201–255. arXiv:math/0412519. doi:10.1090/S1056-3911-06-00461-9. MR 2274514. S2CID 15621023.
- ^ Mumford, David (1977). "Stability of Projective Varieties". Enseignement Math. 22 (2): 39–110. doi:10.5169/seals-48919.
- ^ Ross, Julius; Thomas, Richard (2006). "An obstruction to the existence of constant scalar curvature Kähler metrics". Journal of Differential Geometry. 72 (3): 429–466. arXiv:math/0412518. doi:10.4310/jdg/1143593746. MR 2219940. S2CID 15411889.
- ^ Hong, Ying-Ji (1999). "Constant Hermitian scalar curvature equations on ruled manifolds". Journal of Differential Geometry. 53 (3): 465–516. doi:10.4310/jdg/1214425636.
- ^ Apostolov, Vestislav; Calderbank, David M.J.; Gauduchon, Paul; Tønnesen-Friedman, Christina W. (2008). "Hamiltonian 2-forms in Kähler geometry, III extremal metrics and stability". Inventiones Mathematicae. 173 (3): 547–601. arXiv:math/0511118. Bibcode:2008InMat.173..547A. doi:10.1007/s00222-008-0126-x. S2CID 17821805.
- ^ Witt Nyström, David (2012). "Test configurations and Okounkov bodies". Compositio Mathematica. 148 (6): 1736–1756. arXiv:1001.3286. doi:10.1112/S0010437X12000358.
Notes
[edit]- ^ Xiuxiong Chen, Simon Donaldson, Song Sun. "On some recent developments in Kähler geometry."
- ^ Gang Tian. "Response to CDS" and "More comments on CDS."