An effective closing lemma for unipotent flows
We prove an effective closing lemma for unipotent flows on quotients of perfect real groups. This is largely motivated by recent developments in effective unipotent dynamics.
math.DS↗
arXiv subjects
Gregory Margulis
Publications and source records attributed to Gregory Margulis.
Quantitative behavior of unipotent flows and an effective avoidance principle
We give an effective bound on how much time orbits of a unipotent group $U$ on an arithmetic quotient $G/Γ$ can stay near homogeneous subvarieties of $G /Γ$ corresponding to $\mathbb Q$-subgroups of $G$. In particular, we show that if such a $U$-orbit is moderately near a proper homogeneous subvariety of $G/Γ$ for a long time it is very near a different homogeneous subvariety. Our work builds upon the linearization method of Dani and Margulis. Our motivation in developing these bounds is in order to prove quantitative density statements about unipotent orbits, which we plan to pursue in a subsequent paper. New qualitative implications of our effective bounds are also given.
math.DS↗
Closed geodesics and holonomies for Kleinian manifolds
For a rank one Lie group G and a Zariski dense and geometrically finite subgroup $Γ$ of G, we establish equidistribution of holonomy classes about closed geodesics for the associated locally symmetric space. Our result is given in a quantitative form for real hyperbolic geometrically finite manifolds whose critical exponents are big enough. In the case when G=PSL(2, C), our results can be interpreted as the equidistribution of eigenvalues of $Γ$ in the complex plane. When $Γ$ is a lattice, this result was proved by Sarnak and Wakayama in 1999.
math.DS↗
Distribution of Values of Quadratic Forms at Integral Points
The number of lattice points in $d$-dimensional hyperbolic or elliptic shells $\{m : a<Q[m]<b\}$, which are restricted to rescaled and growing domains $r\;Ω$, is approximated by the volume. An effective error bound of order $o(r^{d-2})$ for this approximation is proved based on Diophantine approximation properties of the quadratic form $Q$. These results allow to show effective variants of previous non-effective results in the quantitative Oppenheim problem and extend known effective results in dimension $d \geq 9$ to dimension $d \geq 5$. They apply to wide shells when $b-a$ is growing with $r$ and to positive definite forms $Q$. For indefinite forms they provide explicit bounds (depending on the signature or Diophantine properties of $Q$) for the size of non-zero integral points $m$ in dimension $d\geq 5$ solving the Diophantine inequality $|Q[m]| < \varepsilon$ and provide error bounds comparable with those for positive forms up to powers of $\log r$.
math.NT↗
Effective discreteness radius of stabilisers for stationary actions
We prove an effective variant of the Kazhdan-Margulis theorem generalized to stationary actions of semisimple groups over local fields: the probability that the stabilizer of a random point admits a non-trivial intersection with a small $r$-neighborhood of the identity is at most $βr^δ$ for some explicit constants $β, δ> 0$ depending only the group. This is a consequence of a key convolution inequality. We deduce that vanishing at infinity of injectivity radius implies finiteness of volume. Further applications are the compactness of the space of discrete stationary random subgroups and a novel proof of the fact that all lattices in semisimple groups are weakly cocompact.
math.GR↗
Arithmeticity of hyperbolic 3-manifolds containing infinitely many totally geodesic surfaces
We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.
math.GT↗
Effective equidistribution and property tau
We prove a quantitative equidistribution statement for adelic homogeneous subsets whose stabilizer is maximal and semisimple. Fixing the ambient space, the statement is uniform in all parameters. We explain how this implies certain equidistribution theorems which, even in a qualitative form, are not accessible to measure-classification theorems. As another application, we describe another proof of property tau for arithmetic groups.
math.NT↗
Values of Random Polynomials at Integer Points
Using classical results of Rogers bounding the $L^2$-norm of Siegel transforms, we give bounds on the heights of approximate integral solutions of quadratic equations and error terms in the quantiative Oppenheim theorem of Eskin-Margulis-Mozes for almost every quadratic form. Further applications yield quantitative information on the distribution of values of random polynomials at integral points.
math.NT↗
Distance-like functions and smooth approximations: a correction to "Logarithm laws for flows on homogeneous spaces"
One of the propositions in the paper [D. Kleinbock and G.A. Margulis, Logarithm laws for flows on homogeneous spaces, Invent. Math. 138 (1999), 451-494] related to approximating certain sets by smooth functions, was recently found to be incorrect. Here we correct the mistake.
math.DS↗
Logarithm Laws for Unipotent Flows, II
We prove analogs of the logarithm laws of Sullivan and Kleinbock-Margulis in the context of unipotent flows. In particular, we prove results for horospherical actions on homogeneous spaces $G/Γ$. We describe some relations with multi-dimensional diophantine approximation.
math.DS↗
Non-planarity and metric Diophantine approximation for systems of linear forms
In this paper we develop a general theory of metric Diophantine approximation for systems of linear forms. A new notion of `weak non-planarity' of manifolds and more generally measures on the space of $m\times n$ matrices over $\Bbb R$ is introduced and studied. This notion generalises the one of non-planarity in $\Bbb R^n$ and is used to establish strong (Diophantine) extremality of manifolds and measures. The notion of weak non-planarity is shown to be `near optimal' in a certain sense. Beyond the above main theme of the paper, we also develop a corresponding theory of inhomogeneous and weighted Diophantine approximation. In particular, we extend the recent inhomogeneous transference results due to Beresnevich and Velani and use them to bring the inhomogeneous theory in balance with its homogeneous counterpart.
math.NT↗
The Auslander conjecture for dimension less than 7
In 1967 L. Auslander conjectured that every crystallographic subgroup of an affine group is virtually solvable, i.e. contains a solvable subgroup of finite index. D. Fried and W. Goldman proved Auslander's conjecture for affine space of dimension 3 using cohomological arguments. Using dynamical arguments we prove the Auslander conjecture for dimension less than 7.
math.GR↗
Metric Diophantine approximation for systems of linear forms via dynamics
The goal of this paper is to generalize the main results of [KM] and subsequent papers on metric Diophantine approximation with dependent quantities to the set-up of systems of linear forms. In particular, we establish `joint strong extremality' of arbitrary finite collection of smooth nondegenerate submanifolds of ${\bold R}^n$. The proofs are based on generalized quantitative nondivergence estimates for translates of measures on the space of lattices.
math.NT↗
Proper affine actions and geodesic flows of hyperbolic surfaces
We give necessary and sufficient conditions for an affine deformation of a Schottky subgroup of O(2,1) to act properly on affine space. There exists a real-valued biaffine map between the cohomology of the Schottky group and the space of geodesic currents on the corresponding hyperbolic surface S. For a fixed cohomology class, this map is uniformly positive or uniformly negative on the space of geodesic currents if and only if the corresponding affine deformation is proper. As a corollary, the deformation space of proper affine deformations is an open convex cone.
math.DG↗
Local rigidity of affine actions of higher rank groups and lattices
Let $J$ be a semisimple Lie group with all simple factors of real rank at least two. Let $Γ<J$ be a lattice. We prove a very general local rigidity result about actions of $J$ or $Γ$. This shows that almost all so-called "standard actions" are locally rigid. As a special case, we see that any action of $Γ$ by toral automorphisms is locally rigid. More generally, given a manifold $M$ on which $Γ$ acts isometrically and a torus $\Ta^n$ on which it acts by automorphisms, we show that the diagonal action on $\Ta^n{\times}M$ is locally rigid. This paper is the culmination of a series of papers and depends heavily on our work in \cite{FM1,FM2}. The reader willing to accept the main results of those papers as "black boxes" should be able to read the present paper without referring to them.
math.DS↗
Flows on homogeneous spaces and Diophantine approximation on manifolds
We present a new approach to metric Diophantine approximation on manifolds based on the correspondence between approximation properties of numbers and orbit properties of certain flows on homogeneous spaces. This approach yields a new proof of a conjecture of Mahler, originally settled by V. Sprindzhuk in 1964. We also prove several related hypotheses of A. Baker and V. Sprindzhuk formulated in 1970s. The core of the proof is a theorem which generalizes and sharpens earlier results on non-divergence of unipotent flows on the space of lattices.
math.NT↗