3
$\begingroup$

Let $R(X,Y) \in \text{Mat}_{d,d+1}(\mathbb{C}[X,Y]_{(1)})$ be a $d \times (d+1)$-matrix valued in linear forms $\mathbb{C}[X,Y]_{(1)}:= \{aX+bY \ \vert \ a,b \in \Bbb C \}$.
Let denote $v_j(X,Y)$ its $j$-th column $d$-vector, and $R_j(X,Y) \in \text{Mat}_{d,d}(\mathbb{C}[X,Y]_{(1)})$ obtained from $R(X,Y)$ by discarding the $j$-th column vector $v_j(X,Y)$.

Assume that that $R(X,Y)$ has "pointwise rank $d$" in the sense that for every $\lambda:= (\lambda_0,\lambda_1) \in \Bbb C^2$ the evaluated $R(\lambda):= R(X,Y)(\lambda)$ in $(X,Y)= (\lambda_0,\lambda_1)$ has rank $d$.

[ Assume that moreover $R(X,Y)$ cannot be transformed via $\Bbb C$-valued row- and column operations into matrix having at least one zero column (note that after evaluation at any specific $\lambda \in \Bbb C^2$ the matrix $R(\lambda) \in \text{Mat}_{d,d+1}(\Bbb{C})$ can always betransformed in such form, but only after having specialized $(X,Y)$ to specific $\lambda$) ; as Jack Huizenga remarked, this bared "assumption" is redundant as this is an immediate consequence of the "pointwise rank $d$ assumption" on $R(X,Y)$.]

Question: Does this "pointwise rank $d$ assumption" already imply that for every $j \in 1,..., d+1$ the determinant $\det R_j(X,Y) $ - which is by construction a $d$-homogenous polynomial in $X,Y$ - is not a zero polynomial? So the question is why this cannot happen here under above assumptions;
Note that as we are over $\Bbb C$ every $d$-homogeneous polynomial $\det R_j(X,Y) $ admits homogeneous zeroes - and my concern is to exclude that accidientally some $\det R_j(X,Y) $ might actually be zero polynomial.

Note that a priori that $R(\lambda)$ has rank $d$ a priori tells that only some maximal minor $R_j(\lambda)$ has rank $d$ and which one(s) depends on concrete $\lambda$. My feeling says the imposed conditions above make $R(X,Y)$ "generic" enough such that for every $j \in 1,..., d+1$ the determinant $\det R_j(X,Y) $ is non zero, but I cannot show it formally.

Geometric picture: This should serve as linear algebra explanation why the construction Dolgachev gave in CAG on page 150 is a non-degenerated curve.

Added after Jack Huizenga's answer: Is it possible to argue using only "elementary methods", ie only linear algebra & properties of polynomials without invoking tools from sheaf theory?
The claim also appears in Harris' First Course on AG (see Ex. 1.24, 1.25), so it suggests that this problem can be approached with "elementary" methods.

$\endgroup$

1 Answer 1

2
$\begingroup$

The assumption that $R(X,Y)$ is pointwise rank $d$ in fact implies your assumption about row and column operations. If after row and column operations you can get the final column to be zero, then the leading $d\times d$ matrix must have rank $d$ at every point. But its determinant is a polynomial with plenty of roots over $\mathbb{C}$.

We can also see that if $R(X,Y)$ has pointwise rank $d$ everywhere then each of the maximal minors of $R(X,Y)$ are nonzero. The matrix $R(X,Y)$ gives a map of vector bundles on $\mathbb{P}^1$

$$\mathcal{O}(-1)^{d} \to \mathcal{O}^{d+1}.$$

The assumption that the map has pointwise rank $d$ everywhere means that this map is injective and the cokernel is a line bundle, which must be $\mathcal{O}(d)$ by Chern class considerations. In the exact sequence

$$0\to \mathcal{O}(-1)^{d}\to \mathcal{O}^{d+1}\to \mathcal{O}(d)\to 0,$$

the entries of the matrix giving the map $\mathcal{O}^{d+1}\to \mathcal{O}(d)$ are essentially the minors of the matrix $R(X,Y)$. (This is basically Cramer's rule.) If one of them was zero, then the kernel of this map would have to have a factor of $\mathcal{O}$, but it doesn't. Thus each of the maximal minors is nonzero.

$\endgroup$
6
  • $\begingroup$ a couple of points I would like clarify: (1) Where you wrote that $O(d)$ is the cokernel of $R(X,Y)$ ("promoted" to sheaf level map wth global sections as entries) follows "by Chern class considerations": to be more concretely, you refer there to algebr version of Whitney sum formula & its compblty with direct sums, right? (2) Secondly, on the sheaf theoretic argument: The kernel of right map of the ses is $O(-1)^{d+1}$, so it cannot contain a factor $O$ more concretely by uniqueness given by Grothendieck-Birkhoff Thm describing bundles over $\Bbb P^1$, that's the argument, right? $\endgroup$
    – user267839
    Commented Jul 14 at 23:39
  • $\begingroup$ The part I would like still to understand better, is if it possible to give an argument that in the above situation if $R(X,Y)$ has pntwise rank $d$ as above, then every its maxim minor is a nonzero polyn in $X,Y$ using elementary considerations (linear algbra & properties of polynomials ovr $\Bbb C$) without invoking sheaf theortic methods (appearing to be a bit overkill; this problem appears also in Harris' [First Course on AG][1] as Exer. 1.24, resp 1.25, so I'm pretty sure that there should be an "elementary" argument on the nose to see this, but haven't figured it out. Do you see it? $\endgroup$
    – user267839
    Commented Jul 14 at 23:40
  • $\begingroup$ Note, that the question can be phrased equivalently as: Let $\Omega(Z)$ be \begin{pmatrix} L_1 & L_2 & ... & L_d \\ M_1 & M_2 & ... & M_d\\ \end{pmatrix} be a $2 \times d$ matrix of homog linear forms $L_i(Z), M_j(Z) $ in vars $Z_0, Z_1,..., Z_n $ on $\mathbb{P}^d(\Bbb C)$ satisfying the condition that for all $[\lambda_0: \lambda_1] \in \mathbb{P}^1$ the linear forms $\lambda_0 L_1+ \lambda_1 M_1, ..., \lambda_0 L_d+ \lambda_1 M_d$ are linearly independent. $\endgroup$
    – user267839
    Commented Jul 14 at 23:40
  • $\begingroup$ It's immediately that this is equivalent to that it is not possible to obtain from $\Omega$ a new matrix $\Omega'$ by elementary row- & column operations which has somewhere a zero entry. But, the question is if this is also somehow immediately to see that the latter characterization as that $\Omega$ beeing not conjugable to matrix with some zero entries imply that the locus in $\Bbb P^1$ where $\Omega$ ras rank $1$ cannot be contained in a hyperplane. (The connection to above is just that the coefficients of $X L_j+ Y M_j$ wrt to $Z_0,..., Z_d$ corresponds to $j$-th row of $R(X,Y)$) $\endgroup$
    – user267839
    Commented Jul 14 at 23:41
  • $\begingroup$ ... add to above comment the link to Harris' book $\endgroup$
    – user267839
    Commented Jul 14 at 23:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .