Showing 1–26 of 26 results for author: Benoist, Y

On the rate of exponential decay of coefficients on homogeneous spaces

Authors: Yves Benoist, Siwei Liang

Abstract: For any homogeneous space of a real semisimple algebraic group $G$, we define an exponent with multiple interpretations from representation theory and group theory. As an application, we give a temperedness criterion for $L^2 (G/H)$ for any closed subgroup $H$ of $G$, which extends the existing ones of Benoist-Kobayashi for connected subgroups and Lutsko-Weich-Wolf for discrete subgroups. For any homogeneous space of a real semisimple algebraic group $G$, we define an exponent with multiple interpretations from representation theory and group theory. As an application, we give a temperedness criterion for $L^2 (G/H)$ for any closed subgroup $H$ of $G$, which extends the existing ones of Benoist-Kobayashi for connected subgroups and Lutsko-Weich-Wolf for discrete subgroups. △ Less

Submitted 3 July, 2025; originally announced July 2025.

Fourier transform in cyclic groups

Authors: Yves Benoist

Abstract: On a cyclic group of prime order, the non-trivial Dirichlet characters together with their Fourier transforms have constant modulus outside 0 and vanish at 0. Answering a question of H. Cohn, we construct new functions with these properties. The proof relies on Floer homology. We also apply this method to the biunimodular functions problem. On a cyclic group of prime order, the non-trivial Dirichlet characters together with their Fourier transforms have constant modulus outside 0 and vanish at 0. Answering a question of H. Cohn, we construct new functions with these properties. The proof relies on Floer homology. We also apply this method to the biunimodular functions problem. △ Less

Submitted 8 July, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: This version 2 contains a new chapter "Unimodular C-functions for safe prime" that deal with H. Cohn's question for safe primes

Convolution and square in abelian groups III

Authors: Yves Benoist

Abstract: In the first paper we proved that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is an odd algebraic integer of norm d whose both real and imaginary part are square roots of integers. We show here that the function f can be chosen to be equal to the conjugate of its Four… ▽ More In the first paper we proved that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is an odd algebraic integer of norm d whose both real and imaginary part are square roots of integers. We show here that the function f can be chosen to be equal to the conjugate of its Fourier transform. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Bounded harmonic maps

Authors: Yves Benoist, Dominique Hulin

Abstract: The classical Fatou theorem identifies bounded harmonic functions on the unit disk with bounded measurable functions on the boundary circle. We extend this theorem to bounded harmonic maps. The classical Fatou theorem identifies bounded harmonic functions on the unit disk with bounded measurable functions on the boundary circle. We extend this theorem to bounded harmonic maps. △ Less

Submitted 28 August, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

On the rational symplectic group

Authors: Yves Benoist

Abstract: This note contains a short proof of a classical result: any rational symplectic matrix can be put in diagonal form after right and left multiplication by integral symplectic matrices. This note contains a short proof of a classical result: any rational symplectic matrix can be put in diagonal form after right and left multiplication by integral symplectic matrices. △ Less

Submitted 13 January, 2023; v1 submitted 4 August, 2022; originally announced August 2022.

Convolution and square in abelian groups II

Authors: Yves Benoist

Abstract: A critical value on an abelian group G of odd order d is a value $λ$ such that the functional equation f$\star$f (2 t) = $λ$f (t)^2 on G has a nonzero solution f. We construct many critical values by using abelian varieties with complex multiplication. A critical value on an abelian group G of odd order d is a value $λ$ such that the functional equation f$\star$f (2 t) = $λ$f (t)^2 on G has a nonzero solution f. We construct many critical values by using abelian varieties with complex multiplication. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Convolution and square in abelian groups I

Authors: Yves Benoist

Abstract: We prove that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is given by an imaginary quadratic integer of norm d which is equal to 1 modulo 2. The proof involves theta functions on elliptic curves with complex multiplication. We prove that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is given by an imaginary quadratic integer of norm d which is equal to 1 modulo 2. The proof involves theta functions on elliptic curves with complex multiplication. △ Less

Submitted 3 August, 2022; v1 submitted 18 May, 2022; originally announced May 2022.

Temperedness criterion of the tensor product of parabolic induction for $GL_n$

Authors: Yves Benoist, Yui Inoue, Toshiyuki Kobayashi

Abstract: We give a necessary and sufficient condition for a pair of parabolic subgroups $P$ and $Q$ of $G=GL_n(\mathbb{R})$ such that the tensor product of any two unitarily induced representations from $P$ and $Q$ are tempered. We also give an $L^p$-estimate of matrix coefficients of the regular representations on $L^2(G/L)$ when $L$ is a Levi subgroup of $G$. We give a necessary and sufficient condition for a pair of parabolic subgroups $P$ and $Q$ of $G=GL_n(\mathbb{R})$ such that the tensor product of any two unitarily induced representations from $P$ and $Q$ are tempered. We also give an $L^p$-estimate of matrix coefficients of the regular representations on $L^2(G/L)$ when $L$ is a Levi subgroup of $G$. △ Less

Submitted 10 November, 2022; v1 submitted 27 August, 2021; originally announced August 2021.

Comments: Final version, to appear in Journal of Algebra

MSC Class: 22E46

Journal ref: Journal of Algebra 617 (2023), pp. 1-16

How far are p-adic Lie groups from algebraic groups?

Authors: Yves Benoist, Jean-François Quint

Abstract: We show that, in a weakly regular $p$-adic Lie group $G$, the subgroup $G_u$ spanned by the one-parameter subgroups of $G$ admits a Levi decomposition. As a consequence, there exists a regular open subgroup of $G$ which contains $G_u$. We show that, in a weakly regular $p$-adic Lie group $G$, the subgroup $G_u$ spanned by the one-parameter subgroups of $G$ admits a Levi decomposition. As a consequence, there exists a regular open subgroup of $G$ which contains $G_u$. △ Less

Submitted 26 January, 2021; originally announced January 2021.

Harmonic quasi-isometries of pinched Hadamard surfaces are injective

Authors: Yves Benoist, Dominique Hulin

Abstract: We prove that a harmonic quasi-isometric map between pinched Hadamard surfaces is a quasi-conformal diffeomorphism. We prove that a harmonic quasi-isometric map between pinched Hadamard surfaces is a quasi-conformal diffeomorphism. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Journal ref: Tunisian J. Math. 4 (2022) 307-328

Tempered homogeneous spaces IV

Authors: Yves Benoist, Toshiyuki Kobayashi

Abstract: Let G be a complex semisimple Lie group and H a complex closed connected subgroup. Let g and h be their Lie algebras. We prove that the regular representation of G in $L^2(G/H)$ is tempered if and only if the orthogonal of h in g contains regular elements. Let G be a complex semisimple Lie group and H a complex closed connected subgroup. Let g and h be their Lie algebras. We prove that the regular representation of G in $L^2(G/H)$ is tempered if and only if the orthogonal of h in g contains regular elements. △ Less

Submitted 13 December, 2021; v1 submitted 22 September, 2020; originally announced September 2020.

Tempered homogeneous spaces III

Authors: Yves Benoist, Toshiyuki Kobayashi

Abstract: Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in $L^2(G/H)$ is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G/H is virtually abelian. Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in $L^2(G/H)$ is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G/H is virtually abelian. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Harmonic quasi-isometric maps III :quotients of Hadamard manifolds

Authors: Yves Benoist, Dominique Hulin

Abstract: In a previous paper, we proved that a quasi-isometric map $f:X\longrightarrow Y$ between two pinched Hadamard manifolds $X$ and $Y$ is within bounded distance from a unique harmonic map. We extend this result to maps $f:Γ\backslash X\longrightarrow Y$, where $Γ$ is a convex cocompact discrete group of isometries of $X$ and $f$ is locally quasi-isometric at infinity. In a previous paper, we proved that a quasi-isometric map $f:X\longrightarrow Y$ between two pinched Hadamard manifolds $X$ and $Y$ is within bounded distance from a unique harmonic map. We extend this result to maps $f:Γ\backslash X\longrightarrow Y$, where $Γ$ is a convex cocompact discrete group of isometries of $X$ and $f$ is locally quasi-isometric at infinity. △ Less

Submitted 7 July, 2020; originally announced July 2020.

Positive Harmonic Functions on the Heisenberg group I

Authors: Yves Benoist

Abstract: We present the classification of positive harmonic functions on the Heisenberg group in the case of the southwest measure. We present the classification of positive harmonic functions on the Heisenberg group in the case of the southwest measure. △ Less

Submitted 13 December, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Arithmeticity of discrete subgroups containing horospherical lattices

Authors: Yves Benoist, Sébastien Miquel

Abstract: Let $G$ be a semisimple real algebraic Lie group of real rank at least two and $U$ be the unipotent radical of a non-trivial parabolic subgroup. We prove that a discrete Zariski dense subgroup of $G$ that contains an irreducible lattice of $U$ is an arithmetic lattice of $G$. This solves a conjecture of Margulis and extends previous work of Hee Oh. Let $G$ be a semisimple real algebraic Lie group of real rank at least two and $U$ be the unipotent radical of a non-trivial parabolic subgroup. We prove that a discrete Zariski dense subgroup of $G$ that contains an irreducible lattice of $U$ is an arithmetic lattice of $G$. This solves a conjecture of Margulis and extends previous work of Hee Oh. △ Less

Submitted 30 April, 2018; originally announced May 2018.

Comments: 54 pages

MSC Class: 22E40

Journal ref: Duke Math. J. 169, no. 8 (2020), 1485-1539

Geodesic planes in geometrically finite acylindrical 3-manifolds

Authors: Yves Benoist, Hee Oh

Abstract: Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Mohammadi, and the second named author when M is convex cocompact. As a corollary… ▽ More Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Mohammadi, and the second named author when M is convex cocompact. As a corollary we obtain that when $M$ covers an arithmetic hyperbolic 3-manifold $M_0$, the topological behavior of a geodesic plane in $M^*$ is governed by that of the corresponding plane in $M_0$. We construct a counterexample of this phenomenon when $M_0$ is non-arithmetic. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: 39 pages

Tempered homogeneous spaces II

Authors: Yves Benoist, Toshiyuki Kobayashi

Abstract: Let $G$ be a semisimple real Lie group with finite center and $H$ a connected closed subgroup. We establish a geometric criterion which detects whether the representation of $G$ in $L^2(G/H)$ is tempered. Let $G$ be a semisimple real Lie group with finite center and $H$ a connected closed subgroup. We establish a geometric criterion which detects whether the representation of $G$ in $L^2(G/H)$ is tempered. △ Less

Submitted 26 July, 2021; v1 submitted 30 June, 2017; originally announced June 2017.

Comments: 34 pages. To be published in: Dynamics, Geometry, Number Theory: The Impact of Margulis on Modern Mathematics (eds. D. Fisher, D. Kleinbock, and G. Soifer), The University of Chicago Press

MSC Class: Primary 22E46; Secondary 43A85; 22F30

Recurrence on Affine Grassmannians

Authors: Yves Benoist, Caroline Bruère

Abstract: We study the action of the affine group $G$ of $\mathbb{R}^d$ on the space $X_{k,\,d}$ of $k$-dimensional affine subspaces. Given a compactly-supported Zariski dense probability measure $μ$ on $G$, we show that $X_{k,\,d}$ supports a $μ$-stationary measure $ν$ if and only if the $(k\!+\!1)^{\rm th}$-Lyapunov exponent of $μ$ is strictly negative. In particular, when $μ$ is symmetric, $ν$ exists if… ▽ More We study the action of the affine group $G$ of $\mathbb{R}^d$ on the space $X_{k,\,d}$ of $k$-dimensional affine subspaces. Given a compactly-supported Zariski dense probability measure $μ$ on $G$, we show that $X_{k,\,d}$ supports a $μ$-stationary measure $ν$ if and only if the $(k\!+\!1)^{\rm th}$-Lyapunov exponent of $μ$ is strictly negative. In particular, when $μ$ is symmetric, $ν$ exists if and only if $2k\geq d$. △ Less

Submitted 31 March, 2017; originally announced March 2017.

MSC Class: 22E40; 60J20

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 3207-3223

Harmonic quasi-isometric maps II : negatively curved manifolds

Authors: Yves Benoist, Dominique Hulin

Abstract: We prove that a quasi-isometric map, and more generally a coarse embedding, between pinched Hadamard manifolds is within bounded distance from a unique harmonic map. We prove that a quasi-isometric map, and more generally a coarse embedding, between pinched Hadamard manifolds is within bounded distance from a unique harmonic map. △ Less

Submitted 6 June, 2018; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 58 pages: in this version 2, two chapters on coarse embeddings have been added

MSC Class: 53C43; 53C24; 53C35; 58E20

Translation of the paper `Mesures stationnaires et ferm'es invariants des espaces homog'enes I', by Y. Benoist and J.-F. Quint

Authors: Y. Benoist, J. -F. Quint, translated by Barak Weiss

Abstract: A translation of the famous paper of Benoist and Quint, `Mesures stationnaires et fermés invariants des espaces homogénes I', Ann. Math. 174 (2011). A translation of the famous paper of Benoist and Quint, `Mesures stationnaires et fermés invariants des espaces homogénes I', Ann. Math. 174 (2011). △ Less

Submitted 19 October, 2016; originally announced October 2016.

Journal ref: Ann. Math. 174 (2011)

Central limit theorem for linear groups

Authors: Yves Benoist, Jean-François Quint

Abstract: We prove a central limit theorem for random walks with finite variance on linear groups. We prove a central limit theorem for random walks with finite variance on linear groups. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: Published at http://dx.doi.org/10.1214/15-AOP1002 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP1002

Journal ref: Annals of Probability 2016, Vol. 44, No. 2, 1308-1340

Quasiisometric harmonic maps between rank one symmetric spaces

Authors: Yves Benoist, Dominique Hulin

Abstract: We prove that a quasiisometric map between rank one symmetric spaces is within bounded distance from a unique harmonic map. In particular, this completes the proof of the Schoen-Li-Wang conjecture. We prove that a quasiisometric map between rank one symmetric spaces is within bounded distance from a unique harmonic map. In particular, this completes the proof of the Schoen-Li-Wang conjecture. △ Less

Submitted 26 August, 2015; originally announced August 2015.

Comments: 23 pages, 1 figure

MSC Class: 53C43 (Primary); 53C24; 53C35; 58E20 (Secondary)

A spectral gap theorem in simple Lie groups

Authors: Yves Benoist, Nicolas de Saxcé

Abstract: We establish the spectral gap property for dense subgroups generated by algebraic elements in any compact simple Lie group, generalizing earlier results of Bourgain and Gamburd for unitary groups. We establish the spectral gap property for dense subgroups generated by algebraic elements in any compact simple Lie group, generalizing earlier results of Bourgain and Gamburd for unitary groups. △ Less

Submitted 8 May, 2014; originally announced May 2014.

Comments: 20 pages

Temperedness of reductive homogeneous spaces

Authors: Yves Benoist, Toshiyuki Kobayashi

Abstract: Let G be a semisimple algebraic Lie group and H a reductive subgroup. We find geometrically the best even integer p for which the representation of G in L^2(G/H) is almost L^{p}. As an application, we give a criterion which detects whether this representation is tempered. Let G be a semisimple algebraic Lie group and H a reductive subgroup. We find geometrically the best even integer p for which the representation of G in L^2(G/H) is almost L^{p}. As an application, we give a criterion which detects whether this representation is tempered. △ Less

Submitted 11 November, 2013; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: to appear in Journal of European Mathematical Society

Report number: IHES preprint M/12/29 MSC Class: Primary 22E46; Secondary 43A85; 22F30

Journal ref: J. Eur. Math. Soc. (JEMS) 17 (2015), pp. 3015-3036

Effective equidistribution of S-integral points on symmetric varieties

Authors: Yves Benoist, Hee Oh

Abstract: Let K be a global field of characteristic not 2. Let Z be a symmetric variety defined over K and S a finite set of places of K. We obtain counting and equidistribution results for the S-integral points of Z. Our results are effective when K is a number field. Let K be a global field of characteristic not 2. Let Z be a symmetric variety defined over K and S a finite set of places of K. We obtain counting and equidistribution results for the S-integral points of Z. Our results are effective when K is a number field. △ Less

Submitted 12 June, 2007; originally announced June 2007.

Comments: 46 pages

MSC Class: 14G05; 11F06; 22E40

Polar decomposition for p-adic symmetric spaces

Authors: Yves Benoist, Hee Oh

Abstract: Let G be the group of k-points of a connected reductive k-group and H a symmetric subgroup associated to an involution s of G. We prove a polar decomposition G=KAH for the symmetric space G/H over any local field k of characteristic not 2. Here K is a compact subset of G and A is a finite union of the groups of k-points of maximal (k,s)-split tori, one for each H-conjugacy class. This decomposit… ▽ More Let G be the group of k-points of a connected reductive k-group and H a symmetric subgroup associated to an involution s of G. We prove a polar decomposition G=KAH for the symmetric space G/H over any local field k of characteristic not 2. Here K is a compact subset of G and A is a finite union of the groups of k-points of maximal (k,s)-split tori, one for each H-conjugacy class. This decomposition is analogous to the well-known polar decomposition G=KAH for a real symmetric space G/H. △ Less

Submitted 12 December, 2006; originally announced December 2006.

Comments: 16 pages

MSC Class: 20G25