Skip to content
Preprint

Residual finiteness and cuspidal cohomology of Picard modular surfaces

Sep 2026 · 0 citations · 20 references
Mathematics

Abstract

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 $\Gamma$ for which $$H^1_{\mathrm{cusp}}(\Gamma\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 residual-finiteness result. Residual finiteness also yields multiplier systems of arbitrary denominator on suitable finite-index subgroups.

View source

Similar papers

Preprint Aug 2026

Sharp Summability of Nevanlinna Defects for Finite-Lower-Order Holomorphic Curves

For a countable family of hyperplanes $H_j\subset \mathbb{P}^m$, $j\in\mathbb{N}$, in general position and a linearly nondegenerate holomorphic curve $f\colon \mathbb{C}\to \mathbb{P}^m$ of finite lower order, we prove that the Nevanlinna defects $\delta_f(H_j)$ satisfy $$ \sum_{j=1}^{\infty}\delta_f(H_j)^{1/3}<\infty....

Yun Du, Song-Yan Xie · 0 citations
Preprint Aug 2026

Exceptional covers of the projective line with genus-one Galois closure: arithmetic forms over finite fields

Let $k=\mathbb F_q$. We classify, up to two-sided $k$-M\"obius equivalence, all separable indecomposable tame exceptional maps $\mathbf P^1_k\to\mathbf P^1_k$ whose geometric Galois closure has genus one. The resulting arithmetic fixed-field forms are encoded by Frobenius-stable affine elliptic quotient data recovered...

Xiang Fan · 1 citation
Preprint Sep 2026

An integral Hyodo--Kato isomorphism

Let $\mathscr{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$, and let $\mathfrak{X}$ be a proper formal scheme over $\mathscr{O}_K$ with semistable reduction. Answering a question of Fontaine and Jannsen, a classical theorem of Hyodo and Kato gives a rational identification between the log...

F. Binda, S. Saito · 0 citations
Preprint Sep 2026

Superconnections, descent, and monodromy on transversely holomorphic foliations

Let $X$ carry a transversely holomorphic foliation, equivalently an elliptic involutive structure $V\subset T_{\mathbb C}X$, and let ${\mathcal O}_V$ be its sheaf of leafwise-constant, transversely holomorphic functions. We construct a finite superconnection model for the derived category of coherent ${\mathcal O}_V$-m...

Qing-Yun Zeng · 0 citations
Preprint Sep 2026

Holomorphic curves of finite lower order with few inflection points

We prove a conjecture proposed by the first-named author in 1998. Let $f\colon\mathbb{C}\to\mathbb{P}^n$ be a transcendental linearly non-degenerate holomorphic curve of finite lower order. If the counting function $N_1(r,f)$ of its Wronskian zeros satisfies $N_1(r,f)=o(T(r,f))$, then its order and lower order coincide...

Alexandre Eremenko, Zhang Teng · 0 citations
Preprint Aug 2026

Rigidity of the period map up to finite covers

We first give a complete classification of bi-affine representations of mapping class groups of surfaces with finitely many boundary components or punctures. We also show that every linear representation of the mapping class group of a genus-$g$ surface with two boundary components of dimension at most $3g-3$ is bi-aff...

Xiyan Zhong · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.