Irene I. Bouw,Duc Khoi Do,Stefan Wewers
Abstract:We study the Weil representation $\rho$ of a curve over a $p$-adic field with potential reduction of compact type. We show that $\rho$ can be reconstructed from its stable reduction. For superelliptic curves of the form $y^n=f(x)$ at primes $p$ whose residue characteristic is prime to the exponent $n$ we make this explicit.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to solve the problem of how to calculate the Weil representation of hyperelliptic curves with potentially compact reduction. Specifically, the author studies the Weil representation of curves defined over p -adic fields and shows how to reconstruct this representation from its stable reduction. For hyperelliptic curves of the form \(y^n = f(x)\), when the characteristic \(p\) does not divide the exponent \(n\), the author gives a specific calculation method.
#### Key points summary:
1. **Reconstruction of Weil representation**:
- The author proves that the Weil representation can be reconstructed through the stable reduction of the curve.
- For a specific type of hyperelliptic curves (i.e., curves of the form \(y^n = f(x)\)), under certain conditions, this reconstruction can be carried out explicitly.
2. **Calculation of local polynomials**:
- Using the results of Dokchitser and Dokchitser, the Weil representation is determined by the local polynomial \(P(\varphi^{-1}, T):=\det(1 - \varphi T|V_\ell)\).
- By calculating the local polynomials corresponding to different Frobenius elements, the specific form of the Weil representation can be determined.
3. **Special treatment of hyperelliptic curves**:
- When the curve is a hyperelliptic curve and has potentially compact reduction, the author describes in detail how to calculate the Weil representation through the stable model.
- In particular, for the case where the exponent \(n\) is coprime to the characteristic \(p\), specific calculation steps are provided.
4. **Application examples**:
- The author applies this method to perform specific calculations on two Picard curves in the paper. These curves have potentially good reduction properties or potentially compact reduction properties.
#### Formula display:
- Definition of Weil representation:
\[
\rho: W_K\rightarrow GL_C(V)
\]
where \(W_K\) is the Weil group and \(V\) is a complex vector space.
- Definition of local polynomial:
\[
P(\varphi^{-1}, T):=\det(1 - \varphi T|V_\ell)
\]
- Action of Frobenius element:
\[
\varphi=\text{Id}_{Y_\varphi}\otimes\text{Frob}_{F_K}
\]
- Equation of hyperelliptic curve:
\[
Y:y^n = f(x),\quad f(x)\in K[x]
\]
Through these methods and formulas, the author provides a systematic method to calculate the Weil representation of hyperelliptic curves, thus solving this complex problem.