Questions tagged [differentiable-stacks]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
50 views

Is there an inverse image functor for sheaves on stacks?

I'm interested specifically in an inverse image functor between differentiable stacks, ie. stacks coming from Lie groupoids. Specifically, if I have a morphism of Lie groupoids $H\to G$ and I have a ...
5 votes
1 answer
335 views

Geometric realisation of smooth $\infty$-stacks

Let $Sh^\infty(\mathsf{Man})$ denote the $\infty$-category of sheaves of $\infty$-groupoids over the site $\mathsf{Man}$ of smooth manifolds (if you prefer, that's the model category of simplicial ...
2 votes
1 answer
111 views

Necessary and sufficient conditions for a Lie groupoid to present a stack

Let $\mathcal{G} = G_1 \rightrightarrows G_0$ be a Lie Groupoid (although I am also interested in groupoids internal to other sites), the stack associated to $\mathcal{G}$, which is sometimes denoted $...
16 votes
2 answers
2k views

Understanding the definition of stacks

First of all I should apologies if this question does not count as a research level one. I asked the same question on MathUnderflow and didn't receive any answer. Let me cross post (copy and paste) it ...
  • 735
2 votes
0 answers
52 views

Lie groupoid $G$ extensions and principal $\text{Out}(G)$ bundles over Lie groupoids

I am reading the paper Non abelian differentiable gerbes by C. Laurent-Gengoux et.al. The definition $3.4$ of the paper goes as follows: Definition : Let $X_1\xrightarrow{\phi} Y_1\...
3 votes
0 answers
149 views

Lie group (topological group) action on differentiable stack (topological stack)

Let $G$ be a Lie group and $\mathcal{D}$ be a differentiable stack (I am also ok to start with a topological group and topological stack). I have seen someone mentioning somewhere that the notion of ...
4 votes
0 answers
240 views

connection on principal bundles over algebraic/geometric stacks

Is there a notion of connection on a principal bundle over an algebraic or geometric stack? By a geometric stack, I mean a stack over category of manifolds that is representable by a Lie groupoid; ...
5 votes
0 answers
169 views

Compactly supported cohomology of a topological DM stack

Consider a separated topological Deligne-Mumford stack $\mathfrak X$, i.e., a topological stack which is presentable by a proper etale topological groupoid (equivalently, $\mathfrak X$ is locally ...
4 votes
1 answer
575 views

What is the local structure of a general Artin stack?

Let $X$ be an Artin stack over the complex numbers. What can one say about the local structure of $X$, i.e. what is the simplest class of stacks by which were can always find a cover of $X$ by open ...
  • 17.7k
3 votes
1 answer
430 views

Stacks as local quotients or via atlases

If one looks up the definition of a Deligne--Mumford stack or an Artin stack, one usually finds something like: A DM (resp. Artin) stack is a stack $X$ satisfying [insert condition in the diagonal ...
  • 17.7k
6 votes
0 answers
123 views

On the weak homotopy type of a differentiable (Chen) space

Suppose that $M$ is a differentiable space in the sense of Chen (cf. https://ncatlab.org/nlab/show/Chen+space ). Assume that $M$ also has the structure of a topological space and that the two ...
  • 17.8k
2 votes
1 answer
332 views

Stack associated to Groupoid object in category $\text{Sch}/S$

Consider the category of manifolds $\text{Man}$. A groupoid object in the category of manifolds is called a Lie groupoid, denoted by $\mathcal{G}$. There is a way to associate a stack (over the ...
2 votes
0 answers
288 views

Notions of algebraic/differential geometry of scheme/manifolds extended to algebraic/differential stacks

Given a manifold, one can associate a stack over the category of manifolds, which is a differential geometric stack. This gives a functor $\text{Man}\rightarrow \text{D.Stacks}$. This is an embedding....
5 votes
0 answers
114 views

Maps between simplicial manifolds

Is it true that every continuous simplicial map between smooth simplicial manifolds can be approximate (in some adequate sense) by a smooth simplicial map?
  • 49
2 votes
2 answers
450 views

Fibered product of stacks comes from a Lie groupoid

I am adding some context here. I am reading Introduction to Differentiable Stacks by Gregory Ginot. In page no $7$, just before the remark $2.2$ he says the following. One shall be careful that ...
3 votes
0 answers
147 views

Criterion for a sheaf $\mathfrak{S}^{op}\rightarrow (Set)$ to be representable

I am reading Differentiable stacks and gerbes by Kai Behrend and Ping Xu. Let $\mathfrak{S}$ denote the category of smooth manifolds and smooth maps. Consider Grothendieck topology given by open ...
4 votes
1 answer
388 views

Stack being represented by a scheme/manifold

On page $10$ of the survey article Algebraic stacks, by T. Gomez (arXiv:math/9911199), we have following result If a stack has an object with an automorphism other than the identity, then the ...
3 votes
1 answer
222 views

Examples of of gerbe over stacks in terms of manifolds

I am looking for some examples of gerbes over stacks (as defined in Understanding definition of gerbe over a stack) that comes from manifolds. Let $M$ be a manifold then $\underline{M}$ is a stack ...
1 vote
0 answers
268 views

Atlas of gerbe over stack

Suppose $F:\mathcal{X}\rightarrow\mathcal{Y}$ is gerbe over stack and $p:X\rightarrow \mathcal{X}$ is an atlas $\mathcal{X}$. Does this imply $F\circ p:X\rightarrow \mathcal{Y}$ is an atlas for $\...
2 votes
1 answer
2k views

To check if a stack is coming from a manifold

Let $\mathcal{D}$ be a stack. An atlas for stack $\mathcal{D}$ is given by a smooth manifold $X$ and a map of stacks $p:\underline{X}\rightarrow \mathcal{D}$ such that, for any manifold $M$ and ...
3 votes
2 answers
490 views

Understanding definition of gerbe over a stack

I am reading Differentiable Stacks and Gerbes by Kai Behrend and Ping Xu. They define gerbe over a stack as follows. Let $\mathfrak{X}$ be a differentiable stack. An $\mathfrak{S}$-stack $\...