Abstract:We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our statement also enables a new proof of Shimura's reciprocity law by Tonghai Yang.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: to give an explicit version of Shimura's reciprocity law for finding small class invariants of quartic CM - fields and to provide a new proof method for Shimura's reciprocity law. Specifically:
1. **Explicit Shimura's reciprocity law**: The author gives an explicit version of Shimura's reciprocity law, which is applicable to Siegel modular functions of singular values. This explicit version enables the systematic search for class invariants through ideals and ray class groups instead of idele class groups.
2. **Finding small class invariants**: Using this explicit reciprocity law, the author finds the first example of a small class invariant of a quartic CM - field. These class invariants are smaller than Igusa invariants and are therefore more computationally efficient.
3. **New proof method**: The author's work also inspired Tonghai Yang's new proof method for Shimura's reciprocity law.
### Specific problem description
- **Background and motivation**:
- The values of the modular function \( j \) on the imaginary quadratic number \( \tau \) generate the abelian extension of the imaginary quadratic field \( K=\mathbb{Q}(\tau) \).
- These values \( j(\tau) \) can be used for explicit calculations of Hilbert class fields, the number of points on elliptic curves, etc., but their heights are very large, which limits their effectiveness in practical applications.
- Therefore, researchers consider using other modular functions \( f \), hoping to find values with smaller heights as class invariants to improve computational efficiency.
- **Objective**:
- To give an explicit version of Shimura's reciprocity law in order to systematically search for class invariants.
- To use these class invariants to accelerate the application of high - dimensional CM methods, such as hyperelliptic curve cryptography and general analytic construction of class fields.
### Main results
- **Theorem 2.4**: For a given primitive CM point \( \tau = \tau(\Phi, b, \xi, B)\in\mathcal{H}_g \), a positive integer \( N \), and a function \( f\in F_N \) that does not have \( \tau \) as a pole, \( f(\tau) \) lies in the ray class field of the reflex field \( K_r \).
- For any fractional ideal \( a\in I(NF) \), if \( [a] \) is the class of \( a \) in the ray class group modulo \( NF \), then \( f(\tau)[a] \) can be given in the following way:
- Choose a symplectic basis \( C \) with respect to \( E_{N(a)}\xi \) and \( \tau'=\tau(\Phi, N_{\Phi_r, O}(a)^{-1}b, N(a)\xi, C) \).
- Calculate \( M:=[1]_C^B\in GSp_{2g}(\mathbb{Q})^+ \), where \( \nu(M) = N(a)^{-1} \) and \( M \) is invertible modulo \( N \).
- Calculate \( U:=(M\bmod N)^{-1}\in GSp_{2g}(\mathbb{Z}/N\mathbb{Z}) \), then we have:
\[
f(\tau)[a]=f_U(M\tau)=f_U(\tau').
\]
- **Theorem 2.5**: The extension \( H(N)/K_r \) is abelian, and its Galois group is isomorphic to the quotient group \( I(NF)/H_{\Phi, O}(N) \) through the Artin isomorphism.
- **Theorem 2.9**: For any \( a\in I(NF)\cap H_{\Phi, O}(1) \), we have:
\[
f(\tau)[a]=f[\mu]_B^B(\tau).
\]