On commuting $U$-operators in Jordan algebras
Recently J.A.Anquela, T.Cortés, and H.Petersson proved that for elements $x, y$ in a non-degenerate Jordan algebra $J$, the relation $x \circ y = 0$ implies that the $U$-operators of $x$ and $y$ commute: $U_xU_y = U_yU_x$. We show that the result may be not true without the assumption on non-degeneracity of $J$. We give also a more simple proof of the mentioned result in the case of linear Jordan algebras, that is, when $char\, F\neq 2$.
\section{An Introduction}
\hspace{\parindent}

In a recent paper \cite{ACP} J.\,A.\,Anquela, T.\,Cort\'es, and H.\,Petersson have studied the following question for Jordan algebras:

(1) does the relation $x\circ y = 0$ imply that the quadratic operators $U_x$ and $U_y$ commute?

They proved that the answer is positive for non-degenerate Jordan algebras, and left open the question in the general case, not assuming nondegeneracy.

\smallskip

We show that the answer to question (1) is negative in general case. We give also a more simple proof of the result for linear non-degenerate Jordan algebras, that is, over a field $F$ of characteristic $\neq 2$.

Unless otherwise stated, we will deal with associative and Jordan algebras over a field of arbitrary characteristic.

\section{A counter-example}
\hspace{\parindent}

Let us recall some facts on Jordan algebras. We use as general  references the books  \cite{Jac, ZSSS,  McC}, and the paper \cite{McC1}. 

 
\smallskip
Consider the free special Jordan algebra $SJ[x,y,z]$ and the free associative algebra $F\langle x,y,z\rangle$ over a field $F$. Let $*$ be the involution of ${F\langle x,y,z\rangle}$ identical on the set $\{x,y,z\}$. Denote $\{u\}=u+u^*$ for $u\in {F\langle x,y,z\rangle}$, then $\{u\}\in{SJ[x,y,z]}$ \cite{Jac, ZSSS} (see also \cite{McC1} for the case of characteristic 2). Below $ab$ will denote the associative product  in ${F\langle x,y,z\rangle}$, so that  $a\circ b=ab+ba$ and  $aU_b=bab$ are the corresponding  linear and quadratic operations  in ${SJ[x,y,z]}$. 

\smallskip
For an ideal $I$ of $SJ[x,y,z]$, let $\hat I$ denote the ideal of  $F\langle x,y,z\rangle$ generated by $I$. By Cohn's Lemma \cite[lemma 1.1]{Jac} (see also \cite[Corollary to Cohn's Criterion]{McC1}), the quotient algebra  $J={SJ[x,y,z]}/I$ is special if and only if $I=\hat{I}\cap {SJ[x,y,z]}$.


\begin{Lem}\label{z[Ux,Uy]} The following equality holds in ${SJ[x,y,z]}\subseteq {F\langle x,y,z\rangle}$:
$$
z[U_x,U_y]=\{(x\circ y)zxy\}-zU_{x\circ y}.
$$
\end{Lem}
{\it Proof. } We have in ${F\langle x,y,z\rangle}$
\begin{eqnarray*}
 z[U_x,U_y]&=&yxzxy-xyzyx=(y\circ x)zxy-xyzxy-xyzyx=\\
&=&(y\circ x)zxy-xyz(x\circ y)=\{(x\circ y)zxy\}-(x\circ y)z(x\circ y).
\end{eqnarray*} 
\hfill$\Box$
 \begin{Th} Let $I$ denote the ideal of ${SJ[x,y,z]}$ generated by $x\circ y=xy+yx$ and $J={SJ[x,y,z]}/I$. Then for the images $\bar x,\bar y$ of the elements $x,y$ in $J$ we have $\bar x \circ \bar y=0$ but $[U_{\bar x},U_{\bar y}]\neq 0$.
\end{Th}  
 {\it Proof. } It suffices to show that $k=z[U_x,U_y]\notin I$. By lemma 1, $k=\{(x\circ y)zxy\}\ (mod\ I)$. Now, the arguments from the proof of \cite[theorem 1.2]{Jac}, show that $k\notin I$ when $F$ is a field of characteristic not 2 (see also \cite[exercise 1, page 12]{Jac}). 

\smallskip

The result is also true  in characteristic 2 for quadratic Jordan algebras. 
In this case, one needs certain modifications concerning the generation of ideals in quadratic case. The author is grateful to T.\, Cort\'es and J.\,A.\, Anquela who 
corrected the first ``naive'' author's proof and suggested the proper modifications which we give below.

\smallskip
We have to prove  that  $\{(x \circ y)zxy\} \not\in I$. By \cite[(1.9)]{NMcC}, the ideal $I$ is the outer hull of $F(x\circ y)+U_{x\circ y} \widehat{SJ[x,y,z]}$, where $\widehat J$ denotes the unital hull of $J$. Assume that there exists a Jordan polynomial $f(x, y, z, t) \in SJ[x, y, z, t]$ with all of its Jordan monomials containing the variable $t$, such that $\{(x \circ y)zxy\} = f(x, y, z, x \circ y)$. By degree considerations, $f = g + h$, where $g, h \in SJ[x, y, z, t]$, $g$ is multilinear, and $h(x, y, z, t)$ is a linear combination of $U_t z$ and $z\circ t^2$. On the other hand, arguing as in \cite[Theorem 1.2]{Jac}, $g \in SJ[x, y, z, t] \subseteq H(F\langle x, y, z, t\rangle, *)$, and because of degree considerations and the fact that $z$ occupies inside position in the associative monomials of $\{(x\circ y)zxy\}$, $g$ is a linear combination of
$$
\{xzyt\}, \{xzty\}, \{tzxy\}, \{tzyx\}, \{yztx\}, \{yzxt\},
$$
and $h$ is a scalar multiple of $U_t z$. Hence $f$ has the form
\begin{eqnarray*}
f(x, y, z, t) &=& \alpha_1\{xzyt\} + \alpha_2\{xzty\} + \alpha_3\{tzxy\}\\
&+& \alpha_4\{tzyx\} + \alpha_5\{yztx\} + \alpha_6\{yzxt\}\\
&+& \alpha_7 tzt,
\end{eqnarray*}
and therefore
\begin{eqnarray*}
\{(x \circ y)zxy\} &=& \alpha_1\{xzy(x\circ y)\} + \alpha_2\{xz(x\circ y)y\} + \alpha_3\{(x\circ y)zxy\}\\
&+& \alpha_4\{(x\circ y)zyx\} + \alpha_5\{yz(x\circ y)x\} + \alpha_6\{yzx(x\circ y)\}\\
&+& \alpha_7 (x\circ y)z(x\circ y),
\end{eqnarray*}
Comparing coefficients as in \cite[Theorem 1.2]{Jac}, we get 
\begin{eqnarray*}
\alpha_1 = \alpha_2 = \alpha_5 = \alpha_6 = 0,\\
\alpha_3 = \lambda + 1, \alpha_4 = \lambda, \alpha_7 = - 2\lambda,
\end{eqnarray*}
for some $\lambda\in F$. Going back to $f$, we get
$$
f = (\lambda + 1)\{tzxy\} + \lambda\{tzyx\} - 2 \lambda tzt = \{tzxy\} + \lambda\{tz(x\circ y)\} - 2\lambda U_t z,
$$
so that $\{tzxy\} \in SJ[x, y, z, t]$, which is a contradiction.

 In fact, the standard arguments with the Grassmann algebra do not work in characteristic 2, to prove that $\{tzxy\} \notin SJ[x, y, z, t]$, but one can check directly (or with aid of computer) that the space of symmetric multilinear elements in $F{\langle} x,y,z,t{\rangle}$ has dimension 12 while the similar space of Jordan elements has dimension 11.

\hfill$\Box$ 
 
\section{The non-degenerate case}
\hspace{\parindent}

Here we will give another proof of the main result from \cite{ACP} that the answer to question (1) is positive for nondegenerate algebras, in the case of  linear  Jordan algebras (over a field $F$ of characteristic $\neq 2$).

Let J be a linear Jordan algebra, $a\in J,\ R_a : x \mapsto xa$ be the operator of right multiplication on $a$, and $U_a = 2R^2_a- R_{a^2}$.


As in \cite{ACP}, due to the McCrimmon-Zelmanov theorem \cite{MZ}, it suffices to consider Albert algebras. We will need only the fact that an Albert algebra $A$ is {\em cubic}, that is, for every $a\in A$, holds the identity
\begin{eqnarray*}
a^3=t(a)a^2-s(a)a+n(a),
\end{eqnarray*}
where $t(a), s(a), n(a)$ are linear, quadratic, and cubic forms  on $A$, correspondingly \cite{Jac}. Linearizing the above identity on $a$, we get the identity
\begin{eqnarray*}
2((ab)c+(ac)b+(bc)a)&=&2(t(a)bc+t(b)ac+t(c)ab)\\
&&-s(a,b)c-s(a,c)b-s(b,c)a+n(a,b,c),
\end{eqnarray*}
where $s(a,b)=s(a+b)-s(a)-s(b)$ and $n(a,b,c)=n(a+b+c)-n(a+b)-n(a+c)-n(b+c)+n(a)+n(b)+n(c)$ are bilinear and trilinear forms. In particular, we have
  \begin{eqnarray}\label{aab}
a^2b+2(ab)a=t(b)a^2+2t(a)ab-s(a,b)a-s(a)b+\tfrac12n(a,a,b).
\end{eqnarray}
    

\begin{Lem}\label{lem[Ua,Ub]}
Let $a,b\in J$ with $ab=0$. Then $[U_a,U_b]=[R_{a^2},R_{b^2}]$.
\end{Lem}  
{\it Proof. }
Linearizing the Jordan identity $[R_x,R_{x^2}]=0$, one obtains
$$
[R_{a^2},R_b]=-2[R_{ab},R_a]=0,
$$
and similarly $[R_a,R_{b^2}]=0$. Therefore,
\begin{eqnarray*}
[U_a,U_b]=[2R_a^2-R_{a^2},2R_b^2-R_{b^2}]=4[R_a^2,R_b^2]+[R_{a^2},R_{b^2}].
\end{eqnarray*}
Furthermore, $[R_a^2,R_b^2]=[R_a,R_b^2R_a+R_aR_b^2]$. By the operator Jordan identity \cite[(1.$O_2$)]{Jac},
\begin{eqnarray*}
R_b^2R_a+R_aR_b^2=-R_{(ba)b}+2R_{ab}R_b+R_{b^2}R_a=R_{b^2}R_a,
\end{eqnarray*}
therefore $[R_a^2,R_b^2]=[R_a,R_{b^2}R_a]=[R_a,R_{b^2}]R_a=0$, which proves the lemma. \hfill$\Box$
 
\begin{Th}
Let $J$ be a cubic Jordan algebra and $a,b\in J$ with $ab=0$. Then $[U_a,U_b]=0$.
\end{Th}
{\it Proof. } For any $c\in J$ we have by Lemma 2 and by the linearization of the Jordan identity $(x,y,x^2)=0$
\begin{eqnarray*}
c[U_a,U_b]=c[R_{a^2},R_{b^2}]=(a^2,c,b^2)=-2(a^2b,c,b).
\end{eqnarray*}
By (\ref{aab}), we have
\begin{eqnarray*}
(a^2b,c,b)&=&t(b)(a^2,c,b)-s(a)(b,c,b)-s(a,b)(a,c,b)\\
&=&-2t(b)(ab,c,a)-s(a,b)(a,c,b)=-s(a,b)(a,c,b).
\end{eqnarray*}
Substituting $c=a$, we get $(a^2b,a,b)=((a^2b)a)b=(a^2(ba))b=0$, which implies
$0=s(a,b)(a,a,b)=s(a,b)(a^2b)$. Therefore, $s(a,b)=0$ or $a^2b=0$. In both cases
this implies $c[U_a,U_b]=0$.
\hfill$\Box$
\begin{Cor}
In an Albert algebra $A$, the equality $ab=0$ implies $[U_a,U_b]=0$.
\end{Cor}

In connection with the counter-example above, we would like to formulate an open question. Let $f,g\in SJ[x,y,z]$ such that $g\in \widehat{(f)}$ but $g\not\in (f)$, where $(f)$ and  $\widehat{(f)}$ are the ideals generated by $f$ in $SJ[x,y,z]$ and in $F{\langle} x,y,z{\rangle}$, respectively. Then the quotient algebra $SJ[x,y,z]/(f)$ is not special, due to Cohn's Lemma. It follows from the results of \cite{Z} that the quotient algebra $\widehat{(f)}/(f)$ is degenerated. The question we want to ask is the following: 
\smallskip

{\em If $f=0$ in a nondegenerate Jordan algebra $J$, should also be $g=0$?}
\smallskip

Of course, there is a problem of writing $f$ and $g$ in an arbitrary Jordan algebra,  we know only what they are in $SJ[x,y,z]$, but in the free Jordan algebra $J[x,y,z]$ they have many pre-images (up to $s$-identities), and one may choose pre-images for which the question has a negative answer. For example, the answer is probably negative for $f=x\circ y$ and $g=z[U_x,U_y]+G(x,y,z)$, where $G(x,y,z)$ is the Glennie $s$-identity \cite{Jac}.  

So we modify our question in the following way: 

{\it In the situation as above, is it true that there exists $g'\in J[x,y,z]$ such that $g - g'$ is an $s$-identity and $f=0$ implies $g'=0$ in non-degenerate Jordan algebras?}

\section{Acknowledgements}
The author acknowledges the support by FAPESP, Proc.\,2014/09310-5 and CNPq, Proc.\,303916/ 2014-1. He is grateful to professor Holger Petersson for useful comments and suggestions, and to professors Jos\'e \'Angel Anquela and Teresa Cort\'es for  correction  the proof of Theorem 1 in the case of characteristic 2. He thanks all of them for pointing out some misprints. 


2016-05-13T02:11:22.000
1502
1502.07904
en
https://arxiv.org/abs/1502.07904
Recently J.A.Anquela, T.Cortés, and H.Petersson proved that for elements $x, y$ in a non-degenerate Jordan algebra $J$, the relation $x \circ y = 0$ implies that the $U$-operators of $x$ and $y$ commute: $U_xU_y = U_yU_x$. We show that the result may be not true without the assumption on non-degeneracity of $J$. We give also a more simple proof of the mentioned result in the case of linear Jordan algebras, that is, when $char\, F\neq 2$.
Rings and Algebras (math.RA)
On commuting $U$-operators in Jordan algebras
Qwen/Qwen-72B
1. YES
2. YES