The Plancherel formula for the horocycle space, and several generalizations, is derived within the framework of quasi-regular representations which have monomial spectrum. The proof uses only machinery from the Penney-Fujiwara distribution-theoretic technique; no special semisimple harmonic analysis is needed. The Plancherel formulas obtained include the spectral distributions and the intertwining operators that effect the direct integral decomposition of the quasi-regular representation.

A weighted generalization of a p-Sidon set, called an (a, p)-Sidon set, is introduced and studied for infinite, non-abelian, connected, compact groups G. The entire dual object Ĝ is shown never to be central (p − 1, p)-Sidon for 1 ≦ p < 2, nor central (1 + ε, 2)-Sidon for ε > 0. Local (p, p)-Sidon sets are shown to be identical to local Sidon sets. Examples are constructed of infinite non-Sidon sets which are central (2p − 1, p)-Sidon, or (p − 1, p)-Sidon, for 1 < p < 2. Full m-fold FTR sets are proved not to be central (a, 2m/(m + 1))-Sidon for any a > 1.

Lipschitz spaces are important function spaces with relations to Hp spaces and Campanato spaces, the other two important function spaces in harmonic analysis. In this paper we give some characterizations for Lipschitz spaces on compact Lie groups, which are analogues of results in Euclidean spaces.

Let G be a Lie group, Go the connected component of G that contains the identity, and Aut G the group of all topological automorphisms of G. In the case when G/Go is finite and G has a faithful representation, we obtain a necessary and sufficient condition for G so that Aut G has finitely many components in terms of the maximal central torus in Go.

Let (ℋ, G, U) be a continuous representation of the Lie group G by bounded operators g ↦ U(g) on the Banach space ℋ and let (ℋ, g, dU) denote the representation of the Lie algebra g obtained by differentiation. If a1,…, ad′ is a Lie algebra basis of g and Ai = dU(ai) then we examine elliptic regularity properties of the subelliptic operators where (cij) is a real-valued strictly positive-definite matrix and c0, c1,…, cd′ ∈ C. We first introduce a family of Lipschitz subspaces ℋγ, γ > 0, of ℋ which interpolate between the Cn-subspaces of the representation and for which the parameter γ is a continuous measure of differentiability. Secondly, we give a variety of characterizations of the spaces in terms of the semigroup generated by the closure of H and the group representation. Thirdly, for sufficiently large values of Re c0 the fractional powers of the closure of H are defined, and we prove that D()γ⊆γ′, for γ′ < 2γ/r where r is the rank of the basis. Further we establish that 2γ/r is the optimal regularity value and it is attained for unitary representations or for the representations obtained by restricting U to ℋγ. Many other regularity properties are obtained.

It is proved that on certain kinds of homogeneous spaces, the only Lp function, 1≤ p < ∞, satisfying the mean value property is the zero function.

Let Δ be a thick building of type Ã2, and let be its set of vertices. We study a commutative algebra of ‘averaging’ operators acting on the space of complex valued functions on . This algebra may be identified with a space of ‘biradial functions’ on , or with a convolution algebra of bi-K-invariant functions on G, if G is a sufficiently large group of ‘type-rotating’ automorphisms of Δ, and K is the subgroup of G fixing a given vertex. We describe the multiplicative functionals on and the corresponding spherical functions. We consider the C*-algebra induced by on l2, find its spectrum Σ, prove positive definiteness of a kernel kz for each z ∈ Σ, find explicity the spherical Plancherel formula for any group G of type rotating automorphisms, and discuss the irreducibility of the unitary representations appearing therein. For the class of buildings ΔJ arising from the groups ΓJ introduced in [2], this involves proving that the weak closure of is maximal abelian in the von Neumann algebra generated by the left regular representation of ΓJ.

We develop a concrete Fourier transform on a compact Lie group by means of a symbol calculus, or *-product, on each integral co-adjoint orbit. These *-products are constructed by means of a moment map defined for each irreducible representation. We derive integral formulae for these algebra structures and discuss the relationship between two naturally occurring inner products on them. A global Kirillov-type character is obtained for each irreducible representation. The case of SU(2) is treated in some detail, where some interesting connections with classical spherical trigonometry are obtained.

For unbounded operators A1, …, Ad, Gevrey spaces Sλ1, …, λd (A1, …, Ad) of order (λ1, …, λd) are introduced, where the orders λ1, …, λd need not be equal. These extend the notion of Gevrey space defined by Goodman and Wallach where λ1 = … = λd. Several mild conditions on the operators A1, … Ad and the orders λ1, …, λd are presented such that the equality is valid. Examples are included.

W. Rudin has proved that the union of the Riesz set N ⊆ R with a Λ(l)-subset of Z is again a Riesz set. In this note we generalize his result to compact groups whose contains a circle group, thereby extending an earlier F. and M. Riesz theorem for such groups by the author. We also investigate the possibility of constructing Λ(p)-sets for these groups, departing from Λ(p)-sets for the circle group in center.

Introduction. Polyhedra in 3-dimensional hyperbolic space which give rise to discrete groups generated by reflections in their faces have been investigated in [14], [17], [29] and in the case of tetrahedra there are precisely nine compact non-congruent ones with dihedral angles integral submultiples of π [14]. These polyhedral groups give rise to hyperbolic 3-orbifolds and examples of these have been studied, for example, in [3], [15], [18], [24], [25].

Recently M. Benedicks showed that if a function f ∈ L2(Rd) and its Fourier transform both have supports of finite measure, then f = 0 almot everywhere. In this paper we give a version of this result for all noncompact semisimple connected Lie groups with finite centres.

Let N be a nilpotent simply connected Lie group, and A a commutative connected d-dimensional Lie group of automorphisms of N which correspond to semisimple endomorphisms of the Lie algebra of N with positive eigenvalues. Form the split extension S = N × A ≅ N × a, a being the Lie algebra of A. We consider a family of “rectangles” Br in S, parameterized by r > 0, such that the measure of Br behaves asymptotically as a fixed power of r. One can construct the Hardy-Littlewood maximal function operator f → Mf relative to left translates of the family {Br}. We prove that M is of weak type (1, 1). This complements a result of J.-O. Strömberg concerning maximal functions defined relative to hyperbolic balls in a symmetric space.

According to an extension of a classical theorem of Bernstein, due to C. Herz, a function on Rn belonging to a Besov space of appropriate order has an absolutely convergent Fourier transform. We establish extensions of this result to Cartan motion groups, for Besov spaces defined with respect to both isotropic and non-isotropic differences.

In this paper it is proved that the principal series of representations of Γ = Z2*…*Z2 may be analytically continued to give uniformly bounded representations on the same Hilbert space, and that these representations are irreducible. Further, the reducibility of the restrictions to Γ ⊂ SL(2, Qp) of the irreducible unitary representations of SL(2, Qp) is examined.

The paper deals with six groups: the unitary, orthogonal, symplectic, Fredholm unitary, special Fredholm orthogonal, and Fredholm symplectic groups of an infinite-dimensional Hilbert space. When each is furnished with the invariant Finsler structure induced by the operator-norm on the Lie algebra, it is shown that, between any two points of the group, there exists a geodesic realising this distance (often, indeed, a unique geodesic), except in the full orthogonal group, in which there are pairs of points that cannot be joined by minimising geodesics, and also pairs that cannot even be joined by minimising paths. A full description is given of each of these possibilities.

Let G be an exponential Lie group. We study primitive ideals (i.e. kernels of irreducible *-representations of L1(G)), with bounded approximate units (b.a.u.). We prove a result relating the existence of b.a.u. in certain primitive ideals with the geometry of the corresponding Kirillov orbits. This yields for a solvable group of class 2, a characterization of the primitive ideals with b.a.u.

This paper calculates the central Borel 2 cocycles for certain 2-step nilpotent Lie groups G with values in the injectives A of the category of 2nd countable locally compact abelian groups. The G's include, among others, all groups locally isomorphic to a Heisenberg group. The A's are direct sums of vector groups and (possibly infinite dimensional) tori, and in particular include R, T, and Cx. The main results are as follows.

(4.1) Every symmetric central 2 cocycle is trivial.

(4.2) Every central 2 cocycle is cohomologous with a skew symmetric bimultiplicative one (which is necessarily jointly continuous by [7]).

(4.3) The corresponding cohomology group H2cent (G, A) is calculated as the skew symmetric jointly continuous bimultiplicative maps modulo Homcont ([G, G]–, A).

These results generalize the case when G is a connected abelian Lie group and A = T, due to Kleppner [3]. Using standard facts of the cohomology of groups they can be interpreted as classifying all continuous central extensions (1) → A → E → G → (1) of the group G by the abelian group A. Finally some counterexamples are given to extending these results.

Let ℝ∞ be the direct limit of the Euclidean spaces ℝn. Now the orthogonal group O(∞) acts on ℝn and the direct limit O(∞) of the groups O(∞) acts on ℝ∞. The infinite pin group Pin(∞) is an extension of ℤ2 by O(∞) and admits the following presentation: the generators are the unit vectors xf in ℝ∞ and the relations are

Let G and H be Hausdorff locally compact groups. By R(G, H) we denote the space of continuous homomorphisms of G into H equipped with the compact-open topology, namely that which is generated by subsets of the form

where K is any compact subset of G and U is any open subset of H. Further, let R0(G, H) be the subset of R(G, H) consisting of elements r satisfying the conditions that the quotient space H/r(G) is compact and r is proper, i.e., the action of G on H defined as the action by left translations of r(G) on H is proper. It has been shown by H. Abels [2] that if G and H are such that at least one of them has a compact defining subset then R0(G,H) is open in R(G,H). Moreover, for each r0 ∈ R0(G,H) there exists a neighbourhood M and a compact subset F of H such that r(G) F = H for all r ∈ M and for each compact subset K of H the union is a relatively compact subset of G. It is furthermore shown in [1] that if G contains no small subgroups and H is connected then the subset of R0(G, H) consisting of isomorphisms of G into H is open in R(G, H). These results, in the case in which H is a connected Lie Group and G is a discrete group, have been established by Weil in [5] and [6] appendix 1.