BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Avraham Aizenbud appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study the collection of measures obtained via push-forward along a map between smooth varieties over p-adic fields. We investigate when the stalks of this collection are finite-dimensional. We provide an algebro-geometric criterion ensuring this property. This criterion is formulated in terms of a canonical subvariety of the cotangent bundle of the source of the map.
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 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.
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.
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.
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.
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 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.
We prove that there is no non-trivial aoutoequvivalence of the categoryof schemes of finite type over $\mathbb{Q}$.
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$.
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$.
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.
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.
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].
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.
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.
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.
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 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.
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.
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.
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.
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.
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.
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)$.
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.