From homotopy Rota-Baxter algebras to Pre-Calabi-Yau and homotopy double Poisson algebras

Titel: Von Homotopie-Rota-Baxter-Algebren zu Pre-Calabi-Yau- und Homotopie-Doppel-Poisson-Algebren

Autoren: Yufei Qin und Kai Wang

---

1. Problemstellung und Motivation

Das Paper adressiert die tiefe Verbindung zwischen drei zentralen Konzepten der nichtkommutativen Geometrie und der algebraischen Topologie:

1. Rota-Baxter-Algebren: Ursprünglich in der Wahrscheinlichkeitstheorie eingeführt, spielen sie eine Rolle in der Renormierung, der Yang-Baxter-Gleichung und der Operadentheorie.
2. Pre-Calabi-Yau-Algebren: Eine Verallgemeinerung von Calabi-Yau-Algebren, die als Rahmenwerk für nichtkommutative Poisson-Geometrie dienen.
3. Homotopie-Doppel-Poisson-Algebren: Eine homotopische Verallgemeinerung von Doppel-Poisson-Algebren (eingeführt von Van den Bergh), die Poisson-Strukturen auf Darstellungsräumen nichtkommutativer Algebren beschreiben.

Bisherige Arbeiten (z. B. von Goncharov/Kolesnikov und Schedler) zeigten Äquivalenzen zwischen speziellen Fällen dieser Strukturen (z. B. zwischen schief-symmetrischen Lösungen der assoziativen Yang-Baxter-Gleichung und Doppel-Lie-Algebren). Das Ziel dieses Papers ist es, diese Zusammenhänge in einen allgemeinen homotopischen Rahmen zu überführen. Die Autoren wollen zeigen, wie man aus Darstellungen von Homotopie-Rota-Baxter-Algebren natürliche Strukturen auf den zugrundeliegenden Moduln konstruieren kann, die sowohl Pre-Calabi-Yau- als auch Homotopie-Doppel-Poisson-Strukturen tragen.

2. Methodik und Konzepte

Die Methodik basiert auf der Einführung neuer algebraischer Strukturen und der Konstruktion von Abbildungen zwischen diesen Kategorien:

• Zyklische und Ultrazyklische Homotopie-Rota-Baxter-Algebren:
  Die Autoren definieren zyklische und ultrazyklische (schief-symmetrische) Versionen von Homotopie-Rota-Baxter-Operatoren. Diese verallgemeinern die klassischen zyklischen Rota-Baxter-Operatoren (die mit Doppel-Lie-Algebren korrespondieren) auf den $A_\infty$-Kontext.

  • Ein Operator ist zyklisch, wenn er bezüglich einer nicht-ausgearteten Bilinearform zyklisch invariant ist.
  • Ein Operator ist ultrazyklisch, wenn er zusätzlich schief-symmetrisch ist.

• Interaktive Paare (Interactive Pairs):
  Ein zentrales neues Konzept ist das "interaktive Paar" $(A, B)$, bestehend aus zwei Differential-Graduierten (dg) Algebren $A$ (die "wirkende" Algebra) und $B$ (die "Basis"-Algebra), die durch kompatible Modulstrukturen verbunden sind.

  • $A$ wirkt links auf $B$ ($\triangleright$).
  • $B$ wirkt links auf $A$ ($\blacktriangleright$).
  • Eine Kompatibilitätsbedingung sichert die Konsistenz dieser Wechselwirkungen.

• Zyklische Vervollständigung (Cyclic Completion):
  Es wird eine Konstruktion vorgestellt, die aus einer beliebigen Homotopie-Rota-Baxter-Algebra eine zyklische (bzw. ultrazyklische) Struktur erzeugt, indem man den Raum $A$ mit seinem Dual $A^\vee$ zu einem trivialen Erweiterungsraum $\partial_0 A = A \ltimes A^\vee$ kombiniert.

• Konstruktion von $A_\infty$-Strukturen:
  Für ein solches interaktives Paar wird auf dem Raum $\partial_{-1}B = B \oplus s^{-1}B^\vee$ eine $A_\infty$-Algebra-Struktur definiert. Die höheren Operationen $m_n$ werden explizit durch die Homotopie-Rota-Baxter-Operatoren $T_n$ und die Modulwirkung von $A$ auf $B$ ausgedrückt.

3. Hauptergebnisse

Das Paper liefert zwei fundamentale Sätze, die die Konstruktionen zusammenfassen:

Satz 0.1 (Konstruktion von Pre-Calabi-Yau-Strukturen):
Sei $(A, B)$ ein interaktives Paar, wobei $A$ eine zyklische (bzw. ultrazyklische) Homotopie-Rota-Baxter-Algebra ist.

• Wenn die Operatoren $T_n$ zyklisch sind, erbt die Basisalgebra $B$ eine gute, handhabbare Pre-Calabi-Yau-Algebra-Struktur.
• Wenn die Operatoren $T_n$ ultrazyklisch sind, erbt $B$ eine gute, handhabbare, spezielle Pre-Calabi-Yau-Algebra-Struktur.

Dies verallgemeinert bekannte Ergebnisse, wonach Module über bestimmten Rota-Baxter-Algebren Calabi-Yau-Strukturen tragen, auf den homotopischen Fall.

Satz 0.2 (Konstruktion von Homotopie-Doppel-Poisson-Strukturen):
Unter Verwendung der Bijektion zwischen speziellen Pre-Calabi-Yau-Algebren und Homotopie-Doppel-Poisson-Algebren (von Fernández und Herscovich) leiten die Autoren eine explizite Formel für die induzierte Struktur auf $B$ ab.

• Die Familie von Abbildungen $\{\{\{-, \dots, -\}\}_n\}_{n \ge 1}$ wird explizit durch die Komposition von $T_n$, der Identität und der Wirkung $\Phi: A \to \text{End}(B)$ definiert.
• Ergebnis: Wenn $T_n$ zyklisch ist, erhält $B$ eine zyklische Homotopie-Doppel-Poisson-Struktur. Wenn $T_n$ ultrazyklisch ist, erhält $B$ eine Homotopie-Doppel-Poisson-Struktur (im Sinne von Homotopie-Doppel-Lie-Algebren).

Äquivalenzsätze:
Das Paper etabliert eine Äquivalenz zwischen vier scheinbar unterschiedlichen Daten für endlichdimensionale graduierte Räume $V$:

1. Feine spezielle Pre-Calabi-Yau-Algebra-Strukturen auf $V$.
2. Homotopie-Doppel-Lie-Algebra-Strukturen auf $V$.
3. Differentialen auf $V$ und ultrazyklischen Homotopie-relativen Rota-Baxter-Operatoren auf $\text{End}(V)$.
4. Schief-symmetrischen Lösungen der assoziativen Yang-Baxter-$\infty$-Gleichung (associative Yang-Baxter-infinity equation) in $\text{End}(V)$.

Dies verallgemeinert die klassischen Ergebnisse von Goncharov und Kolesnikov (die den Fall ohne Homotopie behandelten) auf den homotopischen Kontext.

4. Technische Details und Beweise

• Beweis der $A_\infty$-Relationen: Der Beweis, dass die konstruierten Operationen $m_n$ die Stasheff-Identitäten erfüllen, ist technisch anspruchsvoll und erfolgt durch eine detaillierte Fallunterscheidung (Appendix B). Dabei wird die Eigenschaft der $T_n$ als "starke $n$-Ableitungen" (strong $n$-derivations) relativ zu $B$ entscheidend genutzt.
• Dualität: Die Konstruktion nutzt intensiv die Dualität zwischen $A$ und $A^\vee$ sowie die Eigenschaften des trivialen Erweiterungsraums, um die zyklischen Bedingungen zu sichern.
• Symmetrische Algebren: Es wird gezeigt, dass die symmetrische Algebra $S(B)$ über einem Modul $B$ mit einer ultrazyklischen Struktur eine Homotopie-Poisson-Algebra (im Sinne von $L_\infty$-Algebren auf kommutativen Algebren) trägt. Dies ermöglicht die Interpretation des dualen Raums $B^\vee$ als formaler abgeleiteter Poisson-Mannigfaltigkeit.

5. Bedeutung und Ausblick

Die Bedeutung dieses Papers liegt in mehreren Aspekten:

1. Vereinheitlichung: Es schließt die Lücke zwischen der Theorie der Rota-Baxter-Algebren und der modernen nichtkommutativen Geometrie (Pre-Calabi-Yau, Doppel-Poisson) im homotopischen Rahmen.
2. Konstruktive Kraft: Es bietet einen expliziten, algorithmischen Weg, um komplexe Poisson-Strukturen (Homotopie-Doppel-Poisson) aus einfacheren algebraischen Daten (Darstellungen von Rota-Baxter-Algebren) zu konstruieren.
3. Verallgemeinerung: Die Ergebnisse erweitern klassische Äquivalenzen (wie die zwischen Yang-Baxter-Lösungen und Doppel-Lie-Algebren) auf den $\infty$-Kontext, was für die Deformationstheorie und die Quantisierung von nichtkommutativen Räumen relevant ist.
4. Anwendungen: Die Verbindung zur assoziativen Yang-Baxter-$\infty$-Gleichung eröffnet neue Wege zur Untersuchung von Lösungen dieser Gleichungen durch algebraische Modulstrukturen.

Zusammenfassend liefert das Paper einen robusten theoretischen Rahmen, der zeigt, dass Homotopie-Rota-Baxter-Strukturen eine natürliche Quelle für Pre-Calabi-Yau- und Poisson-Strukturen in der nichtkommutativen Geometrie sind.