Flach system of Jacquet-Langlands type and quaternionic period

Haining Wang
2023-04-06
Abstract:In this article, we study the adjoint Selmer group of a modular form that admits a Jacquet-Langlands transfer to a modular form on a definite quaternion algebra. We show that this Selmer group has length given by the valuation of the Petersson norm of the quaternionic modular form. Our proof is based on an Euler system argument first used by Flach in his study for the adjoint Selmer group of an elliptic curve by producing elements in the motivic cohomology of the product of two Shimura curves. However our construction does not involve Siegel modular units which make it more adaptable to study adjoint motives coming from products of higher dimensional Shimura varieties.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
### The problems the paper attempts to solve This paper aims to study and solve the problem of the length of the adjoint Selmer group related to the Jacquet - Langlands transfer of modular forms. Specifically, the author explores whether the length of the adjoint Selmer group can be described by a specific Petersson norm when a modular form \( f \) can be transferred to a modular form \( f^\dagger \) defined on a definite quaternion algebra through the Jacquet - Langlands correspondence. ### Main conclusions The main conclusion of the paper is to prove that the length of the adjoint Selmer group \( H^1_f(\mathbb{Q}, \text{Ad}^0(M_\rho)) \) is equal to \( \nu=\text{ord}_\lambda(P(f^\dagger)) \), where \( P(f^\dagger) \) is the Petersson norm of the quaternion modular form \( f^\dagger \), that is, the so - called quaternionic period. This result shows that the size of the adjoint Selmer group can be precisely controlled by the quaternionic period. ### Solutions To solve this problem, the author adopts the method of Flach systems and combines it with the arithmetic level - raising technique. The specific steps are as follows: 1. **Construct Flach elements**: The author constructs a class of objects called Flach elements, which are located in the motivic cohomology groups of certain products of Shimura curves. 2. **Analyze local behavior**: Map Flach elements to Galois cohomology groups through the Abel - Jacobi mapping and analyze their local behavior at different places (especially at the prime number \( p \)). 3. **Apply Euler system argument**: Use the argument method of Euler systems and combine local conditions to finally prove that the length of the adjoint Selmer group is determined by the quaternionic period. ### Formula summary The key formulas involved in the paper include: - Petersson norm: \[ P(f^\dagger)=\langle f^\dagger, f^\dagger \rangle \] - Length of Selmer group: \[ \text{length}(H^1_f(\mathbb{Q}, \text{Ad}^0(M_\rho))) = \nu=\text{ord}_\lambda(P(f^\dagger)) \] ### Significance of the conclusion This result not only deepens the understanding of the adjoint Selmer group but also provides new tools and methods for studying the automorphic representations of higher - dimensional Shimura varieties. In addition, it verifies the importance of the quaternionic period in the congruence of modular forms and lays the foundation for further research. ### References The paper cites a large number of classic literatures in related fields, such as the work of Flach, the work of Weston, and the Taylor - Wiles method, etc., ensuring the rigor and innovation of the argument.