4
$\begingroup$

Hello everyone!

In a paper "Coverings of twisted Chevalley groups over commutative rings" Eiichi Abe intoroduced the following construction:

Let $R$ be a commutative ring and $x\mapsto\overline{x}$ an involution on it. Set $$A=\left\{(a,b)\ |\ a\overline{a}=b+\overline{b}\right\}\subset R\times R.$$ The set $A$ has binary operation on it, namely $(a,b)\cdot(c,d)=(a+c,b+d+\overline{a}c)$.

This is connected with what's called Heisenberg group $H$ of a form $B$, where $B$ is a sesquilinear antihermitian form on a right $R$-module $V$. As a set, it coincides with $V\times R$, an operation is defined by $(u,a)\cdot(v,b)=(u+v,a+b-B(u,v))$. Abe's group $A$ coincides with so-called maximal form parameter, that is $$\Lambda_{max}=\left\{ \xi\in H\ |\ tr(\xi)=0\right\}$$ where $tr((u,a))=a-\overline{a}+B(u,u)$.

I'm interested if those groups has been studied by someone, at least over some classes of fields? In case of finite field with non-trivial involution and complex numbers it's easy to study them, but in other cases it isn't. I tried to google it, but I failed.

$\endgroup$
2
  • $\begingroup$ I changed the title and added the tag "gr.group-theory"; I hope you don't mind. $\endgroup$ Jun 11, 2012 at 14:51
  • $\begingroup$ The title is much better now! I just couldn't invent a good one myself. $\endgroup$ Jun 11, 2012 at 15:35

1 Answer 1

3
$\begingroup$

I wasn't aware of the paper by Abe that you mention, but I have used the group $A$ that you described in the case where $R$ is an octonion division algebra, in order to describe the rank one forms of groups of type $F_4$ (over arbitrary fields), in my paper "Moufang sets of type $F_4$" (with H. Van Maldeghem), Math. Z. 265 (2010), no. 3, 511-527. (See p. 513 of that paper; there is an unimportant sign difference compared to the group that you describe.)

In some cases, it is more convenient to construct the same group in a slightly different fashion, as $$ B = R \times S ,$$ where $S$ is the set of skew-symmetric elements $S = \{ r \in R \mid \bar{r} = -r \}$, with $$ (a,b) + (c,d) = (b + d + \bar{a}c - \bar{c}a).$$ This construction makes sense in a very general situation (namely when $R$ is a structurable algebra, which is a certain kind of (not necessarily commutative nor associative) algebra with involution, and is related to the Tits-Kantor-Koecher construction of Lie algebras from structurable algebras. (I think you have to assume that $2 \in R^\times$ in order to make $A$ and $B$ isomorphic.)

I'm not sure what kind of properties of these groups you are interested in, though, so depending on that my answer might or might not be useful to you.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.