Different ways to construct maps and the tensor products of line bundles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:10:10Z http://mathoverflow.net/feeds/question/54317 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54317/different-ways-to-construct-maps-and-the-tensor-products-of-line-bundles Different ways to construct maps and the tensor products of line bundles Charles Siegel 2011-02-04T14:35:42Z 2011-02-05T08:41:53Z <p>Let $C$ be a curve. Then I know of two ways to create morphisms. To get morphisms <i>from</i> $C$, take a line bundle of any degree $L$ and use the linear system it determines to get a map into projective space, which may or may not be injective, so you get a map to another curve. To get a morphism <i>to</i> $C$, a particular case is to take a line bundle $\mu$ of order 2, which gives us a curve $\tilde{C}$ as a double cover of $C$.</p> <p>How do these two methods interact? For instance, given a curve $C$, and the tower $\tilde{C}\to C\to \bar{C}$ with the first map given as a double cover by $\mu$, and the second map given by a line bundle $L$, presumably the geometry of this tower is connected to the line bundle $L\otimes\mu$, but it's not obvious to me how to connect the two notions to get any actual information.</p> http://mathoverflow.net/questions/54317/different-ways-to-construct-maps-and-the-tensor-products-of-line-bundles/54358#54358 Answer by Francesco Polizzi for Different ways to construct maps and the tensor products of line bundles Francesco Polizzi 2011-02-04T20:19:17Z 2011-02-05T08:41:53Z <p>A possible answer is the following. Assume </p> <p>$h^0(L)=n, \quad h^0(L \otimes \mu)=m$,</p> <p>set</p> <p>$\phi \colon \tilde{C} \to C, \quad \psi \colon C \to \bar{C} \subset \mathbb{P}^{n-1}$</p> <p>and let $f=\psi \circ \phi \colon \tilde{C} \to \mathbb{P}^{n-1}$ be the composition.</p> <p>Then $f^*\mathcal{O}_{P^n}(1)=\phi^*L$. On the other hand, by projection formula we have</p> <p>$h^0(\phi^*L)=h^0(L) + h^0(L \otimes \mu)=n+m$,</p> <p>and this shows that the <em>complete</em> linear system <code>$|\phi^*L|$</code> induces a map $g \colon \tilde{C} \to \mathbb{P}^{n+m-1}$. Moreover, the map $f$ is obtained by composing $g$ with the projection from the linear subspace <code>$\mathbb{P}^{m-1} \subset \mathbb{P}^{n+m-1}$</code> corresponding to the natural inclusion <code>$\phi^* H^0(L \otimes \mu) \subset H^0(\phi^*L)$</code>.</p> <p>The easiest example is perhaps the following. Assume that $C$ is a genus $2$ curve and take $L=K_C$. Then $\bar{C}=\mathbb{P}^1$, $\tilde{C}$ is a hyperelliptic (this can be proven) genus $3$ curve and <code>$\phi^*L=K_{\tilde{C}}$</code>. We have</p> <p>$h^0(L)=2, \quad h^0(L \otimes \mu)=1$</p> <p>and the map $g \colon \tilde{C} \to \mathbb{P}^2$ is precisely the canonical map of $\tilde{C}$, which is a double cover of a conic $D \subset \mathbb{P}^2$. The map $f \colon \tilde{C} \to \mathbb{P}^1$ is a quadruple cover, obtained by composing $g$ with the projection of $D$ from the point in $\mathbb{P}^2$ corresponding to the non-zero section of $L \otimes \mu$.</p>