An infinite family of 2-groups with mixed Beauville structures

TL;DR

This paper constructs an infinite family of 2-groups with mixed Beauville structures, demonstrating new examples of such groups and analyzing the properties of the associated Beauville surfaces.

Contribution

It introduces the first known infinite family of 2-groups with mixed Beauville structures and studies their geometric properties.

Findings

Infinite family of 2-groups with mixed Beauville structures

Existence of real Beauville surface for certain groups

Non-biholomorphic conjugate surfaces for other groups

Abstract

We construct an infinite family of triples $(G_k,H_k,T_k)$, where $G_k$ are 2-groups of increasing order, $H_k$ are index-2 subgroups of $G_k$, and $T_k$ are pairs of generators of $H_k$. We show that the triples $u_k = (G_k,H_k,T_k)$ are mixed Beauville structures if $k$ is not a power of 2. This is the first known infinite family of 2-groups admitting mixed Beauville structures. Moreover, the associated Beauville surface $S(u_3)$ is real and, for $k > 3$ not a power of 2, the Beauville surface $S(u_k)$ is not biholomorphic to $\bar{S(u_k)}$.