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

learn more… | top users | synonyms

31
votes
0answers
2k views

Pullback and Pushforward Isomorphism of Sheaves

Suppose we have two schemes $X, Y$ and a map $f: X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\mathcal{...
27
votes
2answers
2k views

Diophantine applications of Spec?

Let $f(\bar x)$ be a multivariable polynomial with integer coefficients. The zeros of that polynomial are in bijection with the homomorphisms $\mathbb Z[\bar x] \rightarrow \mathbb Z$ that factor ...
27
votes
1answer
824 views

Quasi-coherent sheaves, schemes, and the Gabriel-Rosenberg theorem

In the context of commutative rings, a ring is completely determined by its category of modules. That is, two commutative rings $R$ and $S$ are isomorphic if and only if the category of $R$-modules is ...
26
votes
3answers
2k views

Intuition for étale morphisms

Currently working on algebraic surfaces over the complex numbers. I did a course on schemes but at the moment just work in the language of varieties. Now i encounter the term "étale morphism" every ...
19
votes
1answer
514 views

Can an integral scheme have closed points of both positive and zero characteristic?

Background Recall that an integral scheme $X$ is a scheme which is both irreducible and reduced; equivalently, its ring of functions is an integral domain on every open subset. Given any point $p$, ...
18
votes
2answers
2k views

What are normal schemes intuitively?

A ring is called integrally closed if it is an integral domain and is equal to its integral closure in its field of fractions. A scheme is called normal if every stalk is integrally closed. Some ...
17
votes
2answers
966 views

History of Algebraic Geometry: Motivation behind definition of schemes

I am trying to read an article by Jean Dieudonne which talks about development of Algebraic Geometry. The article was being published in the journal "Advances in Mathematics" Volume 3, Issue 3, Pages ...
15
votes
1answer
2k views

Why does the definition of an open subscheme / open immersion of schemes allow for an “extra” isomorphism?

After taking an algebraic geometry course last year, I've been reviewing the material this year, and I remembered something that struck me as odd, but which I'd neglected to ask about at the time: ...
15
votes
1answer
1k views

On limits, schemes and Spec functor

I have several related questions: Do there exist colimits in the category of schemes? If not, do there exist just direct limits? Do there exist limits? If not, do there exist just inverse limits? ...
14
votes
3answers
2k views

Learning schemes

Could someone suggest me how to learn some basic theory of schemes? I have two books from algebraic geometry, namely "Diophantine Geometry" from Hindry and Silverman and "Algebraic geometry and ...
14
votes
2answers
1k views

Where do Chern classes live? $c_1(L)\in \textrm{?}$

If $X$ is a complex manifold, one can define the first Chern class of $L\in \textrm{Pic}\,X$ to be its image in $H^2(X,\textbf Z)$, by using the exponential sequence. So one can write something like $...
13
votes
2answers
1k views

Why should faithfully flat descent preserve so many properties?

This question is based on the following proposition (EGA IV, 2.7.1) Let $f: X \rightarrow Y$ be a $S$-morphism of $S$-schemes, $g: S'\rightarrow S$ a faithfully flat and quasi-compact morphism. ...
13
votes
1answer
297 views

When can stalks be glued to recover a sheaf?

Let $\mathcal{F}$ be a sheaf over some topological space. The stalks are $\mathcal{F}_x= \underset{{x\in U}}{ \underrightarrow{\lim}} \mathcal{F}(U)$. Is there a special name for a sheaf that ...
12
votes
2answers
853 views

Some basic examples of étale fundamental groups

I'm trying to get a better understanding of étale fundamental groups, and I think that the overall idea -- the big picture -- is beginning to become clear, but my computational ability seems to be ...
12
votes
1answer
562 views

Why do we need noetherianness (or something like it) for Serre's criterion for affineness?

Serre's criterion for affineness (Hartshorne III.3.7) states that: Let $X$ be a noetherian scheme. Suppose $H^1(X, \mathcal{F})= 0$ for every quasi-coherent sheaf on $X$. Then $X$ is affine. ...
11
votes
2answers
1k views

Functor of points and category theory

I am trying to read the section on Functor of points from Eisenbud - Harris (and I also referred to Mumford's book). They all motivate functor of points this way : In general, for any object $Z$ of a ...
11
votes
2answers
826 views

Why are locally closed subschemes not open subschemes of closed subschemes?

Ravi Vakil gives the following argument for why open subschemes of closed subschemes are locally closed: "Clearly an open subscheme U of a closed subscheme V of X can be interpreted as a closed ...
11
votes
1answer
3k views

Scheme of finite type over a field $K$ v.s. $K$-scheme

I'm lost in some definitions about schemes. I have some trouble about two definitions of a scheme of finite type over $K$, for an alg.closed field $K$. Version 1 (Hartshorn) : a scheme of finite type ...
11
votes
2answers
1k views

How to think of the Zariski tangent space

The Zariski tangent space at a point $\mathfrak m$ is defined as the dual of $\mathfrak m/\mathfrak m ^2$. While I do appreciate this definition, I find it hard to work with, because we are not given ...
11
votes
1answer
453 views

Problem about Complete Intersection in $\textbf P^n$ (from Hartshorne).

I am in trouble with Exercise 8.4 in Hartshorne's Chapter II; I am doing part (a). It is about (global) complete intersection in $\textbf P^n$. For those without Hartshorne' book at hand, I describe ...
11
votes
1answer
285 views

Reality check: $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(1)$ and $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(-1)$ are both Möbius strips?

This question follows up this previous question, which has an accepted answer that I am having trouble believing. (Edit: the answer has now been fixed; thanks Georges!) I have been working on giving ...
10
votes
2answers
645 views

Classification of automorphisms of projective space

Let $k$ be a field, n a positive integer. Vakil's notes, 17.4.B: Show that all the automorphisms of the projective scheme $P_k^n$ correspond to $(n+1)\times(n+1)$ invertible matrices over k, modulo ...
10
votes
3answers
678 views

Krull Dimension of a scheme

Can someone give a hint or a solution for showing that a scheme has Krull dimension $d$ if and only if there is an affine open cover of the scheme such that the Krull dimension of each affine scheme ...
10
votes
3answers
651 views

When is the pushforward of a quasi-coherent sheaf quasi-coherent? Hartshorne proof

In the following we have $f:X \rightarrow Y$ morphism of schemes, $\mathcal{F}$ a quasi-coherent sheaf on $X$ and I am referring to proposition 5.8 page 115 in Hartshorne. To prove that the ...
10
votes
2answers
619 views

What *is* affine space?

In my recent reading of various books and notes on algebraic geometry and scheme theory, I have come across three definitions of affine $n$-space over a field $k$: $\mathbb{A}_k^n$ is $k^n$ 'without ...
10
votes
2answers
772 views

Closed points of a scheme correspond to maximal ideals in the affines?

Let $X$ be a scheme. If $x\in X$ is a closed point, then it corresponds to a maximal ideal in $\mathcal{O}_X(U)$ for some affine open subset $U\subseteq X$. If I take an arbitrary open affine $\mbox{...
10
votes
1answer
909 views

Affine scheme $X$ with $\dim(X)=0$ but infinitely many points

As the title says, I'm looking for an affine scheme of dimension zero, but with infinitely many points. At first I doubted that something like this could exist, and I still can't think of an example, ...
10
votes
1answer
617 views

Studying Deformation Theory of Schemes

Versal Property Local Deformation Space Mini-versal deformation space I came across these words while studying these papers a) Desingularization of moduli varities for vector bundles on curves, Int....
10
votes
1answer
184 views

What is the geometric meaning of representability?

Representable functors play a large role in algebraic geometry when developed through the 'functor of points' approach. One finds schemes represent Zariski sheaves and this gives access to the great ...
10
votes
2answers
624 views

Inverse of open affine subscheme is affine

This seems ridiculously simple, but it's eluding me. Suppose $f:X\rightarrow Y$ is a morphism of affine schemes. Let $V$ be an open affine subscheme of $Y$. Why is $f^{-1}(V)$ affine? I noted that $...
10
votes
2answers
864 views

Varieties as schemes

Some questions about schemes and varieties, one really basic. I follow the definitions as given in Hartshorne. Firstly, my main question. I understood that Grothendiecks introduction of schemes ...
10
votes
2answers
381 views

Fibres in algebraic geometry: multiplicity

Currently I am studying varieties over $\mathbb{C}$ and I know some scheme theory. My professor mentioned the other day that given a morphism of varieties over an alg. closed field $k$: $f: X \...
10
votes
2answers
179 views

Is the product of non-separated schemes non-separated?

My question is the title, but let me be more specific: for schemes $X$ and $Y$ over $S$, with at least one non-separated over $S$, is it true that the fibered product $X\times_S Y$ is also not ...
10
votes
1answer
490 views

divisor class group of a product of schemes

The first part of this question is quite general: let $X$ and $Y$ be noetherian integral separated schemes which are regular in codimension one. Is there any relationship between the divisor class ...
9
votes
1answer
341 views

Tangent space in a point and First Ext group

Let $X$ be an abelian variety over an algebraically closed field $k$. I have read that one has for an arbitrary closed point $x$ on $X$ a canonical identification $$T_x(X)\simeq \operatorname{Ext}^1(...
9
votes
1answer
286 views

Quasicoherent ideal sheaves on open subschemes

Let $X$ be an open subscheme of an affine scheme $\operatorname{Spec} A$, let $f : X \to \operatorname{Spec} A$ be the inclusion, and let $\mathscr{I}$ be a quasicoherent ideal sheaf on $X$. Since $\...
9
votes
2answers
124 views

'$R$-rational points,' where $R$ is an arbitrary ring

On page 49 of Liu's Algebraic Geometry and Arithmetic Curves, we find Example 3.32. In it, he shows that if $k$ is a field and $X=k[T_1,\dots,T_n]/I$ is an affine scheme over $k$, the sections $X(k)$ (...
9
votes
1answer
307 views

Möbius strip and $\mathscr O(-1)$. Or $\mathscr O(1)$?

On the real $\textbf P^1$ we have these algebraic line bundles: $\mathscr O(1)$ and $\mathscr O(-1)$. Which one corresponds to the Möbius strip? (Both are $1$-twists of $\textbf P^1\times\textbf A^1$...
9
votes
1answer
202 views

How to tell whether a scheme is reduced from its functor of points?

Suppose I have a scheme $X$ and I want to know if $X$ is reduced, but all I have access to is the functor $$ R\mapsto X(R)=Mor(\operatorname{Spec}(R),X) $$ from commutative rings to sets (rather ...
9
votes
0answers
292 views

Why do these two constructions of a sheaf associated to a module on a projective scheme agree?

Let $B$ be a graded ring an $M$ be a $\mathbb Z$-graded $B$-module. We can associate to $M$ a sheaf of modules on $\operatorname{Proj} B$ by defining the sheaf on the principal open sets $D_+(f)$ to ...
8
votes
2answers
766 views

Closed immersion definition

Hartshorne defines a closed immersion as a morphism $f:Y\longrightarrow X$ of schemes such that a) $f$ induces a homeomorphism of $sp(Y)$ onto a closed subset of $sp(X)$, and furthermore b) the ...
8
votes
2answers
846 views

Why is every Noetherian zero-dimensional scheme finite discrete?

In the book The geometry of schemes by Eisenbud and Harris, at page 27 we find the exercise asserting that Exercise I.XXXVI. The underlying space of a zero-dimensional scheme is discrete; if ...
8
votes
1answer
373 views

Why is the category of coherent sheaves not grothendieck?

Let $(X, \mathscr{O}_X)$ be a ringed space. It is well-known that the category $\mathbf{Mod}(\mathscr{O}_X)$ of $\mathscr{O}_X$-modules is a grothendieck abelian category (see e.g. Grothendieck's ...
8
votes
1answer
323 views

Do schemes help us understand elliptic curves?

I'm reading Silverman and Tate's "Rational Points on Elliptic Curves" and I'm very much enjoying learning about these objects, and in particular doing a bit of number theory. It's different to what I'...
8
votes
1answer
187 views

Example of nonempty scheme with no closed points

I know that when a scheme $X$ is quasicompact, every point has a closed point in it's closure. This of course means that every nonempty quasicompact scheme has a closed point. If we drop the ...
8
votes
1answer
288 views

Hom between 2 schemes

Why is the set $Hom(X,Y)$ between 2 schemes $X$ and $Y$ a scheme as well? Where can I read the construction? For example, $Hom(\mathbb{A}^1,\mathbb{A}^1)$ is the set of all polynomial, and what is the ...
8
votes
1answer
246 views

Geometric intuition for the Stein factorization theorem?

What is the intuition behind the Stein Factorization Theorem? I understand that it was originally a theorem in several complex variables, so I was wondering if there's some geometric explanation that ...
8
votes
1answer
293 views

Computing Kähler differentials on $\mathbb P^1_A$ (What did Liu intend?)

Let $A$ be a ring and $X=\mathbb P^1_A$. On $D_+(T_0)\cap D_+(T_1)$, we have $$T^2_0d(T_1/T_0)= -T^2_1d(T_0/T_1).$$ How does one formally compute this transition? Of course this is obvious ...
8
votes
2answers
176 views

Regular sequence of sections of line bundles over a coherent sheaf

I am reading the first chapter from the book by Huybrechts and Lehn, where I encountered the following definition. I have the following doubts regarding this definition : What is the map $s:E\...
8
votes
1answer
492 views

The spectrum of a product of rings

Let $A$ be the product of a family $(A_i)_{i\in I}$ of commutative rings, and $c$ the canonical continuous map from the disjoint union $U$ of the spectra of the $A_i$ to the spectrum of $A$: $$ A:=\...