4
$\begingroup$

Suppose V is a two-dimensional vector space.

According to Harris' "Algebraic Geometry", p.118 the vectors in $\mathbb{P}(\operatorname{Sym}^2(V))$ of the form $v\cdot v$ are supposed to be exactly the elements of $v_2(\mathbb{P}^1)$, which is the image of the quadratic Veronese map.

However, I fail to see this correspondence. If I take basis vectors $v_1, v_2$ of V and suppose that $v=\lambda_1v_1 + \lambda_2v_2$, wouldn't $v\cdot v$ just be equal to

$\lambda_1^2(v_1\cdot v_1) + 2\lambda_1\lambda_2(v_1\cdot v_2)+\lambda_2^2(v_2\cdot v_2)$ in $\operatorname{Sym}^2(V)$,

and thus correspond to $[\lambda_1^2:2\lambda_1\lambda_2:\lambda_2^2]$ in homogeneous coordinates (which is not in the image of $v_2$)?

I assume that I have either just miscalculated or severely misunderstood some central concept. Either way, I'd be grateful for some help.

  • 1
    I ran into this same issue some time ago. The only way I could think of to resolve it was to say that the image of the vectors $v \cdot v$ is *isomorphic* to the image of the Veronese map, but not equal to it. You have to compose the map you give with the map $[x:y:z] \mapsto [x:y/2:z]$ to get the image of the quadratic Veronese. The same is true for higher degree Veronese maps ($v \cdot v \cdot \ldots \cdot v$ in $\mathbb{P}(Sym^n(V))$ is isomorphic to $v_n(\mathbb{P}^1))$, but you have to follow the obvious map with a linear map involving multinomial coefficients.2011-10-22
  • 0
    That sounds reasonable. I guess I was expecting a "stronger" form of isomorphy between the two sets, but this should be enough to prove the whole point of this paragraph ($PGL_2(K)$ being the automorphism group the quadratic veronese). Thanks!2011-10-22
  • 1
    In characteristic zero at least, the Veronese map should be defined by the map $[v] \mapsto [v \cdot v]$ and so you should have all the multinomial coefficients running around. Since rescaling coordinates does not have any geometric effect, it is customary to lazily but harmlessly drop the multinomial coefficients when coordinatizing the natural map $[v] \mapsto [v \cdot v]$.2011-10-22

0 Answers 0