The distribution of the multiplicative index of algebraic numbers over residue classes

Pieter Moree,Antonella Perucca,Pietro Sgobba

DOI: https://doi.org/10.1007/s12188-024-00276-2

2024-04-11

Abstract:Let $K$ be a number field and $G$ a finitely generated torsion-free subgroup of $K^\times$. Given a prime $\mathfrak p$ of $K$ we denote by ${\rm ind}_{\mathfrak p}(G)$ the index of the subgroup $(G\bmod\mathfrak p)$ of the multiplicative group of the residue field at $\mathfrak p$. Under the Generalized Riemann Hypothesis we determine the natural density of primes of $K$ for which this index is in a prescribed set $S$ and has prescribed Frobenius in a finite Galois extension $F$ of $K$. We study in detail the natural density in case $S$ is an arithmetic progression, in particular its positivity.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the distribution of multiplicative exponents of algebraic numbers in residue classes. Specifically, the authors explored the multiplicative exponents in a specific set \(S\) and the natural density of primes with prescribed Frobenius elements in a finite Galois extension \(F\) under the Generalized Riemann Hypothesis (GRH).

### Specific description of the problem

1. **Research background**:
- Early research was initiated by Pappalardi in 1995. He studied the distribution of multiplicative exponents of integers and provided an asymptotic formula under GRH.
- Subsequent researchers such as Felix and Murty continued to explore this problem in depth and generalized it to higher - rank cases.

2. **Core problem**:
- The core problem of the paper is to determine the probability (i.e., natural density) that for a prime ideal \(p\) of a number field \(K\), given a finitely generated torsion - free subgroup \(G\subseteq K^{\times}\), the multiplicative exponent \(\text{ind}_p(G)\) modulo \(p\) belongs to a certain set \(S\) and has a prescribed Frobenius element.
- The authors are particularly interested in the natural density and its positivity when \(S\) is an arithmetic progression.

3. **Main results**:
- Under GRH, the authors proved the existence of the natural density of prime ideals \(p\) satisfying the above conditions and gave a specific expression.
- For the case where \(S\) is an arithmetic progression \(a\ \text{mod}\ d\), they further expressed the natural density as a linear combination of at most \(\phi(d') - 1\) Artin - type constants, where \(d'=d / \gcd(a, d)\).

4. **Applications and significance**:
- These results not only extend previous research but also provide a new perspective for understanding the distribution of multiplicative exponents of algebraic numbers.
- Through numerical calculations and experimental verification, the authors demonstrated the validity and practicality of these theoretical results.

### Main formulas

- Expression for natural density:
\[
\text{dens}_G(a,d)=\sum_{\chi\in G_{d'}}d_{\chi}B_{\chi}(r)
\]
where \(d_{\chi}\) are explicit complex numbers and \(B_{\chi}(r)\) are Artin - type constants.

- Definition of Artin - type constant \(B_{\chi}(r)\):
\[
B_{\chi}(r)=\prod_p\left(1+\frac{p(\chi(p)-1)}{(p - 1)(p^{r+1}-\chi(p))}\right)
\]

- In the special case when \(S\) is an arithmetic progression \(a\ \text{mod}\ d\):
\[
\rho(a,d)=\sum_{t\equiv a\ \text{mod}\ d}\sum_{v\geq1}\frac{\mu(v)}{v t\phi(v t)}
\]

By solving these problems, the authors provided an important tool for the field of algebraic number theory, which is helpful for further studying the multiplicative properties of algebraic numbers and their distribution in different residue classes.