Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeNov 19th 2010

    New stubs Oka principle, Oka manifold (with redirect Oka map) and Franc Forstnerič. Jardine has shown that one can use the Toen-Vezzosi like engineering with his intermediate model structure on the category of simplicial presheaves on a simplicial version of the Stein site. The (,1)(\infty,1)-stacks/fibrants will be Oka maps; those cofibrants which are represented by complex manifolds are in fact Stein manifolds.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeNov 19th 2010
    • (edited Nov 19th 2010)

    Added several complex varaibles. I wanted to quote it from some other entries but it seems problems with nlab again.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 19th 2010

    Have you seen http://arxiv.org/abs/math/0303355, Zoran?

    Model Structures and the Oka Principle

    Authors: Finnur Larusson

    Abstract: We embed the category of complex manifolds into the simplicial category of prestacks on the simplicial site of Stein manifolds, a prestack being a contravariant simplicial functor from the site to the category of simplicial sets. The category of prestacks carries model structures, one of them defined for the first time here, which allow us to develop “holomorphic homotopy theory”. More specifically, we use homotopical algebra to study lifting and extension properties of holomorphic maps, such as those given by the Oka Principle. We prove that holomorphic maps satisfy certain versions of the Oka Principle if and only if they are fibrations in suitable model structures. We are naturally led to a simplicial, rather than a topological, approach, which is a novelty in analysis.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeNov 20th 2010
    • (edited Nov 21st 2010)

    Larusson is in the same department with Jardine, and he has far developed initial observations of Jardine mentioned above. It is a very interesting development. I remember few years ago being pretty excited when I saw the abstract you quote above, but did not have the time to go reading this. I was reminded of it few days ago when planing to go to the seminar by Forstnerič, where the analytic aspects where exhibited, rather than the model structure. If I will have the time to go to Ljubljana in that period, Larusson visits Ljubljana in early December for a colloqium.

    Stein manifolds should be viewed as an analogues of affine schemes; thus the role of Stein site by analogy with approaches to derived algebraic geometry and A 1{A}^1-homotopy theory. It would be interesting to also have an analogue of birational theory (bimeromorphic homotopy theory - like birational motives of Bruno Kahn). I have attended once a talk on B 1{B}^1-homotopy theory in rigid analytic geomtry which has similar structure like Voevodsky’s theory. The situation there should be even closer to the phenomena in several complex variables.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 21st 2010

    No. Larusson is at Adelaide (my university), but he was previously in Canada with Jardine.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeNov 21st 2010

    I did not know that he moved and now is that far. I do not know why my LaTeX for A1 homotopy and B1 homotopy does not display in 4.

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeNov 21st 2010

    I tried your code and it did not work. I then tried A 1{A}^1 with ’braces’ around the A and that seems to work.

    • CommentRowNumber8.
    • CommentAuthorzskoda
    • CommentTimeNov 21st 2010

    Thanks, I have now updated with that strange correction.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeNov 22nd 2010

    Intersting. So in Larusson’s model structure fibrant replacement of representables is weak Oka-fication of complex manifolds. What would this be used for in practice? Where does one care about complex manifolds only if they are weakly Oka?

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeNov 22nd 2010

    Well, read the easy What is… Notices survey of Oka principle listed in the entry. The Oka property is about a homotopy solution to a section-like problem, deforming it and thus obtaining a holomorphic solution. Existence of various kinds of functions, maps and so on in several complex variables very much depends on the subtype of a complex domain one deals with. This is very complex and intricate. For example, the Stein property (which one should look at as an analogue of affine in sheaf picture) is in fact just one of many variants of weak convexity properties; one of the characterizations is in terms of plurisubharmonic functions. I do not know exactly when the weak Oka variant is interesting, we should read more.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeNov 22nd 2010

    New entry Finnur Lárusson.