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.
   • CommentAuthorUrs
   • CommentTimeNov 24th 2015
   • (edited Nov 24th 2015)
   • PermaLink
   Author: Urs
   Format: MarkdownItexIt's time that I think a bit more about the combination of [[smooth infinity-groupoid|smooth cohesion]] with [[Global Homotopy Theory and Cohesion|Charles Rezk's global equivariant cohesion]]. Here are some simple thoughts, nothing deep, just to warm up. I'll write $\infty Grpd_{Glob}$ for the [[global equivariant homotopy theory]] and by its smooth version I mean $$ \mathbf{H} \coloneqq Sh_\infty(SmoothMfd, \infty Grpd_{Glob}) \,. $$ This sits now in a commuting square of geometric morphisms, each one of which exhibits cohesion over its codomain: $$ \array{ Sh_\infty(SmoothMfd, \infty Grpd_{Glob}) &\stackrel{\Gamma_{smth}}{\longrightarrow}& \infty Grpd_{Glob} \\ \downarrow^{\mathrlap{\Gamma_{glob}}} &\searrow^{\mathrlap{\Gamma}}& \downarrow \\ Sh_\infty(SmoothMfd, \infty Grpd) &\longrightarrow& \infty Grpd } \,. $$ This provides a more refined perspective on smooth quotient spaces: for instance for $X$ a smooth manifold equipped with the action of a group $G$, then this defines the presheaf on manifolds $$ X /_{glob}G : U \mapsto \delta_{C^\infty(U,G)} (C^\infty(U,X), C^\infty(U,G)) \in \infty Grpd_{glob} \,, $$ where we regard $(C^\infty(U), C^\infty(U,G)) $ as a topological $C^\infty(U,G)$-space (which happens to be topologically discrete in this example) and $\delta_{C^\infty(U,G)}$ regards that as a presheaf over $Glob$. Then * $\Gamma_{glob} (X/_{glob} G)$ is the smooth orbifold coresponding to the $G$-action on $X$ * $\Pi_{glob} (X/_{glob} G)$ is the diffeological quotient space of $X$ by $G$. I think this is going to be important for the application to singular $G_2$-compactifications of 11d supergravity. There one needs smooth spaces with conical singularities of ADE type, but the actual physical manifold is not supposed to be the ADE orbifold, but really the naive quotient with that singularity. In fact what one really wants is that one considers the singular quotient in complex analytic cohesion and then blows up the singularity, replacing the singular point by a system of spheres that touch each other such as to form the corresponding ADE Dynkin diagram. I am wondering if there is any way to capture this abstractly.

   It’s time that I think a bit more about the combination of smooth cohesion with Charles Rezk’s global equivariant cohesion. Here are some simple thoughts, nothing deep, just to warm up.

   I’ll write for the global equivariant homotopy theory and by its smooth version I mean

   This sits now in a commuting square of geometric morphisms, each one of which exhibits cohesion over its codomain:

   This provides a more refined perspective on smooth quotient spaces: for instance for a smooth manifold equipped with the action of a group , then this defines the presheaf on manifolds

   where we regard as a topological -space (which happens to be topologically discrete in this example) and regards that as a presheaf over .

   Then

   • is the smooth orbifold coresponding to the -action on

   • is the diffeological quotient space of by .

   I think this is going to be important for the application to singular -compactifications of 11d supergravity. There one needs smooth spaces with conical singularities of ADE type, but the actual physical manifold is not supposed to be the ADE orbifold, but really the naive quotient with that singularity.

   In fact what one really wants is that one considers the singular quotient in complex analytic cohesion and then blows up the singularity, replacing the singular point by a system of spheres that touch each other such as to form the corresponding ADE Dynkin diagram. I am wondering if there is any way to capture this abstractly.

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 24th 2015
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexIs there likely to be any nice way to fit the global aspect with the modalities of the process? Does $Sh_\infty(CartSp_{supersynth}, \infty Grpd_{Glob})$ provide a model for the 12 modalities?

   Is there likely to be any nice way to fit the global aspect with the modalities of the process? Does provide a model for the 12 modalities?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeNov 24th 2015
   • (edited Nov 24th 2015)
   • PermaLink
   Author: Urs
   Format: MarkdownItexFrom the above diagram we get three adjoint triples of modalities: $$ \Pi \dashv \flat \dashv \sharp $$ and $$ \Pi_{glob} \dashv \flat_{glob} \dashv \sharp_{glob} $$ and $$ \Pi_{smth} \dashv \flat_{smth} \dashv \sharp_{smth} $$ And I think we have the relation $$ \flat_{glob} \flat_{smth} \simeq \flat_{smth} \flat_{glob} \simeq \flat $$ So it's a kind of factoring of the absolute cohesion into two subaspects.

   From the above diagram we get three adjoint triples of modalities:

   and

   and

   And I think we have the relation

   So it’s a kind of factoring of the absolute cohesion into two subaspects.

4. • CommentRowNumber4.
   • CommentAuthorCharles Rezk
   • CommentTimeNov 24th 2015
   • (edited Nov 24th 2015)
   • PermaLink
   Author: Charles Rezk
   Format: MarkdownItexI don't understand the example: what does $(C^\infty(U), C^\infty(U,G))$ represent? Where is the dependence on $X$?

   I don’t understand the example: what does represent? Where is the dependence on ?

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeNov 24th 2015
   • PermaLink
   Author: Urs
   Format: MarkdownItexOh, sorry, the worst of all typos. The $C^\infty(U)$ was meant to read $C^\infty(U,X)$. Sorry for this. All I am saying is that a manifold with a $G$-action represents a sheaf of sets with group action, hence a sheaf of topological G-spaces.

   Oh, sorry, the worst of all typos. The was meant to read . Sorry for this.

   All I am saying is that a manifold with a -action represents a sheaf of sets with group action, hence a sheaf of topological G-spaces.