Scalar curvature and projective embeddings. I
type: Item
instance of: scholarly article
title: Scalar curvature and projective embeddings. I
zbMATH Open document ID: 1052.32017
published in: Journal of Differential Geometry
publication date: 2004-03-08T00:00:00Z
review text: Let \(X\) be a compact complex manifold of complex dimension \(n\). The author investigates the relations between the existence of a Kähler metric of constant scalar curvature on \(X\) and the existence of certain sequence of projective embeddings of \(X\). For \(n=1\), as is well-known, both existences above hold. Let \(L\to X\) be a positive line bundle. The Kodaira embedding theorem asserts that for large enough \(k\) the sections \(H^0(L^k)\) of \(L^k\) define a projective embedding \(\iota_k: X\to P(H^0(L^k)^*)\). Let \([z_0,z_1,\dots, z_N]\) be the standard homogeneous coordinates on \(\mathbb{C} P^N\) and define \(b_{\alpha\beta}= z_\alpha z_\beta/| z|^2\), where \(| z|^2= \sum| z_\alpha|^2\). If \(V\subset \mathbb{C} P^N\) is any projective variety we define \(M(V)\) to be the \((N+ 1)\times(N+ 1)\) matrix with entires \[ (M(V))_{\alpha\beta}= i \int_V b_{\alpha\beta} \,d\mu_V, \] where \(d\mu_V\) is the standard measure on \(V\) induced by the Fubini-Study metric. If \(M(V)\) is a multiple of the identity matrix we call \(V\) a balanced variety in \(\mathbb{C} P^N\). We also say that \((X,L^k)\) is balanced if we can choose a basis of \(H^0(L^k)\) such that \(\iota_k(X)\) is a balanced variety in \(\mathbb{C} P^N\). In this case we have a well defined Kähler metric \(\omega_k\) on \(X\) defined by \(\omega_k= (2\pi/k)\iota^*_k(\omega_{FS})\), where \(\omega_{FS}\) is defined by the Fubini-Study metric, the cohomology class \([\omega_k]= 2\pi\, c_1(L)\in H^2(X)\) being independent of \(k\). Now, suppose that the group \(\Aut(X,L)\) of holomorphic automorphisms of the pair \((X,L)\) is discrete. The author proves that if \((X,L^k)\) is balanced for all sufficiently large \(k\), and if \(\omega_k\) converges in \(C^\infty\) to some limit \(\omega_\infty\) as \(k\to\infty\), then \(\omega_\infty\) has constant scalar curvature. The author proves also the converse: Suppose \(\omega_\infty\) is a Kähler metric in the class \(2\pi\,c_1(L)\) with constant scalar cu…
Mathematics Subject Classification ID: 32Q15
Mathematics Subject Classification ID: 32Q40
Mathematics Subject Classification ID: 53C21
zbMATH DE Number: 2053206
zbMATH Keywords: constant scalar curvature
zbMATH Keywords: balanced variety
Wikidata QID: Q115201982
author: S. K. Donaldson
reviewed by: Akihiko Morimoto
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.4310/jdg/1090349449
OpenAlex ID: W1595246290
DOI: 10.4310/JDG/1090349449
description: scientific article; zbMATH DE number 2053206