Let X be a smooth hypersurface in Projective space \mathbb{P}^n of degree d defined by the equ

Erik Sears

Erik Sears

Answered question

2022-02-24

Let X be a smooth hypersurface in Projective space Pn of degree d defined by the equation f=0. Given that we have a vector bundle E of rank r1 on X such that we have the following exact sequence on Pn:
0O(1)rdOrdE0.
My question is as follows. What is the morphism from O(1)rdOrd? A paper indicated that it is given by a rd×rd matrix of linear forms. Why is this? I am not able to see it. If this is so, can we say where in Pn the determinant of that matrix vanishes?

Answer & Explanation

alagmamGynccip

alagmamGynccip

Beginner2022-02-25Added 4 answers

I do not understand your confusion about the size of the matrix. If you fix a basis (to avoid confusion), the map is given as i=1mO(1)eii=1mOvi, where ei,vi are just place holders. A map from O(1)eiOvj is given by a linear form (possibly zero) lij. Thus, you get m2 linear forms lij given by an m×m matrix.
For the latter part, notice that determinant of this matrix is a homogeneous polynomial F of degree rd. At any point f0,E=0 and thus the matrix must be non-singular there. This says, the only ' factor of F is f and by degree considerations, F is fr up to a non-zero constant.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?