Asymptotics of the Gaussian Curvatures of the Canonical Metric on the Surface
Zheng Huang
备注:
11 pages. A previous post "The Canonical Metric on a Riemann Surface and Its Induced Metric on Teichmüller Space" has been rewritten to two separate papers. This is the one focusing on the canonical metric on a compact Riemann surface
We study the canonical metric on a compact Riemann surface of genus at least two. While it is known that the canonical metric is of nonpositive curvature, we show that its Gaussian curvatures are not bounded away from zero nor negative infinity when the surface is close to the compactification divisor of Riemann's moduli space.
We show that if a compact complex manifold admits a Kähler metric whose holomorphic sectional curvature is everywhere non positive and strictly negative in at least one point, then its canonical bundle is positive.
We prove that a smooth complex projective threefold with a Kähler metric of negative holomorphic sectional curvature has ample canonical line bundle. In dimensions greater than three, we prove that, under equal assumptions, the nef dimension of the canonical line bundle is maximal. With certain additional assumptions, ampleness is again obtained. The methods used come from both complex differential geometry and complex algebraic geometry.
Chern Holomorphic Sectional Curvature: Canonical Ampleness, Rigidity, and Flatness Counterexamples
Chern Institute of Mathematics and LPMC, Nankai University(南开大学陈省身数学研究所和LPMC);School of Mathematics and Statistics, Beijing Institute of Technology(北京理工大学数学与统计学院)
In dimensions $n \geq 5$, we prove a canonical neighborhood theorem for the mean curvature flow of compact $n$-dimensional submanifolds in $\mathbb{R}^N$ satisfying a pinching condition $|A|^2 < c|H|^2$ for $c = \min \{ \frac{3(n+1)}{2n(n+2)},\frac{1}{n-2}\}.$
We first provide an alternative proof of the classical Weitzneböck formula for Einstein four-manifolds using Berger curvature decomposition, motivated by which we establish a unified framework for a Weitzenböck formula for a large class of canonical metrics on four-manifolds (or a Weitzenböck formula for "Einstein metrics" on four-dimensional smooth metric measure spaces). As applications, we classify Einstein four-manifolds of half two-nonnegative curvature operator, which in some sense provides a characterization of Kähler-Einstein metrics with positive scalar curvature on four-manifolds, we…
In this note we show that if a projective manifold admits a Kähler metric with negative holomorphic sectional curvature then the canonical bundle of the manifold is ample. This confirms a conjecture of the second author.
It is known that a closed collapsed Riemannian $n$-manifold $(M,g)$ of bounded Ricci curvature and Reifenberg local covering geometry admits a nilpotent structure in the sense of Cheeger-Fukaya-Gromov with respect to a smoothed metric $g(t)$. We prove that a canonical nilpotent structure over a regular limit space that describes the collapsing of original metric $g$ can be defined and uniquely determined up to a conjugation, and prove that the nilpotent structures arising from nearby metrics $g_ε$ with respect to $g_ε$'s sectional curvature bound are equivalent to the canonical one.
We relate canonical algebraic curvature tensors that are built from a self-adjoint ($R^S_A$) or skew adjoint ($R^Λ_A$) linear operator A. Several authors have proven that any algebraic curvature tensor $R$ may be expressed as a sum of $R^S_A$, or as a sum of $R^Λ_A$. This motivates our interest in relating them as well as in the linear independence of sets of canonical algebraic curvature tensors. We develop an identity that relates $R^Λ_A$ to $R^S_A$, which will allow us to employ previous methods used for $R^S_A$ to the case of $R^Λ_A$ as well as use them interchangeably in some instances. W…
The notion of Kodaira dimension has recently been extended to general almost complex manifolds. In this paper we focus on the Kodaira dimension of almost Kähler manifolds, providing an explicit computation for a family of almost Kähler threefolds on the differentiable manifold underlying a Nakamura manifold. We concentrate also on the link between Kodaira dimension and the curvature of the canonical connection of an almost Kähler manifold, and show that in the previous example (and in another one obtained from a Kodaira surface) the Ricci curvature of the almost Kähler metric vanishes for all …
We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on $(m,0)$ forms, i.e., sections of the canonical bundle of Kähler manifolds, where $m$ is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formula for the gradient of $(m, 0)$ forms, which involves only the Ricci curvature and the gradient of the scalar curvature.
In this short note we are concerned with the Kahler-Einstein metrics near cone type log canonical singularities. By two different approaches, we construct a complete Kahler-Einstein metric with negative scalar curvature in a neighborhood of the cone over a Calabi-Yau manifold, which provides a local model for the future study of the global Kahler-Einstein metrics on singular varieties. In the first approach, we show that the singularity is uniformized by a complex ball and hence the induced metric from the Bergman metric of the ball is a desired one. In the second approach, we obtain a complet…
The $\bar{\partial}_{_{J}}$ operator over an almost complex manifold induces canonical connections of type $(0,1)$ over the bundles of $(p,0)$-forms. If the almost complex structure is integrable then the previous connections induce the canonical holomorphic structures of the bundles of $(p,0)$-forms. For $p=1$ we can extend the corresponding connection to all Schur powers of the bundle of $(1,0)$-forms. Moreover using the canonical $\C$-linear isomorphism betwen the bundle of $(1,0)$-forms and the complex cotangent bundle $T^*_{X,J}$ we deduce canonical connections of type $(0,1)$ over the Sc…
In this work we consider compact Kähler manifolds with non-positive mixed curvature which is a "convex combination" of Ricci curvature and holomorphic sectional curvature. We show that in this case, the canonical line bundle is nef. Moreover, if the curvature is negative at some point, then the manifold is projective with canonical line bundle being big and nef. If in addition the curvature is negative, then the canonical line bundle is ample. As an application, we answer a question of Ni concerning manifolds with negative $k$-Ricci curvature and generalize a result of Wu-Yau and Diverio-Trapa…
This is a continuation of our first paper in [WY16]. There are two purposes of this paper: One is to give a proof of the main result in [WY16] without going through the argument depending on numerical effectiveness. The other one is to provide a proof of our conjecture, mentioned in [TY], where the assumption of negative holomorphic sectional curvature is dropped to quasi-negative. We should note that a solution to our conjecture is also provided by Diverio-Trapani [DT]. Both proofs depend on our argument in [WY16]. But our argument here makes use of the argument given by the second author and…
This paper is devoted to the study of unparameterized simple curves in the plane. We propose diverse canonical parameterizations of a 2D-curve. For instance, the arc-length parameterization is canonical, but we consider other natural parameterizations like the parameterization proportionnal to the curvature of the curve. Both aforementionned parameterizations are very natural and correspond to a natural physical movement: the arc-length parameterization corresponds to travelling along the curve at constant speed, whereas parameterization proportionnal to curvature corresponds to a constant-spe…
A space-like surface in Minkowski space-time is minimal if its mean curvature vector field is zero. Any minimal space-like surface of general type admits special isothermal parameters - canonical parameters. For any minimal surface of general type parameterized by canonical parameters we obtain Weierstrass representations - canonical Weierstrass representations via two holomorphic functions. We find the expressions of the Gauss curvature and the normal curvature of the surface with respect to this pair of holomorphic functions. We find the relation between two pairs of holomorphic functions ge…
This survey article mainly addresses to graduate students and young researchers in complex geometry willing to enter the beautiful word of connections between curvature and Kobayashi hyperbolicity. It is a detailed account of a recent breakthrough by Wu and Yau, shortly after generalized by Tosatti and Yang (and others), which sits on the crossroad between complex differential geometry and Kobayashi hyperbolicity. More specifically, an old conjecture by Kobayashi, stated at the very beginning of the theory, predicts that a compact hyperbolic manifold should have ample canonical bundle. Now, on…
We consider Lorentz surfaces in $\mathbb R^3_1$ satisfying the condition $H^2-K\neq 0$, where $K$ and $H$ are the Gauss curvature and the mean curvature, respectively, and call them Lorentz surfaces of general type. For this class of surfaces we introduce special isotropic coordinates, which we call canonical, and show that the coefficient $F$ of the first fundamental form and the mean curvature $H$, expressed in terms of the canonical coordinates, satisfy a special integro-differential equation which we call a natural equation of the Lorentz surfaces of general type. Using this natural equati…
Given a solution of the (backwards) Ricci flow one can construct a so called canonical soliton metric on space-time, introduced by E. Cabezas-Rivas and P. Topping. We observe that for a mean curvature flow within a (backwards) Ricci flow background, the space-time track of the mean curvature flow yields a canonical soliton of the coupled flow within the canonical Ricci soliton. We show that this provides a link between Hamilton's differential Harnack estimate for the mean curvature flow and Hamilton's differential Harnack estimate for the Ricci flow. Moreover the second fundamental form of our…
In this paper we consider left-invariant pseudo-Kähler structures on six-dimensional nilpotent Lie algebras. The explicit expressions of the canonical complex structures are calculated, and the curvature properties of the associated pseudo-Kähler metrics are investigated. It is proved that the associated pseudo-Kähler metric is Ricci-flat, that the curvature tensor has zero pseudo-Riemannian norm, and that the curvature tensor has some non-zero components that depend only on two or, at most, three parameters. The pseudo-Kähler structures obtained give basic models of pseudo-Kähler six-dimensio…
In this paper, we systematically compute the Bianchi identities for the canonical connection on an almost Hermitian manifold. Moreover, we also compute the curvature tensor of the Levi-Civita connection on almost Hermitian manifolds in terms of curvature and torsion of the canonical connection. As applications of the curvature identities, we obtain some results about the integrability of quasi Kaehler manifolds and some properties of nearly Kaehler manifolds.
We characterize quasi Kähler manifolds whose curvature tensor associated to the canonical Hermitian connection satisfies the first Bianchi identity. This condition is related with the third Gray identity and in the almost Kähler case implies the integrability. Our main tool is the existence of generalized holomorphic frames introduced by the second author previously. By using such frames we also give a simpler and shorter proof of a Theorem of Goldberg. Furthermore we study almost Hermitian structures having the curvature tensor associated to the canonical Hermitian connection equal to zero. W…
In this paper, we consider Kahler-Ricci flow on n-dimensional Kahler manifold with semi-ample canonical line bundle and 0< m:= Kod(X)<n. Such manifolds admit a Calabi-Yau fibration over its canonical model. We prove that the scalar curvature of the Kahler metric along the normalized Kahler-Ricci flow converge to -m outside the singular set of this fibration.
If the initial hypersurface of an immortal mean curvature flow is asymptotic to a regular cone whose entropy is small, the flow will become asymptotically self-expanding. Moreover, the expander that gives rise to the limiting flow is asymptotically stable as an equilibrium solution of the normalized mean curvature flow.
In this paper I study the constant mean curvature surface in asymptotically flat 3-manifolds with general asymptotics. Under some weak condition, I prove that outside some compact set in the asymptotically flat 3-manifold with positive mass, the foliation of stable spheres of constant mean curvature is unique.
We investigate curvature properties of 3-$(α,δ)$-Sasaki manifolds, a special class of almost 3-contact metric manifolds generalizing 3-Sasaki manifolds (corresponding to $α= δ= 1$) that admit a canonical metric connection with skew torsion and define a Riemannian submersion over a quaternionic Kähler manifold with vanishing, positive or negative scalar curvature, according to $δ= 0$, $αδ> 0$ or $αδ< 0$. We shall investigate both the Riemannian curvature and the curvature of the canonical connection, with particular focus on their curvature operators, regarded as symmetric endomorphisms of the …
It is a classical fact that the cotangent bundle $T^* \M$ of a differentiable manifold $\M$ enjoys a canonical symplectic form $Ω^*$. If $(\M,\j,g,ω)$ is a pseudo-Kähler or para-Kähler $2n$-dimensional manifold, we prove that the tangent bundle $T\M$ also enjoys a natural pseudo-Kähler or para-Kähler structure $(\J,\G,Ω)$, where $Ω$ is the pull-back by $g$ of $Ω^*$ and $\G$ is a pseudo-Riemannian metric with neutral signature $(2n,2n)$. We investigate the curvature properties of the pair $(\J,\G)$ and prove that: $\G$ is scalar-flat, is not Einstein unless $g$ is flat, has nonpositive (resp.\ …
Motivated by the recent work of Chu-Lee-Tam on the nefness of canonical line bundle for compact Kähler manifolds with nonpositive $k$-Ricci curvature, we consider a natural notion of {\em almost nonpositive $k$-Ricci curvature}, which is weaker than the existence of a Kähler metric with nonpositive $k$-Ricci curvature. When $k=1$, this is just the {\em almost nonpositive holomorphic sectional curvature} introduced by Zhang. We firstly give a lower bound for the existence time of the twisted Kähler-Ricci flow when there exists a Kähler metric with $k$-Ricci curvature bounded from above by a pos…
We prove the existence of a complete locally Lipschitz continuous hypersurface in weak sense with prescribed Weingarten curvature and asymptotic boundary at infinity in hyperbolic space under certain assumptions.
In this paper, we prove the Miyaoka-Yau inequality for compact Kähler manifolds with semi-positive canonical bundle. The key point of the proof is the estimate for the $L^2$-norm of the scalar curvature along the Kähler-Ricci flow.
In this paper, we introduce a monotonicity formula for the mean curvature flow which is related to self-expanders. Then we use the monotonicity to study the asymptotic behavior of Type III mean curvature flow on noncompact hypersurfaces.
Minimal surfaces of general type in Euclidean 4-space are characterized with the conditions that the ellipse of curvature at any point is centered at this point and has two different principal axes. Any minimal surface of general type locally admits geometrically determined parameters - canonical parameters. In such parameters the Gauss curvature and the normal curvature satisfy a system of two natural partial differential equations and determine the surface up to a motion. For any minimal surface parameterized by canonical parameters we obtain Weierstrass representations - canonical Weierstra…
We study the compact noncollapsed ancient convex solutions to Mean Curvature Flow in $\mathbb{R}^{n+1}$ with $O(1)\times O(n)$ symmetry. We show they all have unique asymptotics as $t\to -\infty$ and we give precise asymptotic description of these solutions. In particular, solutions constructed by White, and Haslhofer and Hershkovits have those asymptotics (in the case of those particular solutions the asymptotics was predicted and formally computed by Angenent).
Optimal asymptotic volume ratio for noncompact 3-manifolds with asymptotically nonnegative Ricci curvature and a uniformly positive scalar curvature lower bound
Given an effectively parameterized family $f:X\to S$ of canonically polarized manifolds, the Kähler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $K_{X/S}$. We use a global elliptic equation to show that this metric is strictly positive everywhere and give estimates. The direct images $R^{n-p}f_*Ω^p_{X/S}(K_{X/S}^{\otimes m})$, $m > 0$, carry induced natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images with estimates, which implies Nakano-positivity for $p=n$. The Kodaira-Spencer map induces morphism…
The existence of a smooth complete strictly locally convex hypersurface with prescribed scalar curvature and asymptotic boundary at infinity in $\mathbb{H}^{3}$ is proved under the assumption that there exists a strictly locally convex subsolution.
The main result of this paper is: Given any constant C, there is $(ε,k,L)$ such that if a complete, orientable, noncompact odd-dimensional manifold with bounded positive sectional curvature contains a $(ε,k,L)$-neck, then the asymptotic scalar curvature ratio is bigger or equal to C. As a application we proved that the asymptotic scalar curvature ratio of a complete noncompact ancient Type I-like solution to the Ricci flow with bounded positive sectional curvature on an orientable 3-manifold, is infinity.
We study asymptotically harmonic manifolds of negative curvature, without any cocompactness or homogeneity assumption. We show that asymptotic harmonicity provides a lot of information on the asymptotic geometry of these spaces: in particular, we determine the volume entropy, the spectrum and the relative densities of visual and harmonic measures on the ideal boundary. Then, we prove an asymptotic analogue of the classical mean value property of harmonic manifolds, and we characterize asymptotically harmonic manifolds, among Cartan-Hadamard spaces of strictly negative curvature, by the existen…
We prove a phenomenon of concentration of total curvature for stable minimal surfaces in the product space H^2xR; where H^2 is the hyperbolic plane. Under some geometric conditions on the asymptotic boundary of an oriented stable minimal surface immersed in H^2xR, it has infinite total curvature. In particular, we infer that a minimal graph M in H^2xR whose asymptotic boundary is a graph over an arc of the asymptotic boundary of H^2, different from the asymptotic boundary of the boundary of M, has infinite total curvature. Consequently, if M is a stable minimal surface immersed into H^2xR with…
We construct Kahler-Einstein metrics with negative scalar curvature near an isolated log canonical (non-log terminal) singularity. Such metrics are complete near the singularity if the underlying space has complex dimension 2 or if the singularity is smoothable. In complex dimension 2, we show that any complete Kahler-Einstein metric of negative scalar curvature near an isolated log canonical (non-log terminal) singularity is smoothly asymptotically close to one of the model metrics constructed by Kobayashi and Nakamura arising from hyperbolic geometry.
In this paper we define the class of constant affine mean curvature (CAMC) discrete asymptotic nets, which contains the well-known classes of affine spheres and affine minimal asymptotic nets. This class is defined by considering fields of compatible interpolating quadrics, i.e., quadrics that have common tangent planes at the edges of the net. We show that, for CAMC asymptotic nets, ruled discrete asymptotic nets is equivalent to ruled compatible interpolating quadrics. Moreover, we prove discrete counterparts of some known properties of the Demoulin transform of a smooth CAMC surface.
We prove that simply connected H-surfaces with bounded area and free boundary in a domain necessarily concentrate at a critical point of the mean curvature of the boundary of this domain.
In sub-Riemannian geometry the coefficients of the Jacobi equation define curvature-like invariants. We show that these coefficients can be interpreted as the curvature of a canonical Ehresmann connection associated to the metric, first introduced in [Zelenko-Li]. We show why this connection is naturally nonlinear, and we discuss some of its properties.
We study surfaces with parallel normalized mean curvature vector field in Euclidean or Minkowski 4-space. On any such surface we introduce special isothermal parameters (canonical parameters) and describe these surfaces in terms of three invariant functions. We prove that any surface with parallel normalized mean curvature vector field parametrized by canonical parameters is determined uniquely up to a motion in Euclidean (or Minkowski) space by the three invariant functions satisfying a system of three partial differential equations. We find examples of surfaces with parallel normalized mean …
We provide the first general result for the asymptotics of the area preserving mean curvature flow in two dimensions showing that flat flow solutions, starting from any bounded set of finite perimeter, converge with exponential rate to a finite union of equally sized disjoint disks. A similar result is established also for the periodic two-phase Mullins-Sekerka flow.
On any timelike surface with zero mean curvature in the four-dimensional Minkowski space we introduce special geometric (canonical) parameters and prove that the Gauss curvature and the normal curvature of the surface satisfy a system of two natural partial differential equations. Conversely, any two solutions to this system determine a unique (up to a motion) timelike surface with zero mean curvature so that the given parameters are canonical. We find all timelike surfaces with zero mean curvature in the class of rotational surfaces of Moore type. These examples give rise to a one-parameter f…