Abstract:In this paper, we relate $L(1,\pi,\mathrm{Ad}^\circ)$ to the congruence ideals for cohomological cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ over any number field. We then use this result to deduce relationships between the congruences of automorphic forms and adjoint $L$-functions. For CM fields, we apply the result to obtain a lower bound on the cardinality of certain Selmer groups in terms of $L(1,\pi,\mathrm{Ad}^\circ)$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the field of number theory, especially regarding the relationships among adjoint L - functions, congruence ideals and Selmer groups. Specifically:
1. **Relationship between adjoint L - functions and congruence ideals**:
The author studied the relationship between the adjoint L - function \( L(1, \pi, \text{Ad}^\circ) \) of a cohomological cuspidal automorphic representation \( \pi \) of \( GL_n \) over any number field and its congruence ideals. The key result here is Theorem 1.1, which shows that under certain conditions, the congruence ideals can be represented by the special values of the adjoint L - function.
2. **Congruence of automorphic forms**:
Through the above relationship, the author further explored the connection between the congruence of automorphic forms and the special values of adjoint L - functions. For example, Theorem 1.2 states that if \( \varpi \) divides \( L^{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon) \), then there exists a discrete automorphic representation \( \pi' \neq \pi \) such that their Hecke eigen - systems are close enough in the p - adic norm.
3. **Relationship between Selmer groups and adjoint L - functions**:
For CM fields, the author applied these results to obtain a lower bound estimate of the cardinality of Selmer groups, which is related to the special values of adjoint L - functions. Specifically, Theorem 1.4 gives an inequality relationship between the cardinality of the Selmer group and the order of \( L^{\text{alg}}(1, \pi, \text{Ad}^\circ) \).
In summary, the main purpose of this paper is to establish and utilize the profound connections among adjoint L - functions, congruence ideals and Selmer groups, thereby providing a new perspective for understanding the arithmetic properties of automorphic representations and contributing to the partial progress of the Bloch - Kato conjecture.
### Key formulas
- Special values of adjoint L - functions: \[ L^{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon) = \iota^{-1}(L(1, \pi, \text{Ad}^\circ)) \div \text{(certain periods)} \]
- Congruence ideals: \[ \eta_{\pi, b, \epsilon} = \eta_{\tilde{\pi}, t, \tilde{\epsilon}} = (L^{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon)) \]
- Cardinality estimate of Selmer groups: \[ \#H^1_S(\text{Ad}\rho \otimes O_E / O) \geq \#(O / L^{\text{alg}}(1, \pi, \text{Ad}^\circ)) \]
These formulas show the close connections among adjoint L - functions, congruence ideals and Selmer groups and are the core content of the paper.