The moduli space of representations of the modular group into $G_2$

TL;DR

This paper constructs a large family of non-rigid representations of the modular group into G_2, revealing new structures in the moduli space and providing algebraic conditions for surjectivity onto G_2 over finite fields.

Contribution

It introduces a 4-dimensional family of non-rigid G_2 representations of the modular group and analyzes their properties and surjectivity conditions.

Findings

Constructed a 4-dimensional family of representations

Identified algebraic conditions for surjectivity onto G_2(F_p)

Connected these representations to phi-congruence subgroups

Abstract

In this paper we construct a large four-dimensional family of representations of the modular group into $G_2$. Precisely, this family is an etale cover of degree $96$ of an open subset of the moduli space of such representations. This moduli space has two main components, of dimensions one and four. The one-dimensional component consists of well-studied rigid representations, in the sense of Katz. We focus on the four-dimensional component which consists of representations that are not rigid. We also provide algebraic conditions to ensure that the specializations surject onto $G_2(\mathbf{F}_p)$ for primes $p\geq 5$. These representations give new examples of $\phi$-congruence subgroups of the modular group as introduced in previous work.