# Is the moduli space of stable vector bundles over a smooth projective curve fano?

Let $K$ be a field of characteristic zero but not algebraically closed. Let $C$ be a smooth projective curve over $K$. Let $r, d$ be two positive integers that are coprime. Consider the moduli space of stable vector bundles of degree $d$ and rank $r$ over $C$ with fixed determinantal line bundle. Is it fano? If so could someone suggest a reference for this fact.

• This isn't even the case over $\mathbb{C}$. For genus 1 curves Atiyah showed that this is isomorphic to the curve itself (an elliptic curve). For other genus curves you could take $r=1$ so that it is $Pic^d(C)$.
– Matt
Commented Sep 20, 2013 at 21:29
• The OP probably wanted to consider the moduli space where the determinant line bundle is fixed. Commented Sep 21, 2013 at 2:32

Actually Drezet and Narasimhan prove that the canonical class is (-2n) times the positive generator of the Picard group, where n = g.c.d (r,d). Hence the moduli space (with fixed determinant) is Fano.

Yes, if $g > 1$, it is Fano because its Picard group (over algebraic closure, and hence over K) is isomorphic to $\mathbb{Z}$. You can find the needed references , for example, in Drezet and Narasimhan, Invent. Math. 97 (1989), no. 1, 53–94.

• I'm confused. Why do you say that Picard number 1 implies it is Fano? A K3 surface can have $\mathbb{Z}$ for a Picard group. Commented Sep 21, 2013 at 3:53
• @Jim Bryan: It is easy to see that the moduli space (with fixed determinant bundle) is unirational.
– naf
Commented Sep 21, 2013 at 7:12
• @ulrich: Does unirational imply Fano?
– Chen
Commented Sep 21, 2013 at 9:15
• @Chen: Unirationality and Picard number 1 does.
– naf
Commented Sep 21, 2013 at 9:41
• @Chen:(This assumes that we're in characteristic zero. Otherwise the statement is not true.) If $X$ is unirational, then $K_X$ cannot be trivial or even torsion. If the Picard number is one, then any such divisor is either ample or negative ample. Again if $X$ is unirational, then $K_X$ cannot be ample. So $-K_X$ is ample, and hence $X$ is Fano. (If the Picard group is $\mathbb Z$, then you don't even need to worry about torsion.) Commented Sep 21, 2013 at 23:54