On the free Jordan algebras

DOI10.1016/J.AIM.2021.107690MaRDI QIDQ2020405zbMATH OpenOpenAlexFDO

Authors Iryna Kashuba, Olivier Mathieu

Publication date 23 April 2021

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.06841

zbMATH Keywords

free Jordan algebrasLie algebra homologyTits-Kantor-Koecher construction

Mathematics Subject Classification ID

Identities and free Jordan structures (17C05) Jordan structures associated with other structures (17C50)

Abstract: A conjecture for the dimension and the character of the homogenous components of the free Jordan algebras is proposed. As a support of the conjecture, some numerical evidences are generated by a computer and some new theoretical results are proved. One of them is the cyclicity of the Jordan operad.

Review text

For a natural number \(D\), let \(J(D)\) be the free (nonunital) Jordan algebra on \(D\) generators over a field of characteristic \(0\). This is \(\mathbb{Z}\)-graded by assigning degree \(1\) to the generators, so that \(J(D)=\bigoplus_{n\geq 1}J_n(D)\). The general linear group \(GL(D)\) acts naturally on \(J(D)\) by automorphisms preserving the grading. The paper under review presents an intriguing conjecture for the character (and hence, in particular, for the dimension) of this action of \(GL(D)\) on each homogeneous component \(J_n(D)\). This Conjecture 1 tells us that the classes of the \(GL(D)\)-module \(J(D)\) and of its Lie algebra of inner derivations inside the representation ring \(\mathcal{R}(GL(D))\) appear in a explicit technical way. Some numerical evidences for Conjecture \(1\) are obtained using the free software SAGE together with classical results by Cohn, Glennie, Shirshov, MacDonald and others. Moreover, two more conjectures are given related to the homology of the Lie algebra \(\mathfrak{sl}_2J(D)\) obtained from \(J(D)\) by means of the functorial version, due to \textit{B. N. Allison} and \textit{Y. Gao} [Can. J. Math. 48, No. 3, 449--482 (1996; Zbl 0861.17011)], of the classical Tits-Kantor-Koecher construction. Conjecture 2 asserts that the trivial and adjoint isotypic components: \(H_k(\mathfrak{sl}_2J(D))^{\mathfrak{sl}_2}\) and \(H_k(\mathfrak{sl}_2J(D))^{ad}\), of the homology of the Lie algebra \(\mathfrak{sl}_2J(D)\), are trivial for \(k\geq 2\). This Conjecture 2 is shown to imply Conjecture 1 and some results supporting the conjecture are given too. \par Finally, it is proven that there is an action of the symmetric group of degree \(D+1\), extending the natural action of the symmetric group of degree \(D\) on the multilinear part of \(J(D)\). This is used to weaken Conjecture 2 to a new Conjecture 3, asserting that \(H_k(\mathfrak{sl}_2J(D+1))^{\mathfrak{sl}_2}\) is trivial for all \(k\geq 1\). Again Conjecture 3 is shown to imply Conjecture 1.

Recommendations

• Polynomial identities for the Jordan algebra of a symmetric bilinear form
• Rational Hilbert series of relatively free Jordan algebras
• scientific article; zbMATH DE number 4083872
• On nilpotent elements of a free Jordan algebra
• scientific article; zbMATH DE number 4097602

Cites work

• A taste of Jordan algebras
• ABSOLUTE ZERO DIVISORS IN JORDAN PAIRS AND LIE ALGEBRAS
• Categories of Jordan structures and graded Lie algebras
• Central Quotients and Coverings of Steinberg Unitary Lie Algebras
• Cohomology of Group Extensions
• Free Jordan algebras
• Free Modules over Free Algebras and Free Group Algebras: The Schreier Technique
• Hidden \(\Sigma_{n+1}\)-actions
• Homologie et cohomologie des algèbres de Lie
• scientific article; zbMATH DE number 3159582 (Why is no real title available?)
• scientific article; zbMATH DE number 3170374 (Why is no real title available?)
• scientific article; zbMATH DE number 3765986 (Why is no real title available?)
• scientific article; zbMATH DE number 739282 (Why is no real title available?)
• scientific article; zbMATH DE number 3032896 (Why is no real title available?)
• Jordan Algebras with Three Generators
• Lie algebra homology and the Macdonald-Kac formulas
• Modular operads
• On nilpotent elements of a free Jordan algebra
• Prime Jordan algebras. II
• Some identities valid in special Jordan algebras but not valid in all Jordan algebras
• The Lie algebra of skew-symmetric elements and its application in the theory of Jordan algebras
• The Minnesota notes on Jordan algebras and their applications. Edited and annotated by Aloys Krieg and Sebastian Walcher

Cited in

(8)

• A retrospect of the research in nonassociative algebras in IME-USP
• Free extensions and Jordan type
• scientific article; zbMATH DE number 432713 (Why is no real title available?)
• scientific article; zbMATH DE number 4083872 (Why is no real title available?)
• scientific article; zbMATH DE number 7201115 (Why is no real title available?)
• The three graces in the Tits-Kantor-Koecher category
• The \(\mathbb{Z}_2\)-graded dimensions of the free Jordan superalgebra \(J(D_1|D_2)\)
• Free Jordan algebras and representations of \(\widehat{\mathfrak{sl}}_2(J)\)

This page was built for publication: On the free Jordan algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2020405)