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.
Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable points. Then based on these criteria, we show that the cotangent bundles of compact toric varieties in the core of toric hyperk{ä}hler manifold are sufficient to glue the desired toric hyperk{ä}hler manifold.
This is a sequel of \cite{Wang}, which provides a general formalism for this paper. We mainly investigate thoroughly a subclass of toric generalized K$\ddot{a}$hler manifolds of symplectic type introduced by Boulanger in \cite{Bou}. We find torus actions on such manifolds are all \emph{strong Hamiltonian} in the sense of \cite{Wang}. For each such a manifold, we prove that besides the ordinary two complex structures $J_\pm$ associated to the biHermitian description, there is a \emph{third} canonical complex structure $J_0$ underlying the geometry, which makes the manifold toric K$\ddot{a}$hler…
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…
We characterize those complete K{ä}hler manifolds supporting a nonconstant real-valued function with critical points whose Hessian is complex linear, has pointwise two eigenvalues and whose gradient is a Hessian-eigenvector.
We show that the orbifold fundamental group of an effective compact K{ä}hler orbifold with nef anticanonical bundle has polynomial growth, which generalizes M.P ăun's results for manifolds [P ău97, Theorem 1,Theorem 2]
In this paper, metric reduction in generalized geometry is investigated. We show how the Bismut connections on the quotient manifold are obtained from those on the original manifold. The result facilitates the analysis of generalized K$\ddot{a}$hler reduction, which motivates the concept of metric generalized principal bundles and our approach to construct a family of generalized holomorphic line bundles over $\mathbb{C}P^2$ equipped with some non-trivial generalized K$\ddot{a}$hler structures.
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…
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.
We give a differential geometric description of the Cartan (or tractor) bundle and its canonical connection in CR geometry, thus offering a direct, alternative, definition to the usual abstract approach.
For each holomorphic vector bundle we construct a holomorphic bundle 2-gerbe that geometrically represents its second Beilinson-Chern class. Applied to the cotangent bundle, this may be regarded as a higher analogue of the canonical line bundle in complex geometry. Moreover, we exhibit the precise relationship between holomorphic and smooth gerbes. For example, we introduce an Atiyah class for gerbes and prove a Koszul-Malgrange type theorem.
In this study, we generalize double tangent bundles to double jet bundles. We present a secondary vector bundle structure on a 1-jet of a vector bundle. We show that 1-jet of a vector bundle carries two vector bundle structures, namely primary and secondary structures. We also show that the manifold charts induced by primary and secondary structures belong to the same atlas. We prove that double jet bundles can be considered as a quotient of second order jet bundle. We show that there exists a natural involution that interchanges between primary and secondary vector bundle structures on double…
In this paper, we denote by A a Weil algebra, M a smooth manifold and M^{A} the associated Weil bundle and we study the properties of differential operators on M^{A} and construct the canonical 1-form when M^{A} is provided with a structure of Lie-Rinehart algebra.
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, we give some estimates of the sum of the square norm of the sections of the pluricanonical bundles over a Riemann surface with genus greater than 2 and Gauss curvature (-1). Using these estimate, we give a uniform estimate of the corona problem on Riemann surfaces.
We determine the 6-dimensional solvmanifolds admitting an invariant complex structure with holomorphically trivial canonical bundle. Such complex structures are classified up to isomorphism, and the existence of strong Kähler with torsion (SKT), generalized Gauduchon, balanced and strongly Gauduchon metrics is studied. As an application we construct a holomorphic family $(M,J_a)$ of compact complex manifolds such that $(M,J_a)$ satisfies the $\partial\bar\partial$-Lemma and admits a balanced metric for any $a\not=0$, but the central limit neither satisfies the $\partial\bar\partial$-Lemma nor …
This paper introduces $\infty$- and $n$-fold vector bundles as special functors from the $\infty$- and $n$-cube categories to the category of smooth manifolds. We study the cores and "n-pullbacks" of $n$-fold vector bundles and we prove that any $n$-fold vector bundle admits a non-canonical isomorphism to a decomposed $n$-fold vector bundle. A colimit argument then shows that $\infty$-fold vector bundles admit as well non-canonical decompositions. For the convenience of the reader, the case of triple vector bundles is discussed in detail.
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…
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.\ …
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.
This note gives a simple formula for the unique asymptotically conical Calabi-Yau metrics on the canonical bundle of a flag variety known to exist by the work of R. Goto and others. This is done by generalizing the well known Calabi Ansatz to general Kähler classes. We give some examples of explicit families, in particular, a formula for the two dimensional family of asymptotically conical metrics on the canonical bundle of $F_{1,2}$.
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).
A canonical hyperkaehler metric on the total space $T^*M$ of a cotangent bundle to a complex manifold $M$ has been constructed recently by the author (see alg-geom/9710026). This paper presents the results of alg-geom/9710026 in a streamlined and simplified form. The only new result is an explicit formula obtained for the case when $M$ is an Hermitian symmetric space.
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, 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 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.
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 give a representation of canonical vector bundles over Grassmannian manifolds as non-compact affine symmetric spaces as well as their Cartan model in the group of the Euclidean motions.
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…
It is conjectured that the moduli b-divisor of the Kawamata-Kodaira canonical bundle formula associated to a klt-trivial fibration $(X,B)\to Z$ is semi-ample. In this paper, we show the semi-ampleness of an arbitrarily small perturbation of the moduli b-divisor by a fixed appropriate divisor which roughly speaking comes from a section of $K_X+B$. We apply the above result to settle a conjecture of Fujino and Gongyo: if $f\colon X\to Z$ is a smooth surjective morphism of smooth projective varieties with $-K_X$ semi-ample, then $-K_Z$ is also semi-ample. We list several counter-examples to show …
The aim of this paper is to open the problem of construction of a nonlinear connection $Γ=(M^{(i)}_{(α)β}, N^{(i)}_{(α)j})$ on the jet bundle of first order $J^1(T,M)$, which to be canonically produced by a Kronecker product vertical metrical d-tensor $G^{(α)(β)}_{(i)(j)}=h^{αβ}g_{ij}$, possibly provided by multi-time dependent quadratic Lagrangians coming from various branches of theoretical physics: bosonic strings theory, electrodynamics or elasticity.
Let $X$ be a simple normal crossing (SNC) compact complex surface with trivial canonical bundle which includes triple intersections. We prove that if $X$ is $d$-semistable, then there exists a family of smoothings in a differential geometric sense. This can be interpreted as a differential geometric analogue of the smoothability results due to Friedman, Kawamata-Namikawa, Felten-Filip-Ruddat, Chan-Leung-Ma, and others in algebraic geometry. The proof is based on an explicit construction of local smoothings around the singular locus of $X$, and the first author's existence result of holomorphic…
We give an algebraic characterisation for the triviality of the canonical bundle of a complex supermanifold in terms of a certain Batalin-Vilkovisky superalgebra structure. As an application, we study the Calabi-Yau case, in which an explicit formula in terms of the Levi-Civita connection is achieved. Our methods include the use of complex integral forms and the recently developed theory of superholonomy.
We investigate the symplectic geometric and differential geometric aspects of the moduli space of connections on a compact Riemann surface $X$. Fix a theta characteristic $K^{1/2}_X$ on $X$; it defines a theta divisor on the moduli space ${\mathcal M}$ of stable vector bundles on $X$ of rank $r$ degree zero. Given a vector bundle $E \in {\mathcal M}$ lying outside the theta divisor, we construct a natural holomorphic connection on $E$ that depends holomorphically on $E$. Using this holomorphic connection, we construct a canonical holomorphic isomorphism between the following two: \begin{enumer…
We construct explicit complete Ricci-flat metrics on the total spaces of certain vector bundles over flag manifolds of the group $SU(n)$, for all Kähler classes. These metrics are natural generalizations of the metrics of Candelas-de la Ossa on the conifold, Pando Zayas-Tseytlin on the canonical bundle over $\mathbb{CP}^1\times \mathbb{CP}^1$, as well as the metrics on canonical bundles over flag manifolds, recently constructed by van Coevering.
Let M be a simply connected Riemannian symmetric space, with at most one flat direction. We show that every Riemannian (or unitary) vector bundle with parallel curvature over M is an associated vector bundle of a canonical principal bundle, with the connection inherited from the principal bundle. The problem of finding Riemannian (or unitary) vector bundles with parallel curvature then reduces to finding representations of the structure group of the canonical principal bundle.
Let $(M,J)$ be a compact complex manifold of complex dimension $m$ and let $g_s$ be a one-parameter family of Hermitian forms on $M$ that are smooth and positive definite for each fixed $s\in (0,1]$ and that somehow degenerates to a Hermitian pseudometric $h$ for $s$ tending to $0$. In this paper under rather general assumptions on $g_s$ we prove various spectral convergence type theorems for the family of Hodge-Kodaira Laplacians $Δ_{\overline{\partial},m,0,s}$ associated to $g_s$ and acting on the canonical bundle of $M$. In particular we show that, as $s$ tends to zero, the eigenvalues, the…
A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifol…
Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the unique Kähler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic equation to show that this metric is strictly positive on $\mathcal X$, unless the family is infinitesimally trivial. For degenerating families we show that the curvature form on the total space can be extended as a (semi-)positive closed current. By fiber integration it follows that the generalized Weil-Petersson form on the base possesses an extension as a posit…
We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic to…
Let $X$ be a compact Riemann surface of genus $g\geq 2$ equipped with flat conical metric $|Ω|$, where $Ω$ be a holomorphic quadratic differential on $X$ with $4g-4$ simple zeroes. Let $K$ be the canonical line bundle on $X$. Introduce the Cauchy-Riemann operators $\bar \partial$ and $\partial$ acting on sections of holomorphic line bundles over $X$ ($K^2$ in the definition of $Δ^{(2)}_{|Ω|}$ below) and, respectively, anti-holomorphic line bundles ($\bar { K}^{-1}$ below). Consider the Laplace operator $Δ^{(2)}_{|Ω|}:=|Ω| \partial |Ω|^{-2}\bar\partial$ acting in the Hilbert space of square int…
In this article we construct a canonical Kähler-Einstein current on a LC (log canonical) pairs of log general type as the limit of a sequence of canonical Kähler-Einstein currents on KLT(Kawamata log terminal) pairs of log general type. We call the volume form associated with the canonical Kähler-Einstein current the canonical measure of the LC pair. We prove that the relative canonical measure on a projective family of LC pairs of log general type defines a singular hermitian metric on the relative log canonical bundle and the metric has semipositive curvature in the sense of current. This is…
In many Lagrangian field theories, there is a Poisson bracket on the space of local functionals. One may identify the fields of such theories as sections of a vector bundle. It is known that the Poisson bracket induces an sh-Lie structure on the graded space of horizontal forms on the jet bundle of the relevant vector bundle. We consider those automorphisms of the vector bundle which induce mappings on the space of functionals preserving the Poisson bracket and refer to such automorphisms as canonical automorphisms. We determine how such automorphisms relate to the corresponding sh-Lie structu…
We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back operation involving the tautological universal bundle and the classifying morphism of the input kernel. The aforementioned correspondence turns out to be a canonical functor between categories of kernels and linear connections. A number of examples of linear connections including the ones associated to classical kernels, homogeneous reproducing kernels and kerne…
For a given Hilbert space $\mathcal H$, consider the space of self-adjoint projections $\mathcal P(\mathcal H)$. In this paper we study the differentiable structure of a canonical sphere bundle over $\mathcal P(\mathcal H)$ given by $$ \mathcal R=\{\, (P,f)\in \mathcal P(\mathcal H)\times \mathcal H \, : \, Pf=f , \, \|f\|=1\, \}. $$ We establish the smooth action on $\mathcal R$ of the group of unitary operators of $\mathcal H$, therefore $\mathcal R$ is an homogeneous space. Then we study the metric structure of $\mathcal R$ by endowing it first with the uniform quotient metric, which is a F…
