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

16
votes
0answers
1k 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 ...
8
votes
0answers
208 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 ...
7
votes
0answers
169 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 ...
6
votes
0answers
68 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 ...
6
votes
0answers
129 views

Invertible rational functions

I am looking for references for the following facts. ...
5
votes
0answers
47 views

Projective schemes and fiber product

Consider the graded $K$-algebra $A=\frac{K[T_1,\ldots,T_n]}{(f_1,\ldots,f_m)}$ and construct the projective $K$-scheme $X=\operatorname{Proj} A $ (i.e. isomorphic to a closed subscheme of $\mathbb ...
5
votes
0answers
65 views

For this morphism of integral schemes $X\to Y$, if $X$ is geometrically reduced (irreducible) then is $Y$ also geometrically reduced (irreducible)?

Let $k$ be an arbitrary field. Suppose that $C/k$ is an integral curve which is birationally equivalent to a projective line. Is it true that $C$ is geometrically reduced and irreducible? This is of ...
4
votes
0answers
71 views

A morphism from $\mathbb P^1_\mathbb C$ to $\mathbb P^1_\mathbb C$

Consider the projective scheme $\mathbb P^1_\mathbb C$ that is different from the projective line $\mathbb P^1(\mathbb C)$. Now look at the following lemma: I don't understand what is a ...
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: ...
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)
4
votes
0answers
105 views

Orbits of affine group scheme actions

Motivation Let $F$ and $K$ be distinct algebraically closed fields. Then $GL_n(F)$ acts on $M_n(F)$ by conjugation, and the nilpotent orbits of this action can be characterized by the Jordan normal ...
4
votes
0answers
89 views

Is there any equivalence between the category of schemes over $\mathbb R$ and the category real manifolds

The equivalence of the category of smooth projective curves over $\mathbb C$ and the category of compact Riemann surfaces is, I believe, well documented. For example, it is mentioned on the wiki page: ...
4
votes
0answers
133 views

If $X\times C$ is isomorphic to $Y\times C$, does it follow that $X$ is isomorphic to $Y$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be ...
4
votes
0answers
971 views

Proving that $\operatorname{Pic}^0(X) \times \operatorname{Pic}^0(Y) \cong \operatorname{Pic}^0(X \times Y)$

Let $k$ be a field of arbitrary characteristic and let $X$ and $Y$ be projective varieties over $k$. I have come across the formula $$\operatorname{Pic}^0(X) \times \operatorname{Pic}^0(Y) \cong ...
4
votes
0answers
105 views

Is reducedness an open condition?

If $X$ is a (general) scheme and $X$ is reduced at $p$, i.e. $\mathscr{O}_{X,p}$ is reduced, does there necessarily exist an open neighborhood of $p$ on which $X$ is reduced, i.e. $\mathscr{O}_X(U)$ ...
3
votes
0answers
63 views

Weil restriction - from abstract nonsense to a practical procedure

Let $L/K$ be a finite field extension. Let $X$ be a $L$-scheme, that is $\exists$ a morphism of schemes $\pi : X \to \operatorname{Spec} L$. The Weil restriction of $X$ is a $K$-scheme $W_{L/K}X$ ...
3
votes
0answers
46 views

Hilbert Scheme and Chow variety in the case of Conics in $\mathbb{P}^{3}$

My question concerns the relationship between chow varieties and hilbert schemes in the case of conics in $\mathbb{P}^{3}_{k}$. More precisely, consider the Hilbert scheme $\mathsf{hilb}^{2t+1}_{3}$, ...
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 ...
3
votes
0answers
46 views

Noetherian schemes and varieties

What types of varieties (e.g. projective, affine,...) over a field $k$ (char = $0$) are Noetherian schemes?
3
votes
0answers
108 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 ...
3
votes
0answers
47 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 ...
3
votes
0answers
50 views

Is the Abel-Jacobi map flat?

Let $X$ be a scheme corresponding to a smooth projective curve over $k=\bar{k}$. Let $Div_X$ denote the set of effective Cartier divisors of $X$ and $Pic_X$ the set of line bundles over $X$. We can ...
3
votes
0answers
64 views

Divisors as a scheme

Let $S$ be a scheme and $X$ be a scheme over $S$ corresponding to a smooth projective curve. Define $X_d := X^d / \mathfrak{S}_d$, where $X^d$ denotes the usual $d$-fold cartesian product of $X$ and ...
3
votes
0answers
71 views

Grothendieck group of a variety and Grothendieck group of its derived category

Let $X$ be a smooth projective variety over a field $K$. Let $K_0(X)$ denote the Grothendieck group of the abelian category of coherent sheaves on $X$. Let $\newcommand{\Pf}{\mathbf{Pf}}K_0(\Pf(X))$ ...
3
votes
0answers
141 views

Which local ringed spaces are schemes?

This paper gives a proof that the underlying topological spaces of affine schemes are precisely the spectral spaces (compact, T0, sober, and the compact open subsets are closed under finite ...
3
votes
0answers
112 views

smooth morphism on schemes

Imagine a projective, noetherian and flat family of curves $C \rightarrow S$ (i.e. every geometric fiber is a curve, this is a integral, non singular, proper scheme of dimension 1 over an ...
3
votes
0answers
232 views

“Hartog's Lemma” for locally free sheaves on a Noetherian normal scheme

Exercise 14.1.I of Ravi Vakil's notes is the following: Show that locally free sheaves on Noetherian normal schemes satisfy "Hartog's Lemma": sections defined away from a set of codimension at least ...
2
votes
0answers
35 views

Rational function on a noetherian scheme

Let $X$ be a noetherian scheme and $f$ a rational function on $X$, so by definition the domain of $X$ includes all associated points of $X$. I think the following is true: $f$ is regular on $X$ if and ...
2
votes
0answers
27 views

Question on morphism locally of finite type

The exercise 3.1 in GTM 52 by Hartshorne require to prove that $f:X \longrightarrow Y$ is locally of finite type iff for every open affine subset $V=\text{Spec}B$, $f^{-1}(V)$ can be covered by open ...
2
votes
0answers
40 views

Does $\operatorname{Proj}(\sigma)$ fix some points?

Consider a subfield $K\subseteq\mathbb C$, then by some properties of the fibered product of schemes we have that: $$\mathbb P^1_\mathbb C\cong\mathbb ...
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
61 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\},$$ ...
2
votes
0answers
37 views

Do the cyclic or Hochschild homologies satisfy the addition axiom of Eilenberg Steenrod?

Do the cyclic or Hochschild homologies satisfy the addition axiom of ES? If so please provide a reference or proof (reference is preferable).
2
votes
0answers
128 views

Why does Fulton's Intersection Theory define $x \cdot_f y$ in this way?

His definition 8.1.1: Let $f:X\rightarrow Y$ be a morphism, with $Y$ non-singular of dimension $n.$ Let $p_X: X' \rightarrow X$, $p_Y: Y' \rightarrow Y$ be morphisms of schemes $X',Y'$ to $X$ and $Y$ ...
2
votes
0answers
94 views

Dimension of closure of set of closed points in a scheme

Let $X$ be a noetherian integral scheme. Let $Z\subset X$ be a set of closed points in $X$. What is the dimension of the closure of $Z$?
2
votes
0answers
66 views

Isomorphism of first infinitesimal neighborhoods

Take an abelian variety $X$ over a field and consider $Z$ to be the first infinitesimal neighborhood of the diagonal in $X\times X$. Let furthermore $Y$ be the first infinitesimal neighborhood of the ...
2
votes
0answers
95 views

Is there a $\mathbb{C}_g$, where $g$ is composite?

Analogous to the $p$-adic ring $\mathbb{Z}_p$, you can (at least formally), define the $g$-adic ring $\mathbb{Z}_g$, where $g$ is composite. Of course when completing to a field, you get in trouble ...
2
votes
0answers
463 views

Very ample line bundles and global sections

my question concerns a very ample line bundle $L$ on a projective k-scheme. It gives a closed immersion $i:X \rightarrow P^{N-1}_{k}$ to some projective space over k. It can be viewed as induced by ...
2
votes
0answers
42 views

Can we embed K(X_eta) canonically in K(X)

Let $f:X\longrightarrow S$ be a morphism of schemes. Assume $X$ and $S$ are integral. Let $\eta$ be the generic point of $S$ and let $X_\eta\longrightarrow \textrm{Spec} \ K(S)$ be the induced ...
1
vote
0answers
25 views

Why is : $ \ \ V \times_U W = p^{-1} (V) \bigcap q^{-1} (W) $?

Let $ f: Y \to X $ and $ g : Z \to X $ be two morphisms of schemes. Suppose we know that $ Y \times_X Z $ exists, and let $ p $ dénote its projection on $ Y $, and $ q $ its projection on $ Z $. ...
1
vote
0answers
11 views

Group schemes decomposition

Given an abelian group scheme of finite type $(G,+)$ over $\mathbb{F}$ connected, and given two connected closed subgroup schemes of finite type $G$ over $\mathbb{F}$ connected $H$, $N$ of $G$. ...
1
vote
0answers
37 views

What is the opposite of category of schemes

The category of schemes sits between $Aff=CRing^\text{op}$ and its free cocompletion $\hom(Aff^\text{op},Sets)$, as the locally representable functors. Dualizing, we have $CRing\subseteq ...
1
vote
0answers
40 views

Check a non-projective morphism

The following is from the wiki: http://en.wikipedia.org/wiki/Proper_morphism Projective morphisms are proper, but not all proper morphisms are projective. For example, it can be shown that the ...
1
vote
0answers
25 views

The Chow variety of conics in $\mathbb{P}^{3}_{k}$

Consider the family of all conics in $\mathbb{P}^{3}_{k}$, with $k$ an algebraically closed field. Such curves all have degree $2$ and genus $0$, and they can be uniquely defined to be all curves in ...
1
vote
0answers
47 views

The localization exact sequence.

Let $X$ a scheme and $Y$ a close subscheme and $i:Y \to X$ the inclusion. Let $U:=(X-Y)$ and $j:U \to X$ the inclusion map. If I denote with $CH(-)$ the Chow group, the sequence $$ CH_r(Y) ...
1
vote
0answers
80 views

Relative spectrum of a quasi-coherent algebra.

I'm working out the notion of spectrum of a quasi-coherent algebra over a scheme. $\require{AMScd}$ Let $(X,\mathcal O_X)$ be a scheme and $\mathcal A$ a quasi-coherent $\mathcal O_X$-algebra, i.e. a ...
1
vote
0answers
88 views

Projective scheme

How can I prove that the two different construction of $\mathbb{P}_k^n$ (as $Proj K[x_0,x_1,...,x_n]$ and by gluing copies of $\mathbb{A}_k^n$) agree? And how can I prove that if $A$ is reduced also ...
1
vote
0answers
72 views

Closed sets of $Spec(R)$.

I have to dounbs: Let $R$ be the ring $\mathbb{C}[x]_{(x)}$. So we have that $Spec(R)=\{(0),(x)\}$. I have to descrive closed sets of $Spec(R)$. I think that they are $\{\emptyset, Spec(R), (x) \}$ ...
1
vote
0answers
63 views

How can I calculate $\mathrm{Spec}(\mathbb{Z}_{(3)})$? And $\mathrm{Spec}(\mathbb{Z}_3)$?

Let $\mathbb{Z}_{(3)}$ be the localization (in $\mathbb{Z}$) of the ideal generated by $3$. So I have to put in $\mathbb{Z}$ all the inverses of the complement of $(3)$. How can I calculate ...
1
vote
0answers
25 views

von Neumann Stability help

Using the forward time centered space scheme, I transformed the equation: $u_t-2u_{xx}-u_{yy}=0$ to ...