|
|
| Line 1: |
Line 1: |
| In mathematics, the '''Calabi conjecture''' was a conjecture about the existence of certain "nice" [[Riemannian metric]]s on certain [[complex manifold]]s, made by {{harvs |txt |authorlink=Eugenio Calabi |first=Eugenio |last=Calabi |year =1954 |year2=1957}} and proved by {{harvs |txt |authorlink=Shing-Tung Yau |first=Shing-Tung |last= Yau |year1=1977 |year2= 1978}}. Yau received the [[Fields Medal]] in 1982 in part for this proof.
| | Emilia Shryock is my title but you can call me anything you like. Doing ceramics is what my family members and I appreciate. Puerto Rico is where he's been residing for many years and he will by no means transfer. My day job is a meter reader.<br><br>my website: [http://withlk.com/board_RNsI08/10421 withlk.com] |
| | |
| The Calabi conjecture states that a [[compact space|compact]] [[Kähler manifold]] has a unique Kähler metric in the same class whose [[Ricci form]] is any given by 2-form representing the first [[Chern class]]. In particular if the first Chern class vanishes there is a unique Kähler metric in the same class with vanishing [[Ricci curvature]]; these are called [[Calabi–Yau manifold]]s.
| |
| | |
| More formally, the Calabi conjecture states:
| |
| :If ''M'' is a [[compact space|compact]] [[Kähler manifold]] with Kähler metric <math>g\;</math> and Kähler form <math>\omega\;</math>, and ''R'' is any [[differential form|(1,1)-form]] representing the manifold's first [[Chern class]], then there exists a unique Kähler metric <math>\tilde{g}</math> on ''M'' with Kähler form <math>\tilde{\omega}</math> such that <math>\omega\;</math> and <math>\tilde{\omega}</math> represent the same class in [[cohomology]] H<sup>2</sup>(''M'','''R''') and the [[Ricci form]] of <math>\tilde{\omega}</math> is ''R''.
| |
| | |
| The Calabi conjecture is closely related to the question of which Kähler manifolds have [[Kähler–Einstein metric]]s.
| |
| | |
| ==Kähler–Einstein metrics==
| |
| A conjecture closely related to the Calabi conjecture states that if a compact Kähler variety has a negative, zero, or positive first Chern class then it has a [[Kähler–Einstein metric]] in the same class as its Kähler metric, unique up to rescaling.
| |
| This was proved for negative first Chern classes independently by [[Thierry Aubin]] and [[Shing-Tung Yau]] in 1976. When the Chern class is zero it was proved by Yau as an easy consequence of the Calabi conjecture.
| |
| | |
| It was disproved for positive first Chern classes by Yau, who observed that the [[complex projective plane]] blown up at 2 points has no Kähler–Einstein metric and so is a counterexample. Also even when Kähler–Einstein metric exists it need not be unique. There has been a lot of further work on the positive first Chern class case. A necessary condition for the existence of a Kähler–Einstein metric is that the Lie algebra of [[holomorphic]] vector fields is reductive. Yau conjectured that when the first Chern class is positive, a Kähler variety has a [[Kähler–Einstein metric]] if and only if it is stable in the sense of [[geometric invariant theory]].
| |
| | |
| The case of complex surfaces has been settled by [[Gang Tian]]. The complex surfaces with positive Chern class are either a product of two copies of a projective line (which obviously has a Kähler–Einstein metric) or a blowup of the projective plane in at most 8 points in "general position", in the sense that no 3 lie on a line and no 6 lie on a quadric. The projective plane has a Kähler–Einstein metric, and the projective plane blown up in 1 or 2 points does not, as the Lie algebra of holomorphic vector fields is not reductive.
| |
| Tian showed that the projective plane blown up in 3, 4, 5, 6, 7, or 8 points in general position has a Kähler–Einstein metric.
| |
| | |
| ==Outline of the proof of the Calabi conjecture==
| |
| | |
| Calabi transformed the Calabi conjecture into a non–linear partial differential equation of complex [[Monge–Ampère equation|Monge–Ampere]] type, and showed that this equation has at most one solution, thus establishing the uniqueness of the required Kähler metric.
| |
| | |
| Yau proved the Calabi conjecture by constructing a solution of this equation using the [[continuity method]]. This involves first solving an easier equation, and then showing that a solution to the easy equation can be continuously deformed to a solution of the hard equation. The hardest part of Yau's solution is proving certain [[a priori estimate]]s for the derivatives of solutions.
| |
| | |
| ===Transformation of the Calabi conjecture to a differential equation===
| |
| | |
| Suppose that ''M'' is a complex compact manifold with a Kahler form ω.
| |
| Any other Kahler form in the same class is of the form
| |
| :<math>\omega+dd'\phi</math>
| |
| for some smooth function φ on ''M'', unique up to addition of a constant. The Calabi conjecture is therefore equivalent to the following problem:
| |
| | |
| :Let ''F''=''e''<sup>''f''</sup> be a positive smooth function on ''M'' with average value 1. Then there is a smooth real function φ with
| |
| ::<math>(\omega+dd'\phi)^m = e^f\omega^m</math>
| |
| :and φ is unique up to addition of a constant.
| |
| | |
| This is an equation of complex Monge–Ampere type for a single function φ.
| |
| It is a particularly hard partial differential equation to solve, as it is non-linear in the terms of highest order.
| |
| It is trivial to solve it when ''f''=0, as φ=0 is a solution. The idea of the continuity method is to show that it can be solved for all ''f'' by showing that the set of ''f'' for which it can be solved is both open and closed. Since the set of ''f'' for which it can be solved is non-empty, and the set of all ''f'' is connected, this shows that it can be solved for all ''f''.
| |
| | |
| The map from smooth functions to smooth functions taking φ to ''F'' defined by
| |
| ::<math>F=(\omega+dd'\phi)^m/\omega^m</math> | |
| is neither injective nor surjective. It is not injective because adding a constant to φ does not change ''F'', and it is not surjective
| |
| because ''F'' must be positive and have average value 1. So we consider the map restricted to functions φ that are normalized to have average value 0, and ask if this map is an isomorphism onto the set of positive ''F''=''e''<sup>''f''</sup> with average value 1. Calabi and Yau proved that it is indeed an isomorphism. This is done in several steps, described below.
| |
| | |
| ===Uniqueness of the solution===
| |
| | |
| Proving that the solution is unique involves showing that if
| |
| :<math>(\omega+dd'\varphi_1)^m = (\omega+dd'\varphi_2)^m</math>
| |
| then φ<sub>1</sub> and φ<sub>2</sub> differ by a constant
| |
| (so must be the same if they are both normalized to have average value 0).
| |
| Calabi proved this by showing that the average value of
| |
| :<math>|d(\varphi_1-\varphi_2)|^2</math>
| |
| is given by an expression that is at most 0. As it is obviously at least 0, it must be 0, so
| |
| :<math>d(\varphi_1-\varphi_2) = 0</math>
| |
| which in turn forces φ<sub>1</sub> and φ<sub>2</sub> to differ by a constant.
| |
| | |
| ===The set of ''F'' is open===
| |
| | |
| Proving that the set of possible ''F'' is open (in the set of smooth functions with average value 1) involves showing that if it is possible to solve the equation for some ''F'', then it is possible to solve it for all sufficiently close ''F''. Calabi proved this by using the [[implicit function theorem]] for [[Banach space]]s: in order to apply this, the main step is to show that the ''linearization'' of the differential operator above is invertible.
| |
| | |
| ===The set of ''F'' is closed===
| |
| This is the hardest part of the proof, and was the part done by Yau.
| |
| Suppose that ''F'' is in the closure of the image of possible
| |
| functions φ. This means that there is a sequence of
| |
| functions φ<sub>1</sub>, φ<sub>2</sub>, ...
| |
| such that the corresponding functions ''F''<sub>1</sub>, ''F''<sub>2</sub>,...
| |
| converge to ''F'', and the problem is to show that some subsequence of the φs converges to a solution φ. In order to do this, Yau finds some [[a priori bound]]s for the functions φ<sub>''i''</sub> and their higher derivatives
| |
| in terms of the higher derivatives of log(''f''<sub>''i''</sub>). Finding these bounds requires a long sequence of hard estimates, each improving slightly on the previous estimate. The bounds Yau gets are enough to show that the functions φ<sub>''i''</sub> all lie in a compact subset of a suitable Banach space of functions, so it is possible to find a convergent subsequence.
| |
| This subsequence converges to a function φ with image ''F'', which
| |
| shows that the set of possible images ''F'' is closed.
| |
| | |
| ==References==
| |
| *T. Aubin, ''Nonlinear Analysis on Manifolds, Monge–Ampère Equations'' ISBN 0-387-90704-1 This gives a proof of the Calabi conjecture and of Aubin's results on Kaehler–Einstein metrics.
| |
| *{{Citation | last1=Bourguignon | first1=Jean-Pierre | title=Séminaire Bourbaki, 30e année (1977/78) | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Math. | doi=10.1007/BFb0069970 | year=1979 | volume=710 | chapter=Premières formes de Chern des variétés kählériennes compactes [d'après E. Calabi, T. Aubin et S. T. Yau] | pages=1–21 | mr=554212 | isbn=978-3-540-09243-8}} This gives a survey of the work of Aubin and Yau.
| |
| *{{Citation | last1=Calabi | first1=Eugenio | chapter=The space of Kähler metrics |title= Proc. Internat. Congress Math. Amsterdam |volume=2 |year=1954 |pages= 206–207 | url=http://mathunion.org/ICM/ICM1954.2/ | chapter-url=http://mathunion.org/ICM/ICM1954.2/Main/icm1954.2.0206.0207.ocr.pdf}}
| |
| *{{Citation | last1=Calabi | first1=Eugenio | editor1-last=Fox | editor1-first=Ralph H. | editor2-last=Spencer | editor2-first=D. C. | editor3-last=Tucker | editor3-first=A. W. | title=Algebraic geometry and topology. A symposium in honor of S. Lefschetz | url=http://books.google.com/books?id=n_ZQAAAAMAAJ | publisher=[[Princeton University Press]] | series=Princeton Mathematical Series | mr=0085583 | year=1957 | volume=12 | chapter=On Kähler manifolds with vanishing canonical class | pages=78–89}}
| |
| *Dominic D. Joyce ''Compact Manifolds with Special Holonomy'' (Oxford Mathematical Monographs) ISBN 0-19-850601-5 This gives a simplified proof of the Calabi conjecture.
| |
| *G. Tian, [http://www.springerlink.com/content/k6w204w55607k5t2/ ''On Calabi's conjecture for complex surfaces with positive first Chern class.''] Invent. Math. 101 (1990), no. 1, 101–172.
| |
| *{{Citation | last1=Yau | first1=Shing Tung | title=Calabi's conjecture and some new results in algebraic geometry | url=http://www.pnas.org/content/74/5/1798 | year=1977 | journal=[[Proceedings of the National Academy of Sciences|Proceedings of the National Academy of Sciences of the United States of America]] | issn=0027-8424 | volume=74 | issue=5 | pages=1798–1799 | mr=0451180 | doi=10.1073/pnas.74.5.1798}}
| |
| *{{Citation | last1=Yau | first1=Shing Tung | title=On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I | doi=10.1002/cpa.3160310304 | mr=480350 | year=1978 | journal=[[Communications on Pure and Applied Mathematics]] | volume=31 | issue=3 | pages=339–411}}
| |
| | |
| ==External links==
| |
| *{{citation |last=Yau |first=S. T. |url=http://www.scholarpedia.org/article/Calabi-Yau_manifold |title=Calabi-Yau manifold |publisher=Scholarpedia |doi=10.4249/scholarpedia.6524 |year=2009 |journal=Scholarpedia |volume=4 |issue=8 |pages=6524}}
| |
| | |
| [[Category:Complex manifolds]]
| |
| [[Category:Differential geometry]]
| |
Emilia Shryock is my title but you can call me anything you like. Doing ceramics is what my family members and I appreciate. Puerto Rico is where he's been residing for many years and he will by no means transfer. My day job is a meter reader.
my website: withlk.com