On automorphic forms of small weight for fake projective planes

TL;DR

This paper proves that certain automorphic line bundles on fake projective planes are acyclic, confirming a conjecture and employing representation theory of non-abelian finite groups for the proofs.

Contribution

It provides two short proofs that specific line bundles on fake projective planes are acyclic, advancing understanding of their geometric and automorphic properties.

Findings

Proof that cubic roots of the canonical bundle are acyclic on fake projective planes.

Demonstration of vanishing of odd Betti numbers for certain abelian covers.

Confirmation of the conjecture regarding acyclicity of these line bundles.

Abstract

On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique, otherwise). Earlier we conjectured that any such cubic root must be acyclic. In the present note we give two short proofs of this statement and show acyclicity of some other line bundles on the fake projective planes with at least $9$ automorphisms. Similarly to our earlier work we employ simple representation theory for non-abelian finite groups. The first proof is based on the observation that if some line bundle is non-linearizable with respect to a finite abelian group, then it should be linearized by a finite, \emph{non-abelian}, Heisenberg group. For the second proof, we also demonstrate vanishing of odd Betti numbers for a class of abelian covers, and use linearization of an auxiliary line bundle as well.