Constants for Artin like problems in Kummer and division fields

Amir Akbary,Milad Fakhari

2024-04-07

Abstract:We apply the character sums method of Lenstra, Moree, and Stevenhagen, to explicitly compute the constants in the Titchmarsh divisor problem for Kummer fields and for division fields of Serre curves. We derive our results as special cases of a general result on the product expressions for the sums in the form $$\sum_{n=1}^{\infty}\frac{g(n)}{\#G(n)}$$ in which $g(n)$ is a multiplicative arithmetic function and $\{G(n)\}$ is a certain family of Galois groups. Our results extend the application of the character sums method to the evaluation of constants, such as the Titchmarsh divisor constants, that are not density constants.

Mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate constants similar to the Artin problem in the Kummer field and the fraction field of Serre curves. Specifically, the author applies the character sum method proposed by Lenstra, Moree and Stevenhagen to explicitly calculate the constants in the Titchmarsh divisor problem.

### Problem Background

1. **Artin Conjecture**:
- Emil Artin proposed a conjecture in 1927 about the density of prime numbers \( q \) such that a given integer \( a \) becomes a primitive root modulo \( q \). Specifically, Artin conjectured that this density is:
\[
A_a = \prod_{p \text{ prime}} \left(1 - \frac{1}{[Q(\zeta_p, a^{1/p}) : Q]}\right)
\]
where \(\zeta_p\) is the \( p \)-th root of unity.

2. **Correction Factor**:
- To deal with the dependence between splitting conditions in the Kummer field, Artin introduced an entanglement correction factor, especially when \( a \equiv 1 \pmod{4} \). The corrected density is:
\[
\delta_a =
\begin{cases}
A_a & \text{if } a \not\equiv 1 \pmod{4}, \\
E_a \cdot A_a & \text{if } a \equiv 1 \pmod{4},
\end{cases}
\]
where
\[
E_a = 1 - \mu(|a|) \prod_{p \mid h} \left(1 - \frac{1}{p^2}\right) \prod_{p \nmid h} \left(1 - \frac{1}{p(p - 1)}\right).
\]

3. **Titchmarsh Divisor Problem**:
- The Titchmarsh divisor problem focuses on the behavior of certain arithmetic functions on prime numbers. For example, for the Kummer family \( K_n = Q(\zeta_n, a^{1/n}) \), consider the function \( \tau(a; p) \), that is, the number of times \( p \) completely splits in \( K_n/Q \).

### Main Contributions of the Paper

- **Generalization to General Multiplicative Functions**:
- The author generalizes the character sum method to more general multiplicative functions \( g(n) \), so that a wider range of Artin - like problems can be dealt with.

- **Explicit Formula**:
- Provides an explicit formula for calculating infinite series involving the order of Galois groups, such as:
\[
\sum_{n = 1}^{\infty} \frac{g(n)}{\# G(n)}
\]
where \( G(n) \) is the Galois group of \( K_n/Q \).

- **Numerical Evaluation**:
- Provides a convenient method for calculating the constants \( c_f,a \) under different \( f \) and studying their vanishing criteria.

### Summary

By introducing new mathematical tools and methods, this paper solves the difficult problem of calculating constants similar to the Artin problem in the Kummer field and the fraction field of Serre curves, and provides explicit calculation formulas, which is helpful for in - depth understanding of the mathematical structures and properties in these fields.