Questions tagged [schemes]

The first purpose of schemes theory is the geometrical study of solutions of algebraic systems of equations, not only over the real/complex numbers, but also over integer numbers (and more generally over any commutative ring with 1). It was finalized by Alexandre Grothendieck, during the 1950s and the 1960s.

Filter by
Sorted by
Tagged with
2
votes
0answers
304 views

Colimit of an etale diagram of schemes

It is known that the category of schemes is not cocomplete (e.g. see this question: Colimits of schemes). However, do diagrams of schemes for which every morphism is etale have colimits? More ...
2
votes
1answer
2k views

on the genus of a function field

Let $K$ be an algebraic function field of one variable. Then we can define its genus. On the other hand, it can also be seen as a scheme, so we can define the arithmetic and geometric genus. Could ...
4
votes
1answer
645 views

When singular points of a reduced scheme are not dense in it?

A stupid AG question: could singular (Zarisky) points be dense in a reduced (Noetherian) scheme $S$? If yes, which 'standard' restrictions on $S$ could ensure that this does not happen? For example, ...
0
votes
1answer
246 views

Restriction of Proj S to D(f) is isomorphic to Spec S_{(f)}

$S$ is a graded ring (over non-negative integers), $f \in S_{+}$ is a homogeneous element of positive degree, $D(f)$ the elements of Proj $S$ not containing $f$. I don't see the bijection between $D(f)...
6
votes
2answers
714 views

Philosophy : seeking examples illuminating deeper geometric ideas behind base change of schemes

So for certain base changes, it's clear that 'base change' really means base change from high school : for example, if a curve is defined over a field, it will be of course defined over any extension ...
5
votes
2answers
2k views

Closed subschemes and pulling back the structure sheaf via the inclusion map

I would just like a clarification related to closed subschemes. If $(X,{\cal O}_X)$ is a locally ringed space and $A\subset X$ is any subset with the subspace topology then $i^{-1}{\cal O}_X$ will be ...
3
votes
0answers
732 views

Quotient morphisms in the category of schemes

Which morphisms of schemes (or varieties, if you prefer) $\pi: X \rightarrow Y$ are quotient morphisms, i.e. satisfy the following universal property (*)? (*) For any morphism $f:X \rightarrow Z$, ...
4
votes
2answers
608 views

Given a morphism from X to Y, when is the morphism from O_Y to the pushforward of O_X injective

I would like to know under what condition the morphism $\mathcal{O}_Y\longrightarrow f_\ast \mathcal{O}_X$ induced by a morphism $f:X\longrightarrow Y$ of schemes is injective. Let me give an example ...
3
votes
1answer
863 views

Quasi-coherent sheaves of O_X-algebras

Let $X$ be a quasi-compact scheme and let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_X$-algebras on $X$. $X$ being quasi-compact, we can write $X = U_1 \cup \dots \cup U_n$ with each $...
13
votes
3answers
2k views

Infinite projective space

Is infinite (say complex) projective space a scheme? More generally, can schemes have infinite cardinal dimension? It seems that infinite dimensional projective space is not a manifold, since it is ...
1
vote
2answers
437 views

morphism of schemes that is closed at topological space level

Suppose $X\stackrel f\to Y$ be a morphism of finite type $k$-schemes, where $k$ is a field; for the time being let me say that $k$ is algebraically closed. Then one knows that $f$ takes $k$-valued ...
4
votes
2answers
547 views

Relationship between Line Bundles with isomorphic ring of sections

Suppose two positive holomorphic line bundles $L_1 \to X_1, L_2\to X_2$ over two projective complex manifold $X_1, X_2$ have isomorphic ring of sections $R=R_1=R_2$ where $R_i=\oplus_{m=0}^\infty\...
7
votes
2answers
1k views

Functorial characterization of morphisms of schemes

This question is akin in spirit to this one: Functorial characterization of open subschemes? In the above MO question, a "functorial" characterization is given for closed immersions and open ...
37
votes
2answers
3k views

Commutative rings to algebraic spaces in one jump?

Typically, in the functor of points approach, one constructs the category of algebraic spaces by first constructing the category of locally representable sheaves for the global Zariski topology (...
39
votes
1answer
3k views

A closed subscheme of an open subscheme that is not an open subscheme of a closed subscheme?

A morphism $f: V \rightarrow X$ of schemes is a locally closed immersion if it can be factored into a closed immersion followed by an open immersion. It is not hard to show that if $f$ is an open ...
6
votes
4answers
651 views

Can isomorphisms of schemes be constructed on formal neighborhoods?

Let (A,m) be a complete local Noetherian ring and let X and Y be two schemes of finite type over A (and flat over A). Let Xn and Yn be the reductions of X and Y mod mn+1. Question: Suppose there is ...
29
votes
4answers
2k views

Spectrum of the Grothendieck ring of varieties

Here's a problem that may ultimately require just simple algebraic-geometry skills to be solved, or perhaps it's very deep and will never be solved at all. From the comments, some literature and my ...
10
votes
1answer
457 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 ...
13
votes
3answers
675 views

Constructing a degeneration (as a group scheme) of G_m to G_a

SGA 3, expose 12, remark 1.6 says that one can easily construct a group scheme over a discrete valuation ring with generic fiber Gm and special fiber Ga. What is such an example?

1
8 9 10 11
12