Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorCharles Rezk
   • CommentTimeNov 17th 2015
   • PermaLink
   Author: Charles Rezk
   Format: MarkdownItexHere's a question (possibly naive) I have about the smooth infinity topos, which I'll call $E$. (I guess I could ask this on MathOverflow, but anyone who is likely to know is probably here.) I'll write $T$ for infinity-groupoids, and $\Pi\colon E\to T$ for the functor left adjoint to the one sending a space $X$ to the constant simplicial sheaf with value $X$. I'll identify the category $Man$ of smooth manifolds with a full subcategory of $E$; thus, $\Pi$ sends a manifold to its homotopy type. Being an infinity topos, $E$ has (derived) internal function objects, which I'll write as $[X,Y]$. The question is: if $M$ and $N$ are manifolds, is $\Pi[M,N] \approx [\Pi M,\Pi N]$, the latter being the derived mapping space in $T$? It's certainly true if $M=\mathbb{R}^k$, since $[\mathbb{R}^k,N]$ is "$\mathbb{R}$-homotopy equivalent" to $N$, and $\Pi$ inverts $\mathbb{R}$-homotopy equivalence.

   Here’s a question (possibly naive) I have about the smooth infinity topos, which I’ll call $E$. (I guess I could ask this on MathOverflow, but anyone who is likely to know is probably here.)

   I’ll write $T$ for infinity-groupoids, and $\Pi\colon E\to T$ for the functor left adjoint to the one sending a space $X$ to the constant simplicial sheaf with value $X$. I’ll identify the category $Man$ of smooth manifolds with a full subcategory of $E$; thus, $\Pi$ sends a manifold to its homotopy type.

   Being an infinity topos, $E$ has (derived) internal function objects, which I’ll write as $[X,Y]$. The question is: if $M$ and $N$ are manifolds, is $\Pi[M,N] \approx [\Pi M,\Pi N]$, the latter being the derived mapping space in $T$?

   It’s certainly true if $M=\mathbb{R}^k$, since $[\mathbb{R}^k,N]$ is “$\mathbb{R}$-homotopy equivalent” to $N$, and $\Pi$ inverts $\mathbb{R}$-homotopy equivalence.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeNov 17th 2015
   • (edited Nov 17th 2015)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI am not sure in generality. For what it's worth, it looks to me like the analogous question in complex analytic cohesion is the "Oka principle", in [this incarnation](http://ncatlab.org/nlab/show/Oka%20principle#StatementInComplexAnalyticGeometry).

   I am not sure in generality. For what it’s worth, it looks to me like the analogous question in complex analytic cohesion is the “Oka principle”, in this incarnation.

3. • CommentRowNumber3.
   • CommentAuthorDmitri Pavlov
   • CommentTimeNov 17th 2015
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexYes. According to Corollary 31.38 of the soon-to-be-on-arXiv draft http://dmitripavlov.org/concordance.pdf the functor Π (denoted there by the fraktur C) can be computed using the formula in Proposition 25.5 as ΠF = hocolim_{n∈Δ^op} F(**Δ**^n), where **Δ** denotes extended simplices considered as smooth manifolds and F denotes an arbitrary object of E. For representable stacks M we immediately see that Π recovers the underlying homotopy type because ΠM is simply the smooth singular simplicial set of M. Applying this to the map Π[M,N]→[ΠM,ΠN], we can compute Π[M,N] as the simplicial set whose k-simplices are smooth maps **Δ**^k × M → N and [ΠM,ΠN] as [Sing(M),Sing(N)]. Thus the problem is reduced to the well-known comparison result (probably from 1950s?) for the space of smooth maps M→N and its homotopical cousin [Sing(M),Sing(N)].

   Yes. According to Corollary 31.38 of the soon-to-be-on-arXiv draft http://dmitripavlov.org/concordance.pdf the functor Π (denoted there by the fraktur C) can be computed using the formula in Proposition 25.5 as ΠF = hocolim_{n∈Δ^op} F(Δ^n), where Δ denotes extended simplices considered as smooth manifolds and F denotes an arbitrary object of E.

   For representable stacks M we immediately see that Π recovers the underlying homotopy type because ΠM is simply the smooth singular simplicial set of M.

   Applying this to the map Π[M,N]→[ΠM,ΠN], we can compute Π[M,N] as the simplicial set whose k-simplices are smooth maps Δ^k × M → N and [ΠM,ΠN] as [Sing(M),Sing(N)]. Thus the problem is reduced to the well-known comparison result (probably from 1950s?) for the space of smooth maps M→N and its homotopical cousin [Sing(M),Sing(N)].

4. • CommentRowNumber4.
   • CommentAuthorCharles Rezk
   • CommentTimeNov 17th 2015
   • PermaLink
   Author: Charles Rezk
   Format: MarkdownItexThanks Dmitry, that's great.

   Thanks Dmitry, that’s great.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 9th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexJust in case anyone happens upon this old discussion, to point out that this issue is meanwhile being discussed in some detail as the *[[smooth Oka principle]]* [here](https://ncatlab.org/nlab/show/shape+via+cohesive+path+%E2%88%9E-groupoid#ConsequenceSmoothOkaPrinciple).

   Just in case anyone happens upon this old discussion, to point out that this issue is meanwhile being discussed in some detail as the smooth Oka principle here.