# 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.

569
questions

**2**

votes

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**3**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**4**answers

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

**4**answers

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

**1**answer

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

**3**answers

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?