Delphi.science

Residual finiteness and cuspidal cohomology of Picard modular surfaces

Richard M. Hill

arXivarxiv/2609.07639Sep 7, 2026math.NTscore 0

We prove that, for every non-uniform arithmetic lattice in $\mathrm{SU}(2,1)$, its inverse images in the universal cover and in all connected finite covers are residually finite. The key new input is that every commensurability class of such lattices contains a congruence arithmetic lattice $Γ$ for which $$H^1_{\mathrm{cusp}}(Γ\backslash\mathbb B^2,\mathbb C)\ne 0.$$ In particular, the first inner cohomology of this ball quotient is non-zero. The proof uses Rogawski's endoscopic classification for $\mathrm{U}(3)$. A cohomological criterion proved previously by the author then gives the…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.07639
curl -X POST /api/v1/records/arxiv/2609.07639/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.07639/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'