Compact Subgroup Research Articles

A Unified View of Space–Time Covariance Functions Through Gelfand Pairs

We give a characterization of positive definite integrable functions on a product of two Gelfand pairs as an integral of positive definite functions on one of the Gelfand pairs with respect to the Plancherel measure on the dual of the other Gelfand pair. In the very special case where the Gelfand pairs are Euclidean groups and the compact subgroups are reduced to the identity, the characterization is a much cited result in spatio-temporal statistics due to Cressie, Huang and Gneiting. When one of the Gelfand pairs is compact the characterization leads to results about expansions in spherical functions with positive definite expansion functions, thereby recovering recent results of the author in collaboration with Peron and Porcu. In the special case when the compact Gelfand pair consists of orthogonal groups, the characterization is important in geostatistics and covers a recent result of Porcu and White.

SOME HOMOLOGICAL PROPERTIES OF FOURIER ALGEBRAS ON HOMOGENEOUS SPACES

AbstractLet $ H $ be a compact subgroup of a locally compact group $ G $ . We first investigate some (operator) (co)homological properties of the Fourier algebra $A(G/H)$ of the homogeneous space $G/H$ such as (operator) approximate biprojectivity and pseudo-contractibility. In particular, we show that $ A(G/H) $ is operator approximately biprojective if and only if $ G/H $ is discrete. We also show that $A(G/H)^{**}$ is boundedly approximately amenable if and only if G is compact and H is open. Finally, we consider the question of existence of weakly compact multipliers on $A(G/H)$ .

Relative Trace Formula for Compact Quotient and Pseudo-Coefficients for Relative Discrete Series

Abstract We introduce the notion of relative pseudo-coefficient for relative discrete series representations of real spherical homogeneous spaces of reductive groups. We prove that $K$-finite relative pseudo-coefficient does not exist for semisimple symmetric spaces of type $G_{\mathbb{C}}/G_{\mathbb{R}}$, where $K$ is a maximal compact subgroup of $G_{\mathbb{C}}$, and construct strong relative pseudo-coefficients for some hyperbolic spaces. We establish a toy model for the relative trace formula of H. Jacquet for compact discrete quotient $\Gamma \backslash G$. This allows us to prove that a relative discrete series representation, which admits strong pseudo-coefficients with sufficiently small support, occurs in the spectral decomposition of $L^2(\Gamma \backslash G)$ with a nonzero period.

A Poisson transform adapted to the Rumin complex

Let G be a semisimple Lie group with finite center, [Formula: see text] a maximal compact subgroup, and [Formula: see text] a parabolic subgroup. Following ideas of P. Y. Gaillard, one may use G-invariant differential forms on [Formula: see text] to construct G-equivariant Poisson transforms mapping differential forms on G/P to differential forms on G/K. Such invariant forms can be constructed using finite-dimensional representation theory. In this general setting, we first prove that the transforms that always produce harmonic forms are exactly those that descend from the de Rham complex on G/P to the associated Bernstein–Gelfand–Gelfand (or BGG) complex in a well defined sense. The main part of this paper is devoted to an explicit construction of such transforms with additional favorable properties in the case that [Formula: see text]. Thus, G/P is [Formula: see text] with its natural CR structure and the relevant BGG complex is the Rumin complex, while G/K is complex hyperbolic space of complex dimension [Formula: see text]. The construction is carried out both for complex and for real differential forms and the compatibility of the transforms with the natural operators that are available on their sources and targets are analyzed in detail.

On feebly compact paratopological groups

We obtain many results and solve some problems about feebly compact paratopological groups. We obtain necessary and sufficient conditions for such a group to be topological. One of them is the quasiregularity. We prove that each 2-pseudocompact paratopological group is feebly compact and that each Hausdorff σ-compact feebly compact paratopological group is a compact topological group. Our particular attention concerns periodic and topologically periodic groups. We construct examples of various compact-like paratopological groups which are not topological groups, among them a T0 sequentially compact group, a T1 2-pseudocompact group, a functionally Hausdorff countably compact group (under the axiomatic assumption that there is an infinite torsion-free Abelian countably compact topological group without non-trivial convergent sequences), and a functionally Hausdorff second countable group sequentially pracompact group. We prove that the product of a family of feebly compact paratopological groups is feebly compact, and that a paratopological group G is feebly compact provided it has a feebly compact normal subgroup H such that a quotient group G/H is feebly compact. For our research we also study some general constructions of paratopological groups. We extend the well-known construction of Raĭkov completion of a T0 topological group to the class of paratopological groups. We investigate cone topologies of paratopological groups which provide a general tool for constructing pathological examples, especially examples of compact-like paratopological groups with discontinuous inversion. We find a simple interplay between the algebraic properties of a basic cone subsemigroup S of a group G and compact-like properties of two basic semigroup topologies generated by S on the group G.

Characterization of eigenfunctions of the Laplace–Beltrami operator using Fourier multipliers

Let X be a rank one Riemannian symmetric space of noncompact type and Δ be the Laplace–Beltrami operator of X. The space X can be identified with the quotient space G/K where G is a connected noncompact semisimple Lie group of real rank one with finite center and K is a maximal compact subgroup of G. Thus G acts naturally on X by left translations. Through this identification, a function or measure on X is radial (i.e. depends only on the distance from eK), when it is invariant under the left-action of K. We consider right-convolution operators Θ on functions f on X defined by, Θ:f↦f⁎μ where μ is a radial (possibly complex) measure on X. These operators will be called multipliers. In particular Θ is a radial average when μ is a radial probability measure. Notable examples of radial averages are ball, sphere and annular averages and the heat operator. In this paper we address problems of the following type: Fix a multiplier, in particular an averaging operator Θ. Suppose that {fk}k∈Z is a bi-infinite sequence of functions on X such that for all k∈Z, Θfk=Afk+1 and ‖fk‖<M for some constants A∈C, M>0 and a suitable norm ‖⋅‖. From this hypothesis, we try to infer that f0, hence every fk, is an eigenfunction of Δ.

A Going-Down principle for ample groupoids and the Baum-Connes conjecture

We study a Going-Down (or restriction) principle for ample groupoids and its applications. The Going-Down principle for locally compact groups was developed by Chabert, Echterhoff and Oyono-Oyono and allows to study certain functors, that arise in the context of the topological K-theory of a locally compact group, in terms of their restrictions to compact subgroups. We extend this principle to the class of ample Hausdorff groupoids using Le Gall's groupoid equivariant version of Kasparov's bivariant KK-theory. Moreover, we provide an application to the Baum-Connes conjecture for ample groupoids which are strongly amenable at infinity. This result in turn is then used to relate the Baum-Connes conjecture for an ample groupoid group bundle which is strongly amenable at infinity to the Baum-Connes conjecture for the fibres.

Banach Algebra of Bounded Complex Radon Measures on Homogeneous Space

Let H be a compact subgroup of a locally compact group G. In this paper we define a convolution on M(G/H) , the space of all bounded complex Radon measures on the homogeneous space G/H. Then we prove that the measure space M(G/H) with the newly well-defined convolution is a non-unital Banach algebra that possesses an approximate identity. Finally, it is shown that this Banach algebra is not involutive and also $$L^1(G/H)$$ with the new convolution is a two-sided ideal of it.

A Generalized Gelfand Pair Attached to a 3-Step Nilpotent Lie Group

Fil: Gallo, Andrea Lilen. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Cordoba. Centro de Investigacion y Estudios de Matematica. Universidad Nacional de Cordoba. Centro de Investigacion y Estudios de Matematica; Argentina. Universidad Nacional de Cordoba. Facultad de Matematica, Astronomia y Fisica; Argentina

Characters of some unitary highest weight representations via the theta correspondence

In this article, we consider a dual pair (G,G′) in the symplectic group Sp(W) with G compact and let (G˜,G˜′) be the preimages of G and G′ in the metaplectic group Sp(W)˜. For every irreducible representation Π of G˜ appearing in Howe correspondence, we compute explicitly the restriction of the character ΘΠ′ of the associated representation Π′ of G˜′ on the set of regular points on the compact Cartan subgroup H˜′ of G˜′.

DISTAL ACTIONS OF AUTOMORPHISMS OF NILPOTENT GROUPS G ON SUBG AND APPLICATIONS TO LATTICES IN LIE GROUPS

AbstractFor a locally compact group G, we study the distality of the action of automorphisms T of G on SubG, the compact space of closed subgroups of G endowed with the Chabauty topology. For a certain class of discrete groups G, we show that T acts distally on SubG if and only if Tn is the identity map for some $n\in\mathbb N$ . As an application, we get that for a T-invariant lattice Γ in a simply connected nilpotent Lie group G, T acts distally on SubG if and only if it acts distally on SubΓ. This also holds for any closed T-invariant co-compact subgroup Γ in G. For a lattice Γ in a simply connected solvable Lie group, we study conditions under which its automorphisms act distally on SubΓ. We construct an example highlighting the difference between the behaviour of automorphisms on a lattice in a solvable Lie group and that in a nilpotent Lie group. We also characterise automorphisms of a lattice Γ in a connected semisimple Lie group which act distally on SubΓ. For torsion-free compactly generated nilpotent (metrisable) groups G, we obtain the following characterisation: T acts distally on SubG if and only if T is contained in a compact subgroup of Aut(G). Using these results, we characterise the class of such groups G which act distally on SubG. We also show that any compactly generated distal group G is Lie projective.

The Infinitesimal Characters of Discrete Series for Real Spherical Spaces

Let $$Z=G/H$$ be the homogeneous space of a real reductive group and a unimodular real spherical subgroup, and consider the regular representation of G on $$L^2(Z)$$ . It is shown that all representations of the discrete series, that is, the irreducible subrepresentations of $$L^2(Z)$$ , have infinitesimal characters which are real and belong to a lattice. Moreover, let K be a maximal compact subgroup of G. Then each irreducible representation of K occurs in a finite set of such discrete series representations only. Similar results are obtained for the twisted discrete series, that is, the discrete components of the space of square integrable sections of a line bundle, given by a unitary character on an abelian extension of H.

DECOMPOSITION THEOREMS FOR AUTOMORPHISM GROUPS OF TREES

Motivated by the Bruhat and Cartan decompositions of general linear groups over local fields, we enumerate double cosets of the group of label-preserving automorphisms of a label-regular tree over the fixator of an end of the tree and over maximal compact open subgroups. This enumeration is used to show that every continuous homomorphism from the automorphism group of a label-regular tree has closed range.

A geometric realisation of tempered representations restricted to maximal compact subgroups

Let G be a connected, linear, real reductive Lie group with compact centre. Let $$K<G$$ be maximal compact. For a tempered representation $$\pi $$ of G, we realise the restriction $$\pi |_K$$ as the K-equivariant index of a Dirac operator on a homogeneous space of the form G/H, for a Cartan subgroup $$H<G$$ . (The result in fact applies to every standard representation.) Such a space can be identified with a coadjoint orbit of G, so that we obtain an explicit version of Kirillov’s orbit method for $$\pi |_K$$ . In a companion paper, we use this realisation of $$\pi |_K$$ to give a geometric expression for the multiplicities of the K-types of $$\pi $$ , in the spirit of the quantisation commutes with reduction principle. This generalises work by Paradan for the discrete series to arbitrary tempered representations.

An equivariant orbifold index for proper actions

For a proper, cocompact action by a locally compact group of the form H×G, with H compact, we define an H×G-equivariant index of H-transversally elliptic operators, which takes values in KK∗(C∗H,C∗G). This simultaneously generalises the Baum–Connes analytic assembly map, Atiyah’s index of transversally elliptic operators, and Kawasaki’s orbifold index. This index also generalises the assembly map to elliptic operators on orbifolds. In the special case where the manifold in question is a real semisimple Lie group, G is a cocompact lattice and H is a maximal compact subgroup, we realise the Dirac induction map from the Connes–Kasparov conjecture as a Kasparov product and obtain an index theorem for Spin-Dirac operators on compact locally symmetric spaces.

Finitary shadows of compact subgroups of S(omega )

Let LF be the lattice of all subgroups of the group SF(omega ) of all finitary permutations of the set of natural numbers. We consider subgroups of SF(omega ) of the form Ccap SF(omega ), where C is a compact subgroup of the group of all permutations. In particular, we study their distribution among elements of LF. We measure this using natural relations of orthogonality and almost containedness. We also study complexity of the corresponding families of compact subgroups of S(omega ).

Cycle Intersection for SOp,q-Flag Domains

A real form G0 of a complex semisimple Lie group G has only finitely many orbits in any given compact G-homogeneous projective algebraic manifold Z=G/Q. A maximal compact subgroup K0 of G0 has special orbits C which are complex submanifolds in the open orbits of G0. These special orbits C are characterized as the closed orbits in Z of the complexification K of K0. These are referred to as cycles. The cycles intersect Schubert varieties S transversely at finitely many points. Describing these points and their multiplicities was carried out for all real forms of SLn,ℂ by Brecan (Brecan, 2014) and (Brecan, 2017) and for the other real forms by Abu-Shoga (Abu-Shoga, 2017) and Huckleberry (Abu-Shoga and Huckleberry). In the present paper, we deal with the real form SOp,q acting on the SO (2n, C)-manifold of maximal isotropic full flags. We give a precise description of the relevant Schubert varieties in terms of certain subsets of the Weyl group and compute their total number. Furthermore, we give an explicit description of the points of intersection in terms of flags and their number. The results in the case of G/Q for all real forms will be given by Abu-Shoga and Huckleberry.

An Application of Spherical Geometry to Hyperkähler Slices

AbstractThis work is concerned with Bielawski’s hyperkähler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice with the data of a complex semisimple Lie group $G$, a reductive subgroup $H\subseteq G$, and a Slodowy slice $S\subseteq \mathfrak{g}:=\text{Lie}(G)$, defining it to be the hyperkähler quotient of $T^{\ast }(G/H)\times (G\times S)$ by a maximal compact subgroup of $G$. This hyperkähler slice is empty in some of the most elementary cases (e.g., when $S$ is regular and $(G,H)=(\text{SL}_{n+1},\text{GL}_{n})$, $n\geqslant 3$), prompting us to seek necessary and sufficient conditions for non-emptiness.We give a spherical-geometric characterization of the non-empty hyperkähler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$-regularity of $(G,H)$. This $\mathfrak{a}$-regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$. We also provide a classification of the $\mathfrak{a}$-regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop’s results on moment map images and Losev’s algorithm for computing Cartan spaces.

On the structure of groups with polynomial growth III

We show that a compactly generated locally compact group of polynomial growth having no non-trivial compact normal subgroups can be embedded as a co-compact subgroup into a semidirect product of a connected, simply connected, nilpotent Lie group and a compact group. There is also a uniqueness statement for this extension.

On a type of maximal abelian torsion free subgroups of connected Lie groups

For an arbitrary real connected Lie group G we define $$\mathrm {p}(G)$$ as the maximal integer p such that $$\mathbb {Z}^p$$ is isomorphic to a discrete subgroup of G and $$\mathrm {q}(G)$$ is the maximal integer q such that $$\mathbb {R}^q$$ is isomorphic to a closed subgroup of G. The aim of this paper is to investigate properties of these two invariants. We will show that if G is a noncompact connected Lie group, then $$1\le \mathrm {q}(G)\le \mathrm {p}(G)\le \dim (G/K)$$ where K is a maximal compact subgroup of G. In the cases when G is an exponential Lie group or G is a connected nilpotent Lie group, we give explicit relationships between these two invariants and a well known Lie algebra invariant $$\mathcal M(\mathfrak {g})$$ , i.e. the maximum among the dimensions of abelian subalgebras of the Lie algebra $$\mathfrak {g}:=\mathrm {Lie}(G)$$ .