Operator space structure and amenability for Figà-Talamanca-Herz algebras

Column and row operator spaces—which we denote by COL and ROW, respectively—over arbitrary Banach spaces were introduced by the first-named author; for Hilbert spaces, these definitions coincide with the usual ones. Given a locally compact group G and p,p′∈(1,∞) with , we use the operator space structure on to equip the Figà-Talamanca-Herz algebra A_p(G) with an operator space structure, turning it into a quantized Banach algebra. Moreover, we show that, for p?q?2 or 2?q?p and amenable G, the canonical inclusion A_q(G)⊂A_p(G) is completely bounded (with cb-norm at most , where is Grothendieck's constant). As an application, we show that G is amenable if and only if A_p(G) is operator amenable for all—and equivalently for one—p∈(1,∞); this extends a theorem by Ruan.     

Hyper-Tauberian algebras and weak amenability of Figà-Talamanca-Herz algebras

We study certain commutative regular semisimple Banach algebras which we call hyper-Tauberian algebras. We first show that they form a subclass of weakly amenable Tauberian algebras. Then we investigate the basic and hereditary properties of them. Moreover, we show that if A is a hyper-Tauberian algebra, then the linear space of bounded derivations from A into any Banach A-bimodule is reflexive. We apply these results to the Figà-Talamanca-Herz algebra A_p(G) of a locally compact group G for p∈(1,∞). We show that A_p(G) is hyper-Tauberian if the principal component of G is abelian. Finally, by considering the quantization of these results, we show that for any locally compact group G, A_p(G), equipped with an appropriate operator space structure, is a quantized hyper-Tauberian algebra. This, in particular, implies that A_p(G) is operator weakly amenable.     

Spectral radius and infinity norm of matrices

Let Mn(R) be the linear space of all n×n matrices over the real field R. For any A∈Mn(R), let ρ(A) and ‖A_‖∞ denote the spectral radius and the infinity norm of A, respectively. By introducing a class of transformations φa on Mn(R), we show that, for any A∈Mn(R), ρ(A)<‖A_‖∞ if . If A∈Mn(R) is nonnegative, we prove that ρ(A)<‖A_‖∞ if and only if , and ρ(A)=‖A_‖∞ if and only if the transformation φ‖A_‖∞ preserves the spectral radius and the infinity norm of A. As an application, we investigate a class of linear discrete dynamic systems in the form of X(k+1)=AX(k). The asymptotical stability of the zero solution of the system is established by a simple algebraic method.     

Extensions and isomorphisms for the generalized Fourier algebras of a locally compact group

It is shown that for amenable groups, all finite-dimensional extensions of A_p(G) algebras split strongly. Furthermore, each extension of A_p(G) which splits algebraically also splits strongly. We also show that if G is an almost connected locally compact group, or a subgroup of GL_n(V) (V being a finite-dimensional vector space), and if for a fixed p∈(1,∞), all finite-dimensional singular extensions of A_p(G) split strongly, then G is amenable. Continuous order isomorphisms for the pointwise order of A_p(G) algebras, are characterized as weighted composition maps. Similarly, order isomorphisms for the pointwise order of B_p(G) algebras, are characterized as ∗-algebra isomorphisms followed by multiplication by an invertible positive multiplier. In addition, it is shown that for amenable groups, an order isomorphism for the pointwise order between A_p(G) algebras that preserve cozero sets is necessarily continuous, and hence induces an algebra isomorphism.     

Cores for parabolic operators with unbounded coefficients

Let be a family of elliptic differential operators with unbounded coefficients defined in RN+1. In [M. Kunze, L. Lorenzi, A. Lunardi, Nonautonomous Kolmogorov parabolic equations with unbounded coefficients, Trans. Amer. Math. Soc., in press], under suitable assumptions, it has been proved that the operator G:=A−Ds generates a semigroup of positive contractions (Tp(t)) in Lp(RN+1,ν) for every 1?p<+∞, where ν is an infinitesimally invariant measure of (Tp(t)). Here, under some additional conditions on the growth of the coefficients of A, which cover also some growths with an exponential rate at ∞, we provide two different cores for the infinitesimal generator Gp of (Tp(t)) in Lp(RN+1,ν) for p∈[1,+∞), and we also give a partial characterization of D(Gp). Finally, we extend the results so far obtained to the case when the coefficients of the operator A are T-periodic with respect to the variable s for some T>0.     

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.     

Functions of operators under perturbations of class Sp

This is a continuation of our paper [2]. We prove that for functions f in the Hölder class Λα(R) and 1<p<∞, the operator f(A)−f(B) belongs to Sp/α, whenever A and B are self-adjoint operators with A−B∈Sp. We also obtain sharp estimates for the Schatten-von Neumann norms ‖f(A)−f(B)Sp/α_‖ in terms of ‖A−BSp_‖ and establish similar results for other operator ideals. We also estimate Schatten-von Neumann norms of higher order differences . We prove that analogous results hold for functions on the unit circle and unitary operators and for analytic functions in the unit disk and contractions. Then we find necessary conditions on f for f(A)−f(B) to belong to Sq under the assumption that A−B∈Sp. We also obtain Schatten-von Neumann estimates for quasicommutators f(A)R−Rf(B), and introduce a spectral shift function and find a trace formula for operators of the form f(A−K)−2f(A)+f(A+K).     

Malnormal subgroups of lattices and the Pukánszky invariant in group factors

Let G be a connected semisimple real algebraic group. Assume that G(R) has no compact factors and let Γ be a torsion-free uniform lattice subgroup of G(R). Then Γ contains a malnormal abelian subgroup A. This implies that the II₁ factor VN(Γ) contains a masa A with Pukánszky invariant {∞}.     

Some new characterizations of Sobolev spaces

In this paper, we present some new characterizations of Sobolev spaces. Here is a typical result. Let g∈Lp(RN), 1<p<+∞; we prove that g∈W1,p(RN) if and only if

     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Ground state solutions for a semilinear elliptic problem with a convection term

By a sub-supersolution method and a perturbed argument, we improve the earlier results concerning the existence of ground state solutions to a semilinear elliptic problem −Δu+p(x)q|∇u|=f(x,u), u>0, x∈RN, , where q∈(1,2], for some α∈(0,1), p(x)?0, ∀x∈RN, and f:RN×(0,∞)→[0,∞) is a locally Hölder continuous function which may be singular at zero.     

(DFS)-spaces of holomorphic functions invariant under differentiation

Let be a bounded convex domain, A^−∞(G) be the (DFS)-space of all holomorphic functions of polynomial growth on G and A^∞(G) be the Fréchet space of C^∞-functions on closure of G which are holomorphic on G. With the help of the Laplace transform we describe the strong dual of A^−∞(G) and prove that A^−∞(G) is the unique (DFS)-space H such that the space A^∞(G) is contained in H, H is embedded continuously in A^−∞(G) and H is invariant under differentiation.     

Distance-hereditary graphs and signpost systems

An ordered pair (U,R) is called a signpost system if U is a finite nonempty set, R⊆U×U×U, and the following axioms hold for all u,v,w∈U: (1) if (u,v,w)∈R, then (v,u,u)∈R; (2) if (u,v,w)∈R, then (v,u,w)∉R; (3) if u≠v, then there exists t∈U such that (u,t,v)∈R. (If F is a (finite) connected graph with vertex set U and distance function d, then U together with the set of all ordered triples (u,v,w) of vertices in F such that d(u,v)=1 and d(v,w)=d(u,w)−1 is an example of a signpost system). If (U,R) is a signpost system and G is a graph, then G is called the underlying graph of (U,R) if V(G)=U and xy∈E(G) if and only if (x,y,y)∈R (for all x,y∈U). It is possible to say that a signpost system shows a way how to travel in its underlying graph. The following result is proved: Let (U,R) be a signpost system and let G denote the underlying graph of (U,R). Then G is connected and every induced path in G is a geodesic in G if and only if (U,R) satisfies axioms (4)-(8) stated in this paper; note that axioms (4)-(8)-similarly as axioms (1)-(3)-can be formulated in the language of the first-order logic.     

Small diameter interchange graphs of classes of matrices of zeros and ones

Let $\text{A}$(R, S) denote the class of all m×n matrices of 0's and 1's having row sum vector R and column sum vector S. The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{A}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We characterize those $\text{A}$(R, S) for which the graph G(R, S) has diameter at most 2 and those $\text{A}$(R, S) for which G(R, S) is bipartite.     

Boundary trace embedding theorems for variable exponent Sobolev spaces

We study boundary trace embedding theorems for variable exponent Sobolev space W1,p(⋅)(Ω). Let Ω be an open (bounded or unbounded) domain in RN satisfying strong local Lipschitz condition. Under the hypotheses that p∈L^∞(Ω), 1?infp(x)?supp(x)<N, |∇p|∈Lγ(⋅)(Ω), where γ∈L^∞(Ω) and infγ(x)>N, we prove that there is a continuous boundary trace embedding W1,p(⋅)(Ω)→Lq(⋅)(∂Ω) provided q(⋅), a measurable function on ∂Ω, satisfies condition for x∈∂Ω.     

Sufficiency of Favard's condition for a class of band-dominated operators on the axis

The purpose of this paper is to show that, for a large class of band-dominated operators on ?^∞(Z,U), with U being a complex Banach space, the injectivity of all limit operators of A already implies their invertibility and the uniform boundedness of their inverses. The latter property is known to be equivalent to the invertibility at infinity of A, which, on the other hand, is often equivalent to the Fredholmness of A. As a consequence, for operators A in the Wiener algebra, we can characterize the essential spectrum of A on ?p(Z,U), regardless of p∈[1,∞], as the union of point spectra of its limit operators considered as acting on ?^∞(Z,U).     

The good, the bad, and the great: Homomorphisms and cores of random graphs

We consider homomorphism properties of a random graph G(n,p), where p is a function of n. A core H is great if for all e∈E(H), there is some homomorphism from H−e to H that is not onto. Great cores arise in the study of uniquely H-colourable graphs, where two inequivalent definitions arise for general cores H. For a large range of p, we prove that with probability tending to 1 as n→∞, G∈G(n,p) is a core that is not great. Further, we give a construction of infinitely many non-great cores where the two definitions of uniquely H-colourable coincide.     

A new class of function spaces connecting Triebel-Lizorkin spaces and Q spaces

Let s∈R, τ∈[0,∞), p∈(1,∞) and q∈(1,∞]. In this paper, we introduce a new class of function spaces which unify and generalize the Triebel-Lizorkin spaces with both p∈(1,∞) and p=∞ and Q spaces. By establishing the Carleson measure characterization of Q space, we then determine the relationship between Triebel-Lizorkin spaces and Q spaces, which answers a question posed by Dafni and Xiao in [G. Dafni, J. Xiao, Some new tent spaces and duality theorem for fractional Carleson measures and Qα(Rn), J. Funct. Anal. 208 (2004) 377-422]. Moreover, via the Hausdorff capacity, we introduce a new class of tent spaces and determine their dual spaces , where s∈R, p,q∈[1,∞), max{p,q}>1, , and t^′ denotes the conjugate index of t∈(1,∞); as an application of this, we further introduce certain Hardy-Hausdorff spaces and prove that the dual space of is just when p,q∈(1,∞).     

The vertex linear arboricity of distance graphs

A distance graph is a graph G(R,D) with the set of all points of the real line as vertex set and two vertices u,v∈R are adjacent if and only if |u-v|∈D where the distance set D is a subset of the positive real numbers. Here, the vertex linear arboricity of G(R,D) is determined when D is an interval between 1 and δ. In particular, the vertex linear arboricity of integer distance graphs G(D) is discussed, too.     

Density of sets of natural numbers and the Lévy group

Let N denote the set of positive integers. The asymptotic density of the set A⊆N is d(A)=limn→∞|A∩[1,n]|/n, if this limit exists. Let AD denote the set of all sets of positive integers that have asymptotic density, and let SN denote the set of all permutations of the positive integers N. The group L^? consists of all permutations f∈SN such that A∈AD if and only if f(A)∈AD, and the group L^* consists of all permutations f∈L^? such that d(f(A))=d(A) for all A∈AD. Let be a one-to-one function such that d(f(N))=1 and, if A∈AD, then f(A)∈AD. It is proved that f must also preserve density, that is, d(f(A))=d(A) for all A∈AD. Thus, the groups L^? and L^* coincide.