Congruences of Galois representations attached to effective $A$-motives over global function fields

Yoshiaki Okumura
2023-07-04
Abstract:This article investigates congruences of $\mathfrak{p}$-adic representations arising from effective $A$-motives defined over a global function field $K$. We give a criterion for two congruent $\mathfrak{p}$-adic representations coming from strongly semi-stable effective $A$-motives to be isomorphic up to semi-simplification when restricted to decomposition groups of suitable places of $K$. This is a function field analog of Ozeki-Taguchi's criterion for $\ell$-adic representations of number fields. Motivated by a non-existence conjecture on abelian varieties over number fields stated by Rasmussen and Tamagawa, we also show that there exist no strongly semi-stable effective $A$-motives with some constrained.
Number Theory
What problem does this paper attempt to address?
This paper aims to explore the congruence relations between \(p\)-adic representations arising from effective \(A\)-motives defined over the global function field \(K\). Specifically, the author gives a criterion for two \(p\)-adic representations arising from strongly semistable effective \(A\)-motives to be isomorphic in the semisimplified form when restricted to the decomposition group at some suitable places of \(K\). This is a function - field analogue of the Ozeki - Taguchi criterion for \(\ell\)-adic representations over number fields. In addition, inspired by the non - existence conjecture of abelian varieties over number fields proposed by Rasmussen and Tamagawa, the author also proves that under certain conditions, there are no strongly semistable effective \(A\)-motives with specific constraints. ### Main problems solved in the paper: 1. **Congruence relations and isomorphisms**: - The author studies whether the congruence relation \(V_v\equiv_{ss}V'_v\ (\text{mod }p)\) of two \(p\)-adic representations \(V\) and \(V'\) at a place \(v\) can imply their isomorphism in the semisimplified form \(V_v\simeq_{ss}V'_v\). - This problem has been studied by Ozeki and Taguchi for \(\ell\)-adic representations over number fields, and this paper generalizes it to \(p\)-adic representations over function fields. 2. **Non - existence results**: - Inspired by the non - existence conjecture of abelian varieties over number fields by Rasmussen and Tamagawa, the author proves that under certain conditions, there are no strongly semistable effective \(A\)-motives with specific constraints. - Specifically, if \(M\) is an effective \(A\)-motive and its \(p\)-adic Tate module \(V_pM\) has the "residual Borel" property at some places, then such \(M\) does not exist when \(d_p\) is large enough. ### Main results: 1. **Criterion for congruence relations**: - Theorem 1.2 gives sufficient conditions for two \(p\)-adic representations to be isomorphic in the semisimplified form under certain conditions. Specifically, if \(V_pM\) and \(V_pM'\) satisfy the congruence relations \(V_pM|_{G_v}\equiv_{ss}V_pM'|_{G_v}\ (\text{mod }p)\) and \(V_pM|_{G_u}\equiv_{ss}V_pM'|_{G_u}\ (\text{mod }p)\) at two different places \(v\) and \(u\), then it can be deduced that \(V_pM|_{G_v}\simeq_{ss}V_pM'|_{G_v}\). 2. **Non - existence results**: - Theorem 1.3 proves that when \(d_p\) is large enough, there are no strongly semistable effective \(A\)-motives with specific constraints. These constraints include that there is at least one Weil weight that is non - integral, and \(V_pM\) has the "residual Borel" property at some places. ### Mathematical background: - **\(A\)-motives**: An \(A\)-motive is an algebraic object and can be regarded as an analogue of abelian varieties over function fields. It consists of a locally free \(A_K\)-module \(M\) and an \(A_K\)-homomorphism \(\tau_M\). - **\(p\)-adic representations**: The \(p\)-adic representations derived from \(A\)-motives are finite - dimensional \(Q_p\)-vector spaces under the action of \(G_K\). - **Congruence relations**: The congruence relation between two \(p\)-adic representations at a place means that their semisimplified forms are isomorphic modulo \(p\). - **Hodge - Pink weights**: Similar to Hodge - Tate weights, Hodge - Pink weights describe \(A\)-motives.