对于复数域上的连通约化群 $G$ 及其仿射光滑 $G$-簇 $X$，局部化函子将 $\mathfrak{g}$-模映射到 $D_X$-模。我们利用 Beilinson-Ginzburg 的 h-复形形式体系，将该构造推广至等变与导出范畴设定中，并证明当 $H, K \subset G$ 均为球面约化子群时，Harish-Chandra $(\mathfrak{g}, K)$-模在 $X = H \backslash G$ 上的局部化具有正则全纯上同调。$(\mathfrak{g}, K)$-模的相对李代数同调和 $\mathrm{Ext}$-分歧空间在几何上通过等变导出局部化进行了解释。作为直接推论，我们证明了它们在相同假设下是有限维的，并将欧拉-庞加莱特征标与局部指标定理联系起来；这恢复了 M. Kitagawa 近期结果的部分内容。此外，文中还包含了相关示例及与 Schwartz 同调关系的讨论。
英文摘要：
For a connected reductive group $G$ and an affine smooth $G$-variety $X$ over the complex numbers, the localization functor takes $\mathfrak{g}$-modules to $D_X$-modules. We extend this construction to an equivariant and derived setting using the formalism of h-complexes due to Beilinson-Ginzburg, and show that the localizations of Harish-Chandra $(\mathfrak{g}, K)$-modules onto $X = H \backslash G$ have regular holonomic cohomologies when $H, K \subset G$ are both spherical reductive subgroups. The relative Lie algebra homologies and $\mathrm{Ext}$-branching spaces for $(\mathfrak{g}, K)$-modules are interpreted geometrically in terms of equivariant derived localizations. As direct consequences, we show that they are finite-dimensional under the same assumptions, and relate Euler-Poincaré characteristics to local index theorem; this recovers parts of the recent results of M. Kitagawa. Examples and discussions on the relation to Schwartz homologies are also included.
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$.
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.
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…
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…
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…
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 c…
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…
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.
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…
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 …
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…
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 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…
We discuss recent developments on branching problems of irreducible unitary representations $π$ of real reductive groups when restricted to reductive subgroups. Highlighting the case where the underlying $(g,K)$-modules of $π$ are isomorphic to Zuckerman's derived functor modules $A_q(λ)$, we show various and rich features of branching laws such as infinite multiplicities, irreducible restrictions, multiplicity-free restrictions, and discrete decomposable restrictions. We also formulate a number of conjectures.
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{…
