On the Mumford-Tate conjecture for abelian varieties (Q1817431)

The following result is well known [proved by \textit{J.-P. Serre}, see \textit{W. Chi}, Am. J. Math. 114, No. 2, 315-353 (1992; Zbl 0795.14024)]. Let \(J\) be a simple abelian variety over a number field \(k\). If \(\dim_kJ\) is an odd integer and \(\text{End} (J\otimes k)= \mathbb{Z}\), then the Hodge, Tate, and Mumford-Tate conjectures hold for \(J\). We want to extend the Serre theorem to the area of even dimensions. We prove the Mumford-Tate conjecture for an absolutely simple abelian variety \(J\) of nonexceptioal dimension over a number field \(k\) under the following assumption: \(J\) has many ordinary reductions \(\text{Cent(End} (J\otimes \overline k)) =\mathbb{Z}\) \((\dim_k J=2 \pmod 4\) and \(\text{End} (J\otimes \overline k)= \mathbb{Z})\) or \((\dim_k J=4 \pmod 8\) and \(\text{End}^0 (J\otimes k)\) is a quaternion division algebra over \(\mathbb{Q})\).