Questions tagged [algebraic-spaces]
The algebraic-spaces tag has no usage guidance.
71 questions
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
2
votes
0
answers
153
views
A schematic representability of an algebraic space with group action
In the book "Néron Models" (BLR), there is a statement as follows (on page 164):
Let $S$ be a locally noetherian scheme and let $G$ be a smooth algebraic group space over $S$ with connected ...
- 291
1
vote
0
answers
124
views
Section of étale morphism of algebraic spaces
I am sorry in advance if this question is too naive for specialists. I just realized that I need it when doin research and I haven't taken any serious course on algebraic spaces. Let $u \colon U \...
- 883
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
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
2
votes
1
answer
260
views
Is a finite morphism of Deligne-Mumford stacks proper?
The situation that I am in is the following. Let $\mathcal{X}$ be a smooth Deligne-Mumford stack over a field $k$. Let $X$ be a $k$-scheme together with a morphism $\pi;\mathcal{X}\rightarrow X$ (you ...
- 737
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
2
votes
0
answers
175
views
Is this double quotient of $\operatorname{SL}_2$ representable by an algebraic space or a scheme?
$\DeclareMathOperator\SL{SL}$Let $B$ be a Borel subgroup (upper triangular matrices), and let $\Gamma := \langle \sigma\rangle$ be the group generated by a (hyperbolic) element of $\SL_2/\mathbb{Q}_p$ ...
- 2,907
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
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
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
1
vote
0
answers
213
views
Quotient stack is an algebraic space when $G$ is finite and acts freely
I have been following Jarod Alper's lecture series on YouTube on Stacks https://youtube.com/playlist?list=PLhFI5R_xInjdhtWuhgYlA8NZGXO-unnl4
From what I understand -
If a smooth affine group scheme $...
2
votes
1
answer
332
views
Example of an Algebraic Space ("false" affine line with different tangents at origin)
I have a question about the following example from the Algebraic spaces and quotients by equivalence relation of schemes by Roy Mikael Skjelnes (page 12)
of a presheaf quotient, which
has associated ...
- 5,998
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
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
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
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
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
2
votes
0
answers
174
views
Finite étale morphism from a scheme to an algebraic space
Let $f : X \to Y$ be a finite, surjective étale morphism of algebraic spaces (say, of finite type over some noetherian scheme). Assume that $X$ is a scheme. Does this imply that $Y$ is a scheme? Is $Y$...
- 197
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
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
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
2
votes
0
answers
130
views
Transversality for algebraic spaces
$\DeclareMathOperator\dim{dim}$I want to apply EGA IV 4, Proposition 17.13.2 to a cartesian diagram
of algebraic spaces over a fixed scheme $S$.
I know the relative dimensions $\dim(\mathfrak{X}'/S)...
- 91
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
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
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
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
0
votes
1
answer
87
views
representing base changes of the unit section
Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and ...
- 13
1
vote
0
answers
118
views
representability of a certain extension of group algebraic spaces
Let S be a scheme. Suppose we have sheaves in abelian groups $A,B,C$ over the big étale site of $S$. Suppose that $A$ and $C$ are representable by algebraic spaces in groups locally of finite type ...
- 13
0
votes
2
answers
437
views
Existence of $B$-reduction of a $G$-torsor on a curve
Let $k$ be an algebraically closed field, $X$ a connected smooth curve over $k$, $G$ a connected reductive group over $k$, and $B \subset G$ a Borel subgroup.
Given a $G$-torsor $E$ on $X$ in the ...
- 5,562
1
vote
0
answers
272
views
Artin's criterion for étale, quasi-separated algebraic spaces
it is known from Knutson's work that an algebraic space which is separated and étale over a scheme is a scheme. Let $S$ be a locally noetherian scheme. I am looking for a reference giving an Artin's ...
- 11
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
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
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
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
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
2
votes
0
answers
210
views
Is surjectivity for morphisms of schemes local on the domain?
It is said so in Knutson's book 'algebraic sapces' in several places for different topologies on schemes, see Chapt. I, 2.19 for Zariski top, 3.13 for flat top., 4.11 for etale topology.
But this ...
- 997
2
votes
0
answers
211
views
How far is it to extend the results of SGA III Exp. VIB from group schemes to group spaces?
How far is it to extend the results of SGA III Exp. VIB from group schemes to group spaces?
In particular, does Corollary 4.4 from SGA III Exp. VIB hold for G/S being merely a group space? Here the ...
- 997
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
1
vote
1
answer
201
views
Does a line bundle on a normal Noetherian algebraic space come from a Weil divisor?
Let $X$ be a normal Noetherian algebraic space and $\mathscr{L}$ a line bundle on $X$. If $X$ is a scheme, then there is locally principal Weil divisor on $X$ that gives rise to $\mathscr{L}$. Is the ...
- 1,103
0
votes
0
answers
109
views
pushing out families of curves
Let $f:X\rightarrow Y$ be a morphism of schemes with smooth curves as fibers. Let $g:X\rightarrow Z$ be a family of smooth or nodal curves with $Z$ a regular scheme. Does the push-out $Z\coprod_X Y$ ...
- 1
2
votes
1
answer
377
views
Relative identity component for group algebraic spaces
Let $S$ be a locally noetherian scheme and let $G$ be a separated and smooth $S$-group algebraic space of finite presentation. Does there exist an open sub-(group algebraic space) $G^0 \subset G$ ...
- 1,103
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
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
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
6
votes
0
answers
560
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
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