A report on locally conformally Kähler manifolds
We present an overview of recent results in locally conformally Kähler geometry, with focus on the topological properties which obstruct the existence of such structures on compact manifolds.
math.DG↗
arXiv subjects
Misha Verbitsky
Publications and source records attributed to Misha Verbitsky.
Topology of locally conformally Kahler manifolds with potential
Locally conformally Kahler (LCK) manifolds with potential are those which admit a Kahler covering with a proper, automorphic Kaehler potential. Existence of a potential can be characterized cohomologically as a vanishing of a certain cohomology class, called the Bott-Chern class. Compact LCK manifolds with potential are stable at small deformations and admit holomorphic embeddings into Hopf manifolds. This class strictly includes the Vaisman manifolds. We show that every compact LCK manifold with potential can be deformed into a Vaisman manifold. Therefore, every such manifold is diffeomorphic to a smooth elliptic fibration over a Kahler orbifold. We show that the pluricanonical condition on LCK manifolds introduced by G. Kokarev is equivalent to vanishing of the Bott-Chern class. This gives a simple proof of some of the results on topology of pluricanonical LCK-manifolds, discovered by Kokarev and Kotschick.
math.DG↗
Stable bundles on hypercomplex surfaces
A hypercomplex manifold is a manifold equipped with three complex structures I, J, K satisfying the quaternionic relations. Let M be a 4-dimensional compact smooth manifold equipped with a hypercomplex structure, and E be a vector bundle on M. We show that the moduli space of anti-self-dual connections on E is also hypercomplex, and admits a strong HKT metric. We also study manifolds with (4,4)-supersymmetry, that is, Riemannian manifolds equipped with a pair of strong HKT-structures that have opposite torsion. In the language of Hitchin's and Gualtieri's generalized complex geometry, (4,4)-manifolds are called ``generalized hyperkaehler manifolds''. We show that the moduli space of anti-self-dual connections on M is a (4,4)-manifold if M is equipped with a (4,4)-structure.
math.DG↗
Automorphisms of locally conformally Kahler manifolds
A manifold M is locally conformally Kahler (LCK) if it admits a Kahler covering with monodromy acting by holomorphic homotheties. For a compact connected group G acting on an LCK manifold by holomorphic automorphisms, an averaging procedure gives a G-invariant LCK metric. Suppose that U(1) acts on an LCK manifold M by holomorphic isometries, and the lifting of this action to the Kahler cover of M is not isometric. We show that the cover admits an automorphic Kahler potential, and hence can be embedded to a Hopf manifold.
math.DG↗
Hyperkahler SYZ conjecture and semipositive line bundles
Let $M$ be a compact, holomorphic symplectic Kaehler manifold, and $L$ a non-trivial line bundle admitting a metric of semi-positive curvature. We show that some power of $L$ is effective. This result is related to the hyperkaehler SYZ conjecture, which states that such a manifold admits a holomorphic Lagrangian fibration, if $L$ is not big.
math.AG↗
Balanced HKT metrics and strong HKT metrics on hypercomplex manifolds
A manifold (M,I,J,K) is called hypercomplex if I,J,K are complex structures satisfying quaternionic relations. A quaternionic Hermitian metric is called HKT (hyperkaehler with torsion) if $Idω_I = Jd ω_J=Kdω_K$, where $ω_I,ω_J, ω_K$ are Hermitian forms associated with I, J, K. A Hermitian metric $ω$ on a complex manifold is called balanced if $d^*ω=0$. We show that balanced HKT metrics are precisely the quaternionic Calabi-Yau metrics defined in terms of the quaternionic Monge-Ampere equation. In particular, a balanced HKT-metric is unique in its cohomology class, and it always exists if the quaternionic Calabi-Yau theorem is true. We investigate the cohomological properties of strong HKT metrics (the quaternionic Hermitian metrics, satisfying, in addition to the HKT condition, the relation $dd^c ω=0$), and show that the space of strong HKT metrics is finite-dimensional. Using Howe's duality for representations of Sp(n), we prove a hyperkaehler version of Hodge-Riemann bilinear relations. We use it to show that a manifold admitting a balanced HKT-metric never admits a strong HKT-metric, if $\dim_\R M \geq 12$.
math.DG↗
Morse-Novikov cohomology of locally conformally Kähler manifolds
A locally conformally Kahler (LCK) manifold is a complex manifold admitting a Kahler covering, with the monodromy acting on this covering by homotheties. We define three cohomology invariants, the Lee class, the Morse-Novikov class, and the Bott-Chern class, of an LCK-structure. These invariants together play the same role as the Kahler class in Kahler geometry. If these classes for two LCK-structures coincide, the difference between these structures can be expressed by a smooth potential, similar to the Kahler case. We show that the Morse-Novikov class and the Bott-Chern class of a Vaisman manifold vanishes. Moreover, for any LCK-structure on a Vaisman manifold, we prove that its Morse-Novikov class vanishes. We show that a compact LCK-manifold $M$ with vanishing Bott-Chern class admits a holomorphic embedding to a Hopf manifold, if $\dim_\C M \geq 3$, a result which parallels the Kodaira embedding theorem.
math.DG↗
Einstein-Weyl structures on complex manifolds and conformal version of Monge-Ampere equation
A Hermitian Einstein-Weyl manifold is a complex manifold admitting a Ricci-flat Kaehler covering W, with the deck transform acting on W by homotheties. If compact, it admits a canonical Vaisman metric, due to Gauduchon. We show that a Hermitian Einstein-Weyl structure on a compact complex manifold is determined by its volume form. This result is a conformal analogue of Calabi's theorem stating the uniqueness of Kaehler metrics with a given volume form in a given Kaehler class. We prove that a solution of a conformal version of complex Monge-Ampere equation is unique. We conjecture that a Hermitian Einstein-Weyl structure on a compact complex manifold is unique, up to a holomorphic automorphism, and compare this conjecture to Bando-Mabuchi theorem.
math.CV↗
Quaternionic Monge-Ampere equation and Calabi problem for HKT-manifolds
A quaternionic version of the Calabi problem on Monge-Ampere equation is introduced. It is a quaternionic Monge-Ampere equation on a compact hypercomplex manifold with an HKT-metric. The equation is non-linear elliptic of second order. For a hypercomplex manifold with holonomy in SL(n;H), uniqueness (up to a constant) of a solution is proven, as well as the zero order a priori estimate. The existence of solution is conjectured, similar to Calabi-Yau theorem. We reformulate this quaternionic equation as a special case of a complex Hessian equation, making sense on any complex manifold.
math.CV↗
Positive toric fibrations
A principal toric bundle $M$ is a complex manifold equipped with a free holomorphic action of a compact complex torus $T$. Such a manifold is fibered over $M/T$, with fiber $T$. We discuss the notion of positivity in fiber bundles and define positive toric bundles. Given an irreducible complex subvariety $X\subset M$ of a positive principal toric bundle, we show that either $X$ is $T$-invariant, or it lies in an orbit of $T$-action. For principal elliptic bundles, this theorem is known (math.AG/0403430). As follows from Borel-Remmert-Tits theorem, any compact simply connected homogeneous complex manifold is a principal toric bundle. We show that compact Lie groups with left-invariant complex structure $I$ are positive toric bundles, if $I$ is generic. Other examples of positive toric bundles are discussed.
math.AG↗
Manifolds with parallel differential forms and Kaehler identities for G_2-manifolds
Let M be a compact Riemannian manifold equipped with a parallel differential form ω. We prove a version of Kaehler identities in this setting. This is used to show that the de Rham algebra of M is weakly equivalent to its subquotient $(H^*_c(M), d)$, called {\bf the pseudocohomology} of M. When M is compact and Kaehler and ωis its Kaehler form, $(H^*_c(M), d)$ is isomorphic to the cohomology algebra of M. This gives another proof of homotopy formality for Kaehler manifolds, originally shown by Deligne, Griffiths, Morgan and Sullivan. We compute $H^i_c(M)$ for a compact G_2-manifold, showing that it is isomorphic to cohomology unless i=3,4. For i=3,4, we compute $H^*_c(M)$ explicitly in terms of the first order differential operator $*d: Λ^3(M)\arrow Λ^3(M)$.
math.DG↗
Canonical bundles of complex nilmanifolds, with applications to hypercomplex geometry
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 nilmanifold is balanced with respect to all associated complex structures.
math.DG↗
Plurisubharmonic functions in calibrated geometry and q-convexity
Let $(M,ω)$ be a Kahler manifold. An integrable function on M is called $ω^q$-plurisubharmonic if it is subharmonic on all q-dimensional complex subvarieties. We prove that a smooth $ω^q$-plurisubharmonic function is q-convex. A continuous $ω^q$-plurisubharmonic function admits a local approximation by smooth, $ω^q$-plurisubharmonic functions. For any closed subvariety $Z\subset M$, $\dim Z < q$, there exists a strictly $ω^q$-plurisubharmonic function in a neighbourhood of $Z$ (this result is known for q-convex functions). This theorem is used to give a new proof of Sibony's lemma on integrability of positive closed (p,p)-forms which are integrable outside of a complex subvariety of codimension >p.
math.CV↗
Positive forms on hyperkahler manifolds
Let $(M,I,J,K)$ be a hyperkaehler manifold, $\dim_\R M =4n$. We study positive, Dolbeault-closed $(2p,0)$-forms on $(M,I)$. These forms are quaternionic analogues of the positive $(p,p)$-forms. We construct an injective homomorphism mapping Dolbeault-closed $(2p,0)$-forms to closed $(n+p,n+p)$-forms, and positive $(2p,0)$-forms to positive $(n+p,n+p)$-forms. This construction is used to prove a hyperkaehler version of the classical Skoda-El Mir theorem, which says that a trivial extension of a closed, positive current over a pluripolar set is again closed. We also prove the hyperkaehler version of the Sibony's lemma, showing that a closed, positive $(2p,0)$-form defined outside of a compact complex subvariety $Z\subset (M,I)$, $\codim Z > 2p$ is locally integrable in a neighbourhood of $Z$. These results are used to prove polystability of derived direct images of certain coherent sheaves.
math.CV↗
An intrinsic volume functional on almost complex 6-manifolds and nearly Kaehler geometry
Let $(M,I)$ be an almost complex 6-manifold. The obstruction to integrability of almost complex structure (so-called Nijenhuis tensor) maps a 3-dimensional bundle to a 3-dimensional one. We say that Nijenhuis tensor is non-degenerate if it is an isomorphism. An almost complex manifold is called nearly Kaehler if it admits a Hermitian form $ω$ such that $\nabla(ω)$ is totally antisymmetric, $\nabla$ being the Levi-Civita connection. We show that a nearly Kaehler metric on a given almost complex 6-manifold with non-degenerate Nijenhuis tensor is unique (up to a constant). We interpret the nearly Kaehler property in terms of G_2-geometry and in terms of connections with totally antisymmetric torsion, obtaining a number of equivalent definitions. Further on, we construct an intrinsic diffeomorphism-invariant functional on the space of almost complex structures on $M$, similar to the Hitchin functional, and compute its extrema in the following important case. Consider an almost complex structure $I$ with non-degenerate Nijenhuis tensor, admitting a Hermitian connection with totally antisymmetric torsion. We show that the intrinsic volume functional has an extremum in $I$ if and only if $(M,I)$ is nearly Kaehler.
math.DG↗
Embeddings of compact Sasakian manifolds
Let M be a compact Sasakian manifold. We show that M admits a CR-embedding into a Sasakian manifold diffeomorphic to a sphere, and this embedding is compatible with the respective Reeb fields. We argue that a stronger embedding theorem cannot be obtained. We use an extension theorem for Kaehler geometry: given a compact Kaehler manifolds $X\subset Y$, and a Kaehler form $ω$ on $X$ which lies in a Kaehler class of $Y$ restricted to $X$, $ω$ can be extended to a Kaehler form on $Y$.
math.DG↗
Hypercomplex manifolds with trivial canonical bundle and their holonomy
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).
math.DG↗
Projective bundles over hyperkaehler manifolds and stability of Fourier-Mukai transform
Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.
math.AG↗