4
$\begingroup$

Let $X$ be a non-singular complex algebraic variety (say quasi-projective if necessary) and $L$ a line bundle on $X$. Let $$Z:=L-\{\text{zero-section}\}.$$ What is the relationship between regular functions on $Z$ and the ring $$R:=\bigoplus_kH^0(X,L^k)?$$ The sentence "relating $R$ to the regular functions on $Z$'' is used in [1] and I'm not sure what it means.

[1] P. Heinzner, A. Huckleberry, Kählerian structures on symplectic reductions. Complex analysis and algebraic geometry, 225–253, de Gruyter, Berlin, 2000.

$\endgroup$
3
  • $\begingroup$ In a lot of cases I think $\bigoplus_kH^0(X,L^k)$ is much closer to "functions on the affine cone over $X$" (this is true for instance when $L$ is very ample and defines a projectively normal embedding). $\endgroup$ Feb 16, 2018 at 16:18
  • 2
    $\begingroup$ The map $\pi:Z\to X$ is affine and there is a canonical isomorphism $\pi_* \mathcal{O}_Z \cong \bigoplus_{k\in\mathbf{Z}} L^k$. Taking $H^0$ gives you the desired formula, but remember that the sum is over $k\in\mathbf{Z}$. $\endgroup$ Feb 16, 2018 at 16:29
  • $\begingroup$ @PiotrAchinger That's very useful; thank you. This is probably very basic, but do you know a reference which discusses this? I'd like to understand the proof. $\endgroup$
    – user120870
    Feb 16, 2018 at 16:47

1 Answer 1

2
$\begingroup$

The relation between the two is that they agree, but actually more can be said. The variety $Z$ in your notation is naturally a $\mathbb{G}_m$ torsor over $X$, so that there is a free action of the multiplicative group on the total space $Z$ of this torsor. The equation $\Gamma(Z, \mathcal{O}_Z) \cong \oplus_k H^0(X,L^k)$ is then an isomorphism of graded rings ,where the right hand side is graded by $-k$ and the left hand side by the grading induced from the $\mathbb{G}_m$-action. Explicitly, the $k$-th piece on the left hand side consist of functions $f$ on $Z$ such that $f(tx) = t^k f(x)$ for $t \in \mathbb{G}_m$.

To see why this isomorphism holds, one only has to identify fucntions on $Z$ which are homogeneous of degree $k$ with $L^{-k}$. For $k = 1$ this follows from the more or less tautological fact that linear functionals (i.e. homogeneous functions of degree 1) along the fibers of $L$ agree with sections of $L^* = L^{-1}$. The rest of the $k$-s are similar, just note that unctions which are homogeneous of degree $k$ along the fibers form the sections of a line bundle, and that locally each such function is a product of $k$ functions of degree 1.

$\endgroup$
2
  • $\begingroup$ Is it true also that the subring $\Gamma(L,\mathcal{O}_L)$ can be identified with $\bigoplus_{k=0}^\infty H^0(X,L^{-k})$? $\endgroup$
    – user120870
    Feb 18, 2018 at 7:35
  • $\begingroup$ @user120870 Yes, that should be true too. $\endgroup$
    – Asvin
    Feb 18, 2018 at 12:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.