Questions tagged [algebraic-spaces]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9
votes
0answers
287 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 ...
5
votes
0answers
167 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 ...
3
votes
1answer
306 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 ...
2
votes
0answers
117 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$...
2
votes
0answers
95 views

Does a proper algebraic space have an etale proper covering? [duplicate]

Let $X$ a proper algebraic space over a scheme $S$. Then does there exist a proper etale surjective morphism $Y \to X$ from a scheme $Y$? And what about for an algebraic stack? It seems to be ...
3
votes
1answer
148 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
votes
0answers
212 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
votes
0answers
173 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 ...
3
votes
1answer
319 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 ...
2
votes
0answers
118 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)...
5
votes
1answer
226 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 ...
3
votes
0answers
133 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.....
3
votes
1answer
247 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 ...
23
votes
2answers
977 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 ...
0
votes
1answer
81 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 ...
1
vote
0answers
106 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 ...
0
votes
2answers
261 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 ...
1
vote
0answers
230 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 ...
3
votes
0answers
168 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$ ...
5
votes
1answer
516 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 ...
12
votes
1answer
540 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 \...
8
votes
1answer
545 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 ...
3
votes
0answers
245 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 (...
2
votes
0answers
187 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. ...
3
votes
0answers
167 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 ...
2
votes
0answers
191 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 ...
4
votes
2answers
559 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
vote
1answer
180 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 ...
0
votes
0answers
106 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$ ...
2
votes
1answer
285 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$ ...
13
votes
0answers
474 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 ...
6
votes
0answers
304 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 ...
3
votes
0answers
545 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 ...
6
votes
0answers
440 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 ...
7
votes
2answers
671 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?
3
votes
0answers
170 views

Subgroups of a group algebraic space

I found in the literature many references on the representability of quotients of group schemes but almost nothing about subgroups. For this reason I hope that my question is a silly one and that what ...
4
votes
0answers
241 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 ...
9
votes
0answers
396 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 ...
4
votes
1answer
658 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 ...
0
votes
1answer
213 views

Prorepresentable functors repres. by alg. spaces? Covering spaces by alg. spaces.

Let $X$ be a (reasonable) scheme. I'm curious about constructing the constructing the covering space of a scheme algebraically. The covering space functor $F$ (below) can be represented by a ...
0
votes
0answers
202 views

morphisms between algebraic spaces

My question concerns morphisms between algebraic spaces. I like the definitions of Artin, but I do not see a simple proof of the fact that the composition of two morphisms is a morphism. Could someone ...
8
votes
1answer
2k 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 ...
15
votes
0answers
564 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 ...
16
votes
3answers
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 ...
17
votes
2answers
2k 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, ...
9
votes
2answers
1k 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$, ...
12
votes
1answer
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 ...
3
votes
1answer
380 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 ...
29
votes
7answers
3k 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" ...
3
votes
0answers
469 views

Does an étale equivalence relation of schemes induce an equivalence relation on points?

Let $R \rightrightarrows U \to X$ be a presentation of an algebraic space by schemes. Does this induce an exact sequence $|R| \rightrightarrows |U| \to |X|$ on underlying points? The reason I ask is ...