Search arXivSearch

arXiv · 1807.01223

Canonical complex extensions of Kähler manifolds

Abstract

Given a complex manifold $X$, any Kähler class defines an affine bundle over $X$, and any Kähler form in the given class defines a totally real embedding of $X$ into this affine bundle. We formulate conditions under which the affine bundles arising this way are Stein and relate this question to other natural positivity conditions on the tangent bundle of $X$. For compact Kähler manifolds of non-negative holomorphic bisectional curvature, we establish a close relation of this construction to adapted complex structures in the sense of Lempert--Szőke and to the existence question for good complexifications in the sense of Totaro. Moreover, we study projective manifolds for which the induced affine bundle is not just Stein but affine and prove that these must have big tangent bundle. In the course of our investigation, we also obtain a simpler proof of a result of Yang on manifolds having non-negative holomorphic bisectional curvature and big tangent bundle.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniel Greb, Michael Lennox Wong. 2019-02-01. Canonical complex extensions of Kähler manifolds. https://doi.org/10.1112/jlms.12287

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Holomorphic Maps from $\mathbb{C}^p$ into Semi-Abelian Varieties

We prove the Second Main Theorem with truncation level one for holomorphic maps with Zariski-dense image intersecting a reduced effective Cartier divisor: Let $A$ be a semi-abelian variety with an equivariant compactification $A\subset\overline A$, and let $f:\mathbb C^p\to A$ be a holomorphic map with Zariski-dense image. Let $D$ be a reduced effective divisor on $A$ extending to a divisor $\overline D$ on $\overline A$. After possibly replacing $\overline A$ by another equivariant compactification depending only on $D$ and independent of $f$, for every $\varepsilon>0$, \[T_f(r,\overline D)\leq_{\mathrm{exc}}N_f^{[1]}(r,D)+\varepsilon T_f(r,\overline D).\]

math.CV

Holomorphic motions, Assouad dimension and quasiconformal mappings

We study the variation of the quasi-Assouad dimension of a set moving under a holomorphic motion. We show that the reciprocal of the quasi-Assouad dimension is inf-harmonic in the sense of Fuhrer--Ransford--Younsi. As a consequence, we obtain quasiconformal distortion bounds for quasi-Assouad dimension as well as an improved version of Smirnov's celebrated theorem on the dimension of quasicircles. Our approach is elementary in that it does not require optimal Sobolev regularity for quasiconformal mappings.

math.CV

Target Geometry in Prescribed-Value Schwarz Lemmas for Harmonic Maps

We study harmonic maps \(F:\D\to G\) into bounded domains in real Hilbert spaces, prescribing \(F(0)\) and \(dF_0(\R^2)\) when \(dF_0\) is nonzero and conformal. We prove a target-independent identity for the Möbius-weighted Hilbert pairing. After normalization, the pairing is affine in \(\|dF_0\|\) with positive slope, yielding an exact equivalence between the derivative extremal problem and a boundary-pairing problem. For a round affine section, this gives a necessary and sufficient integral criterion for the Möbius parametrization to be extremal. A supporting-hyperplane condition guarantees the required integral inequality and characterizes equality. Examples show that roundness alone is insufficient and that the supporting condition is not necessary. For unit balls of real Hilbert spaces of dimension at least two, including infinite-dimensional spaces, we obtain the sharp prescribed-value Schwarz-Pick estimate, all equality cases, and quantitative \(L^2\) boundary stability. We also prove a Cayley-Klein contraction under pointwise distortion. For \(K\geq1\), let \(M_K\) denote the supremum of \(L_F(0)\) over harmonic maps \(F:\D\to\B_H\) satisfying \(F(0)=0\) and \(0<\ell_F(0)\leq L_F(0)\leq K\ell_F(0)\), where \(L_F(0)\) and \(\ell_F(0)\) are the maximal and minimal stretchings at the origin, respectively. We determine \(M_K\), identify the unique optimizing parameter, and characterize all extremals. The function \(K\mapsto M_K\) is strictly increasing, with \(M_1=1\) and \(M_K\to4/π\) as \(K\to\infty\).

math.CV