Best possible rates of distribution of dense lattice orbits in homogeneous spaces

The present paper establishes upper and lower bounds on the speed of approximation in a wide range of natural Diophantine approximation problems. The upper and lower bounds coincide in many cases, giving rise to optimal results in Diophantine approximation which were inaccessible previously. Our approach proceeds by establishing, more generally, upper and lower bounds for the rate of distribution of dense orbits of a lattice subgroup $\Gamma$ in a connected Lie (or algebraic) group $G$, acting on suitable homogeneous spaces $G/H$. The upper bound is derived using a quantitative duality principle for homogeneous spaces, reducing it to a rate of convergence in the mean ergodic theorem for a family of averaging operators supported on $H$ and acting on $G/\Gamma$. In particular, the quality of the upper bound on the rate of distribution we obtain is determined explicitly by the spectrum of $H$ in the automorphic representation on $L^2(\Gamma\setminus G)$. We show that the rate is best possible when the representation in question is tempered, and show that the latter condition holds in a wide range of examples

Gr\"obner methods for representations of combinatorial categories

Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a combinatorial criterion for representations of C to admit a theory of Gr\"obner bases. From this, we obtain a criterion for noetherianity of representations. The second gives a combinatorial criterion for a general "rationality" result for Hilbert series of representations of C. This criterion connects to the theory of formal languages, and makes essential use of results on the generating functions of languages, such as the transfer-matrix method and the Chomsky-Sch\"utzenberger theorem. Our work is motivated by recent work in the literature on representations of various specific categories. Our general criteria recover many of the results on these categories that had been proved by ad hoc means, and often yield cleaner proofs and stronger statements. For example: we give a new, more robust, proof that FI-modules (originally introduced by Church-Ellenberg-Farb), and a family of natural generalizations, are noetherian; we give an easy proof of a generalization of the Lannes-Schwartz artinian conjecture from the study of generic representation theory of finite fields; we significantly improve the theory of $\Delta$-modules, introduced by Snowden in connection to syzygies of Segre embeddings; and we establish fundamental properties of twisted commutative algebras in positive characteristic.Comment: 41 pages; v2: Moved old Sections 3.4, 10, 11, 13.2 and connected text to arxiv:1410.6054v1, Section 13.1 removed and will appear elsewhere; v3: substantial revision and reorganization of section