We formulate and prove the archimedean period relations for Rankin–Selberg convolutions for ${\mathrm {GL}}(n)\times {\mathrm {GL}}(n-1)$. As a consequence, we prove the period relations for critical values of the Rankin–Selberg L-functions for ${\mathrm {GL}}(n)\times {\mathrm {GL}}(n-1)$ over arbitrary number fields.

We introduce a new invariant, the conductor exponent, of a generic irreducible Casselman–Wallach representation of $\operatorname {\mathrm {GL}}_n(F)$, where F is an archimedean local field, that quantifies the extent to which this representation may be ramified. We also determine a distinguished vector, the newform, occurring with multiplicity one in this representation, with the complexity of this vector measured in a natural way by the conductor exponent. Finally, we show that the newform is a test vector for $\operatorname {\mathrm {GL}}_n \times \operatorname {\mathrm {GL}}_n$ and $\operatorname {\mathrm {GL}}_n \times \operatorname {\mathrm {GL}}_{n - 1}$ Rankin–Selberg integrals when the second representation is unramified. This theory parallels an analogous nonarchimedean theory due to Jacquet, Piatetski-Shapiro, and Shalika; combined, this completes a global theory of newforms for automorphic representations of $\operatorname {\mathrm {GL}}_n$ over number fields. By-products of the proofs include new proofs of Stade’s formulæ and a new resolution of the test vector problem for archimedean Godement–Jacquet zeta integrals.

We consider orthogonally invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {R})$ and compare the mean of the logs of the moduli of eigenvalues of the matrices with the Lyapunov exponents of random matrix products independently drawn with respect to the measure. We give a lower bound for the former in terms of the latter. The results are motivated by Dedieu and Shub [On random and mean exponents for unitarily invariant probability measures on $\operatorname {\mathrm {GL}}_n(\mathbb {C})$. Astérisque 287 (2003), xvii, 1–18]. A novel feature of our treatment is the use of the theory of spherical polynomials in the proof of our main result.

In this note, assuming the nonvanishing result of explicit theta correspondence for the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, we show that, for metapletic–orthogonal dual pair over $\mathbb {R}$ and the symplectic–orthogonal dual pair over quaternion algebra $\mathbb {H}$, the theta correspondence is compatible with tempered condition by directly estimating the matrix coefficients, without using the classification theorem.

We provide a microlocal necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs.

Let ${\mathbf {G}}$ be a complex algebraic reductive group and ${\mathbf {H}}\subset {\mathbf {G}}$ be a spherical algebraic subgroup. Let ${\mathfrak {g}},{\mathfrak {h}}$ denote the Lie algebras of ${\mathbf {G}}$ and ${\mathbf {H}}$ , and let ${\mathfrak {h}}^{\bot }$ denote the orthogonal complement to ${\mathfrak {h}}$ in ${\mathfrak {g}}^*$ . A ${\mathfrak {g}}$ -module is called ${\mathfrak {h}}$ -distinguished if it admits a nonzero ${\mathfrak {h}}$ -invariant functional. We show that the maximal ${\mathbf {G}}$ -orbit in the annihilator variety of any irreducible ${\mathfrak {h}}$ -distinguished ${\mathfrak {g}}$ -module intersects ${\mathfrak {h}}^{\bot }$ . This generalises a result of Vogan [Vog91].

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 [Pra19, Question 1] – when 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 of the models studied in the theory of automorphic forms involve an additive character on the unipotent radical of the subgroup $\bf H$ , and we have 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 modules over W-algebras. As an application of our theorem 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 nongeneric representations [GGP20].

Finally, we provide more general results that ease the sphericity assumption on the subgroups, and apply them to local theta correspondence in type II and to degenerate Whittaker models.

We define Schwartz functions, tempered functions, and tempered distributions on (possibly singular) real algebraic varieties. We prove that all classical properties of these spaces, defined previously on affine spaces and on Nash manifolds, also hold in the case of affine real algebraic varieties, and give partial results for the non-affine case.

We correct the proof of the main result of the paper, Theorem 5.7. Our corrected proof relies on weaker versions of a number of intermediate results from the paper. The original, more general, versions of these statements are not known to be true.

This paper is about the reduced group $C^{\ast }$-algebras of real reductive groups, and about Hilbert $C^{\ast }$-modules over these $C^{\ast }$-algebras. We shall do three things. First, we shall apply theorems from the tempered representation theory of reductive groups to determine the structure of the reduced $C^{\ast }$-algebra (the result has been known for some time, but it is difficult to assemble a full treatment from the existing literature). Second, we shall use the structure of the reduced $C^{\ast }$-algebra to determine the structure of the Hilbert $C^{\ast }$-bimodule that represents the functor of parabolic induction. Third, we shall prove that the parabolic induction bimodule admits a secondary inner product, using which we can define a functor of parabolic restriction in tempered representation theory. We shall prove in a sequel to this paper that parabolic restriction is adjoint, on both the left and the right, to parabolic induction in the context of tempered unitary Hilbert space representations.

The superbosonization identity of Littelmann, Sommers and Zirnbauer is a new tool for use in studying universality of random matrix ensembles via supersymmetry, which is applicable to non-Gaussian invariant distributions. We give a new conceptual interpretation of this formula, linking it to harmonic superanalysis of Lie supergroups and symmetric superspaces, and in particular, to a supergeneralization of the Riesz distributions. Using the super-Laplace transformation of generalized superfunctions, the theory of which we develop, we reduce the proof to computing the Gindikin gamma function of a Riemannian symmetric superspace, which we determine explicitly.

Let G and T be topological groups, α : T → Aut(G) a homomorphism defining a continuous action of T on G and G♯ := G ⋊αT the corresponding semidirect product group. In this paper, we address several issues concerning irreducible continuous unitary representations (π♯, ${\mathcal{H}}$) of G♯ whose restriction to G remains irreducible. First, we prove that, for T = ${\mathbb R}$, this is the case for any irreducible positive energy representation of G♯, i.e. for which the one-parameter group Ut := π♯(1,t) has non-negative spectrum. The passage from irreducible unitary representations of G to representations of G♯ requires that certain projective unitary representations are continuous. To facilitate this verification, we derive various effective criteria for the continuity of projective unitary representations. Based on results of Borchers for W*-dynamical systems, we also derive a characterization of the continuous positive definite functions on G that extend to G♯.

We investigate the radial part of the matrix coefficients with minimal K-types of the large discrete series representations of Sp(2; R). They satisfy certain difference-differential equations derived from Schmid operators. This system is reduced to a holonomic system of rank 4, which is finally found to be equivalent to higher-order hypergeometric series in the sense of Appell and Kampé de Fériet.

Let $\rho :\,G\,\to \,\text{GL}\left( V \right)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let ${{\sigma }_{1}},\ldots ,{{\sigma }_{n}}$ be a system of generators of the algebra of invariant polynomials $\mathbb{C}{{\left[ V \right]}^{G}}$. We study the problem of lifting mappings $f:\,{{\mathbb{R}}^{q}}\,\supseteq \,U\,\to \,\sigma \left( V \right)\,\subseteq \,{{\mathbb{C}}^{n}}$ over the mapping of invariants $\sigma \,=\,\left( {{\sigma }_{1}},\ldots ,{{\sigma }_{n}} \right):\,V\,\to \,\sigma \left( V \right)$. Note that $\sigma \left( V \right)$ can be identified with the categorical quotient $V//G$ and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass $C\subseteq {{C}^{\infty }}$ satisfying some mild closedness properties that guarantee resolution of singularities in $C$, e.g., the real analytic class, then $f$ admits a lift of the same class $C$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift that belongs to $\text{SB}{{\text{V}}_{\text{loc}}}$, i.e., special functions of bounded variation. If $\rho $ is a real representation of a compact Lie group, we obtain stronger versions.

In this article a general framework for studying analytic representations of a real Lie group G is introduced. Fundamental topological properties of the representations are analyzed. A notion of temperedness for analytic representations is introduced, which indicates the existence of an action of a certain natural algebra 𝒜(G) of analytic functions of rapid decay. For reductive groups every Harish-Chandra module V is shown to admit a unique tempered analytic globalization, which is generated by V and 𝒜(G) and which embeds as the space of analytic vectors in all Banach globalizations of V.

In this paper we construct a flat smooth section of an induced space $I(s,\eta )$ of $S{{L}_{2}}\left( \mathbb{R} \right)$ so that the attached Whittaker function is not of finite order. An asymptotic method of classical analysis is used.

Let F be an arbitrary local field. Consider the standard embedding and the two-sided action of GLn(F)×GLn(F) on GLn+1(F). In this paper we show that any GLn(F)×GLn(F)-invariant distribution on GLn+1(F) is invariant with respect to transposition. We show that this implies that the pair (GLn+1(F), GLn(F)) is a Gelfand pair. Namely, for any irreducible admissible representation (π,E) of GLn+1(F), . For the proof in the archimedean case, we develop several tools to study invariant distributions on smooth manifolds.

Let a1… ad be a basis of the Lie algebra g of a connected Lie group G and let M be a Lie subgroup of,G. If dx is a non-zero positive quasi-invariant regular Borel measure on the homogeneous space X = G/M and S: X × G → C is a continuous cocycle, then under a rather weak condition on dx and S there exists in a natural way a (weakly*) continuous representation U of G in Lp (X;dx) for all p ε [1,].

Let Ai be the infinitesimal generator with respect to U and the direction ai, for all i ∈ { 1… d}. We consider n–th order strongly elliptic operators H = ΣcαAα with complex coefficients cα. We show that the semigroup S generated by the closure of H has a reduced heat kernel K and we derive upper bounds for k and all its derivatives.

We study geometry of manifolds endowed with a Grassmann structure which depends on symmetries of their curvature. Due to this reason a complete decomposition of the space of curvature tensors over tensor product vector spaces into simple modules under the action of the group G = GL(p, ℝ) ⊗ GL(q, ℝ) is given. The dimensions of the simple submodules, the highest weights and some projections are determined. New torsion-free connections on Grassmann manifolds apart from previously known examples are given. We use algebraic results to reveal obstructions to the existence of corresponding connections compatible with some type of normalizations and to enlighten previously known results from another point of view.

Fundamental calculations on singular invariant hyperfunctions on the n ×n square matrix space and on the 2n × 2n alternating matrix space are considered in this paper. By expanding the complex powers of the determinant function or the Pfaffian function into the Laurent series with respect to the complex parameter, we can construct singular invariant hyperfunctions as their Laurent expansion coefficients. The author presents here the exact orders of the poles of the complex powers and determines the exact supports of the Laurent expansion coefficients. By applying these results, we prove that every quasi-relatively invariant hyperfunction can be expressed as a linear combination of the Laurent expansion coefficients of the complex powers and that every singular quasi-relatively invariant hyperfunction is in fact relatively invariant on the generic points of its support. In the last section, we give the formula of the Fourier transforms of singular invariant tempered distributions.

In this note we show that for an arbitrary reductive Lie group and any admissible irreducible Banach representation the Mellin transforms of Whittaker functions extend to meromorphic functions. We locate the possible poles and show that they always lie along translates of walls of Weyl chambers.

Let $\pi $ be an irreducible generalized principal series representation of $G\,=\,\text{Sp}\left( 2,\,\mathbb{R} \right)$ induced from its Jacobi parabolic subgroup. We show that the space of algebraic intertwining operators from $\pi $ to the representation induced from an irreducible admissible representation of $\text{SL}\left( 2,\,\mathbb{C} \right)$ in $G$ is at most one dimensional. Spherical functions in the title are the images of $K$-finite vectors by this intertwining operator. We obtain an integral expression of Mellin-Barnes type for the radial part of our spherical function.