Gap Series on Groups and Spheres

In Pontrjagin's theory of duality for compact abelian groups, the following theorem is known : Let G be a compact abelian group, G* the dual group. Then the topological dimension of G, in the sense of Lebesgue, is equal to the rank of discrete abelian group G*. It was Prof. T. Tannaka who has called my attention to the lack of corresponding theorem in non-commutative case. I intend to give, in this note, a theorem of this kind in the following form: THEOREM A. Let G be an arbitrary compact group, G the aggregate of continuous finite dimensional representstions of G, C[ G ] the algebra over the complex numbers C generated by the coefficients of representations in G, i.e., the representative ring of G in the sense of C. Chevalley^. Then the topological dimension of G, in the sense of Lebesgue, is equal to the transcendental degree of C[G] over C.

Let Hp(m), 0 < p ^ oo, be the Hardy spaces on a quotient K of the Bohr group. In this paper we completely determine the isometries of Hp{m), p Φ 2, onto itself. Our result is a generalization of a recent work of Muhly who determined the isometries of Hp(m) onto itself under the assumption that the dual group of K is countable, and it may be regarded as a partial answer to a question posed by Muhly. 1* Introduction* Many results have been obtained concerning isometries of Hardy spaces in the theory of uniform algebras. The most fundamental result in this direction is due to de Leeuw, Rudin, and Wermer [2], which states that an automorphism of the classical Hardy space H°°{T) is induced via composition with the unit circle T of a fractional linear transformation of the unit disc onto itself. Their work was carried on independent of Nagasawa [13], who also described the isometries of ίί oo(Tr) onto itself. On the other hand, Arens [1] completely determined the automorphisms of the uniform algebra of analytic functions on a compact abelian group K whose dual group Γ is archimedean ordered (cf. [11]). This result was extended by Muhly [11] to the uniform algebra of analytic functions induced by a flow which has no periodic orbits. Moreover Muhly [12] has recently given, among other things, the following interesting generalization of this result of Arens to the case of isometries of Hardy spaces Hp(m), p Φ 2, on K: Under the assumption that Γ is countable, every isometry of Hp(m), p Φ 2, is induced via composition with an affine map of K such that the adjoint of the additive factor of this map preserves the order of Γ. The purpose of this paper is to remove the assumption on Γ. This result provide a partial positive answer to the following question posed by Muhly in [12; §5]: Is it possible to describe the isometries of ergodic Hardy spaces

We define a category containing the discrete quantum groups (and hence the discrete groups and the duals of compact groups) and the compact quantum groups (and hence the compact groups and the duals of discrete groups). The dual of an object can be defined within the same category and we have a biduality theorem. This theory extends the duality between compact quantum groups and discrete quantum groups (and hence the one between compact abelian groups and discrete abelian groups). The objects in our category are multiplier Hopf algebras, with invertible antipode, admitting invariant functionals (integrals), satisfying some extra condition (to take care of the non-abelianness of the underlying algebras). If we start with a multiplier Hopf ∗-algebra with positive invariant functionals, then also the dual is a multiplier Hopf ∗-algebra with positive invariant functionals. This makes it possible to formulate this duality also within the framework of C∗-algebras.

We consider and study Blaschke inductive limit algebrasA(b), defined as inductive limits of disc algebras A(D) linked by a sequence of finite Blaschke products. It is well known that big G‐disc algebras AG over compact abelian groups G with ordered duals can be expressed as Blaschke inductive limit algebras. Any Blaschke inductive limit algebra A(b) is a maximal and Dirichlet uniform algebra. Its Shilov boundary ∂A(b) is a compact abelian group with dual group that is a subgroup of ℚ. It is shown that a big G‐disc algebra AG over a group G with ordered dual is a Blaschke inductive limit algebra if and only if . The local structure of the maximal ideal space and the set of one‐point Gleason parts of a Blaschke inductive limit algebra differ drastically from the ones of a big G‐disc algebra. These differences are utilized to construct examples of Blaschke inductive limit algebras that are not big G‐disc algebras. A necessary and sufficient condition for a Blaschke inductive limit algebra to be isometrically isomorphic to a big G‐disc algebra is found. We consider also inductive limits H∞(I) of algebras H∞, linked by a sequence of inner functions, and prove a version of the corona theorem with estimates for it. The algebra H∞(I) generalizes the algebra of bounded hyper‐analytic functions on an open big G‐disc, introduced previously by Tonev.

Projective free algebras of continuous functions on compact abelian groups

Let G be a compact abelian group and let Ĝ be its dual group. We shall denote by M(G) the set of all bounded complex valued Radon measures on G and by M(E) the elements of M(G) with support in a compact subset E of G.

Let G be a compact abelian group with dual group Γ. For 1 ≤ p &lt; ∞, denote by Ap(G) the space of integrable functions on G whose Fourier transforms belong to lp(Γ). We investigate several problems related to multipliers from Ap(G) to Aq(G). In particular, we prove that (Ap, Ap) ⊊ (Aq, Aq). For the circle group, we characterise permutation invariant multipliers from Ap to Ar for 1 ≤ r ≤ 2.

Let X be a locally compact and σ-compact abelian group and let denote the dual group of X. We denote by ξ a fixed Haar measure on X and by the Haar measure associated with ξ. In [2], we show the followingTheorem. Let (αt)t≧0 be a sub-Markov convolution semi-group on X and let ψ be the negative definite function associated with (αt)t≧0. Then (αt)t≧0 is transient if and only if Re (1/ψ) is locally -summable.

LetG be a locally compact abelian topological group containing a suitable sequence of compact open subgroups and let Γ be its dual group. LetK (α,p, q; G) andK (α,p, q; Γ) denote the so-called Herz spaces onG and Γ, respectively. In this paper we shall prove that for 1<p≤2 and 0≤α<1/p′=1−1/p, the Fourier transform mapsK (α,p, p; G) continuously intoK (−α,p′, 2; Γ). The proof requires two results that are of independent interest: an extension of the Hausdorff-Young inequality to certain weightedL p-spaces onG and a Littlewood-Paley theorem for certain weightedL p-spaces onG.

Let G denote a locally compact abelian topological group (an l.c.a.group) with dual group C\ We will denote by A7(G) the Banach algebra of bounded regular Borel measures on G under convolution multiplication and by L(G) the algebra of bounded measures absolutely continuous with respect to Haar measure on G (for discussions of these Banach algebras cf.[1], [2], and [5]).In this paper we shall be concerned with closed subalgebras 501 of M(G) with the following two properties:(1) if p e 50c and v is absolutely continuous with respect to p, then vs;(2) the maximal ideal space of 501 is G~, where the Gelfand transform p~ of P e 501 is given by p~(x)=J x dp for ^Ga; i.e., the Gelfand transform coincides with the Fourier-Stieltjes transform on 50.Any closed subalgebra of M(G) satisfying (1) will be called an L-subalgebra of M(G).It is well known thatL(G) satisfies ( 1) and (2) (cf.[5, Chapter 1]).In Theorem 1 we show that any L-subalgebra 50c of M(G), with L(G)<=50cc(L(G))1,2) also satisfies (2), where (L(G))112 is the intersection of all maximal ideals of M(G) containing L(G).We conjecture that the converse is also true; i.e., if 501 satisfies (1) and (2) then L(G)c 50c c(L(G))1/2.In Theorem 2 we prove that this is true provided G contains no copy of 7?" for > 1.The problem arises in the following way : in [6] we define the concept of abstract convolution measure algebra and prove that any such algebra 501, provided it is commutative and semisimple, may be represented as an L-subalgebra of M(S), where S is a compact topological semigroup called the structure semigroup of 5D.M(G) and L(G) are convolution measure algebras as is any L-subalgebra of the measure algebra on a semigroup.The map p-> ps which embeds 50c in M(S) is an isometry as well as an algebraic isomorphism and it preserves the order theoretic properties of 50 as a space of measures.The maximal ideal space of 50c may be identified as S~, the set of all semicharacters of S, where the Gelfand transform of p e 50c is given by p~(f) = $fdp.sfor fe S~ (a semicharacter of S is a continuous homomorphism of S into the unit disc which is not identically zero).Under pointwise multiplication S~ is a semigroup provided 50c has an approximate identity.

We study Pontryagin reflexivity in the class of precompact topological Abelian groups. We find reflexive groups among precompact not pseudocompact and among pseudocompact not compact groups. Making use of Martin's axiom we give an example of a reflexive countably compact not compact Abelian group. We also prove that every pseudocompact Abelian group is a quotient of a reflexive pseudocompact group with respect to a closed reflexive pseudocompact subgroup.

Given a compact group G and r ∈ N, let sr(G) denote the least upper bound of real ϵ > 0 such that for every measurable r-coloring of G, there exists a monochrome symmetric subset of measure ≥ ϵ. A subset A ⊆ G is symmetric if there exists g ∈ G such that gA −1 g = A. We give a general picture of asymptotic behaviour of the function sr(G) for compact Abelian groups.

Let G be a compact abelian group and <p a complex-valued function defined on the dual I\ The main result of this paper is that y is a compact multiplier of type (p, q), 1 -p < oo and 1 <? oo, if and only if it satisfies the following condition : Given >0 there corresponds a finite set XCT such that |2 ayby<p(y)\ <e whenever P=1ayy and Q = 2 byy are trigonometric polynomials satisfying ||.P||pi=l, ||||,'el iq' the conjugate index of q) and by = 0 for y e K. Using the above characterization we obtain the following necessary and sufficient condition for <p to be the Fourier transform of a continuous complex-valued function on G: Given c>0 there corresponds a finite set #<= T such that |2 byy(y)\ <e whenever 0 = 2 byy isa trigonometric polynomial satisfying || II i = 1 and by=0 for y e K.Throughout the paper G is a compact abelian group, <p a complex-valued function defined on the dual F and V(G) (1 ^pf^co) the usual Lebesgue space of index p formed with respect to Haar measure on G. Let M(G) denote the convolution algebra of complex-valued regular measures which are bounded on G, and C(G) the class of all continuous complex-valued functions defined on G.The Fourier transform / of a function feL1(G) is defined by f(y)=\aAx)(-x,y)dx (yeT)and the Fourier-Stieltjes transform fi of a measure p e M(G) by p(y)=^(-x,y)dp(x) (yeT).The function <p is said to be a multiplier of type (/?, q) if given fe LP(G) there corresponds age LQ(G) such that <pf=g.Now any (p, q) multiplier induces a bounded linear operator from W(G) into L"(G), T9, where (Tvfy = <pf and Tv commutes with translation.Conversely for p<co, there corresponds to any such bounded linear operator T mapping LV(G) into L"(G), a unique multiplier 93 of type (p, q) such that T= T0 (see [5, pp.249-250]).We say that <p is a compact multiplier if T9 is a compact operator.Let M^(T) denote the set of all multipliers of type (p, q) and mqp(Y) the set of all 93 e M(T) which are compact.Then M^(Y) is a Banach space where the norm || ||(P_", of the multiplier 95 is defined to be the norm of the multiplier operator T0.Let 3(G)

In a recent article [K. H. Hofmann and F. G. Russo, ‘The probability that$x$and$y$commute in a compact group’,Math. Proc. Cambridge Phil Soc., to appear] we calculated for a compact group$G$the probability$d(G)$that two randomly selected elements$x, y\in G$satisfy$xy=yx$, and we discussed the remarkable consequences on the structure of$G$which follow from the assumption that$d(G)$is positive. In this note we consider two natural numbers$m$and$n$and the probability$d_{m,n}(G)$that for two randomly selected elements$x, y\in G$the relation$x^my^n=y^nx^m$holds. The situation is more complicated whenever$n,m\gt 1$. If$G$is a compact Lie group and if its identity component$G_0$is abelian, then it follows readily that$d_{m,n}(G)$is positive. We show here that the following condition suffices for the converse to hold in an arbitrary compact group$G$: for any nonopen closed subgroup$H$of$G$, the sets$\{g\in G: g^k\in H\}$for both$k=m$and$k=n$have Haar measure$0$. Indeed, we show that if a compact group$G$satisfies this condition and if$d_{m,n}(G)\gt 0$, then the identity component of$G$is abelian.

Given a locally compact group G, G L U C is the largest semigroup compactification of G and G * = G L U C ∖ G . We show that (i) for every locally compact compactly generated Abelian group G and for every p , q ∈ G * , the multiplication in G L U C is discontinuous at ( p , q ) , (ii) there is a locally compact σ-compact torsion-free Abelian group G for which, assuming Martin's Axiom, there are p , q ∈ G * such that the multiplication in G L U C is continuous at ( p , q ) , and (iii) it is consistent with ZFC that for every locally compact Abelian group G and for every p , q ∈ G * , the left translation by p in G * is discontinuous at q.