Corestriction of central simple algebras and families of Mumford-type (Q1848124)

From the introducton: A family of Mumford-type is a 1-dimensional family of polarized abelian fourfolds as defined by \textit{D. Mumford} [Math. Ann. 181, 345-351 (1969; Zbl 0169.23301)]. The generic fibers of these families gave the first example of abelian varieties not characterized by their endomorphism algebra and having a ``small'' Mumford-Tate group. More precisely, their Mumford-Tate group is smaller than the one of the generic abelian fourfold. \textit{M. Kuga} proved the Hodge conjecture for such varieties [J. Fac. Sci., Univ. Tokyo, Sect. I A 29, 13-29 (1982; Zbl 0491.14003); 2.2.2] and Hazama showed that there are exceptional classes in \(H^4(X \times X)\), if \(X\) denotes such a variety [see \textit{F. Hazama}, J. Fac. Sci., Univ. Tokyo, Sect. IA 31, 487-520 (1984; Zbl 0591.14006); 5.2]. The Hodge conjecture for a product of varieties of Mumford-type is still unknown. Nevertheless, their Hodge structure can be investigated studying the representations of their Mumford-Tate groups. In this paper we present, for the first time, explicit examples of such families. To do this, we look at the original definition of Mumford trying to make it explicit. We write an abelian variety of complex dimension \(g\) as \((V,\Lambda,J,E)\), where \(V\cong \mathbb{Q}^{2g}\) and \(\Lambda,J,E\) are the lattice, the complex structure and the polarization, respectively. The construction of the family starts from a quaternion algebra \(A\) over a real cubic field such that the corestriction of \(A\) is isomorphic to \(M_8 (\mathbb{Q})\). We assume some extra conditions on the algebra \(A\). In this way we can give the data \((V,\Lambda, J,E)\) for a fiber in a family of Mumford-type. Then, we construct families with a certain given fourfold of CM-type as a fiber. Finally, we give a family of Mumford-type having as a CM-fiber the variety \(Y\times C\) where \(Y\) is the Jacobian of the hyperelliptic curve defined by \(y^2=x^7-1\) and \(C\) is an elliptic curve of CM-type with \(\text{End}^0 (C)= \mathbb{Q} (\sqrt{-7})\). These results could be a starting point for studying the geometry of such varieties in details.