A characterization of varieties whose universal cover is the polydisk or a tube domain

Transcendental methods of algebraic geometry (complex-analytic aspects) (32J25) Hermitian symmetric spaces, bounded symmetric domains, Jordan algebras (complex-analytic aspects) (32M15) General theory of automorphic functions of several complex variables (32N05) Kähler-Einstein manifolds (32Q20) Uniformization of complex manifolds (32Q30)

Abstract: Catanese and Franciosi defined a semispecial tensor as a (non zero) section of the n-th symmetric power of the cotangent bundle twisted by the anticanonical divisor and by a 2-torsion line bundle. A slope zero tensor is instead a section of the nm-th symmetric power of the cotangent bundle twisted by m times the anticanonical divisor. With these definitions we have: Theorem 1. The universal cover of X is the polydisk iff 1) holds. 1) X has ample canonical bundle and admits a semispecial tensor such that at some point p the corresponding hypersurface in the projectivized tangent space is reduced. Theorem 2. If X has ample canonical bundle it admits a slope zero tensor if and only if the universal cover of X is a bounded symmetric domain D of tube type. The domain D is determined by the multiplicities of the irreducible components of the corresponding tangential hypersurface. We have then a corollary which extends previous results by Kazhdan. Corollary. Assume that the universal covering of X is a bounded symmetric domain D of tube type. Let X^s be a Galois conjugate of X : then also the universal cover of X^s is biholomorphic to D.

Review text

It is known that a compact complex manifold which admits as universal cover a bounded domain in \(\mathbb C^n\) is projective and its canonical bundle is ample. Moreover the bounded domain is a domain of holomorphy. On the other hand, every symmetric bounded domain \(\Omega\subset\mathbb C^n\) occurs as universal cover of such a manifold since it admits a freely acting cocompact discrete group \(\Gamma\subset\) Aut\((\Omega)\). In the present article the authors focus on polycylinders \(\mathbb H^n\) and on bounded symmetric domains \(\Omega\) of tube type. Generalizing results for low dimensions by \textit{F. Catanese} and \textit{M. Franciosi} [Contemp. Math. 496, 157--179 (2009; Zbl 1181.14039)] they present necessary and sufficient conditions for an \(n\)-dimensional projective manifold \(X\) with ample canonical bundle to be uniformized by \(\mathbb H^n\) resp. \(\Omega\). Like in the above cited paper the notion of semi special tensor (resp. slope zero tensor) on \(X\) is used for a nonzero element in \(H^0(S^n(\Omega_X^1)(-K_X)\oplus \eta)\) (resp. in \(H^0(S^{mn}(\Omega_X^1)(-mK_X)), m\in\mathbb N^+)\), where \(\Omega_X^1\) is the holomorphic cotangent bundle on \(X\) and \(\eta\) an invertible sheaf with \(\eta^2\cong{\Omega}_X\). The main results are as follows: \(X=\Omega/\Gamma\) if and only if \(X\) admits a slope zero tensor. In this case a Galois conjugate of \(X\) also has \(\Omega\) as universal cover. The universal cover of \(X\) is holomorphically equivalent to a product of irreducible bounded domains \(D_j\) of tube type with rank \(D_j|\)dim\(D_j\) if and only if \(X\) admits a semi special tensor. The universal cover of \(X\) is holomorphically equivalent to the polycylinder \(\mathbb H^n\) if and only if \(X\) admits a semi special tensor \(\psi\) with the property that for every \(p\in X\) the hypersurface \(\{\psi_p=0\}\), defined by the associated polynomial \(\psi_p\) on \(\mathbb P(TX_p)\), is reduced. One main tool for the proof is a theorem about rational inner functions on bounded symmetric domains by \textit{A. Korányi} and \textit{S. Vági} [Trans. Am. Math. Soc. 254, 179--193 (1979; Zbl 0439.32006)].

Recommendations

Cites work

Cited in

(7)

This page was built for publication: A characterization of varieties whose universal cover is the polydisk or a tube domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377012)