Motivation for definition of Quotient stack












8














I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.




Let $G$ be a Lie group action on a manifold $X$ (left action). We define the quotient stack $[X/G]$ as $[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.



Morphisms of objects are $G$-equivariant isomorphisms.




I am trying to understand the motivation for defining in this way.





Given a Lie group action of $G$ on $X$, if I want to associate a stack, I would start with simpler cases which allows me to guess how to define.




  • Given a Lie group $G$, I have stack associated to it, denoted by $BG$, the stack of principal $G$ bundles.


  • Given a manifold $M$, I have the stack associated to it, denoted by $underline{M}$ whose objects are maps $Yrightarrow M$.



Suppose $X$ is trivial and $G$ acts trivially on $X={*}$ then $[X/G]$ should only depend on $G$. We know what stack to associate for a Lie group $G$ i.e., $BG$. Thus, $[X/G]$ should just be $BG$.



Suppose $G$ is trivial and $G$ acts on $X$, $[X/G]$ should only depend on $X$. We know what stack to associate for a manifold $X$ i.e., $underline{X}$. Thus, $[X/G]$ should just be $underline{X}$.



Suppose $G$ is non trivial and $X$ is non trivial and that the action of $G$ on $X$ is such that $X/G$ is a manifold. We know what stack to associate for a manifold $X/G$ i.e., $underline{X/G}$. Thus, $[X/G]$ should just be $underline{X/G}$.



I am not able to guess how could we guess the definition knowing above three cases. Is quotient stack definition motivated from these simpler cases or Is it the case that simpler cases are special cases of notion of Quotient stack. How could we come up with such a definition. Any comments regarding the motivation are welcome.










share|cite|improve this question
























  • Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
    – Denis Nardin
    Dec 19 at 10:40










  • @DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
    – Praphulla Koushik
    Dec 19 at 10:43








  • 1




    You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
    – Louis-Clément LEFÈVRE
    Dec 19 at 13:39








  • 1




    @Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
    – Denis Nardin
    Dec 19 at 13:46












  • @Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
    – Praphulla Koushik
    Dec 19 at 17:55


















8














I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.




Let $G$ be a Lie group action on a manifold $X$ (left action). We define the quotient stack $[X/G]$ as $[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.



Morphisms of objects are $G$-equivariant isomorphisms.




I am trying to understand the motivation for defining in this way.





Given a Lie group action of $G$ on $X$, if I want to associate a stack, I would start with simpler cases which allows me to guess how to define.




  • Given a Lie group $G$, I have stack associated to it, denoted by $BG$, the stack of principal $G$ bundles.


  • Given a manifold $M$, I have the stack associated to it, denoted by $underline{M}$ whose objects are maps $Yrightarrow M$.



Suppose $X$ is trivial and $G$ acts trivially on $X={*}$ then $[X/G]$ should only depend on $G$. We know what stack to associate for a Lie group $G$ i.e., $BG$. Thus, $[X/G]$ should just be $BG$.



Suppose $G$ is trivial and $G$ acts on $X$, $[X/G]$ should only depend on $X$. We know what stack to associate for a manifold $X$ i.e., $underline{X}$. Thus, $[X/G]$ should just be $underline{X}$.



Suppose $G$ is non trivial and $X$ is non trivial and that the action of $G$ on $X$ is such that $X/G$ is a manifold. We know what stack to associate for a manifold $X/G$ i.e., $underline{X/G}$. Thus, $[X/G]$ should just be $underline{X/G}$.



I am not able to guess how could we guess the definition knowing above three cases. Is quotient stack definition motivated from these simpler cases or Is it the case that simpler cases are special cases of notion of Quotient stack. How could we come up with such a definition. Any comments regarding the motivation are welcome.










share|cite|improve this question
























  • Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
    – Denis Nardin
    Dec 19 at 10:40










  • @DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
    – Praphulla Koushik
    Dec 19 at 10:43








  • 1




    You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
    – Louis-Clément LEFÈVRE
    Dec 19 at 13:39








  • 1




    @Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
    – Denis Nardin
    Dec 19 at 13:46












  • @Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
    – Praphulla Koushik
    Dec 19 at 17:55
















8












8








8


3





I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.




Let $G$ be a Lie group action on a manifold $X$ (left action). We define the quotient stack $[X/G]$ as $[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.



Morphisms of objects are $G$-equivariant isomorphisms.




I am trying to understand the motivation for defining in this way.





Given a Lie group action of $G$ on $X$, if I want to associate a stack, I would start with simpler cases which allows me to guess how to define.




  • Given a Lie group $G$, I have stack associated to it, denoted by $BG$, the stack of principal $G$ bundles.


  • Given a manifold $M$, I have the stack associated to it, denoted by $underline{M}$ whose objects are maps $Yrightarrow M$.



Suppose $X$ is trivial and $G$ acts trivially on $X={*}$ then $[X/G]$ should only depend on $G$. We know what stack to associate for a Lie group $G$ i.e., $BG$. Thus, $[X/G]$ should just be $BG$.



Suppose $G$ is trivial and $G$ acts on $X$, $[X/G]$ should only depend on $X$. We know what stack to associate for a manifold $X$ i.e., $underline{X}$. Thus, $[X/G]$ should just be $underline{X}$.



Suppose $G$ is non trivial and $X$ is non trivial and that the action of $G$ on $X$ is such that $X/G$ is a manifold. We know what stack to associate for a manifold $X/G$ i.e., $underline{X/G}$. Thus, $[X/G]$ should just be $underline{X/G}$.



I am not able to guess how could we guess the definition knowing above three cases. Is quotient stack definition motivated from these simpler cases or Is it the case that simpler cases are special cases of notion of Quotient stack. How could we come up with such a definition. Any comments regarding the motivation are welcome.










share|cite|improve this question















I am reading "Some notes on Differentiable stacks" by J. Heinloth. In that paper, the notion of quotient stack is defined as follows.




Let $G$ be a Lie group action on a manifold $X$ (left action). We define the quotient stack $[X/G]$ as $[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.



Morphisms of objects are $G$-equivariant isomorphisms.




I am trying to understand the motivation for defining in this way.





Given a Lie group action of $G$ on $X$, if I want to associate a stack, I would start with simpler cases which allows me to guess how to define.




  • Given a Lie group $G$, I have stack associated to it, denoted by $BG$, the stack of principal $G$ bundles.


  • Given a manifold $M$, I have the stack associated to it, denoted by $underline{M}$ whose objects are maps $Yrightarrow M$.



Suppose $X$ is trivial and $G$ acts trivially on $X={*}$ then $[X/G]$ should only depend on $G$. We know what stack to associate for a Lie group $G$ i.e., $BG$. Thus, $[X/G]$ should just be $BG$.



Suppose $G$ is trivial and $G$ acts on $X$, $[X/G]$ should only depend on $X$. We know what stack to associate for a manifold $X$ i.e., $underline{X}$. Thus, $[X/G]$ should just be $underline{X}$.



Suppose $G$ is non trivial and $X$ is non trivial and that the action of $G$ on $X$ is such that $X/G$ is a manifold. We know what stack to associate for a manifold $X/G$ i.e., $underline{X/G}$. Thus, $[X/G]$ should just be $underline{X/G}$.



I am not able to guess how could we guess the definition knowing above three cases. Is quotient stack definition motivated from these simpler cases or Is it the case that simpler cases are special cases of notion of Quotient stack. How could we come up with such a definition. Any comments regarding the motivation are welcome.







ag.algebraic-geometry dg.differential-geometry stacks






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 21 at 19:21









Martin Sleziak

2,91032028




2,91032028










asked Dec 19 at 10:28









Praphulla Koushik

8321423




8321423












  • Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
    – Denis Nardin
    Dec 19 at 10:40










  • @DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
    – Praphulla Koushik
    Dec 19 at 10:43








  • 1




    You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
    – Louis-Clément LEFÈVRE
    Dec 19 at 13:39








  • 1




    @Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
    – Denis Nardin
    Dec 19 at 13:46












  • @Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
    – Praphulla Koushik
    Dec 19 at 17:55




















  • Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
    – Denis Nardin
    Dec 19 at 10:40










  • @DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
    – Praphulla Koushik
    Dec 19 at 10:43








  • 1




    You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
    – Louis-Clément LEFÈVRE
    Dec 19 at 13:39








  • 1




    @Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
    – Denis Nardin
    Dec 19 at 13:46












  • @Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
    – Praphulla Koushik
    Dec 19 at 17:55


















Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
– Denis Nardin
Dec 19 at 10:40




Your third case is wrong. You also need the action of $G$ to be free on $X$ (else you lose the stabilizers!)
– Denis Nardin
Dec 19 at 10:40












@DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
– Praphulla Koushik
Dec 19 at 10:43






@DenisNardin When I said $G$ acts on $X$ so that $X/G$ is manifold I had in my mind quotient manifold theorem.. There $G$ acts on $X$ freely, properly (smoothly of course)... It then says $X/G$ is a manifold :D I did not even think about the case where $G$ action is not proper but $X/G$ is still a manifold... I should have mentioned free,,
– Praphulla Koushik
Dec 19 at 10:43






1




1




You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
– Louis-Clément LEFÈVRE
Dec 19 at 13:39






You seem to forget the elementary fact that, since $f$ is $G$-equivariant, it simply induces a quotient map $P/G=Yrightarrow X/G$. Hence if $X/G$ really existed as a manifold then the quotient stack $[X/G]$ would really be given by $X/G$. Else, we take this as a definition for $[X/G]$ and it works fine, as explained in the answers below. That's how I understand it.
– Louis-Clément LEFÈVRE
Dec 19 at 13:39






1




1




@Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
– Denis Nardin
Dec 19 at 13:46






@Louis-ClémentLEFÈVRE While what you say clearly proves that there is a map $[X/G]to X/G$, I think it is a bit misleading: take $X=*$. Then $*/G$ exists as a manifold (it's just $*$ again) but it's certainly not the same as $[X/G]=mathbf{B}G$. You do need some more hypotheses to deduce that the map $[X/G]to X/G$ is an isomorphism
– Denis Nardin
Dec 19 at 13:46














@Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
– Praphulla Koushik
Dec 19 at 17:55






@Louis-ClémentLEFÈVRE We assumed $X/G$ is a manifold.... If $f:Prightarrow X$ is $G$-equivariant, this induces map $P/Grightarrow X/G$.. Ok... As $Prightarrow Y$ is principal $G$-bundle, $P/G=Y$... Ok till here... Thus, $f:Prightarrow X$ give a map $Yrightarrow X/G$.... Ok ... So, we have a map of categories $[X/G]rightarrow underline{X/G}$... Under good conditions, this map is an isomorphism... This is what you are saying... Right?
– Praphulla Koushik
Dec 19 at 17:55












4 Answers
4






active

oldest

votes


















11














Let's start approaching the question from the simplest possible case $Y=*$. What should be the points of $[X/G]$?



Recall that the idea here is to generalize the construction of the action groupoid for discrete groups acting on sets to the manifold case. This allows us to remember the stabilizers of points and it is generally a much better behaved notion.



So morally $[X/G](*)$ should be the groupoid whose objects are points of $X$ and such that $mathrm{Mor}(x,x')={gin Gmid gx=x'}$. With this description however it is a bit unclear how to generalize that to get a description of $[X/G](Y)$, so let us rewrite it in a slightly different way.



A point of $X$ is just a $G$-equivariant morphism $Gto X$ (since any such $G$-equivariant morphism is determined by the image of $ein G$). Moreover a morphism between $x:Gto X$ and $x':Gto X$ is exactly a $G$-equivariant morphism $g:Gto G$ (i.e. right multiplication by some element $gin G$) making the obvious diagram commute. Now if you look at the definition, the groupoid does not depend from the fact that $G$ has a canonical basepoint (the identity element $ein G$), so in fact we can write




$[X/G](*)$ is defined as the groupoid of $G$-equivariant maps $Tto X$ where $T$ is a freely transitive $G$-space.




Ok, so now we want to describe the groupoid $[X/G](Y)$. Intuitively the objects here should be families of elements of $[X/G](*)$ parametrized by $Y$. But a family of freely transitive $G$-spaces is exactly a principal $G$-bundle $Pto Y$, and a family of $G$-equivariant map $P_yto X$ for each $yin Y$ is just a $G$-equivariant map $Pto X$. Hence we get the definition you are asking about.






share|cite|improve this answer























  • By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
    – Praphulla Koushik
    Dec 19 at 10:48












  • Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
    – Denis Nardin
    Dec 19 at 10:50










  • Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
    – Praphulla Koushik
    Dec 19 at 10:56








  • 1




    I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
    – Denis Nardin
    Dec 19 at 10:57






  • 4




    A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
    – Asvin
    Dec 19 at 16:41





















3














Let me detail the following case: $G$ is a Lie group that acts freely and properly on the manifold $X$. Classical theorems in differential geometry state that the quotient is a manifold and that $Xrightarrow X/G$ is a principal $G$-bundle. Then as I said in the comments, given a principal $G$-bundle $Prightarrow Y$ and a $G$-equivariant map $f:Prightarrow X$ then at the quotient $f$ induces a map $g:Yrightarrow X/G$, simply because $P/G=Y$.



Conversely, again in this situation for the action of $G$, let's take a map of manifolds $g:Yrightarrow X/G$. Since the bundle $Xrightarrow X/G$ is locally trivial one can lift locally on $Y$ the map $g$ to a map $Utimes G rightarrow X$ (with $Usubset Y$) which is $G$-equivariant, seeing $Utimes G$ as a trivial principal $G$-bundle. Such a lift is not unique: you can change it by an automorphism of the principal $G$-bundle $Utimes G$. Glueing these lifts defines a principal $G$-bundle $P$ over $Y$ together with a $G$-equivariant map $Prightarrow X$ lifting $g$. This corresponds exactly to the descent theory for principal $G$-bundles.



Let me add also that the theory of stacks is made so that, without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle. More precisely, this means that for any map $Yrightarrow [X/G]$, the fiber product in the category of stacks $Ytimes_{[X/G]} X$ is in fact a manifold $P$ and that the projection $Prightarrow Y$ is a principal $G$-bundle (in other words the principal $G$-bundle $Xrightarrow [X/G]$ pulls back to a principal $G$-bundle $Prightarrow Y$ in the usual sense). This is the standard way of defining geometric conditions for stacks and morphisms between them: by pulling it back along a map from a manifold. This forces you again to take this definition for the stack $[X/G]$.






share|cite|improve this answer





















  • Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
    – Praphulla Koushik
    Dec 20 at 13:12










  • Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
    – Praphulla Koushik
    Dec 20 at 13:17










  • It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
    – Praphulla Koushik
    Dec 20 at 13:26










  • A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
    – Praphulla Koushik
    Dec 20 at 13:28












  • By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
    – Praphulla Koushik
    Dec 20 at 13:37





















2














The nicest possible action of $G$ on $X$ is the free one, because in this case the quotient $X/G$ is a manifold or not far from a manifold, the map $Xto X/G$ is a $G$-principal bundle, and $G$-equivariant geometry on $X$ is the same as geometry on $X/G$. In short, the situation is as nice as possible.



The construction of the quotient stack $[X/G]$ is motivated by the desire to obtain such good properties in the non-free case also. Let me try to show how the definition of $[X/G](Y)$ comes naturally, say in the case that $Y$ is a point for simplicity. For this, we make the following observation. Fundamentally the quotient of a space by a group action is the set of orbits. Now if you think about it, an orbit is nothing else than the image of an equivariant map $f:Pto X$ where $P$ is a principal homogeneous space (a.k.a. a $G$-bundle), and we have a free orbit exactly when $f$ is injective. What is special with the case when $G$ acts freely on $X$ is that in this case any map $f$ as above has to be injective. But if you change slightly your conception of an orbit and if instead of the image $f(P)$, you focus on $P$ itself (understood with its mapping to $X$), then you somehow restore all good properties of free orbits — indeed, after all the action on $P$ is free! Therefore if we call orbit an equivariant map from a $G$-bundle to $X$, then $[X/G]$ is just the set of orbits. Now deriving the definition for fibrations over a general space $Y$ is easy.






share|cite|improve this answer























  • you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
    – Praphulla Koushik
    Dec 21 at 9:13










  • Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
    – Matthieu Romagny
    Dec 21 at 9:44






  • 1




    lmgtfy.com/?q=G-equivariant :-)
    – David Roberts
    Dec 22 at 4:19



















0














Given a Lie group action $G$ on $X$ we have what is called a action groupoid (Translation groupoid) associated with the action usually denoted by $Gltimes X$.



Objects of this category are elements of $X$. Given $x,yin (Gltimes X)_0=X$, there is an arrow $xrightarrow y$ if these two elements $x,y$ are related by an element of $G$ i.e., if there exists $gin G$ such that that $g.x=y$. We can also write
$$text{Mor} (x,y)={gin G:g.x=y}$$



So, we have a Lie groupoid $mathcal{G}=Gltimes X$ associated with this action $G$ on $X$.



There is a notion of what is called a principal $mathcal{G}$ bundle for a groupoid $mathcal{G}$.



I mentioned that, for each Lie group $G$ there is a stack $BG$, for each manifold $M$ there is a stack $underline{M}$.



I somehow forgot to mention that, for each Lie groupoid $mathcal{G}$ there is a stack associated namely $Bmathcal{G}$, the category of principal $mathcal{G}$ bundles.




A principal $mathcal{G}$ bundle over a manifold $M$ is a surjective submersion $pi:Prightarrow M$ with an action of $mathcal{G}$ on $P$ (which comes with a map $a:Prightarrow mathcal{G}_0$) such that





  • $pi:Prightarrow M$ is $mathcal{G}$ invariant

  • the map $Ptimes_{mathcal{G}_0}mathcal{G}_1rightarrow Ptimes_MP$ given by $(p,g)mapsto g.p$ is an diffeomorphism.




This definition can be found online and in particular in the paper Orbifolds as Stacks by Eugene Lerman.



The category of these principal $mathcal{G}$ bundles is denoted by $Bmathcal{G}$. This is a stack associated to $mathcal{G}$.



Now, consider the case when $mathcal{G}=Gltimes X$. Object space is $X$ here. So, principal bundle comes with map $Prightarrow X$. As mentioned above, it comes with map $Prightarrow M$ which is $mathcal{G}$ invarinat. As $mathcal{G}_1=G$, this simply mean $Prightarrow M$ is a principal $G$ bundle (neglecting some technicalities).



Thus, given a manifold $M$, the category $Bmathcal{G}(M)$ is a collection of principal $mathcal{G}$ bundles over the base $M$. Thus objects are principal $mathcal{G}$ bundles over $M$ which comes with map $Prightarrow mathcal{G}_0$ (anchor map) and $Prightarrow M$ (projection map). In case when $mathcal{G}=Gltimes X$, this comes with map $Prightarrow X$ and $Prightarrow M$ such that $Prightarrow M$ is $mathcal{G}$ bundle and $Prightarrow X$ is $mathcal{G}$-equivariant.




$Bmathcal{G}(M):={Pxrightarrow{p} M, Pxrightarrow{f}M | Prightarrow M text{ is a } mathcal{G}-text{bundle,} ~ f text{ is } mathcal{G}text{-equivariant}}$.




This is precisely the definition for quotient stack.




$[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.




This is (may be) the (one of) motivations for the definition of Quotient stack.




  • If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.


  • If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.







share|cite|improve this answer























  • What is the reason for downvote?
    – Praphulla Koushik
    Dec 19 at 17:08










  • I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
    – Asvin
    Dec 19 at 17:16










  • I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
    – Praphulla Koushik
    Dec 19 at 17:18












  • I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
    – Asvin
    Dec 19 at 17:19










  • "think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
    – Praphulla Koushik
    Dec 19 at 17:21











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f319038%2fmotivation-for-definition-of-quotient-stack%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























4 Answers
4






active

oldest

votes








4 Answers
4






active

oldest

votes









active

oldest

votes






active

oldest

votes









11














Let's start approaching the question from the simplest possible case $Y=*$. What should be the points of $[X/G]$?



Recall that the idea here is to generalize the construction of the action groupoid for discrete groups acting on sets to the manifold case. This allows us to remember the stabilizers of points and it is generally a much better behaved notion.



So morally $[X/G](*)$ should be the groupoid whose objects are points of $X$ and such that $mathrm{Mor}(x,x')={gin Gmid gx=x'}$. With this description however it is a bit unclear how to generalize that to get a description of $[X/G](Y)$, so let us rewrite it in a slightly different way.



A point of $X$ is just a $G$-equivariant morphism $Gto X$ (since any such $G$-equivariant morphism is determined by the image of $ein G$). Moreover a morphism between $x:Gto X$ and $x':Gto X$ is exactly a $G$-equivariant morphism $g:Gto G$ (i.e. right multiplication by some element $gin G$) making the obvious diagram commute. Now if you look at the definition, the groupoid does not depend from the fact that $G$ has a canonical basepoint (the identity element $ein G$), so in fact we can write




$[X/G](*)$ is defined as the groupoid of $G$-equivariant maps $Tto X$ where $T$ is a freely transitive $G$-space.




Ok, so now we want to describe the groupoid $[X/G](Y)$. Intuitively the objects here should be families of elements of $[X/G](*)$ parametrized by $Y$. But a family of freely transitive $G$-spaces is exactly a principal $G$-bundle $Pto Y$, and a family of $G$-equivariant map $P_yto X$ for each $yin Y$ is just a $G$-equivariant map $Pto X$. Hence we get the definition you are asking about.






share|cite|improve this answer























  • By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
    – Praphulla Koushik
    Dec 19 at 10:48












  • Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
    – Denis Nardin
    Dec 19 at 10:50










  • Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
    – Praphulla Koushik
    Dec 19 at 10:56








  • 1




    I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
    – Denis Nardin
    Dec 19 at 10:57






  • 4




    A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
    – Asvin
    Dec 19 at 16:41


















11














Let's start approaching the question from the simplest possible case $Y=*$. What should be the points of $[X/G]$?



Recall that the idea here is to generalize the construction of the action groupoid for discrete groups acting on sets to the manifold case. This allows us to remember the stabilizers of points and it is generally a much better behaved notion.



So morally $[X/G](*)$ should be the groupoid whose objects are points of $X$ and such that $mathrm{Mor}(x,x')={gin Gmid gx=x'}$. With this description however it is a bit unclear how to generalize that to get a description of $[X/G](Y)$, so let us rewrite it in a slightly different way.



A point of $X$ is just a $G$-equivariant morphism $Gto X$ (since any such $G$-equivariant morphism is determined by the image of $ein G$). Moreover a morphism between $x:Gto X$ and $x':Gto X$ is exactly a $G$-equivariant morphism $g:Gto G$ (i.e. right multiplication by some element $gin G$) making the obvious diagram commute. Now if you look at the definition, the groupoid does not depend from the fact that $G$ has a canonical basepoint (the identity element $ein G$), so in fact we can write




$[X/G](*)$ is defined as the groupoid of $G$-equivariant maps $Tto X$ where $T$ is a freely transitive $G$-space.




Ok, so now we want to describe the groupoid $[X/G](Y)$. Intuitively the objects here should be families of elements of $[X/G](*)$ parametrized by $Y$. But a family of freely transitive $G$-spaces is exactly a principal $G$-bundle $Pto Y$, and a family of $G$-equivariant map $P_yto X$ for each $yin Y$ is just a $G$-equivariant map $Pto X$. Hence we get the definition you are asking about.






share|cite|improve this answer























  • By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
    – Praphulla Koushik
    Dec 19 at 10:48












  • Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
    – Denis Nardin
    Dec 19 at 10:50










  • Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
    – Praphulla Koushik
    Dec 19 at 10:56








  • 1




    I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
    – Denis Nardin
    Dec 19 at 10:57






  • 4




    A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
    – Asvin
    Dec 19 at 16:41
















11












11








11






Let's start approaching the question from the simplest possible case $Y=*$. What should be the points of $[X/G]$?



Recall that the idea here is to generalize the construction of the action groupoid for discrete groups acting on sets to the manifold case. This allows us to remember the stabilizers of points and it is generally a much better behaved notion.



So morally $[X/G](*)$ should be the groupoid whose objects are points of $X$ and such that $mathrm{Mor}(x,x')={gin Gmid gx=x'}$. With this description however it is a bit unclear how to generalize that to get a description of $[X/G](Y)$, so let us rewrite it in a slightly different way.



A point of $X$ is just a $G$-equivariant morphism $Gto X$ (since any such $G$-equivariant morphism is determined by the image of $ein G$). Moreover a morphism between $x:Gto X$ and $x':Gto X$ is exactly a $G$-equivariant morphism $g:Gto G$ (i.e. right multiplication by some element $gin G$) making the obvious diagram commute. Now if you look at the definition, the groupoid does not depend from the fact that $G$ has a canonical basepoint (the identity element $ein G$), so in fact we can write




$[X/G](*)$ is defined as the groupoid of $G$-equivariant maps $Tto X$ where $T$ is a freely transitive $G$-space.




Ok, so now we want to describe the groupoid $[X/G](Y)$. Intuitively the objects here should be families of elements of $[X/G](*)$ parametrized by $Y$. But a family of freely transitive $G$-spaces is exactly a principal $G$-bundle $Pto Y$, and a family of $G$-equivariant map $P_yto X$ for each $yin Y$ is just a $G$-equivariant map $Pto X$. Hence we get the definition you are asking about.






share|cite|improve this answer














Let's start approaching the question from the simplest possible case $Y=*$. What should be the points of $[X/G]$?



Recall that the idea here is to generalize the construction of the action groupoid for discrete groups acting on sets to the manifold case. This allows us to remember the stabilizers of points and it is generally a much better behaved notion.



So morally $[X/G](*)$ should be the groupoid whose objects are points of $X$ and such that $mathrm{Mor}(x,x')={gin Gmid gx=x'}$. With this description however it is a bit unclear how to generalize that to get a description of $[X/G](Y)$, so let us rewrite it in a slightly different way.



A point of $X$ is just a $G$-equivariant morphism $Gto X$ (since any such $G$-equivariant morphism is determined by the image of $ein G$). Moreover a morphism between $x:Gto X$ and $x':Gto X$ is exactly a $G$-equivariant morphism $g:Gto G$ (i.e. right multiplication by some element $gin G$) making the obvious diagram commute. Now if you look at the definition, the groupoid does not depend from the fact that $G$ has a canonical basepoint (the identity element $ein G$), so in fact we can write




$[X/G](*)$ is defined as the groupoid of $G$-equivariant maps $Tto X$ where $T$ is a freely transitive $G$-space.




Ok, so now we want to describe the groupoid $[X/G](Y)$. Intuitively the objects here should be families of elements of $[X/G](*)$ parametrized by $Y$. But a family of freely transitive $G$-spaces is exactly a principal $G$-bundle $Pto Y$, and a family of $G$-equivariant map $P_yto X$ for each $yin Y$ is just a $G$-equivariant map $Pto X$. Hence we get the definition you are asking about.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 19 at 10:56

























answered Dec 19 at 10:35









Denis Nardin

7,72723057




7,72723057












  • By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
    – Praphulla Koushik
    Dec 19 at 10:48












  • Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
    – Denis Nardin
    Dec 19 at 10:50










  • Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
    – Praphulla Koushik
    Dec 19 at 10:56








  • 1




    I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
    – Denis Nardin
    Dec 19 at 10:57






  • 4




    A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
    – Asvin
    Dec 19 at 16:41




















  • By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
    – Praphulla Koushik
    Dec 19 at 10:48












  • Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
    – Denis Nardin
    Dec 19 at 10:50










  • Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
    – Praphulla Koushik
    Dec 19 at 10:56








  • 1




    I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
    – Denis Nardin
    Dec 19 at 10:57






  • 4




    A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
    – Asvin
    Dec 19 at 16:41


















By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
– Praphulla Koushik
Dec 19 at 10:48






By points of $[X/G]$ you mean objects of $[X/G](*)$.. right? I am feeling shy to say I do not understand "naturally its objects should be $G$-equivariant maps $Grightarrow X$".... But I have no option... :D Can you please tell why you think it is natural...
– Praphulla Koushik
Dec 19 at 10:48














Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
– Denis Nardin
Dec 19 at 10:50




Well, the idea of the quotient stack is to replace $X/G$ by its action groupoid (to remember the all important stabilizers!). The action groupoid on a set $X$ is exactly the groupoid of $G$-equivariant maps from a freely transitive $G$-set $T$ to $X$. Or if you want, the groupoid of points of $X$ where maps are elements of $G$ sending one point to the next, but my first description lends itself more easily to treating the case of families
– Denis Nardin
Dec 19 at 10:50












Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
– Praphulla Koushik
Dec 19 at 10:56






Oh Oh Oh... It makes so much sense... given a Lie group action $G$ on $X$, I have a Lie groupoid associated to it (If I remember correctly I saw the notation $X/G$ for this)... For this Lie groupoid $mathcal{G}$, I have the notion of stack $Bmathcal{G}$ the stack of principal groupoid $mathcal{G}$ bundles.. I declare $[X/G]$ to be $Bmathcal{G}$.. This makes so much sense.. I now feel like an Idiot :D :D
– Praphulla Koushik
Dec 19 at 10:56






1




1




I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
– Denis Nardin
Dec 19 at 10:57




I expanded the answer to explain that this is just a generalization of the notion of "action groupoid" to families.
– Denis Nardin
Dec 19 at 10:57




4




4




A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
– Asvin
Dec 19 at 16:41






A comment: If you take the naive definition of the functor of points for all Y as an action groupoid, you will get something which doesn't satisfy descent - a presheaf /prestack so to say. If you then sheafify it (in the appropriate stacky /homotopy sense), you recover the definition in terms of principal bundles.
– Asvin
Dec 19 at 16:41













3














Let me detail the following case: $G$ is a Lie group that acts freely and properly on the manifold $X$. Classical theorems in differential geometry state that the quotient is a manifold and that $Xrightarrow X/G$ is a principal $G$-bundle. Then as I said in the comments, given a principal $G$-bundle $Prightarrow Y$ and a $G$-equivariant map $f:Prightarrow X$ then at the quotient $f$ induces a map $g:Yrightarrow X/G$, simply because $P/G=Y$.



Conversely, again in this situation for the action of $G$, let's take a map of manifolds $g:Yrightarrow X/G$. Since the bundle $Xrightarrow X/G$ is locally trivial one can lift locally on $Y$ the map $g$ to a map $Utimes G rightarrow X$ (with $Usubset Y$) which is $G$-equivariant, seeing $Utimes G$ as a trivial principal $G$-bundle. Such a lift is not unique: you can change it by an automorphism of the principal $G$-bundle $Utimes G$. Glueing these lifts defines a principal $G$-bundle $P$ over $Y$ together with a $G$-equivariant map $Prightarrow X$ lifting $g$. This corresponds exactly to the descent theory for principal $G$-bundles.



Let me add also that the theory of stacks is made so that, without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle. More precisely, this means that for any map $Yrightarrow [X/G]$, the fiber product in the category of stacks $Ytimes_{[X/G]} X$ is in fact a manifold $P$ and that the projection $Prightarrow Y$ is a principal $G$-bundle (in other words the principal $G$-bundle $Xrightarrow [X/G]$ pulls back to a principal $G$-bundle $Prightarrow Y$ in the usual sense). This is the standard way of defining geometric conditions for stacks and morphisms between them: by pulling it back along a map from a manifold. This forces you again to take this definition for the stack $[X/G]$.






share|cite|improve this answer





















  • Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
    – Praphulla Koushik
    Dec 20 at 13:12










  • Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
    – Praphulla Koushik
    Dec 20 at 13:17










  • It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
    – Praphulla Koushik
    Dec 20 at 13:26










  • A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
    – Praphulla Koushik
    Dec 20 at 13:28












  • By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
    – Praphulla Koushik
    Dec 20 at 13:37


















3














Let me detail the following case: $G$ is a Lie group that acts freely and properly on the manifold $X$. Classical theorems in differential geometry state that the quotient is a manifold and that $Xrightarrow X/G$ is a principal $G$-bundle. Then as I said in the comments, given a principal $G$-bundle $Prightarrow Y$ and a $G$-equivariant map $f:Prightarrow X$ then at the quotient $f$ induces a map $g:Yrightarrow X/G$, simply because $P/G=Y$.



Conversely, again in this situation for the action of $G$, let's take a map of manifolds $g:Yrightarrow X/G$. Since the bundle $Xrightarrow X/G$ is locally trivial one can lift locally on $Y$ the map $g$ to a map $Utimes G rightarrow X$ (with $Usubset Y$) which is $G$-equivariant, seeing $Utimes G$ as a trivial principal $G$-bundle. Such a lift is not unique: you can change it by an automorphism of the principal $G$-bundle $Utimes G$. Glueing these lifts defines a principal $G$-bundle $P$ over $Y$ together with a $G$-equivariant map $Prightarrow X$ lifting $g$. This corresponds exactly to the descent theory for principal $G$-bundles.



Let me add also that the theory of stacks is made so that, without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle. More precisely, this means that for any map $Yrightarrow [X/G]$, the fiber product in the category of stacks $Ytimes_{[X/G]} X$ is in fact a manifold $P$ and that the projection $Prightarrow Y$ is a principal $G$-bundle (in other words the principal $G$-bundle $Xrightarrow [X/G]$ pulls back to a principal $G$-bundle $Prightarrow Y$ in the usual sense). This is the standard way of defining geometric conditions for stacks and morphisms between them: by pulling it back along a map from a manifold. This forces you again to take this definition for the stack $[X/G]$.






share|cite|improve this answer





















  • Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
    – Praphulla Koushik
    Dec 20 at 13:12










  • Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
    – Praphulla Koushik
    Dec 20 at 13:17










  • It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
    – Praphulla Koushik
    Dec 20 at 13:26










  • A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
    – Praphulla Koushik
    Dec 20 at 13:28












  • By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
    – Praphulla Koushik
    Dec 20 at 13:37
















3












3








3






Let me detail the following case: $G$ is a Lie group that acts freely and properly on the manifold $X$. Classical theorems in differential geometry state that the quotient is a manifold and that $Xrightarrow X/G$ is a principal $G$-bundle. Then as I said in the comments, given a principal $G$-bundle $Prightarrow Y$ and a $G$-equivariant map $f:Prightarrow X$ then at the quotient $f$ induces a map $g:Yrightarrow X/G$, simply because $P/G=Y$.



Conversely, again in this situation for the action of $G$, let's take a map of manifolds $g:Yrightarrow X/G$. Since the bundle $Xrightarrow X/G$ is locally trivial one can lift locally on $Y$ the map $g$ to a map $Utimes G rightarrow X$ (with $Usubset Y$) which is $G$-equivariant, seeing $Utimes G$ as a trivial principal $G$-bundle. Such a lift is not unique: you can change it by an automorphism of the principal $G$-bundle $Utimes G$. Glueing these lifts defines a principal $G$-bundle $P$ over $Y$ together with a $G$-equivariant map $Prightarrow X$ lifting $g$. This corresponds exactly to the descent theory for principal $G$-bundles.



Let me add also that the theory of stacks is made so that, without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle. More precisely, this means that for any map $Yrightarrow [X/G]$, the fiber product in the category of stacks $Ytimes_{[X/G]} X$ is in fact a manifold $P$ and that the projection $Prightarrow Y$ is a principal $G$-bundle (in other words the principal $G$-bundle $Xrightarrow [X/G]$ pulls back to a principal $G$-bundle $Prightarrow Y$ in the usual sense). This is the standard way of defining geometric conditions for stacks and morphisms between them: by pulling it back along a map from a manifold. This forces you again to take this definition for the stack $[X/G]$.






share|cite|improve this answer












Let me detail the following case: $G$ is a Lie group that acts freely and properly on the manifold $X$. Classical theorems in differential geometry state that the quotient is a manifold and that $Xrightarrow X/G$ is a principal $G$-bundle. Then as I said in the comments, given a principal $G$-bundle $Prightarrow Y$ and a $G$-equivariant map $f:Prightarrow X$ then at the quotient $f$ induces a map $g:Yrightarrow X/G$, simply because $P/G=Y$.



Conversely, again in this situation for the action of $G$, let's take a map of manifolds $g:Yrightarrow X/G$. Since the bundle $Xrightarrow X/G$ is locally trivial one can lift locally on $Y$ the map $g$ to a map $Utimes G rightarrow X$ (with $Usubset Y$) which is $G$-equivariant, seeing $Utimes G$ as a trivial principal $G$-bundle. Such a lift is not unique: you can change it by an automorphism of the principal $G$-bundle $Utimes G$. Glueing these lifts defines a principal $G$-bundle $P$ over $Y$ together with a $G$-equivariant map $Prightarrow X$ lifting $g$. This corresponds exactly to the descent theory for principal $G$-bundles.



Let me add also that the theory of stacks is made so that, without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle. More precisely, this means that for any map $Yrightarrow [X/G]$, the fiber product in the category of stacks $Ytimes_{[X/G]} X$ is in fact a manifold $P$ and that the projection $Prightarrow Y$ is a principal $G$-bundle (in other words the principal $G$-bundle $Xrightarrow [X/G]$ pulls back to a principal $G$-bundle $Prightarrow Y$ in the usual sense). This is the standard way of defining geometric conditions for stacks and morphisms between them: by pulling it back along a map from a manifold. This forces you again to take this definition for the stack $[X/G]$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 20 at 12:43









Louis-Clément LEFÈVRE

1718




1718












  • Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
    – Praphulla Koushik
    Dec 20 at 13:12










  • Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
    – Praphulla Koushik
    Dec 20 at 13:17










  • It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
    – Praphulla Koushik
    Dec 20 at 13:26










  • A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
    – Praphulla Koushik
    Dec 20 at 13:28












  • By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
    – Praphulla Koushik
    Dec 20 at 13:37




















  • Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
    – Praphulla Koushik
    Dec 20 at 13:12










  • Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
    – Praphulla Koushik
    Dec 20 at 13:17










  • It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
    – Praphulla Koushik
    Dec 20 at 13:26










  • A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
    – Praphulla Koushik
    Dec 20 at 13:28












  • By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
    – Praphulla Koushik
    Dec 20 at 13:37


















Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
– Praphulla Koushik
Dec 20 at 13:12




Thanks for your answer... First paragraph is precisely what I have said in comments.. We assume the action of $G$ on $X$ is free and proper so that $X/G$ is a manifold.... With the definition of $[X/G]$ as mentioned in my question, given a manifold $Y$ and an object in $[X/G](Y)$ we get an object in $underline{X/G}(Y)$ i.e., a map $Yrightarrow X/G$.. This gives a functor $[X/G]rightarrow underline{X/G}$... (continued)
– Praphulla Koushik
Dec 20 at 13:12












Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
– Praphulla Koushik
Dec 20 at 13:17




Conversely, suppose we are given a map $Yrightarrow X/G$... We need a manifold $P$ and maps $Prightarrow Y$ and $Prightarrow X$ so that $Prightarrow Y$ is a principal $G$ bundle and $Prightarrow X$ is $G$-equivariant... As $G$ action is proper and free, $Xrightarrow X/G$ is principal $G$ bundle.. We pull back this along $Yrightarrow X/G$ to get a principal $G$ bundle $Prightarrow Y$.. We actually have $P=Ytimes_{X/G}X$.... This $P$ comes with obvious projection map $Prightarrow X$ with $(y,x)mapsto x$... Thus, we get an element of $[X/G](Y)$.. (continued)
– Praphulla Koushik
Dec 20 at 13:17












It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
– Praphulla Koushik
Dec 20 at 13:26




It should not be difficult to check that these gives an isomorphism $[X/G]rightarrow underline{X/G}$.... This is your second paragraph... I like the sentence "without any assumption on the action of $G$, $Xrightarrow [X/G]$ should be a principal $G$-bundle".. I did not understand at all when I read it for the first time... It makes so much sense now... That property is usally goes by the name representable morphism... (continued)
– Praphulla Koushik
Dec 20 at 13:26












A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
– Praphulla Koushik
Dec 20 at 13:28






A map of stacks $mathcal{D}rightarrow mathcal{C}$ is representable plus some property (P) if, given any manifold $M$, the fiber product $mathcal{D}times_{mathcal{C}}M$ is a stack that is a manifold and the projection map $mathcal{D}times_{mathcal{C}}Mrightarrow M$ (at the level of manifolds) has the property (P).. Here the property is being principal $G$ bundle.. This is what you mean when you say map of stacks $Xrightarrow [X/G]$ is a principal $G$ bundle... This makes so much sense... (continued)
– Praphulla Koushik
Dec 20 at 13:28














By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
– Praphulla Koushik
Dec 20 at 13:37






By "This forces you again to take this definition for the stack $[X/G]$" you mean like some universal property?? You are saying if we look for a stack $mathcal{D}$ so that $Xrightarrow mathcal{D}$ is a principal $G$ bundle and if it is minimal (in some sense) then we end up $mathcal{D}$ to be that $[X/G]$ as defined in the question... This is correct?
– Praphulla Koushik
Dec 20 at 13:37













2














The nicest possible action of $G$ on $X$ is the free one, because in this case the quotient $X/G$ is a manifold or not far from a manifold, the map $Xto X/G$ is a $G$-principal bundle, and $G$-equivariant geometry on $X$ is the same as geometry on $X/G$. In short, the situation is as nice as possible.



The construction of the quotient stack $[X/G]$ is motivated by the desire to obtain such good properties in the non-free case also. Let me try to show how the definition of $[X/G](Y)$ comes naturally, say in the case that $Y$ is a point for simplicity. For this, we make the following observation. Fundamentally the quotient of a space by a group action is the set of orbits. Now if you think about it, an orbit is nothing else than the image of an equivariant map $f:Pto X$ where $P$ is a principal homogeneous space (a.k.a. a $G$-bundle), and we have a free orbit exactly when $f$ is injective. What is special with the case when $G$ acts freely on $X$ is that in this case any map $f$ as above has to be injective. But if you change slightly your conception of an orbit and if instead of the image $f(P)$, you focus on $P$ itself (understood with its mapping to $X$), then you somehow restore all good properties of free orbits — indeed, after all the action on $P$ is free! Therefore if we call orbit an equivariant map from a $G$-bundle to $X$, then $[X/G]$ is just the set of orbits. Now deriving the definition for fibrations over a general space $Y$ is easy.






share|cite|improve this answer























  • you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
    – Praphulla Koushik
    Dec 21 at 9:13










  • Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
    – Matthieu Romagny
    Dec 21 at 9:44






  • 1




    lmgtfy.com/?q=G-equivariant :-)
    – David Roberts
    Dec 22 at 4:19
















2














The nicest possible action of $G$ on $X$ is the free one, because in this case the quotient $X/G$ is a manifold or not far from a manifold, the map $Xto X/G$ is a $G$-principal bundle, and $G$-equivariant geometry on $X$ is the same as geometry on $X/G$. In short, the situation is as nice as possible.



The construction of the quotient stack $[X/G]$ is motivated by the desire to obtain such good properties in the non-free case also. Let me try to show how the definition of $[X/G](Y)$ comes naturally, say in the case that $Y$ is a point for simplicity. For this, we make the following observation. Fundamentally the quotient of a space by a group action is the set of orbits. Now if you think about it, an orbit is nothing else than the image of an equivariant map $f:Pto X$ where $P$ is a principal homogeneous space (a.k.a. a $G$-bundle), and we have a free orbit exactly when $f$ is injective. What is special with the case when $G$ acts freely on $X$ is that in this case any map $f$ as above has to be injective. But if you change slightly your conception of an orbit and if instead of the image $f(P)$, you focus on $P$ itself (understood with its mapping to $X$), then you somehow restore all good properties of free orbits — indeed, after all the action on $P$ is free! Therefore if we call orbit an equivariant map from a $G$-bundle to $X$, then $[X/G]$ is just the set of orbits. Now deriving the definition for fibrations over a general space $Y$ is easy.






share|cite|improve this answer























  • you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
    – Praphulla Koushik
    Dec 21 at 9:13










  • Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
    – Matthieu Romagny
    Dec 21 at 9:44






  • 1




    lmgtfy.com/?q=G-equivariant :-)
    – David Roberts
    Dec 22 at 4:19














2












2








2






The nicest possible action of $G$ on $X$ is the free one, because in this case the quotient $X/G$ is a manifold or not far from a manifold, the map $Xto X/G$ is a $G$-principal bundle, and $G$-equivariant geometry on $X$ is the same as geometry on $X/G$. In short, the situation is as nice as possible.



The construction of the quotient stack $[X/G]$ is motivated by the desire to obtain such good properties in the non-free case also. Let me try to show how the definition of $[X/G](Y)$ comes naturally, say in the case that $Y$ is a point for simplicity. For this, we make the following observation. Fundamentally the quotient of a space by a group action is the set of orbits. Now if you think about it, an orbit is nothing else than the image of an equivariant map $f:Pto X$ where $P$ is a principal homogeneous space (a.k.a. a $G$-bundle), and we have a free orbit exactly when $f$ is injective. What is special with the case when $G$ acts freely on $X$ is that in this case any map $f$ as above has to be injective. But if you change slightly your conception of an orbit and if instead of the image $f(P)$, you focus on $P$ itself (understood with its mapping to $X$), then you somehow restore all good properties of free orbits — indeed, after all the action on $P$ is free! Therefore if we call orbit an equivariant map from a $G$-bundle to $X$, then $[X/G]$ is just the set of orbits. Now deriving the definition for fibrations over a general space $Y$ is easy.






share|cite|improve this answer














The nicest possible action of $G$ on $X$ is the free one, because in this case the quotient $X/G$ is a manifold or not far from a manifold, the map $Xto X/G$ is a $G$-principal bundle, and $G$-equivariant geometry on $X$ is the same as geometry on $X/G$. In short, the situation is as nice as possible.



The construction of the quotient stack $[X/G]$ is motivated by the desire to obtain such good properties in the non-free case also. Let me try to show how the definition of $[X/G](Y)$ comes naturally, say in the case that $Y$ is a point for simplicity. For this, we make the following observation. Fundamentally the quotient of a space by a group action is the set of orbits. Now if you think about it, an orbit is nothing else than the image of an equivariant map $f:Pto X$ where $P$ is a principal homogeneous space (a.k.a. a $G$-bundle), and we have a free orbit exactly when $f$ is injective. What is special with the case when $G$ acts freely on $X$ is that in this case any map $f$ as above has to be injective. But if you change slightly your conception of an orbit and if instead of the image $f(P)$, you focus on $P$ itself (understood with its mapping to $X$), then you somehow restore all good properties of free orbits — indeed, after all the action on $P$ is free! Therefore if we call orbit an equivariant map from a $G$-bundle to $X$, then $[X/G]$ is just the set of orbits. Now deriving the definition for fibrations over a general space $Y$ is easy.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 21 at 9:37

























answered Dec 21 at 9:03









Matthieu Romagny

2,0821722




2,0821722












  • you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
    – Praphulla Koushik
    Dec 21 at 9:13










  • Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
    – Matthieu Romagny
    Dec 21 at 9:44






  • 1




    lmgtfy.com/?q=G-equivariant :-)
    – David Roberts
    Dec 22 at 4:19


















  • you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
    – Praphulla Koushik
    Dec 21 at 9:13










  • Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
    – Matthieu Romagny
    Dec 21 at 9:44






  • 1




    lmgtfy.com/?q=G-equivariant :-)
    – David Roberts
    Dec 22 at 4:19
















you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
– Praphulla Koushik
Dec 21 at 9:13




you mean not far from a manifold... I do not know what is a $G$-equivariant geometry of a manifold.. can you please point me to some references...
– Praphulla Koushik
Dec 21 at 9:13












Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
– Matthieu Romagny
Dec 21 at 9:44




Consider all sorts of geometric objects that you like to relate to your manifold $X$: open submanifolds, closed submanifolds, vector bundles on $X$, differential forms... If $X$ has an action on $G$, there are equivariant analogues: open or closed invariant submanifolds, $G$-equivariant vector bundles (i.e. spaces $V$ with $G$ action and an equivariant map $Vto X$ which is a vector bundle), equivariant differential forms... Etc, etc. I do not think that there is a reference dedicated especially to this concept.
– Matthieu Romagny
Dec 21 at 9:44




1




1




lmgtfy.com/?q=G-equivariant :-)
– David Roberts
Dec 22 at 4:19




lmgtfy.com/?q=G-equivariant :-)
– David Roberts
Dec 22 at 4:19











0














Given a Lie group action $G$ on $X$ we have what is called a action groupoid (Translation groupoid) associated with the action usually denoted by $Gltimes X$.



Objects of this category are elements of $X$. Given $x,yin (Gltimes X)_0=X$, there is an arrow $xrightarrow y$ if these two elements $x,y$ are related by an element of $G$ i.e., if there exists $gin G$ such that that $g.x=y$. We can also write
$$text{Mor} (x,y)={gin G:g.x=y}$$



So, we have a Lie groupoid $mathcal{G}=Gltimes X$ associated with this action $G$ on $X$.



There is a notion of what is called a principal $mathcal{G}$ bundle for a groupoid $mathcal{G}$.



I mentioned that, for each Lie group $G$ there is a stack $BG$, for each manifold $M$ there is a stack $underline{M}$.



I somehow forgot to mention that, for each Lie groupoid $mathcal{G}$ there is a stack associated namely $Bmathcal{G}$, the category of principal $mathcal{G}$ bundles.




A principal $mathcal{G}$ bundle over a manifold $M$ is a surjective submersion $pi:Prightarrow M$ with an action of $mathcal{G}$ on $P$ (which comes with a map $a:Prightarrow mathcal{G}_0$) such that





  • $pi:Prightarrow M$ is $mathcal{G}$ invariant

  • the map $Ptimes_{mathcal{G}_0}mathcal{G}_1rightarrow Ptimes_MP$ given by $(p,g)mapsto g.p$ is an diffeomorphism.




This definition can be found online and in particular in the paper Orbifolds as Stacks by Eugene Lerman.



The category of these principal $mathcal{G}$ bundles is denoted by $Bmathcal{G}$. This is a stack associated to $mathcal{G}$.



Now, consider the case when $mathcal{G}=Gltimes X$. Object space is $X$ here. So, principal bundle comes with map $Prightarrow X$. As mentioned above, it comes with map $Prightarrow M$ which is $mathcal{G}$ invarinat. As $mathcal{G}_1=G$, this simply mean $Prightarrow M$ is a principal $G$ bundle (neglecting some technicalities).



Thus, given a manifold $M$, the category $Bmathcal{G}(M)$ is a collection of principal $mathcal{G}$ bundles over the base $M$. Thus objects are principal $mathcal{G}$ bundles over $M$ which comes with map $Prightarrow mathcal{G}_0$ (anchor map) and $Prightarrow M$ (projection map). In case when $mathcal{G}=Gltimes X$, this comes with map $Prightarrow X$ and $Prightarrow M$ such that $Prightarrow M$ is $mathcal{G}$ bundle and $Prightarrow X$ is $mathcal{G}$-equivariant.




$Bmathcal{G}(M):={Pxrightarrow{p} M, Pxrightarrow{f}M | Prightarrow M text{ is a } mathcal{G}-text{bundle,} ~ f text{ is } mathcal{G}text{-equivariant}}$.




This is precisely the definition for quotient stack.




$[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.




This is (may be) the (one of) motivations for the definition of Quotient stack.




  • If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.


  • If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.







share|cite|improve this answer























  • What is the reason for downvote?
    – Praphulla Koushik
    Dec 19 at 17:08










  • I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
    – Asvin
    Dec 19 at 17:16










  • I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
    – Praphulla Koushik
    Dec 19 at 17:18












  • I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
    – Asvin
    Dec 19 at 17:19










  • "think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
    – Praphulla Koushik
    Dec 19 at 17:21
















0














Given a Lie group action $G$ on $X$ we have what is called a action groupoid (Translation groupoid) associated with the action usually denoted by $Gltimes X$.



Objects of this category are elements of $X$. Given $x,yin (Gltimes X)_0=X$, there is an arrow $xrightarrow y$ if these two elements $x,y$ are related by an element of $G$ i.e., if there exists $gin G$ such that that $g.x=y$. We can also write
$$text{Mor} (x,y)={gin G:g.x=y}$$



So, we have a Lie groupoid $mathcal{G}=Gltimes X$ associated with this action $G$ on $X$.



There is a notion of what is called a principal $mathcal{G}$ bundle for a groupoid $mathcal{G}$.



I mentioned that, for each Lie group $G$ there is a stack $BG$, for each manifold $M$ there is a stack $underline{M}$.



I somehow forgot to mention that, for each Lie groupoid $mathcal{G}$ there is a stack associated namely $Bmathcal{G}$, the category of principal $mathcal{G}$ bundles.




A principal $mathcal{G}$ bundle over a manifold $M$ is a surjective submersion $pi:Prightarrow M$ with an action of $mathcal{G}$ on $P$ (which comes with a map $a:Prightarrow mathcal{G}_0$) such that





  • $pi:Prightarrow M$ is $mathcal{G}$ invariant

  • the map $Ptimes_{mathcal{G}_0}mathcal{G}_1rightarrow Ptimes_MP$ given by $(p,g)mapsto g.p$ is an diffeomorphism.




This definition can be found online and in particular in the paper Orbifolds as Stacks by Eugene Lerman.



The category of these principal $mathcal{G}$ bundles is denoted by $Bmathcal{G}$. This is a stack associated to $mathcal{G}$.



Now, consider the case when $mathcal{G}=Gltimes X$. Object space is $X$ here. So, principal bundle comes with map $Prightarrow X$. As mentioned above, it comes with map $Prightarrow M$ which is $mathcal{G}$ invarinat. As $mathcal{G}_1=G$, this simply mean $Prightarrow M$ is a principal $G$ bundle (neglecting some technicalities).



Thus, given a manifold $M$, the category $Bmathcal{G}(M)$ is a collection of principal $mathcal{G}$ bundles over the base $M$. Thus objects are principal $mathcal{G}$ bundles over $M$ which comes with map $Prightarrow mathcal{G}_0$ (anchor map) and $Prightarrow M$ (projection map). In case when $mathcal{G}=Gltimes X$, this comes with map $Prightarrow X$ and $Prightarrow M$ such that $Prightarrow M$ is $mathcal{G}$ bundle and $Prightarrow X$ is $mathcal{G}$-equivariant.




$Bmathcal{G}(M):={Pxrightarrow{p} M, Pxrightarrow{f}M | Prightarrow M text{ is a } mathcal{G}-text{bundle,} ~ f text{ is } mathcal{G}text{-equivariant}}$.




This is precisely the definition for quotient stack.




$[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.




This is (may be) the (one of) motivations for the definition of Quotient stack.




  • If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.


  • If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.







share|cite|improve this answer























  • What is the reason for downvote?
    – Praphulla Koushik
    Dec 19 at 17:08










  • I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
    – Asvin
    Dec 19 at 17:16










  • I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
    – Praphulla Koushik
    Dec 19 at 17:18












  • I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
    – Asvin
    Dec 19 at 17:19










  • "think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
    – Praphulla Koushik
    Dec 19 at 17:21














0












0








0






Given a Lie group action $G$ on $X$ we have what is called a action groupoid (Translation groupoid) associated with the action usually denoted by $Gltimes X$.



Objects of this category are elements of $X$. Given $x,yin (Gltimes X)_0=X$, there is an arrow $xrightarrow y$ if these two elements $x,y$ are related by an element of $G$ i.e., if there exists $gin G$ such that that $g.x=y$. We can also write
$$text{Mor} (x,y)={gin G:g.x=y}$$



So, we have a Lie groupoid $mathcal{G}=Gltimes X$ associated with this action $G$ on $X$.



There is a notion of what is called a principal $mathcal{G}$ bundle for a groupoid $mathcal{G}$.



I mentioned that, for each Lie group $G$ there is a stack $BG$, for each manifold $M$ there is a stack $underline{M}$.



I somehow forgot to mention that, for each Lie groupoid $mathcal{G}$ there is a stack associated namely $Bmathcal{G}$, the category of principal $mathcal{G}$ bundles.




A principal $mathcal{G}$ bundle over a manifold $M$ is a surjective submersion $pi:Prightarrow M$ with an action of $mathcal{G}$ on $P$ (which comes with a map $a:Prightarrow mathcal{G}_0$) such that





  • $pi:Prightarrow M$ is $mathcal{G}$ invariant

  • the map $Ptimes_{mathcal{G}_0}mathcal{G}_1rightarrow Ptimes_MP$ given by $(p,g)mapsto g.p$ is an diffeomorphism.




This definition can be found online and in particular in the paper Orbifolds as Stacks by Eugene Lerman.



The category of these principal $mathcal{G}$ bundles is denoted by $Bmathcal{G}$. This is a stack associated to $mathcal{G}$.



Now, consider the case when $mathcal{G}=Gltimes X$. Object space is $X$ here. So, principal bundle comes with map $Prightarrow X$. As mentioned above, it comes with map $Prightarrow M$ which is $mathcal{G}$ invarinat. As $mathcal{G}_1=G$, this simply mean $Prightarrow M$ is a principal $G$ bundle (neglecting some technicalities).



Thus, given a manifold $M$, the category $Bmathcal{G}(M)$ is a collection of principal $mathcal{G}$ bundles over the base $M$. Thus objects are principal $mathcal{G}$ bundles over $M$ which comes with map $Prightarrow mathcal{G}_0$ (anchor map) and $Prightarrow M$ (projection map). In case when $mathcal{G}=Gltimes X$, this comes with map $Prightarrow X$ and $Prightarrow M$ such that $Prightarrow M$ is $mathcal{G}$ bundle and $Prightarrow X$ is $mathcal{G}$-equivariant.




$Bmathcal{G}(M):={Pxrightarrow{p} M, Pxrightarrow{f}M | Prightarrow M text{ is a } mathcal{G}-text{bundle,} ~ f text{ is } mathcal{G}text{-equivariant}}$.




This is precisely the definition for quotient stack.




$[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.




This is (may be) the (one of) motivations for the definition of Quotient stack.




  • If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.


  • If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.







share|cite|improve this answer














Given a Lie group action $G$ on $X$ we have what is called a action groupoid (Translation groupoid) associated with the action usually denoted by $Gltimes X$.



Objects of this category are elements of $X$. Given $x,yin (Gltimes X)_0=X$, there is an arrow $xrightarrow y$ if these two elements $x,y$ are related by an element of $G$ i.e., if there exists $gin G$ such that that $g.x=y$. We can also write
$$text{Mor} (x,y)={gin G:g.x=y}$$



So, we have a Lie groupoid $mathcal{G}=Gltimes X$ associated with this action $G$ on $X$.



There is a notion of what is called a principal $mathcal{G}$ bundle for a groupoid $mathcal{G}$.



I mentioned that, for each Lie group $G$ there is a stack $BG$, for each manifold $M$ there is a stack $underline{M}$.



I somehow forgot to mention that, for each Lie groupoid $mathcal{G}$ there is a stack associated namely $Bmathcal{G}$, the category of principal $mathcal{G}$ bundles.




A principal $mathcal{G}$ bundle over a manifold $M$ is a surjective submersion $pi:Prightarrow M$ with an action of $mathcal{G}$ on $P$ (which comes with a map $a:Prightarrow mathcal{G}_0$) such that





  • $pi:Prightarrow M$ is $mathcal{G}$ invariant

  • the map $Ptimes_{mathcal{G}_0}mathcal{G}_1rightarrow Ptimes_MP$ given by $(p,g)mapsto g.p$ is an diffeomorphism.




This definition can be found online and in particular in the paper Orbifolds as Stacks by Eugene Lerman.



The category of these principal $mathcal{G}$ bundles is denoted by $Bmathcal{G}$. This is a stack associated to $mathcal{G}$.



Now, consider the case when $mathcal{G}=Gltimes X$. Object space is $X$ here. So, principal bundle comes with map $Prightarrow X$. As mentioned above, it comes with map $Prightarrow M$ which is $mathcal{G}$ invarinat. As $mathcal{G}_1=G$, this simply mean $Prightarrow M$ is a principal $G$ bundle (neglecting some technicalities).



Thus, given a manifold $M$, the category $Bmathcal{G}(M)$ is a collection of principal $mathcal{G}$ bundles over the base $M$. Thus objects are principal $mathcal{G}$ bundles over $M$ which comes with map $Prightarrow mathcal{G}_0$ (anchor map) and $Prightarrow M$ (projection map). In case when $mathcal{G}=Gltimes X$, this comes with map $Prightarrow X$ and $Prightarrow M$ such that $Prightarrow M$ is $mathcal{G}$ bundle and $Prightarrow X$ is $mathcal{G}$-equivariant.




$Bmathcal{G}(M):={Pxrightarrow{p} M, Pxrightarrow{f}M | Prightarrow M text{ is a } mathcal{G}-text{bundle,} ~ f text{ is } mathcal{G}text{-equivariant}}$.




This is precisely the definition for quotient stack.




$[X/G](Y):={Pxrightarrow{p} Y, Pxrightarrow{f}X | Prightarrow Y text{ is a G-bundle,} ~ f text{ is } Gtext{-equivariant}}$.




This is (may be) the (one of) motivations for the definition of Quotient stack.




  • If action of the Lie group $G$ on the manifold $X$ is free and proper, what we get is a manifold $X/G$. Stack associated to this manifold is $underline{X/G}$ which we call to be the quotient stack, denote by $[X/G]$.


  • If the action of the Lie group $G$ on the manifold $X$ is not necessarily free and proper, what we get is a Lie groupoid denoted (among other symbols) by $X//G$. Stack associated to this Lie groupoid $X//G$ is $B(X//G)$ which we call to be the quotient stack, denote by $[X/G]$.








share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 21 at 5:46

























answered Dec 19 at 11:39









Praphulla Koushik

8321423




8321423












  • What is the reason for downvote?
    – Praphulla Koushik
    Dec 19 at 17:08










  • I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
    – Asvin
    Dec 19 at 17:16










  • I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
    – Praphulla Koushik
    Dec 19 at 17:18












  • I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
    – Asvin
    Dec 19 at 17:19










  • "think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
    – Praphulla Koushik
    Dec 19 at 17:21


















  • What is the reason for downvote?
    – Praphulla Koushik
    Dec 19 at 17:08










  • I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
    – Asvin
    Dec 19 at 17:16










  • I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
    – Praphulla Koushik
    Dec 19 at 17:18












  • I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
    – Asvin
    Dec 19 at 17:19










  • "think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
    – Praphulla Koushik
    Dec 19 at 17:21
















What is the reason for downvote?
– Praphulla Koushik
Dec 19 at 17:08




What is the reason for downvote?
– Praphulla Koushik
Dec 19 at 17:08












I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
– Asvin
Dec 19 at 17:16




I think it's more instructive to just with out what I mentioned in your own. It's only a matter of chasing down the right definitions and I found it to be an useful exercise. Maybe I can write something more detailed later if i have time but i would strongly suggest working it out on your own!
– Asvin
Dec 19 at 17:16












I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
– Praphulla Koushik
Dec 19 at 17:18






I do not understand "I think it's more instructive to just with out what I mentioned in your own." I am thinking I have mentioned details.. If you think I am missing something, please let me know I will write in detail..
– Praphulla Koushik
Dec 19 at 17:18














I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
– Asvin
Dec 19 at 17:19




I mean think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles
– Asvin
Dec 19 at 17:19












"think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
– Praphulla Koushik
Dec 19 at 17:21




"think of the action groupoid as a prestack/presheaf and try and sheafify it. You will end up with G bundles " Ok Ok.. I will do that... Thank you :)
– Praphulla Koushik
Dec 19 at 17:21


















draft saved

draft discarded




















































Thanks for contributing an answer to MathOverflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f319038%2fmotivation-for-definition-of-quotient-stack%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Сан-Квентин

Алькесар

Josef Freinademetz