This article is cited in 2 papers

On automorphic forms of small weight for fake projective planes

Sergey Galkin^abc, Ilya Karzhemanov^d, Evgeny Shinder<sup>eb

a</sup> PUC-Rio, Departamento de Matemática, Rua Marquês de São Vicente 225, Gávea, Rio de Janeiro
^b HSE University
^c Independent University of Moscow
^d Laboratory of AGHA, Moscow Institute of Physics and Technology, 9 Institutskiy per., Dolgoprudny, Moscow Region, 141701, Russia
^e School of Mathematics and Statistics, University of Sheffield, The Hicks Building, Hounsfield Road, Sheffield, S3 7RH, United Kingdom

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, 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.

Key words and phrases: fake projective planes, automorphic forms, exceptional collections.

MSC: 14J29, 32N15, 14F06

Language: English

DOI: 10.17323/1609-4514-2023-23-1-97-111