1
vote
0answers
37 views

About the isomorphism of two schemes.

Let $C$ and $B$ be two graded $A$-algebras, where $A$ is a commutative ring with unity. Look at the following lemma from Liu's book: Now suppose that $\varphi$ is an isomorphism of graded ...
0
votes
1answer
38 views

Associated points and reduced scheme

1) Let X is a locally Noetherian scheme without embedded point, show that X is reduced iff it is reduced at the generic points. 2) Let X is a locally Noetherian scheme (maybe has some embedded ...
1
vote
1answer
52 views

A question on smooth morphisms and 'pointwise' smooth morphisms

Let $X$ be a scheme, $x\in X$ a point and $f\colon \operatorname{Spec}(k(x))\to X$ the canonical morphism. Is $f$ always a smooth morphism? Now suppose $g\colon X\to Y$ is a scheme over some ...
2
votes
1answer
51 views

In $\Bbb Z[x,y]$ is $(x^2+1,y^2+1,-xy+1)$ prime?

This is a reality check for the following computations that I did: Consider the map $(\operatorname{id}, \iota): \Bbb A_\Bbb Z^1 \rightarrow \Bbb A_\Bbb Z^1\times \Bbb A_\Bbb Z^1$ from the definition ...
1
vote
1answer
67 views

Finite pushforward commute with taking cohomology

Let $f: X \to Y$ be a finite morphism of schemes. How one can show that $f_*H^i(G) \cong H^i(f_* G)$ for any $G \in D(X)$ and any $i \in \mathbb{Z}$? In english, $G$ is a complex of quasi-coherent ...
0
votes
1answer
29 views

The structure morphism of a projective variety induces a morphism of $k$-algeras

Suppose that $k$ is an algebraically closed field and that $X=\textrm{Proj}{\frac{k[T_1,\ldots,T_n]}{(f_1,\ldots,f_n)}}$ is a projective variety with a structural morphism $p:X\rightarrow\textrm{Spec} ...
3
votes
1answer
32 views

Surjective étale morphisms on points. [closed]

Let $X$ and $Y$ be schemes over a field $K$. We assume, moreover, $X$ and $Y$ to be of finite type, separated and geometrically integral. Let $f:X \rightarrow Y$ be a surjective étale morphism. Is it ...
3
votes
1answer
140 views

Hartshorne ex III.10.2 on smooth morphisms

I need some help with the following exercise: Let $f:X\rightarrow Y$ be a flat proper morphism between varieties over $k$, where variety means separated, finite type, integral, and $k$ not ...
3
votes
0answers
64 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$ ...
4
votes
1answer
75 views

Is the global section ring of a Noetherian Scheme Noetherian as well?

As the title suggests, I am asked to prove that, given a Noetherian scheme $(X,\ \mathcal{O}_{X})$ and any open subset $U\subseteq X$, $\Gamma(U,\ \mathcal{O}_{X}):=\mathcal{O}_{X}(U)$ is a Noetherian ...
5
votes
1answer
42 views

quasicompact scheme are finite union of affine scheme

This is a problem from Liu`s book. Show that a scheme $X$ is quasi-compact if and only if it is a finite union of affine schemes. If the scheme is quasicompact then it is obviously a finite union of ...
1
vote
1answer
50 views

Connected scheme but not quasicompact

I am searching for a connected scheme which is not quasi compact. My try: Suppose $A_i$=Spec$k[x]$, where $k$ is algebraically closed field are affine schmes . I am planning to glue $0$ of the ...
0
votes
0answers
46 views

Sheaf of ideals [duplicate]

Let $(X, \mathcal{O}_X)$ be a scheme and and $f \in \mathcal{O}_X(X)$. We define the sheaf of ideals by the assignment $$ U \longmapsto f|_U \mathcal{O}_X(U) $$ and denote this sheaf by ...
3
votes
2answers
195 views

Scheme: Countable union of affine lines

Let $X$ be a countable union of $A_n$ ($n \in \Bbb{N}$), where $A_i$ are affine lines, i.e., $A_i=\operatorname{Spec}k[x]$, with $k$ algebraically closed field, such that $A_i$ meets $A_{i+1}$ in the ...
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
1answer
32 views

complex automorphisms acting on a projective variety

Consider a complex projective variety $X=\operatorname{Proj}\frac{\mathbb C[T_1,\ldots,T_n]}{(f_1,\ldots,f_n)}$ with $f_1,\ldots,f_n$ homogeneous polynomials. If $\sigma\in\operatorname{Aut}(\mathbb ...
0
votes
0answers
35 views

Generic points and base change

Let $X$ be a scheme over a field $k$. Let $K$ be a field extending $k$. What can we say about the generic points of $X_K$ with respect to the generic points of $X$? In particular I suspect that doing ...
1
vote
1answer
27 views

Graph of a morphism between two $K$-schemes: an open covering

Consider a separated morpshism $f:X\longrightarrow Y$ between two $K$-schemes ($K$ is a field). The graph of $f$ is the image of the morphism $(Id_X,f):X\longrightarrow X\times_{\operatorname {spec}K} ...
4
votes
1answer
58 views

Closed points of a fibred product of k-schemes

This question comes from Shafarevich, Chapter V.4, Let $X$ and $Y$ be schemes over an algebraically closed field $k$. Show that the correspondence $ u \to (p_x(u),p_y(u)) $ establishes a 1-1 ...
5
votes
0answers
48 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 ...
1
vote
1answer
48 views

Projective varieties are the common zeros of some homogeneous polynomials

definition: A projective variety over a field $k$ is a closed subscheme (over $k$) of $\mathbb P^n_k=\operatorname{Proj}(k[T_0,\ldots,T_n])$. Now it can be proved (I have done it) that if ...
4
votes
1answer
60 views

Nonexistence of Morphisms between Schemes of Differing Characteristic

So I'm new to this whole scheme theory business. I'm working my way through Gortz and I produced a solution to an exercise but it seemed too easy. I'm hoping someone can either tell me that I am ...
0
votes
1answer
40 views

Weak Kodaira Vanishing - Hartshorne III.7.1

In the Serre Duality section of Algebraic Geometry by Robin Hartshorne, the following exercise is posed: If $X$ is an integral projective scheme over a field $k$, prove that an ample invertible sheaf ...
1
vote
1answer
48 views

Quotient of group schemes and its rational points.

At the moment I have some difficulties in understanding the quotient of group schemes and so exact sequences. I am aware that precise answers would be difficult to be given without speaking of sheaves ...
4
votes
1answer
132 views

Is the fiber product of the connected component of a group scheme connected?

Let $G$ be a group scheme over a field $k$. Let $G^0$ be the connected component containing the identity. Is it true that $G^0\times_k G^0$ is connected? I know that this is true if $G^0$ is ...
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 ...
3
votes
1answer
33 views

Counting the dimension of a component of $\mathsf{hilb}^{2t+1}_{3}$

Consider the Hilbert scheme $\mathsf{hilb}^{2t+1}_{3}$, parametrizing varieties of degree $2$ and genus $0$ in $\mathbb{P}^{3}_{k}$, with $k$ an algebraically closed field. Consider the component $ ...
3
votes
0answers
47 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}$, ...
4
votes
4answers
72 views

Morphism between two $K$-schemes restricted to an affine subscheme

Suppose that $f:X\longrightarrow Y$ is a morphism between two $K$-schemes. If $U\subseteq X$ is an affine open set, then can we conclude that $f(U)$ is contained is some affine open subset of $Y$? ...
3
votes
1answer
40 views

Complexifications of degree 3 subschemes in $\mathbb A^2_{\mathbb R}$

I am trying unsuccessfully to solve exercise II-20 (page 65) from the book "The geometry of schemes" by Eisenbud and Harris. In this exercise it is stated that there are two non-isomorphic subschemes ...
2
votes
1answer
83 views

Motivating examples of Spec(R) where R is not a finitely generated k-algebra

A scheme is a ringed space locally isomorphic to an affine scheme. An affine scheme is the spectrum of a commutative unital ring together with a structure sheaf. What are examples of "interesting" ...
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) ...
4
votes
0answers
75 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 ...
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? ...
2
votes
0answers
42 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 ...
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
102 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
67 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
97 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$? ...
2
votes
1answer
82 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
116 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
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
102 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
66 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
63 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
46 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
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 ...
5
votes
1answer
53 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 ...