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

54 questions
Filter by
Sorted by
Tagged with
4k views

### Ring-theoretic characterization of open affines?

Background Recall that, given two commutative rings $A$ and $B$, the set of morphisms of rings $A\to B$ is in bijection with the set of morphisms of schemes $\mathrm{Spec}(B)\to\mathrm{Spec}(A)$. ...
4k views

2k views

### Reference for de Rham cohomology in positive characteristic

It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas ...
2k views

### Images and Monomorphisms of Schemes

If $X$ is an object in an arbitrary category, there is a natural definition of a subobject of $X$ as a monomorphism into $X$ (or really an equivalence class of monomorphisms). If $X$ is a scheme, ...
570 views

### About the relation between the categories $\text{Sch}$, $\text{LRS}$ and $\text{RS}$

I've asked this question https://math.stackexchange.com/questions/1407451/about-the-relation-between-the-categories-textsch-textlrs-and-text on math.stackexchange , however I don't think I will ...
2k views

### Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?
2k views

### Do Grothendieck universes matter for an algebraic geometer?

I recently learned that some parts of SGA require axioms beyond ZFC. I am just a simple algebraic geometer so I am trying to understand how can this fact impact my life (you may have engaged in a ...
777 views

### Motivation for relative schemes: why should one work with schemes over a ringed topos?

Recently I've been trying to learn more about relative schemes. These were developed in M. Hakim's thesis Topos annelés et schémas relatifs under Grothendieck's guidance and appear in many of later ...
1k views

### The category of finite locally-free commutative group schemes

I'm trying to understand the properties of the category $\mathcal{FL}/S$ of finite locally-free commutative group schemes over an arbitrary base-scheme $S$. I know it is not in general an abelian ...
2k views

### Do Disjoint Unions and Fiber Products Commute?

Do disjoint unions and fiber products commute? In other words, is the following statement true? Statement: Let $C$ be a category with (infinite) coproducts and fiber products. Let {$U_{i}$} be a ...
2k views

### Is the degree of a finite morphism stable by base change

Let $f:X\longrightarrow Y$ be a finite morphism of schemes of degree $n$. Let $S\to Y$ be a morphism of schemes. Is the degree of the finite morphism $X\times_Y S \longrightarrow S$ equal to $n$? If ...
337 views

125 views

### Question about the statement of the going-down theorem of Cohen-Seidenberg in Mumford

In Mumford's red book the statement of the Going-Down Theorem (Chapter II Section 8) is as follows. Let $f: X \to Y$ be a finite morphism. Assume that $Y$ is an irreducible normal scheme. Assume that ...
260 views

### Irreducible of finite Krull dimension implies quasi-compact?

Let $X$ be the underlying space of a scheme. If $X$ is irreducible of finite Krull dimension, is it necessarily quasi-compact? Is it necessarily Noetherian? What if we assume not only that Krull ...
446 views

### A slightly canonical way to associate a scheme to a Noetherian spectral space

Let $C$ be the category whose objects are Noetherian spectral topological spaces and whose morphisms are homeomorphisms. Let $\mathrm{AffSch}$ be the category of Noetherian affine schemes (morphisms ...
170 views

### Abelian varieties by Moonen and van der Geer: proof of rigidity lemma

I try to understand a reduction step in the proof of rigidity lemma as proved in Moonen's and van der Geer's Abelian varieties (Lemma 1.11 on page 12- if the link not work the draft version is online ...
Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...