# Questions tagged [jordan-algebras]

A Jordan algebra is an algebra with multiplication satisfying two axioms (J1) xy=yx (J2) (xxy)x=xx(yx). They were defined in 1934 by Jordan, von Neuman, and Wigner seeking a better formalism for quantum mechanics. In 1966 McCrimmon proposed to analyze instead the operator Ux(y)=xyx, which lead to a notion of quadratic Jordan algebras. Three axioms (Q1, Q2, Q3) of these objects can be found below.

15 questions
307 views

### Are there nice isomorphisms $\operatorname{S}^2(k^n)\cong\Lambda^2(k^{n+1})$?

This might be forced to migrate to math.SE but let me still risk it. The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism ...
194 views

### A characterisation of certain $C^*$-algebras

I was wondering if there is a characterisation for $C^*$-algebras (unital) for which the bidual does not have any central atoms. It is not sufficient for example to demand that the $C^*$-algebra does ...
28 views

### Is -1 a sum of Hermitian squares in associative *-envelopes of formally real Jordan algebras?

Let $J$ be an unital Jordan algebra (over $\mathbb{R}$) - recall that this means that $J$ is an unital $\mathbb{R}$-algebra (whose product we denote by $\bullet$) satisfying $x\bullet y=y\bullet x$ ...
60 views

### Notion of trace in a Jordan algebra

Let A be a Jordan algebra (with identity). If x is in A let A[x] be the subalgebra generated by x and the identity. An element x is regular if the dimension of A[x] is maximal. For x regular, denote ...
258 views

### Looking for Severi varieties

Let $K$ be an algebraically closed field of characteristic $0$, and let $\mathbb{O}$ be the Cayley algebra over $K$. Let  \mathfrak{J}_{3}=\{A\in\mathcal{M}_{3}(\mathbb{O}):A\text{ is Hermitian}\}, ...
112 views

86 views

### Automorphism groups of symmetric cones

Indecomposable symmetric cones fall into five classes. The automorphism group of any symmetric cone $C$ is a real Lie group $Aut(C)$. What is the associated class of Lie groups $Aut(C)$ for each of ...
79 views

### Square of Pierce 1/2 elements

Let $p$ be a nontrivial idempotent in a JB-algebra $A$ with Pierce decomposition $A = A_1 \oplus A_{1/2} \oplus A_0$. Then the projection onto $A_1$ (resp. $A_0$) is given by $U_p$ (resp. $U_{p'}$). ...
213 views

### Reference request: The relationship between norm and trace forms on an Albert algebra

I am interested in either a nice reference, or some clarification. Overview: I am considering $J_3(\mathbb{O})$, the Jordan algebra of $3\times 3$ self adjoint octonionic matrices. This algebra is a ...
3k views

### What is about nonassociative geometry?

At the end of a conference given by Alain Connes in 2000 (here is a video in French), a member of the audience asked a question. I transcribed and translated it for you below: Audience: You showed ...
430 views

### polarization/linearization as in jordan forms

I am new to this branch of math, so bear with me. This question started when reading Kevin McCrimmon's "A Taste of Jordan Algebras" It talks about polarization and gives a general description. ...
630 views

### Algebraic axiomatization for AB+BA^T operation on matrices

Let us consider a matrix algebra $Mat_{n\times n}(K)$, where $K$ is a field, $char K \neq 2.$ It is well-known that the axiomatization of commutator operation $[A,B]=AB-BA$ on matrix algebra leads us ...
Let $k$ be a field, $p,q$ positive integers, and let $R$ be the space of $(p \times q)$-matrices over $k$, and $S$ be the space of $(q \times p)$-matrices over $k$. For every matrix $A \in R$, we ...