What problem does this paper attempt to address?

The main problem that this paper attempts to solve is related to the Prime Geodesic Theorem in Arithmetic Progressions. Specifically, the authors studied the problem of whether the traces of closed geodesics on the modular surface are uniformly distributed in the reduced residue classes modulo a given modulus, and solved the conjecture proposed by Golovchanskiĭ–Smotrov in 1999. ### Description of the Main Problem 1. **Background Introduction**: - The Prime Geodesic Theorem is about the asymptotic estimation problem of the counting function of oriented primitive closed geodesics on hyperbolic manifolds. For a specific Fuchsian group \(\Gamma \subset PSL_2(\mathbb{R})\), this problem has attracted wide attention from number theorists. - A closed geodesic \(P\) on the modular surface \(\Gamma \backslash \mathbb{H}\) is in one - to - one correspondence with the hyperbolic conjugacy classes in \(\Gamma\), and its length is \(\log N(P)\), where \(N(P)\) is the norm of the conjugacy class. 2. **Core Problem**: - The authors studied the distribution of the traces of closed geodesics on the modular surface in the reduced residue classes modulo a given modulus. They proved that these traces are not uniformly distributed in the reduced residue classes and can explicitly determine this non - uniform distribution. 3. **Main Results**: - The core result of the paper is Theorem 1.1, which shows that in the reduced residue classes modulo \(p\), the main term of the counting function \(\Psi_\Gamma(x; p, a)\) of prime geodesics depends on the residue class \(a\ \text{mod}\ p\). The specific formula is as follows: \[ \Psi_\Gamma(x; p, a) = \begin{cases} \frac{1}{p - 1}\cdot x+O_{\varepsilon}(x^{\frac{3}{4}+\frac{\vartheta}{2}+\varepsilon}) & \text{if }\left(\frac{a^2 - 4}{p}\right)=1, \\ \frac{1}{p + 1}\cdot x+O_{\varepsilon}(x^{\frac{3}{4}+\frac{\vartheta}{2}+\varepsilon}) & \text{if }\left(\frac{a^2 - 4}{p}\right)= - 1, \\ \frac{p}{p^2 - 1}\cdot x+O_{p,\varepsilon}(x^{\frac{3}{4}+\frac{\vartheta}{2}+\varepsilon}) & \text{if }\left(\frac{a^2 - 4}{p}\right)=0, \end{cases} \] where \(\vartheta\) is the sub - convex exponent of the quadratic Dirichlet L - function. ### Problems Solved Through the above results, the authors not only verified the Golovchanskiĭ–Smotrov conjecture, but also provided the specific form of the non - uniform distribution of prime geodesics in arithmetic progressions. This provides an important theoretical basis for further understanding the distribution characteristics of prime geodesics.

The Prime Geodesic Theorem in Arithmetic Progressions

The Prime Geodesic Theorem and Bounds for Character Sums

Primes in arithmetic progressions to spaced moduli.III

Prime geodesic theorem and closed geodesics for large genus

Refinements to the prime number theorem for arithmetic progressions

Arithmetic Restrictions on Geometric Monodromy

Products of primes in arithmetic progressions

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Linear constellations in primes with arithmetic restrictions

Windings of prime geodesics

Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

Arithmetic modular links

On refinements of rank one Gallagherian prime geodesic theorems

Ordinary primes in Hilbert modular varieties

On the existence of products of primes in arithmetic progressions

Prime polynomials in short intervals and in arithmetic progressions

Geometric G-functions and Atypicality

Primes in short arithmetic progressions

On Telhcirid's theorem on arithmetic progressions

Prime Hasse principles via Diophantine second moments

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points