6
votes
1answer
460 views

Is “stackiness” transitive? (and a couple other basic questions about stacks)

Say, $B$ is a category fibered in groupoids over some category $C$, and $A$ is a category fibered in groupoids over $B$. Suppose $A$ is a stack (over whatever site) over $B$, and $B$ is a stack over ...
8
votes
1answer
311 views

What is the difference between internal presheaves and presheaves on a total space?

Suppose that $\mathbb{C}$ is a category with finite limits and that $\mathcal{D}$ is a category internal to $\mathbb{C}$. We can also represent $\mathcal{D}$ as a fibration $\mathbb{D}\to\mathbb{C}$. ...
3
votes
0answers
77 views

How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...
2
votes
1answer
158 views

Twisting an object P by an H-Torsor I

I am reading Brylinski's Loop Spaces, Characteristic Classes, and Geometric Quantization. The Statement Let $C$ be a gerbe on a space $X$ with "abelian" band $H$, $f: Y \to X$ a local homeomorphism ...
0
votes
0answers
120 views

quotient by a proper equivalence relation

Let X be a scheme and R be a proper equivalence relation on X. What can be said about the geometric structure of the quotient X/R? Is it representable by a stack, for example?
6
votes
1answer
344 views

Why are sheaves not preserved in this case?

Suppose that $C$ is a Grothendieck site, and $\mathscr{X}$ is a stack over $C$ (which is NOT equivalent to a sheaf). Let $$\pi_{\mathscr{X}}:\int_{C} \mathscr{X}\to C$$ denote the associated fibered ...
7
votes
0answers
178 views

Separation condition for higher Deligne-Mumford stacks

Let $X$ be a stack of $n$-groupoids on the site of affine schemes over a fixed base, with the etale topology. If $n=1$ then for $X$ to be Deligne-Mumford, aside from having an etale atlas from an ...
2
votes
0answers
290 views

Is the category of quasi-coherent sheaves on a concentrated stack locally finitely presentable?

Let's call an Artin stack $X$ concentrated iff it is quasi-compact and quasi-separated (the latter usually being included in the definition of an Artin stack). The category of quasi-coherent sheaves ...
5
votes
1answer
1k views

surjective morphism of schemes or epimorphism of sheaves?

I have a technical question coming from reading Toen's master course on stacks. If we view schemes as locally ringed spaces then there we could define a morphism to be surjective if it the underlying ...
5
votes
2answers
398 views

(Sh,Sh-map) represents the category of sheaves on a stack.

I'm trying to understand the following theorem, but I don't think I'm reading it correctly. Let $(\mathcal{C},J)$ be a site (with a subcanonical topology). Write $\mathcal{C}/X$ for the groupoid of ...
8
votes
4answers
703 views

Adjunctions form a stack

Let $C$ be a base category, $F,G$ be two categories fibered over $C$ and $F \to G$ be a morphism. The following criterion is used very often: If all the fiber functors $F_U \to G_U$ ($U \in C$) are ...
5
votes
2answers
453 views

Automorphism groups and etale topological stacks

Recall that an etale topological stack is a stack $\mathscr{X}$ over the category of topological spaces (and open covers) which admits a representable local homeomorphism $X \to \mathscr{X}$ from a ...
5
votes
1answer
576 views

What is the stalk of a stack?

When we study sheaves of sets (on a space X or a site C) we are often interested in the stalks of the sheaf (at either a point $p:1\to X$ or a left exact, cover-preserving functor $a:C\to Sets$). I ...
6
votes
1answer
624 views

Exactly how is 'the diagonal is representable' used for algebraic stacks…

...apart from stating properties of $(s,t):X_1 \to X_0\times X_0$ for the a presenting algebraic groupoid $X_1 \rightrightarrows X_0$? Once we know that given a stack $\mathcal{X}$ we have a smooth ...
5
votes
2answers
733 views

What about stacks of categories in algebraic geometry? II

I've made this a new question, rather than expanding the first one. Torsten gives a good answer, and it partially illustrates in practice the 'second approach' I outlined in my other question. (You ...
6
votes
1answer
272 views

The plus construction for stacks of n-types

In Jacob Lurie's Higher Topos Theory, Section 6.5.3, he briefly mentions that to stackify a presheaf of $n$-groupoids, one needs to apply the "+"-construction $\left(n+1\right)$ times, and in general, ...
3
votes
0answers
161 views

When is a category of groupoid schemes fibred over schemes?

The category of topological categories $Cat(Top)$ is fibred over $Top$ - the functor sending a groupoid $X_1 \rightrightarrows X_0$ to its object space $X_0$ is a Grothendieck fibration. Now one can ...
5
votes
2answers
219 views

What condition on a “bibundle between categories” generalizes “right-principal bibundle between groupoids”?

My question is long on background and motivation, and almost but not quite answered over at the nLab. I'll write up a bunch before asking my question (feel free to skip to the end or look at the ...
2
votes
1answer
301 views

Weak colimits of weak and strict presheaves in groupoids

Let $C$ be a small category, and for this question, let groupoid mean an (essentially small) groupoid. There are two 2-categories in question: the 2-category of strict presheaves in groupoids and ...
5
votes
1answer
349 views

Who first came up with the idea of essential/Morita equivalence of internal groupoids/categories?

The idea that stacks can be identified with groupoids internal to the base site $S$ up to what is variously called essential/Morita equivalence is well known. The basic idea is that one takes the ...
6
votes
3answers
537 views

Fibered category with an adjoint inclusion

Suppose $X:D \to C$ is a fibered category (I do not assume the fibers to be groupoids). Suppose that $X$ is actually left adjoint to a fully faithful embedding $C \hookrightarrow D$. Is there a ...
3
votes
1answer
282 views

Notion of stack fibered in monoidal categories?

This can be seen as a follow up my question here: Is there a notion of "fibered category with boxproducts"? Given a monoidal fibration $f:E\rightarrow B$ (i.e. a strict monoidal functor ...
6
votes
2answers
499 views

Universal property of X//G?

Given an operation of say a topological group on a topological space, one can form the quotient stack X//G: the stack associated to the action groupoid. Does this stack satisfy some kind of universal ...
6
votes
1answer
552 views

When is a stack (NOT) geometric?

Following the terminology of $n$-Lab, a geometric stack $\mathcal{X}$ on a site $\mathcal{(C,J)}$ is a stack for which there exists a representable epimorphism $X \to \mathcal{X}$ from an object $X$ ...
9
votes
1answer
376 views

Double Category of Topological Stacks

There are two equivalent ways of describing topological stacks. One is the "stacky" definition, that is, a topological stack is a stack $\mathbb{X}$ on $Top$ (a Grothendieck universe thereof, if ...
17
votes
6answers
1k views

Categorical construction of the category of schemes?

The answer to the following question is probably well known or the question itself is well known not to have a reasonable answer. In the latter case could you please let me know what the "right" ...
5
votes
1answer
336 views

Connections on principal bundles via stacks?

Let G be a Lie group and M a smooth manifold. Suppose that P is a principal G-bundle over M. Then by Yoneda, this corresponds to a smooth map $p:M \to \left\[G\right]$, where $\left\[G\right]$ is the ...
11
votes
1answer
279 views

Why are non-singleton covering families often ignored?

It seems to me that frequently when discussing stack conditions and descent, people consider only singleton covering families, i.e. there is some single covering map $U\to X$, for which one constructs ...
5
votes
1answer
496 views

Sites which are stacks over themselves

A site C with pullbacks is subcanonical (all representable presheaves are sheaves) if and only if its codomain fibration $Arr(C) \to C$ is a prestack (all hom-presheaves are sheaves). Is there a ...
10
votes
2answers
666 views

Does sheafification preserve sheaves for a different topology?

Let $T_1$ and $T_2$ be two Grothendieck topologies on the same small category $C$, and let $T_3 = T_1 \cup T_2$ (by which I mean the smallest Grothendieck topology on $C$ containing $T_1$ and $T_2$). ...