Formally real involutions on central simple algebras

Simple item page
dc.creatorCimpric, Jaka
dc.date2008-07-31
dc.date.accessioned2026-07-07T09:53:58Z
dc.date.available2026-07-07T09:53:58Z
dc.descriptionAn involution $#$ on an associative ring $R$ is \textit{formally real} if a sum of nonzero elements of the form $r^# r$ where $r \in R$ is nonzero. Suppose that $R$ is a central simple algebra (i.e. $R=M_n(D)$ for some integer $n$ and central division algebra $D$) and $#$ is an involution on $R$ of the form $r^# = a^{-1} r^\ast a$, where $\ast$ is some transpose involution on $R$ and $a$ is an invertible matrix such that $a^\ast=\pm a$. In section 1 we characterize formal reality of $#$ in terms of $a$ and $\ast|_D$. In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on $D=(K/F,Φ)$ that extend to a formally real involution on the split algebra $D \otimes_F K \cong M_n(K)$. Every such involution is formally real but we show that there exist formally real involutions on $D$ which are not of this form. In particular, there exists a formally real involution $#$ for which the hermitian trace form $x \mapsto \tr(x^#x)$ is not positive semidefinite.
dc.description16 pages
dc.identifierhttps://arxiv.org/abs/0807.5017
dc.identifierhttp://arxiv.org/abs/0807.5017
dc.identifierCommunications in Algebra, Volume 36, Issue 1 January 2008, pages 165 - 178
dc.identifierdoi:10.1080/00927870701665297
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/166146
dc.subjectRings and Algebras
dc.subject16K20, 16W10, 12D15
dc.titleFormally real involutions on central simple algebras
dc.typetext

Files

Collections

arXiv