Showing 1–17 of 17 results for author: Aka, M

Seifert surfaces in the four-ball and composition of binary quadratic forms

Authors: Menny Aka, Peter Feller, Alison Beth Miller, Andreas Wieser

Abstract: We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent intere… ▽ More We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent interest. It establishes a new connection between the Bhargava cube and the geometric approach to Gauss composition via planes in the space of two-by-two matrices. In particular, we obtain a geometric recipe that given any two binary quadratic forms finds a Bhargava cube that gives rise to their composition. △ Less

Submitted 10 March, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 29 pages, 2 figures, comments welcome. v4: minor changes

MSC Class: 57K10; 57K45; 11E16; 15A72

Joinings classification and applications [after Einsiedler and Lindenstruass]

Authors: Menny Aka

Abstract: This is the text accompanying my Bourbaki seminar on the work of Einsiedler and Lindenstrauss on joinings. The first five sections surveys their proof of the classification of joinings of higher-rank torus actions on arithmetic quotients of semisimple or perfect algebraic groups. The last section surveys how this classification can be used to tackle arithmetic problems, together with a new applica… ▽ More This is the text accompanying my Bourbaki seminar on the work of Einsiedler and Lindenstrauss on joinings. The first five sections surveys their proof of the classification of joinings of higher-rank torus actions on arithmetic quotients of semisimple or perfect algebraic groups. The last section surveys how this classification can be used to tackle arithmetic problems, together with a new application for higher rank simple groups. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: 59 pages

Equidistribution of rational subspaces and their shapes

Authors: Menny Aka, Andrea Musso, Andreas Wieser

Abstract: To any $k$-dimensional subspace of $\mathbb Q^n$ one can naturally associate a point in the Grassmannian ${\rm Gr}_{n,k}(\mathbb R)$ and two shapes of lattices of rank $k$ and $n-k$ respectively. These lattices originate by intersecting the $k$-dimensional subspace with the lattice $\mathbb Z^n$. Using unipotent dynamics we prove simultaneous equidistribution of all of these objects under a congru… ▽ More To any $k$-dimensional subspace of $\mathbb Q^n$ one can naturally associate a point in the Grassmannian ${\rm Gr}_{n,k}(\mathbb R)$ and two shapes of lattices of rank $k$ and $n-k$ respectively. These lattices originate by intersecting the $k$-dimensional subspace with the lattice $\mathbb Z^n$. Using unipotent dynamics we prove simultaneous equidistribution of all of these objects under a congruence conditions when $(k,n) \neq (2,4)$. △ Less

Submitted 12 June, 2024; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 52 pages

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 2009-2062

Simultaneous supersingular reductions of CM elliptic curves

Authors: Menny Aka, Manuel Luethi, Philippe Michel, Andreas Wieser

Abstract: We study the simultaneous reductions at several supersingular primes of elliptic curves with complex multiplication. We show -- under additional congruence assumptions on the CM order -- that the reductions are surjective (and even become equidistributed) on the product of supersingular loci when the discriminant of the order becomes large. This variant of the equidistribution theorems of Duke and… ▽ More We study the simultaneous reductions at several supersingular primes of elliptic curves with complex multiplication. We show -- under additional congruence assumptions on the CM order -- that the reductions are surjective (and even become equidistributed) on the product of supersingular loci when the discriminant of the order becomes large. This variant of the equidistribution theorems of Duke and Cornut-Vatsal is an(other) application of the recent work of Einsiedler and Lindenstrauss on the classification of joinings of higher-rank diagonalizable actions. △ Less

Submitted 24 November, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 46 pages. Revised according to the referee's comments

Planes in four space and four associated CM points

Authors: Menny Aka, Manfred Einsiedler, Andreas Wieser

Abstract: To any two-dimensional rational plane in four-dimensional space one can naturally attach a point in the Grassmannian Gr(2,4) and four lattices of rank two. Here, the first two lattices originate from the plane and its orthogonal complement and the second two essentially arise from the accidental local isomorphism between SO(4) and SO(3)xSO(3). As an application of a recent result of Einsiedler and… ▽ More To any two-dimensional rational plane in four-dimensional space one can naturally attach a point in the Grassmannian Gr(2,4) and four lattices of rank two. Here, the first two lattices originate from the plane and its orthogonal complement and the second two essentially arise from the accidental local isomorphism between SO(4) and SO(3)xSO(3). As an application of a recent result of Einsiedler and Lindenstrauss on algebraicity of joinings we prove simultaneous equidistribution of all of these objects under two splitting conditions. △ Less

Submitted 21 June, 2021; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: 45 pages, added a section about oriented planes. To appear in Duke Mathematical Journal

Continued Fractions of Arithmetic Sequences of Quadratics

Authors: Menny Aka

Abstract: Let x be a quadratic irrational and let P be the set of prime numbers. We show the existence of an infinite subset S of P such that the statistics of the period of the continued fraction expansions along the sequence {px: p\in S} approach the normal statistics given by the Gauss-Kuzmin measure. Under the generalized Riemann hypothesis, we prove that there exist full density subsets S of P and T of… ▽ More Let x be a quadratic irrational and let P be the set of prime numbers. We show the existence of an infinite subset S of P such that the statistics of the period of the continued fraction expansions along the sequence {px: p\in S} approach the normal statistics given by the Gauss-Kuzmin measure. Under the generalized Riemann hypothesis, we prove that there exist full density subsets S of P and T of N satisfying the same assertion. We give a rate of convergence in all cases. △ Less

Submitted 20 May, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: To appear in Expositiones Mathematicae

On effective equidistribution for quotients of SL(d)

Authors: Menny Aka, Manfred Einsiedler, Han Li, Amir Mohammadi

Abstract: We prove the first case of polynomially effective equidistribution of closed orbits of semisimple groups with nontrivial centralizer. The proof relies on uniform spectral gap, builds on, and extends work of Einsiedler, Margulis, and Venkatesh. We prove the first case of polynomially effective equidistribution of closed orbits of semisimple groups with nontrivial centralizer. The proof relies on uniform spectral gap, builds on, and extends work of Einsiedler, Margulis, and Venkatesh. △ Less

Submitted 27 April, 2019; v1 submitted 28 July, 2016; originally announced July 2016.

Comments: 22 pages. To appear in Israel Journal of Mathematics

Diophantine approximation on matrices and Lie groups

Authors: Menny Aka, Emmanuel Breuillard, Lior Rosenzweig, Nicolas de Saxcé

Abstract: We study the general problem of extremality for metric Diophantine approximation on submanifolds of matrices. We formulate a criterion for extremality in terms of a certain family of algebraic obstructions and show that it is sharp. In general, the almost sure diophantine exponent of a submanifold is shown to depend only on its Zariski closure, and when the latter is defined over the rational numb… ▽ More We study the general problem of extremality for metric Diophantine approximation on submanifolds of matrices. We formulate a criterion for extremality in terms of a certain family of algebraic obstructions and show that it is sharp. In general, the almost sure diophantine exponent of a submanifold is shown to depend only on its Zariski closure, and when the latter is defined over the rational numbers, we prove that the exponent is rational and give a method to effectively compute it. This method is applied to a number of cases of interest, in particular, we manage to determine the diophantine exponent of random subgroups of certain nilpotent Lie groups in terms of representation theoretic data. △ Less

Submitted 2 December, 2017; v1 submitted 11 March, 2016; originally announced March 2016.

Comments: 52 pages. Final version, to appear in GAFA. This version contains only minor changes from the previous version, which had two extras: a weighted analogue of the formula for the diophantine exponent of rational submanifolds, and the proof of the rationality and stability of the diophantine exponent of an arbitrary rational nilpotent Lie group

MSC Class: 11J83; 11J13; 11K60; 22E99; 22E25

Integer points and their orthogonal lattices

Authors: Menny Aka, Manfred Einsiedler, Uri Shapira

Abstract: Linnik proved in the late 1950's the equidistribution of integer points on large spheres under a congruence condition. The congruence condition was lifted in 1988 by Duke (building on a break-through by Iwaniec) using completely different techniques. We conjecture that this equidistribution result also extends to the pairs consisting of a vector on the sphere and the shape of the lattice in its or… ▽ More Linnik proved in the late 1950's the equidistribution of integer points on large spheres under a congruence condition. The congruence condition was lifted in 1988 by Duke (building on a break-through by Iwaniec) using completely different techniques. We conjecture that this equidistribution result also extends to the pairs consisting of a vector on the sphere and the shape of the lattice in its orthogonal complement. We use a joining result for higher rank diagonalizable actions to obtain this conjecture under an additional congruence condition. △ Less

Submitted 14 February, 2015; originally announced February 2015.

Comments: 15 pages, and 6 pages of appendix, (Appendix by Ruixiang Zhang)

Integer points on spheres and their orthogonal grids

Authors: Menny Aka, Manfred Einsiedler, Uri Shapira

Abstract: The set of primitive vectors on large spheres in the euclidean space of dimension d>2 equidistribute when projected on the unit sphere. We consider here a refinement of this problem concerning the direction of the vector together with the shape of the lattice in its orthogonal complement. Using unipotent dynamics we obtained the desired equidistribution result in dimension d>5 and in dimension d=4… ▽ More The set of primitive vectors on large spheres in the euclidean space of dimension d>2 equidistribute when projected on the unit sphere. We consider here a refinement of this problem concerning the direction of the vector together with the shape of the lattice in its orthogonal complement. Using unipotent dynamics we obtained the desired equidistribution result in dimension d>5 and in dimension d=4,5 under a mild congruence condition on the square of the radius. The case of d=3 is considered in a separate paper. △ Less

Submitted 20 October, 2015; v1 submitted 5 November, 2014; originally announced November 2014.

Comments: 20 pages. To appear in the Journal of the London Mathematical Society

MSC Class: 37A15 (primary); 11H55; 11F85 (secondary)

On metric diophantine approximation in matrices and Lie groups

Authors: Menny Aka, Emmanuel Breuillard, Lior Rosenzweig, Nicolas de Saxcé

Abstract: We study the diophantine exponent of analytic submanifolds of the space of m by n real matrices, answering questions of Beresnevich, Kleinbock and Margulis. We identify a family of algebraic obstructions to the extremality of such a submanifold, and give a formula for the exponent when the submanifold is algebraic and defined over the rationals. We then apply these results to the determination of… ▽ More We study the diophantine exponent of analytic submanifolds of the space of m by n real matrices, answering questions of Beresnevich, Kleinbock and Margulis. We identify a family of algebraic obstructions to the extremality of such a submanifold, and give a formula for the exponent when the submanifold is algebraic and defined over the rationals. We then apply these results to the determination of the diophantine exponent of rational nilpotent Lie groups. △ Less

Submitted 21 January, 2015; v1 submitted 15 October, 2014; originally announced October 2014.

Comments: Theorem 3.4 was modified. To appear in Comptes Rendus Mathematique

MSC Class: 11J83; 11J13; 11K60; 22E99; 22E25

Duke's Theorem for subcollections

Authors: Menny Aka, Manfred Einsiedler

Abstract: We combine effective mixing and Duke's Theorem on closed geodesics on the modular surface to show that certain subcollections of the collection of geodesics with a given discriminant still equidistribute. These subcollections are only assumed to have sufficiently large total length without any further restrictions. We combine effective mixing and Duke's Theorem on closed geodesics on the modular surface to show that certain subcollections of the collection of geodesics with a given discriminant still equidistribute. These subcollections are only assumed to have sufficiently large total length without any further restrictions. △ Less

Submitted 13 June, 2014; v1 submitted 8 March, 2014; originally announced March 2014.

Comments: Final version; to appear in Ergodic Theory and Dynamical Systems

MSC Class: 11F11; 37A25

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 335-342

Diophantine properties of nilpotent Lie groups

Authors: Menny Aka, Emmanuel Breuillard, Lior Rosenzweig, Nicolas de Saxcé

Abstract: A finitely generated subgroup Γ of a real Lie group G is said to be Diophantine if there is β> 0 such that non-trivial elements in the word ball B_Γ(n) centered at the identity never approach the identity of G closer than |B_Γ (n)|^{-β}. A Lie group G is said to be Diophantine if for every k > 0, a random k-tuple in G generates a Diophantine subgroup. Semi-simple Lie groups are conjectured to be D… ▽ More A finitely generated subgroup Γ of a real Lie group G is said to be Diophantine if there is β> 0 such that non-trivial elements in the word ball B_Γ(n) centered at the identity never approach the identity of G closer than |B_Γ (n)|^{-β}. A Lie group G is said to be Diophantine if for every k > 0, a random k-tuple in G generates a Diophantine subgroup. Semi-simple Lie groups are conjectured to be Diophantine but very little is proven in this direction. We give a characterization of Diophantine nilpotent Lie groups in terms of the ideal of laws of their Lie algebra. In particular we show that nilpotent Lie groups of class at most 5, or derived length at most 2, as well as rational nilpotent Lie groups are Diophantine. We also find that there are non Diophantine nilpotent and solvable (non nilpotent) Lie groups. △ Less

Submitted 1 July, 2014; v1 submitted 4 July, 2013; originally announced July 2013.

Comments: 33 pages. To appear in Compositio Mathematica. Added Theorem 1.4., which constructs examples, for each integer k, of a Lie group that is diophantine on k letters but not on k+1 letters

MSC Class: Primary 22E25; 11K60; Secondary 17B01

Journal ref: Compositio Mathematica 151 (2015) 1157-1188

Homogeneous number of free generators

Authors: Menny Aka, Tsachik Gelander, Gregory A. Soifer

Abstract: We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group Γwhich admits the congruence subgroup property, has a profinitely dense free subgroup with an explicit bound of its rank. Next, we show that the set of profinitely dense, locally free subgroups o… ▽ More We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group Γwhich admits the congruence subgroup property, has a profinitely dense free subgroup with an explicit bound of its rank. Next, we show that the set of profinitely dense, locally free subgroups of such an arithmetic group Γis uncountable. △ Less

Submitted 5 May, 2012; originally announced May 2012.

On the evolution of continued fractions in a fixed quadratic field

Authors: Menny Aka, Uri Shapira

Abstract: We prove that the statistics of the period of the continued fraction expansion of certain sequences of quadratic irrationals from a fixed quadratic field approach the `normal' statistics given by the Gauss-Kuzmin measure. As a by-product, the growth rate of the period is analyzed and, for example, it is shown that for a fixed integer $k$ and a quadratic irrational $\al$, the length of the period o… ▽ More We prove that the statistics of the period of the continued fraction expansion of certain sequences of quadratic irrationals from a fixed quadratic field approach the `normal' statistics given by the Gauss-Kuzmin measure. As a by-product, the growth rate of the period is analyzed and, for example, it is shown that for a fixed integer $k$ and a quadratic irrational $\al$, the length of the period of the continued fraction expansion of $k^n\al$ equals $c k^n +o(k^{(1-\frac{1}{16})n})$ for some positive constant $c$. This improves results of Cohn, Lagarias, and Grisel, and settles a conjecture of Hickerson. The results are derived from the main theorem of the paper, which establishes an equidistribution result regarding single periodic geodesics along certain paths in the Hecke graph. The results are effective and give rates of convergence and the main tools are spectral gap (effective decay of matrix coefficients) and dynamical analysis on $S$-arithmetic homogeneous spaces. △ Less

Submitted 21 February, 2013; v1 submitted 5 January, 2012; originally announced January 2012.

Comments: 53 pages. A revised version

MSC Class: 11A55; 37N99

Arithmetic groups with isomorphic finite quotients

Authors: Menny Aka

Abstract: Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the the fibers are of unbounded size. Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the the fibers are of unbounded size. △ Less

Submitted 24 October, 2011; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: Minor revisions. To appear in Journal of Algebra

Profinite completions and Kazhdan's property (T)

Authors: Menny Aka

Abstract: We show that property (T) is not profinite, that is, we construct two finitely generated residually finite groups which have isomorphic profinite completions while one admits property (T) and the other does not. This settles a question raised by M. Kassabov. We show that property (T) is not profinite, that is, we construct two finitely generated residually finite groups which have isomorphic profinite completions while one admits property (T) and the other does not. This settles a question raised by M. Kassabov. △ Less

Submitted 21 July, 2011; v1 submitted 25 May, 2010; originally announced May 2010.

Comments: To appear in Groups, Geometry and Dynamics

MSC Class: Primary 20E18; 22E40; Secondary 11h55