Malcev Laplacian in Moufang Loops

• Malcev Laplacian is a non-associative extension of the Laplace–Beltrami operator on Moufang loops, incorporating the defect operator to account for non-Lie behavior.
• It is constructed using left-invariant vector fields from an orthonormal basis of Banach–Malcev algebras, yielding a discrete and self-adjoint spectrum on compact groups like S7.
• The spectral analysis links periodic flows and precise eigenspace actions with the algebraic defect, as exemplified by the octonionic case where explicit eigenvalue data is provided.

The Malcev Laplacian is a non-associative generalization of the Laplace–Beltrami operator, naturally arising on compact analytic Moufang loops whose tangent algebras are Banach–Malcev algebras. It furnishes the spectral analytic core for dynamics and representation theory over such non-Lie structures, incorporating the algebraic defect of non-Lie behavior through a correction operator that measures deviation from the standard Lie-algebraic scenario. Canonical examples include the imaginary octonions and their associated 7-sphere, where the spectral theory of the Malcev Laplacian intertwines with strictly periodic flows and a precise structural action on eigenspaces (Ennaceur, 14 Dec 2025).

1. Analytic–Algebraic Framework and Laplacian Definition

A Banach–Malcev algebra $\M$ is a real (or complex) Banach space equipped with a continuous, bilinear, anti-commutative bracket $[\cdot,\cdot]$ satisfying the Malcev identity: $$J(x, y, [x, z]) = [J(x, y, z), x], \quad J(x, y, z) = [[x, y], z] + [[y, z], x] + [[z, x], y].$$ The adjoint map $\ad(x): \M \to \M$, defined by $\ad(x)(y) = [x, y]$, is bounded and generates a norm-continuous one-parameter group of automorphisms $e^{t\,\ad(x)}$. Via the integrability results of Sabinin–Mikheev and Pérez-Izquierdo–Shestakov, a simply connected analytic Moufang loop $\G$ with tangent algebra $\M$ and exponential map $\exp: U \subset \M \to \G$ always exists. When $\G$ is compact (e.g., $S^7$), a bi-invariant Riemannian metric is available.

Given an orthonormal basis $\{e_i\}_{i=1}^n$ of $\M \cong T_e\G$, the left-invariant vector fields are $X_{e_i}$. The Malcev Laplacian is then defined as

$\Delta = -\sum_{i=1}^n X_{e_i}^2: C^\infty(\G) \to C^\infty(\G),$

where each $X_{e_i}$ is a Killing field, and the Laplacian is essentially self-adjoint on $L^2(\G)$.

2. The Defect Operator and Non-Lie Correction

Unlike Lie algebras, the map $x \mapsto \ad(x)$ in a Malcev algebra is not a Lie homomorphism. The precise deviation is quantified by the defect operator $S(x, y)$, a bounded operator on $\M$ defined as: $[\ad(x), \ad(y)] = \ad([x, y]) + S(x, y),$

$S(x, y)(z) = J([x, y], z, x) - J(x, y, [z, x]), \quad z \in \M.$

The defect vanishes if and only if $\M$ is a Lie algebra. The Malcev defect norm is given by

$$\|S\| = \sup_{\|x\| = \|y\| = \|z\| = 1} \|S(x, y)(z)\|,$$

with $\|S\| = 2$ in the case of the imaginary octonions $\Im(\O)$.

The operator $S(x, y)$ is skew-symmetric in $x, y$ and satisfies

$S([x, y], z) + S([y, z], x) + S([z, x], y) = 0,$

mirroring the cocycle property of the Lie algebra defect.

3. Spectral Characterization and Functional Calculus

For almost periodic Banach–Malcev algebras, the flow $\{e^{t\,\ad(x)}(y) : t \in \mathbb{R}\}$ is relatively compact for all $x, y$. This ensures:

• $\sigma(\ad(x)) \subset i\mathbb{R}$ for all $x$;
• The one-parameter group $t \mapsto e^{t\,\ad(x)}$ is relatively compact in the strong operator topology;
• The resolvent $R(\lambda, x) = (\lambda I - \ad(x))^{-1}$ is almost periodic as a function of $\lambda$ on $\mathbb{C} \setminus i\mathbb{R}$.

There is consequently a continuous functional calculus for $f \in C_b(i\mathbb{R})$, so one can define, e.g., $\cosh(\ad(x))$, $\sinh(\ad(x))$, and other analytic functions of $\ad(x)$.

4. Spectral Theory of the Malcev Laplacian and Structural Actions

On a compact, connected, simply connected analytic Moufang loop $\G$ with tangent Malcev algebra $\M$, equipping $\G$ with the bi-invariant metric makes the Malcev Laplacian a symmetric, elliptic operator: $\Delta = -\sum_{i=1}^n X_{e_i}^2 \quad \text{on } L^2(\G).$ Key spectral properties:

• The spectrum $$\sigma(\Delta) = \{0 = \lambda_0 < \lambda_1 < \lambda_2 < \ldots\} \subset [0,\infty)$$ is discrete, real, of finite multiplicity, with eigenvalues tending to infinity.
• There exists an orthonormal basis $\{\psi_{k,\alpha}\}$ of eigenfunctions, $\Delta \psi_{k,\alpha} = \lambda_k \psi_{k,\alpha}$.
• On each eigenspace $E_{\lambda_k} = \ker(\Delta - \lambda_k I)$, the infinitesimal action $\pi(x) = X_x|_{E_{\lambda_k}}$ is almost periodic. The commutator satisfies:

$[\pi(x), \pi(y)] = \pi([x, y]) + T(x, y), \quad \|T(x, y)\|_{\End(E_{\lambda_k})} \leq C_k \|S(x, y)\|_{B(\M)},$

where $C_k$ depends only on $\lambda_k$.

Each eigenspace thus carries a “structural action” of $\M$; the failure to be a strict representation aligns with the defect $S(x, y)$.

5. Eigenspace Decomposition and Inner Structure

Ellipticity and symmetry of $\Delta$ guarantee:

• The eigenfunctions $\{\psi_{k,\alpha}\}$ form an orthonormal basis of $L^2(\G)$, with smooth representatives in $C^\infty(\G)$.
• The decomposition $L^2(\G) = \bigoplus_k E_{\lambda_k}$ is complete in both $L^2$ and the smooth topology.
• On each $E_{\lambda_k}$, the operators $X_x$ diagonalize over $\mathbb{C}$ with purely imaginary spectrum, allowing full Jordan decomposition on complexification. For each $x$, the induced operator is skew-Hermitian with respect to the $L^2$ inner product.

6. Octonionic Case and Explicit Spectra

For $\M = \Im(\O)$, the 7-dimensional real Malcev algebra of purely imaginary octonions ($[x, y] = \frac{1}{2}(xy - yx)$), the integrating Moufang loop is the unit sphere $\G = S^7 \subset \O$.

• For $0 \neq x \in \Im(\O)$, the spectrum of $\ad(x)$:

$\sigma(\ad(x)) = \{ 0 \text{ (mult. 1)}, +i\|x\| \text{ (mult. 3)}, -i\|x\| \text{ (mult. 3)} \}.$

The associated flow $e^{t\,\ad(x)}$ is periodic of minimal period $T = 2\pi / \|x\|$, so every flow generated by $X_x$ on $S^7$ is strictly periodic, with orbit closures as circles $S^1$.

• The Malcev Laplacian on $S^7$ differs from the standard Laplace–Beltrami operator by normalization:

$$\lambda_k = k(k+6), \qquad \dim E_{\lambda_k} = \binom{k+6}{6} - \binom{k+4}{6}, \quad k = 0, 1, 2, \ldots$$

The first nontrivial eigenvalue is $\lambda_1 = 7$, and $\dim E_7 = 7$. On $E_7$, the defect norm satisfies $\|T(e_i, e_j)\| = 2 = \|S(e_i, e_j)\|$, and the structural-action constant $C_1$ can be taken as 1.

7. Summary and Mathematical Significance

The Malcev Laplacian provides a non-associative extension of classical spectral theory for Laplacians on Lie groups to the setting of compact analytic Moufang loops. Its spectrum is discrete and real, admitting a smooth, orthogonal eigendecomposition. Each eigenspace supports an almost periodic structural action of the Malcev algebra, with non-associativity captured via the defect operator $S(x, y)$. In the octonionic case, strictly periodic flows and explicit spectral data exemplify these phenomena, establishing a bridge between algebraic non-associativity and analytic spectral theory. The role of $S(x, y)$ is central, precisely measuring the departure from the Lie scenario and controlling the structure of eigenspace actions (Ennaceur, 14 Dec 2025).