Let $N \in \mathbb{N}$, and let $Q \Vert N$ be a prime power dividing $N$ and such that $(Q,N/Q)=1$.

Let $x,y,z,t \in \Z$ be such that the determinant of \[ w_Q=\left( \begin{matrix} Qx & y \\ Nz & Qt\end{matrix} \right) \] is $Q$. Then $w_Q$ defines an involution $W_Q$ of the modular curve $X_0(N)$ which does not depend on the choice of $x,y,z$ and $t$. Equivalently, $w_Q$ acts by conjugation on $\Gamma_0(N)$.

This involution commutes with the Hecke operators, and so any eigenform for these operators is also an eigenform for $W_Q$, with eigenvalue $\pm 1$.

If a cusp of $\Gamma_0(N)$ is of the form $Q/N$ and $\mathrm{gcd}(Q,N/Q)=1$ we can choose an Aktkin-Lehner map $W_Q$ as a cusp-normalizing map for this cusp, that is $W_Q(\infty)=Q/N$. If $h$ denotes the width of the cusp $\frac{Q}{N}$ then $W_Q T^h W_{Q}^{-1}$ is a generator of the stabilizer of $\frac{Q}{N}$ in $\Gamma_{0}(N)$.

**Knowl status:**

- Review status: reviewed
- Last edited by David Farmer on 2019-04-28 22:17:49

**Referred to by:**

- cmf.atkin_lehner_dims
- cmf.atkinlehner
- cmf.fricke
- lmfdb/classical_modular_forms/templates/cmf_space.html (line 136)
- lmfdb/modular_forms/maass_forms/maass_waveforms/views/mwf_main.py (line 298)
- lmfdb/modular_forms/maass_forms/maass_waveforms/views/mwf_main.py (line 464)
- lmfdb/modular_forms/maass_forms/maass_waveforms/views/templates/mwf_browse_all_eigenvalues.html (line 45)

**History:**(expand/hide all)

- 2019-04-28 22:17:49 by David Farmer (Reviewed)
- 2018-10-03 15:27:16 by David Roe (Reviewed)

**Differences**(show/hide)