Questions tagged [algebraic-spaces]
The algebraic-spaces tag has no usage guidance.
71 questions
37
votes
7
answers
4k
views
Is an algebraic space group always a scheme?
Suppose G is a group object in the category of algebraic spaces (over a field, if you like, or even over ℂ if you really want). Is G necessarily a scheme?
My feeling is that the answer is "yes" ...
31
votes
7
answers
4k
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" ...
- 23.5k
30
votes
2
answers
2k
views
morphisms representable by algebraic spaces vs morphisms representable by schemes
So I've been working with moduli stacks in algebraic geometry for a while now, with no formal training in the technicalities of the theory of algebraic stacks (ie, I've read a few articles and I learn ...
- 7,527
27
votes
3
answers
3k
views
Why is this not an algebraic space?
This question is related to the question Is an algebraic space group always a scheme? which I've just seen which was posted by Anton. His question is whether an algebraic space which is a group object ...
- 27.5k
19
votes
0
answers
610
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 quasi-projective scheme $P$ by the action of a smooth (finite type separated) reductive ...
- 9,497
18
votes
3
answers
2k
views
Is every algebraic space the quotient of a scheme by a finite group?
In this MO question it is claimed that a catchphrase for "algebraic spaces" could be that they are "the result of looking at the orbit space of the action of a finite group on a scheme".
Hence my ...
- 23.3k
18
votes
2
answers
3k
views
The different types of stacks
This question is very naive, but it will help me a lot in getting in to the vast literature about stacks.
The question is this: there are many kinds of stacks (algebraic spaces, DM, algebraic stacks, ...
15
votes
1
answer
668
views
Can an algebraic space fail to have a universal map to a scheme?
Let $\mathcal{X}$ be an algebraic space. Can it happen that there does not exist a map $\mathcal{X} \to X$ with $X$ a scheme that is initial for maps from $\mathcal{X}$ to schemes? Are there ...
- 10.5k
15
votes
0
answers
648
views
Are "fpqc algebraic spaces" algebraic spaces?
Suppose $F:Sch^\text{op}\to Set$ is a sheaf in the fpqc topology, has quasi-compact representable diagonal, and has an fpqc cover by a scheme. Must $F$ be an algebraic space? That is, must $F$ have an ...
12
votes
1
answer
812
views
Is every proper regular relative algebraic space curve over a Dedekind domain projective?
This question is in some sense a follow up to a related question Is a normal proper relative curve over a DVR projective?
Let $R$ be a Dedekind domain, let $S := \mathrm{Spec}(R)$, and let $X \...
- 2,663
12
votes
1
answer
1k
views
Hodge structures on algebraic spaces
Let $X$ be a proper smooth algebraic space over $\mathbb C$ (which amounts, due to Artin, to giving a Moishezon space: a compact complex manifold whose dimension equals the transcendence degree of its ...
- 4,265
12
votes
0
answers
283
views
Regular two-dimensional algebraic spaces
Let $X$ be an algebraic space which is integral, noetherian, separated, two-dimensional and regular. We keep these assumptions throughout.
Question 1. Is $X$ always a scheme?
Question 2. If $X$ is a ...
- 19.6k
10
votes
0
answers
873
views
Why diamonds are only defined in characteristic $p$?
I'm trying to read Scholze's article "Etale cohomology of diamonds" (arXiv link) and both in this article and in Berkeley notes, the diamonds are defined as sheaves on the category of ...
- 1,083
9
votes
2
answers
2k
views
Is the category of affine fppf groups closed under normal quotients?
Let $S$ be a scheme and let $N$, $G$ be affine flat group schemes of finite presentation over $S$.
If we assume that $N$ is a closed normal subgroup of $G$, we may form the fppf quotient sheaf $G/N$, ...
- 1,538
9
votes
1
answer
332
views
Are the tensor-invertible coherent sheaves on an algebraic space (Zariski) locally free of rank one?
On a scheme, the coherent sheaves that are invertible objects for the tensor product (monoid) operation are precisely the coherent sheaves that are (Zariski) locally free of rank one. Is the same ...
- 4,111
9
votes
1
answer
4k
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 ...
- 1,889
9
votes
0
answers
509
views
Nisnevich covers of algebraic spaces
Does every algebraic space have a Nisnevich cover by a scheme?
(Assume that the algebraic space is quasi-separated, quasi-compact and over a scheme $S$.)
Background:
Every algebraic space has an ...
- 562
8
votes
1
answer
690
views
What is an excellent algebraic space?
What does it mean to say that an algebraic space $S$ is excellent? One knows that excellence of a Noetherian ring is not a property that is etale local (that is, excellence cannot be checked over an ...
- 825
8
votes
0
answers
325
views
Moduli stacks and representability of diagonal by schemes
The answer to my question might very well be standard, but I have had trouble finding the right keywords to search for it, so I apologize if this is something well-known to the experts.
I am learning ...
- 28.2k
7
votes
2
answers
800
views
Is an algebraic space over a DVR, whose special fibre and generic fibre are schemes, actually a scheme?
Is an algebraic space over a DVR, whose special fibre (and all its infinitesimal neighborhood) and generic fibre are schemes, actually a scheme?
- 997
7
votes
1
answer
681
views
Constructible étale sheaves on X are étale algebraic spaces over X
I saw the following statement in a paper of Bhatt-Mathew:
Let $X$ be a quasicompact quasiseparated scheme. Then there is an equivalence of categories between constructible étale sheaves (of sets) on ...
- 493
6
votes
2
answers
789
views
Do quotients of representable sheaves represent quotients?
Here's the context for the question: Proposition 4.6 of Freitag and Kiehl's book on etale cohomology shows that a sheaf (of sets) $\mathcal{F}$ (on the site Et(X)) is constructible if and only if it ...
- 1,988
6
votes
1
answer
356
views
Points of a weakly locally separated algebraic space
If X is a quasi-separated algebraic space and Spec k -> X is an etale presentation, then X is isomorphic to Spec k' for a field k'. (This is also true if X is Zariski locally quasi-separated.) The ...
- 716
6
votes
0
answers
200
views
Is an algebraic space having a monomorphism to an affine scheme a scheme?
Definition
An algebraic space is a functor $X$ from the opposite of the category of commutative rings to the category of sets satisfying the following conditions:
The functor $X$ is a (large) etale ...
- 368
6
votes
0
answers
338
views
Are monomorphisms between algebraic spaces representable?
The question in the title can be reformulated as follows. Let $f : Y \to X$ be a monomorphism of algebraic spaces where $X$ is a scheme. Is it true that $Y$ is a scheme?
If $f$ is locally of finite ...
user45795
6
votes
0
answers
561
views
(Relative) ampleness on algebraic spaces
This is a follow-up (of sorts) to this question.
Let $f : X \to T$ be a proper morphism of schemes. Then the notion of a relative ample (or $f$-ample) line bundle can be defined in several ...
- 884
5
votes
1
answer
778
views
Algebraic spaces which are automatically schemes
Let $S$ be a scheme, and let $f:X\to S$ be a morphism of algebraic spaces.
If $f$ is smooth proper curve of genus at least two, then $X$ is a scheme. (Here I mean that $f$ is a smooth proper morphism ...
- 51
5
votes
1
answer
327
views
Comparison between pushforward-pullback and quasi-coherent pushforward-pullback
In the following, an algebraic stack means a stack over the big fppf site of a scheme, admitting a smooth, representable, surjective morphism from a scheme (no separation hypotheses), and let $\mathsf{...
- 1,349
5
votes
0
answers
171
views
Is $\operatorname{Rep}(G,\operatorname{SL}_2)$ representable by an algebraic space?
Let $G$ be a finite group. Consider the category of rigid analytic spaces over $\operatorname{Spf}\mathbb{Q}_p$, and let $\operatorname{Rep}(G, \operatorname{SL}_2)$ be the fibred category above it, ...
- 2,907
5
votes
0
answers
544
views
Perfect algebraic spaces on a paper of Xinwen Zhu
I have problem reading Xinwen Zhu's paper Affine Grassmannians and the geometric Satake in mixed characteristic about perfect algebraic spaces in Section A.1.
Let $k$ be a perfect field of ...
- 151
5
votes
0
answers
283
views
Reference for Grothendieck's theorem on representation of unramified functors
In the Exposé 294 of the Bourbaki Seminar of the year 1964-1965, Murre gives an outline of proof of a theorem of Grothendieck giving necessary and sufficient conditions of representability by a scheme ...
- 4,482
5
votes
0
answers
349
views
Algebraic spaces as quotients of schemes (Definition from wikipedia)
I think that wikipedia article on Algebraic spaces contains a serious content error in the part on the definition of Algebraic spaces as quotients of schemes and I would like to discuss if it is ...
- 5,998
5
votes
0
answers
195
views
Algebraic Space: Two equivalent constructions
According to Wikipedia
there are two common ways to define algebraic spaces:
they can be defined as either quotients of schemes by étale
equivalence relations,
or as sheaves on a big étale site that ...
- 5,998
5
votes
0
answers
711
views
Ample Line Bundles on Algebraic Spaces
The sources known to me (Knutson's Algebraic Spaces and Pascual-Gainza's Ampleness criteria for algebraic spaces) define a line bundle $L$ on an algebraic space $X$ (over a base scheme $S$) to be ...
- 12.1k
4
votes
2
answers
700
views
Quasi-separatedness for Algebraic Spaces
I'm reading Knutson's book on algebraic spaces, and I stumbled over the quasi-separatedness axiom in his definition of algebraic spaces (Definition 1.1, Chapter II). He defines an algebraic space A as ...
- 1,538
4
votes
2
answers
742
views
A reference for "an algebraic space is a scheme iff its reduction is"?
It seems to be a known fact that an algebraic space is a scheme if and only if its associated reduced closed subspace is a scheme. For instance, this is used in Chai-Faltings in proving that the dual ...
- 1,103
4
votes
1
answer
283
views
Fppf or étale extension of group algebraic spaces
Let $S$ be a scheme and let
$$0 \to A \to B \to C \to 0$$
be an exact sequence of abelian sheaves on $(\mathrm{Sch}/S)_\text{fppf}$. Assume that $A$ and $C$ are representable by flat algebraic spaces. ...
- 41
4
votes
1
answer
867
views
Weil restriction of abelian schemes along finite étale (resp. finite locally free) morphisms
Q: Is there a simple proof of the fact that the Weil restriction of an abelian scheme along a finite étale morphism is an abelian scheme ?
Details: Let $S$ be a scheme and $f:S'\rightarrow S$ a ...
- 1,606
4
votes
0
answers
97
views
Is there a concept of a map of Grothendieck sites having dense image?
Someone recently asked if one can talk about a map being etale dense just like one can talk about it being Zariski dense. My main question is: has anyone discussed such a notion?
On a simple ...
- 15.4k
4
votes
0
answers
148
views
Spaces of fixed points
I am reading the paper Space with $\mathbb{G}_{m}$-action, hyperbolic localization and nearby cycles by Timo Richarz and I am having some troubles in understanding the proof of Lemma 1.10.
The setting ...
- 883
4
votes
0
answers
295
views
The support of a finite type module on an algebraic space
I'd like to ask this question to make sure I understand a very basic thing about supports. Let $X$ be an algebraic space and F a quasi-coherent sheaf on it of finite type.
In here the schematic ...
- 1,273
3
votes
1
answer
457
views
Semicontinuity and cohomological flatness for algebraic spaces
Let $f \colon X \to S$ be a proper morphism form a seperated algebraic space $X$ to an affine noetherian scheme $S$.
Given a coherent sheaf $F$ on $X$, we know from Knutson's book, that the ...
- 839
3
votes
1
answer
400
views
Algebraic spaces as functors on complete local rings
Let $X$ be an algebraic space locally of finite presentation, and let $\tilde{X}$ denote the restriction of $X$ (as a functor on schemes) to the category of complete local rings. Is it true that the ...
- 197
3
votes
1
answer
428
views
What sort of object represents skyscaper sheaves on the etale site of $\mathbb{Z}_p$?
By SGA 4 IX Proposition 2.7, any constructible sheaf $\mathcal{F}$ on a qcqs scheme $X$ can be represented as an equalizer of two etale maps between representable (by schemes) sheaves. This would ...
- 15.4k
3
votes
1
answer
212
views
Algebraic spaces in the étale topology (proof from Stacks project)
I have a question about the proof of Lemma 78.12.1 from Stacks Project. The aim of the last paragraph of the proof is to verify that the map of sheaves in the étale topology $F \to U/R$ is an ...
- 5,998
3
votes
1
answer
347
views
Algebraic space birational to a scheme
Let $S$ be a Noetherian scheme, let $Y$ be a scheme of finite type over $S$, and let $X$ be an algebraic space of finite type over $S$. Suppose that there is a morphism $f:Y \rightarrow X$ which is ...
- 2,639
3
votes
0
answers
151
views
Other interesting notions when we change topology on $\text{Sch}/S$
Let $\text{Sch}$ be the category of schemes. Let $S$ be an object of $\text{Sch}$. Consider the category $\text{Sch}/S$.
Some interesting topologies on $\text{Sch}/S$ are Zariski, fpqc, étale, fppf.....
- 6,023
3
votes
0
answers
180
views
Is there a difference between the inertia stack and the universal automorphism group
Let $\mathcal M$ be a stack representing some moduli problem. Let $\mathcal X\to \mathcal M$ be the corresponding universal family.
What is the difference between the inertia stack $I\to \mathcal M$ ...
- 31
3
votes
0
answers
293
views
Is this diagram of sheaves actually Cartesian as claimed?
The question is about Corollary 1.6.2 (b) in the book by Laumon and Moret-Bailly on algebraic stacks.
There we have a scheme $S$ and morphisms $X \xrightarrow{f} Y \xrightarrow{g} Z$ of sheaves on a (...
- 825
3
votes
0
answers
262
views
When does an algebraic space that is a torsor over a scheme have to be a scheme?
In Group actions on stacks and applications (Section 4 of part A), M.Romagny gives a definition of $G$-torsor over a scheme $S$ in which the total space need not be a scheme, just an algebraic space. ...
- 23.3k