The tag has no wiki summary.

learn more… | top users | synonyms

12
votes
0answers
692 views

Seeing stacks in the Calculus of Functors

Recently I was told (by an algebraic geometer) that when algebraic geometers look at the Calculus of Functors, they think of stacks. When I look at the Calculus of Functors, I see a categorification ...
11
votes
0answers
281 views

The Grothendieck Ring of Higher Stacks

The Grothendieck ring of varieties is defined to be the free abelian group spanned by isomorphism classes of varieties modulo the cut & paste (or scissor) relations, which say that $[X] = [U] + ...
11
votes
0answers
319 views

Atiyah-Bott from Beauville-Laszlo

This is a question about the cohomology groups of the stack of vector bundles (with fixed discrete invariants) on an algebraic curve. Explicit formulas for these cohomology groups are known, and they ...
11
votes
0answers
346 views

Is there a non-quotient stack with affine stabilizers whose good moduli space is a geometric point?

Definitions: One says that a map $\pi\colon\mathcal X\to X$ from an algebraic stack to an algebraic space is a good moduli space if $\pi$ is cohomologically affine and universal for maps to schemes. ...
11
votes
0answers
542 views

Stacks in the fpqc topology

This is related to Matt Satriano's earlier question about an analog of Artin's theorem for stacks with an fpqc cover by a scheme. Suppose one developed the theory of stacks in the fpqc topology and ...
10
votes
0answers
245 views

Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...
10
votes
0answers
438 views

Deformations of some simple quotient stacks.

I am interested in stacks of vector bundles on varieties and how deformations of the variety (including non-commutative ones) reflect themselves in deformations of the stack of vector bundles. I will ...
10
votes
0answers
479 views

Two questions on algebraic stacks

Question 1: The main reference on algebraic stacks (Laumon and Moret--Bailly) defines a separable algebraic stack as one having universally closed diagonal. For schemes separability is simply defined ...
9
votes
0answers
238 views

Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague. Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...
8
votes
0answers
274 views

What is the signficance of the existence of a moduli stack to a moduli problem?

This is a question in pretty unfamiliar territory for me, so if I have conceptual mistakes please correct me. Let's say we begin with a naive moduli problem: we want a moduli space (whatever space ...
7
votes
0answers
353 views

Quasi-coherent sheaves on $M_{FG}$ and the exact functor theorem

I'm struggling with these notes, and one of the things I don't really understand is the following. The notes consider the stack $M_{FG}$ of formal groups; this is the stack associated to the prestack ...
7
votes
0answers
182 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 ...
7
votes
0answers
397 views

Conditions for “bootstrapping” a smooth DM stack?

In the preprint "Smooth toric DM stacks", Fantechi, Mann and Nironi define the stacks of their title, and show that each of these can be obtained through the following sequence of steps: 1) start ...
6
votes
0answers
161 views

Derived Functors, Projection Formula and Base Change in the Derived $\infty$-Category

Let $X$ be a smooth stack and $\mathcal O_X$ the ring of smooth functions on $X$, i.e. for any smooth $M \to X$, $\mathcal O_X(M \to X) = C^\infty(M)$. In HigherAlgebra, the derived category ...
5
votes
0answers
102 views

Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind. Let $X$ be a smooth quasi-projective geometrically ...
5
votes
0answers
99 views

KK-witnesses of Gysin maps between differentiable stacks

In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...
5
votes
0answers
179 views

Does every stack with a connection admit an atlas with a connection?

Dear all, Let $S$ be a scheme in characteristic $0$, and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme ...
5
votes
0answers
130 views

Maximal algebraic sub-groupoids

By a theorem of Ehresmann, topological and Lie categories (by which I mean categories internal to $Top$ and $Diff$ respectively, with the condition that the source and target in the latter case are ...
4
votes
0answers
95 views

Nowhere vanishing section of vector bundles over varieties as connectivity of morphism of stacks

The following is, amongst others, a Hartshorne exercise: Let $V$ be a $k$-variety of dimension $n$ and $\mathcal{E}$ a vector bundle of rank greater than $n$, then, generically, a generating section ...
4
votes
0answers
215 views

Differential Geometry of (Non-Abelian) Gerbes in the language of Brylinski

Context In an effort to have a definition for connection on a non-abelian gerbe, in the style of Brylinski, I am reading Breen and Messing's Differential Geometry of Gerbes [BM]. It seems that there ...
4
votes
0answers
199 views

What is the structure of the stack of complexes supported in dimension less than r?

Let $X$ be something. (smooth and projective variety over C are my assumptions) The stack $M$ parameterising coherent sheaves on $X$ splits as a disjoint union of open and closed substacks $M_\alpha$, ...
4
votes
0answers
179 views

Properties of the Zariski-Riemann topology on the set of valuations

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology. ...
4
votes
0answers
370 views

Stack cohomology vs cohomology of the quotient

Let $X$ be an affine scheme over an algebraically closed field $K$ of positive characteristic, $G$ a finite group acting on $X$, $[X/G]$ the quotient stack and $p:[X/G]\to X/G$ the natural map of ...
4
votes
0answers
446 views

finite etale covering of stacks

If $Y \to X$ is a finite etale map of schemes, then there exists a finite Galois morphism $Z \to X$ (i.e. it's a $Aut(Z/X)$-torsor) that factors as $Z \to Y \to X.$ The case when $X$ is normal is easy ...
3
votes
0answers
112 views

Properties of finite quotients of quasi-projective varieties

Let $G$ be a finite group acting on a (smooth) quasi-projective variety over $\mathbb C$. One can consider the stacky quotient $[X/G]$ or the "classical" quotient $X/G$. In general, $[X/G]$ is not a ...
3
votes
0answers
154 views

Is a stack that is finite etale over an algebraic stack also algebraic?

Here by "algebraic stack" I mean a stack in groupoids over $(\textbf{Sch}/S)_\text{etale}$ (for some scheme $S$) whose diagonal morphism is representable (by schemes), and which is covered by a ...
3
votes
0answers
49 views

Representable torsors on geometric groupoid

Let $(C,\tau,\mathbb P)$ be a geometric context, as defined by Toen and Vezzosi. Let $(X_1\rightrightarrows X_0)$ be a groupoid object in $C$ such that the source and target morphisms are in $\mathbb ...
3
votes
0answers
187 views

Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...
3
votes
0answers
305 views

Analysis of Eilenberg-MacLane Stacks

In a series of three papers from the fifties, Eilenberg and MacLane did a pretty exhaustive study of what we now call "Eilenberg-MacLane spaces" and used a lot of machinery to do it, e.g. Whitehead's ...
3
votes
0answers
131 views

Where does the ''hyper'' go?

There is a model structure on the category $Grpd$ of groupoids such that weak equivalences are equivalences of categories, cofibrations are the injections on objects (see nlab) and there is a Quillen ...
3
votes
0answers
151 views

Chow ring of a $\mu_2$-gerbe

Suppose that $X$ is a stack, and $Y \to X$ is a $\mu_2$-gerbe. Is there any relationship between the integral Chow rings (in the sense of Edidin and Graham) of $X$ and $Y$? (I assume they become ...
3
votes
0answers
84 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 ...
3
votes
0answers
203 views

Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows: Let $X$ be a say complex variety with an action by an algebraic group $G$. ...
3
votes
0answers
198 views

Cohomology of line bundles on smooth projective toric Deligne-Mumford stacks

Let $\mathcal{X}$ be a smooth projective toric Deligne-Mumford stack with coarse moduli scheme $\pi\colon \mathcal{X}\rightarrow X.$ Let $[D]$ be a Cartier divisor on $\mathcal{X}$ such that ...
3
votes
0answers
206 views

properness of stack

Hi, assume we have an algebraic stack $A$ over $Sch(\mathbb{Z})$ which is quasi-compact and with separated diagonal. Assume that I have a stack $B$ which is obtained by rigidifying $A$ by a subgroup ...
3
votes
0answers
200 views

Derived pullback of quasi-coherent complexes between algebraic stacks

Let $X$ and $Y$ be Artin algebraic stacks, and $f:X\to Y$ a morphism. I am interested in a pullback morphism $Lf^\ast : D^-_{qcoh}(Y)\to D^-_{qcoh}(X)$. In his paper Sheaves on Artin stacks, ...
3
votes
0answers
162 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 ...
3
votes
0answers
907 views

When is the base change morphism an isomorphism?

This is a rewrite of a previous question, which was in turn a follow up question to Leray-Hirsch principle for étale cohomology The motivation is to clarify some points in Torsten Ekedahl's ...
2
votes
0answers
76 views

quotient a scheme by a stratified vector bundle

Let $k$ be a field. Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, ...
2
votes
0answers
217 views

Is the upper half plane an algebraic stack?

Here by algebraic stack I mean an algebraic stack over the etale site $\textbf{Sch}/\mathbb{C}$. So I've read from various nonrigorous sources that the upper half plane $\mathcal{H}$ is a fine moduli ...
2
votes
0answers
92 views

Is the cotangent complexes of groupoids bounded above by degree $1$?

Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of ...
2
votes
0answers
62 views

Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...
2
votes
0answers
79 views

Quasi-finite morphisms of stacks

Let $f:X\to Y$ be a morphism of ``nice" stacks over $\mathbf C$ such that the induced morphism on coarse moduli spaces is quasi-finite. Is $f$ quasi-finite? By a "nice" stack I mean a smooth finite ...
2
votes
0answers
369 views

what's the coherent sheaf and sheaf cohomology on Deligne-Mumford stack ?

hello, everyone, I am reading Deligne-Mumford's paper, and the section 4 of this paper, they given some properties of Deligne-Mumford stack without proof. I can't understand the coherent sheaf and ...
2
votes
0answers
309 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 ...
2
votes
0answers
509 views

Coarse Moduli space of proper Deligne-Mumford stacks

Let F be a finite type proper Deligne-Mumford Stack over a perfect field. Is it true that the coarse moduli space of F is proper?
1
vote
0answers
109 views

Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and $$ X_n=\underbrace{ X\times_S ...
1
vote
0answers
157 views

Zariski's Main Theorem for stacks

Let $X$ be a separated Deligne Mumford stack of finite type over a base field $k$ and $Y$ be a proper Deligne Mumford stack over $k$. Assume there is a quasifinite, representable, surjective and ...
1
vote
0answers
149 views

Irreducibility of monodromy of eigenspaces of families of cyclic coverings

In the article "La conjecture de Weil", Deligne proves that for the primitive cohomology of a universal family $f:X \rightarrow S$ for $M_{d,n}$ the moduli stack of hypersurfaces of degree $d$ in ...
1
vote
0answers
165 views

stack quotient question

Hi, I have the following question: let $k$ a field with $char(k)= p>0$, which we can assume to be perfect, $W(k)$ the ring of Witt vector, and $a,b$ positive integers. Consider the ring ...