# Dimension of Prym variety of cover

I am reading the article by Lawrence and Venkatesh on diophantine problems and $$p-$$adic period mappings. At page $$35$$ they say that the dimension of the Prym variety of an (unramified) cover of curves $$C_1' \to C_2$$ of degree $$q$$ is

$$(2g-1) \cdot \frac{q-1}{2},$$

where $$g$$ is the genus of $$C_2$$. The Prym variety is defined as $$\text{coker}(\text{Pic}^0(C_2) \to \text{Pic}^0(C_1')).$$

Riemann-Hurwitz tells us that the genus of $$C_1'$$ is

$$g' = q(g-1)+1.$$ Since the cover is surjective, I expected the map of Jacobians to be injective (is this true?). If that is the case, the dimension of the cokernel should be just the difference of the dimensions of the Jacobians, which are just the genera of the curves:

$$g'-g=(q-1)(g-1).$$

This is off by $$\frac{q-1}{2}$$ with respect to the correct dimension. What am I doing wrong?

• Check the ramification index $e_P$ at the (only) point of ramification – Stanley Yao Xiao Jun 28 at 16:39
• @StanleyYaoXiao Thanks for the remark! But why can I only have one element in the ramified fiber? Is it because $q$ is prime? But the cover $C_1' \to C_2$ is not Galois, even away from the ramification... – 57Jimmy Jun 28 at 16:51
• I don't think that's the reason... they constructed the covers to have only one point of ramification. This can always be done, by the work of Fulton (see: jstor.org/stable/1970748?seq=1#page_scan_tab_contents) – Stanley Yao Xiao Jun 28 at 16:54
• @StanleyYaoXiao Thanks for the explanation, but it's still not completely clear to me: by Riemann-Hurwitz, the number of points in the ramified fiber determines the genus, so what do you mean by "this can always be done"? Here we consider all Aff(q)-covers branched at a single point, so also those that have more than one point in the fiber, and then take a non-Galois subcover of order $q$ by quotienting $\mathbb{F}_q^*$, right? – 57Jimmy Jun 28 at 17:03