The discriminant formula for the invariant εΓ(X)

Let Γ\Gamma be a Fuchsian group, let Σ\Sigma be a double coset of Γ\Gamma, and let XX be a Γ\Gamma-conjugacy class contained in Σ\Sigma. For MXM\in X, define the discriminant of the associated quadratic form by

Δ(M)=tr2M4detM,\Delta(M)=\operatorname{tr}^2 M-4\det M,

and let ΓM\Gamma_M be the centralizer of MM in Γ\Gamma. Let χ(Γ)\chi(\Gamma) be the Euler characteristic defined in the source. The discriminant formula. For any representative MXM\in X,

εΓ(X)={sgnΔ(M)ΓMχ(Γ)\varepsilon_\Gamma(X)=\begin{cases} -\dfrac{\operatorname{sgn}\Delta(M)}{|\Gamma_M|}\\ -\chi(\Gamma) \end{cases}

where the cases are as specified by the source. This conjectural formula would give an explicit description of the invariants entering the trace formula for Hecke operators on Fuchsian groups; the supplied text does not state whether it has been proved or remains open.

Sources & referencesView supporting material

Primary source

Alexandru A. Popa, “A trace formula for Hecke operators on Fuchsian groups”, arXiv:2306.10396 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.