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

1
vote
0answers
22 views

Valuative criteria at closed points

Let $X \to S$ be a morphism. In the valuative criteria for properness, is it enough to test morphisms $\text SpecK \to X$ from spectra of fields to $X$ such that the image is a closed point of $X$? ...
6
votes
1answer
91 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, ...
2
votes
0answers
34 views

About the smoothness of a non-reduced variety.

Consider a $k$-scheme $X$ with the following properties: $k$ is algebraically closed, $X$ is irreducible, non-reduced, separated and of finite type; moreover $X$ has dimension $1$ ($X$ is a non ...
0
votes
2answers
35 views

Checking normality for quasi compact schemes

Let $X$ be a quasi compact scheme. We know that any point on $X$ is a generization of a close point. Could someone possibly explain me why it then follows that to check if $X$ is normal, it suffices ...
3
votes
0answers
29 views

Definition of Formally Smooth from Stack Project

$T, T'$ are affine schemes. What is meant by $F\leftarrow T$ (or $G \leftarrow T')$
1
vote
0answers
69 views

Closed sets flat morphism

Consider the sets $Y_{k}:=\{y\in Y\mid |f^{-1}(y)|\leq k\}$, where $f:X\to Y$ is a flat quasi-finite morphism between smooth irreducible affine varieties and $k$ a natural number. Are these sets ...
7
votes
2answers
119 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 ...
5
votes
2answers
131 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 ...
2
votes
1answer
62 views

Properties of fibers of a morphism of varieties

In this question, all varieties are supposed to be over an algebraically closed field $k$. Hypothesis: X is a smooth projective surface and $f:X\longrightarrow \mathbb P^1$ is a morphism with we ...
0
votes
0answers
51 views

Stalk of a locally finite type $k$-scheme, where $k$ is a field.

I think there is something I am not understanding and I am a bit confused at the moment. I would appreciate any help! Let $X$ be a locally finite type $k$-scheme, where $k$ is a field. Say $p \in ...
1
vote
1answer
37 views

closed point of a locally finite $k$-scheme

Let $X$ be a locally finite $k$-scheme, where $k$ is a field. Suppose I have $Spec B \subseteq X$ such that $B$ is a finitely generated $k$-algebra, and $p \in Spec B$ a closed point inside $Spec B$ ...
3
votes
1answer
38 views

Bertini's theorem for surfaces: informations about singular fibers.

Let $S$ be a complex non-singular projective surface embedded in some $\mathbb P^n$. Thanks to the Bertini's theorem (Hartshorne theorem II.8.18) there exists a hyperplane $H\subseteq\mathbb P^n$ ...
0
votes
0answers
12 views

A property P of morphisms of $S$-schemes $f : X \rightarrow Y$ is local on $X$, or $Y$, or $S$ or [duplicate]

I have asked the same question on math.stackexhange here, but thought that is was a good idea to post it here also. I am learning schemes theory at school and I have for now only lectures notes that ...
4
votes
1answer
117 views

“This property is local on” : properties of morphisms of $S$-schemes

I am learning schemes theory at school and I have for now only lectures notes that I am taking during the course. The professor is quite often using following expressions, without having defined them ...
3
votes
1answer
45 views

Projective dimension of a coherent sheaf in a short exact sequence

Let $X$ be a noetherian integral scheme. We define the projective/homological dimension of a torsion free coherent sheaf $E$ to be $\mathrm{dh}(E)= \sup\{dh(E_x)|x\in X\}$, here dh$(E_x)$ denotes the ...
2
votes
2answers
40 views

Why is dh$(k(x))=$dim $X$?

Let $X$ be an integral Noetherian scheme. Let $x\in X$ be a regular closed point of $X$. Then Huybrechts and Lehn in his book, says that dh$(k(x))=$dim $X$. Here dh$(k(x))$ refers to the ...
0
votes
1answer
39 views

Are the fibers of this morphism reduced?

Let $X$ be a non singular complex projective surface (Hartshorne notation!) and consider a morphism $f:X\longrightarrow\mathbb P^1_{\mathbb C}$ with the following properties: $f$ is flat $f$ is ...
3
votes
0answers
84 views

Equivalent definition of Schemes

I recall seeing that the category of schemes can be captured by a general construction as follows. Let $\mathbf{Spec}\colon \mathbf{CRing}^{op}\to \mathbf{LRS}$ be the usual functor from the ...
7
votes
1answer
76 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 ...
1
vote
0answers
16 views

Complexifying Lie group actions

In Atiyah-Pressley's paper Convexity and Loop Groups, it is claimed that the Bruhat cells $C_\lambda$ are invariant under the natural $S^1 \times T$-action and that the authors will prove this claim. ...
1
vote
1answer
41 views

Equality of two $K$-valued points for reduced $K$

I'm reading "Red Book of varieties and schemes". There is definition 2, page 118. Let $f,g:K \to X $ be to $K-$valued points of scheme $X$, we say that they are equal at $x\in K$ $(f(x) \equiv g(x))$ ...
2
votes
1answer
61 views

A rigorous characterization for a ringed spaces to be isomorphic to an affine scheme.

On page 21-22 of the book The Geometry of Schemes by Eisenbud and Harris there is a characterization for when a ringed spaces $(X,\mathcal{O}_X)$ is isomorphic to an affine scheme ...
5
votes
2answers
93 views

Spectrum of $\mathcal{O}(U)$

Let $X=\operatorname{Spec}(A)$ be the spectrum of the comm. ring $A$ and let $\mathcal{O}$ be the associated sheaf of rings, i.e. for $U \subseteq X$ open, $\mathcal{O}(U)$ is the ring of all ...
4
votes
1answer
72 views

What is the algebraic tangent cone really?

Let $A$ be a (commutative unital) ring, let $\mathfrak{a} \subseteq A$ be an ideal, and let $B = A / \mathfrak{a}$. Then we have a descending filtration $$\cdots \subseteq \mathfrak{a}^3 \subseteq ...
1
vote
1answer
12 views

open subset of scheme with zero section

Let's take a scheme $X$. Is it possible to have an open non-empty subset $U$ of $X$ such that $\mathcal{O}_X(U)=0$? I can't find an argument against it, since there could exist some open set ...
4
votes
1answer
93 views

Question related to a stalk of a scheme

Suppose $X$ is a scheme and suppose $C$ and $C'$ are two irreducible components of $X$. Suppose also that $p \in C \cap C'$. Does is it then follow that $O_{X,p}$ is not an integral domain? Thanks!
2
votes
1answer
55 views

uniqueness of morphism $Spec(K) \to X$ of schemes

let $K$ be a field and $X$ a scheme. I'd like to understand the bijection $Hom_{Sch}(Spec(K), X) \cong \{x \in X | \exists \kappa(x) \to K \}$ That map is given by sending a morphism $f: Spec(K) \to ...
4
votes
0answers
78 views

Eisenbud/Haris, Exercice I-53: morphism between global spectra

Let $X=\operatorname{Spec}(\mathscr{F})$ and $Y=\operatorname{Spec}(\mathscr{G})$ two global spectra over a scheme $S$ and let $f:X\to Y$ be a morphism. I want to show that for all prime ideal sheaf ...
0
votes
0answers
19 views

higher order schemes or curvature to be smoothed

I want to calculate the radius of curvature of a meandering river. I have done a first estimated using a tool in arcgis. These are the results. The values of -99999 are recorded for points of no ...
2
votes
2answers
59 views

Restriction maps in an integral scheme are injective

Suppose $X$ is an integral scheme. I would like to show that the restriction maps $res_{U,V} : O_X(U) \rightarrow O_X(V)$ is an inclusion so long as $V$ is not empty. I was wondering if someone could ...
2
votes
1answer
80 views

Describing $Spec(\mathcal{O}_K[X])$

Let $K$ be an algebraic number field and $\mathcal{O}_K$ its ring of integers. I am trying to describe $Spec(\mathcal{O}_K[X])$ in terms of fibers of the map $g: Spec(\mathcal{O}_K[X]) \rightarrow ...
4
votes
1answer
56 views

Definition of $\mathbb{A}^n_S$ by glueing

In Eisenbud and Haris (Geometry of schemes I.2.4), if $S=\cup_\alpha U_\alpha$ with the $U_\alpha$ affines, to define $\mathbb{A}^n_S$ one take $X=\cup_\alpha \mathbb{A}^n_{U_\alpha}$ with ...
2
votes
3answers
94 views

Is $Spec(R_p)$ to $Spec(R)$ is an open immersion?

Let $R$ be a ring. $p$ be a prime ideal of $R$ . Let $R\rightarrow R_p$ be the canonical. Consider the map of schemes $Spec(R_p) \rightarrow Spec(R)$. Is it an open immersion. $Spec(R_p)$ is an open ...
1
vote
1answer
26 views

Closed subscheme of a projective scheme determined by homogeneous ideals

So in Ravi Vakil's notes Ex 8.2C, I have to prove that if $\pi:X\hookrightarrow\text{Proj}\ S_{\cdot}$ is a closed subscheme (here $S_{\cdot}$ is a graded ring finitely generated by elements of degree ...
2
votes
1answer
61 views

Why is the functor $S\mapsto\prod_{1\leq j\leq k}\mathcal{O}_{S}^{n}\left(S\right)$ representable by this scheme?

Let $S$ be a scheme and $\mathcal {O}_S$ the structure sheaf of rings over $S$. Question: Why is the functor $S\mapsto\prod_{1\leq j\leq k}\mathcal{O}_{S}^{n}\left(S\right)$ representable by a ...
0
votes
1answer
43 views

How to prove that a morphism of schemes preserves the surjectivity of ring endomorphisms?

Let $\left(T,\mathcal{O}_{T}\right)$ and $\left(S,\mathcal{O}_{S}\right)$ be schemes and $f:T\rightarrow S$. $U\subset S$ and $V\subset T$ are some open sets that correspond to the definition of ...
1
vote
1answer
100 views

Why can schemes of finite type over $\mathrm{Spec}\left(k\right)$ be considered to be affine?

Let $k$ be a field (not necessarily algebraically closed). We call $k$-variety a scheme of finite type over $\mathrm{Spec}\left(k\right)$. Let $X$ be a geometrically reduced $k$-variety and $Y$ a ...
1
vote
2answers
55 views

examples of interpreting schemes (Eisenbud)

I am having trouble understanding the role primary decomposition plays in ``interpreting'' the geometric picture of a scheme. Here are the examples I am struggling with from Eisenbud's Commutative ...
1
vote
0answers
40 views

Chow lemma + resolution of singularities

I am trying to understand the following simple reduction in Deligne's Theorie de Hodge II. He works in the category of schemes of finite type over $\mathrm{Spec}(\mathbf{C})$. Let $f : X \to S$ be a ...
1
vote
1answer
48 views

Does it hold $\mathcal{O}_X (U) =\bigcap_{x \in U} \mathcal{O}_{X, x} \in K (X)$?

maybe this is a stupid question, but I'm not seeing if this is true for some spaces (affines at least). Let $K (X) = \varinjlim\limits_{\emptyset \neq U \in \text{Open}(X)} \mathcal{O}_X (U)$ be the ...
0
votes
0answers
41 views

Alternative proof of Noether Normalization Lemma

On Mumford's Red Book (end of section 7 of chapter 2, pg 126, 127), there is an alternative proof of Noether's Normalization Lemma that goes like this: For an affine variety $X$ over an algebraically ...
2
votes
1answer
63 views

What is the canonical morphism of $\mathbb{P}^n_A$ to $\text{Spec }A$?

On Liu's book Algebraic Geometry and Arithmetic Curves, he gives a general definition of the projective scheme $\mathbb{P}^n_A$, for $A$ a ring, as $Proj (B)$, for $B=A[x_0,\dots,x_n]$. Later, he ...
1
vote
0answers
69 views

Some questions about Qing Liu's proof of Valuative Criterion of Properness

I'm studying algebraic geometry by following Mumford's Red Book, but recently I found Qing Liu's book "Algebraic Geometry and Arithmetic Curves", which seems to be more careful and detailed in its ...
0
votes
0answers
32 views

Closed subscheme vs open subscheme in ring of dual numbers

If we take the ring of dual numbers $R=k[x]/(x^2)$ for algebraically closed field $k$, we note that by the ideal correspondence theorem, the only prime ideal in $R$ is $(x)$. Thus the scheme $spec ...
1
vote
1answer
37 views

Question about composition of morphisms of schemes (Mumford's)

On section 7 of Chapter 2 of Mumford's Red Book, there is the following statement: Suppose $X\stackrel{f}{\rightarrow}Y\stackrel{g}{\rightarrow}Z$ are morphisms of schemes, such that $g$ is of finite ...
1
vote
1answer
37 views

Simple questions about morphisms of finite type and proper morphisms

I'm studying algebraic geometry (it is my first course), by following Mumford's Red Book, and now I'm stacked in some (probably silly) questions about schemes, more precisely in the section 7 of ...
4
votes
1answer
86 views

The Theorem on Formal Funtions - Harthshorne Theorem 11.1

Let $f:X \rightarrow Y$ a projective morphism of noetherian schemes, let $\mathcal{F}$ be a coherent sheaf on $X$, and let $y\in Y$ be a point. For each $n\geq 1$ we define $X_n=X \times_Y Spec ...
0
votes
0answers
20 views

Hilbert series computation for Hilbert scheme of $n$ points on $\mathbb C^2$

How can we show that $$\sum_{n = 0}^\infty q^n \operatorname{character}_T S^n(\mathbb C[x,y])= \prod_{p_1,p_2\geq 0}\frac{1}{1-t_1^{p_1}t_2^{p_2}q}$$ where $T$ acts on $x,y$ as $(t_1,t_2)$? ...
0
votes
0answers
110 views

Hartshorne's Exercise II. 2.15 (fully faithful functor)

I'm struggling with the last part of the exercise. Namely, let $V,W$ be any two varieties over a field $k$. We build the functor $t$, which induces a natural map $$ ...
2
votes
1answer
47 views

integral ring homomorphism

Consider a homomorphism $f: A\to B$ of commutative rings and let $b\in B$. Let $g\colon A[X]\to B[X]$ be defined by $g(X) = X$. Put $I = g^{-1}((bX-1))$ (contraction of the ideal $(bX-1)\subseteq ...