Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.0910

On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

Efton Park·Jody Trout
View original source ↗Read source document ↗Export metadata ↓

Abstract

An n-homomorphism between algebras is a linear map $ϕ: A \to B$ such that $ϕ(a_1 ... a_n) = ϕ(a_1)... ϕ(a_n)$ for all elements $a_1, >..., a_n \in A.$ Every homomorphism is an n-homomorphism, for all n >= 2, but the converse is false, in general. Hejazian et al. [7] ask: Is every *-preserving n-homomorphism between C*-algebras continuous? We answer their question in the affirmative, but the even and odd n arguments are surprisingly disjoint. We then use these results to prove stronger ones: If n >2 is even, then $ϕ$ is just an ordinary *-homomorphism. If n >= 3 is odd, then $ϕ$ is a difference of two orthogonal *-homomorphisms. Thus, there are no nontrivial *-linear n-homomorphisms between C*-algebras.

Explore related subjects

math.OAmath.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Efton Park, Jody Trout. 2007-09-27. On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras. https://arxiv.org/abs/0704.0910

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Simplicity of reduced crossed products

We characterize the simplicity of reduced crossed product C*-algebras in terms of stabilizer subgroups. Specifically, we prove that if $G$ is a countable group and $X$ is a minimal $G$-flow, then the reduced crossed product C*-algebra $\mathrm{C}(X) \times_λG$ is simple if and only if there is a point in $X$ with a C*-simple stabilizer subgroup. Further, these conditions are equivalent to a generic point in $X$ having a C*-simple stabilizer subgroup. We also provide an example demonstrating that this result does not extend to uncountable groups. This completely resolves a question of Ozawa.

math.OA↗
arXiv2026

$\mathrm{C}^*$-selflessness of vigorous groups

We prove that countable groups which admit a faithful piecewise minimal-extremely-proximal action on the Cantor set are $\mathrm{C}^*$-selfless. In particular, topological full groups of second countable, Hausdorff, minimal, purely infinite, topologically principal, ample groupoids with compact unit spaces are $\mathrm{C}^*$-selfless. Examples include the Higman--Thompson groups and the Brin--Thompson groups.

math.OA↗
arXiv2026

Upper and lower limits of scales and the interchange of quantifiers

We define lower and upper limits for a family of structured subobjects of a fixed ambient object, as the direct limit of the meets over tails and the inverse limit of the joins over tails, and construct the canonical comparison morphism between them. The family need not be a diagram: its members are related only through the ambient object. We distinguish two senses in which the comparison may be invertible, before and after forgetting the structure, and prove that they coincide exactly when the forgetful functor reflects isomorphisms; they therefore agree for sets, for vector spaces and for Banach spaces, and separate for locally convex spaces. For countable scales of Banach spaces the separation cannot occur when the upper limit is ultrabornological, so under those hypotheses the obstruction is localised in the topology of that limit. Intermediate conditions correspond to factorisations of the forgetful functor, of which bornological convergence is one. In the cases that matter the comparison is an interchange of quantifiers: membership in the lower limit means that one value of the second index serves every value of the first, and membership in the upper limit that every value of the first is served by some value of the second. We exhibit this for spaces of test functions, for weighted Sobolev spaces, for Laurent series and for the adeles, and discuss three further conditions that suggest themselves.

math.OA↗