Showing 1–50 of 51 results for author: Aizenbud, A

Analytic holonomicity of real C$^{\mathrm{exp}}$-class distributions

Authors: Avraham Aizenbud, Raf Cluckers, Michel Raibaut, Tamara Servi

Abstract: We introduce a notion of distributions on $\mathbb{R}^n$, called distributions of C$^{\mathrm{exp}}$-class, based on wavelet transforms of distributions and the theory from [6] about C$^{\mathrm{exp}}$-class functions. We prove that the framework of C$^{\mathrm{exp}}$-class distributions is closed under natural operations, like push-forward, pull-back, derivation and antiderivation, and, in the te… ▽ More We introduce a notion of distributions on $\mathbb{R}^n$, called distributions of C$^{\mathrm{exp}}$-class, based on wavelet transforms of distributions and the theory from [6] about C$^{\mathrm{exp}}$-class functions. We prove that the framework of C$^{\mathrm{exp}}$-class distributions is closed under natural operations, like push-forward, pull-back, derivation and antiderivation, and, in the tempered case, Fourier transforms. Our main result is the (real analytic) holonomicity of all distributions of C$^{\mathrm{exp}}$-class. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Quotients of Nash Manifolds by Equivalence Relations

Authors: Avraham Aizenbud, Shachar Carmeli, Dmitry Gourevitch, Lev Radzivilovski

Abstract: We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$. We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 18 pages, comments are welcome

Report number: CPH-GEOTOP-DNRF151 MSC Class: 14P20; 58A07

Geometric representations of group actions

Authors: Avraham Aizenbud, Uri Bader

Abstract: We study equivariant morphisms from zero dimensional schemes to varieties and show that, under suitable assumptions, all such morphisms factor via a canonical one. We relate the above to Algebraic Representations of Ergodic Actions. We study equivariant morphisms from zero dimensional schemes to varieties and show that, under suitable assumptions, all such morphisms factor via a canonical one. We relate the above to Algebraic Representations of Ergodic Actions. △ Less

Submitted 3 April, 2023; originally announced April 2023.

MSC Class: 14L30; 22D40

Symplectic complexity of reductive group actions

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: Let a complex algebraic reductive group $\bf G$ act on a complex algebraic manifold $\bf X$. For a $\bf G$-invariant subvariety $Ξ$ of the nilpotent cone $\mathcal{N}(\mathfrak{g}^*)\subset \mathfrak{g}^*$ we define a notion of $Ξ$-symplectic complexity of $\bf X$. This notion generalizes the notion of complexity defined in [Vin86]. We prove several properties of this notion, and relate it to the… ▽ More Let a complex algebraic reductive group $\bf G$ act on a complex algebraic manifold $\bf X$. For a $\bf G$-invariant subvariety $Ξ$ of the nilpotent cone $\mathcal{N}(\mathfrak{g}^*)\subset \mathfrak{g}^*$ we define a notion of $Ξ$-symplectic complexity of $\bf X$. This notion generalizes the notion of complexity defined in [Vin86]. We prove several properties of this notion, and relate it to the notion of $Ξ$-complexity defined in [AG] motivated by its relation with representation theory. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 10 p

MSC Class: 20G07; 14L30; 53D20; 53D12; 43A85; 20G05; 14L24

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

Bounds on multiplicities of symmetric pairs of finite groups

Authors: Nir Avni, Avraham Aizenbud

Abstract: Let $Γ$ be a finite group, let $θ$ be an involution of $Γ$, and let $ρ$ be an irreducible complex representation of $Γ$. We bound $\dim ρ^{Γ^θ}$ in terms of the smallest dimension of a faithful $\mathbb{F}_p$-representation of $Γ/Rad_p(Γ)$, where $p$ is any odd prime and $Rad_p(Γ)$ is the maximal normal $p$-subgroup of $Γ$. This implies, in particular, that if $\mathbf{G}$ is a group scheme over… ▽ More Let $Γ$ be a finite group, let $θ$ be an involution of $Γ$, and let $ρ$ be an irreducible complex representation of $Γ$. We bound $\dim ρ^{Γ^θ}$ in terms of the smallest dimension of a faithful $\mathbb{F}_p$-representation of $Γ/Rad_p(Γ)$, where $p$ is any odd prime and $Rad_p(Γ)$ is the maximal normal $p$-subgroup of $Γ$. This implies, in particular, that if $\mathbf{G}$ is a group scheme over $\mathbb{Z}$ and $θ$ is an involution of $\mathbf{G}$, then the multiplicity of any irreducible representation in $C^\infty \left( \mathbf{G}(\mathbb{Z}_p)/ \mathbf{G} ^θ(\mathbb{Z}_p) \right)$ is bounded, uniformly in $p$. △ Less

Submitted 27 August, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 44 pages; Version 2 - minor corrections

MSC Class: 20C15; 20G25; 43A85

Journal ref: Forum of Mathematics, Sigma 12 (2024) e73

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

Correction to: Representation Growth and Rational Singularities of the Moduli Space of Local Systems

Authors: Avraham Aizenbud, Nir Avni, Roberto Rubio

Abstract: We explain and correct a mistake in Section 2.6 and Appendix C of the first and second author's paper "Representation Growth and Rational Singularities of the Moduli Space of Local Systems" arXiv:1307.0371. We explain and correct a mistake in Section 2.6 and Appendix C of the first and second author's paper "Representation Growth and Rational Singularities of the Moduli Space of Local Systems" arXiv:1307.0371. △ Less

Submitted 11 April, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 3 pages, 2 figures, to appear in Inventiones Mathematicae

Journal ref: Invent. Math. 227 (2022), no. 3, 1431-1434

McKay trees

Authors: Avraham Aizenbud, Inna Entova-Aizenbud

Abstract: Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a… ▽ More Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs. In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise. Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests. △ Less

Submitted 30 July, 2022; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: Ver2: Theorem A and its proof corrected, many examples added

Finite multiplicities beyond spherical spaces

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: Let $G$ be a real reductive algebraic group, and let $H\subset G$ be an algebraic subgroup. It is known that the action of $G$ on the space of functions on $G/H$ is "tame" if this space is spherical. In particular, the multiplicities of the space $\mathcal{S}(G/H)$ of Schwartz functions on $G/H$ are finite in this case. In this paper we formulate and analyze a generalization of sphericity that imp… ▽ More Let $G$ be a real reductive algebraic group, and let $H\subset G$ be an algebraic subgroup. It is known that the action of $G$ on the space of functions on $G/H$ is "tame" if this space is spherical. In particular, the multiplicities of the space $\mathcal{S}(G/H)$ of Schwartz functions on $G/H$ are finite in this case. In this paper we formulate and analyze a generalization of sphericity that implies finite multiplicities in $\mathcal{S}(G/H)$ for small enough irreducible representations of $G$. △ Less

Submitted 19 March, 2023; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: 31p. Appendix B by Ido Karshon. v4: extended version - added results on the homogeneous case and branching problems - see sections 1.1 and 1.2

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

Relative de Rham Theory on Nash Manifolds

Authors: Avraham Aizenbud, Shachar Carmeli

Abstract: For a Nash submersion $φ\colon X\to Y$, we study the complex $\mathcal{SDR}(φ)$ of Schwartz sections of the relative de Rham complex of $φ$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and prove that $\mathcal{SDR}(φ)$ is homotopy equivalent to the Schwartz sections of the proper push-forward $φ_!\mathbb{R}_X$ of the constant sheaf $\mathbb{R}_X$. Using thi… ▽ More For a Nash submersion $φ\colon X\to Y$, we study the complex $\mathcal{SDR}(φ)$ of Schwartz sections of the relative de Rham complex of $φ$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and prove that $\mathcal{SDR}(φ)$ is homotopy equivalent to the Schwartz sections of the proper push-forward $φ_!\mathbb{R}_X$ of the constant sheaf $\mathbb{R}_X$. Using this equivalence, we show that $\mathcal{SDR}(φ)$ depends (up to homotopy equivalence) only on the homology type of the map $φ$. We also deduce that $\mathcal{SDR}(φ)$ has Hausdorff homology spaces. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 70 pages

MSC Class: 14P20; 58A07; 18N99; 46A11

A binary operation on irreducible components of Lusztig's nilpotent varieties {I}: definition and properties

Authors: Avraham Aizenbud, Erez Lapid

Abstract: We define a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. We study commutativity, cancellativity and associativity of this operation. We focus on rigid irreducible components and discuss inductive ways to construct them. We define a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. We study commutativity, cancellativity and associativity of this operation. We focus on rigid irreducible components and discuss inductive ways to construct them. △ Less

Submitted 21 March, 2022; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: final version

The Gelfand-Kazhdan criterion as a necessary and sufficient criterion

Authors: Avraham Aizenbud

Abstract: We show that under certain conditions the Gelfand-Kazhdan criterion for the Gelfand property is a necessary condition. We work in the generality of finite groups, however part of the argument carries over to p-adic and real groups. We show that under certain conditions the Gelfand-Kazhdan criterion for the Gelfand property is a necessary condition. We work in the generality of finite groups, however part of the argument carries over to p-adic and real groups. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Pointwise surjective presentations of stacks

Authors: Avraham Aizenbud, Nir Avni

Abstract: We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed field $F$. Under some additional conditions on $\mathfrak{X}$, we show the same for all perfect fields. We prove similar results for (some) Henselian rings. We… ▽ More We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed field $F$. Under some additional conditions on $\mathfrak{X}$, we show the same for all perfect fields. We prove similar results for (some) Henselian rings. We give two applications of the main result. One is to counting isomorphism classes of stacks over the rings $\mathbb{Z}/p^n$; the other is about the relation between real algebraic and Nash stacks. △ Less

Submitted 24 December, 2019; originally announced December 2019.

Comments: 20 pages

WF-holonomicity of C-exp-class distributions on non-archimedean local fields

Authors: Avraham Aizenbud, Raf Cluckers

Abstract: In the context of geometry and analysis on non-archimedean local fields, we study two recent notions, $C^{\mathrm exp}$-class distributions from [11] and WF-holonomicity from [1], and we show that any distribution of $C^{\mathrm exp}$-class is WF-holonomic. Thus we answer a question from [1] by providing a framework of WF-holonomic distributions for non-archimedean local fields which is stable und… ▽ More In the context of geometry and analysis on non-archimedean local fields, we study two recent notions, $C^{\mathrm exp}$-class distributions from [11] and WF-holonomicity from [1], and we show that any distribution of $C^{\mathrm exp}$-class is WF-holonomic. Thus we answer a question from [1] by providing a framework of WF-holonomic distributions for non-archimedean local fields which is stable under taking Fourier transforms and which contains many natural distributions, in particular, the distributions studied in [1]. We further show that one can regularize distributions without leaving the $C^{\mathrm exp}$-class. Finally, we show a close link between zero loci and smooth loci for functions and distributions of $C^{\mathrm exp}$-class, by proving a converse to a result of [11]. A key ingredient is a new resolution result for subanalytic functions (by alterations), based on embedded resolution for analytic functions and model theory. △ Less

Submitted 19 September, 2019; originally announced September 2019.

Multiplicity one theorems for the generalized doubling method

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eyal Kaplan

Abstract: In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $γ$-, $ε$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of characteristic 0. We also present two applications: one to the existence of local factors for genuine representations of covering groups, the other to the global unfolding argument of… ▽ More In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $γ$-, $ε$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of characteristic 0. We also present two applications: one to the existence of local factors for genuine representations of covering groups, the other to the global unfolding argument of the doubling integral. △ Less

Submitted 8 March, 2021; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: To be published in the J. Eur. Math. Soc. The main body of the paper by Dmitry Gourevitch and Eyal Kaplan. Appendix A by Avraham Aizenbud and Dmitry Gourevitch. V2: Appendix A added

MSC Class: 11F70 (Primary); 11F55; 11F66; 20G20; 22E30; 22E50; 22E45; 22E55 (Secondary)

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

Invariant generalized functions supported on an orbit

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: We study the space of invariant generalized functions supported on an orbit of the action of a real algebraic group on a real algebraic manifold. This space is equipped with the Bruhat filtration. We study the generating function of the dimensions of the filtras, and give some methods to compute it. To illustrate our methods we compute those generating functions for the adjoint action of… ▽ More We study the space of invariant generalized functions supported on an orbit of the action of a real algebraic group on a real algebraic manifold. This space is equipped with the Bruhat filtration. We study the generating function of the dimensions of the filtras, and give some methods to compute it. To illustrate our methods we compute those generating functions for the adjoint action of $\mathrm{GL}_3(\mathbb{C})$. Our main tool is the notion of generalized functions on a real algebraic stack, introduced recently by Sakellaridis. △ Less

Submitted 2 January, 2017; originally announced January 2017.

Comments: 10 pages

MSC Class: 22E45; 46F10; 14L24

Autoequivalences of the category of schemes

Authors: Avraham Aizenbud, Adam Gal

Abstract: We prove that there is no non-trivial aoutoequvivalence of the categoryof schemes of finite type over $\mathbb{Q}$. We prove that there is no non-trivial aoutoequvivalence of the categoryof schemes of finite type over $\mathbb{Q}$. △ Less

Submitted 23 November, 2016; originally announced November 2016.

Bounds on multiplicities of spherical spaces over finite fields

Authors: Avraham Aizenbud, Nir Avni

Abstract: Let $G$ be a reductive group scheme of type $A$ acting on a spherical scheme $X$. We prove that there exists a number $C$ such that the multiplicity $\dim Hom(ρ,\mathbb{C}[X(F)])$ is bounded by $C$, for any finite field $F$ and any irreducible representation $ρ$ of $G(F)$. We give an explicit bound for $C$. We conjecture that this result is true for any reductive group scheme and when $F$ ranges… ▽ More Let $G$ be a reductive group scheme of type $A$ acting on a spherical scheme $X$. We prove that there exists a number $C$ such that the multiplicity $\dim Hom(ρ,\mathbb{C}[X(F)])$ is bounded by $C$, for any finite field $F$ and any irreducible representation $ρ$ of $G(F)$. We give an explicit bound for $C$. We conjecture that this result is true for any reductive group scheme and when $F$ ranges (in addition) over all local fields of characteristic $0$. △ Less

Submitted 23 September, 2016; originally announced September 2016.

MSC Class: 20C15 (Primary); 20C15; 14M27 (Secondary)

Relative Frobenius Formula

Authors: Avraham Aizenbud, Nir Avni, Yoav Krauz

Abstract: For a finite group $G$, Frobenius found a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s}$ for even integers $s$, where $\mathrm{Irr} G$ is the set of irreducible representations of $G$. We generalize this formula to the relative case: for a subgroup $H$, we find a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s} (\dim\, π^H)^{-t}$. We app… ▽ More For a finite group $G$, Frobenius found a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s}$ for even integers $s$, where $\mathrm{Irr} G$ is the set of irreducible representations of $G$. We generalize this formula to the relative case: for a subgroup $H$, we find a formula for the values of the function $\sum_{\mathrm{Irr} G} (\dim\, π)^{-s} (\dim\, π^H)^{-t}$. We apply our results to compute the E-polynomials of Fock--Goncharov spaces and to relate the Gelfand property to the geometry of generalized Fock--Goncharov spaces. △ Less

Submitted 20 March, 2016; originally announced March 2016.

Counting points of schemes over finite rings and counting representations of arithmetic lattices

Authors: Avraham Aizenbud, Nir Avni

Abstract: We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representation… ▽ More We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representations of $Γ$ up to isomorphism. We prove that there is a constant $C$ (for example, $C=746$ suffices) such that $r_n(Γ)=O(n^C)$ for every such $Γ$. This answers a question of Larsen and Lubotzky. △ Less

Submitted 14 August, 2015; v1 submitted 24 February, 2015; originally announced February 2015.

Comments: version 2: The prove of the main theorem was simplified and a result on arithmetic algebraic geometry was added. 29 pages

MSC Class: 14G05; 14G10; 20G05; 20F69; 20G25; 14B05

Journal ref: Duke Math. J. 167, no. 14 (2018), 2721-2743

Holonomicity of relative characters and applications to multiplicity bounds for spherical pairs

Authors: Avraham Aizenbud, Dmitry Gourevitch, Andrey Minchenko

Abstract: In this paper, we prove that any relative character (a.k.a. spherical character) of any admissible representation of a real reductive group with respect to any pair of spherical subgroups is a holonomic distribution on the group. This implies that the restriction of the relative character to an open dense subset is given by an analytic function. The proof is based on an argument from algebraic geo… ▽ More In this paper, we prove that any relative character (a.k.a. spherical character) of any admissible representation of a real reductive group with respect to any pair of spherical subgroups is a holonomic distribution on the group. This implies that the restriction of the relative character to an open dense subset is given by an analytic function. The proof is based on an argument from algebraic geometry and thus implies also analogous results in the p-adic case. As an application, we give a short proof of some results from [KO13,KS16] on boundedness and finiteness of multiplicities of irreducible representations in the space of functions on a spherical space. In order to deduce this application we prove relative and quantitative analogs of the Bernstein-Kashiwara theorem, which states that the space of solutions of a holonomic system of differential equations in the space of distributions is finite-dimensional. We also deduce that, for every algebraic group $G$ defined over $\mathbb{R}$, the space of $G(\mathbb{R})$-equivariant distributions on the manifold of real points of any algebraic $G$-manifold $X$ is finite-dimensional if $G$ has finitely many orbits on $X$. △ Less

Submitted 21 April, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: 16 pages. v2: Important corrections: confusion between algebraic varieties and their real points removed. The generality of Theorem E(i) and Corollary F(i) became narrower

MSC Class: 17B08; 22E45; 22E46; 22E50; 14M27; 46F05; 32C38; 53D20

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

Vanishing of certain equivariant distributions on p-adic spherical spaces, and non-vanishing of spherical Bessel functions

Authors: Avraham Aizenbud, Dmitry Gourevitch, Alexander Kemarsky

Abstract: We prove vanishing of distribution on p-adic spherical spaces that are equivariant with respect to a generic character of the nilradical of a Borel subgroup and satisfy a certain condition on the wave-front set. We deduce from this non-vanishing of spherical Bessel functions for Galois symmetric pairs. We prove vanishing of distribution on p-adic spherical spaces that are equivariant with respect to a generic character of the nilradical of a Borel subgroup and satisfy a certain condition on the wave-front set. We deduce from this non-vanishing of spherical Bessel functions for Galois symmetric pairs. △ Less

Submitted 29 October, 2014; v1 submitted 13 April, 2014; originally announced April 2014.

Comments: 9 pages. v2: extended version, to appear in IMRN

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

Journal ref: Int Mathematics Research Notices, n 18, pp. 8471-8483 (2015)

Hausdorffness for Lie algebra homology of Schwartz spaces and applications to the comparison conjecture

Authors: Avraham Aizenbud, Dmitry Gourevitch, Bernhard Krötz, Gang Liu

Abstract: Let $H$ be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold $X$ and a real algebraic bundle $\mathcal{E}$ on $X$. Let $\mathfrak{h}$ be the Lie algebra of $H$. Let $\mathcal{S}(X,\mathcal{E})$ be the space of Schwartz sections of $\mathcal{E}$. We prove that $\mathfrak{h}\mathcal{S}(X,\mathcal{E})$ is a closed subspace of… ▽ More Let $H$ be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold $X$ and a real algebraic bundle $\mathcal{E}$ on $X$. Let $\mathfrak{h}$ be the Lie algebra of $H$. Let $\mathcal{S}(X,\mathcal{E})$ be the space of Schwartz sections of $\mathcal{E}$. We prove that $\mathfrak{h}\mathcal{S}(X,\mathcal{E})$ is a closed subspace of $\mathcal{S}(X,\mathcal{E})$ of finite codimension. We give an application of this result in the case when $H$ is a real spherical subgroup of a real reductive group $G$. We deduce an equivalence of two old conjectures due to Casselman: the automatic continuity and the comparison conjecture for zero homology. Namely, let $π$ be a Casselman-Wallach representation of $G$ and $V$ be the corresponding Harish-Chandra module. Then the natural morphism of coinvariants $V_{\mathfrak{h}}\to π_{\mathfrak{h}}$ is an isomorphism if and only if any linear $\mathfrak{h}$-invariant functional on $V$ is continuous in the topology induced from $π$. The latter statement is known to hold in two important special cases: if $H$ includes a symmetric subgroup, and if $H$ includes the nilradical of a minimal parabolic subgroup of $G$. △ Less

Submitted 5 May, 2016; v1 submitted 24 March, 2014; originally announced March 2014.

Comments: v4: version appearing in Math. Z + erratum added in the end

MSC Class: 20G05; 20G10; 20G20; 22E30; 22E45; 46F99

Journal ref: Math. Z. 286 (2016), 979-992 and 993-994

Vanishing of certain equivariant distributions on spherical spaces

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: We prove vanishing of distributions on a split real reductive group which change according to a non-degenerate character under the left action of the unipotent radical of the Borel subgroup, and are equivariant under the right action of a spherical subgroup, and eigen with respect to the center of the universal enveloping algebra of the Lie algebra of G. This is a generalization of a result by S… ▽ More We prove vanishing of distributions on a split real reductive group which change according to a non-degenerate character under the left action of the unipotent radical of the Borel subgroup, and are equivariant under the right action of a spherical subgroup, and eigen with respect to the center of the universal enveloping algebra of the Lie algebra of G. This is a generalization of a result by Shalika, that concerned the group case. Shalika's result was crucial in the proof of his multiplicity one theorem. We view our result as a step in the study of multiplicities of quasi-regular representations on spherical varieties. As an application we prove non-vanishing of spherical Bessel functions. △ Less

Submitted 23 March, 2014; v1 submitted 24 November, 2013; originally announced November 2013.

Comments: 7 pages. v2: extended version

MSC Class: 20G05; 22E45; 46F99

Journal ref: Mathematische Zeitschrift April 2015, Volume 279, Issue 3, pp 745-751

Representation Growth and Rational Singularities of the Moduli Space of Local Systems

Authors: Avraham Aizenbud, Nir Avni

Abstract: We relate the asymptotic representation theory of $SL(d,\mathbb{Z}_p)$ and the singularities of the moduli space of $SL(d)$-local systems on a smooth projective curve, proving new theorems about both. Regarding the former, we prove that, for every d, the number of n-dimensional representations of $SL(d,\mathbb{Z}_p)$ grows slower than $n^{22}$, confirming a conjecture of Larsen and Lubotzky. Regar… ▽ More We relate the asymptotic representation theory of $SL(d,\mathbb{Z}_p)$ and the singularities of the moduli space of $SL(d)$-local systems on a smooth projective curve, proving new theorems about both. Regarding the former, we prove that, for every d, the number of n-dimensional representations of $SL(d,\mathbb{Z}_p)$ grows slower than $n^{22}$, confirming a conjecture of Larsen and Lubotzky. Regarding the latter, we prove that the moduli space of $SL(d)$-local systems on a smooth projective curve of genus at least 12 has rational singularities. Most of our results apply more generally to semi-simple algebraic groups. For the proof, we study the analytic properties of push forwards of smooth measures under algebraic maps. More precisely, we show that such push forwards have continuous density if the algebraic map is flat and all of its fibers have rational singularities. △ Less

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

Comments: preliminary version, comments are welcome. v2. Revised version, now covering all semi simple groups

MSC Class: Primary: 20F69; 14B05. Secondary: 20G25; 14B07; 14B07; 53D30

The wave front set of the Fourier transform of algebraic measures

Authors: Avraham Aizenbud, Vladimir Drinfeld

Abstract: We study the Fourier transform of the absolute value of a polynomial on a finite-dimensional vector space over a local field of characteristic 0. We prove that this transform is smooth on an open dense set. We prove this result for the Archimedean and the non-Archimedean case in a uniform way. The Archimedean case was proved in [Ber]. The non-Archimedean case was proved in [HK] and [CL]. Our met… ▽ More We study the Fourier transform of the absolute value of a polynomial on a finite-dimensional vector space over a local field of characteristic 0. We prove that this transform is smooth on an open dense set. We prove this result for the Archimedean and the non-Archimedean case in a uniform way. The Archimedean case was proved in [Ber]. The non-Archimedean case was proved in [HK] and [CL]. Our method is different from those described in [Ber,HK,CL]. It is based on Hironaka's desingularization theorem, unlike [Ber] which is based on the theory of D-modules and [HK,CL] which is based on model theory. Our method also gives bounds on the open dense set where the Fourier transform is smooth. These bounds are explicit in terms of resolution of singularities. We also prove the same result on the Fourier transform of other measures of algebraic origins. △ Less

Submitted 13 February, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: 40 pages

MSC Class: 46F; 46F10; 14

Twisted homology for the mirabolic nilradical

Authors: Avraham Aizenbud, Dmitry Gourevitch, Siddhartha Sahi

Abstract: The notion of derivatives for smooth representations of $GL(n,\mathbb{Q}_p)$ was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the "adduced" representation. In [AGS] derivatives of all orders were defined for smooth admissible Frechet representations (of moderate growth). A key ingredient… ▽ More The notion of derivatives for smooth representations of $GL(n,\mathbb{Q}_p)$ was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the "adduced" representation. In [AGS] derivatives of all orders were defined for smooth admissible Frechet representations (of moderate growth). A key ingredient of this definition is the functor of twisted coinvariants with respect to the nilradical of the mirabolic subgroup. In this paper we prove exactness of this functor and compute it on a certain class of representations. This implies exactness of the highest derivative functor, and allows to compute highest derivatives of all monomial representations. In [AGS] these results are applied to finish the computation of adduced representations for all irreducible unitary representations and to prove uniqueness of degenerate Whittaker models for unitary representations. △ Less

Submitted 23 March, 2014; v1 submitted 19 October, 2012; originally announced October 2012.

Comments: 28 pages. v2: minor corrections, version to appear in the Israel Journal of Mathematics

MSC Class: 20G20; 22E30; 22E45

Journal ref: Israel Journal Of Mathematics, Volume 206, 2015, pp 40-88

Derivatives for smooth representations of GL(n,R) and GL(n,C)

Authors: Avraham Aizenbud, Dmitry Gourevitch, Siddhartha Sahi

Abstract: The notion of derivatives for smooth representations of GL(n) in the p-adic case was defined by J. Bernstein and A. Zelevinsky. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations by S. Sahi and called the "adduced" representation. In this paper we define derivatives of all order for smooth admissible Frechet representations (of moderate… ▽ More The notion of derivatives for smooth representations of GL(n) in the p-adic case was defined by J. Bernstein and A. Zelevinsky. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations by S. Sahi and called the "adduced" representation. In this paper we define derivatives of all order for smooth admissible Frechet representations (of moderate growth). The archimedean case is more problematic than the p-adic case; for example arbitrary derivatives need not be admissible. However, the highest derivative continues being admissible, and for irreducible unitarizable representations coincides with the space of smooth vectors of the adduced representation. In [AGS] we prove exactness of the highest derivative functor, and compute highest derivatives of all monomial representations. We prove exactness of the highest derivative functor, and compute highest derivatives of all monomial representations. We apply those results to finish the computation of adduced representations for all irreducible unitary representations and to prove uniqueness of degenerate Whittaker models for unitary representations, thus completing the results of [Sah89, Sah90, SaSt90, GS12]. △ Less

Submitted 23 March, 2014; v1 submitted 20 September, 2011; originally announced September 2011.

Comments: First version of this preprint was split into 2. The proofs of two theorems which are technically involved in analytic difficulties were separated into "Twisted homology for the mirabolic nilradical" preprint. All the rest stayed in v2 of this preprint. v3: version to appear in the Israel Journal of Mathematics

MSC Class: 20G20; 22E30

Journal ref: Israel Journal Of Mathematics, Volume 206, 2015, pp 1-38

A quantum analogue of Kostant's theorem for the general linear group

Authors: Avraham Aizenbud, Oded Yacobi

Abstract: A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear group, and from this deduce the analogous result for reflection equation algebras. A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear group, and from this deduce the analogous result for reflection equation algebras. △ Less

Submitted 1 July, 2010; originally announced July 2010.

Comments: 13 pages

MSC Class: 16T20; 17B37; 20G42; 81R50

Journal ref: Journal of Algebra 343 (2011), pp. 183-194

Smooth Transfer (the Archimedean case)

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: We establish the existence of a transfer, which is compatible with Kloosterman integrals, between Schwartz functions on GL(n,R) and Schwartz functions on the variety of non-degenerate Hermitian forms. Namely, we consider an integral of a Schwartz function on GL(n,R) along the orbits of the two sided action of the groups of upper and lower unipotent matrices twisted by a non-degenerate characte… ▽ More We establish the existence of a transfer, which is compatible with Kloosterman integrals, between Schwartz functions on GL(n,R) and Schwartz functions on the variety of non-degenerate Hermitian forms. Namely, we consider an integral of a Schwartz function on GL(n,R) along the orbits of the two sided action of the groups of upper and lower unipotent matrices twisted by a non-degenerate character. This gives a smooth function on the torus. We prove that the space of all functions obtained in such a way coincides with the space that is constructed analogously when GL(n,R) is replaced with the variety of non-degenerate hermitian forms. We also obtain similar results for gl(n,R). The non-Archimedean case is done by Jacquet and our proof follows the same lines. However we have to face additional essential difficulties that appear only in the Archimedean case. △ Less

Submitted 14 January, 2010; originally announced January 2010.

Comments: 24 pages, no figures

MSC Class: 20G20; 22E30; 22E45

Journal ref: American Journal of Mathematics, Volume 135, Number 1, February 2013, pp. 143-182

Multiplicity free Jacquet modules

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: Let F be a non-Archimedean local field or a finite field. Let n be a natural number and k be 1 or 2. Consider G:=GL(n+k,F) and let M:=GL(n,F) x GL(k,F)<G be a maximal Levi subgroup. Let U< G be the corresponding unipotent subgroup and let P=MU be the corresponding parabolic subgroup. Let J denote the Jacquet functor from representations of G to representations of M (i.e. the functor of coinvaria… ▽ More Let F be a non-Archimedean local field or a finite field. Let n be a natural number and k be 1 or 2. Consider G:=GL(n+k,F) and let M:=GL(n,F) x GL(k,F)<G be a maximal Levi subgroup. Let U< G be the corresponding unipotent subgroup and let P=MU be the corresponding parabolic subgroup. Let J denote the Jacquet functor from representations of G to representations of M (i.e. the functor of coinvariants w.r.t. U). In this paper we prove that J is a multiplicity free functor, i.e. dim Hom(J(π),ρ)<= 1, for any irreducible representations πof G and ρof M. To do that we adapt the classical method of Gelfand and Kazhdan that proves "multiplicity free" property of certain representations to prove "multiplicity free" property of certain functors. At the end we discuss whether other Jacquet functors are multiplicity free. △ Less

Submitted 19 October, 2009; originally announced October 2009.

Comments: 12 pages; Canadian Mathematical Bulletin, Published electronically on June 29, 2011

MSC Class: 20G05; 20C30; 20C33; 46F10; 47A67

Journal ref: Can. Math. Bull. 55 (2012) 673-688

Spherical Pairs Over Close Local Fields

Authors: Avraham Aizenbud, Nir Avni, Dmitry Gourevitch

Abstract: Extending results of Kazhdan to the relative case, we relate harmonic analysis over some spherical spaces G(F)/H(F), where F is a field of positive characteristic, to harmonic analysis over the spherical spaces G(E)/H(E), where E is a suitably chosen field of characteristic 0. One of the Ingredients of the proof is a condition for finite generation of some modules over the Hecke algebra. We apply… ▽ More Extending results of Kazhdan to the relative case, we relate harmonic analysis over some spherical spaces G(F)/H(F), where F is a field of positive characteristic, to harmonic analysis over the spherical spaces G(E)/H(E), where E is a suitably chosen field of characteristic 0. One of the Ingredients of the proof is a condition for finite generation of some modules over the Hecke algebra. We apply our results to show that the pair (GL_{n+1},GL_n) is a strong Gelfand pair for all local fields, and that the pair (GL_{n+k},GL_n x GL_k) is a Gelfand pair for all local fields of odd characteristic. △ Less

Submitted 6 July, 2011; v1 submitted 16 October, 2009; originally announced October 2009.

Comments: v2. Section 2 changed. v3. A change in the definition of uniform spherical pair, which also caused some changes in the formulations of the theorems. To appear in Commentarii Mathematici Helvetici

MSC Class: 20G05; 20G25; 20C08

Journal ref: Commentarii Mathematici Helvetici, Volume 87, Issue 4, (2012), 929-962

Uniqueness of Shalika functionals (the Archimedean case)

Authors: Avraham Aizenbud, Dmitry Gourevitch, Herve Jacquet

Abstract: Let F be either R or C. Let $(π,V)$ be an irreducible admissible smooth \Fre representation of GL(2n,F). A Shalika functional $φ:V \to \C$ is a continuous linear functional such that for any $g\in GL_n(F), A \in \Mat_{n \times n}(F)$ and $v\in V$ we have $$ φ[πg & A 0 & g)v] = \exp(2πi \re(\tr (g^{-1}A))) φ(v).$$ In this paper we prove that the space of Shalika functionals on V is at most one di… ▽ More Let F be either R or C. Let $(π,V)$ be an irreducible admissible smooth \Fre representation of GL(2n,F). A Shalika functional $φ:V \to \C$ is a continuous linear functional such that for any $g\in GL_n(F), A \in \Mat_{n \times n}(F)$ and $v\in V$ we have $$ φ[πg & A 0 & g)v] = \exp(2πi \re(\tr (g^{-1}A))) φ(v).$$ In this paper we prove that the space of Shalika functionals on V is at most one dimensional. For non-Archimedean F (of characteristic zero) this theorem was proven in [JR]. △ Less

Submitted 2 October, 2009; v1 submitted 6 April, 2009; originally announced April 2009.

Comments: 9 pages. v2:corrected version, to appear in Pacific Journal of Mathematics

MSC Class: 22E45

Journal ref: Pacific Journal of Mathematics, 243 no. 2 (2009)

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

A partial analog of integrability theorem for distributions on p-adic spaces and applications

Authors: Avraham Aizenbud

Abstract: Let X be a smooth real algebraic variety. Let $ξ$ be a distribution on it. One can define the singular support of $ξ$ to be the singular support of the $D_X$-module generated by $ξ$ (some times it is also called the characteristic variety). A powerful property of the singular support is that it is a coisotropic subvariety of $T^*X$. This is the integrability theorem (see [KKS, Mal, Gab]). This t… ▽ More Let X be a smooth real algebraic variety. Let $ξ$ be a distribution on it. One can define the singular support of $ξ$ to be the singular support of the $D_X$-module generated by $ξ$ (some times it is also called the characteristic variety). A powerful property of the singular support is that it is a coisotropic subvariety of $T^*X$. This is the integrability theorem (see [KKS, Mal, Gab]). This theorem turned out to be useful in representation theory of real reductive groups (see e.g. [AG_AMOT, AS, Say]). The aim of this paper is to give an analog of this theorem to the non-Archimedean case. The theory of D-modules is not available to us so we need a different definition of the singular support. We use the notion wave front set from [Hef] and define the singular support to be its Zariski closure. Then we prove that the singular support satisfies some property that we call weakly coisotropic, which is weaker than being coisotropic but is enough for some applications. We also prove some other properties of the singular support that were trivial in the Archimedean case (using the algebraic definition) but not obvious in the non-Archimedean case. △ Less

Submitted 17 November, 2008; originally announced November 2008.

Comments: 18 pages

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

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

Multiplicity one theorem for (GL(n+1,R),GL(n,R))

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: Let F be either R or C. Consider the standard embedding GL(n,F)<GL(n+1,F) and the action of GL(n,F) on GL(n+1,F) by conjugation. In this paper we show that any GL(n,F)-invariant distribution on GL(n+1,F) is invariant with respect to transposition. We show that this implies that for any irreducible admissible smooth Frechet representations $π$ of GL(n+1,F) and $τ$ of GL(n,F),… ▽ More Let F be either R or C. Consider the standard embedding GL(n,F)<GL(n+1,F) and the action of GL(n,F) on GL(n+1,F) by conjugation. In this paper we show that any GL(n,F)-invariant distribution on GL(n+1,F) is invariant with respect to transposition. We show that this implies that for any irreducible admissible smooth Frechet representations $π$ of GL(n+1,F) and $τ$ of GL(n,F), $$dim Hom_{GL(n,F)}(π,τ) \leq 1.$$ For p-adic fields those results were proven in [AGRS]. △ Less

Submitted 20 August, 2008; originally announced August 2008.

Comments: 21 pages

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

Journal ref: Selecta Mathematica Volume 15, Number 2 / August, 2009

Some regular symmetric pairs

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: In [AG2] we explored the question what symmetric pairs are Gelfand pairs. We introduced the notion of regular symmetric pair and conjectured that all symmetric pairs are regular. This conjecture would imply that many symmetric pairs are Gelfand pairs, and in particular that any connected symmetric pair over C is a Gelfand pair. In this paper we show that the pairs… ▽ More In [AG2] we explored the question what symmetric pairs are Gelfand pairs. We introduced the notion of regular symmetric pair and conjectured that all symmetric pairs are regular. This conjecture would imply that many symmetric pairs are Gelfand pairs, and in particular that any connected symmetric pair over C is a Gelfand pair. In this paper we show that the pairs $$(GL(V),O(V)), (GL(V),U(V)), (U(V),O(V)), (O(V \oplus W),O(V) \times O(W)), (U(V \oplus W),U(V) \times U(W))$$ are regular where V and W are quadratic or hermitian spaces over arbitrary local field of characteristic zero. We deduce from that that the pairs $(GL_n(\C),O_n(\C))$ and $(O_{n+m}(\C),O_n(\C) \times O_m(\C))$ are Gelfand pairs. △ Less

Submitted 5 November, 2009; v1 submitted 16 May, 2008; originally announced May 2008.

Comments: 18 pages, 2 figures. v2: minor correction in sections 4.2 and 5.1. To appear in Transactions of the AMS

MSC Class: 20G05; 20G25; 22E45

Journal ref: Trans. Amer. Math. Soc. 362 (2010), 3757-3777

Functoriality in Morse theory on closed manifolds

Authors: Avraham Aizenbud, Frol Zapolsky

Abstract: We develop functoriality for Morse theory, namely, to a pair of Morse-Smale systems and a generic smooth map between the underlying manifolds we associate a chain map between the corresponding Morse complexes, which descends to the correct map on homology. This association does not in general respect composition. We give sufficient conditions under which composition is preserved. As an applicati… ▽ More We develop functoriality for Morse theory, namely, to a pair of Morse-Smale systems and a generic smooth map between the underlying manifolds we associate a chain map between the corresponding Morse complexes, which descends to the correct map on homology. This association does not in general respect composition. We give sufficient conditions under which composition is preserved. As an application we provide a new proof that the cup product as defined in Morse theory on the chain level agrees with the cup product in singular cohomology. In appendices we present a proof (due to Paul Biran) that the unstable manifolds of a Morse-Smale system are the open cells of a CW structure on the underlying manifold, and also we show that the Morse complex of the triple is canonically isomorphic to the cellular complex of the CW structure. This gives a new proof that the Morse complex is actually a complex and that it computes the homology of the manifold. △ Less

Submitted 11 October, 2009; v1 submitted 14 May, 2008; originally announced May 2008.

Comments: 22 pages; added appendices with proofs that (i) the unstable manifolds of a Morse-Smale gradient flow are the open cells of a CW structure on the underlying manifold (due to Paul Biran); (ii) the Morse-Thom-Witten complex is canonically isomorphic to the cellular complex of the above CW structure; various minor corrections

MSC Class: 57R19; 37D15

An archimedean analog of Jacquet - Rallis theorem

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: In this paper we prove that the symmetric pair $(GL_{n+k}(F),GL_n(F) \times GL_k(F))$ is a Gelfand pair for any local field F of characteristic 0. For non-archimedean F it has been proven in [JR]. We use techniques developed in [AG2] to generalize their proof to general local fields. In this paper we prove that the symmetric pair $(GL_{n+k}(F),GL_n(F) \times GL_k(F))$ is a Gelfand pair for any local field F of characteristic 0. For non-archimedean F it has been proven in [JR]. We use techniques developed in [AG2] to generalize their proof to general local fields. △ Less

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

Comments: 6 pages. v2,v3: minor changes

MSC Class: 20C99; 20G05; 20G25;22E45

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

De-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute cohomologies of the Lie algebra of an algebraic group G with coefficients in the spa… ▽ More In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute cohomologies of the Lie algebra of an algebraic group G with coefficients in the space of generalized Schwartz sections of G-equivariant bundle over a G-transitive variety M. We do it under some assumptions on topological properties of G and M. This computation for the classical case is known as Shapiro lemma. △ Less

Submitted 12 March, 2008; v1 submitted 22 February, 2008; originally announced February 2008.

Comments: 21 pages, v2: minor corrections

MSC Class: 14P20; 14F40; 46F99; 58A12; 18G99; 22E45

Journal ref: Israel Journal of Mathematics, Volume 177, Number 1 / June 2010, 155-188

(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

Multiplicity one Theorems

Authors: Avraham Aizenbud, Dmitry Gourevitch, Steve Rallis, Gérard Schiffmann

Abstract: In the local, characteristic 0, non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We prove that such distributions are invariant by transposition. This implies that an admissible irreducible representation of GL(n+1), when restricted to GL(n) decomposes with multiplicity one. Similar Theorems are obtained for orthogonal or unitary… ▽ More In the local, characteristic 0, non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We prove that such distributions are invariant by transposition. This implies that an admissible irreducible representation of GL(n+1), when restricted to GL(n) decomposes with multiplicity one. Similar Theorems are obtained for orthogonal or unitary groups. △ Less

Submitted 26 September, 2007; originally announced September 2007.

Comments: A synthesis, with some simplified proofs, of arXiv:0705.2168v1 and arXiv:0707.2363v2

Journal ref: Annals of Mathematics, Vol. 172 (2010), No. 2, 1407-1434

(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

A proof of the multiplicity one conjecture for GL(n) in GL(n+1)

Authors: Avraham Aizenbud, Dmitry Gourevitch

Abstract: Let F be a non-archimedean local field of characteristic zero. We consider distributions on GL(n+1,F) which are invariant under the adjoint action of GL(n,F). We prove that any such distribution is invariant with respect to transposition. This implies that the restriction to GL(n) of any irreducible smooth representation of GL(n+1) is multiplicity free. Our paper is based on the recent work [R… ▽ More Let F be a non-archimedean local field of characteristic zero. We consider distributions on GL(n+1,F) which are invariant under the adjoint action of GL(n,F). We prove that any such distribution is invariant with respect to transposition. This implies that the restriction to GL(n) of any irreducible smooth representation of GL(n+1) is multiplicity free. Our paper is based on the recent work [RS] of Steve Rallis and Gerard Schiffmann where they made a remarkable progress on this problem. In [RS], they also show that our result implies multiplicity one theorem for restrictions from the orthogonal group $O(V \oplus F)$ to $O(V)$. △ Less

Submitted 27 July, 2007; v1 submitted 16 July, 2007; originally announced July 2007.

Comments: 12 pages. v2: self-contained version

MSC Class: 20G25; 20G05