On operations in C(X) determined by continuous functions

Let C(X) be the space of all continuous real-valued functions on a compact topological space. Then every continuous function $\varphi: {\mathbb{R}^{2}\to \mathbb{R}}$ defines an operation Φ:C(X)×C(X)→C(X), Φ(f,g)(x)=φ(f(x),g(x)) for x∈X. We show some sufficient and some necessary conditions for the openness and the weak openness of Φ.     

Fundamental Sets of Functions on Locally Compact Abelian Groups

Let G be a locally compact Abelian group, and let X be a compact set of G. Given a positive definite function ?: G × G → ? whose real part is continuous at neutral element of G, we research a necessary and sufficient setting for the linear span of the set {x ∈ X → ?(x ? y): y ∈ X} to be dense in C(X) in the topology of uniform convergence. The context treated that is abstract encompasses classical cases of the literature, while other examples are entirely new.     

A duality between locally compact groups and certain Banach algebras

We make precise the following statements: B(G), the Fourier-Stieltjes algebra of locally compact group G, is a dual of G and vice versa. Similarly, A(G), the Fourier algebra of G, is a dual of G and vice versa. We define an abstract Fourier (respectively, Fourier-Stieltjes) algebra; we define the dual group of such a Fourier (respectively, Fourier-Stieltjes) algebra; and we prove the analog of the Pontriagin duality theorem in this context. The key idea in the proof is the characterization of translations of B(G) as precisely those isometric automorphisms Φ of B(G) which satisfy ∥ p ? e^iθΦp ∥² + ∥ p + e^iθΦp ∥² = 4 for all θ ∈ $\text{R}$ and all pure positive definite functions p with norm one. One particularly interesting technical result appears, namely, given x₁, x₂?G, neither of which is the identity e of G, then there exists a continuous, irreducible unitary representation π of G (which may be chosen from the reduced dual of G) such that π(x₁) ≠ π(e) and π(x₂) ≠ π(e). We also note that the group of isometric automorphisms of B(G) (or A(G)) contains as a (“large”) ^.closed, normal subgroup the topological version of Burnside's “holomorph of G.”     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.     

Spaces of maps into topological group with the Whitney topology

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps endowed with the Whitney (graph) topology and by Cc(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l₂-manifold. In this article we show that if X is non-compact and not end-discrete then Cc(X,G) is an (R^∞×l₂)-manifold, and moreover the pair (C(X,G),Cc(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l₂.     

Weak Cayley table groups III: PSL(2,q)

A weak Cayley table isomorphism is a bijection φ:G→H of groups such that φ(xy)～φ(x)φ(y) for all x,y∈G. Here ～ denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ:G→G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I:G→G,x?x^?1. Let 𝒲₀(G) = ?Aut(G),I?≤𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that PSL(2,pⁿ) has trivial weak Cayley table group, where p≥5 is a prime and n≥1.     

m-Power Commuting MAPS on Semiprime Rings

Let R be a semiprime ring with center Z(R), extended centroid C, U the maximal right ring of quotients of R, and m a positive integer. Let f: R → U be an additive m-power commuting map. Suppose that f is Z(R)-linear. It is proved that there exists an idempotent e ∈ C such that ef(x) = λx + μ(x) for all x ∈ R, where λ ∈C and μ: R → C. Moreover, (1 ? e)U ? M₂(E), where E is a complete Boolean ring. As consequences of the theorem, it is proved that every additive, 2-power commuting map or centralizing map from R to U is commuting.     

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.     

Topological properties of the multifunction space <Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) of cusco maps

A set-valued mapping F from a topological space X to a topological space Y is called a cusco map if F is upper semicontinuous and F(x) is a nonempty, compact and connected subset of Y for each x ∈ X. We denote by L(X), the space of all subsets F of X × ℝ such that F is the graph of a cusco map from the space X to the real line ℝ. In this paper, we study topological properties of L(X) endowed with the Vietoris topology. The second author is supported by the SPM fellowship awarded by the Council of Scientific and Industrial Research, India.     

Subcentrality of restrictions of boundary measures on state spaces of C1-algebras

Let F be a closed face of the weak¹ compact convex state space of a unital C¹-algebra A. The author has already shown that F is a Choquet simplex if and only if p_φ^Fπ_φ(A)″p_φ^F is abelian for any φ in F with associated cyclic representation ($\text{H}$_φ,π_φ,ξ_φ), where p_φ^F is the orthogonal projection of $\text{H}$_φ onto the subspace spanned by vectors η defining vector states a → 〈π_φ(a)η, η)〉 lying in F. It is shown here that if B is a C¹-subalgebra of A containing the unit and such that ξ_φ is cyclic in $\text{H}$_φ for π_φ(B) for any φ in F, then the boundary measures on F are subcentral as measures on the state space of B if and only if p_φ^F(π_φ(A), π_φ(B)′)″p_φ^F is abelian for all φ in F. If A is separable, this is equivalent to the condition that any state in F with (π_φ(A)′ ∩ π_φ(B)″) one-dimensional is pure. Taking A to be the crossed product of a discrete C¹-dynamical system (B, G, α), these results generalise known criteria for the system to be G-central.