geometry, complex numbers, complex line
$dim = 1$: Riemann surface, super Riemann surface
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
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,
This was originally proven for holomorphic line bundles in Oka 1939 (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:
(review in Forstnerič & Lárusson 2011, Cor. 3.5, Forstnerič 2013, (1.1))
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).
(weak homotopy equivalence Oka principle) For
$S$ a Stein manifold,
$X$ an Oka manifold,
the inclusion
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.
More generally, for $Z \xrightarrow{\;} S$ a stratified holomorphic fiber bundle of Oka manifolds, the corresponding inclusion of spaces of sections
is a weak homotopy equivalence.
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
from the mapping space of holomorphic functions to that of continuous functions (both equipped with the compact-open topology) is a weak homotopy equivalence.
This is the case precisely if $Maps_{hol}(-,X) \in Psh_\infty(SteinSp)$ satisfies descent with respect to finite covers.
The category of complex manifolds and holomorphic maps can be embedded into a Quillen model category such that:
a holomorphic map is a weak equivalence in the ambient model category if and only if it is a homotopy equivalence in the usual topological sense;
a holomorphic map is a fibration if and only if it is an Oka map. In particular, a complex manifold is fibrant if and only if it is an Oka manifold;
a complex manifold is cofibrant if and only if it is Stein;
a Stein inclusion is a cofibration.
(Larusson 03 – apparently this follows an observation due to J. F. Jardine and uses his intermediate model structure on simplicial presheaves)
Introduction and review:
Finnur Lárusson, What is an Oka manifold?, Notices AMS Volume 57, Number 1, 2010 (pdf, pdf)
Franc Forstnerič, Finnur Lárusson, Survey of Oka theory, New York J. Math., 17a (2011), 1-28 (arXiv:1009.1934, eudml:232963)
Franc Forstnerič, Section 5.3 of: Stein manifolds and holomorphic mappings – The homotopy principle in complex analysis, Springer 2011 (doi:10.1007/978-3-642-22250-4)
Franc Forstnerič (appendix by Finnur Lárusson), Oka manifolds: From Oka to Stein and back, Annales de la Faculté des sciences de Toulouse, Mathématiques, Série 6, Tome 22 (2013) no. 4, pp. 747-809 (numdam:AFST_2013_6_22_4_747_0)
Franc Forstnerič, Developments in Oka theory since 2017 (arXiv:2006.07888)
Franc Forstnerič, Gromov’s contribution to the Oka principle, 2012 (pdf, pdf)
See also:
Original articles:
Kiyoshi Oka, Sur les fonctions des plusieurs variables. III: Deuxième problème de Cousin, J. Sc. Hiroshima Univ. 9, 7–19 (1939) (doi:10.32917/hmj/1558490525)
Hans Grauert, Analytische Faserungen über holomorph-vollständigen Räumen, Math. Ann. 135, 263–-273 (1958) (doi:10.1007/BF01351803)
Mikhail Gromov, Oka’s principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc. 2 (1989), 851–-897 (doi:10.2307/1990897)
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:
Franc Forstnerič, Oka manifolds, Comptes Rendus Mathematique, Acad. Sci. Paris 347 (2009), 1017–20 (arXiv:0906.2421, doi:10.1016/j.crma.2009.07.005)
Franc Forstnerič, Oka maps, Comptes Rendus Mathematique, Acad. Sci. Paris, Ser. I 348 (2010) 145-148 (arxiv/0911.3439, doi:10.1016/j.crma.2009.12.004)
See also:
Discussion in terms of higher complex analytic geometry and complex analytic ∞-groupoids:
Finnur Lárusson, Excision for simplicial sheaves on the Stein site and Gromov’s Oka principle, International Journal of Mathematics Vol. 14, No. 02, pp. 191-209 (2003) (arXiv:math/0101103, doi:10.1142/S0129167X03001727)
Finnur Lárusson, Model structures and the Oka principle, Journal of Pure and Applied Algebra Volume 192, Issues 1–3, 1 September 2004, Pages 203-223 (math.CV/0303355, doi:10.1016/j.jpaa.2004.02.005)
Application to minimal surfaces:
See also:
Last revised on November 8, 2022 at 17:08:24. See the history of this page for a list of all contributions to it.