Showing 1–38 of 38 results for author: Sayag, E

Irreducibility of wave-front sets for depth zero cuspidal representations

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Abstract: We show that the results of [BM97, DeB02b, Oka, Lus85, AA07, Tay16] imply a positive answer to the question of Moeglin-Waldspurger on wave-front sets in the case of depth zero cuspidal representations. Namely, we deduce that for large enough residue characteristic, the Zariski closure of the wave-front set of any depth zero irreducible cuspidal representation of any reductive group over a non-Arch… ▽ More We show that the results of [BM97, DeB02b, Oka, Lus85, AA07, Tay16] imply a positive answer to the question of Moeglin-Waldspurger on wave-front sets in the case of depth zero cuspidal representations. Namely, we deduce that for large enough residue characteristic, the Zariski closure of the wave-front set of any depth zero irreducible cuspidal representation of any reductive group over a non-Archimedean local field is an irreducible variety. In more details, we use [BM97, DeB02b, Oka] to reduce the statement to an analogous statement for finite groups of Lie type, which is proven in [Lus85, AA07, Tay16]. △ Less

Submitted 17 October, 2023; v1 submitted 29 May, 2022; originally announced May 2022.

Comments: 7p

MSC Class: 20G05; 20G25; 22E35; 22E46; 20C33

Ultralimits, Amenable actions and Entropy

Authors: Elad Sayag

Abstract: In this paper we show that the minimal value of Furstenberg entropy (along all measures, not restricting to stationary ones) for any amenable action is the same as for the action of the group on itself. Using the boundary amenability result of Adams, this allows us to compute the minimal value of the entropy over all the measure classes in the boundary of the free group. Similar results are proved… ▽ More In this paper we show that the minimal value of Furstenberg entropy (along all measures, not restricting to stationary ones) for any amenable action is the same as for the action of the group on itself. Using the boundary amenability result of Adams, this allows us to compute the minimal value of the entropy over all the measure classes in the boundary of the free group. Similar results are proved for the action of a hyperbolic group on its Gromov boundary. Our main tool is an ultralimit realization of the Poisson boundary of a time dependent matrix-valued random walk on the group. This extends and refines the results and tools of previous paper of the author with Y. Shalom. △ Less

Submitted 10 May, 2024; v1 submitted 23 April, 2022; originally announced April 2022.

Comments: 50 pages. Changes include few typos removed, two sections moved into appendices and a section of "further problems" added

MSC Class: 22F10; 20F65; 28D20; 31C05; 94A17; 82C41; 60G10; 60J50; 46B08; 46M07

Entropy, Ultralimits and the Poisson boundary

Authors: Elad Sayag, Yehuda Shalom

Abstract: In this paper we introduce for a group $G$ the notion of ultralimit of measure class preserving actions of it, and show that its Furstenberg-Poisson boundaries can be obtained as an ultralimit of actions on itself, when equipped with appropriately chosen measures. We use this result in embarking on a systematic quantitative study of the basic question how close to invariant one can find measures o… ▽ More In this paper we introduce for a group $G$ the notion of ultralimit of measure class preserving actions of it, and show that its Furstenberg-Poisson boundaries can be obtained as an ultralimit of actions on itself, when equipped with appropriately chosen measures. We use this result in embarking on a systematic quantitative study of the basic question how close to invariant one can find measures on a $G$-space, particularly for the action of the group on itself. As applications we show that on amenable groups there are always "almost invariant measures" with respect to the information theoretic Kullback-Leibler divergence (and more generally, any $f$-divergence), making use of the existence of measures with trivial boundary. More interestingly, for a free group $F$ and a symmetric measure $λ$ supported on its generators, one can compute explicitly the infimum over all measures $η$ on $F$ of the Furstenberg entropy $h_λ(F,η)$. Somewhat surprisingly, while in the case of the uniform measure on the generators the value is the same as the Furstenberg entropy of the Furstenberg-Poisson boundary of the same measure $λ$, in general it is the Furstenberg entropy of the Furstenberg-Poisson boundary of a measure on $F$ different from $λ$. △ Less

Submitted 23 December, 2023; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: 33 pages. Changes in the introduction and fixing typos

MSC Class: 22F10; 20F65; 28D20; 31C05; 94A17; 82C41; 60G10; 60J50; 46B08; 46M07

Strong density of spherical characters attached to unipotent subgroups

Authors: Avraham Aizenbud, Joseph Bernstein, Eitan Sayag

Abstract: We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ fro… ▽ More We prove the following result in relative representation theory of a reductive p-adic group $G$: Let $U$ be the unipotent radical of a minimal parabolic subgroup of $G$, and let $ψ$ be an arbitrary smooth character of $U$. Let $S \subset Irr(G)$ be a Zariski dense collection of irreducible representations of $G$. Then the span of the Bessel distributions $B_π$ attached to representations $π$ from $S$ is dense in the space $\mathcal S^*(G)^{U\times U,ψ\times ψ}$ of all $(U\times U,ψ\times ψ)$-equivariant distributions on $G.$ We base our proof on the following results: 1. The category of smooth representations $\mathcal M(G)$ is Cohen-Macaulay. 2. The module $ind_U^G(ψ)$ is a projective module. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 17 pages

MSC Class: 20G05; 20G25; 46F99; 43A85

The most continuous part of the Plancherel decomposition for a real spherical space

Authors: Job J. Kuit, Eitan Sayag

Abstract: In this article we give a precise description of the Plancherel decomposition of the most continuous part of $L^{2}(Z)$ for a real spherical homogeneous space $Z$. Our starting point is the recent construction of Bernstein morphisms by Delorme, Knop, Krötz and Schlichtkrull. The most continuous part decomposes into a direct integral of unitary principal series representations. We give an explicit… ▽ More In this article we give a precise description of the Plancherel decomposition of the most continuous part of $L^{2}(Z)$ for a real spherical homogeneous space $Z$. Our starting point is the recent construction of Bernstein morphisms by Delorme, Knop, Krötz and Schlichtkrull. The most continuous part decomposes into a direct integral of unitary principal series representations. We give an explicit construction of the $H$-invariant functionals on these principal series. We show that for generic induction data the multiplicity space equals the full space of $H$-invariant functionals. Finally, we determine the inner products on the multiplicity spaces by refining the Maass-Selberg relations. △ Less

Submitted 22 March, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: Minor changes

MSC Class: 20G20; 22E46; 22F30; 43A85

On the little Weyl group of a real spherical space

Authors: Job J. Kuit, Eitan Sayag

Abstract: In the present paper we further the study of the compression cone of a real spherical homogeneous space $Z=G/H$. In particular we provide a geometric construction of the little Weyl group of $Z$ introduced recently by Knop and Krötz. Our technique is based on a fine analysis of limits of conjugates of the subalgebra $\mathrm{Lie}(H)$ along one-parameter subgroups in the Grassmannian of subspaces o… ▽ More In the present paper we further the study of the compression cone of a real spherical homogeneous space $Z=G/H$. In particular we provide a geometric construction of the little Weyl group of $Z$ introduced recently by Knop and Krötz. Our technique is based on a fine analysis of limits of conjugates of the subalgebra $\mathrm{Lie}(H)$ along one-parameter subgroups in the Grassmannian of subspaces of $\mathrm{Lie}(G)$. The little Weyl group is obtained as a finite reflection group generated by the reflections in the walls of the compression cone. △ Less

Submitted 27 October, 2022; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: Final version, published in Mathematische Annalen

MSC Class: 20F55; 14L30; 14M27; 20G25; 22E46; 22F30

Generalized Whittaker quotients of Schwartz functions on G-spaces

Authors: Dmitry Gourevitch, Eitan Sayag

Abstract: Let $G$ be a reductive group over a local field $F$ of characteristic zero, Archimedean or not. Let $X$ be a $G$-space. In this paper we study the existence of generalized Whittaker quotients for the space of Schwartz functions on $X$, considered as a representation of $G$. We show that the set of nilpotent elements of the dual space to the Lie algebra such that the corresponding generalized Whitt… ▽ More Let $G$ be a reductive group over a local field $F$ of characteristic zero, Archimedean or not. Let $X$ be a $G$-space. In this paper we study the existence of generalized Whittaker quotients for the space of Schwartz functions on $X$, considered as a representation of $G$. We show that the set of nilpotent elements of the dual space to the Lie algebra such that the corresponding generalized Whittaker quotient does not vanish contains the nilpotent part of the image of the moment map, and lies in the closure of this image. This generalizes recent results of Prasad and Sakellaridis. Applying our theorems to symmetric pairs $(G,H)$ we show that there exists an infinite-dimensional $H$-distinguished representation of $G$ if and only if the real reductive group corresponding to the pair $(G,H)$ is non-compact. For quasi-split $G$ we also extend to the Archimedean case the theorem of Prasad stating that there exists a generic $H$-distinguished representation of $G$ if and only if the real reductive group corresponding to the pair $(G,H)$ is quasi-split. In the non-Archimedean case our result also gives rather sharp bounds on the wave-front sets of distinguished representations. The results in the present paper can be used to recover many of the vanishing results on periods of automorphic forms proved by Ash-Ginzburg-Rallis. This follows from our Corollary H when combined with the restrictions on the Whittaker support of cuspidal automorphic representations proven in [GGS21]. △ Less

Submitted 18 September, 2021; v1 submitted 31 January, 2020; originally announced January 2020.

Comments: 12 p. v2: minor corrections + an application to automorphic periods

MSC Class: 20G05; 20G25; 22E35; 22E45; 14L30; 46F99

Annihilator varieties of distinguished modules of reductive Lie algebras

Authors: Dmitry Gourevitch, Eitan Sayag

Abstract: We provide a micro-local necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs. Let $\bf G$ be a complex algebraic reductive group, and $\bf H\subset G$ be a spherical algebraic subgroup. Let $\mathfrak{g},\mathfrak{h}$ denote the Lie algebras of $\bf G$ and $\bf H$, and let $\mathfrak{h}^{\bot}$ denote the annihilator of… ▽ More We provide a micro-local necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs. Let $\bf G$ be a complex algebraic reductive group, and $\bf H\subset G$ be a spherical algebraic subgroup. Let $\mathfrak{g},\mathfrak{h}$ denote the Lie algebras of $\bf G$ and $\bf H$, and let $\mathfrak{h}^{\bot}$ denote the annihilator of $\mathfrak{h}$ in $\mathfrak{g}^*$. A $\mathfrak{g}$-module is called $\mathfrak{h}$-distinguished if it admits a non-zero $\mathfrak{h}$-invariant functional. We show that the maximal $\bf G$-orbit in the annihilator variety of any irreducible $\mathfrak{h}$-distinguished $\mathfrak{g}$-module intersects $\mathfrak{h}^{\bot}$. This generalizes a result of Vogan. We apply this to Casselman-Wallach representations of real reductive groups to obtain information on branching problems, translation functors and Jacquet modules. Further, we prove in many cases that as suggested by Prasad, if $H$ is a symmetric subgroup of a real reductive group $G$, the existence of a tempered $H$-distinguished representation of $G$ implies the existence of a generic $H$-distinguished representation of $G$. Many models studied in the theory of automorphic forms involve an additive character on the unipotent radical of $\bf H$, and we devised a twisted version of our theorem that yields necessary conditions for the existence of those mixed models. Our method of proof here is inspired by the theory of W-algebras. As an application we derive necessary conditions for the existence of Rankin-Selberg, Bessel, Klyachko and Shalika models. Our results are compatible with the recent Gan-Gross-Prasad conjectures for non-generic representations. We also prove more general results that ease the sphericity assumption on the subgroup, and apply them to local theta correspondence in type II and to degenerate Whittaker models. △ Less

Submitted 22 July, 2021; v1 submitted 31 January, 2020; originally announced January 2020.

Comments: 33p. v3: added results for non-spherical subgroups, and applications to local theta correspondence in type II and to degenerate Whittaker models. Also added an appendix by Ido Karshon. v4: minor corrections in the proof of Theorem B and the generality of Theorem 9.2

MSC Class: 20G05; 22E46; 22E47; 22E45

Journal ref: Forum of Mathematics, Sigma 9 (2021) e52

Models of representations and Langlands functoriality

Authors: Arnab Mitra, Eitan Sayag

Abstract: In this article we explore the interplay between two generalizations of the Whittaker model, namely the Klyachko models and the degenerate Whittaker models, and two functorial constructions, namely base change and automorphic induction, for the class of unitarizable and ladder representations of the general linear groups. In this article we explore the interplay between two generalizations of the Whittaker model, namely the Klyachko models and the degenerate Whittaker models, and two functorial constructions, namely base change and automorphic induction, for the class of unitarizable and ladder representations of the general linear groups. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Homological multiplicities in representation theory of $p$-adic groups

Authors: Avraham Aizenbud, Eitan Sayag

Abstract: We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that measures these multiplicities. We show that these multiplicities are finite whenever the usual mutliplicities are finite, in particular this holds for symmetric vari… ▽ More We study homological multiplicities of spherical varieties of reductive group $G$ over a $p$-adic field $F$. Based on Bernstein's decomposition of the category of smooth representations of a $p$-adic group, we introduce a sheaf that measures these multiplicities. We show that these multiplicities are finite whenever the usual mutliplicities are finite, in particular this holds for symmetric varieties, conjectured for all spherical varieties and known for a large class of spherical varieties. Furthermore, we show that the Euler-Poincaré characteristic is constant in families induced from admissible representations of a Levi $M.$ In the case when $M=G$ we compute these multiplicities more explicitly. △ Less

Submitted 28 September, 2017; originally announced September 2017.

Comments: 14 pages

MSC Class: 22E45; 20G25

A short proof of Hironaka's Theorem on freeness of some Hecke modules

Authors: Avraham Aizenbud, Eitan Sayag

Abstract: Let $E/F$ be an unramified extension of non-archimedean local fields of residual characteristic different than $2$. We provide a simple geometric proof of a variation of a result of Y. Hironaka. Namely we prove that the module $\mathcal{S}(X)^{K_0}$ is free over the Hecke algebra $\mathcal{H}(SL_{n}(E),SL_{n}(O_E))$, where $X$ is the space of unimodular Hermitian forms on $E^n$ and $O_E$ is the ri… ▽ More Let $E/F$ be an unramified extension of non-archimedean local fields of residual characteristic different than $2$. We provide a simple geometric proof of a variation of a result of Y. Hironaka. Namely we prove that the module $\mathcal{S}(X)^{K_0}$ is free over the Hecke algebra $\mathcal{H}(SL_{n}(E),SL_{n}(O_E))$, where $X$ is the space of unimodular Hermitian forms on $E^n$ and $O_E$ is the ring of integers in $E$. △ Less

Submitted 24 September, 2017; originally announced September 2017.

Comments: 7 pages

Geometric counting on wavefront real spherical spaces

Authors: Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: We provide $L^p$-versus $L^\infty$-bounds for eigenfunctions on a real spherical space $Z$ of wavefront type. It is shown that these bounds imply a non-trivial error term estimate for lattice counting on $Z$. The paper also serves as an introduction to geometric counting on spaces of the mentioned type. Section 7 on higher rank is new and extends the result from v1 to higher rank. Final version. T… ▽ More We provide $L^p$-versus $L^\infty$-bounds for eigenfunctions on a real spherical space $Z$ of wavefront type. It is shown that these bounds imply a non-trivial error term estimate for lattice counting on $Z$. The paper also serves as an introduction to geometric counting on spaces of the mentioned type. Section 7 on higher rank is new and extends the result from v1 to higher rank. Final version. To appear in Acta Math. Sinica. △ Less

Submitted 30 August, 2017; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 46 pages

Journal ref: Acta Math. Sinica 34(3) (2018), 488-531

Analytic continuation of equivariant distributions

Authors: Dmitry Gourevitch, Siddhartha Sahi, Eitan Sayag

Abstract: We establish a method for constructing equivariant distributions on smooth real algebraic varieties from equivariant distributions on Zariski open subsets. This is based on Bernstein's theory of analytic continuation of holonomic distributions. We use this to construct $H$-equivariant functionals on principal series representations of $G$, where $G$ is a real reductive group and $H$ is an algebrai… ▽ More We establish a method for constructing equivariant distributions on smooth real algebraic varieties from equivariant distributions on Zariski open subsets. This is based on Bernstein's theory of analytic continuation of holonomic distributions. We use this to construct $H$-equivariant functionals on principal series representations of $G$, where $G$ is a real reductive group and $H$ is an algebraic subgroup. We also deduce the existence of generalized Whittaker models for degenerate principal series representations. As a special case, this gives short proofs of existence of Whittaker models on principal series representations, and of analytic continuation of standard intertwining operators. Finally, we extend our constructions to the $p$-adic case using a recent result of Hong and Sun. △ Less

Submitted 21 December, 2017; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: 19 pages. v3: important corrections

MSC Class: 20G05; 20G20; 20G25; 22E45; 46T30

Klyachko models for ladder representations

Authors: Arnab Mitra, Omer Offen, Eitan Sayag

Abstract: We give a new proof of the existence of Klyachko models for unitary representations of ${\rm GL}_{n}(F)$ over a non-archimedean local field $F$. Our methods are purely local and are based on studying distinction within the class of ladder representations introduced by Lapid and Minguez. We classify those ladder representations that are distinguished with respect to Klyachko models. We prove the he… ▽ More We give a new proof of the existence of Klyachko models for unitary representations of ${\rm GL}_{n}(F)$ over a non-archimedean local field $F$. Our methods are purely local and are based on studying distinction within the class of ladder representations introduced by Lapid and Minguez. We classify those ladder representations that are distinguished with respect to Klyachko models. We prove the hereditary property of these models for induced representations from arbitrary finite length representations. Finally, in the other direction and in the context of admissible representations induced from ladder, we study the relation between distinction of the parabolic induction with respect to the symplectic groups and distinction of the inducing data. △ Less

Submitted 30 May, 2016; originally announced May 2016.

The harmonic analysis of lattice counting on real spherical spaces

Authors: Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: By the collective name of {\it lattice counting} we refer to a setup introduced in Duke-Rudnick-Sarnak that aim to establish a relationship between arithmetic and randomness in the context of affine symmetric spaces. In this paper we extend the geometric setup from symmetric to real spherical spaces and continue to develop the approach with harmonic analysis which was initiated in Duke-Rudnick-Sar… ▽ More By the collective name of {\it lattice counting} we refer to a setup introduced in Duke-Rudnick-Sarnak that aim to establish a relationship between arithmetic and randomness in the context of affine symmetric spaces. In this paper we extend the geometric setup from symmetric to real spherical spaces and continue to develop the approach with harmonic analysis which was initiated in Duke-Rudnick-Sarnak. △ Less

Submitted 8 April, 2016; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: Extended and revised version with 4 additional pages. To appear in Documenta math

MSC Class: 43A85; 11P21

Journal ref: Compositio Math. 152 (2016) 1385-1397

Volume growth, temperedness and integrability of matrix coefficients on a real spherical space

Authors: Friedrich Knop, Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: We apply the local structure theorem and the polar decomposition to a real spherical space Z=G/H and control the volume growth on Z. We define the Harish-Chandra Schwartz space on Z. We give a geometric criterion to ensure $L^p$-integrability of matrix coefficients on Z. We apply the local structure theorem and the polar decomposition to a real spherical space Z=G/H and control the volume growth on Z. We define the Harish-Chandra Schwartz space on Z. We give a geometric criterion to ensure $L^p$-integrability of matrix coefficients on Z. △ Less

Submitted 6 April, 2016; v1 submitted 30 July, 2014; originally announced July 2014.

Comments: Additional material of 4 pages added. To appear in J. Funct. Analysis

Journal ref: J. Funct. Analysis 271 (2016), 12-36

Invariant Functionals on the Speh representation

Authors: Dmitry Gourevitch, Siddhartha Sahi, Eitan Sayag

Abstract: We study Sp(2n,R)-invariant functionals on the spaces of smooth vectors in Speh representations of GL(2n,R). For even n we give expressions for such invariant functionals using an explicit realization of the space of smooth vectors in the Speh representations. Furthermore, we show that the functional we construct is, up to a constant, the unique functional on the Speh representation which is inv… ▽ More We study Sp(2n,R)-invariant functionals on the spaces of smooth vectors in Speh representations of GL(2n,R). For even n we give expressions for such invariant functionals using an explicit realization of the space of smooth vectors in the Speh representations. Furthermore, we show that the functional we construct is, up to a constant, the unique functional on the Speh representation which is invariant under the Siegel parabolic subgroup of Sp(2n,R). For odd n we show that the Speh representations do not admit an invariant functional with respect to the subgroup U(n) of Sp(2n,R) consisting of unitary matrices. Our construction, combined with the argument in [GOSS12], gives a purely local and explicit construction of Klyachko models for all unitary representations of GL(2n,R). △ Less

Submitted 4 October, 2015; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 14 pages. v4: minor corrections in Theorem 2.2, Lemma 2.9 and section 6

MSC Class: 20G05; 20G20; 22E45; 46T30

Journal ref: Transformation Groups: Volume 20, Issue 4 (2015), Page 1023-1042

z-Finite distributions on p-adic groups

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag, Alexander Kemarsky

Abstract: For a real reductive group G, the center $\mathfrak{z}(\mathcal{U}(\mathfrak{g}))$ of the universal enveloping algebra of the Lie algebra $\mathfrak{g}$ of G acts on the space of distributions on G. This action proved to be very useful (see e.g. [HC63, HC65, Sha74, Bar03]). Over non-Archimedean local fields, one can replace this action by the action of the Bernstein center z of G, i.e. the cente… ▽ More For a real reductive group G, the center $\mathfrak{z}(\mathcal{U}(\mathfrak{g}))$ of the universal enveloping algebra of the Lie algebra $\mathfrak{g}$ of G acts on the space of distributions on G. This action proved to be very useful (see e.g. [HC63, HC65, Sha74, Bar03]). Over non-Archimedean local fields, one can replace this action by the action of the Bernstein center z of G, i.e. the center of the category of smooth representations. However, this action is not well studied. In this paper we provide some tools to work with this action and prove the following results. 1) The wave-front set of any z-finite distribution on G over any point $g\in G$ lies inside the nilpotent cone of $T_g^*G \cong \mathfrak{g}$. 2) Let $H_1,H_2 \subset G$ be symmetric subgroups. Consider the space J of $H_1\times H_2$-invariant distributions on G. We prove that the z-finite distributions in J form a dense subspace. In fact we prove this result in wider generality, where the groups $H_i$ are spherical groups of certain type and the invariance condition is replaced by equivariance. Further we apply those results to density and regularity of spherical characters. The first result can be viewed as a version of Howe's expansion of characters. The second result can be viewed as a spherical space analog of a classical theorem on density of characters of admissible representations. It can also be viewed as a spectral version of Bernstein's localization principle. In the Archimedean case, the first result is well-known and the second remains open. △ Less

Submitted 4 September, 2015; v1 submitted 11 May, 2014; originally announced May 2014.

Comments: 27 pages. v2:version to appear in Advances in Mathematics

MSC Class: 20G05; 20G25; 22E35; 46F99

Journal ref: Advances in Mathematics 285 (2015) 1376-1414

Simple compactifications and polar decomposition of homogeneous real spherical spaces

Authors: Friedrich Knop, Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: Let Z be an algebraic homogeneous space Z=G/H attached to real reductive Lie group G. We assume that Z is real spherical, i.e., minimal parabolic subgroups have open orbits on Z. For such spaces we investigate their large scale geometry and provide a polar decomposition. This is obtained from the existence of simple compactifications of Z which is established in this paper. Let Z be an algebraic homogeneous space Z=G/H attached to real reductive Lie group G. We assume that Z is real spherical, i.e., minimal parabolic subgroups have open orbits on Z. For such spaces we investigate their large scale geometry and provide a polar decomposition. This is obtained from the existence of simple compactifications of Z which is established in this paper. △ Less

Submitted 30 July, 2014; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: Extended revised version. Section 5 with a systematic study of the compression (or valuation) cone is new

MSC Class: 22F30; 22E46; 53C35; 22E40

Journal ref: Selecta Math. (N.S.) 21 (2015), no. 3, 1071-1097

Decay of matrix coefficients on reductive homogeneous spaces of spherical type

Authors: Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: Let Z be a homogeneous space Z=G/H of a real reductive Lie group G with a reductive subgroup H. The investigation concerns the quantitative decay of matrix coefficients on $Z$ under the assumption that Z is of spherical type, that is, minimal parabolic subgroups have open orbits on Z. Let Z be a homogeneous space Z=G/H of a real reductive Lie group G with a reductive subgroup H. The investigation concerns the quantitative decay of matrix coefficients on $Z$ under the assumption that Z is of spherical type, that is, minimal parabolic subgroups have open orbits on Z. △ Less

Submitted 10 March, 2014; v1 submitted 13 November, 2012; originally announced November 2012.

MSC Class: 22E46; 22F30; 53C35

Journal ref: Mathematische Zeitschrift, 2014

Vanishing at infinity on homogeneous spaces of reductive type

Authors: Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: Let G be a real reductive group and Z=G/H a unimodular homogeneous G-space. The space Z is said to satisfy VAI if all smooth vectors in the Banach representations L^{p}(Z) vanish at infinity, 1 <=p. For H connected we show that Z satisfies VAI if and only if it is of reductive type. Let G be a real reductive group and Z=G/H a unimodular homogeneous G-space. The space Z is said to satisfy VAI if all smooth vectors in the Banach representations L^{p}(Z) vanish at infinity, 1 <=p. For H connected we show that Z satisfies VAI if and only if it is of reductive type. △ Less

Submitted 10 December, 2014; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: An assumption that G/H is algebraic is added to deduce the volume estimate needed for the if direction of the main result. A shorter proof and improved exposition of the "only if direction" of the main result

MSC Class: 22F30; 22E46; 53C35

Journal ref: Compositio Mathematica 152 (2016) 1385-1397

Descent Construction for GSpin Groups

Authors: Joseph Hundley, Eitan Sayag

Abstract: In this paper we provide an extension of the theory of descent of Ginzburg-Rallis- Soudry to the context of essentially self-dual representations, that is representations which are isomorphic to the twist of their own contragredient by some Hecke character. Our theory supplements the recent work of Asgari-Shahidi on the functorial lift from (split and quasisplit forms of) GSpin(2n) to GL(2n). In this paper we provide an extension of the theory of descent of Ginzburg-Rallis- Soudry to the context of essentially self-dual representations, that is representations which are isomorphic to the twist of their own contragredient by some Hecke character. Our theory supplements the recent work of Asgari-Shahidi on the functorial lift from (split and quasisplit forms of) GSpin(2n) to GL(2n). △ Less

Submitted 16 October, 2012; v1 submitted 31 October, 2011; originally announced October 2011.

Existence of Klyachko Models for GL(n;R) and GL(n;C)

Authors: Dmitry Gourevitch, Omer OFfen, Siddhartha Sahi, Eitan Sayag

Abstract: We prove that any unitary representation of GL(n;R) and GL(n;C) admits an equivariant linear form with respect to one of the subgroups considered by Klyachko. We prove that any unitary representation of GL(n;R) and GL(n;C) admits an equivariant linear form with respect to one of the subgroups considered by Klyachko. △ Less

Submitted 22 July, 2011; originally announced July 2011.

MSC Class: 22E46; 22E50

Journal ref: Journal of Functional Analysis Volume 262, Issue 8, 2012, Pages 3585-3601

Decay on homogeneous spaces of reductive type

Authors: Bernhard Krotz, Eitan Sayag, Henrik Schlichtkrull

Abstract: In this paper we explore homogeneous spaces Z=G/H of a a real reductive Lie group G with a closed connected subgroup H. The investigation concerns the decay at infinity of smooth functions on Z, and L^p-integrability of matrix coefficients. These results are used in a study of the asymptotic density of lattice points on Z. Explicit examples are given of spaces for which results are new. In this paper we explore homogeneous spaces Z=G/H of a a real reductive Lie group G with a closed connected subgroup H. The investigation concerns the decay at infinity of smooth functions on Z, and L^p-integrability of matrix coefficients. These results are used in a study of the asymptotic density of lattice points on Z. Explicit examples are given of spaces for which results are new. △ Less

Submitted 13 November, 2012; v1 submitted 7 June, 2011; originally announced June 2011.

Comments: Withdrawn by the authors. Lemma 7.6 is false as stated, and Appendix B is flawed. Corrected and reorganized versions of the material will be posted in papers with different titles

MSC Class: 22F30; 22E46; 53C35; 22E40

Invariant measures on homogeneous spaces, with applications to function spaces and lattice counting

Authors: Bernhard Krötz, Eitan Sayag, Henrik Schlichtkrull

Abstract: Let G be a real reductive group and G/H a unimodular homogeneous G space with a closed connected subgroup H. We establish estimates for the invariant measure on G/H. Using these, we prove that all smooth vectors in the Banach representation L^p(G/H) of G are functions that vanish at infinity if and only if G/H is of reductive type. An application to lattice counting on G/H is presented. Let G be a real reductive group and G/H a unimodular homogeneous G space with a closed connected subgroup H. We establish estimates for the invariant measure on G/H. Using these, we prove that all smooth vectors in the Banach representation L^p(G/H) of G are functions that vanish at infinity if and only if G/H is of reductive type. An application to lattice counting on G/H is presented. △ Less

Submitted 20 June, 2011; v1 submitted 12 April, 2010; originally announced April 2010.

Comments: An expanded version entitled "Decay on homogeneous spaces of reductive type" was posted as article 1106.1331

High Spatial Resolution Fast-Neutron Imaging Detectors for Pulsed Fast-Neutron Transmission Spectroscopy

Authors: I. Mor, D. Vartsky, D. Bar, G. Feldman, M. B. Goldberg, D. Katz, E. Sayag, I. Shmueli, Y. Cohen, A. Tal, Z. Vagish, B. Bromberger, V. Dangendorf, D. Mugai, K. Tittelmeier, M. Weierganz

Abstract: Two generations of a novel detector for high-resolution transmission imaging and spectrometry of fast-neutrons are presented. These devices are based on a hydrogenous fiber scintillator screen and single- or multiple-gated intensified camera systems (ICCD). This detector is designed for energy-selective neutron radiography with nanosecond-pulsed broad-energy (1 - 10 MeV) neutron beams. Utilizing… ▽ More Two generations of a novel detector for high-resolution transmission imaging and spectrometry of fast-neutrons are presented. These devices are based on a hydrogenous fiber scintillator screen and single- or multiple-gated intensified camera systems (ICCD). This detector is designed for energy-selective neutron radiography with nanosecond-pulsed broad-energy (1 - 10 MeV) neutron beams. Utilizing the Time-of-Flight (TOF) method, such a detector is capable of simultaneously capturing several images, each at a different neutron energy (TOF). In addition, a gamma-ray image can also be simultaneously registered, allowing combined neutron/gamma inspection of objects. This permits combining the sensitivity of the fast-neutron resonance method to low-Z elements with that of gamma radiography to high-Z materials. △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: Also published in JINST: http://www.iop.org/EJ/abstract/1748-0221/4/05/P05016

Generalized Harish-Chandra descent, Gelfand pairs and an Archimedean analog of Jacquet-Rallis' Theorem

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Abstract: In the first part of the paper we generalize a descent technique due to Harish-Chandra to the case of a reductive group acting on a smooth affine variety both defined over an arbitrary local field F of characteristic zero. Our main tool is the Luna Slice Theorem. In the second part of the paper we apply this technique to symmetric pairs. In particular we prove that the pairs (GL(n+k,F), GL(n,F)… ▽ More In the first part of the paper we generalize a descent technique due to Harish-Chandra to the case of a reductive group acting on a smooth affine variety both defined over an arbitrary local field F of characteristic zero. Our main tool is the Luna Slice Theorem. In the second part of the paper we apply this technique to symmetric pairs. In particular we prove that the pairs (GL(n+k,F), GL(n,F) x GL(k,F)) and (GL(n,E), GL(n,F)) are Gelfand pairs for any local field F and its quadratic extension E. In the non-Archimedean case, the first result was proven earlier by Jacquet and Rallis and the second by Flicker. We also prove that any conjugation invariant distribution on GL(n,F) is invariant with respect to transposition. For non-Archimedean F the latter is a classical theorem of Gelfand and Kazhdan. △ Less

Submitted 26 March, 2015; v1 submitted 30 December, 2008; originally announced December 2008.

Comments: A merge of arXiv:0803.3395 and arXiv:0803.3397 (with no additional material). Appendix D by Avraham Aizenbud, Dmitry Gourevitch and Eitan Sayag. v2,v3: minor changes. v4: correction in the speciality criterion (7.3.7). v5: minor correction in the proof of Proposition 7.2.1

MSC Class: 20C99; 20G05; 20G25; 22E45; 46F10; 14L24

Journal ref: Duke Math. J. 149, no. 3 (2009), 509-567

Invariant distributions on non-distinguished nilpotent orbits with application to the Gelfand property of (GL(2n,R),Sp(2n,R))

Authors: Avraham Aizenbud, Eitan Sayag

Abstract: We study invariant distributions on the tangent space to a symmetric space. We prove that an invariant distribution with the property that both its support and the support of its Fourier transform are contained in the set of non-distinguished nilpotent orbits, must vanish. We deduce, using recent developments in the theory of invariant distributions on symmetric spaces that the symmetric pair (G… ▽ More We study invariant distributions on the tangent space to a symmetric space. We prove that an invariant distribution with the property that both its support and the support of its Fourier transform are contained in the set of non-distinguished nilpotent orbits, must vanish. We deduce, using recent developments in the theory of invariant distributions on symmetric spaces that the symmetric pair (GL(2n,R),Sp(2n,R)) is a Gelfand pair. More precisely, we show that for any irreducible smooth admissible Frechet representation $(π,E)$ of GL(2n,R) the space of continuous functionals $Hom_{Sp_{2n}(R)}(E,C)$ is at most one dimensional. Such a result was previously proven for p-adic fields in [HR] for the field of complex numbers in [S]. △ Less

Submitted 10 October, 2008; originally announced October 2008.

Comments: 11 pages

MSC Class: 20G05; 22E45; 20C99; 46F10

Finite Word Length Effects on Transmission Rate in Zero Forcing Linear Precoding for Multichannel DSL

Authors: Eitan Sayag, Amir Leshem, Nikolaos D. Sidiropoulos

Abstract: Crosstalk interference is the limiting factor in transmission over copper lines. Crosstalk cancelation techniques show great potential for enabling the next leap in DSL transmission rates. An important issue when implementing crosstalk cancelation techniques in hardware is the effect of finite world length on performance. In this paper we provide an analysis of the performance of linear zero-for… ▽ More Crosstalk interference is the limiting factor in transmission over copper lines. Crosstalk cancelation techniques show great potential for enabling the next leap in DSL transmission rates. An important issue when implementing crosstalk cancelation techniques in hardware is the effect of finite world length on performance. In this paper we provide an analysis of the performance of linear zero-forcing precoders, used for crosstalk compensation, in the presence of finite word length errors. We quantify analytically the trade off between precoder word length and transmission rate degradation. More specifically, we prove a simple formula for the transmission rate loss as a function of the number of bits used for precoding, the signal to noise ratio, and the standard line parameters. We demonstrate, through simulations on real lines, the accuracy of our estimates. Moreover, our results are stable in the presence of channel estimation errors. Finally, we show how to use these estimates as a design tool for DSL linear crosstalk precoders. For example, we show that for standard VDSL2 precoded systems, 14 bits representation of the precoder entries results in capacity loss below 1% for lines over 300m. △ Less

Submitted 9 October, 2008; originally announced October 2008.

The SL(2)-type and Base Change

Authors: Omer Offen, Eitan Sayag

Abstract: The SL(2)-type of any smooth, irreducible and unitarizable representation of GL(n) over a p-adic field was defined by Venkatesh. We provide a natural way to extend the definition to all smooth and irreducible representations. For unitarizable representations we show that the SL(2)-type of a representation is preserved under base change with respect to any finite extension. The Klyachko model of… ▽ More The SL(2)-type of any smooth, irreducible and unitarizable representation of GL(n) over a p-adic field was defined by Venkatesh. We provide a natural way to extend the definition to all smooth and irreducible representations. For unitarizable representations we show that the SL(2)-type of a representation is preserved under base change with respect to any finite extension. The Klyachko model of a smooth, irreducible and unitarizable representation πof GL(n) depends only on the SL(2)-type of π. As a consequence we observe that the Klyachko model of πand of its base-change are of the same type. △ Less

Submitted 25 August, 2008; originally announced August 2008.

Comments: 10 pages

Descent Construction for Gspin Groups: Main Results and Applications

Authors: Joseph Hundley, Eitan Sayag

Abstract: The purpose of this note is to announce an extension of the descent method of Ginzburg, Rallis and Soudry to the setting of essentially self dual representations. This extension of the descent construction provides a complement to recent work of Asgari and Shahidi on the generic transfer for general Spin groups as well as to the work of Asgari and Raghuram on cuspidality of the exterior square l… ▽ More The purpose of this note is to announce an extension of the descent method of Ginzburg, Rallis and Soudry to the setting of essentially self dual representations. This extension of the descent construction provides a complement to recent work of Asgari and Shahidi on the generic transfer for general Spin groups as well as to the work of Asgari and Raghuram on cuspidality of the exterior square lift for representations of GL4. Complete proofs of the results announced in the present note will appear in our forthcoming articles. △ Less

Submitted 8 December, 2008; v1 submitted 16 August, 2008; originally announced August 2008.

Comments: The statement of the main results has been corrected to include the assumption that the cuspidal representations in the isobaric sums must be distinct

MSC Class: 32N10

On Unitary Representations of GL2n Distinguished by the Symplectic Group

Authors: Omer Offen, Eitan Sayag

Abstract: We provide a family of representations of GL(2n) over a p-adic field that admit a non-vanishing linear functional invariant under the symplectic group (i.e. representations that are Sp(2n)- distinguished). While our result generalizes a result of M. Heumos and S. Rallis our methods, unlike their purely local technique, re- lies on the theory of automorphic forms. The results of this paper togeth… ▽ More We provide a family of representations of GL(2n) over a p-adic field that admit a non-vanishing linear functional invariant under the symplectic group (i.e. representations that are Sp(2n)- distinguished). While our result generalizes a result of M. Heumos and S. Rallis our methods, unlike their purely local technique, re- lies on the theory of automorphic forms. The results of this paper together with later works by the authors imply that the family of representations studied in this paper contains all irreducible, unitary representations of the general linear group that are distin- guished by the symplectic group. △ Less

Submitted 25 June, 2008; originally announced June 2008.

Comments: Two references added and minor editing of the published version

Journal ref: Journal of Number Theory No.125, 2007

(GL(2n,C),SP(2n,C)) is a Gelfand Pair

Authors: Eitan Sayag

Abstract: We prove that (GL_{2n}(C),Sp_{2n}(C)) is a Gelfand pair. More precisely, we show that for an irreducible smooth admissible Frechet representation (π,E) of GL_{2n}(C) the space of continuous functionals Hom_{Sp_{2n}(\cc)}(E,C) is at most one dimensional. For this we show that any distribution on GL_{2n}(C) invariant with respect to the double action Sp_{2n}(C) \times Sp_{2n}(C) is transposition i… ▽ More We prove that (GL_{2n}(C),Sp_{2n}(C)) is a Gelfand pair. More precisely, we show that for an irreducible smooth admissible Frechet representation (π,E) of GL_{2n}(C) the space of continuous functionals Hom_{Sp_{2n}(\cc)}(E,C) is at most one dimensional. For this we show that any distribution on GL_{2n}(C) invariant with respect to the double action Sp_{2n}(C) \times Sp_{2n}(C) is transposition invariant. Such a result was previously proven for p-adic fields by M. Heumos and S. Rallis. △ Less

Submitted 19 May, 2008; originally announced May 2008.

Comments: 10 pages

MSC Class: 22E; 22E45; 20G05; 20G25; 46F99

Generalized Harish-Chandra descent and applications to Gelfand pairs

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Abstract: In the first part of the paper we generalize a descent technique due to Harish-Chandra to the case of a reductive group acting on a smooth affine variety both defined over arbitrary local field F of characteristic zero. Our main tool is Luna slice theorem. In the second part of the paper we apply this technique to symmetric pairs. In particular we prove that the pair (GL(n,C),GL(n,R)) is a Gel… ▽ More In the first part of the paper we generalize a descent technique due to Harish-Chandra to the case of a reductive group acting on a smooth affine variety both defined over arbitrary local field F of characteristic zero. Our main tool is Luna slice theorem. In the second part of the paper we apply this technique to symmetric pairs. In particular we prove that the pair (GL(n,C),GL(n,R)) is a Gelfand pair. We also prove that any conjugation invariant distribution on GL(n,F) is invariant with respect to transposition. For non-archimedean F the later is a classical theorem of Gelfand and Kazhdan. We use the techniques developed here in our subsequent work [AG3] where we prove an archimedean analog of the theorem on uniqueness of linear periods by H. Jacquet and S. Rallis. △ Less

Submitted 17 May, 2009; v1 submitted 24 March, 2008; originally announced March 2008.

Comments: 34 pages, 1 figure. v2: A proof of a version of localization principle inserted. v3: minor changes. v4: definition of symmetric pair slightly changed. v5: minor changes + lemma D.0.3 added for clarification. v6: minor changes - see Theorem 4.0.5. v7:minor changes. Appendix A by Avraham Aizenbud, Dmitry Gourevitch and Eitan Sayag

MSC Class: 20C99; 20G05; 20G25; 22E45; 46F10; 14L24; 14L30

Uniqueness and disjointness of Klyachko models

Authors: Omer Offen, Eitan Sayag

Abstract: We show the uniqueness and disjointness of Klyachko models for GL(n,F) over a non-archimedean local field F. This completes, in particular, the study of Klyachko models on the unitary dual. Our local results imply a global rigidity property for the discrete automorphic spectrum. We show the uniqueness and disjointness of Klyachko models for GL(n,F) over a non-archimedean local field F. This completes, in particular, the study of Klyachko models on the unitary dual. Our local results imply a global rigidity property for the discrete automorphic spectrum. △ Less

Submitted 19 November, 2007; originally announced November 2007.

MSC Class: 22E50; 11F70

(O(V+F), O(V)) is a Gelfand pair for any quadratic space V over a local field F

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Abstract: Let V be a quadratic space with a form q over an arbitrary local field F of characteristic different from 2. Let $W=V \oplus Fe$ with the form Q extending q with Q(e)=1. Consider the standard embedding of O(V) into O(W) and the two-sided action of $O(V)\times O(V)$ on $O(W)$. In this note we show that any $O(V)\times O(V)$-invariant distribution on O(W) is invariant with respect to transpositi… ▽ More Let V be a quadratic space with a form q over an arbitrary local field F of characteristic different from 2. Let $W=V \oplus Fe$ with the form Q extending q with Q(e)=1. Consider the standard embedding of O(V) into O(W) and the two-sided action of $O(V)\times O(V)$ on $O(W)$. In this note we show that any $O(V)\times O(V)$-invariant distribution on O(W) is invariant with respect to transposition. This result was earlier proven in a bit different form in [vD] for F=R, in [AvD] for F=C and in [BvD] for p-adic fields. Here we give a different proof. Using results from [AGS], we show that this result on invariant distributions implies that the pair (O(V),O(W)) is a Gelfand pair. In the archimedean setting this means that for any irreducible admissible smooth Frechet representation E of O(W) we have $dim Hom_{O(V)}(E,C) \leq 1.$ A stronger result for p-adic fields is obtained in [AGRS]. △ Less

Submitted 17 May, 2009; v1 submitted 9 November, 2007; originally announced November 2007.

Comments: 6 pages. v4: Formulation of Localization principle changed. v5: a minor change

MSC Class: 22E; 22E45; 20G05; 20G25; 46F99

Journal ref: Mathematische Zeitschrift. Volume 261, Number 2 Feb 2009

Global Mixed Periods and local Klyachko models for the general linear group

Authors: Omer Offen, Eitan Sayag

Abstract: We show that every irreducible representation in the discrete automorphic spectrum of GL(n) admits a non vanishing mixed (Whittaker-symplectic) period integral. The analog local problem is a study of models first considered by Klyachko over a finite field. Locally, we show that for a p-adic field F every irreducible, unitary representation of GL(n,F) has a Klyachko model. We show that every irreducible representation in the discrete automorphic spectrum of GL(n) admits a non vanishing mixed (Whittaker-symplectic) period integral. The analog local problem is a study of models first considered by Klyachko over a finite field. Locally, we show that for a p-adic field F every irreducible, unitary representation of GL(n,F) has a Klyachko model. △ Less

Submitted 18 October, 2007; originally announced October 2007.

Comments: 22 pages

MSC Class: 22E50; 11F67

(GL(n+1,F),GL(n,F)) is a Gelfand pair for any local field F

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eitan Sayag

Abstract: Let F be an arbitrary local field. Consider the standard embedding of GL(n,F) into GL(n+1,F) and the two-sided action of GL(n,F) \times GL(n,F) on GL(n+1,F). In this paper we show that any GL(n,F) \times GL(n,F)-invariant distribution on GL(n+1,F) is invariant with respect to transposition. We show that this implies that the pair (GL(n+1,F),GL(n,F)) is a Gelfand pair. Namely, for any irreduc… ▽ More Let F be an arbitrary local field. Consider the standard embedding of GL(n,F) into GL(n+1,F) and the two-sided action of GL(n,F) \times GL(n,F) on GL(n+1,F). In this paper we show that any GL(n,F) \times GL(n,F)-invariant distribution on GL(n+1,F) is invariant with respect to transposition. We show that this implies that the pair (GL(n+1,F),GL(n,F)) is a Gelfand pair. Namely, for any irreducible admissible representation $(π,E)$ of (GL(n+1,F), $$dimHom_{GL(n,F)}(E,\cc) \leq 1.$$ For the proof in the archimedean case we develop several new tools to study invariant distributions on smooth manifolds. △ Less

Submitted 17 May, 2009; v1 submitted 9 September, 2007; originally announced September 2007.

Comments: v3: Archimedean Localization principle excluded due to a gap in its proof. Another version of Localization principle can be found in arXiv:0803.3395v2 [RT]. v4: an inaccuracy with Bruhat filtration fixed. See Theorem 4.2.1 and Appendix B

MSC Class: 22E; 22E45; 20G05; 20G25; 46F99

Journal ref: Compositio Mathematica, Volume 144, pp 1504-1524 November 2008