Jordan triple-system conjecture for the second Veronese power

Let Jord\operatorname{Jord} be the operad of Jordan algebras, and let Jord[2]\operatorname{Jord}^{[2]} denote its second Veronese power. Let JTS\operatorname{JTS} be the operad of Jordan triple systems, whose defining operation is a trilinear operation satisfying symmetry in the first and third variables and the Jordan triple-system identity. The operation induced by a Jordan algebra is

(a1a2)a3+a1(a2a3)a2(a1a3).(a_1a_2)a_3+a_1(a_2a_3)-a_2(a_1a_3).

Jordan triple-system conjecture. There is an isomorphism

JTSJord[2].\operatorname{JTS}\cong\operatorname{Jord}^{[2]}.

Equivalently, all relations satisfied by this operation in Jordan algebras follow from the axioms of Jordan triple systems; equivalently, the operad Jord[2]\operatorname{Jord}^{[2]} is quadratic. A natural surjection JTSJord[2]\operatorname{JTS}\to\operatorname{Jord}^{[2]} is known, but whether it is an isomorphism remains open.

Sources & referencesView supporting material

Primary source

Vladimir Dotsenko, Martin Markl and Elisabeth Remm, “Veronese powers of operads and pure homotopy algebras”, arXiv:1706.04893 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.