Abstract:Using Galois representations attached to elliptic curves, we construct Galois extensions of $\mathbb{Q}$ with group $GL_2(p)$ in which all decomposition groups are cyclic. This is the first such realization for all primes $p$.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to construct Galois extensions with specific properties. Specifically, it is to construct infinitely many locally cyclic Galois extensions whose Galois group is \( \text{GL}_2(p) \), where \( p \) is an arbitrary prime number. This is the first time such a construction has been achieved for all prime numbers \( p \).
### Specific description of the problem
1. **Locally cyclic extensions**: For a Galois extension \( K/k \) of a number field, if the decomposition group at each prime number is a cyclic group, then the extension is called locally cyclic. Such extensions have important applications in algebraic number theory, for example, in solving embedding problems.
2. **Target Galois group**: The goal of the paper is to construct locally cyclic extensions with a Galois group of \( \text{GL}_2(p) \). Previously, examples of infinitely many locally cyclic extensions with non - solvable groups as Galois groups were very limited, especially for groups such as \( \text{GL}_2(p) \).
3. **Main results**: The main result of the paper is to prove that for any prime number \( p\geq5 \), there exist infinitely many locally cyclic Galois extensions whose Galois group is \( \text{GL}_2(p) \). Moreover, these extensions can also be chosen to be pairwise linearly disjoint over \( \mathbb{Q}(\sqrt{p^\star}) \), where \( p^\star = (-1)^{(p - 1)/2}p \).
### Solution methods
The paper solves this problem through the following steps:
1. **Construction of elliptic curves**: Use Galois representations related to elliptic curves to construct elliptic curves with specific properties. In particular, consider semi - stable elliptic curves and analyze the local behavior of their \( p \)-torsion point fields.
2. **Tate curve theory**: Use Tate curve theory to describe the action of the inertia group on the \( p \)-torsion points of the elliptic curve. This allows all \( \text{GL}_2(p) \) groups to be dealt with, not just some special cases.
3. **Theorem of Green and Tao**: Apply the results of Green and Tao on the representation of prime numbers by linear forms to construct the required elliptic curves. This step ensures the existence of infinitely many elliptic curves that satisfy the conditions.
4. **Linear disjointness**: Through the "twisting" technique, further ensure that these extensions are pairwise linearly disjoint over \( \mathbb{Q}(\sqrt{p^\star}) \).
### Conclusion
Through the above methods, the paper successfully constructs infinitely many locally cyclic Galois extensions whose Galois group is \( \text{GL}_2(p) \), and proves that these extensions are pairwise linearly disjoint over \( \mathbb{Q}(\sqrt{p^\star}) \). This result fills the gap in infinitely many locally cyclic extensions with non - solvable groups as Galois groups and has important theoretical significance.