Anti-associative dendriform algebras

Technische Zusammenfassung: Anti-assoziative Dendriform-Algebren

Problemstellung und Motivation
Der Beitrag behandelt das Problem der Erweiterung des operadischen Rahmens des „Aufspaltens" algebraischer Operationen auf den Kontext anti-assoziativer Algebren. Während die Aufspaltung assoziativer Operationen zu Dendriform-Algebren führt (eingeführt von Loday) und die Aufspaltung von Lie-akzeptablen Strukturen zu prä-Lie-Algebren führt, untersucht der Autor die analoge Struktur für anti-assoziative Algebren.

Die Motivation ergibt sich aus dem Wunsch, ein kommutatives Diagramm algebraischer Kategorien zu vervollständigen. Insbesondere strebt der Beitrag die Erweiterung der bekannten Beziehung zwischen anti-assoziativen Algebren ($AAs$), Jacobi-Jordan-Algebren ($J-J$) und prä-Jacobi-Jordan-Algebren ($Pre-J-J$) an. Genau wie Dendriform-Algebren im Diagramm, das assoziative und prä-Lie-Algebren in Beziehung setzt, oben links positioniert sind, postuliert der Autor die Existenz einer Kategorie „anti-assoziativer Dendriform-Algebren" ($AAs\text{-}Dend$), die das Diagramm für den anti-assoziativen Fall vervollständigt.

Methodik
Der Beitrag verfolgt einen strukturellen und operadischen Ansatz unter Verwendung der folgenden Methoden:

1. Definition und Verifikation: Der Autor definiert anti-assoziative Dendriform-Algebren als Vektorräume, die mit zwei bilinearen Operationen ($\succ, \prec$) ausgestattet sind, sodass ihre Summe anti-assoziativ ist. Die spezifischen Identitäten werden hergeleitet, indem gefordert wird, dass die induzierte Algebra-Struktur innerhalb der Kategorie der anti-assoziativen Algebren liegt.
2. Bimodul-Theorie: Der Beitrag nutzt die Theorie der Bimodule über anti-assoziativen Algebren, um neue Algebren auf direkten Summen ($A \oplus V$) zu konstruieren. Dies dient der Charakterisierung anti-assoziativer Dendriform-Algebren durch kompatible Bimodul-Strukturen.
3. O-Operatoren und Rota-Baxter-Operatoren: Der Autor führt O-Operatoren auf anti-assoziativen Algebren als Verallgemeinerung von Rota-Baxter-Operatoren ein. Dieses Werkzeug wird verwendet, um anti-assoziative Dendriform-Algebren aus bestehenden anti-assoziativen Algebren zu konstruieren.
4. Connes-Kozyklen: Die Beziehung zwischen nichtentarteten Connes-Kozyklen und anti-assoziativen Dendriform-Strukturen wird untersucht, insbesondere im Kontext von Doppelkonstruktionen auf der direkten Summe einer Algebra und ihres Dualraums.
5. Klassifikation: Der Beitrag führt eine Klassifikation von niedrigdimensionalen (2-dimensionalen) Algebren über den komplexen Zahlen durch, indem er die durch die definierenden Identitäten auferlegten Einschränkungen für die Strukturskonstanten analysiert.

Hauptbeiträge und Ergebnisse

• Definition anti-assoziativer Dendriform-Algebren:
  Der Beitrag definiert eine anti-assoziative Dendriform-Algebra $(A, \succ, \prec)$ als einen Vektorraum, in dem die Operationen folgende Bedingungen erfüllen:

  • $(x \succ y) \succ z = -x \succ (y \succ z)$
  • $x \prec (y \prec z) = -(x \prec y) \prec z$
  • $x \succ (y \prec z) = -(x \succ y) \prec z$
    wobei das totale Produkt $x * y = x \succ y + x \prec z$ anti-assoziativ ist (d. h. $a*(b*c) + (a*b)*c = 0$ erfüllt).

• Vervollständigung des kommutativen Diagramms:
  Satz 2.7 beweist, dass die Kategorie $AAs\text{-}Dend$ das folgende kommutative Diagramm vervollständigt:
  $$\begin{array}{ccc} AAs\text{-}Dend & \to & Pre\text{-}J\text{-}J \\ \downarrow & & \downarrow \\ AAs & \to & J\text{-}J \end{array}$$
  Hier repräsentieren die vertikalen Pfeile die Vergissfunktoren zur zugrunde liegenden anti-assoziativen Algebra bzw. zur zugehörigen prä-Jacobi-Jordan-Algebra.

• Charakterisierung via Bimodule:
  Satz 2.8 stellt fest, dass eine anti-assoziative Dendriform-Algebra-Struktur auf $A$ äquivalent zur Existenz einer Bimodul-Struktur $(A, L_\succ, R_\prec)$ auf der zugehörigen anti-assoziativen Algebra $(A, *)$ ist.

• O-Operatoren und Rota-Baxter-Operatoren:

  • Satz 3.3: Zeigt, dass jeder O-Operator $T: V \to A$, der mit einem Bimodul einer anti-assoziativen Algebra assoziiert ist, eine anti-assoziative Dendriform-Struktur auf $V$ induziert.
  • Satz 3.5: Beweist, dass eine anti-assoziative Algebra genau dann eine kompatible anti-assoziative Dendriform-Struktur zulässt, wenn es einen invertierbaren O-Operator auf ihr gibt.
  • Korollar 3.7: Zeigt, dass die direkte Summe einer anti-assoziativen Dendriform-Algebra mit sich selbst eine Rota-Baxter-Operator-Struktur zulässt.

• Connes-Kozyklen:
  Satz 4.2 stellt fest, dass ein nichtentarteter Connes-Kozyklus auf einer anti-assoziativen Algebra die Konstruktion einer kompatiblen anti-assoziativen Dendriform-Struktur ermöglicht. Dies führt zu Proposition 4.3, welche die „Doppelkonstruktion" von Connes-Kozyklen ($A \bowtie A^*$) als Quelle solcher Strukturen beschreibt.

• Klassifikation 2-dimensionaler Algebren:
  Satz 5.4 liefert eine Klassifikation nicht-trivialer 2-dimensionaler anti-assoziativer Dendriform-Algebren über $\mathbb{C}$. Die nicht-trivialen Fälle fallen in zwei Familien:

  1. $Rh_1$: Definiert durch $e_1 \prec e_1 = e_2$.
  2. $Rh_2[\lambda]$: Definiert durch $e_1 \succ e_1 = e_2$ und $e_1 \prec e_1 = \lambda e_2$ (wobei $\lambda \in \mathbb{C}$).
     Der Beitrag stellt zudem fest, dass Algebren, die mit der abelschen anti-assoziativen Algebra assoziiert sind, 2-nilpotent sind.

• Nilpotenz und Quotienten:
  Der Beitrag führt das Konzept der 2-Nilpotenz für diese Algebren ein und beweist (Proposition 5.6), dass unter bestimmten Bedingungen bezüglich des Annullators der Quotient einer anti-assoziativen Dendriform-Algebra nach ihrem Annullator eine kompatible anti-assoziative Dendriform-Struktur beibehält.

Bedeutung und Behauptungen
Der Beitrag beansprucht, eine systematische Untersuchung „anti-assoziativer Dendriform-Algebren" als das natürliche Gegenstück zu Lodays Dendriform-Algebren innerhalb der Varietät der anti-assoziativen Algebren zu liefern. Seine primäre Bedeutung liegt in:

1. Vereinheitlichung: Angebot eines vereinheitlichten Rahmens, der der Aufspaltung der Assoziativität parallel läuft und damit den operadischen Ansatz auf die Anti-Assoziativität erweitert.
2. Strukturelle Werkzeuge: Bereitstellung von O-Operatoren und Connes-Kozyklen als effektive Werkzeuge zur Konstruktion und Interpretation dieser Algebren.
3. Fundamentale Klassifikation: Schaffung der Grundlagen für die Klassifikation dieser Algebren durch Lösung des Problems für den 2-dimensionalen Fall, der als Basis zum Verständnis der Struktur der Varietät dient.

Der Autor stellt explizit fest, dass die Arbeit darauf abzielt, die „Aufspaltung der Anti-Assoziativität" zu behandeln, und präsentiert das kommutative Diagramm (3) als zentrales strukturelles Ergebnis, das die Existenz der Kategorie $AAs\text{-}Dend$ als fehlendes Glied in der Hierarchie anti-assoziativer verwandter Algebren bestätigt.