Contents

complex geometry

cohomology

# Contents

## Idea

In complex geometry, the Oka-Grauert principle states that over complex manifolds $S$ which are Stein manifolds, the non-abelian cohomology-classification of holomorphic vector bundles coincides with that of topological vector bundles,

$S \;\text{is Stein} \;\;\;\;\; \Rightarrow \;\;\;\;\; H^1 \Big( S; \, \underline{GL(n, \mathbb{C})}_{hol} \Big) \,\simeq\, H^1 \Big( S; \, \underline{GL(n, \mathbb{C})}_{top} \Big) \,.$

This was originally proven for holomorphic line bundles in Oka 1913 (in which case it says that holomorphic line bundles over Stein manifolds are fully classified by their first Chern class) and generalized in Grauert 1958 to holomorphic vector bundles and further to holomorphic principal bundles with structure group any complex Lie group.

As a principle, this Oka-Grauert principle is sometimes stated as (Forstnerič 12):

Analytic problems on Stein spaces which can be cohomologically formulated have only topological obstructions.

More generally, for suitable complex manifolds $A$ now called Oka manifolds (Forstnerič 2009a) – including (see here) the complex Grassmannians that serve as classifying spaces for complex vector bundles –, the inclusion into the space of continuous maps $S \to A$, out of a Stein manifold $S$, of the subspace of holomorphic functions is a weak homotopy equivalence:

$Maps_{hol}(S, \, A) \xhookrightarrow{ \simeq_{whe} } Maps(S, \, A) \;\;\;\;\;\;\;\; \Leftrightarrow \;\;\;\;\;\;\;\; \underset{n \in \mathbb{N}}{\forall} \;\; \pi_n \big( Maps_{hol}(S, \, A) \big) \xrightarrow{\sim} \pi_n \big( Maps(S, \, A) \big) \,.$

More generally, an analogous statement applies to suitable fiber bundles of Oka manifolds over Stein manifolds and their spaces of sections (Forstnerič 2009b).

This homotopy theoretic weak homotopy equivalence Oka principle goes back to results of Gromov 89, where (?) it is viewed an an example of the h-principle.

The duality between Stein manifolds and Oka manifolds in this homotopy-theoretic Oka principle is fully brought out by the existence of a model category for complex analytic ∞-groupoids in which a complex manifold is cofibrant/fibrant object if it is Stein/Oka, respectively (Lárusson 2001, 03).

## Homotopical Oka principle

###### Proposition

(weak homotopy equivalence Oka principle) For

the inclusion

$Maps_{hol} \big( S, \, X \big) \xhookrightarrow{\;\simeq_{whe}\;} Maps \big( S ,\, X \big)$

of the subspace of holomorphic functions into the mapping space of their underlying topological spaces (with the compact-open topology) is a weak homotopy equivalence.

(review in Forstnerič & Lárusson 2011, Cor. 3.5)

More generally, for $Z \xrightarrow{\;} S$ a stratified holomorphic fiber bundle of Oka manifolds, the corresponding inclusion of spaces of sections

$\Gamma_{hol}\big(S, \, Z \big) \xhookrightarrow{\;\simeq_{whe}\;} \Gamma\big(S, \, Z \big)$

## In higher complex analytic geometry

In (Lárusson 2001, Lárusson 2003) this is formulated in terms of higher complex analytic geometry of complex analytic infinity-groupoids.

Say that a complex manifold $X$ is an Oka manifold if for every Stein manifold $\Sigma$ the canonical morphism

$Maps_{hol}(\Sigma, X) \longrightarrow Maps_{top}(\Sigma, X)$

from the mapping space of holomorphic functions to that of continuous functions (both equipped with the compact-open topology) is a weak homotopy equivalence.

###### Theorem

This is the case precisely if $Maps_{hol}(-,X) \in Psh_\infty(SteinSp)$ satisfies descent with respect to finite covers.

###### Theorem

The category of complex manifolds and holomorphic maps can be embedded into a Quillen model category such that:

(Larusson 03 – apparently this follows an observation due to J. F. Jardine and uses his intermediate model structure on simplicial presheaves)

Introduction and review:

Original articles:

Franc Forstnerič, The Oka principle for sections of stratified fiber bundles, Pure Appl. Math. Quarterly (Special Issue in honor of Joseph J. Kohn), 6 (2010), no. 3, 843–874 (arxiv/0705.0591, doi:10.4310/PAMQ.2010.v6.n3.a11)

Proof of the homotopy-theoretic Oka principle:

• Tyson Ritter, A strong Oka principle for embeddings of some planar domains into $C\times C^*$, arxiv/1011.4116