Questions tagged [schemes]

The concept of scheme mimics the concept of manifold obtained by gluing pieces isomorphic to open balls, but with different "basic" gluing pieces. Properly, a scheme is a locally ringed space locally isomorphic (in the category of locally ringed spaces) to an affine scheme, the spectrum of a commutative ring with unit.

An affine scheme $X$ is a locally ringed space that is isomorphic to $\mathrm{Spec}R$, which is the spectrum of a commutative ring $R$. That is, for our commutative ring $R$, the closed subsets of $X$ correspond to the ideals of $R$, with the points of $X$ corresponding to prime ideals. Then $X$ being a locally ringed space means that it's equipped with a structure sheaf $\mathcal{O}_X$ that assigns to each open set $U$ the ring of regular functions on $U$.

A scheme then, is a locally ringed space that admits a open covering $\{U_i\}$ such that each $U_i$ is an affine scheme.

2781 questions
17
votes
1 answer

Basic understanding of Spec$(\mathbb Z)$

So, I'm looking into schemes, and found that I have no intuition in the field, so I decided to look into some simple (as in affine and well-known) examples. As I like to dwell on the basics for a while, and texts on graduate level tend to move too…
Arthur
  • 199,419
5
votes
2 answers

Morphism from a proper irreducible scheme into an affine scheme of finite type

Let $K$ be a field and $X$ be a proper irreducible $K$-scheme. Show that the image of any $K$-morphism $X \rightarrow Y$ into an affine $K$-scheme $Y$ of finite type consists of a single point. I came across this exercise in my reading, and was…
user 3462
  • 1,493
  • 7
  • 16
5
votes
1 answer

What is the definition of scheme over a field?

For a fixed scheme $S$, a scheme over $S$ is defined to be a scheme $X$ together with a morphism $X \to S.$ I am following Hartshorne, and I cannot find a definition of scheme over a field $k$. Is it a scheme $X$ together with a morphism $X \to…
user166467
4
votes
1 answer

Is this the smallest non-affine scheme?

Exercise I.XXV. of the book Geometry of Schemes by Eisenbud and Harris claims that the smallest non-affine scheme has three elements with a constructed topology and sheaf. But I am wondering if this is really the smallest non-affine scheme, so I…
awllower
  • 16,536
4
votes
2 answers

Do closed immersions preserve stalks?

This questions stems from an earlier confusion about the distinction between open and closed immersions between schemes. I understand that an open immersion $U\to S$ can simply be read as an open subset $U\subseteq S$, as the only scheme structure…
Nethesis
  • 3,986
4
votes
1 answer

Criteria for dense open subset of schemes

The purpose of this question is to expand on a remark made in Definition 7.1.27 in Qing Liu's book. All of what is discussed below is answered in the posts mentioned at the end of this question. Proposition. Let $ X $ be a scheme and $ U $ an…
3
votes
1 answer

Points contained in the diagonal of the product of schemes

Let $X,Y$ schemes over $S$, and $f,g$ two $S$-morphisms of schemes, $h:X \to Y\times_{S} Y$ the morphism obtained from $f$ and $g$ and $\Delta:Y \to Y \times_{S} Y$ the diagonal morphism. I tried to prove that if $x \in X$ s.t. $f(x)=g(x)$ , then…
2
votes
1 answer

Universally closed morphism and closed morphism

If $f:X\longrightarrow Y$ is a universally closed morphism of schemes (that is the map obtained by base extension is closed), then does it imply $f$ is closed? Or, is the assumption of $f$ being closed made in the definition of universally closed.…
gradstudent
  • 3,372
2
votes
0 answers

Examples involving localization at a generic point

I have begun to study some algebraic geometry. I think I understand at an abstract, high level the purpose of generic points in scheme theory. However, my current knowledge is a superficial history with a serious shortage of illustrative examples.…
2
votes
0 answers

Equivalent definitions of noetherian scheme.

A scheme $X$ is locally noetherian iff there is a cover $X = \bigcup_i \text{Spec}(R_i)$ with noetherian $R_i$. When $X$ is also quasicompact, it is called noetherian. Question: Why is (as Hartshorne states it) noetherian equivalent to $$…
1
vote
0 answers

What property implies finitely generated-ness of global sections as an algebra?

It is well-known that if $ X $ is a proper scheme over a ring $ A $, the global sections $ \mathcal{O}_{X} ( X ) $ of $ X $ are integral over $ A $. If $ X $ is moreover projective over $ A $, the global sections form a finitely generated module…
1
vote
0 answers

What structure do patch-topology closed subsets of a scheme have?

It is well-known that when we have a spectral space $Y$ and a subset $E \subseteq Y$ that is closed with respect to the patch topology on $Y$, then $E$, with the subspace topology induced by $Y$, is itself a spectral space. Now let $X$ be a scheme.…
Cloudscape
  • 5,124