[Paper Review] Moufang symmetry III. Integrability of generalized Lie equations

Eugen Paal|ArXiv.org|Feb 25, 2008

Mathematics and Applications1 references3 citations

TL;DR

This paper establishes the integrability conditions for generalized Lie equations (GLE) of a local analytic Moufang loop using triality and Yamagutian formalism. It derives a key integrability condition involving the Yamagutian functions $ Y^{s}_{jk} $, showing that $ Y^{s}_{jk}(g)\frac{\partial(gh)^{i}}{\partial g^{s}} + Y^{s}_{jk}(h)\frac{\partial(gh)^{i}}{\partial h^{s}} = Y^{i}_{jk}(gh) $, which ensures consistency of the GLE system through symmetric second derivatives and auxiliary function constraints.

ABSTRACT

Integrability of generalized Lie equations of a local analytic Moufang loop is inquired.

Motivation & Objective

• To investigate the integrability of generalized Lie equations (GLE) governing local analytic Moufang loops.
• To extend the triality framework from prior work to derive conditions ensuring consistency of the GLE system.
• To connect the structure of the GLE with the curvature-like Yamagutian functions $ Y^{s}_{jk}(g) $ through differential constraints.
• To establish a necessary and sufficient condition for the solvability of the GLE by analyzing second-order mixed partial derivatives.
• To unify the behavior of left, right, and middle translations via symmetric tensorial constraints on the auxiliary functions.

Proposed method

• Derive the generalized Lie equations (GLE) from the product structure of a local analytic Moufang loop $ G $, involving three auxiliary functions $ u^{s}_{j}, v^{s}_{j}, w^{s}_{j} $ with constraint $ u^{s}_{j} + v^{s}_{j} + w^{s}_{j} = 0 $.
• Define infinitesimal translations $ L_x, R_x, M_x $ using the auxiliary functions and impose the triality condition $ L_x + R_x + M_x = 0 $.
• Introduce the Yamagutian $ Y(x;y) $ as a symmetric trilinear form combining commutators of the translation operators: $ 6Y(x;y) = [L_x,L_y] + [R_x,R_y] + [M_x,M_y] $.
• Express the commutators $ [L_x,L_y], [R_x,R_y], [L_x,R_y] $ in terms of the structure constants $ C^s_{jk} $ and the Yamagutian functions via equations (3.2a)-(3.2c).
• Define secondary auxiliary functions $ u^{s}_{jk}, v^{s}_{jk}, w^{s}_{jk} $ as curvature-like derivatives of the primary functions, and derive their relation to the Yamagutian $ Y^{s}_{jk} $ via equations (3.3a)-(3.3c).
• Differentiate the GLE (2.1a–c) with respect to $ g^p $ and $ h^p $, exploit symmetry of second derivatives (4.2), and eliminate second-order terms via algebraic combination to derive the integrability condition (4.1).

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions for the integrability of the generalized Lie equations (GLE) of a local analytic Moufang loop?
• RQ2 How do the Yamagutian functions $ Y^{s}_{jk}(g) $ encode the geometric and algebraic constraints of the GLE system?
• RQ3 In what way does triality symmetry constrain the structure of the auxiliary functions $ u^{s}_{j}, v^{s}_{j}, w^{s}_{j} $ and their derivatives?
• RQ4 How can the symmetry of second-order partial derivatives be used to eliminate higher-order terms and derive a closed-form integrability condition?
• RQ5 What is the precise algebraic relationship between the secondary derivatives of the auxiliary functions and the Yamagutian tensor?

Key findings

• The integrability condition for the generalized Lie equations is given by $ Y^{s}_{jk}(g)\frac{\partial(gh)^{i}}{\partial g^{s}} + Y^{s}_{jk}(h)\frac{\partial(gh)^{i}}{\partial h^{s}} = Y^{i}_{jk}(gh) $, which ensures consistency across the GLE system.
• The derivation relies on the symmetry of second-order partial derivatives $ \frac{\partial^2(gh)^i}{\partial g^j \partial g^k} = \frac{\partial^2(gh)^i}{\partial g^k \partial g^j} $, which eliminates mixed derivative terms upon algebraic combination.
• The secondary auxiliary functions $ u^{s}_{jk}, v^{s}_{jk}, w^{s}_{jk} $ are expressed in terms of the Yamagutian $ Y^{s}_{jk} $ and the structure constants $ C^s_{jk} $ via equations (3.3a)-(3.3c), revealing their tensorial nature.
• The equivalence between the three GLE-derived conditions (4.4), (4.5a), and (4.5b) and the unified condition (4.1) is proven by showing their difference equals twice the integrability condition.
• The proof demonstrates that the GLE system is integrable if and only if the Yamagutian functions satisfy the derived tensorial equation, linking algebraic closure to geometric consistency.
• The result confirms that the triality symmetry and the Yamagutian formalism provide a complete framework for analyzing integrability in non-associative Lie-like structures such as Moufang loops.