A long C^2 without holomorphic functions

DOI10.2140/APDE.2016.9.2031MaRDI QIDQ505929zbMATH OpenOpenAlexFDO

Authors Luka Boc Thaler, Franc Forstnerič

Publication date 26 January 2017

Published in Analysis \& PDE (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.05075

Chern-Moser normal form Fatou-Bieberbach domain long \(\mathbb{C}^n\)Stein manifold

Stein spaces (32E10) Holomorphic, polynomial and rational approximation, and interpolation in several complex variables; Runge pairs (32E30) Holomorphic mappings, (holomorphic) embeddings and related questions in several complex variables (32H02)

Abstract: In this paper we construct for every integer

n > 1

a complex manifold of dimension

n

which is exhausted by an increasing sequence of biholomorphic images of

m a t h b b C^{n}

(i.e., a long

m a t h b b C^{n}

), but it does not admit any nonconstant holomorphic or plurisubharmonic functions. Furthermore, we introduce new biholomorphic invariants of a complex manifold

X

, the stable core and the strongly stable core, that are based on the long term behavior of hulls of compact sets with respect to an exhaustion of

X

. We show that every compact polynomially convex set

B s u b s e t m a t h b b C^{n}

which is the closure of its interior is the strongly stable core of a long

m a t h b b C^{n}

; in particular, biholomorphically nonequivalent sets give rise to nonequivalent long

m a t h b b C^{n}

's. Furthermore, for any open set

U s u b s e t m a t h b b C^{n}

there exists a long

m a t h b b C^{n}

whose stable core is dense in

U

. It follows that for any

n > 1

there is a continuum of pairwise nonequivalent long

m a t h b b C^{n}

's with no nonconstant plurisubharmonic functions and no nontrivial holomorphic automorphisms. These results answer several long standing open problems.

Review text

A ``long \(\mathbb C ^n\) is a complex manifold which is an increasing union of domains biholomorphic to \(\mathbb C ^n\). Such a manifold is not, in general, biholomorphic to \(\mathbb C ^n\), by a result of \textit{E. F. Wold} [Ark. Mat. 48, No. 1, 207--210 (2010; Zbl 1189.32004)]. In the present paper a stronger statement is proven: for any dimension greater than \(1\) there exists a long \(\mathbb C ^n\) which does not admit non-constant holomorphic or plurisubharmonic functions. The authors also show that there is a continuum of domains of this type which are pairwise non-biholomorphic and which have nontrivial holomorphic automorphisms. For the proofs they introduce holomorphic invariants of complex manifolds called stable core and strongly stable core. The stable core is the set of points admitting compact neighborhoods with the \textit{stable hull property}. A compact set \(K\) has this property if there exists an increasing sequence of compact sets, starting with \(K\), and exhausting the manifold, for which the sequence of holomorphic hulls stabilizes. A compact set \(K\), which is regular (the closure of its interior), is a strongly stable core if it has the stable hull property and is maximal of this kind in the sense that no compact \(E\) with nonempty \((\mathrm{int}\, E)\setminus K\) has the stable hull property. Then for every regular compact polynomially convex \(K\) there exists a long \(\mathbb C ^n\), which does not admit non-constant holomorphic or plurisubharmonic functions, and whose strongly stable core is exactly \(K\).

Recommendations

Cited in

(7)

This page was built for publication: A long \(\mathbb{C}^2\) without holomorphic functions

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