In this paper we study the branching law for the restriction from $SU(n,m)$ to $SO(n,m)$ of the minimal representation in the analytic continuation of the scalar holomorphic discrete series. We identify the the group decomposition with the spectral decomposition of the action of the Casimir operator on the subspace of $S(O(n) \times O(m))$-invariants. The Plancherel measure of the decomposition defines an $L^2$-space of functions, for which certain continuous dual Hahn polynomials furnish an orthonormal basis. It turns out that the measure has point masses precisely when $n-m>2$. Under these conditions we construct an irreducible representation of $SO(n,m)$, identify it with a parabolically induced representation, and construct a unitary embedding into the representation space for the minimal representation of $SU(n,m)$.
We find the explicit branching laws for the restriction of minimal holomorphic representations to symmetric subgroups in the case where the restriction is discretely decomposable. For holomorphic pairs the minimal holomorphic representation decomposes into a direct sum of lowest weight representations which is made explicit. For non-holomorphic pairs the restriction is shown to be irreducible and identified with a known representation. We further study a conjecture by Kobayashi on the behaviour of associated varieties under restriction and confirm this conjecture in the setting of this paper.
This article is devoted to branching problems for holomorphic discrete series representations of a conformal group $G$ of a tube domain $T_Omega$ over a symmetric cone $Ω$. More precisely, we analyse restrictions of such representations to the conformal group $G'$ of a tube domain $T_{Ω'}$ holomorphically embedded in $T_Ω$. The goal of this work is the explicit construction of the symmetry breaking and holographic operators in this geometrical setting. To do so, a stratification space for a symmetric cone is introduced. This structure put the light on a new functional model, called the \emph{s…
We say a representation V of a group G has stability if its multiplicities m^{G}_{V}(λ) is dependent only on some equivalence class of λfor a sufficiently large parameter λ. In this paper, we prove that the restriction of a holomorphic discrete series representation with respect to any holomorphic symmetric pairs has stability. As a corollary, we give a necessary and sufficient condition on multiplicity-freeness of the branching laws in this setting. This condition is same as the sufficient condition given by the theory of visible actions. We prove a general theorem before we show the stabilit…
The unitary principal series representations of $G=GL(n,\mathbb{C})$ induced from a character of the maximal parabolic subgroup $P=(GL(1,\mathbb{C})\times GL(n-1,\mathbb{C}))\ltimes\mathbb{C}^{n-1}$ attain the minimal Gelfand--Kirillov dimension among all infinite-dimensional unitary representations of $G$. We find the explicit branching laws for the restriction of these representations to symmetric subgroups of $G$.
Let $\mathbb D=G/K$ be a complex bounded symmetric domain of tube type in a Jordan algebra $V_{\mathbb C}$, and let $D=H/L =\mathbb D\cap V$ be its real form in a Jordan algebra $V\subset V_{\mathbb C}$. The analytic continuation of the holomorphic discrete series on $\mathbb D$ forms a family of interesting representations of $G$. We consider the restriction on $D$ of the scalar holomorphic representations of $G$, as a representation of $H$. The unitary part of the restriction map gives then a generalization of the Segal-Bargmann transform. The group $L$ is a spherical subgroup of $K$ and we …
In this paper we consider the unitary symmetric spaces of the form X=U(p,q)/U(1)U(p,q-1) and their discrete series representations. Inspired by the work of A.Venkatesh and Y.Sekellarides on L-groups of p-adic spherical spaces we formulate and prove natural relative branching laws for the restriction to smaller subgroups of the same type and corresponding unitary spaces.We think of this as steps to formulation and proving Gan Gross Prasad conjectures for unitary spaces. Using period integral and some results of T.Kobayashi we prove an analogue of thesis conjectures.
We give a complete description of the discrete spectra in the branching law $Π|_{G'}$ with respect to the pair $(G,G')=(O(p,q), O(p',q') \times O(p'',q''))$ for irreducible unitary representations $Π$ of $G$ that are "geometric quantization" of minimal elliptic coadjoint orbits. We also construct explicitly all holographic operators and prove a closed Parseval-type formula.
Let $F$ be a non-Archimedian local field of characteristic zero and $E/F$ a quadratic extension. The aim of the present article is to study the multiplicity of an irreducible admissible representation of ${\rm GL}_2(F)$ occurring in an irreducible admissible genuine representation of non-trivial two fold covering $\widetilde{\rm GL}_2(E)$ of ${\rm GL}_2(E)$.
In this paper we study branching laws for certain unitary representations. This is done on the smooth vectors via a version of the {\it period integrals}, studied in number theory, and also closely connected to the {\it symmetry-breaking operators}, introduced by T.~Kobayashi. We exhibit non-vanishing symmetry breaking operators for the restriction of a representation $Π$ in the discrete spectrum for real hyperboloids to representations of smaller orthogonal groups. In the last part we discuss some conjectures for the restriction of representations in Arthur packets containing the representati…
In this paper we consider the analytic continuation of the weighted Bergman spaces on the Lie ball $$\mathscr{D}=SO(2,n)/S(O(2) \times O(n))$$ and the corresponding holomorphic unitary (projective) representations of SO(2,n) on these spaces. These representations are known to be irreducible. Our aim is to decompose them under the subgroup SO(1,n) which acts as the isometry group of a totally real submanifold $\mathscr{X}$ of $\mathscr{D}$. We give a proof of a general decomposition theorem for certain unitary representations of semisimple Lie groups. In the particular case we are concerned wit…
Let g' and g be isomorphic to any two of the Lie algebras gl(infty), sl(infty), sp(infty), and so(infty). Let M be a simple tensor g-module. We introduce the notion of an embedding of g' into g of general tensor type and derive branching laws for triples g', g, and M, where the embedding of g' into g is of general tensor type. More precisely, since M is in general not semisimple as a g'-module, we determine the socle filtration of M over g'. Due to the description of embeddings of classical locally finite Lie algebras given by Dimitrov and Penkov, our results hold for all possible embeddings o…
Let $G/H$ be a reductive symmetric space over a $p$-adic field $F$, the algebraic groups $G$ and $H$ being assumed semisimple of relative rank $1$. One of the branching problems for the Steinberg representation $\St_G$ of $G$ is the determination of the dimension of the intertwining space ${\rm Hom}_H (\St_G ,π)$, for any irreducible representation $π$ of $H$. In this work we do not compute this dimension, but show how it is related to the dimensions of some other intertwining spaces ${\rm Hom}_{K_i} ({\tilde π} ,1)$, for a certain finite family $K_i$, $i=1,...,r$, of anisotropic subgroups of …
We consider the (projective) representations of the group of holomorphic automorphisms of a symmetric tube domain $V\oplus iΩ$ that are obtained by analytic continuation of the holomorphic discrete series. For a representation corresponding to a discrete point in the Wallach set, we find the decomposition under restriction to the identity component of $GL(Ω)$. Using Riesz distributions, an explicit intertwining operator is constructed as an analytic continuation of an integral operator. The density for the Plancherel measure involves quotients of $Γ$-functions and the $c$-function for a symmet…
For a connected, noncompact matrix simple Lie group $G$ so that a maximal compact subgroup $K$ has three dimensional simple ideal, in this note we analyze the admissibility of the restriction of irreducible square integrable representations for the ambient group when they are restricted to certain subgroups that contains the three dimensional ideal. In this setting we provide a formula for the multiplicity of the irreducible factors. Also, for general $G$ such that $G/K$ is an Hermitian $G$-manifold we give a necessary and sufficient condition so that a square integrable representations of the…
The restriction of an irreducible unitary representation $π$ of a real reductive group $G$ to a reductive subgroup $H$ decomposes into a direct integral of irreducible unitary representations $τ$ of $H$ with multiplicities $m(π,τ)\in\mathbb{N}\cup\{\infty\}$. We show that on the smooth vectors of $π$, the direct integral is pointwise defined. This implies that $m(π,τ)$ is bounded above by the dimension of the space $\operatorname{Hom}_H(π^\infty|_H,τ^\infty)$ of intertwining operators between the smooth vectors, also called symmetry breaking operators, and provides a precise relation between t…
In this paper we consider the restriction of a unitary irreducible representation of type $A_{\mathfrak q}(λ)$ of $GL(4,{\mathbb R})$ to reductive subgroups $H$ which are the fixpoint sets of an involution. We obtain a formula for the restriction to the symplectic group and to $GL(2,{\mathbb C})$, and as an application we construct in the last section some representations in the cuspidal spectrum of the symplectic and the complex general linear group. In addition to working directly with the cohmologically induced module to obtain the branching law, we also introduce the useful concept of pseu…
This paper generalizes the GGP conjectures which were earlier formulated for tempered or more generally generic L-packets to Arthur packets, especially for the nongeneric L-packets arising from Arthur parameters. The paper introduces the key notion of a relevant pair of A-parameters which governs the branching laws for $GL_n$ and all classical groups over both local fields and global fields. It plays a role for all the branching problems studied in our earlier work including Bessel models and Fourier-Jacobi models.
We begin with recalling the correspond theorem of induced modules and global sections of vector bundles. After that, we give a generalization of this theorem. Finally, we apply the result to branching laws, and give some concrete examples.
If $G$ is a reductive Lie group of Harish-Chandra class, $H$ is a symmetric subgroup, and $π$ is a discrete series representation of $G$, the authors give a condition on the pair $(G,H)$ which guarantees that the direct integral decomposition of $π|_H$ contains each irreducible representation of $H$ with finite multiplicity. In addition, if $G$ is a reductive Lie group of Harish-Chandra class, and $H\subset G$ is a closed, reductive subgroup of Harish-Chandra class, the authors show that the multiplicity function in the direct integral decomposition of $π|_H$ is constant along `continuous para…
Let $G$ be a real semisimple Lie group, $K$ its maximal complex subgroup, and $G_C$ its complexification. It is known that all the $K$-finite matrix elements on $G$ admit holomorphic continuation to branching functions on $G_C$ having singularities at the a prescribed divisor. We propose a geometric explanation of this phenomenon. The note also contsins a general survey of holomorphic continuations of infinite-dimensional representations.
Let $G$ be a noncompact connected simple Lie group, and $(G,G^Γ)$ a Klein four symmetric pair. In this paper, the author shows a necessary condition for the discrete decomposability of unitarizable simple $(\mathfrak{g},K)$-modules for Klein for symmetric pairs. Precisely, if certain conditions hold for $(G,G^Γ)$, there does not exist any unitarizable simple $(\mathfrak{g},K)$-module that is discretely decomposable as a $(\mathfrak{g}^Γ,K^Γ)$-module. As an application, for $G=\mathrm{E}_{6(-14)}$, the author obtains a complete classification of Klein four symmetric pairs $(G,G^Γ)$ with $G^Γ$ n…
We give branching formulas from $so(7,\mathbb{C})$ to $\mathfrak{g}_2$ for generalized Verma modules attached to $\mathfrak{g}_2$-compatible parabolic subalgebras of $so(7,\mathbb{C})$, and branching formulas from $\mathfrak{g}_2$ to $sl(3,\mathbb{C})$ for generalized Verma modules attached to $sl(3,\mathbb{C})$-compatible parabolic subalgebras of $\mathfrak{g}_2$ respectively, under some assumptions on the parameters of generalized Verma modules.
Representation theory of $p$-adic groups naturally comes in the study of automorphic forms and one way to understand representations of a group is by restricting to its nice subgroups. D. Prasad studied the restriction for pairs $({\rm GL}_{2}(E), {\rm GL}_{2}(F))$ and $({\rm GL}_{2}(E), D_{F}^{\times})$ where $E/F$ is a quadratic equation and $D_{F}$ is the unique quaternion division algebra, and $D_{F}^{\times} \hookrightarrow {\rm GL}_{2}(E)$. Prasad proved a multiplicity one result and a `dichotomy' relating the restriction for the pairs $({\rm GL}_{2}(E), {\rm GL}_{2}(F))$ and $({\rm GL}_…
We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs $(G,H)$ are associated in pairs, $(G,H)$ and $(H',G')$, and that the (partial) branching algebra for $(G,H)$ also describes a branching law from $H'$ to $…
In this paper, we consider the branching law of the Speh representation $\mathrm{Sp}(π,n+l)$ of $\mathrm{GL}_{2n+2l}$ with respect to the block diagonal subgroup $\mathrm{GL}_n\times\mathrm{GL}_{n+2l}$ for any irreducible generic representation $π$ of $\mathrm{GL}_2$ over any $p$-adic field. We use the Shalika model of $\mathrm{Sp}(π,n)$ to construct certain zeta integrals, which were defined by Ginzburg and Kaplan independently, and study them. Finally, using these zeta integrals, we obtain a nonzero $\mathrm{GL}_n\times\mathrm{GL}_{n+2l}$-map from $\mathrm{Sp}(π,n+l)$ to $τ\boxtimesτ^\veeχ_π…
This is a second paper in a series devoted to the minimal unitary representation of O(p,q). By explicit methods from conformal geometry of pseudo-Riemannian manifolds, we find the branching law corresponding to restricting the minimal unitary representation to natural symmetric subgroups. In the case of purely discrete spectrum we obtain the full spectrum and give an explicit Parseval-Plancherel formula, and in the general case we construct an infinite discrete spectrum.
Let $G'$ be a complex semisimple group, and let $G \subseteq G'$ be a semisimple subgroup. We show that the branching cone of the pair $(G, G')$, which (asymptotically) parametrizes all pairs $(W, V)$ of irreducible finite-dimensional $G$-representations $W$ which occur as subrepresentations of a finite-dimensional irreducible $G'$-representation $V$, can be identified with the pseudo-effective cone, $\overline{\mbox{Eff}}(Y)$, of some GIT quotient $Y$ of the flag variety of the group $G \times G'$. Moreover, we prove that the quotient $Y$ is a Mori dream space. As a consequence, the global Ok…
Given irreducible representations $Π$ and $π$ of the rank one special orthogonal groups $G=SO(n+1,1)$ and $G'=SO(n,1)$ with nonsingular integral infinitesimal character, we state in terms of $θ$-stable parameter necessary and sufficient conditions so that \[ \operatorname{Hom}_{G'}(Π|_{G'}, π)\not = \{0\}. \] In the special case that both $Π$ and $π$ are tempered, this implies the Gross--Prasad conjectures for tempered representations of $SO(n+1,1) \times SO(n,1)$ which are nontrivial on the center. We apply these results to construct nonzero periods and distinguished representations. If both …
For a semisimple Lie group $G$ satisfying the equal rank condition, the most basic family of unitary irreducible representations is the discrete series found by Harish-Chandra. In this paper, we study some of the branching laws for discrete series when restricted to a subgroup $H$ of the same type by combining classical results with recent work of T. Kobayashi; in particular, we prove discrete decomposability under Harish-Chandra's condition of cusp form on the reproducing kernel. We show a relation between discrete decomposability and representing certain intertwining operators in terms of di…
Consider the restriction of an irreducible unitary representation $π$ of a Lie group $G$ to its subgroup $H$. Kirillov's revolutionary idea on the orbit method suggests that the multiplicity of an irreducible $H$-module $ν$ occurring in the restriction $π|_H$ could be read from the coadjoint action of $H$ on $O^G \cap pr^{-1}(O^H)$ provided $π$ and $ν$ are "geometric quantizations" of a $G$-coadjoint orbit $O^G$ and an $H$-coadjoint orbit $O^H$,respectively, where $pr: \sqrt{-1} g^{\ast} \to \sqrt{-1} h^{\ast}$ is the projection dual to the inclusion $h \subset g$ of Lie algebras. Such results…
The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from d…
Let $X=H/L$ be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain $D=G/K$. The intersection $S$ of the Shilov boundary of $D$ with $X$ defines a distinguished subset of the topological boundary of $X$ and is invariant under $H$ and can also be realized as $S=H/P$ for certain parabolic subgroup $P$ of $H$. We study the spherical representations $Ind_P^H(\lam)$ of $H$ induced from $P$. We find formulas for the spherical functions in terms of the Macdonald ${}_2F_1$ hypergeometric function. This generalizes the earlier result of Faraut-Koranyi fo…
We initiate a new study of differential operators with symmetries and combine this with the study of branching laws for Verma modules of reductive Lie algebras. By the criterion for discretely decomposable and multiplicity-free restrictions of generalized Verma modules [T. Kobayashi, http://dx.doi.org/10.1007/s00031-012-9180-y {Transf. Groups (2012)}], we are brought to natural settings of parabolic geometries for which there exist unique equivariant differential operators to submanifolds. Then we apply a new method (F-method) relying on the Fourier transform to find singular vectors in genera…
Let $G$ be a complex simple Lie group, and let $U \subseteq G$ be a maximal compact subgroup. Assume that $G$ admits a homogenous space $X=G/Q=U/K$ which is a compact Hermitian symmetric space. Let $\mathscr{L} \rightarrow X$ be the ample line bundle which generates the Picard group of $X$. In this paper we study the restrictions to $K$ of the family $(H^0(X, \mathscr{L}^k))_{k \in \N}$ of irreducible $G$-representations. We describe explicitly the moment polytopes for the moment maps $X \rightarrow \fk^*$ associated to positive integer multiples of the Kostant-Kirillov symplectic form on $X$,…
We consider the spherical complementary series of rank one Lie groups $H_n=\SO_0(n, 1; \mathbb F)$ for $\mathbb F=\mathbb R, \mathbb C, \mathbb H$. We prove that there exist finitely many discrete components in its restriction under the subgroup $H_{n-1}=\SO_0(n-1, 1; \mathbb F)$. This is proved by imbedding the complementary series into analytic continuation of holomorphic discrete series of $G_n=SU(n, 1)$, $SU(n, 1)\times SU(n, 1)$ and $SU(2n, 2)$ and by the branching of holomorphic representations under the corresponding subgroup $G_{n-1}$.
We consider branching laws for the restriction of some irreducible unitary representations $Π$ of $G=O(p,q)$ to its subgroup $H=O(p-1,q)$. In Kobayashi (arXiv:1907.07994), the irreducible subrepresentations of $O(p-1,q)$ in the restriction of the unitary $Π|_{O(p-1,q) }$ are determined. By considering the restriction of packets of irreducible representations we obtain another very simple branching law, which was conjectured in Orsted-Speh (arXiv:1907.07544).
Let $G=\operatorname{O}(1,n+1)$ with maximal compact subgroup $K$ and let $Π$ be a unitary irreducible representation of $G$ with non-trivial $(\mathfrak{g},K)$-cohomology. Then $Π$ occurs inside a principal series representation of $G$, induced from the $\operatorname{O}(n)$-representation $\bigwedge\nolimits^p(\mathbb{C}^n)$ and characters of a minimal parabolic subgroup of $G$ at the limit of the complementary series. Considering the subgroup $G'=\operatorname{O}(1,n)$ of $G$ with maximal compact subgroup $K'$, we prove branching laws and explicit Plancherel formulas for the restrictions to…
The analysis of branching problems for restriction of representations brings the concept of symmetry breaking transform and holographic transform. Symmetry breaking operators decrease the number of variables in geometric models, whereas holographic operators increase it. Various expansions in classical analysis can be interpreted as particular occurrences of these transforms. From this perspective, we investigate two remarkable families of differential operators: the Rankin-Cohen operators and the holomorphic Juhl conformally covariant operators. Then we establish for the corresponding symmetr…
In this paper, we obtain explicit branching laws for all irreducible unitary representations of $\Spin(N,1)$ restricted to a parabolic subgroup $P$. The restriction turns out to be a finite direct sum of irreducible unitary representations of $P$. We also verify Duflo's conjecture for the branching law of tempered representations of $\Spin(N,1)$ with respect to a parabolic subgroup $P$. That is to show: in the framework of the orbit method, the branching law of a tempered representation is determined by the behavior of the moment map from the corresponding coadjoint orbit. A few key tools used…
In this article, we generalize Duflo's conjecture to understand the branching laws of non-discrete series. We give a unified description on the geometric side about the restriction of an irreducible unitary representation $π$ of $\mathrm{GL}_n(k)$, $k=\mathbb{R}$ or $\mathbb{C}$, to the mirabolic subgroup, where $π$ is attached to a certain kind of coadjoint orbit.
We wish to understand how irreducible representations of a group G behave when restricted to a subgroup G' (the branching problem). Our primary concern is with representations of reductive Lie groups, which involve both algebraic and analytic approaches. We divide branching problems into three stages: (A) abstract features of the restriction; (B) branching laws (irreducible decompositions of the restriction); and (C) construction of symmetry breaking operators on geometric models. We could expect a simple and detailed study of branching problems in Stages B and C in the settings that are {\it{…
