Hyperbolic hypergeometric monodromy groups and geometric finiteness

Abstract

The subject of this thesis is hyperbolic hypergeometric monodromy groups. I studied the monodromy groups H(α,β) for nFn−1 hypergeometric differential equation Du=0, where D=(θ+β1−1)⋯(θ+βn−1)−z(θ+α1)⋯(θ+αn) and θ=zddz,α,β∈Qn. H(α,β) is generated by the local monodromies A,B,C which correspond to 0,1,∞ respectively. Let G is the zariski closure of H(α,β). In the self-dual case, G is either finite, Sp(n), or O(n). I focus on G orthogonal and of signature (n−1,1) over R. The first result is that the odd hyperbolic hypergeometric monodromy groups H(α,β) are of infinite index in G(Z). In this case H(α,β) is called 'thin', which is equivalent to saying that the fundamental domain has infinite volume. It was shown that there are three families of odd hyperbolic hypergeometric monodromy groups, and we show that H(α,β) is thin for all but one case by showing that a finite index subgroup of H(α,β) is commensurable with a reflection subgroup of an infinite index subgroup of G(Z). In the remaining case, I used an algorithm from \cite{FMS} to show that the fundamental domain for a finite index reflection subgroup of H(α,β) is thin. This covers the second chapter. In the third chapter, I investigated the full reflection subgroup of G(Z), the 2-reflection subgroup containing all 2-reflections, and H(α,β). When Γ be one of them, I looked at limit set Λ(Γ), the exponent of divergence δ(Γ) of the Poincare series, and the bottom of the spectrum of the Laplacian on L2(Γ∖Hn−1). The second result is 'geometric finiteness' for discrete groups generated by finitely many reflections, which means its fundamental domain has finitely many faces. It follows that H(α,β)'s which were shown to be thin in \cite{FMS} and in the second chapter are not only thin, but have 'sparse' limit sets. In the last chapter, the first example for which the monodromy group is geometrically finite and thin is given. I found a fundamental domain using numerical computation, and showed that it is the fundamental domain for H(α,β) using Poincare's polyhedron theorem.