The Serre problem on certain bounded domains (Q1884543)

From MaRDI portal
Revision as of 19:58, 28 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The Serre problem on certain bounded domains
scientific article

    Statements

    The Serre problem on certain bounded domains (English)
    0 references
    0 references
    0 references
    1 November 2004
    0 references
    The Serre problem consists of the following question: Given a holomorphic fiber bundle \(\pi:E\rightarrow B\) with a basis \(B\) and a fiber \(F\). Let \(F\) and \(B\) be Stein. Does it follow that also \(E\) is Stein? If the dimension of the fiber is \(0\) or \(1\) then this is known to be true. But in general the Serre problem does not admit a positive answer, as is shown by counterexamples that have been found by Skoda in 1977 and also Coeure-Loeb in 1985. In 1973 J.-L. Stehlé proved, that the Serre problem can be answered in a positive way, if the fiber satisfies the following condition: On \(F\) there exists a plurisubharmonic exhaustion function \(\psi\) such that \(\psi \circ h -\psi\) is bounded for any automorphism \(h\) of \(F\). In the article under review a criterion is given that is in the spirit of Stehlé's result: Theorem: The answer to the Serre problem is positive, if the fiber is either of the following: (i) a bounded domain \(\Omega \) in \(\mathbb{C}^n\) which has a plurisubharmonic exhaustion function \(\psi\) such that \(\psi \leq c\, \log \log (1/\delta_\Omega ) \), where \(\delta_\Omega\) denotes the boundary distance function on \(\Omega\) and \(c>0\) is a constant; (ii) a Stein domain \(\widetilde \Omega \setminus S\), where \(\widetilde \Omega\) is a bounded domain which has a continuous bounded plurisubharmonic exhaustion function \(\psi\) such that \(\psi \leq c \delta_\Omega ^\gamma \), where \(c,\gamma >0\), and \(S\) is a closed subset of \(\overline \Omega\) which is negligible w.r.t. holomorphic \(L^2\) functions, i.e. any holomorphic \(L^2\)-function on \(\Omega\) extends holomorphically to \(\widetilde \Omega\). Furthermore it is shown that a bounded hyperconvex domain always satisfies condition (i) and an example of a domain is given, that satisfies (i) without being hyperconvex.
    0 references
    fiber bundles
    0 references
    plsh exhaustion functions
    0 references
    hyperconvex domains
    0 references

    Identifiers