Deformation maps on quasi-twilled Lie conformal algebras

Technische Samenvatting: Deformatiekaarten op Quasi-Twilled Lie-conforme Algebra's

Probleemstelling
Het artikel behandelt de behoefte aan een verenigd algebraïsch kader voor het bestuderen van diverse operator-theoretische structuren op Lie-conforme algebra's. Hoewel de theorie van Lie-conforme algebra's (geïntroduceerd door Kac en ontwikkeld door Bakalov, D'Andrea en Kac) de algebraïsche taal biedt voor de operator product expansie in de twee-dimensionale conformationele veldentheorie, is de studie van specifieke operatoren—zoals Rota-Baxter-operatoren, afgeleiden, gekruiste homomorfismen en gemodificeerde $r$-matrices—vaak geïsoleerd behandeld. Recente ontwikkelingen in de theorie van Lie-algebra's (specifiek door Jiang, Sheng en Tang) introduceerden het concept van "quasi-twilled" structuren en "deformatiekaarten" om deze operatoren te verenigen. Deze unificatie was echter nog niet doorgevoerd naar de conformationele setting. De auteurs beogen de theorie van deformatiekaarten te generaliseren naar quasi-twilled Lie-conforme algebra's, waarbij zij een coherent cohomologisch en homotopisch kader vaststellen dat zowel klassieke als conformationele operatoren omvat.

Methodologie
De auteurs hanteren een verenigde benadering gebaseerd op de volgende wiskundige instrumenten:

1. Quasi-Twilled Lie-conforme Algebra's: Zij maken gebruik van een decompositie $E = \mathfrak{a} \oplus \mathfrak{b}$ waarbij $\mathfrak{b}$ een subalgebra is, maar $\mathfrak{a}$ dat niet noodzakelijkerwijs is. De structuur wordt gecodeerd door een 2-cochain $\Omega$ die een bihomogene decompositie toelaat met betrekking tot de Nijenhuis-Richardson (NR) bigradatie.
2. Nijenhuis-Richardson Haakje: Het NR-haakje en zijn bigradatie-eigenschappen worden gebruikt om de Maurer-Cartan-vergelijking $[\Omega, \Omega]_{NR} = 0$ te decomponeren in een hiërarchisch systeem van compatibiliteitsvoorwaarden.
3. Afgeleide Haakjes-constructie (Derived Bracket Construction): Volgend de methode van Voronov, construeren de auteurs controlerende homotopie-algebra's. Zij definiëren projectiemappen op de ruimte van cochains om $L_\infty$-algebra's (of curved $L_\infty$-algebra's) te genereren waar de specifieke operatoren van belang verschijnen als Maurer-Cartan-elementen.
4. Deformatietheorie: Door de controlerende $L_\infty$-algebra's te "twisten" met een gegeven deformatiekaart, leiden de auteurs de sturende vergelijkingen af voor infinitesimale deformaties ($D + D'$ of $B + B'$).
5. Cohomologie: Zij definiëren Chevalley-Eilenberg-type cochain-complexen geassocieerd met de geïnduceerde structuren op de summanden om de cohomologie van de deformatiekaarten te definiëren.

Kernbijdragen en Resultaten

Het artikel introduceert twee duale families van operatoren op een quasi-twilled Lie-conforme algebra $(E, \mathfrak{a}, \mathfrak{b})$:

1. Rechter Deformatiekaarten ($D: \mathfrak{a} \to \mathfrak{b}$)

• Definitie: Een $C[\partial]$-module homomorfisme $D$ is een rechter deformatiekaart als zijn graaf $\text{Gr}(D)$ een Lie-conforme subalgebra van $E$ is.
• Unificatie: Deze enkele definitie omvat:
  • Conformationele gemodificeerde $r$-matrices.
  • Conformationele gekruiste homomorfismen.
  • Conformationele afgeleiden.
  • Conformationele Lie-algebra homomorfismen.
• Geïnduceerde Structuren: $D$ induceert een nieuwe Lie-conforme algebra structuur op $\mathfrak{a}$ (aangeduid als $\mathfrak{a}_D$) en een module-structuur op $\mathfrak{b}$.
• Controlerende Algebra: De auteurs bewijzen dat rechter deformatiekaarten precies de Maurer-Cartan-elementen zijn van een curved $L_\infty$-algebra op $\bigoplus_{n \geq 0} C^{n+1}(\mathfrak{a}, \mathfrak{b})$. De structuurkaarten worden expliciet gegeven door iteratieve NR-haken die de componenten van $\Omega$ bevatten.
• Cohomologie: Een cohomologiecomplex wordt gedefinieerd voor $D$. De tweede cohomologiegroep $H^2(D)$ classificeert infinitesimale deformaties van $D$.

2. Linker Deformatiekaarten ($B: \mathfrak{b} \to \mathfrak{a}$)

• Definitie: Een $C[\partial]$-module homomorfisme $B$ is een linker deformatiekaart als zijn graaf $\text{Gr}(B)$ een Lie-conforme subalgebra van $E$ is.
• Unificatie: Deze definitie omvat:
  • Conformationele relatieve Rota-Baxter-operatoren (inclusief O-operatoren).
  • Conformationele getwiste Rota-Baxter-operatoren.
  • Conformationele Reynolds-operatoren.
  • Deformatiekaarten van gematchte paren van Lie-conforme algebra's.
• Geïnduceerde Structuren: $B$ induceert een nieuwe Lie-conforme algebra structuur op $\mathfrak{b}$ (aangeduid als $\mathfrak{b}_B$) en een module-structuur op $\mathfrak{a}$.
• Controlerende Algebra: Er wordt aangetoond dat linker deformatiekaarten Maurer-Cartan-elementen zijn van een (niet-curved) $L_\infty$-algebra op $\bigoplus_{n \geq 0} C^{n+1}(\mathfrak{b}, \mathfrak{a})$. De structuurkaarten bevatten tot en met ternaire haken ($l_3$) afgeleid van het NR-haakje.
• Cohomologie: Een cohomologiecomplex wordt gedefinieerd voor $B$. De tweede cohomologiegroep $H^2(B)$ classificeert infinitesimale deformaties.

Betekenis en Claims
Het artikel claimt een "verenigde benadering" te bieden die bestaande theorieën herstelt en uitbreidt. Specifiek:

• Generalisatie: Het breidt het werk van Jiang, Sheng en Tang (die werkten op quasi-twilled Lie-algebra's) uit naar de conformationele setting.
• Unificatie: Het demonstreert dat diverse operatoren (Rota-Baxter, Reynolds, afgeleiden, etc.) geen geïsoleerde fenomenen zijn, maar specifieke instanties van deformatiekaarten binnen één enkel quasi-twilled kader.
• Nieuwe Resultaten: De auteurs merken op dat verschillende van de resulterende controlerende algebra's en deformatie-cohomologieën zelfs binnen de conformationele setting nieuw lijken te zijn, met name voor conformationele gemodificeerde $r$-matrices en deformatiekaarten van gematchte paren.
• Theoretisch Kader: Door de $L_\infty$-algebraïsche controle vast te stellen, biedt het artikel de precieze obstructie-theoretische beschrijving voor de deformatie van deze operatoren, waarbij de algebraïsche structuur direct wordt gekoppeld aan de deformatietheorie via het Maurer-Cartan formalisme.

Het artikel concludeert dat dit kader erin slaagt de cohomologische en deformatie-theorieën van alle genoemde klassieke en conformationele operatoren te integreren onder de paraplu van quasi-twilled Lie-conforme algebra's.