-
Explicit Hilbert spaces for the unitary dual of rank one orthogonal groups and applications
Authors:
Christian Arends,
Frederik Bang-Jensen,
Jan Frahm
Abstract:
We realize all irreducible unitary representations of the group $\mathrm{SO}_0(n+1,1)$ on explicit Hilbert spaces of vector-valued $L^2$-functions on $\mathbb{R}^n\setminus\{0\}$. The key ingredient in our construction is an explicit expression for the standard Knapp-Stein intertwining operators between arbitrary principal series representations in terms of the Euclidean Fourier transform on a max…
▽ More
We realize all irreducible unitary representations of the group $\mathrm{SO}_0(n+1,1)$ on explicit Hilbert spaces of vector-valued $L^2$-functions on $\mathbb{R}^n\setminus\{0\}$. The key ingredient in our construction is an explicit expression for the standard Knapp-Stein intertwining operators between arbitrary principal series representations in terms of the Euclidean Fourier transform on a maximal unipotent subgroup isomorphic to $\mathbb{R}^n$.
As an application, we describe the space of Whittaker vectors on all irreducible Casselman-Wallach representations. Moreover, the new realizations of the irreducible unitary representations immediately reveal their decomposition into irreducible representations of a parabolic subgroup, thus providing a simple proof of a recent result of Liu-Oshima-Yu.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Construction and analysis of symmetry breaking operators for the pair $(\operatorname{GL}(n+1,\mathbb{R}),\operatorname{GL}(n,\mathbb{R}))$
Authors:
Jonathan Ditlevsen,
Jan Frahm
Abstract:
The pair of real reductive groups $(G,H)=(\operatorname{GL}(n+1,\mathbb{R}),\operatorname{GL}(n,\mathbb{R}))$ is a strong Gelfand pair, i.e. the multiplicities $\dim\operatorname{Hom}_H(π|_H,τ)$ are either $0$ or $1$ for all irreducible Casselman-Wallach representations $π$ of $G$ and $τ$ of $H$. This paper is concerned with the construction of explicit intertwining operators in…
▽ More
The pair of real reductive groups $(G,H)=(\operatorname{GL}(n+1,\mathbb{R}),\operatorname{GL}(n,\mathbb{R}))$ is a strong Gelfand pair, i.e. the multiplicities $\dim\operatorname{Hom}_H(π|_H,τ)$ are either $0$ or $1$ for all irreducible Casselman-Wallach representations $π$ of $G$ and $τ$ of $H$. This paper is concerned with the construction of explicit intertwining operators in $\operatorname{Hom}_H(π|_H,τ)$, so-called symmetry breaking operators, in the case where both $π$ and $τ$ are principal series representations. Such operators come in families that depend meromorphically on the induction parameters, and we show how to normalize them in order to make the parameter dependence holomorphic. This is done by establishing explicit Bernstein-Sato identities for their distribution kernels as well as explicit functional identities for the composition of symmetry breaking operators with standard Knapp-Stein intertwining operators for $G$ and $H$. We also show that the obtained normalization is optimal and identify a subset of parameters for which the family of operators vanishes. Finally, we relate the operators to the local archimedean Rankin-Selberg integrals and use this relation to evaluate them on the spherical vectors.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Realization of unitary representations of the Lorentz group on de Sitter space
Authors:
Jan Frahm,
Karl-Hermann Neeb,
Gestur Olafsson
Abstract:
This paper builds on our previous work in which we showed that, for all connected semisimple linear Lie groups $G$ acting on a non-compactly causal symmetric space $M = G/H$, every irreducible unitary representation of $G$ can be realized by boundary value maps of holomorphic extensions in distributional sections of a vector bundle over $M$. In the present paper we discuss this procedure for the c…
▽ More
This paper builds on our previous work in which we showed that, for all connected semisimple linear Lie groups $G$ acting on a non-compactly causal symmetric space $M = G/H$, every irreducible unitary representation of $G$ can be realized by boundary value maps of holomorphic extensions in distributional sections of a vector bundle over $M$. In the present paper we discuss this procedure for the connected Lorentz group $G = SO_{1,d}(R)_e$ acting on de Sitter space $M = dS^d$. We show in particular that the previously constructed nets of real subspaces satisfy the locality condition. Following ideas of Bros and Moschella from the 1990's, we show that the matrix-valued spherical function that corresponds to our extension process extends analytically to a large domain $G_C^{cut}$ in the complexified group $G_C = \SO_{1,d}(C)$, which for $d = 1$ specializes to the complex cut plane $C \setminus (-\infinity, 0]$. A number of special situations is discussed specifically: (a) The case $d = 1$, which closely corresponds to standard subspaces in Hilbert spaces, (b) the case of scalar-valued functions, which for $d > 2$ is the case of spherical representations, for which we also describe the jump singularities of the holomorphic extensions on the cut in de Sitter space, (c) the case $d = 3$, where we obtain rather explicit formulas for the matrix-valued spherical functions.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
The holomorphic discrete series contribution to the generalized Whittaker Plancherel formula II. Non-tube type groups
Authors:
Jan Frahm,
Gestur Ólafsson,
Bent Ørsted
Abstract:
For every simple Hermitian Lie group $G$, we consider a certain maximal parabolic subgroup whose unipotent radical $N$ is either abelian (if $G$ is of tube type) or two-step nilpotent (if $G$ is of non-tube type). By the generalized Whittaker Plancherel formula we mean the Plancherel decomposition of $L^2(G/N,ω)$, the space of square-integrable sections of the homogeneous vector bundle over $G/N$…
▽ More
For every simple Hermitian Lie group $G$, we consider a certain maximal parabolic subgroup whose unipotent radical $N$ is either abelian (if $G$ is of tube type) or two-step nilpotent (if $G$ is of non-tube type). By the generalized Whittaker Plancherel formula we mean the Plancherel decomposition of $L^2(G/N,ω)$, the space of square-integrable sections of the homogeneous vector bundle over $G/N$ associated with an irreducible unitary representation $ω$ of $N$. Assuming that the central character of $ω$ is contained in a certain cone, we construct embeddings of all holomorphic discrete series representations of $G$ into $L^2(G/N,ω)$ and show that the multiplicities are equal to the dimensions of the lowest $K$-types.
The construction is in terms of a kernel function which can be explicitly defined using certain projections inside a complexification of $G$. This kernel function carries all information about the holomorphic discrete series embedding, the lowest $K$-type as functions on $G/N$, as well as the associated Whittaker vectors.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
A Pairing Formula for Resonant States on Finite Regular Graphs
Authors:
Christian Arends,
Jan Frahm,
Joachim Hilgert
Abstract:
On a finite regular graph, (co)resonant states are eigendistributions of the transfer operator associated to the shift on one-sided infinite non-backtracking paths. We introduce two pairings of resonant and coresonant states, the vertex pairing which involves only the dependence on the initial/terminal vertex of the path, and the geodesic pairing which is given by integrating over all geodesics th…
▽ More
On a finite regular graph, (co)resonant states are eigendistributions of the transfer operator associated to the shift on one-sided infinite non-backtracking paths. We introduce two pairings of resonant and coresonant states, the vertex pairing which involves only the dependence on the initial/terminal vertex of the path, and the geodesic pairing which is given by integrating over all geodesics the evaluation of the coresonant state on the first half of the geodesic times the resonant state on the second half. The main result is that these two pairings coincide up to a constant which depends on the resonance, i.e. the corresponding eigenvalue of the transfer operator.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Edge Laplacians and Edge Poisson Transforms for Graphs
Authors:
Christian Arends,
Jan Frahm,
Joachim Hilgert
Abstract:
For a finite graph, we establish natural isomorphisms between eigenspaces of a Laplace operator acting on functions on the edges and eigenspaces of a transfer operator acting on functions on one-sided infinite non-backtracking paths. Interpreting the transfer operator as a classical dynamical system and the Laplace operator as its quantization, this result can be viewed as a quantum-classical corr…
▽ More
For a finite graph, we establish natural isomorphisms between eigenspaces of a Laplace operator acting on functions on the edges and eigenspaces of a transfer operator acting on functions on one-sided infinite non-backtracking paths. Interpreting the transfer operator as a classical dynamical system and the Laplace operator as its quantization, this result can be viewed as a quantum-classical correspondence. In contrast to previously established quantum-classical correspondences for the vertex Laplacian which exclude certain exceptional spectral parameters, our correspondence is valid for all parameters. This allows us to relate certain spectral quantities to topological properties of the graph such as the cyclomatic number and the 2-colorability. The quantum-classical correspondence for the edge Laplacian is induced by an edge Poisson transform on the universal covering of the graph which is a tree of bounded degree. In the special case of regular trees, we relate both the vertex and the edge Poisson transform to the representation theory of the automorphism group of the tree and study associated operator valued Hecke algebras.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Symmetry breaking for $\operatorname{PGL}(2)$ over non-archimedean local fields
Authors:
Corina Ciobotaru,
Jan Frahm
Abstract:
For a quadratic extension $\mathbb{E}/\mathbb{F}$ of non-archimedean local fields we construct explicit holomorphic families of intertwining operators between principal series representations of $\operatorname{PGL}(2,\mathbb{E})$ and $\operatorname{PGL}(2,\mathbb{F})$, also referred to as symmetry breaking operators. These families are given in terms of their distribution kernels which can be view…
▽ More
For a quadratic extension $\mathbb{E}/\mathbb{F}$ of non-archimedean local fields we construct explicit holomorphic families of intertwining operators between principal series representations of $\operatorname{PGL}(2,\mathbb{E})$ and $\operatorname{PGL}(2,\mathbb{F})$, also referred to as symmetry breaking operators. These families are given in terms of their distribution kernels which can be viewed as distributions on $\mathbb{E}$ depending holomorphically on the principal series parameters. For all such parameters we determine the support of these distributions, and we study their mapping properties. This leads to a classification of all intertwining operators between principal series representations, not necessarily irreducible. As an application, we show that every Steinberg representation of $\operatorname{PGL}(2,\mathbb{E})$ contains a Steinberg representation of $\operatorname{PGL}(2,\mathbb{F})$ as a direct summand of Hilbert spaces.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Heisenberg parabolically induced representations of Hermitian Lie groups, Part II: Next-to-minimal representations and branching rules
Authors:
Jan Frahm,
Clemens Weiske,
Genkai Zhang
Abstract:
Every simple Hermitian Lie group has a unique family of spherical representations induced from a maximal parabolic subgroup whose unipotent radical is a Heisenberg group. For most Hermitian groups, this family contains a complementary series, and at its endpoint sits a proper unitarizable subrepresentation. We show that this subrepresentation is next-to-minimal in the sense that its associated var…
▽ More
Every simple Hermitian Lie group has a unique family of spherical representations induced from a maximal parabolic subgroup whose unipotent radical is a Heisenberg group. For most Hermitian groups, this family contains a complementary series, and at its endpoint sits a proper unitarizable subrepresentation. We show that this subrepresentation is next-to-minimal in the sense that its associated variety is a next-to-minimal nilpotent coadjoint orbit. Moreover, for the Hermitian groups $\operatorname{SO}_0(2,n)$ and $E_{6(-14)}$ we study some branching problems of these next-to-minimal representations.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Restricting holomorphic discrete series representations to a compact dual pair
Authors:
Jan Frahm,
Quentin Labriet
Abstract:
The goal of this article is to study the branching problem for a holomorphic discrete series representation of the conformal group of a simple Euclidean Jordan algebra $V$ restricted to the subgroup $\operatorname{PSL}_2(\mathbb{R})\times\operatorname{Aut}(V)$ where $\operatorname{Aut}(V)$ denotes the compact group of automorphisms of $V$. We use a realization of the holomorphic discrete series on…
▽ More
The goal of this article is to study the branching problem for a holomorphic discrete series representation of the conformal group of a simple Euclidean Jordan algebra $V$ restricted to the subgroup $\operatorname{PSL}_2(\mathbb{R})\times\operatorname{Aut}(V)$ where $\operatorname{Aut}(V)$ denotes the compact group of automorphisms of $V$. We use a realization of the holomorphic discrete series on a space of vector-values $L^2$-functions as well as the stratified model developed by the second author to relate the branching problem to the decomposition of certain representations of the compact group $\operatorname{Aut}(V)$ and to vector-valued orthogonal polynomials.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Nets of standard subspaces on non-compactly causal symmetric spaces
Authors:
Jan Frahm,
Karl-Hermann Neeb,
Gestur Olafsson
Abstract:
Let G be a connected simple linear Lie group and H in G a symmetric subgroup such that the corresponding symmetric space G/H is non-compactly causal. We show that any irreducible unitary representation of G leads naturally to a net of standard subspaces on G/H that is isotone, covariant and has the Reeh--Schlieder and the Bisognano--Wichmann property. We also show that this result extends to the u…
▽ More
Let G be a connected simple linear Lie group and H in G a symmetric subgroup such that the corresponding symmetric space G/H is non-compactly causal. We show that any irreducible unitary representation of G leads naturally to a net of standard subspaces on G/H that is isotone, covariant and has the Reeh--Schlieder and the Bisognano--Wichmann property. We also show that this result extends to the universal covering group of SL(2,R) which has some interesting application to intersections of standard subspaces associated to representations of such groups. For this a detailed study of hyperfunction and distribution vectors is needed. In particular we show that every H-finite hyperfunction vector is in fact a distribution vector.
△ Less
Submitted 21 September, 2023; v1 submitted 17 March, 2023;
originally announced March 2023.
-
Resonances and residue operators for pseudo-Riemannian hyperbolic spaces
Authors:
Jan Frahm,
Polyxeni Spilioti
Abstract:
For any pseudo-Riemannian hyperbolic space $X$ over $\mathbb{R},\mathbb{C},\mathbb{H}$ or $\mathbb{O}$, we show that the resolvent $R(z)=(\Box-z\operatorname{Id})^{-1}$ of the Laplace-Beltrami operator $-\Box$ on $X$ can be extended meromorphically across the spectrum of $\Box$ as a family of operators $C_c^\infty(X)\to \mathcal{D}'(X)$. Its poles are called resonances and we determine them explic…
▽ More
For any pseudo-Riemannian hyperbolic space $X$ over $\mathbb{R},\mathbb{C},\mathbb{H}$ or $\mathbb{O}$, we show that the resolvent $R(z)=(\Box-z\operatorname{Id})^{-1}$ of the Laplace-Beltrami operator $-\Box$ on $X$ can be extended meromorphically across the spectrum of $\Box$ as a family of operators $C_c^\infty(X)\to \mathcal{D}'(X)$. Its poles are called resonances and we determine them explicitly in all cases. For each resonance, the image of the corresponding residue operator in $\mathcal{D}'(X)$ forms a representation of the isometry group of $X$, which we identify with a subrepresentation of a degenerate principal series. Our study includes in particular the case of even functions on de Sitter and Anti-de Sitter spaces.
For Riemannian symmetric spaces analogous results were obtained by Miatello-Will and Hilgert-Pasquale. The main qualitative differences between the Riemannian and the non-Riemannian setting are that for non-Riemannian spaces the resolvent can have poles of order two, it can have a pole at the branching point of the covering to which $R(z)$ extends, and the residue representations can be infinite-dimensional.
△ Less
Submitted 18 August, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Heisenberg parabolically induced representations of Hermitian Lie groups, Part I: Unitarity and subrepresentations
Authors:
Jan Frahm,
Clemens Weiske,
Genkai Zhang
Abstract:
For a Hermitian Lie group $G$, we study the family of representations induced from a character of the maximal parabolic subgroup $P=MAN$ whose unipotent radical $N$ is a Heisenberg group. Realizing these representations in the non-compact picture on a space $I(ν)$ of functions on the opposite unipotent radical $\bar{N}$, we apply the Heisenberg group Fourier transform mapping functions on…
▽ More
For a Hermitian Lie group $G$, we study the family of representations induced from a character of the maximal parabolic subgroup $P=MAN$ whose unipotent radical $N$ is a Heisenberg group. Realizing these representations in the non-compact picture on a space $I(ν)$ of functions on the opposite unipotent radical $\bar{N}$, we apply the Heisenberg group Fourier transform mapping functions on $\bar N$ to operators on Fock spaces. The main result is an explicit expression for the Knapp-Stein intertwining operators $I(ν)\to I(-ν)$ on the Fourier transformed side. This gives a new construction of the complementary series and of certain unitarizable subrepresentations at points of reducibility. Further auxiliary results are a Bernstein-Sato identity for the Knapp-Stein kernel on $\bar{N}$ and the decomposition of the metaplectic representation under the non-compact group $M$.
△ Less
Submitted 14 April, 2023; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Generalized Laguerre functions and Whittaker vectors for holomorphic discrete series
Authors:
Jan Frahm,
Gestur Ólafsson,
Bent Ørsted
Abstract:
We study degenerate Whittaker vectors in scalar type holomorphic discrete series representations of tube type Hermitian Lie groups and their analytic continuation. In four different realizations, the bounded domain picture, the tube domain picture, the $L^2$-model and the Fock model, we find their explicit $K$-type expansions. The coefficients are expressed in terms of the generalized Laguerre fun…
▽ More
We study degenerate Whittaker vectors in scalar type holomorphic discrete series representations of tube type Hermitian Lie groups and their analytic continuation. In four different realizations, the bounded domain picture, the tube domain picture, the $L^2$-model and the Fock model, we find their explicit $K$-type expansions. The coefficients are expressed in terms of the generalized Laguerre functions on the corresponding symmetric cone, and we relate the $K$-type expansions to the formula for the generating function of the Laguerre polynomials and to their recurrence relations.
△ Less
Submitted 18 August, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
The holomorphic discrete series contribution to the generalized Whittaker Plancherel formula
Authors:
Jan Frahm,
Gestur Ólafsson,
Bent Ørsted
Abstract:
For a Hermitian Lie group $G$ of tube type we find the contribution of the holomorphic discrete series to the Plancherel decomposition of the Whittaker space $L^2(G/N,ψ)$, where $N$ is the unipotent radical of the Siegel parabolic subgroup and $ψ$ is a certain non-degenerate unitary character on $N$. The holomorphic discrete series embeddings are constructed in terms of generalized Whittaker vecto…
▽ More
For a Hermitian Lie group $G$ of tube type we find the contribution of the holomorphic discrete series to the Plancherel decomposition of the Whittaker space $L^2(G/N,ψ)$, where $N$ is the unipotent radical of the Siegel parabolic subgroup and $ψ$ is a certain non-degenerate unitary character on $N$. The holomorphic discrete series embeddings are constructed in terms of generalized Whittaker vectors for which we find explicit formulas in the bounded domain realization, the tube domain realization and the $L^2$-model of the holomorphic discrete series. Although $L^2(G/N,ψ)$ does not have finite multiplicities in general, the holomorphic discrete series contribution does.
Moreover, we obtain an explicit formula for the formal dimensions of the holomorphic discrete series embeddings, and we interpret the holomorphic discrete series contribution to $L^2(G/N,ψ)$ as boundary values of holomorphic functions on a domain $Ξ$ in a complexification $G_{\mathbb{C}}$ of $G$ forming a Hardy type space $\mathcal{H}_2(Ξ,ψ)$.
△ Less
Submitted 24 April, 2024; v1 submitted 28 March, 2022;
originally announced March 2022.
-
The twisted Ruelle zeta function on compact hyperbolic orbisurfaces and Reidemeister-Turaev torsion
Authors:
Léo Bénard,
Jan Frahm,
Polyxeni Spilioti
Abstract:
Let $X$ be a compact hyperbolic surface with finite order singularities, $X_1$ its unit tangent bundle. We consider the Ruelle zeta function $R(s;ρ)$ associated to a representation $ρ\colonπ_1(X_1)\to\operatorname{GL}(V_ρ)$. If $ρ$ does not factor through $π_1(X)$, we show that the value at $0$ of the Ruelle zeta function equals the sign-refined Reidemeister-Turaev torsion of $(X_1, ρ)$ with respe…
▽ More
Let $X$ be a compact hyperbolic surface with finite order singularities, $X_1$ its unit tangent bundle. We consider the Ruelle zeta function $R(s;ρ)$ associated to a representation $ρ\colonπ_1(X_1)\to\operatorname{GL}(V_ρ)$. If $ρ$ does not factor through $π_1(X)$, we show that the value at $0$ of the Ruelle zeta function equals the sign-refined Reidemeister-Turaev torsion of $(X_1, ρ)$ with respect to the Euler structure induced by the geodesic flow and to the natural homology orientation of $X_1$. It generalizes Fried's conjecture to non-unitary representations, and solves the phase and sign ambiguity in the unitary case. We also compute the vanishing order and the leading coefficient of the Ruelle zeta function at $s=0$ when $ρ$ factors through $π_1(X)$.
△ Less
Submitted 17 November, 2023; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Twisted Ruelle zeta function at zero for compact hyperbolic surfaces
Authors:
Jan Frahm,
Polyxeni Spilioti
Abstract:
Let $X$ be a compact, hyperbolic surface of genus $g\geq 2$. In this paper, we prove that the twisted Selberg and Ruelle zeta functions, associated with an arbitrary, finite-dimensional, complex representation $χ$ of $π_1(X)$ admit a meromorphic continuation to $\mathbb{C}$. Moreover, we study the behaviour of the twisted Ruelle zeta function at $s=0$ and prove that at this point, it has a zero of…
▽ More
Let $X$ be a compact, hyperbolic surface of genus $g\geq 2$. In this paper, we prove that the twisted Selberg and Ruelle zeta functions, associated with an arbitrary, finite-dimensional, complex representation $χ$ of $π_1(X)$ admit a meromorphic continuation to $\mathbb{C}$. Moreover, we study the behaviour of the twisted Ruelle zeta function at $s=0$ and prove that at this point, it has a zero of order $\dim(χ)(2g-2)$.
△ Less
Submitted 5 October, 2022; v1 submitted 27 May, 2021;
originally announced May 2021.
-
On the direct integral decomposition in branching laws for real reductive groups
Authors:
Jan Frahm
Abstract:
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 dime…
▽ More
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 these two concepts of multiplicity.
△ Less
Submitted 26 November, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Conformally invariant differential operators on Heisenberg groups and minimal representations
Authors:
Jan Frahm
Abstract:
For a simple real Lie group $G$ with Heisenberg parabolic subgroup $P$, we study the corresponding degenerate principal series representations. For a certain induction parameter the kernel of the conformally invariant system of second order differential operators constructed by Barchini, Kable and Zierau is a subrepresentation which turns out to be the minimal representation. To study this subrepr…
▽ More
For a simple real Lie group $G$ with Heisenberg parabolic subgroup $P$, we study the corresponding degenerate principal series representations. For a certain induction parameter the kernel of the conformally invariant system of second order differential operators constructed by Barchini, Kable and Zierau is a subrepresentation which turns out to be the minimal representation. To study this subrepresentation, we take the Heisenberg group Fourier transform in the non-compact picture and show that it yields a new realization of the minimal representation on a space of $L^2$-functions. The Lie algebra action is given by differential operators of order $\leq3$ and we find explicit formulas for the functions constituting the lowest $K$-type.
These $L^2$-models were previously known for the groups $\operatorname{SO}(n,n)$, $E_{6(6)}$, $E_{7(7)}$ and $E_{8(8)}$ by Kazhdan and Savin, for the group $G_{2(2)}$ by Gelfand, and for the group $\widetilde{\operatorname{SL}}(3,\mathbb{R})$ by Torasso, using different methods. Our new approach provides a uniform and systematic treatment of these cases and also constructs new $L^2$-models for $E_{6(2)}$, $E_{7(-5)}$ and $E_{8(-24)}$ for which the minimal representation is a continuation of the quaternionic discrete series, and for the groups $\widetilde{\operatorname{SO}}(p,q)$ with either $p\geq q=3$ or $p,q\geq4$ and $p+q$ even.
As a byproduct of our construction, we find an explicit formula for the group action of a non-trivial Weyl group element that, together with the simple action of a parabolic subgroup, generates $G$.
△ Less
Submitted 24 April, 2024; v1 submitted 10 December, 2020;
originally announced December 2020.
-
An extension problem related to the fractional Branson-Gover operators
Authors:
Jan Frahm,
Bent Ørsted,
Genkai Zhang
Abstract:
The Branson-Gover operators are conformally invariant differential operators of even degree acting on differential forms. They can be interpolated by a holomorphic family of conformally invariant integral operators called fractional Branson-Gover operators. For Euclidean spaces we show that the fractional Branson-Gover operators can be obtained as Dirichlet-to-Neumann operators of certain conforma…
▽ More
The Branson-Gover operators are conformally invariant differential operators of even degree acting on differential forms. They can be interpolated by a holomorphic family of conformally invariant integral operators called fractional Branson-Gover operators. For Euclidean spaces we show that the fractional Branson-Gover operators can be obtained as Dirichlet-to-Neumann operators of certain conformally invariant boundary value problems, generalizing the work of Caffarelli-Silvestre for the fractional Laplacians to differential forms. The relevant boundary value problems are studied in detail and we find appropriate Sobolev type spaces in which there exist unique solutions and obtain the explicit integral kernels of the solution operators as well as some of its properties.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
Symmetry breaking operators for real reductive groups of rank one
Authors:
Jan Frahm,
Clemens Weiske
Abstract:
For a pair of real reductive groups $G'\subset G$ we consider the space ${\rm Hom}_{G'}(π|_{G'},τ)$ of intertwining operators between spherical principal series representations $π$ of $G$ and $τ$ of $G'$, also called \emph{symmetry breaking operators}. Restricting to those pairs $(G,G')$ where ${\rm dim\,Hom}_{G'}(π|_{G'},τ)<\infty$ and $G$ and $G'$ are of real rank one, we classify all symmetry b…
▽ More
For a pair of real reductive groups $G'\subset G$ we consider the space ${\rm Hom}_{G'}(π|_{G'},τ)$ of intertwining operators between spherical principal series representations $π$ of $G$ and $τ$ of $G'$, also called \emph{symmetry breaking operators}. Restricting to those pairs $(G,G')$ where ${\rm dim\,Hom}_{G'}(π|_{G'},τ)<\infty$ and $G$ and $G'$ are of real rank one, we classify all symmetry breaking operators explicitly in terms of their distribution kernels. This generalizes previous work by Kobayashi--Speh for $(G,G')=({\rm O}(1,n+1),{\rm O}(1,n))$ to the reductive pairs $$ (G,G') = ({\rm U}(1,n+1;\mathbb{F}),{\rm U}(1,m+1;\mathbb{F})\times F) \qquad \mbox{with $\mathbb{F}=\mathbb{C},\mathbb{H},\mathbb{O}$ and $F<{\rm U}(n-m;\mathbb{F})$.} $$ In most cases, all symmetry breaking operators can be constructed using one meromorphic family of distributions whose poles and residues we describe in detail. In addition to this family, there may occur some sporadic symmetry breaking operators which we determine explicitly.
△ Less
Submitted 12 May, 2020; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Holomorphic torsion and geometric zeta functions for certain Hermitian locally symmetric manifolds
Authors:
Henri Moscovici,
Robert J. Stanton,
Jan Frahm
Abstract:
We give a dynamical description, in terms of a Weil-type zeta function, to the holomorphic torsion with coefficients for certain compact Hermitian locally symmetric manifolds, whose connected group G of isometries of the universal cover has only one conjugacy class of cuspidal maximal parabolic subgroup and satisfies a technical Ansatz relative to the given coefficients. A distinguishing feature o…
▽ More
We give a dynamical description, in terms of a Weil-type zeta function, to the holomorphic torsion with coefficients for certain compact Hermitian locally symmetric manifolds, whose connected group G of isometries of the universal cover has only one conjugacy class of cuspidal maximal parabolic subgroup and satisfies a technical Ansatz relative to the given coefficients. A distinguishing feature of our zeta function is that its construction involves in an essential way the geometry of a standard compactification of the universal cover. The two senior authors are indebted to their junior colleague, Jan Frahm, for his laborious work shedding light on the scope of the validity of the Ansatz, and for writing up the attached Appendix. The results therein show that for real rank one groups G the Ansatz is satisfied with respect to any coefficients, for some rank two groups G it is satisfied with respect to certain coefficients, and also that there are groups G which do not obey the Ansatz.
△ Less
Submitted 3 April, 2021; v1 submitted 24 February, 2018;
originally announced February 2018.
-
Symmetry breaking operators for line bundles over real projective spaces
Authors:
Jan Frahm,
Clemens Weiske
Abstract:
The space of smooth sections of an equivariant line bundle over the real projective space $\mathbb{R}{\rm P}^n$ forms a natural representation of the group ${\rm GL}(n+1,\mathbb{R})$. We explicitly construct and classify all intertwining operators between such representations of ${\rm GL}(n+1,\mathbb{R})$ and its subgroup ${\rm GL}(n,\mathbb{R})$, intertwining for the subgroup. Intertwining operat…
▽ More
The space of smooth sections of an equivariant line bundle over the real projective space $\mathbb{R}{\rm P}^n$ forms a natural representation of the group ${\rm GL}(n+1,\mathbb{R})$. We explicitly construct and classify all intertwining operators between such representations of ${\rm GL}(n+1,\mathbb{R})$ and its subgroup ${\rm GL}(n,\mathbb{R})$, intertwining for the subgroup. Intertwining operators of this form are called symmetry breaking operators, and they describe the occurrence of a representation of ${\rm GL}(n,\mathbb{R})$ inside the restriction of a representation of ${\rm GL}(n+1,\mathbb{R})$. In this way, our results contribute to the study of branching problems for the real reductive pair $({\rm GL}(n+1,\mathbb{R}),{\rm GL}(n,\mathbb{R}))$. The analogous classification is carried out for intertwining operators between algebraic sections of line bundles, where the Lie group action of ${\rm GL}(n,\mathbb{R})$ is replaced by the action of its Lie algebra $\mathfrak{gl}(n,\mathbb{R})$, and it turns out that all intertwining operators arise as restrictions of operators between smooth sections.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
A minimal representation of the orthosymplectic Lie supergroup
Authors:
Sigiswald Barbier,
Jan Frahm
Abstract:
We construct a minimal representation of the orthosymplectic Lie supergroup $OSp(p,q|2n)$, generalising the Schrödinger model of the minimal representation of $O(p,q)$ to the super case. The underlying Lie algebra representation is realized on functions on the minimal orbit inside the Jordan superalgebra associated with $\mathfrak{osp}(p,q|2n)$, so that our construction is in line with the orbit p…
▽ More
We construct a minimal representation of the orthosymplectic Lie supergroup $OSp(p,q|2n)$, generalising the Schrödinger model of the minimal representation of $O(p,q)$ to the super case. The underlying Lie algebra representation is realized on functions on the minimal orbit inside the Jordan superalgebra associated with $\mathfrak{osp}(p,q|2n)$, so that our construction is in line with the orbit philosophy. Its annihilator is given by a Joseph-like ideal for $\mathfrak{osp}(p,q|2n)$, and therefore the representation is a natural generalization of a minimal representations to the context of Lie superalgebras. We also calculate its Gelfand--Kirillov dimension and construct a non-degenerate sesquilinear form for which the representation is skew-symmetric and which is the analogue of an $L^2$-inner product in the supercase.
△ Less
Submitted 3 September, 2018; v1 submitted 19 October, 2017;
originally announced October 2017.
-
Rankin-Selberg periods for spherical principal series
Authors:
Jan Frahm,
Feng Su
Abstract:
By the unfolding method, Rankin-Selberg L-functions for ${\rm GL}(n)\times{\rm GL}(m)$ can be expressed in terms of period integrals. These period integrals actually define invariant forms on tensor products of the relevant automorphic representations. By the multiplicity-one theorems due to Sun-Zhu and Chen-Sun such invariant forms are unique up to scalar multiples and can therefore be related to…
▽ More
By the unfolding method, Rankin-Selberg L-functions for ${\rm GL}(n)\times{\rm GL}(m)$ can be expressed in terms of period integrals. These period integrals actually define invariant forms on tensor products of the relevant automorphic representations. By the multiplicity-one theorems due to Sun-Zhu and Chen-Sun such invariant forms are unique up to scalar multiples and can therefore be related to invariant forms on equivalent principal series representations. We construct meromorphic families of such invariant forms for spherical principal series representations of ${\rm GL}(n,\mathbb{R})$ and conjecture that their special values at the spherical vectors agree in absolute value with the archimedean local L-factors of the corresponding L-functions. We verify this conjecture in several cases.
This work can be viewed as the first of two steps in a technique due to Bernstein-Reznikov for estimating L-functions using their period integral expressions.
△ Less
Submitted 5 October, 2022; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Symmetry breaking operators for strongly spherical reductive pairs
Authors:
Jan Frahm
Abstract:
A real reductive pair $(G,H)$ is called strongly spherical if the homogeneous space $(G\times H)/{\rm diag}(H)$ is real spherical. This geometric condition is equivalent to the representation theoretic property that ${\rm dim\,Hom}_H(π|_H,τ)<\infty$ for all smooth admissible representations $π$ of $G$ and $τ$ of $H$. In this paper we explicitly construct for all strongly spherical pairs $(G,H)$ in…
▽ More
A real reductive pair $(G,H)$ is called strongly spherical if the homogeneous space $(G\times H)/{\rm diag}(H)$ is real spherical. This geometric condition is equivalent to the representation theoretic property that ${\rm dim\,Hom}_H(π|_H,τ)<\infty$ for all smooth admissible representations $π$ of $G$ and $τ$ of $H$. In this paper we explicitly construct for all strongly spherical pairs $(G,H)$ intertwining operators in ${\rm Hom}_H(π|_H,τ)$ for $π$ and $τ$ spherical principal series representations of $G$ and $H$. These so-called symmetry breaking operators depend holomorphically on the induction parameters and we further show that they generically span the space ${\rm Hom}_H(π|_H,τ)$. In the special case of multiplicity one pairs we extend our construction to vector-valued principal series representations and obtain generic formulas for the multiplicities between arbitrary principal series.
As an application, we prove an early version of the Gross-Prasad conjecture for complex orthogonal groups, and also provide lower bounds for the dimension of the space of Shintani functions.
△ Less
Submitted 11 October, 2023; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Knapp-Stein Type Intertwining Operators for Symmetric Pairs II. -- The Translation Principle and Intertwining Operators for Spinors
Authors:
Jan Frahm,
Bent Ørsted
Abstract:
For a symmetric pair $(G,H)$ of reductive groups we extend to a large class of generalized principal series representations our previous construction of meromorphic families of symmetry breaking operators. These operators intertwine between a possibly vector-valued principal series of $G$ and one for $H$ and are given explicitly in terms of their integral kernels. As an application we give a compl…
▽ More
For a symmetric pair $(G,H)$ of reductive groups we extend to a large class of generalized principal series representations our previous construction of meromorphic families of symmetry breaking operators. These operators intertwine between a possibly vector-valued principal series of $G$ and one for $H$ and are given explicitly in terms of their integral kernels. As an application we give a complete classification of symmetry breaking operators from spinors on a Euclidean space to spinors on a hyperplane, intertwining for a double cover of the conformal group of the hyperplane.
△ Less
Submitted 11 November, 2019; v1 submitted 8 February, 2017;
originally announced February 2017.
-
Model-Based Iterative Reconstruction for Radial Fast Spin-Echo MRI
Authors:
Kai Tobias Block,
Martin Uecker,
Jens Frahm
Abstract:
In radial fast spin-echo MRI, a set of overlapping spokes with an inconsistent T2 weighting is acquired, which results in an averaged image contrast when employing conventional image reconstruction techniques. This work demonstrates that the problem may be overcome with the use of a dedicated reconstruction method that further allows for T2 quantification by extracting the embedded relaxation info…
▽ More
In radial fast spin-echo MRI, a set of overlapping spokes with an inconsistent T2 weighting is acquired, which results in an averaged image contrast when employing conventional image reconstruction techniques. This work demonstrates that the problem may be overcome with the use of a dedicated reconstruction method that further allows for T2 quantification by extracting the embedded relaxation information. Thus, the proposed reconstruction method directly yields a spin-density and relaxivity map from only a single radial data set. The method is based on an inverse formulation of the problem and involves a modeling of the received MRI signal. Because the solution is found by numerical optimization, the approach exploits all data acquired. Further, it handles multi-coil data and optionally allows for the incorporation of additional prior knowledge. Simulations and experimental results for a phantom and human brain in vivo demonstrate that the method yields spin-density and relaxivity maps that are neither affected by the typical artifacts from TE mixing, nor by streaking artifacts from the incomplete k-space coverage at individual echo times.
△ Less
Submitted 29 February, 2016;
originally announced March 2016.
-
The compact picture of symmetry breaking operators for rank one orthogonal and unitary groups
Authors:
Jan Frahm,
Bent Ørsted
Abstract:
We present a method to calculate intertwining operators between the underlying Harish-Chandra modules of degenerate principal series representations of a semisimple Lie group $G$ and a semisimple subgroup $G'$, and between their composition factors. Our method describes the restriction of these operators to the $K'$-isotypic components, $K'\subseteq G'$ a maximal compact subgroup, and reduces the…
▽ More
We present a method to calculate intertwining operators between the underlying Harish-Chandra modules of degenerate principal series representations of a semisimple Lie group $G$ and a semisimple subgroup $G'$, and between their composition factors. Our method describes the restriction of these operators to the $K'$-isotypic components, $K'\subseteq G'$ a maximal compact subgroup, and reduces the representation theoretic problem to an infinite system of scalar equations of a combinatorial nature. For rank one orthogonal and unitary groups and spherical principal series representations we calculate these relations explicitly and use them to classify intertwining operators. We further show that in these cases automatic continuity holds, i.e. every intertwiner between the Harish-Chandra modules extends to an intertwiner between the Casselman--Wallach completions, verifying a conjecture by Kobayashi. Altogether, this establishes the compact picture of the recently studied symmetry breaking operators for orthogonal groups by Kobayashi--Speh, gives new proofs of their main results and extends them to unitary groups.
△ Less
Submitted 11 November, 2019; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Aggregated motion estimation for real-time MRI reconstruction
Authors:
Housen Li,
Markus Haltmeier,
Shuo Zhang,
Jens Frahm,
Axel Munk
Abstract:
Real-time magnetic resonance imaging (MRI) methods generally shorten the measuring time by acquiring less data than needed according to the sampling theorem. In order to obtain a proper image from such undersampled data, the reconstruction is commonly defined as the solution of an inverse problem, which is regularized by a priori assumptions about the object. While practical realizations have hith…
▽ More
Real-time magnetic resonance imaging (MRI) methods generally shorten the measuring time by acquiring less data than needed according to the sampling theorem. In order to obtain a proper image from such undersampled data, the reconstruction is commonly defined as the solution of an inverse problem, which is regularized by a priori assumptions about the object. While practical realizations have hitherto been surprisingly successful, strong assumptions about the continuity of image features may affect the temporal fidelity of the estimated images. Here we propose a novel approach for the reconstruction of serial real-time MRI data which integrates the deformations between nearby frames into the data consistency term. The method is not required to be affine or rigid and does not need additional measurements. Moreover, it handles multi-channel MRI data by simultaneously determining the image and its coil sensitivity profiles in a nonlinear formulation which also adapts to non-Cartesian (e.g., radial) sampling schemes. Experimental results of a motion phantom with controlled speed and in vivo measurements of rapid tongue movements demonstrate image improvements in preserving temporal fidelity and removing residual artifacts.
△ Less
Submitted 4 December, 2013; v1 submitted 18 April, 2013;
originally announced April 2013.
