The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm {GL}_2$. Here, we use ‘hyperendoscopy’ techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler–Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard and Taïbi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet–Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$.

The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being ‘regular’. A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series.

We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.

Lapid and Mao formulated a conjecture on an explicit formula of Whittaker–Fourier coefficients of automorphic forms on quasi-split reductive groups and metaplectic groups as an analogue of the Ichino–Ikeda conjecture. They also showed that this conjecture is reduced to a certain local identity in the case of unitary groups. In this article, we study the even unitary-group case. Indeed, we prove this local identity over p-adic fields. Further, we prove an equivalence between this local identity and a refined formal degree conjecture over any local field of characteristic zero. As a consequence, we prove a refined formal degree conjecture over p-adic fields and get an explicit formula of Whittaker–Fourier coefficients under certain assumptions.

In this paper, we prove a conjecture of Wei Zhang on comparison of certain local relative characters from which we draw some consequences for the Ichino–Ikeda conjecture for unitary groups.

We develop a derivative version of the relative trace formula on $\text{PGL}\left( 2 \right)$ studied in our previous work, and derive an asymptotic formula of an average of central values (derivatives) of automorphic $L$-functions for Hilbert cusp forms. As an application, we prove the existence of Hilbert cusp forms with non-vanishing central values (derivatives) such that the absolute degrees of their Hecke fields are arbitrarily large.

This paper proves two results on the field of rationality $\mathbb{Q}({\it\pi})$ for an automorphic representation ${\it\pi}$, which is the subfield of $\mathbb{C}$ fixed under the subgroup of $\text{Aut}(\mathbb{C})$ stabilizing the isomorphism class of the finite part of ${\it\pi}$. For general linear groups and classical groups, our first main result is the finiteness of the set of discrete automorphic representations ${\it\pi}$ such that ${\it\pi}$ is unramified away from a fixed finite set of places, ${\it\pi}_{\infty }$ has a fixed infinitesimal character, and $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ is bounded. The second main result is that for classical groups, $[\mathbb{Q}({\it\pi}):\mathbb{Q}]$ grows to infinity in a family of automorphic representations in level aspect whose infinite components are discrete series in a fixed $L$-packet under mild conditions.

In this paper we generalize the work of Harris–Soudry–Taylor and construct the compatible systems of two-dimensional Galois representations attached to cuspidal automorphic representations of cohomological type on ${\rm GL}_2$ over a CM field with a suitable condition on their central characters. We also prove a local-global compatibility statement, up to semi-simplification.

In a paper by Badulescu [Global Jacquet–Langlands correspondence, multiplicity one and classification of automorphic representations, Invent. Math. 172 (2008), 383–438], results on the global Jacquet–Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field were established, under the assumption that the local inner forms are split at archimedean places. In this paper, we extend the main local results of that article to archimedean places so that the above condition can be removed. Along the way, we collect several results about the unitary dual of general linear groups over ℝ, ℂ or ℍ which are of independent interest.

Let $\pi$ be a generic irreducible representation of either a symplectic group or a split special even orthogonal group over a local field of characteristic zero. We prove that $\varepsilon(\frac12,\pi,\psi)=\pi(-1)$.

This is the first of three articles designed to stabilize the global trace formula. The results apply to any group for which the fundamental lemma (and its variants for weighted orbital integrals) is valid. The main purpose of this paper is to establish a series of expansions that are parallel to the expansions in the trace formula. We shall also formulate the local and global theorems required to interpret the terms in these expansions. The proofs of the theorems will be given in the subsequent two articles. The expansions of this paper will then yield both a stable trace formula, and a decomposition of the ordinary trace formula into a linear combination of stable trace formulae.

AMS 2000 Mathematics subject classification: Primary 22E55. Secondary 11R39

We will construct a finite union of finite quotients of the affine building of the group $\text{G}{{\text{L}}_{3}}$ over the field of $p$-adic numbers ${{\mathbb{Q}}_{p}}$. We will view this object as a hypergraph and estimate the spectrum of its underlying graph.

Given an irreducible, modular, mod p representation p, we analyse the local components at p of newforms f which give rise to it.