Abstract:We study the characters induced by suitable level structures of abelian varieties with quaternionic multiplication following the methods of Mazur, Momose, who studied the characters induced by elliptic curves, and Arai--Momose, who studied the characters induced by abelian surfaces with quaternionic multiplication. Also using results on such characters we show that Shimura varieties parametrizing them have rarely rational points.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper mainly studies the problem of rational points on Shimura varieties associated with abelian varieties with quaternion multiplication. Specifically, by studying the characteristics induced by abelian varieties with quaternion multiplication and appropriate level structures, the author explores the existence of rational points on these Shimura varieties.
#### Background and motivation
1. **Research on modular curves**:
- In 1977, Mazur [Maz77] studied that for a sufficiently large positive integer \( N \), the modular curve \( X_1(N) \) (which classifies elliptic curves with \( \Gamma_1(N) \) - level structure) has no non - cusp \( \mathbb{Q} \)-rational points.
- Later, many authors carried out similar research on larger number fields. For example, Kenku - Momose [KM88] and Kamienny [Kam92] studied quadratic number fields, and Merel [Mer96] studied number fields of any given degree.
2. **Different generalizations**:
- In 1978, Mazur [Maz78] studied that for a sufficiently large prime \( p \), the modular curve \( X_0(p) \) (which classifies elliptic curves with \( \Gamma_0(p) \) - level structure) has no non - cusp \( \mathbb{Q} \)-rational points.
- Momose [Mom95] generalized this result to quadratic number fields that are not imaginary quadratic number fields with class number 1.
3. **Shimura varieties**:
- Modular curves can be regarded as Shimura varieties associated with the algebraic group \( GL_2/\mathbb{Q} \), which is one of the most classical and simple Shimura varieties.
- By replacing \( GL_2/\mathbb{Q} \) with the algebraic group induced by the unit group of an indefinite quaternion algebra \( B \), we obtain certain types of Shimura varieties, called Shimura curves.
#### Main contributions
In this paper, the author generalizes the above results to more general situations:
- **Generalization over totally real fields**: Let \( F \) be a totally real field of degree \( d \), \( B \) be a totally indefinite division quaternion algebra over \( F \), and \( p_F \) be a prime ideal of \( F \) that does not divide the discriminant of \( B/\mathbb{Q} \). Let \( M_B^i(p_F) \) (\( i = 0 \) or \( 1 \)) be the Shimura variety associated with \( B \) of level \( \Gamma_i(p_F) \), which is a \( d \)-dimensional normal projective variety over \( Q \) and classifies QM - abelian varieties with \( * \)-polarization and \( \Gamma_i(p_F) \) - level structure.
- **Existence of rational points**: The author proves that for a certain type of number field \( k \) and many prime ideals \( p_F \), \( M_B^i(p_F) \) has no rational points over \( k \). This is achieved by studying the local behavior of Galois characters induced by QM - abelian varieties with \( \Gamma_0(p_F) \) - level structure.
#### Main conclusions
- **Theorem 1.1**: Let \( k \) be a finite extension of \( \mathbb{Q}_\ell \) with inertia degree \( f \). Then there exists a finite set \( V(\ell^f) \) of prime ideals of \( F \) depending only on \( \ell, f \) and \( F \), such that for each \( p_F\notin V(\ell^f)\cup Ram(B/F) \), we have \( M_B^1(p_F)(k)=\emptyset \).
- **Theorem 1.2**: Let \( \ell \) be a rational...