The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
257 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 ...
4
votes
0answers
141 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 ...
6
votes
2answers
431 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?
2
votes
0answers
157 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 ...
3
votes
0answers
138 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 ...
7
votes
0answers
264 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
298 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
119 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
152 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 ...
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 ...
13
votes
0answers
412 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 ...
15
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 ...
5
votes
2answers
553 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$, ...
11
votes
1answer
762 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
227 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 ...
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" ...
3
votes
0answers
327 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 ...
3
votes
2answers
449 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 ...
17
votes
3answers
1k views

Why is this not an algebraic space?

This question is related to the following question which I've just seen which was posted by Anton. His question is whether a algebraic space which is a group object is necessarily a group scheme, and ...
25
votes
6answers
2k 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" ...
6
votes
2answers
558 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 ...
9
votes
1answer
322 views

Can an algebraic space fail to have a unviersal 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 ...
3
votes
1answer
248 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 ...