An obstruction to the existence of constant scalar curvature Kähler metrics
J. Ross, R. P. Thomas
备注：
Submitted version incoorporating referee's corrections. Added notion of analytic K-stability following conversations with A. Apsotolov and D. Calderbank
发表信息：
Journal of Differential Geometry 72, 429--466. 2006.
We prove that polarised manifolds that admit a constant scalar curvature Kähler (cscK) metric satisfy a condition we call slope semistability. That is, we define the slope $μ$ for a projective manifold and for each of its subschemes, and show that if $X$ is cscK then $μ(Z)\leμ(X)$ for all subschemes $Z$.
This gives many examples of manifolds with Kähler classes which do not admit cscK metrics, such as del Pezzo surfaces and projective bundles. If $\PP(E)\to B$ is a projective bundle which admits a cscK metric in a rational Kähler class with sufficiently small fibres, then $E$ is a slope semistable bundle (and $B$ is a slope semistable polarised manifold). The same is true for \emph{all} rational Kähler classes if the base $B$ is a curve.
We also show that the slope inequality holds automatically for smooth curves, canonically polarised and Calabi Yau manifolds, and manifolds with $c_1(X)<0$ and $L$ close to the canonical polarisation.
Let $M^n$ be a compact K$\ddot{a}$hler manifold with almost nonnegative Ricci curvature and nonzero first Betti number. We show that the holomorphic Euler number of $M^n$ vanishes, which gives a new obstruction for compact complex manifolds admitting K$\ddot{a}$hler metrics with almost nonnegative Ricci curvature. A crucial step in the proof is to show a vanishing theorem of Dolbeault-Morse-Novikov cohomology.
In this note we prove the following result: There is a positive constant $ε(n,Λ)$ such that if $M^n$ is a simply connected compact K$\ddot{a}$hler manifold with sectional curvature bounded from above by $Λ$, diameter bounded from above by 1, and with holomorphic bisectional curvature $H \geq -ε(n,Λ)$, then $M^n$ is diffeomorphic to the product $M_1\times ... \times M_k$, where each $M_i$ is either a complex projective space or an irreducible K$\ddot{a}$hler-Hermitian symmetric space of rank $\geq 2$. This resolves a conjecture of F. Fang under the additional upper bound restrictions on section…
We introduce a class of almost homogeneous varieties contained in the class of spherical varieties and containing horospherical varieties as well as complete symmetric varieties. We develop K{ä}hler geometry on these varieties, with applications to canonical metrics in mind, as a generalization of the Guillemin-Abreu-Donaldson geometry of toric varieties. Namely we associate convex functions with hermitian metrics on line bundles, and express the curvature form in terms of this function, as well as the corresponding Monge-Amp{è}re volume form and scalar curvature. We then provide an expression…
In this paper, we show that any compact K$ä$hler manifold homotopic to a compact Riemannian manifold with negative sectional curvature admits a K$ä$hler-Einstein metric of general type. Moreover, we prove that, on a compact symplectic manifold $X$ homotopic to a compact Riemannian manifold with negative sectional curvature, for any almost complex structure $J$ compatible with the symplectic form, there is no non-constant $J$-holomorphic entire curve $f:C \rightarrow X$.
On any compact Riemann surface there always exists a singular non-CSC (constant scalar curvature) extremal K$\ddot{a}$hler metric which is called a non-CSC HCMU (the Hessian of the Curvature of the Metric is Umbilical) metric. In this paper, by moving frames, we show that any non-CSC HCMU metric can not be isometrically minimal immersed into 3-dimensional real space forms even locally. In general, any non-CSC HCMU metric can not be isometrically immersed into 3-dimensional real space forms with constant mean curvature (CMC).
The object of the present paper is to study some properties of para-K$ä$hler manifold whose metric is conformal Einstein soliton. We have studied some certain curvature properties of para-K$ä$hler manifold admitting conformal Einstein soliton.
In this paper we prove that for a complete, connected and oriented Käler affine manifold $(M,G)$ of dimension $n,$ if it is Kähler affine Ricci flat or the K$\ddot{a}$hler affine scalar curvature $S\equiv0,$ ($n\leq 5$), then the universal covering manifold $\widetilde{M}$ of $M$ is isometric to the Euclidean n-space $E^{n}$.
By establishing two general quadratic inequalities, we obtain some inequalities related to Ricci curvatures for Lagrangian submanifolds of K$\ddot{\mathrm{a}}$hler QCH-manifolds, which generalize some results for Lagrangian submanifolds of complex space forms.
Applying a local Gauss-Bonnet formula for closed subanalytic sets to the complex analytic case, we obtain characterizations of the Euler obstruction of a complex analytic germ in terms of the Lipschitz-Killing curvatures and the Chern forms of its regular part. We also prove analogous results for the global Euler obstruction. As a corollary, we give a positive answer to a question of Fu on the Euler obstruction and the Gauss-Bonnet measure.
We investigate invariants of compact hyperk{ä}hler manifolds introduced by Rozansky and Witten: they associate an invariant to each graph homology class. It is obtained by using the graph to perform contractions on a power of the curvature tensor and then integrating the resulting scalar-valued function over the manifold, arriving at a number. For certain graph homology classes, the invariants we get are Chern numbers, and in fact all characteristic numbers arise in this way. We use relations in graph homology to study and compare these hyperk{ä}hler manifold invariants. For example, we show t…
It is shown that the variational derivative of the integral of Branson's Q-curvature is the ambient obstruction tensor of Fefferman-Graham. A classification of irreducible conformally invariant tensors modulo quadratic and higher degree terms in curvature is established.
We provide integral curvature bounds for compact Riemannian manifolds that allow isometric immersions into a Euclidean space with low codimension in terms of the Betti numbers.
Motivated to study the geometry of the exotic spheres constructed in [5], we derive a necessary condition for non-negative sectional curvature in certain total spaces of Riemannian submersions with totally geodesic fibers. In particular, we prove that the bundles in [5] and [1] have sections of negative curvature.
For any complete noncompact K$\ddot{a}$hler manifold with nonnegative and bounded holomorphic bisectional curvature,we provide the necessary and sufficient condition for non-ancient solution to the Ricci flow in this paper.
We show that the indices of certain twisted Dirac operators vanish on a $Spin$-manifold $M$ of positive sectional curvature if the symmetry rank of $M$ is $\geq 2$ or if the symmetry rank is one and $M$ is two connected. We also give examples of simply connected manifolds of positive Ricci curvature which do not admit a metric of positive sectional curvature and positive symmetry rank.
We establish new obstruction results to the existence of Riemannian metrics on tori satisfying mixed bounds on both their sectional and Ricci curvatures. More precisely, from Lohkamp's theorem, every torus of dimension at least three admits Riemannian metrics with negative Ricci curvature. We show that the sectional curvature of these metrics cannot be bounded from above by an arbitrarily small positive constant. In particular, if the Ricci curvature of a Riemannian torus is negative, bounded away from zero, then there exist some planar directions in this torus where the sectional curvature is…
We find new obstructions to the existence of complete Riemannian metric of nonnegative sectional curvature on manifolds with infinite fundamental groups. In particular, we construct many examples of vector bundles whose total spaces admit no nonnegatively curved metric.
K. Grove, L. Verdiani, B. Wilking and W. Ziller gave the first examples of cohomogeneity one manifolds which do not carry invariant metrics with non-negative sectional curvatures. In this paper we generalize their results to a larger family. We also classified all class one representations for a pair (G;H) with G/H some sphere, which are used to construct the examples.
In this paper, we consider an obstruction to asymptotic Chow-semistability of a polarized Kaehler algebraic manifold. Even when a linear algebraic group of positive dimension acts nontrivially and holomorphically on a polarized Kaehler algebraic manifold with constant scalar curvature, the vanishing of the obstruction allows us to generalize Donaldson's construction of approximate solutions for equations of balanced metrics.
The classical theory of $G$-structures, which include almost-complex structures, explains the relationship between the curvature of compatible connections and integrability. This note is an effort to understand how the curvature of Riemannian metrics can obstruct the integrability of almost-complex structures. It is shown that certain special complex structures cannot coexist with non-flat constant curvature metrics, and a formal variational realization of these structures is provided. The approach followed here is direct, meaning that it bypasses the classical theory. The idea is to find obst…
We study topological obstructions to the existence of a Riemannian metric on manifolds with boundary such that the scalar curvature is non-negative and the boundary is mean convex. We construct many compact manifolds with boundary which admit no Riemannian metric with non-negative scalar curvature and mean convex boundary. For example, we show that the manifold $(T^{n-2}\times Σ)\# N$, where $Σ$ is a compact, connected and orientable surface which is not a disk or a cylinder and $N$ is a closed $n$-dimensional manifold, does not admit a metric of non-negative scalar curvature and mean convex b…
In contrast to the homogeneous case, we show that there are compact cohomogeneity one manifolds, that do not support invariant metrics of non-negative sectional curvature. In fact we exhibit infinite families of such manifolds including the exotic Kervaire spheres. Such examples exist for any codimension of the singular orbits except for the case where both are equal to two, where existence of non-negatively curved metrics is known.
We prove a Pohozaev type identity for non-linear eigenvalue equations of the Dirac operator on Riemannian spin manifolds with boundary. As an application, we obtain that the mean curvature H of a conformal immersion S^{n}-> R^{n+1} satisfies $\int \partial_X H=0$ where X is a conformal vector field on S^{n} and where the integration is carried out with respect to the Euclidean volume measure of the image.<BR> This identity is analogous to the Kazdan-Warner obstruction that appears in the problem of prescribing the scalar curvature on S^{n} inside the standard conformal class.
We provide a quantitative obstruction to collapsing surfaces of genus at least 2 under a lower curvature bound and an upper diameter bound. Keywords: curvature; diameter; volume; filling radius; systole; Gromov-Hausdorff distance
Let $(M^3,g_0)$ be a complete noncompact Riemannian 3-manifold with nonnegative Ricci curvature and with injectivity radius bounded away from zero. Suppose that the scalar curvature $R(x)\to 0$ as $x\to \infty$. Then the Ricci flow with initial data $(M^3,g_0)$ has a long time solution. This extends a recent result of Ma and Zhu. We also have a higher dimensional version, and we reprove a K$\ddot{a}$hler analogy due to Chau, Tam and Yu.
We extend the notions of CR GJMS operators and Q-curvature to the case of partially integrable CR structures. The total integral of the CR Q-curvature turns out to be a global invariant of compact nondegenerate partially integrable CR manifolds equipped with an orientation of the bundle of contact forms, which is nontrivial in dimension at least five. It is shown that its variation is given by the curvature-type quantity called the CR obstruction tensor, which is introduced in the author's previous work. Moreover, we consider the linearized CR obstruction operator. Based on a scattering-theore…
We give a geometric obstruction to the non-negativity of the sectional curvature in the total spaces of certain Riemannian submersions with totally geodesic fibers; applications of this obstruction to several examples are given.
Block and Weinberger show that an arithmetic manifold can be endowed with a positive scalar curvature metric if and only if its $\rationals$-rank exceeds 2. We show in this article that these metrics are never in the same coarse class as the natural metric inherited from the base Lie group. Furthering the coarse $C^\ast$-algebraic methods of Roe, we find a nonzero Dirac obstruction in the $K$-theory of a particular operator algebra which encodes information about the quasi-isometry type of the manifold as well as its local geometry.
We first show that existence results due to Kazdan-Warner and Cruz-Vitório can be extended to the category of manifolds with an isolated conical singularity. More precisely, we check that, under suitable conditions on the link manifold, any bounded and smooth function which is negative somewhere is the scalar curvature of some conical metric (with the boundary being minimal whenever it is non-empty). By way of comparison, we complement this analysis by indicating how index theory, as developed by Albin-Gell-Redman, may be used to transfer to this conical setting some of the classical obstructi…
We establish a link between rational homotopy theory and the problem which vector bundles admit complete Riemannian metric of nonnegative sectional curvature. As an application, we show for a large class of simply-connected nonnegatively curved manifolds that, if C lies in the class and T is a torus of positive dimension, then "most" vector bundles over the product of C and T admit no complete nonnegatively curved metric.
We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson's theorem: the existence of an orbifold Kahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds we there…
Examples of almost-positively and quasi-positively curved spaces of the form M=H((G,h)xF) were discovered recently. Here, h is a left-invariant metric on a compact Lie group G, F is a compact Riemannian manifold on which the subgroup H of G acts isometrically on the left, and M is the orbit space of the diagonal left action of H on (G,h)xF with the induced Riemannian submersion metric. We prove that no new examples of strictly positive sectional curvature exist in this class of metrics. This result generalizes the case F={point} proven by Geroch.
We establish fundamental results for a parabolic flow of Riemannian metrics introduced by Bahuaud-Helliwell in arXiv:1010:4287v1 which is based on the Fefferman-Graham ambient obstruction tensor. First, we obtain local $L^2$ smoothing estimates for the curvature tensor and use them to prove pointwise smoothing estimates for the curvature tensor. We use the pointwise smoothing estimates to show that the curvature must blow up for a finite time singular solution. We also use the pointwise smoothing estimates to prove a compactness theorem for a sequence of solutions with bounded $C^0$ curvature …
We prove integral curvature bounds in terms of the Betti numbers for compact submanifolds of the Euclidean space with low codimension. As an application, we obtain topological obstructions for $δ$-pinched immersions. Furthermore, we obtain intrinsic obstructions for minimal submanifolds in spheres with pinched second fundamental form.
This is a survey of the current state of the question "Which closed connected manifolds of dimension $n\ge 5$ admit Riemannian metrics whose scalar curvature function is everywhere positive?" The introduction gives a brief overview of these results, while the body of the paper discusses the methods used in the proofs of these results. We mention the two flavors of topological obstructions to the existence of \pscm s: one is a consequence of the Weizenböck formula for the Dirac operator, the other is obtained by considering stable minimal hypersurfaces. We talk about geometric constructions of …
We introduce a cohomological obstruction to solving the constant scalar curvature Kähler (cscK) equation twisted by a semipositive form, appearing in works of Fine and Song-Tian. Geometrically this gives an obstruction for a manifold to be the base of a holomorphic submersion carrying a cscK metric in certain ``adiabatic'' classes. In turn this produces many new examples of general type threefolds with classes which do not admit a cscK representative. When the twist vanishes our obstruction extends the slope stability of Ross-Thomas to effective divisors on a Kähler manifold. Thus we find exam…
Given a polarized manifold there are obstructions for asymptotic Chow semistability described as integral invariants. One of them is an obstruction to the existence for the first Chern class of the polarization to admit a constant scalar curvature Kähler (cscK) metric. A natural question is whether or not the other obstructions are linearly dependent on the obstruction to the existence of a cscK metric. The purpose of this paper is to see that this is not the case by exhibiting toric Fano threefolds in which these obstructions span at least two dimension. To see this we show that on toric Fano…
We study algebraic conditions on a group G under which every properly discontinuous, isometric G-action on a Hadamard manifold has a G-invariant Busemann function. For such G we prove the following structure theorem: every open complete nonpositively curved Riemannian K(G,1) manifold that is homotopy equivalent to a finite complex of codimension >2 is an open regular neighborhood of a subcomplex of the same codimension. In this setting we show that each tangential homotopy type contains infinitely many open K(G,1) manifolds that admit no complete nonpositively curved metric even though their u…
For a manifold with an affine connection, we prove formulas which infinitesimally quantify the gap in a certain naturally defined open geodesic quadrilateral associated to a pair of tangent vectors $u$, $v$ at a point of the manifold. We show that the 1st order infinitesimal obstruction to the quadrilateral to close is always zero, the 2nd order infinitesimal obstruction to the quadrilateral to close is $-T(u,v)$ where $T$ is the torsion tensor of the connection, and if $T = 0$ then the 3rd order infinitesimal obstruction to the quadrilateral to close is $(1/2)R(u,v)(u+v)$ in terms of the curv…
