Internal symmetry of the $L_{\leqslant 3}$ algebra arising from a Lie pair

TL;DR

This paper demonstrates that a Lie pair induces an internal symmetry in a canonical $L_{ ext{≤}3}$ algebra, via an action of derivations of the Lie algebroid, expanding the scope of gauge equivalences for Maurer-Cartan elements.

Contribution

It establishes an $ ext{Der}(L)$-action on the $L_{ ext{≤}3}$ algebra associated with a Lie pair, revealing an internal symmetry structure.

Findings

Lie pair induces an $ ext{Der}(L)$-action on the $L_{ ext{≤}3}$ algebra.

This action broadens gauge equivalences of Maurer-Cartan elements.

The $ ext{Der}(L)$-action is characterized as an internal symmetry.

Abstract

A Lie pair is an inclusion $A$ to $L$ of Lie algebroids over the same base manifold. In an earlier work, the third author with Bandiera, Sti\'{e}non, and Xu introduced a canonical $L_{\leqslant 3}$ algebra $\Gamma(\wedge^\bullet A^\vee \otimes L/A)$ whose unary bracket is the Chevalley-Eilenberg differential arising from every Lie pair $(L,A)$. In this note, we prove that to such a Lie pair there is an associated Lie algebra action by $\mathrm{Der}(L)$ on the $L_{\leqslant 3}$ algebra $\Gamma(\wedge^\bullet A^\vee \otimes L/A)$. Here $\mathrm{Der}(L)$ is the space of derivations on the Lie algebroid $L$, or infinitesimal automorphisms of $L$. The said action gives rise to a larger scope of gauge equivalences of Maurer-Cartan elements in $\Gamma(\wedge^\bullet A^\vee \otimes L/A)$, and for this reason we elect to call the $\mathrm{Der}(L)$-action internal symmetry of $\Gamma(\wedge^\bullet A^\vee \otimes L/A)$.