An Oka principle for a parametric infinite transitivity property (Q2411196)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Oka principle for a parametric infinite transitivity property
scientific article

    Statements

    An Oka principle for a parametric infinite transitivity property (English)
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    The main result is Theorem 1.1. Let \(W\) be a Stein manifold and let \(X\) be a Stein manifold with the holomorphic density property, that is, the Lie algebra generated by the complete vector fields is dense in the algebra of all vector fields on \(X\) with respect to the compact-open topology. For \(N\) a natural number, let \(x: W \to X^N \setminus \Delta\) be a holomorphic map, where \(\Delta = \{ (z^1,\ldots, z^N) \in X^N \;:\; z^i=z^j \text{ for some } i\neq j \}\), that is, \(x\) is given by \(N\) holomorphic maps \(x^j: W \to X\) such that, for each \(w\in W\), the \(N\) points \(x^1(w), \dots, x^N(w)\) are pairwise distinct. The authors consider the notion of parametrized points \(x^1, \dots, x^N\) being ``simultaneously standardizable'' as a strong type of \(N\)-transitivity; this was introduced in [the first author and \textit{S. Lodin}, Duke Math. J. 162, No. 1, 49--94 (2013; Zbl 1266.32029)]. It means that, for fixed \(N\) pairwise distinct points \(z^1,\dots,z^N\) in \(X\), there exists a parametrized automorphism \(\alpha(w,z)=(w,\alpha^w(z))\in\mathrm{Aut}_W(X)\subseteq \mathrm{Aut}(W\times X)\) with \(\alpha^w(x^j(w))=z^j\). In Theorem 1.1, the authors prove that the parametrized points \(x^1, \dots, x^N\) are simultaneously standardizable by an automorphism lying in the path-connected component of the identity \((\mathrm{Aut}_W(X))^0\) of \(\mathrm{Aut}_W(X)\) if and only if \(x\) is null-homotopic. That is, the obstruction to a holomorphic solution is topological. This is an Oka principle for a strong form of parametric infinite transitivity. The result of [loc. cit.] is recovered for \(W=\mathbb C^k\) and \(X=\mathbb C^n\). A similar result holds when \(X\) is a Stein manifold with a volume form \(\omega\) satisfying the \(\omega\)-volume density property, under additional topological assumptions of dimension greater than one and contractibility, as proven in Theorem 1.2.
    0 references
    Oka principle
    0 references
    density property
    0 references
    volume density property
    0 references
    infinite transitivity
    0 references
    Stein manifold
    0 references
    0 references

    Identifiers