[Paper Review] Moufang symmetry IV. Reductivity and hidden associativity

Eugen Paal|ArXiv.org|Feb 25, 2008

Mathematics and Applications4 references4 citations

TL;DR

This paper establishes a deep connection between integrability of generalized Lie equations in local analytic Moufang loops and their reductivity, showing that integrability is equivalent to the Sagle-Yamaguti identity. The key contribution is proving that the Yamagutian operator satisfies hidden associativity via a generalized Mal’tsev identity, linking nonassociative algebra to differential geometry through triality and curvature-like structures.

ABSTRACT

It is shown how integrability of the generalized Lie equations of a local analytic Moufang loop is related to the reductivity conditions and Sagle-Yamaguti identity.

Motivation & Objective

• To investigate the integrability conditions of generalized Lie equations (GLE) for local analytic Moufang loops.
• To clarify the geometric and algebraic significance of reductivity conditions in nonassociative structures.
• To establish a link between the Sagle-Yamaguti identity and hidden associativity in Moufang loops via the Yamagutian operator.
• To demonstrate that the Yamagutian satisfies a generalized Jacobi-type identity equivalent to the Mal’tsev identity.
• To unify differential geometric structures (infinitesimal translations) with algebraic identities through triality

Proposed method

• Derives generalized Lie equations (GLE) for Moufang loops using infinitesimal left, right, and middle translations $ L_x, R_x, M_x $, constrained by $ L_x + R_x + M_x = 0 $.
• Introduces the Yamagutian $ Y(x;y) $ as a ternary operation defined via commutators of infinitesimal translations: $ 6Y(x;y) = [L_x,L_y] + [R_x,R_y] + [M_x,M_y] $.
• Applies first-order Taylor approximations to the GLE integrability condition $ Y^i_{jk}(gh) = Y^i_{jkl}g^l + ext{higher order} $, leading to differential constraints on structure functions.
• Derives reductivity conditions via linearization: $ u^s_l(g)rac{ abla Y^i_{jk}}{ abla g^s} - Y^i_{jk}(g)rac{ abla u^i_l}{ abla g^s} = Y^s_{jkl}u^i_s(g) $, which are shown to be equivalent to Lie bracket identities.
• Uses triality conjugation to define $ L^+, R^+, M^+ $, and derives equivalent reductivity conditions in the conjugated basis.
• Proves hidden associativity by showing $ 6[Y(x;y), Y(z;w)] = Y([x,y,z];w) + Y(z;[x,y,w]) $ if and only if the Sagle-Yamaguti identity $ [x,y,[z,w]] = [[x,y,z],w] + [z,[x,y,w]] $ holds

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions for integrability of the generalized Lie equations in a local analytic Moufang loop?
• RQ2 How is the reductivity of the infinitesimal translations related to the structure of the Yamagutian and associator coefficients?
• RQ3 What is the role of triality in unifying the left, right, and middle translations and their algebraic identities?
• RQ4 How does the Sagle-Yamaguti identity emerge as a condition for hidden associativity in the Yamagutian operator?
• RQ5 Is the generalized Mal’tsev identity equivalent to the hidden associativity of the Yamagutian under triality?

Key findings

• Integrability of the generalized Lie equations is equivalent to the reductivity conditions on the structure functions $ u^s_j, v^s_j, w^s_j $, derived from first-order approximations of the GLE.
• The reductivity conditions are expressed as Lie bracket identities: $ 6[Y(x;y), L_z] = L_{[x,y,z]} $, and analogously for $ R_z, M_z $, showing the Yamagutian acts as a derivation on the Mal’tsev algebra.
• The Sagle-Yamaguti identity $ [x,y,[z,w]] = [[x,y,z],w] + [z,[x,y,w]] $ is proven to be equivalent to the hidden associativity of the Yamagutian: $ 6[Y(x;y), Y(z;w)] = Y([x,y,z];w) + Y(z;[x,y,w]) $.
• The Yamagutian $ Y(x;y) $ is shown to be a generalized representation of the tangent Mal’tsev algebra $ rak{g} $, with the identity ensuring consistency of the algebraic structure.
• The triality conjugation $ L^+, R^+, M^+ $ allows reformulation of reductivity and associativity identities in a symmetric form, confirming invariance under triality automorphisms.
• The associator coefficients $ l^i_{jkl} $ and structure constants $ C^s_{jk} $ are related via $ Y^i_{jkl} = l^i_{jkl} + rac{1}{3}C^s_{jk}C^i_{sl} $, linking curvature and nonassociativity