Skip to main content
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
Results tagged with
Search options not deleted user 118688

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. …
Praphulla Koushik's user avatar
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
Praphulla Koushik's user avatar
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 …
Praphulla Koushik's user avatar
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 …
Praphulla Koushik's user avatar
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. …
Praphulla Koushik's user avatar
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? …
Praphulla Koushik's user avatar
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 …
Praphulla Koushik's user avatar
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. …
Praphulla Koushik's user avatar
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. …
Praphulla Koushik's user avatar
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\ …
Praphulla Koushik's user avatar
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. …
Praphulla Koushik's user avatar
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}$. …
Praphulla Koushik's user avatar
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 …
Praphulla Koushik's user avatar
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). …
Praphulla Koushik's user avatar

15 30 50 per page