The concept of scheme is from algebraic geometry: A locally ringed space that is glued together (much like a manifold) from affine schemes, that is spectra of rings with Zariski topology and structure sheaf.

learn more… | top users | synonyms

2
votes
1answer
66 views

Geometric reducedness (integral) versus reducedness (integral)

All the schemes here are over $\mathbb{C}$. Suppose $X \to Y$ is a morphism of varieties, then the geometric reducedness (integral) of the generic fibre implies the geometric reducedness (integral) ...
0
votes
0answers
20 views

Connectedness in Unipotent Groups

Are all subgroups of an unipotent group over a finite field (as a scheme) connected?
3
votes
1answer
37 views

A scheme with not-numerable affine covering.

This question maybe finds the answer in the definition. Let $X$ be a scheme with not hypothesis on it (not noetherian, not affine,... ). Can I find a scheme that has a not numerable affine covering? ...
3
votes
1answer
65 views

Confused with $\mathbb Q$-rational points

Look at the following enlightened part of a proof extracted from a paper (here $C$ is an algebraically closed field of characteristic $0$): Clearly $\mathbb Q\subset C$ and $\mathbb P^1_C$ is ...
2
votes
1answer
117 views

global sections of structure sheaf of a projective scheme X over a field k?

Some may have already asked this question. What are the global sections of structure sheaf of a projective scheme $X$ over a field $k$? By Hartshorne page 18, Chapter 1, Theorem 3.4, global sections ...
6
votes
2answers
69 views

$K$-schemes as varieties: the importance of the structural morphism

Consider a variety $p:X\longrightarrow\operatorname{Spec K}$ where $X$ is an integral scheme and $p$ is a separated morphism of finite type. Now chose an element ...
2
votes
1answer
98 views

Morphisms between schemes such that every point in the codomain has at most $n$ preimages.

Consider a finite morphism $f:X\longrightarrow Y$ between two integral and Noetherian schemes. If $\operatorname {deg}(f)=[K(X):K(Y)]=n$, is it true that for every $y\in Y$ then $|f^{-1}(y)|\le n$? ...
3
votes
1answer
88 views

What is a field of definition of a morphism?

An algebraic variety $X$ over a field $K$ is a $K$-scheme integral separated and of finite type over $K$. Definition: If $L$ is a subfield of $K$ we say that $X$ is defined over $L$ if there ...
4
votes
2answers
127 views

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq ...
3
votes
1answer
44 views

Group Scheme - equivalent ways of defining it

I know that a group scheme is an $S$-scheme $G$ equipped with one of the equivalent sets of data a triple of morphisms $μ$: $G$ ×S $G$ → $G$, $e$: $S$ → $G$, and $ι$: $G$ → $G$, satisfying the ...
3
votes
0answers
54 views

Can Hom(X,Y) be given a natural scheme structure?

Let $X$ and $Y$ be $S$-schemes. Is there a "natural" scheme structure on $\operatorname{Hom}_S(X,Y)$, maybe subject to some conditions on the schemes in question? Interpret "natural" however you'd ...
4
votes
2answers
104 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 ...
1
vote
1answer
68 views

Example of Gluing Schemes

Let $k$ be a field. $U_0 = \mathbb{A}^1_k = \operatorname{Spec}(k[T])$ and $U_1=\mathbb{A}^1_k = \operatorname{Spec}(k[S])$. $U_{01} = D(T) = \mathbb{A}^1_k\backslash \{0\} = ...
2
votes
0answers
32 views

Unipotent Group Scheme

Can someone give me a reference of why this is true? Let A an associative k-algebra in wich every element is nilpotent, (non unital) and free of finite rank k-module, then for every commutative ...
2
votes
0answers
67 views

Closed points of a scheme (locally) of finite type over an algebraically closed field

If $X$ is an arbitrary scheme, I can prove that the set $X(k)$ of $k$-valued points is in bijective correspondence with the set $$\{(x,\iota) \, | \, x \in X, \, \iota:\kappa(x) \hookrightarrow k\},$$ ...
3
votes
0answers
47 views

Noetherian schemes and varieties

What types of varieties (e.g. projective, affine,...) over a field $k$ (char = $0$) are Noetherian schemes?
6
votes
0answers
71 views

Schemes to the rescue?

I am reading chapter 1 of Gille and Szamuely's book Central Simple Algebras and Galois Cohomology, on quaternion algebras. In it they prove (remark 1.3.1 on p. 18) that the conic associated to a ...
5
votes
1answer
58 views

Existence of a morphism of schemes from $X$ to $\mathbb P_A^n$?

In exercise §II.III.VIII. of Algebraic geometry and arithmetic curves by Qing.Liu. one is asked the following: Let $X$ be a scheme over a ring $A.$ Let $f_0, \cdots,f_n\in\mathcal O_X(X)$ be ...
3
votes
0answers
111 views

Infinitesimal thickening of a smooth closed subscheme

Let $A$ be a noetherian ring (if it is useful I can assume that $A$ is an algebra of essentially finite type over a field) and $I \subset A$ is an ideal s.t. $A/I$ is smooth. Is it true that extension ...
2
votes
1answer
54 views

If $B$ is a graded $A$-algebra, then $\operatorname{Proj}B$ is an $A$-scheme

If $B$ is a graded ring, then for me is clear that $\operatorname{Proj}B$ with affine covering given by $D_+{(f)}\cong\operatorname{Spec} B_{(f)}$ is a scheme. The problem arises when $B$ is a graded ...
6
votes
1answer
134 views

When is the global section functor exact?

Given sheaves $\mathcal{F}_1,\mathcal{F}_2, \mathcal{F}_3$ on some scheme $X$, and an exact sequence $$ 0\rightarrow \mathcal{F}_1\rightarrow \mathcal{F}_2\rightarrow \mathcal{F}_3\rightarrow 0 ...
5
votes
1answer
81 views

Why is the preimage of a Spec $A$ the Spec of its integral closure in a morphism of curves?

Let $\phi:X\to Y$ be a morphism of nonsigular complete curves. Let Spec $A:=U\subset Y$ be an open set. Why is $\phi^{-1} (U) =$ Spec $B$, the spectrum of the integral closure of $A$ in $K(X)$? Can we ...
3
votes
1answer
51 views

About two isomorphic schemes

My question is related to an answer I read on MO: http://mathoverflow.net/questions/157973/classical-algebraic-varieties-vs-k-schemes-vs-schemes In the accepted answer, the user Julian Rosen claims ...
0
votes
0answers
52 views

What is an algebraic automorphism over $k$?

I'm reading some notes about the action of finite groups on algebraic varieties, and I've found this sentence. Let $Y$ be a scheme of finite type over a field k, and let $G$ be a finite group, ...
6
votes
1answer
83 views

From the residue field at a point to a scheme

Consider a scheme $X$; for every $x\in X$ with residue field $k(x)$, we have the canonical surjection $\mathcal O_{X,x}\longrightarrow k(x)$ that induces the morphism of affine schemes ...
5
votes
1answer
58 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 ...
4
votes
2answers
158 views

What is the zero subscheme of a section

Let $X$ be a scheme, $\mathcal F$ a locally free sheaf of rank $r$ and $s \in \Gamma(X, \mathcal F)$ a global section of $\mathcal F$. Question: What is the zero subscheme of $s$? I can't believe ...
3
votes
2answers
163 views

Groups acting on schemes: the quotient scheme doesn't always exist.

Preliminary notion: Consider the action of a group $G$ on an object $X$ of some category $\mathcal C$. We have a group homomorphism $\rho:G\longrightarrow\operatorname{Aut}(X)$ which sends $g$ in ...
3
votes
1answer
44 views

$K$-rational points and algebraic sets

Notation: If $X$ is a $K$-scheme, then a point $x\in X$ is said $K$-rational if its residue field $k(x)=\frac{\mathcal O_{X,x}}{\mathfrak m_{X,x}}$ is isomorphic to $K$. The set of all $K$-rational ...
1
vote
1answer
28 views

Closed subsets and closed subschemes

Consider a scheme $(X,\mathcal O_X)$; a closed subscheme of $(X,\mathcal O_X)$ is a scheme $(Z,\mathcal O_Z)$ such that: $Z$ is a closed subset of $X$ There is a morphism of schemes ...
1
vote
0answers
42 views

$\operatorname{Spec} (\cdot)$ is functorial [duplicate]

If $A$ is a ring (with unity) I'm trying to prove that the assignement $A\mapsto\operatorname{Spec}A$ defines a contravariant functor from the category of rings to the category of affine schemes. If ...
2
votes
1answer
88 views

Exercise 2.3 from Hartshorne's algebraic Geometry.

2.3) A scheme $(X,\mathcal{O}_X)$ is reduced if for every open set $U\subset X$, the ring $\mathcal{O}_(U)$ has no nilpotent element. b) Let $(X,\mathcal{O}_X)$ be a scheme. Let ...
3
votes
2answers
42 views

The two projection maps are different?

I'm reading Vistoli's notes, and I came across something on the bottom of page 31, starting with "The reader might find our definition of sheaf pedantic..." Essentially my problem is the following ...
6
votes
2answers
192 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 ...
4
votes
2answers
60 views

The projective line is defined over $\mathbb Q$

Notations: A variety $X$ over a field $C$ is an integral $C$-scheme such that the structure morphism $p: X\longrightarrow \textrm{Spec } C$ is separated and of finite type. We say that a variety $X$ ...
4
votes
0answers
75 views

Global generation of $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ and $\mathcal{E}$

I'm trying to prove that $\mathcal{O}_{\mathbb{P}(\mathcal{E})}(1)$ is generated by global sections on $\mathbb{P}(\mathcal{E})$ if and only if $\mathcal{E}$ is generated by global sections ($\pi: ...
1
vote
1answer
47 views

Dimension of the closure of points on a scheme

I would like to prove the following fact. Let $X$ be a scheme, and $x\in X$. Show that $\text{dim}(\mathcal{O}_{X,x})=\text{codim}(\bar{\{x\}},X) $, with $\bar{\{x \}}$ the closure of the subset ...
3
votes
1answer
52 views

Reducibility of a Hilbert scheme in projective space

My question concerns the computation of the Hilbert scheme $\mathsf{Hilb}_{3}^{2x+1}$, which parametrizes all curves of degree $2$ and genus $0$ in $\mathbb{P}^{3}_{k}$, with $k$ algebraically closed. ...
1
vote
1answer
51 views

Difference between Meromorphic and Analytic Continuation

We have that $\frac{X}{spec \mathbb{Z}}$, a scheme of finite type. Consider $\zeta(X,s)= \prod_{x\in{X}} \frac{1}{(1-Nx^{-s}}$, with $Nx$ the norm. I didn't catch what my teacher was saying and he is ...
1
vote
2answers
52 views

In a quasicompact scheme every nonreduced point has a closed nonreduced point in its closure

Let $x\in X$ be a non reduced point. Then I can find a nilpotent $f\in \Gamma(U, \mathcal O_X)$, where $U$ is some open neighborhood of $x$. I also know that when $X$ is assumed to be quasicompact, ...
3
votes
0answers
48 views

Valuative criteria with varieties

Let $X$ be an algebraic prevariety over an algebraically closed field $k$ (I.e. an integral scheme of finite type over $k$). In the valuative criteria for separatedness and properness of $X$ over ...
0
votes
0answers
44 views

Show that in a quasi-compact scheme every point has a closed point in its closure

Vakil 5.1 E Show that in a quasi-compact scheme every point has a closed point in its closure Solution: Let $X$ be a quasi-compact scheme so that it has a finite cover by open affines $U_i$. ...
2
votes
2answers
75 views

On a *ringed space*, show that the non vanishing set of $f$ is open, and that it is invertible there

This is an exercise of Ravi Vakil that I solved by a very trivial argument without using the hint. For this reason I'm worried that I might have missed something. If $f$ is a function on a locally ...
2
votes
2answers
119 views

Source: Coherent locally free sheaves and projective modules

What is a good and very quick and concise article for the proof of the equivalence of the categories of locally free sheaves on $\mathrm{Spec}(A)$ and finitely generated projective $A$-modules?
3
votes
2answers
95 views

Example of an affine scheme where closed points aren't dense.

I'm looking for an example of an affine scheme where closed points aren't dense. It's easy to show (using Hilbert's Nullstellensatz) that if $A$ is a finitely generated algebra over a field, then the ...
2
votes
1answer
73 views

The $\mathbb C((z))$-rational points of a complex semi-simple group $G$

By definition, if $R$ is a $\mathbb C$-algebra and $G$ is a $\mathbb C$-scheme then the set of $R$-valued points on $G$ is $G(R)=\hom_{\text{Sch}_{\mathbb C}}(\operatorname{Spec} R, G)$ In Ginzburg's ...
4
votes
1answer
95 views

Definition of algebraic variety

In general, the definition of an algebraic variety differs from one reference to other. The definition that I was used to is to consider an algebraic variety as an integral scheme of finite type. ...
3
votes
1answer
158 views

pull-back and push-forward of quasi-coherent sheaves on affine schemes

Let $f:Y\to X$ be a map of affine schemes, where $X=\text{Spec}A$ and $Y=\text{Spec}B$. Let $M,N$ be modules over $A$ and $B$, respectively. I know the following three facts: The functors $f^{*}$ ...
1
vote
1answer
55 views

Associated sheaf to a $\mathbb{C}$-module

In section II.5 Hartshorne describes the notion of a sheaf $\tilde{M}$ associated to a module M over a ring A. Now in the case $A:= \mathbb{C}$, we have $\operatorname{Spec}(\mathbb{C}) = {0}$. ...
4
votes
0answers
24 views

Is a nonzero divisor locally nonzero divisor?

Suppose $X$ is a scheme (or locally ringed space), $a\in \Gamma (X,O_X)$, not a zero divisor. Can we show $a_x$is also a nonzero divisor in $O_{X,x}$? (It is true if $X$ is an affine scheme)