Related papers: A Density Theorem for $\operatorname{Sp}(4)$

Let $\Gamma$ be a nonelementary discrete subgroup of $\mathrm{Sp}(n,1)$. We show that if the trace skew-field of $\Gamma$ is commutative, then $\Gamma$ stabilizes a copy of complex hyperbolic subspace of quaternionic hyperbolic $n$-space.

Let $F$ be an $L^2$-normalized Siegel cusp form for $\mathrm{Sp}_4(\mathbb{Z})$ of weight $k$ that is a Hecke eigenform and not a Saito--Kurokawa lift. Assuming the Generalized Riemann Hypothesis, we prove that its Fourier coefficients…

We calculate the one-level density of thin subfamilies of a family of Hecke cuspforms formed by twisting the forms in a smaller family by a character. The result gives support up to 1, conditional on GRH, and we also find several of the…

Let $n>m\geqslant 1$ be integers with $n+m\geqslant 4$ even. We prove the existence of Maass forms with large sup norms on anisotropic ${\rm O}(n,m)$, by combining a counting argument with a new period relation showing that a certain…

We show that an irreducible cuspidal automorphic representation of the group GSp(4,A), which is not CAP and whose infinite component belongs to the discrete series, is weakly equivalent to an irreducible generic automorphic cuspidal…

The authors establish the fundamental lemma for a relative trace formula. This trace formula compares generic automorphic representations of GSp$(4)$ with automorphic representations of GL$(4)$ which are distinguished with respect to a…

We prove a substantial extension of an inverse spectral theorem of Ambarzumyan, and show that it can be applied to arbitrary compact Riemannian manifolds, compact quantum graphs and finite combinatorial graphs, subject to the imposition of…

A value of a CSP instance is typically defined as a fraction of constraints that can be simultaneously met. We propose an alternative definition of a value of an instance and show that, for purely combinatorial reasons, a value of an…

We prove the density hypothesis for congruence subgroups of an irreducible uniform lattice in $\mathrm{PSL}_2(\mathbb{R})^d$, extending previous results on the spherical density hypothesis to bound multiplicities of non-tempered…

Ruzsa asked whether there exist Fourier-uniform subsets of $\mathbb Z/N\mathbb Z$ with density $\alpha$ and 4-term arithmetic progression (4-AP) density at most $\alpha^C$, for arbitrarily large $C$. Gowers constructed Fourier uniform sets…

Given a surjective endomorphism $f: X \to X$ on a projective variety over a number field, one can define the arithmetic degree $\alpha_f(x)$ of $f$ at a point $x$ in $X$. The Kawaguchi - Silverman Conjecture (KSC) predicts that any forward…

For $n > 2$, let $\Gamma$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq \Gamma$. This forms the main component of our…

For distinct unitary cuspidal automorphic representations $\pi_1$ and $\pi_2$ for $\mathrm{GL}(2)$ over a number field $F$ and any $\alpha\in\Bbb{R}$, let $\mathcal{S}_{\alpha}$ be the set of primes $v$ of $F$ for which…

We consider converses to the density theorem for irreducible, projective, unitary group representations restricted to lattices using the dimension theory of Hilbert modules over twisted group von Neumann algebras. We show that under the…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices…

This paper gives the first quantitative bounds for the inverse theorem for the Gowers $U^4$-norm over $\mathbb{F}_p^n$ when $p=2,3$. We build upon earlier work of Gowers and Mili\'cevi\'c who solved the corresponding problem for $p\geq 5$.…

We prove that any surjective self-morphism with $\delta_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.

We show that a surface group contained in a reductive real algebraic group can be deformed to become Zariski dense, unless its Zariski closure acts transitively on a Hermitian symmetric space of tube type. This is a kind of converse to a…

We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate…