Abelian varieties and Riemann surfaces with generalized quaternion group action (Q6103328)

The generalized quaternion group, denoted by \(Q(2^n)\), is defined by generators and relations as \[ \langle x,y\ |\ x^{2^{n-1}}, y^2x^{2^{n-2}}, yxy^{-1}x \rangle,\quad \text{for }n \geq 3. \] In case \(n=3\), this is the usual quaternion group of order \(8\). In the paper under review, the authors study abelian varieties admitting the group \(Q(2^n)\) as an automorphism group. First of all, they obtain isogeny decompositions of those abelian varieties (Theorem 1), compute the dimension of the factors (Proposition 1), and obtain conditions that imply that the decomposition is non-trivial (Theorem 2). Then, they study this question on Jacobians, and as a particular case, on Riemann surfaces on which the group \(Q(2^n)\) has a genus-zero action. Theorem 3 provides the signature of that genus-zero action. In this setting, a special study is made of Riemann surfaces having \(Q(2^n)\) as an automorphism group acting by a triangle action. \textit{R. Hidalgo} and \textit{S. Quispe} proved in [J. Pure Appl. Algebra 224, no. 5, Article ID 106242, 9p. (2020; Zbl. 1436.14050)] that for each \(n\) there exists a unique such Riemann surface, which is hyperelliptic. Also, they classified the zero-dimensional families of surfaces with an automorphism group isomorphic to \(Q(2^n)\). Here, the authors obtain in Theorem 4 the \(n+1\) one-dimensional families of Riemann surfaces having \(Q(2^n)\) as an automorphism group. Then, they study for each of them whether \(Q(2^n)\) is the full automorphism group of the surface, or else the action extends to a larger group, and whether the surface is hyperelliptic (Theorem 5 and Proposition 2). It is worth to note that a special consideration is made in Section 4.9 concerning the classical quaternion group \(Q(2^3)\).