# Tagged Questions

1answer
45 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 ...
1answer
47 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 ...
1answer
36 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. ...
0answers
17 views

### $\textrm{Proj}(\cdot)$ and fibered product

Consider a field isomomorphism $f:F\longrightarrow K$, and let $X$ be the scheme $X=\textrm{Proj}(A)$ for some graded algebra $A$. I don't understand why is it true that ...
0answers
58 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 ...
2answers
131 views

### How does Liu intend his readers to compute $H^0(X,\Omega^1_{X/k})$ of this scheme?

In the chapter on duality theory in Liu's Algebraic Geometry and Arithmetic Curves, there is the following exercise. I'm having trouble seeing how one can apply the duality theory developed in Liu to ...
1answer
138 views

### When are complete intersections also local complete intersections?

First, let us recall some definitions. Let $P=\mathbb P^d_k$ be a projective space over a field $k$. Let $X$ be a closed subvariety of $P$ of dimension $r$. We say that $X$ is a complete ...
1answer
205 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 ...
0answers
190 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 ...
1answer
49 views

### Why are projective schemes $\mathbb P_A^n$ over a ring not affine for $n>1$?

I recently posted a very similar question, but I hid the question I really wanted answered in it. I'm posting this to make that question explicit. Let $A$ be a nonzero commutative ring with unit. ...
1answer
105 views

### Why are projective spaces over a ring of different dimensions non-isomorphic?

Let $A$ be a nonzero commutative ring with unit. Define $\mathbb P_A^n$ to be the scheme $\operatorname {Proj} A[T_0,\dots,T_n]$, where the grading on the polynomial ring is by degree. Why is it true ...
1answer
112 views

### Showing that intersection multiplicity at a point is finite for prime divisors

My question has two parts two it: one vaguely more elementary, one perhaps less so. In Beauville (Complex Algebraic Surfaces), we define the multiplicity of intersection of two (irreducible, no ...
1answer
97 views

### A proof that every projective morphism is proper?

I am currently working my way through Q. Liu's book "Algebraic Geometry and Arithmetic Curves". I'm puzzled by the proof that every projective morphism is proper, see below I understand that ...
1answer
139 views

### Does the singular locus of a conical variety (or scheme) determine the singular locus of its projectivization?

Lets say $X$ is a conical affine algebraic variety (conical meaning $X$ is the zero set of homogeneous polynomials of positive degree, equivalenty $X \subsetneq k^n$ and $x \in X \Rightarrow ax \in X$ ...
1answer
130 views

### Proj construction and fibered products

How to show, that $Proj \, A[x_0,...,x_n] = Proj \, \mathbb{Z}[x_0,...,x_n] \times_\mathbb{Z} Spec \, A$? It is used in Hartshorne, Algebraic geometry, section 2.7.
1answer
101 views

1answer
247 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 ...
0answers
64 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 ...
0answers
79 views

### Morphisms of abelian variety and torus in additive group

let $A$ be an abelian variety and $T$ be an algebraic torus over a field $k$; furthermore denote with $\mathbb G_a$ the additive group over $k$, i.e. just the affine space. Why does then hold (i) ...
1answer
135 views

### What does “Biextension of Abelian Varieties” mean?

If I have two schemes $X$ and $Y$, which are such that my question makes sense (I guess, they should be abelian varieties over a field $k$, so assume this). Then I have often read, but nowhere found ...
1answer
138 views

### Ample divisor on abelian variety

just a short question: if one has an abelian variety $X$ over a field $k$ and an ample irreducible divisor $D$ on $X$, then why is $H^1(X-D,\mathcal O_X)$ zero? Should it be that $X-D$ is affine? ...
1answer
141 views

### Geometry of abelian varieties

if $X$ and $Y$ are abelian varieties over a field $k$ and $f:X\rightarrow Y$ is a homomorphism of abelian varieties, are then the following true: 1) ...
1answer
80 views

### Smooth ample hypersurface on variety

I read the following fact which wasn't explained further and wonder how you exactly get it. Maybe you can give me some hint. Start with a smooth projective variety $X$ over a $k$. Then the author ...
3answers
244 views

### Proj of graded rings

my question actually concerns an exercise II5.13 in Hartshorne. You have a graded ring $S=\oplus S_n$ with $n\ge0$ generated as $S_o$-Algebra by $S_1$ and you set $S^{(d)}=\oplus S_{dn}$ for a ...
0answers
390 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 ...
1answer
237 views