Involutions of (twisted) diagram monoids

Technische Zusammenfassung: Involutionen von (verzerrten) Diagramm-Monoiden

Problemstellung
Die Arbeit befasst sich mit der Klassifizierung von Involutionen (selbstinversen Anti-Automorphismen) für eine breite Klasse von Diagramm-Monoiden und deren zugehörigen verzerrten Produkten. Während die kanonische Involution (vertikale Spiegelung) in Diagramm-Algebren und -Monoiden gut verstanden ist, bleibt die Landschaft aller möglichen Involutionen sowie deren spezifische algebraische Eigenschaften hinsichtlich der Regularität – sowohl für unverzerrte als sie verzerrte Strukturen – weitgehend unerforscht. Konkret streben die Autoren an:

1. Alle Involutionen der Partitions- ($P_n$), planaren Partitions- ($PP_n$), partiellen Brauer- ($PB_n$), Motzkin- ($M_n$), Brauer- ($B_n$) und Temperley–Lieb- ($TL_n$) Monoide zu klassifizieren.
2. Zu charakterisieren, welche dieser Involutionen die Monoide stern-regulär ($\ast$-regulär) oder reguläre Stern-Monoide machen.
3. Diese Klassifizierung und Charakterisierung auf „verzerrte Diagramm-Monoide“ auszuweiten, also Semigrupp-Algebren der zugrunde liegenden Diagramm-Monoide, die mit Informationen über schwebende Komponenten (via der kanonischen Float-Zähl-Verzerrung $\Phi$) oder rangbasierter Verzerrung ($\Psi$) angereichert sind.

Eine zentrale Motivation ist die Beobachtung, dass Diagramm-Monoide typischerweise reguläre $\ast$-Monoide sind (wobei die Involution die Elemente auf ihre von-Neumann-Inverse abbildet), ihre verzerrten Gegenstücke jedoch oft nicht regulär sind. Die Autoren untersuchen, ob diese verzerrten Strukturen schwächere Regularitätseigenschaften, spezifisch die Stern-Regularität, beibehalten.

Methodik
Die Autoren verwenden einen zweigleisigen Ansatz, indem sie eine allgemeine Theorie für verzerrte Produkte entwickeln, bevor sie diese auf spezifische Diagramm-Monoide anwenden.

• Allgemeine Theorie verzerrter Produkte: Die Arbeit etabliert ein Framework für das verzerrte Produkt $T = M \times_q^\Phi S$, wobei $S$ ein Monoid, $M$ ein kommutatives Monoid und $\Phi: S \times S \to \mathbb{N}$ eine Verzerrungsabbildung ist. Die Autoren führen und nutzen Eigenschaften wie Tightness (Dichte/Engheit), Unitalität (Einheitlichkeit) und Green-Invarianz für die Verzerrung $\Phi$ ein. Sie entwickeln eine allgemeine Klassifizierung von Involutionen für solche Produkte, wobei sie zwischen „reinen“ Involutionen (bei denen die zweite Koordinate nur von der zweiten Koordinate des Inputs abhängt) und „allgemeinen“ Involutionen unterscheiden.
• Klassifizierung von Automorphismen: Um Involutionen zu klassifizieren, bestimmen die Autoren zunächst die Automorphismengruppen der zugrunde liegenden Diagramm-Monoide. Während die Automorphismen für $P_n$, $PB_n$ und $B_n$ bekannt waren (Mazorchuk), liefern die Autoren neue Klassifizierungen für die planaren Monoide $PP_n$, $M_n$ und $TL_n$.
• Zentrum-Analyse: Die Autoren beweisen, dass die Zentren dieser Diagramm-Monoide für hinreichend großes $n$ trivial sind. Dieses Ergebnis ist entscheidend für die allgemeine Theorie, da ein triviales Zentrum in $S$ impliziert, dass alle Involutionen des verzerrten Produkts rein sind.
• Regularitäts-Charakterisierung: Unter Verwendung der allgemeinen Klassifizierung von Involutionen leiten die Autoren notwendige und hinreichende Bedingungen dafür ab, dass $T$ ein Stern-reguläres oder ein reguläres Stern-Monoid ist. Dies beinhaltet die Analyse der Interaktion zwischen der Involution, der Verzerrungsabbildung $\Phi$ (oder $\Psi$) und den Moore-Penrose-Inversen.

Zentrale Beiträge und Ergebnisse

1. Klassifizierung von Involutionen in Diagramm-Monoiden:

   • Für $P_n$, $PB_n$ und $B_n$ stehen Involutionen in einer Eins-zu-eins-Korrespondenz mit selbstinversen Permutationen der zugrunde liegenden Menge (Konjugierte der kanonischen Involution).
   • Für die planaren Monoide $PP_n$, $M_n$ und $TL_n$ gibt es im Allgemeinen nur zwei Involutionen: die kanonische und eine 180-Grad-Rotation (bezeichnet als $\rho$).
   • Die Autoren charakterisieren, welche Involutionen Stern-reguläre oder reguläre Stern-Monoid-Strukturen ergeben. Bemerkenswert ist, dass $B_n$ für viele Involutionen stern-regulär ist, aber nur für die kanonische Involution ein reguläres Stern-Monoid darstellt.

2. Trivialität des Zentrums:

   • Das Paper beweist, dass $P_n, PP_n, PB_n, M_n$ (für $n \ge 2$) sowie $B_n, TL_n$ (für $n \ge 3$) triviale Zentren haben. Dies ist ein neuartiges Ergebnis, das als von eigenem Interesse deklariert wird.

3. Allgemeine Theorie verzerrter Produkte:

   • Die Autoren klassifizieren Involutionen von $M \times_q^\Phi S$ unter der Annahme der Unitalität. Sie zeigen, dass, falls $S$ ein triviales Zentrum besitzt, alle Involutionen des verzerrten Produkts rein sind.
   • Sie liefern explizite Formeln für Moore-Penrose-Inverse in stern-regulären verzerrten Produkten.

4. Verzerrte Diagramm-Monoide (Float-Zählung $\Phi$):

   • Für verzerrte Monoide über den ganzen Zahlen ($M = \mathbb{Z}$) klassifizieren die Autoren alle Involutionen.
   • Unerwartetes Ergebnis: Während die meisten verzerrten Diagramm-Monoide keine regulären $\ast$-Monoide sind, sind sie oft stern-regulär. Speziell sind verzerrte Diagramm-Monoide über den ganzen Zahlen immer stern-regulär bezüglich Involutionen, die stern-reguläre Involutionen des Basismonoids erweitern.
   • Ausnahme: Das verzerrte Brauer-Monoid $Z \times_1^\Phi B_2$ ist einzigartig in der Hinsicht, dass es nicht-reine Involutionen zulässt, und interessanterweise ist es bezüglich sowohl seiner reinen als auch seiner nicht-reinen Involutionen stern-regulär.
   • Die Regular-Starität (die stärkere Bedingung, bei der die Involution zur Inversen abbildet) zeigt sich als sehr selten und tritt nur in spezifischen Fällen niedrigen Grades auf.

5. Verzerrte Diagramm-Monoide (Rang-basiert $\Psi$):

   • Die Autoren wenden dasselbe Programm auf die rangbasierte Verzerrung $\Psi$ an.
   • Im Gegensatz zum Fall der Float-Zählung liefert die rangbasierte Verzerrung eine reichere Struktur: Es gibt im Allgemeinen mehr Involutionen, und die Stern-Regularität sowie die Regular-Starität sind häufiger anzutreffen.
   • Wichtige Erkenntnis: Über den ganzen Zahlen ist jedes rangbasierte verzerrte Diagramm-Monoid $Z \times_1^\Psi S$ ein reguläres Stern-Monoid bezüglich einer spezifischen „negativen“ Involution. Dies liefert neue, natürliche unendliche Familien von regulären Stern-Monoiden.

Bedeutung und Ansprüche
Das Paper beansprucht, eine vollständige Klassifizierung der Involutionen für die am besten untersuchten Diagramm-Monoide und deren verzerrte Varianten bereitzustellen. Die Autoren heben mehrere unerwartete Befunde hervor:

• Die Unterscheidung zwischen Stern-Regularität und Regular-Starität ist scharf; viele verzerrte Monoide sind stern-regulär, aber keine regulären Stern-Monoide.
• Verzerrte Diagramm-Monoide über den ganzen Zahlen dienen als neue, natürliche Beispiele für stern-reguläre Monoide, eine Klasse von Strukturen, die von Drazin eingeführt wurde.
• Die rangbasierte Verzerrung $\Psi$ bietet ein robusteres Framework für die Regularität als die kanonische Float-Zählung $\Phi$ und liefert unendliche Familien von regulären Stern-Monoiden.
• Die Entwicklung einer allgemeinen Theorie für Involutionen verzurrter Produkte, insbesondere die Identifizierung der „Unitalität“ als eine Schlüssel-Eigenschaft, die schwächer als Tightness ist, erlaubt starke allgemeine Ergebnisse, selbst wenn die Verzerrung nicht tight ist (wie im Fall von Motzkin- und partiellen Brauer-Monoiden).

Die Arbeit präsentiert sich als ein grundlegender Schritt zum Verständnis der Symmetrie- und Regularitätseigenschaften von Diagramm-Algebren und deren verzerrten Gegenstücken, mit Implikationen für das Studium von zellulären Algebren und der Struktur von Semigrupp-Algebren.