We prove certain weak or idealized existence results for minimizers of the natural quadratic curvature functionals on the space of metrics on 4-manifolds. Overall, we try to exhibit the relations with the picture in 3-dimensions provided by Thurston geometrization. The existence results apply in particular to the structure of the moduli spaces of such metrics, and as such generalize most of the known results for moduli of Einstein metrics.
The canonical connection on a Riemannian almost product manifold is an analogue to the Hermitian connection on an almost Hermitian manifold. In this paper we consider the canonical connection on a class of Riemannian almost product manifolds with non-integrable almost product structure. We construct and characterize an example by a Lie group.
In this paper we study the extension of holomorphic canonical forms on complete d-bounded Kahler manifolds by using L2 analytic methods and L2 Hogde theory, which generalizes some classical results to noncompact cases.
In the present paper we provide a description of complete Calabi-Yau metrics on the canonical bundle of generalized complex flag manifolds. By means of Lie theory we give an explicit description of complete Ricci-flat Kähler metrics obtained through the Calabi ansatz technique. We use this approach to provide several explicit examples of noncompact complete Calabi-Yau manifolds, these examples include canonical bundles of non-toric flag manifolds (e.g. Grassmann manifolds and full flag manifolds).
In this paper many classes of sets of matrices with entries in F (F=R, F=C, F=H) are introduced. Each class with the corresponding topology determines a real analytical, complex or symplectic manifold for F=R, F=C or F=H respectively. Any such family is called to be a set of canonical forms of matrices. The construction of such canonical forms of matrices is introduced inductively. First basic canonical forms are introduced, and then two operations for obtaining new canonical forms by using the old canonical forms are introduced. All such manifolds have the property that each of them can be de…
The canonical-type connection on the almost contact manifolds with B-metric is constructed. It is proved that its torsion is invariant with respect to a subgroup of the general conformal transformations of the almost contact B-metric structure. The basic classes of the considered manifolds are characterized in terms of the torsion of the canonical-type connection.
We consider a pair of smooth manifolds, which are the counterparts in the even-dimensional and odd-dimensional cases. They are separately an almost complex manifold with Norden metric and an almost contact manifolds with B-metric, respectively. They can be combined as the so-called almost contact complex Riemannian manifold. This paper is a survey with additions of results on differential geometry of canonical-type connections (i.e. metric connections with torsion satisfying a certain algebraic identity) on the considered manifolds.
We construct a canonically defined affine connection in sub-Riemannian contact geometry. Our method mimics that of the Levi-Civita connection in Riemannian geometry. We compare it with the Tanaka-Webster connection in the three-dimensional case.
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…
We study the geometry of the canonical connection on a quasi-Kaehler manifold with Norden metric. We consider the cases when the canonical connection has Kaehler curvature tensor and parallel torsion, and derive conditions for an isotropic-Kaehler manifold. We give the relation between the canonical connection, the B-connection, and the connection with totally skew-symmetric torsion on quasi-Kaehler manifolds with Norden metric.
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 …
A $(J^{2}=\pm 1)$-metric manifold has an almost complex or almost product structure $J$ and a compatible metric $g$. We show that there exists a canonical involution in the set of connections on such a manifold, which allows to define a projection over the set of connections adapted to $J$. This projection sends the Levi Civita connection onto the first canonical connection. In the almost Hermitian case, it also sends the $\nabla^{-}$ connection onto the Chern connection, thus applying the line of metric connections defined by $\nabla ^{-}$ and the Levi Civita connections onto the line of cano…
The intersection of two real flag manifolds in a complex flag manifold, and the canonical form of a compact symmetric triad
Tokyo University of Science(东京理科大学);Research Institute for Science and Technology at Tokyo University of Science(东京理科大学科学技术研究所);Kyoto Institute of Technology(京都工艺纤维大学);Nihon University(日本大学)
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.
The canonical paracontact connection is defined and it is shown that its torsion is the obstruction the paracontact manifold to be paraSasakian. A $\mathcal{D}$-homothetic transformation is determined as a special gauge transformation. The $η$-Einstein manifold are defined, it is prove that their scalar curvature is a constant and it is shown that in the paraSasakian case these spaces can be obtained from Einstein paraSasakian manifolds with a $\mathcal{D}$-homothetic transformations. It is shown that an almost paracontact structure admits a connection with totally skew-symmetric torsion if an…
On a manifold with a projective connection we canonically assign a second order differential operator acting on the algebra of all densities to any tensor density $S^{ij}$ of fixed weight $λ$. In particular, this implies that on any projectively connected manifold, a `bracket' (symmetric biderivation) on the algebra of functions extends canonically to the algebra of densities.
We describe a complete system of invariants for 4-dimensional CR manifolds of CR dimension 1 and codimension 2 with Engel CR distribution by constructing an explicit canonical Cartan connection. We also investigate the relation between the Cartan connection and the normal form of the defining equation of an embedded Engel CR manifold.
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.
We study the equivalence problem for $4$-dimensional CR-manifolds of CR-dimension $1$ and codimension $2$ which are referred to as Engel CR-manifolds. We construct a canonical Cartan connection on such CR-manifolds through Cartan equivalence's method. In particular, we give the explicit expression of $4$ biholomorphic invariants, the annulation of which is a necessary and sufficient condition for an Engel manifold to be locally biholomorphic to Beloshapka's cubic in $\mathbb{C}^3$.
In this paper we investigate the spectral sequence associated to a Riemannian foliation which arises naturally on a Vaisman manifold. Using the Betti numbers of the underlying manifold we establish a lower bound for the dimension of some terms of this cohomological object. This way we obtain cohomological obstructions for two-dimensional foliations to be induced from a Vaisman structure. We show that if the foliation is quasi-regular the lower bound is realized. In the final part of the paper we discuss two examples.
Let (M,I,J,K) be a compact hypercomplex manifold admitting an HKT-metric. Assume that the canonical bundle of (M,I) is trivial as a holomorphic line bundle. We show that the holonomy of Obata connection on M is contained in SL(n,H). In Appendix we apply these arguments to compact nilmanifolds equipped with abelian hypercomplex structures, showing that such manifolds have holonomy in SL(n,H).
We study variuos homological structures associated with Poisson algebra, the canonical differential complex for singular Poisson structure and the analogue of the star operator for such manifolds. Give the interpretation of the classical Koszul differential of exterior forms, as the supercommutator with some second order element. Describe the space of invariant distributions on manifold with singular Poisson structure.
We give a natural way to identify between two scales, potentially arbitrarily far apart, in a non-compact Ricci-flat manifold with Euclidean volume growth when a tangent cone at infinity has smooth cross section. The identification map is given as the gradient flow of a solution to an elliptic equation.
An explicit expression of the canonical 8-form on a Riemannian manifold with a Spin(9)-structure, in terms of the nine local symmetric involutions involved, is given. The list of explicit expressions of all the canonical forms related to Berger's list of holonomy groups is thus completed. Moreover, some results on Spin(9)-structures as G-structures defined by a tensor and on the curvature tensor of the Cayley planes, are obtained.
We prove the existence of a (unique) S^1-invariant Ricci-flat Kaehler metric on a neighbourhood of the zero section in the canonical bundle of a real-analytic Kaehler manifold X, extending the metric on X.
Canonical metrics and conformal invariants are presented for closed oriented even-dimensional manifolds with non-degenerate conformal structures and in particular for compact Riemann surfaces.
We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing is a natural S^3-bundle over H^3, its holomorphic geometry is determined by the hyperbolic metric; the small-resolution is a natural S^2-bundle over H^4 with symplectic geometry determined by the metric. Using hyperbolic geometry, we find orbifold quotients with trivial canonical bundle; smooth examples are produced via crepant resolutions. In particular, we …
In this paper, by applying Greene-Shapere-Vafa-Yau semi-flat metric, we give a new proof of closed formula of Weil-Petersson metric on moduli space of Calabi-Yau varieties.
We numerically calculate Perelman's entropy for a variety of canonical metrics on $\mathbb{CP}^{1}$-bundles over products of Fano Kähler-Einstein manifolds. The metrics investigated are Einstein metrics, Kähler-Ricci solitons and quasi-Einstein metrics. The calculation of the entropy allows a rough picture of how the Ricci flow behaves on each of the manifolds in question.
We study several linear connections (the first canonical, the Chern, the well adapted, the Levi Civita, the Kobayashi-Nomizu, the Yano, the Bismut and those with totally skew-symmetric torsion) which can be defined on the four geometric types of $(J^2=\pm1)$-metric manifolds. We characterize when such a connection is adapted to the structure, and obtain a lot of results about coincidence among connections. We prove that the first canonical and the well adapted connections define a one-parameter family of adapted connections, named canonical connections, thus extending to almost Norden and almo…
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.
We describe the basic cohomology ring of the canonical holomorphic foliation on a moment-angle manifold, LVMB-manifold or any complex manifold with a maximal holomorphic torus action. Namely, we show that the basic cohomology has a description similar to the cohomology ring of a complete simplicial toric variety due to Danilov and Jurkiewicz. This settles a question of Battaglia and Zaffran, who previously computed the basic Betti numbers for the canonical holomorphic foliation in the case of a shellable fan. Our proof uses an Eilenberg-Moore spectral sequence argument; the key ingredient is t…
For a given Riemannian manifold $(M^n, g)$ which is near standard sphere $(S^n, g_{round})$ in the Gromov-Hausdorff topology and satisfies $Rc \geq n-1$, it is known by Cheeger-Colding theory that $M$ is diffeomorphic to $S^n$. A diffeomorphism $φ: M \to S^n$ was constructed by Cheeger and Colding using Reifenberg method. In this note, we show that a desired diffeomorphism can be constructed canonically. Let $\{f_i\}_{i=1}^{n+1}$ be the first $(n+1)$-eigenfunctions of $(M, g)$ and $f=(f_1, f_2, \cdots, f_{n+1})$. Then the map $\tilde{f}=\frac{f}{|f|}: M \to S^n$ provides a diffeomorphism, and …
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…
We show that the Kahler-Ricci flow on an algebraic manifold of positive Kodaira dimension and semi-ample canonical line bundle converges to a unique canonical metric on its canonical model. It is also shown that there exists a canonical measure of analytic Zariski decomposition on an algebraic manifold of positive Kodaira dimension. Such a canonical measure is unique and invariant under birational transformations under the assumption of the finite generation of canonical rings.
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 consider critical points of the functionals $Π$ and $Ψ$ defined as the global $L^2$-norm of the second fundamental form and mean curvature vector of isometric immersions of compact Riemannian manifolds into a background Riemannian manifold, respectively, as functionals over the space of deformations of the immersion. We prove gap theorems for these functionals into hyperbolic manifolds, and show that the celebrated gap theorem for minimal immersions into the sphere can be cast as a theorem about critical points of these functionals of constant mean curvature function, and whose second funda…
We regard a contact metric manifold whose Reeb vector field belongs to the $(κ,μ)$-nullity distribution as a bi-Legendrian manifold and we study its canonical bi-Legendrian structure. Then we characterize contact metric $(κ,μ)$-spaces in terms of a canonical connection which can be naturally defined on them.
It is well known that there is a unique $Spin(9)$-invariant 8-form on the octonionic plane that naturally yields a canonical differential 8-form on any Riemannian manifold with a weak $Spin(9)$-structure. Over the decades, this invariant has been studied extensively and described in several equivalent ways. In the present article, a new explicit algebraic formula for the $Spin(9)$-invariant 8-form is given. The approach we use generalizes the standard expression of the Kähler 2-form. Namely, the invariant 8-form is constructed only from the two octonion-valued coordinate 1-forms on the octonio…
In 1910 E. Cartan constructed the canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions on a 5-dimensional manifold. We solve the analogous problems for rank 2 distributions on an n-dimensional manifold for arbitrary n greater than 5. Our method is a kind of symplectification of the problem and it is completely different from the Cartan method of equivalence.
Given a polarized family of varieties over the unit disc, smooth except over the origin and with smooth fibers Calabi-Yau, we show that the origin lies at finite Weil-Petersson distance if and only if after a finite base change the family is birational to one with central fiber a Calabi-Yau variety with at worst canonical singularities, answering a question of C.-L. Wang. This condition also implies that the Ricci-flat Kahler metrics in the polarization class on the smooth fibers have uniformly bounded diameter, or are uniformly volume non-collapsed.
A Finsler function $F$ is affinely rigid if its canonical spray is uniquely metrizable, in the sense that if $\bar F$ is another Finsler function whose canonical spray is $S$, then $d(F/\bar F)=0$. In this short note we explore some sufficient conditions for a Finsler function to be affinely rigid, and discuss open problems.
We present a classification of the complete, simply connected, contact metric $(κ,μ)$-spaces as homogeneous contact metric manifolds, by studying the base space of their canonical fibration. According to the value of the Boeckx invariant, it turns out that the base is a complexification or a para-complexification of a sphere or of a hyperbolic space. In particular, we obtain a new homogeneous representation of the contact metric $(κ,μ)$-spaces with Boeckx invariant less than $-1$.
In this paper, we use the canonical connection instead of Levi-Civita connection to study the smooth maps between almost Hermitian manifolds, especially, the pseudoholomorphic ones. By using the Bochner formulas, we obtian the $C^2$-estimate of canonical second fundamental form, Liouville type theorems of pseudoholomorphic maps, pseudoholomorphicity of pluriharmonic maps, and Simons integral inequality of pseudoholomorphic isometric immersion.
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.
We study the class of compact complex manifolds whose first Chern class vanishes in the Bott-Chern cohomology. This class includes all manifolds with torsion canonical bundle, but it is strictly larger. After making some elementary remarks, we show that a manifold in Fujiki's class C with vanishing first Bott-Chern class has torsion canonical bundle. We also give some examples of non-Kahler Calabi-Yau manifolds, and discuss the problem of defining and constructing canonical metrics on them.
We introduce certain canonical blow-ups $\mathcal T_{s,p,n}$, as well as their distinct submanifolds $\mathcal M_{s,p,n}$, of Grassmann manifolds $G(p,n)$ by partitioning the Plücker coordinates with respect to a parameter $s$. Various geometric aspects of $\mathcal T_{s,p,n}$ and $\mathcal M_{s,p,n}$ are studied, for instance, the smoothness, the holomorphic symmetries, the (semi-)positivity of the anti-canonical bundles, the existence of Kähler-Einstein metrics, the functoriality, etc. In particular, we introduce the notion of homeward compactification, of which $\mathcal T_{s,p,n}$ are exam…
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.\ …
Given a Lorentzian manifold $(M,g_L)$ and a timelike unitary vector field $E$, we can construct the Riemannian metric $g_R=g_L+2ω\otimesω$, being $ω$ the metrically equivalent one form to $E$. We relate the curvature of both metrics, especially in the case of $E$ being Killing or closed, and we use the relations obtained to give some results about $(M,g_L)$.
Conditions for the existence of Kähler-Einstein metrics and central Kähler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize the general construction [AM] of Kähler metrics on such manifolds. The examples include both complete and incomplete metrics, and some reside on Lie groups associated to four types of Lie algebras. An appendix includes a similar construction for scalar-flat Kähler metrics.