Harmonic analysis of SL(2) over a locally compact field

We carry over the pioneer work of Kunze and Stein concerning representation theory and harmonic analysis on SL(2, R) to the group G = SL(2, K), K a locally compact totally disconnected nondiscrete field. The main result is that convolution by an L^p(G) function, 1 ? p < 2, is a bounded operator on L²(G). To accomplish this result we develop the appropriate estimates (which depend upon the work of Sally et al.) that enable us to apply the Kunze and Stein interpolation theory to the Fourier-Laplace transform for the group G. Best possible estimates are obtained.     

Convolution on L p -spaces of a locally compact group

We have recently shown that, for 2 < p < ∞, a locally compact group G is compact if and only if the convolution multiplication f * g exists for all f, g ∈ L ^p (G). Here, we study the existence of f * g for all f, g ∈ L ^p (G) in the case where 0 < p ≤ 2. Also, for 0 < p < ∞, we offer some necessary and sufficient conditions for L ^p (G) * L ^p (G) to be contained in certain function spaces on G.     

Necessary and sufficient conditions for boundedness of some commutators with weighted Lipschitz functions

In this paper we show that b∈Lipβ,μ if and only if the commutator [b,T] of the multiplication operator by b and the singular integral operator T is bounded from Lp(μ) to Lq(μ1−q), where 1<p<q<∞, 0<β<1 and 1/q=1/p−β/n. Also we will obtain that b∈Lipβ,μ if and only if the commutator [b,Iα] of the multiplication operator by b and the fractional integral operator Iα is bounded from Lp(μ) to Lr(μ1−(1−α/n)r), where 1<p<∞, 0<β<1 and 1/r=1/p−(β+α)/n with 1/p>(β+α)/n.     

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

     

Module homomorphisms and multipliers on locally compact quantum groups

For a Banach algebra A with a bounded approximate identity, we investigate the A-module homomorphisms of certain introverted subspaces of A^∗, and show that all A-module homomorphisms of A^∗ are normal if and only if A is an ideal of A∗∗. We obtain some characterizations of compactness and discreteness for a locally compact quantum group G. Furthermore, in the co-amenable case we prove that the multiplier algebra of L¹(G) can be identified with M(G). As a consequence, we prove that G is compact if and only if LUC(G)=WAP(G) and M(G)≅Z(LUC^∗(G)); which partially answer a problem raised by Volker Runde.     

γ-Bounded representations of amenable groups

Let G be an amenable group, let X be a Banach space and let π:G→B(X) be a bounded representation. We show that if the set is γ-bounded then π extends to a bounded homomorphism w:C^∗(G)→B(X) on the group C^∗-algebra of G. Moreover w is necessarily γ-bounded. This extends to the Banach space setting a theorem of Day and Dixmier saying that any bounded representation of an amenable group on Hilbert space is unitarizable. We obtain additional results and complements when G=Z, R or T, and/or when X has property (α).     

The functions operating on multiplier algebras

Let 1 < p < ∞ with p ≠ 2. Let G denote one of the groups $\text{T}$ⁿ, $\text{R}$ⁿ, or $\text{Z}$ⁿ. We show that only entire functions operate in certain algebras of multipliers on L_p(G).     

Singular integral operators of near-product-type on the Heisenberg group

In this paper we establish Lp-boundedness (1<p<∞) for a class of singular convolution operators on the Heisenberg group whose kernels satisfy regularity and cancellation conditions adapted to the implicit (n+1)-parameter structure. The polyradial kernels of this type arose in [A.J. Fraser, An (n+1)-fold Marcinkiewicz multiplier theorem on the Heisenberg group, Bull. Austral. Math. Soc. 63 (2001) 35-58; A.J. Fraser, Convolution kernels of (n+1)-fold Marcinkiewicz multipliers on the Heisenberg group, Bull. Austral. Math. Soc. 64 (2001) 353-376] as the convolution kernels of (n+1)-fold Marcinkiewicz-type spectral multipliers m(L₁,…,Ln,iT) of the n-partial sub-Laplacians and the central derivative on the Heisenberg group. Thus they are in a natural way analogous to product-type Calderón-Zygmund convolution kernels on Rn. Here, as in [A.J. Fraser, An (n+1)-fold Marcinkiewicz multiplier theorem on the Heisenberg group, Bull. Austral. Math. Soc. 63 (2001) 35-58; A.J. Fraser, Convolution kernels of (n+1)-fold Marcinkiewicz multipliers on the Heisenberg group, Bull. Austral. Math. Soc. 64 (2001) 353-376], we extend to the (n+1)-parameter setting the methods and results of Müller, Ricci, and Stein in [D. Müller, F. Ricci, E.M. Stein, Marcinkiewicz multipliers and two-parameter structures on Heisenberg groups I, Invent. Math. 119 (1995) 199-233] for the two-parameter setting and multipliers m(L,iT) of the sub-Laplacian and the central derivative.     

A note on list improper coloring of plane graphs

A list-assignment L to the vertices of G is an assignment of a set L(v) of colors to vertex v for every v∈V(G). An (L,d)^∗-coloring is a mapping ? that assigns a color ?(v)∈L(v) to each vertex v∈V(G) such that at most d neighbors of v receive color ?(v). A graph is called (k,d)^∗-choosable, if G admits an (L,d)^∗-coloring for every list assignment L with |L(v)|≥k for all v∈V(G). In this note, it is proved that every plane graph, which contains no 4-cycles and l-cycles for some l∈{8,9}, is (3,1)^∗-choosable.     

Improvement on Brooks' chromatic bound for a class of graphs

Brooks' Theorem says that if for a graph G,Δ(G)=n, then G is n-colourable, unless (1) n=2 and G has an odd cycle as a component, or (2) n>2 and K_n+1 is a component of G. In this paper we prove that if a graph G has none of some three graphs (K_1,3;K₅?e and H) as an induced subgraph and if Δ(G)?6 and d(G)<Δ(G), then χ(G)<Δ(G). Also we give examples to show that the hypothesis Δ(G)?6 can not be non-trivially relaxed and the graph K₅?e can not be removed from the hypothesis. Moreover, for a graph G with none of K_1,3;K₅?e and H as an induced subgraph, we verify Borodin and Kostochka's conjecture that if for a graph G,Δ(G)?9 and d(G)<Δ(G), then χ(G)<Δ(G).     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

Explicit constants for Hardy’s inequality with power weight on n-dimensional product spaces

In this paper, Hardy operator H on n-dimensional product spaces G = (0, ∞)n and its adjoint operator H* are investigated. We use novel methods to obtain two main results. One is that we characterize the sufficient and necessary conditions for the operators H and H* being bounded from Lp(G, xα) to Lq(G, xβ), and the bounds of the operators H and H* are explicitly worked out. The other is that when 1 < p = q < +∞, norms of the operators H and H* are obtained.     

Topology of random clique complexes

In a seminal paper, Erd?s and Rényi identified a sharp threshold for connectivity of the random graph G(n,p). In particular, they showed that if p?logn/n then G(n,p) is almost always connected, and if p?logn/n then G(n,p) is almost always disconnected, as n→∞.The clique complexX(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In contrast to the zeroth homology group of X(H), which measures the number of connected components of H, the higher dimensional homology groups of X(H) do not correspond to monotone graph properties. There are nevertheless higher dimensional analogues of the Erd?s-Rényi Theorem.We study here the higher homology groups of X(G(n,p)). For k>0 we show the following. If p=n^α, with α<−1/k or α>−1/(2k+1), then the kth homology group of X(G(n,p)) is almost always vanishing, and if −1/k<α<−1/(k+1), then it is almost always nonvanishing.We also give estimates for the expected rank of homology, and exhibit explicit nontrivial classes in the nonvanishing regime. These estimates suggest that almost all d-dimensional clique complexes have only one nonvanishing dimension of homology, and we cannot rule out the possibility that they are homotopy equivalent to wedges of a spheres.     

Some families of integral graphs

A graph is called integral if all its eigenvalues (of the adjacency matrix) are integers. In this paper, the graphs K_1,r•K_n, r∗K_n, K_1,r•K_m,n, r∗K_m,n and the tree K_1,s•T(q,r,m,t) are defined. We determine the characteristic polynomials of these graphs and also obtain sufficient and necessary conditions for these graphs to be integral. Some sufficient conditions are found by using the number theory and computer search. All these classes are infinite. Some new results which treat interrelations between integral trees of various diameters are also found. The discovery of these integral graphs is a new contribution to the search of such graphs.     

A note on the Kunze-Stein phenomenon

The authors show that convolution with an L^p function k is a bounded operator on L²(G), 1 ? p < 2, for G noncompact semisimple and k having invariance properties.     

Time Regularity for Random Walks on Locally Compact Groups

Let G be a compactly generated, locally compact group, and let T be the operator of convolution with a probability measure μ on G. Our main results give sufficient conditions on μ for the operator T to be analytic in L ^p (G), 1 < p < ∞, where analyticity means that one has an estimate of form for all n = 1, 2, ... in L ^p operator norm. Counterexamples show that analyticity may not hold if some of the conditions are not satisfied.     

Primitives and central detection numbers in group cohomology

Fix a prime p. Given a finite group G, let H^∗(G) denote its mod p cohomology. In the early 1990s, Henn, Lannes, and Schwartz introduced two invariants d₀(G) and d₁(G) of H^∗(G) viewed as a module over the mod p Steenrod algebra. They showed that, in a precise sense, H^∗(G) is respectively detected and determined by Hd(CG(V)) for d?d₀(G) and d?d₁(G), with V running through the elementary abelian p-subgroups of G.The main goal of this paper is to study how to calculate these invariants. We find that a critical role is played by the image of the restriction of H^∗(G) to H^∗(C), where C is the maximal central elementary abelian p-subgroup of G. A measure of this is the top degree e(G) of the finite dimensional Hopf algebra H^∗(C)_⊗H^∗(G)Fp, a number that tends to be quite easy to calculate.Our results are complete when G has a p-Sylow subgroup P in which every element of order p is central. Using the Benson-Carlson duality, we show that in this case, d₀(G)=d₀(P)=e(P), and a similar exact formula holds for d₁. As a bonus, we learn that He(G)(P) contains nontrivial essential cohomology, reproving and sharpening a theorem of Adem and Karagueuzian.In general, we are able to show that d₀(G)?max{e(CG(V))|V<G} if certain cases of Benson's Regularity Conjecture hold. In particular, this inequality holds for all groups such that the difference between the p-rank of G and the depth of H^∗(G) is at most 2. When we look at examples with p=2, we learn that d₀(G)?14 for all groups with 2-Sylow subgroup of order up to 64, with equality realized when G=SU(3,4).En route we study two objects of independent interest. If C is any central elementary abelian p-subgroup of G, then H^∗(G) is an H^∗(C)-comodule, and we prove that the subalgebra of H^∗(C)-primitives is always Noetherian of Krull dimension equal to the p-rank of G minus the p-rank of C. If the depth of H^∗(G) equals the rank of Z(G), we show that the depth essential cohomology of G is nonzero (reproving and extending a theorem of Green), and Cohen-Macauley in a certain sense, and prove related structural results.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

A note on acyclic edge coloring of complete bipartite graphs

An acyclic edge coloring of a graph is a proper edge coloring such that there are no bichromatic (2-colored) cycles. The acyclic chromatic index of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by a^′(G). Let Δ=Δ(G) denote the maximum degree of a vertex in a graph G. A complete bipartite graph with n vertices on each side is denoted by K_n,n. Alon, McDiarmid and Reed observed that a^′(K_p−1,p−1)=p for every prime p. In this paper we prove that a^′(K_p,p)≤p+2=Δ+2 when p is prime. Basavaraju, Chandran and Kummini proved that a^′(K_n,n)≥n+2=Δ+2 when n is odd, which combined with our result implies that a^′(K_p,p)=p+2=Δ+2 when p is an odd prime. Moreover we show that if we remove any edge from K_p,p, the resulting graph is acyclically Δ+1=p+1-edge-colorable.     

Functional calculus and ∗-regularity of a class of Banach algebras II

In this article, we define a natural Banach ∗-algebra for a C^∗-dynamical system (A,G,α) which is slightly bigger than L¹(G;A) (they are the same if A is finite-dimensional). We will show that this algebra is ∗-regular if G has polynomial growth. The main result in this article extends the two main results in [C.W. Leung, C.K. Ng, Functional calculus and ∗-regularity of a class of Banach algebras, Proc. Amer. Math. Soc., in press].