Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
In mathematics a stack or 2-sheaf is a sheaf that takes values in categories rather than sets.
3
votes
2
answers
993
views
Understanding the definition of atlas of a stack over the category of manifolds
We will also drop the distinction between stacks isomorphic to manifolds and manifolds. … If it helps, I am trying to read about geometric stacks which are defined to be stacks over manifolds which possesses an atlas. …
4
votes
1
answer
372
views
Is a gerbe over a manifold is a special case of a gerbe over a stack?
is a way to associate a stack $\underline{M}$ with it and this gives an embedding of category of smooth manifolds into category of Categories fibered in groupoids which can be found in Orbifolds as Stacks …
8
votes
2
answers
573
views
$2$-fiber product is a scheme then map of stacks is representable
Suppose $p:X\rightarrow \mathcal{X}$ is representable, then, for any scheme $M$ with a map of stacks $M\rightarrow \mathcal{X}$, the $2$-fiber product $X\times_{\mathcal{X}}M$ is a scheme. … Then, I want to see that $X\rightarrow \mathcal{X}$ is representable i.e., hen, for any scheme $M$ with a map of stacks $M\rightarrow \mathcal{X}$, the $2$-fiber product $X\times_{\mathcal{X}}M$ is a scheme …
1
vote
0
answers
115
views
connections on Lie groupoids/differentiable stacks
Let $(\Gamma_1\rightrightarrows \Gamma_0)$ be a Lie groupoid.
There are many places which define the notion of connection on a Lie groupoid.
As far as I have seen, there is no mention of these not …
0
votes
$2$-fiber product is a scheme then map of stacks is representable
Following lemma is from Kai Behrend and Ping Xu's paper (page $8$, lemma $2.11$) Differentiable Stacks and Gerbes.
Let $f:\mathcal{X}\rightarrow \mathcal{Y}$ be a morphisms of stacks. … So,
Consider a morphism of stacks $f:X\rightarrow \mathcal{Y}$. Suppose that $X\times_\mathcal{Y}X$ is representable. …
2
votes
2
answers
402
views
Cohomological description of gerbes over stacks
gerbe territory (for smooth manifolds) if any one of the following is being considered
a cohomology class in $H^3(X,\mathbb{Z})$
**
**
In similar manner, When reading about gerbes over stacks … Can some one give me some outline of how and what cohomology comes in when studying about gerbes over stacks? …
1
vote
Accepted
Understanding the definition of atlas of a stack over the category of manifolds
An atlas for a stack $\mathcal{D}\rightarrow Man$ is
a smooth manifold $X$ and
a map of stacks $p:\underline{X}\rightarrow \mathcal{D}$
such that, given
a smooth manifold … $M$ and
a map of stacks $f:\underline{M}\rightarrow \mathcal{D}$
the fibered product stack
$\underline{M}\times_{\mathcal{D}}\underline{X}\rightarrow Man$ is
isomorphic to a stack coming …
11
votes
0
answers
1k
views
What is there in the book Cohomologie non abélienne by Jean Giraud
These days I am trying to understand about stacks and gerbes.
Most of the articles that has something to do with gerbes cite this work Cohomologie non abélienne by Jean Giraud. …
2
votes
1
answer
224
views
Central extension gives a gerbe over stack
"As locally any map $T\rightarrow G$ can be lifter to $\tilde{G}$", the map of stacks $[X/\hat{G}]\rightarrow [X/G]$ is a gerbe over stack. …
8
votes
1
answer
281
views
Stack associated to Lie group and manifold
We have corresponding stacks associated :
$(G\rightrightarrows *)$ gives stack $B(G\rightrightarrows *)$, usually denoted by $BG$. … Feel free to (I request you to) relate this to algebraic geometry version of stacks. …
2
votes
0
answers
227
views
Significance of some expected results when defining Grothendieck topology
Let $\mathcal{C}$ be a category. Fixing an object $U$ of $\mathcal{C}$, there are some obvious functors we can associate to it, for example:
$h_U:\mathcal{C}^{op}\rightarrow \text{Set}$ given by $V\ …
6
votes
Does every morphism BG-->BH come from a homomorphism G-->H?
Given Lie groupoids $\mathcal{G},\mathcal{H}$ a morphism of stacks $B\mathcal{G}\rightarrow B\mathcal{H}$ comes from what is called a $\mathcal{G}-\mathcal{H}$ bibundle $P$. … This can be found in proposition $3.36$ of Orbifold as stacks. I think similar result in case of Algebraic geometry can be said. …
1
vote
Motivation for definition of Quotient stack
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 $B\mathcal{G}$. …
3
votes
3
answers
515
views
Lie groupoids in practice
I am familiar with the notion of Lie groupoids.
But, only easy examples of Lie groupoids I am familiar with are the following:
Lie groupoids coming from manifolds; that are of the form $(M\rightri …
12
votes
4
answers
2k
views
Motivation for definition of Quotient stack
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). …