TransWikia.com

Positive maps on finite group algebras and group homomorphisms

MathOverflow Asked by Edwin Beggs on February 20, 2021

Let $G$, $H$ be finite groups. Consider the group algebra $mathbb{C}G$ acting on $L^2(G)$, making $mathbb{C}G$ into a C* algebra, and the resulting positive elements, say $P_Gsubset mathbb{C}G$. Similarly we have $P_Hsubset mathbb{C}H$. Now take any function $f:Gto H$, and this induces a linear map which we also denote $f:mathbb{C}Gto mathbb{C}H$.

Conjecture. If $f(P_G)subset P_H$ and $f$ maps the identity to the identity, then $f$ is a group homomorphism.

I would be grateful if anyone could shed any light on this problem. This conjecture is related (is dual to) to one from the PhD thesis of Fatemah Al Ghamdi.

2 Answers

I think the "modified conjecture" (that is, one gets a homomorphism or anti-homomorphism) can be proved by elementary calculations, in this setting. (Walter's theorem, which Yemon alludes to, uses only that we have an isometry, not that the map has the rather special form). However, my tolerance for such calculations is low at the moment (and I cannot see how to organise the data in a "clever" way) so I'll just indicate the technique and some partial results.

The idea is that $ainmathbb CH$ is positive if and only if $(axi|xi)geq 0$ for all $xiinell^2(H)$. We aim to choose $xi$ intelligently, but first we make a general observation. Let $(delta_h)_{hin H}$ be the standard orthonormal basis of $ell^2(H)$ and let $lambda_x$ be the left-multiplication operator given by $xin H$. Then $$ (lambda_xxi|xi) = sum_{hin H} xi_{x^{-1}h} overline{xi_h} = sum_h overline{xi_h} checkxi_{h^{-1}x} = overlinexi star checkxi = varphi(x), $$ say. I call such $varphi$ positive definite. Here $checkxi_h = xi_{h^{-1}}$ for each $h$, and $star$ is convolution.

Choose $xi = delta_e + udelta_h$ for $uinmathbb C$, so $checkxi = delta_e + udelta_{h^{-1}}$ and thus $$ varphi(x) = (overline{xi} star checkxi)(x) = (1 + |u|^2)delta_{x,e} + udelta_{x,h^{-1}} + overline{u} delta_{x,h}. $$

Claim: $f(x^{-1}) = f(x)^{-1}$ for each $xin G$.

I write $1$ for $lambda_e$. To show this, consider $a = (1+zlambda_x)^ast (1+zlambda_x) geq 0$ in $mathbb CG$, where $zinmathbb C$. Then $$ f(a) = (1+|z|^2) + zlambda_{f(x)} + overline{z} lambda_{f(x^{-1})}. $$ By hypothesis, $f(a)geq 0$ so $langle f(a), varphi rangle geq 0$. Towards a contradiction, suppose $f(x^{-1})not=f(x)^{-1}$.

  • If $f(x)=e$ then choose $h=e$ so $varphi(x) = tdelta_{x,e}$ for some $tgeq 0$, so $$ langle f(a), varphi rangle = t(1+|z|^2+z) $$ which is not positive for all $zinmathbb C$.
  • If $f(x)not=e$ but $f(x^{-1})=e$ then argue similarly.
  • So $f(x)not=e$ and $f(x^{-1})not=e$. Set $h=f(x)$ so then $$ langle f(a), varphi rangle = (1+|u|^2)(1+|z|^2) + overline{u}z +overline{uz}delta_{f(x), f(x^{-1})} + uzdelta_{f(x)^{-1},f(x)}. $$
  • Regardless of the values of $delta_{f(x), f(x^{-1})}$ and $delta_{f(x)^{-1},f(x)}$, this can never be positive for all $z,u$.
  • So the claim holds.

Correct answer by Matthew Daws on February 20, 2021

The function $sigma:xto x^{-1}$ induces a function on the ${rm C}^*$-algebra ${mathbb C}H$ that sends positive elements to positive elements; indeed, this function is akin to the usual involution on the group ${rm C}^*$-algebra except that it is linear rather than conjugate linear. Consequently, composing any homomorphism $f:Gto H$ with $sigma$ yields a function $sigma f$ whose extension to ${mathbb C} Gto {mathbb C}H$ sends positive elements to positive elements, yet which will usually not be a homomorphism (unless $H$ is abelian).

P.S. This example suggests replacing the positivity property in your question by "complete positivity", but I haven't thought this through.

Answered by Yemon Choi on February 20, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP