AN EIGENSPACE CHARACTERIZATION OF LORENTZ-IMPROVING MEASURES ON COMPACT GROUPS

Abstract

A measure μ on a compact group is called Lorentz-improving if for some 1 > p > ∞ and 1 → q ₁ > q ₂ ∞ μ *L (p, q ₂) ? L(p, q ₁). Let T _μ denote the operator on L ² defined by T _μ(f) = μ * f. Lorentz-improving measures are characterized in terms of the eigenspaces of T _μ, if T _μ is a normal operator, and in terms of the eigenspaces of |T _μ| otherwise. This result generalizes our recent characterization of Lorentz-improving measures on compact abelian groups and is modelled after Hare's characterization of L ^p -improving measures on compact groups.     

The Hausdorff-Young theorem for the matricial groups G nm = ax + b

Let G_nm = {ax + b} be the matricial group of a local field. The Hausdorff-Young theorem for G₁₁ was proved by Eymard-Terp [3] in 1978. We will establish here the Hausdorff-Young theorem for G_nm for all . Received: 30 November 2005     

Fourier transforms of Schwartz functions on Chébli-Trimèche hypergroups

The Fourier transform for Schwartz spaces on Chébli-Trimèche hypergroups is studied, leading to results on approximation to the identity for functions and distributions on the half-line. In particular it is shown that the heat and Poisson kernels on the half-line form approximate units in various function spaces. A characterization of the convolution of a tempered distribution and a Schwartz function is also given.     

On characterized subgroups of compact abelian groups

Let X be a compact abelian group. A subgroup H of X   is called characterized if there exists a sequence u=(_un)$\mathbf{u}=(u_n)$ of characters of X   such that H=_su(X)$H=s_{\mathbf{u}}(X)$, where _su(X):={x∈X:(_un,x)→0 in T}$s_{\mathbf{u}}(X):=\{x\in X:(u_n,x)\to 0\text{in}\mathbb{T}\}$. Every characterized subgroup is an _Fσδ$F_{\sigma \delta }$-subgroup of X  . We show that every _Gδ$G_{\delta }$-subgroup of X is characterized. On the other hand, X   has non-characterized _Fσ$F_{\sigma }$-subgroups.     

L-Fourier multipliers for the Dunkl operator on the real line

We consider Fourier multipliers for L^p associated with the Dunkl operator on and establish a version of Hörmander's multiplier theorem. In applying this version, we come up with some results regarding the oscillating multipliers, partial sum operators and generalized Bessel potentials.     

Hardy and Cowling–Price theorems associated with the Jacobi–Cherednik operator

This paper is devoted to the proof of Hardy and Cowling–Price type theorems for the Fourier transform tied to the Jacobi–Cherednik operator.     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-conjecture for locally compact groups

Let G be a locally compact group. For 1 < p < ∞, it is well-known that f * g exists and belongs to L^p(G) for all f, g L^p (G) if and only if G is compact. Here, for 2 < p < ∞, we show that f * g exists for all f, g L^p(G) if and only if G is compact. We also show that this result does not remain true for 1 < p ≤ 2. Received: 23 April 2006     

Polynomial identities and maximal subgroups of skew linear groups

Suppose that D is a division ring with center F and N is a non-central normal subgroup of GL _n (D). In this paper we generalize some known results about maximal subgroups of GL _n (D) to maximal subgroups of N. More precisely, we prove that if M is a maximal subgroup of N such that F[M] satisfies a polynomial identity and contains an algebraic element over F or and either n ≥ 2 or n = 1 and M is not abelian, then [D : F] < ∞. This research was partially supported by a grant from IPM (No. 85160047).     

On local integrability and transience of convolution semigroups of measures

The analytic proof due to M. Itô of the Kesten-Ornstein transience criterion for continuous convolution semigroups of nonnegative contraction measures on a compactly generated Abelian locally compact group has been reworked and given a self-contained form. The new proof still relies on the existence of the equilibrium measure but dispenses with the complete maximum principle.     

Beitrag zur Theorie des Poissonschen Integrals über Endlichen Gruppen

 The Poisson kernel over odd order cyclic groups and truncated to height two is studied for hypercontractivity. A relevant multiplier inequality is verified. The corresponding convolution operator maps into with norm one for all parameters and all integers l. (Received 26 April 2001)     

A unified approach to the topological centre problem for certain Banach algebras arising in abstract harmonic analysis

Let be a locally compact group. Consider the Banach algebra , equipped with the first Arens multiplication, as well as the algebra LUC , the dual of the space of bounded left uniformly continuous functions on , whose product extends the convolution in the measure algebra M . We present (for the most interesting case of a non-compact group) completely different - in particular, direct - proofs and even obtain sharpened versions of the results, first proved by Lau-Losert in [9] and Lau in [8], that the topological centres of the latter algebras precisely are and M , respectively. The special interest of our new approach lies in the fact that it shows a fairly general pattern of solving the topological centre problem for various kinds of Banach algebras; in particular, it avoids the use of any measure theoretical techniques. At the same time, deriving both results in perfect parallelity, our method reveals the nature of their close relation.Received: 1 January 2002     

Sequences and filters of characters characterizing subgroups of compact Abelian groups

Let H be a countable subgroup of the metrizable compact Abelian group G and a (not necessarily continuous) character of H. Then there exists a sequence of (continuous) characters of G such that limn→∞χn(α)=f(α) for all α∈H and does not converge whenever α∈G?H. If one drops the countability and metrizability requirement one can obtain similar results by using filters of characters instead of sequences. Furthermore the introduced methods allow to answer questions of Dikranjan et al.     

Permanents,Doty coalgebras and dominant dimension of Schur algebras

A (hidden) multiplication on _AZ(n,r)$A_{\mathbb{Z}}(n,r)$, the Z$\mathbb{Z}$-dual of the integral Schur algebra _SZ(n,r)$S_{\mathbb{Z}}(n,r)$ is explicitly constructed, possibly without a unit. The image of the multiplication map is shown to be spanned by bipermanents. Let k   be any field of characteristic p>0$p>0$. The image of the induced multiplication on _Ak(n,r)=_AZ(n,r)_⊗Zk$A_k(n,r)=A_{\mathbb{Z}}(n,r){\otimes }_{\mathbb{Z}}k$ turns out to coincide with the Doty coalgebra _Dn,r,p$D_{n,r,p}$ of truncated symmetric powers. Combined with a new straightening formula for bipermanents, it is proved that such a multiplication induces an isomorphism _Ak(n,r)_⊗Sk(n,r)Ak(n,r)≅_Ak(n,r)$A_k(n,r){\otimes }_{S_k(n,r)}{A}_k(n,r)\cong A_k(n,r)$ as _Sk(n,r)$S_k(n,r)$-bimodules if and only if r≤n(p−1)$r\le n(p-1)$, if and only if _Dn,r,p=_Ak(n,r)$D_{n,r,p}=A_k(n,r)$. As a result, _Sk(n,r)$S_k(n,r)$ is a gendo-symmetric algebra, and its dominant dimension is at least two and admits a combinatorial characterization as long as r≤n(p−1)$r\le n(p-1)$.     

Proof of a conjecture of José L. Rubio de Francia

Given a compact connected abelian group G, its dual group Γ can be ordered (in a non-canonical way) so that it becomes an ordered group. It is known that, for any such ordering on Γ and p in the range 1<p<∞, the characteristic function χ_I of an interval I in Γ is a p—multiplier with a uniform bound (independent of I) on the corresponding operator S_I on L^p(G). In this note it is shown that, for 1<p,q<∞, there is a constant C_p,q, independent of G and the particular ordering on Γ, such that for all sequences {I_j} of intervals in Γ and all sequences {f_j} in L^p(G). Such a result was conjectured by J.L. Rubio de Francia, who noted its validity when The present proof uses a transference argument, an approach which shows that any constant C_p,q for which the inequality holds when G = will serve for every G and every ordering on Γ. An added advantage of this approach is that it adapts to give an extension of the result for functions taking values in a UMD space.The work of the first author was partially supported by a grant from the National Science Foundation (U.S.A.). The second and third authors were partially supported by the HARP network HPRN-CT-2001-00273 of the European Commission and by grant BFM2001-0188 of Ministerio de Ciencia y Tecnologia.     

A spectral radius formula for the Fourier transform on compact groups and applications to random walks

Let G be a compact group, not necessarily abelian, let ? be its unitary dual, and for f∈L¹(G), let fn?f∗?∗f denote n-fold convolution of f with itself and f? the Fourier transform of f. In this paper, we derive the following spectral radius formula

     

Solution to a conjecture by Hofmeier-Wittstock

For a locally compact (non-compact) group , consider as a left module over the algebra , endowed with the first Arens product. We answer in the affirmative a question raised by Hofmeier-Wittstock (Math. Ann. 308 (1) (1997) 141) concerning the automatic boundedness of the corresponding module homomorphisms on . In fact, we prove that an even stronger assertion holds true. Furthermore, we show that the theorem, first obtained by Ghahramani-McClure (Canad. Math. Bull. 35 (2) (1992) 180), on the automatic w∗-continuity of the (bounded) -module homomorphisms on , can be sharpened in a similar fashion. To this end, a general factorization theorem for bounded families in is proved from which we shall derive both results.     

A characterization of symmetric tube domains by convexity of Cayley transform images

In this paper, we show that a homogeneous tube domain is symmetric if and only if its Cayley transform image as well as the dual Cayley transform image of the dual tube domain is convex. In this case, the parameters of these Cayley transforms reduce to specific ones, so that they are essentially the usual Cayley transforms defined in terms of Jordan algebra structure.