2025-11-10T02:54:11.385264

Infinitely many left-symmetric structures on nilpotent Lie algebras

Kato
Dekimpe and Ongenae constructed infinitely many pairwise non-isomorphic complete left-symmetric structures on $\mathbb{R}^n$ for $n\geq 6$. In this paper, we construct a family of complete left-symmetric structures on the cotangent Lie algebra $T^*\mathfrak{g}$ of a certain $n$-dimensional almost abelian nilpotent Lie algebra $\mathfrak{g}$ and give a condition under which two left-symmetric structures in this family are isomorphic. As a consequence of this result, we obtain infinitely many pairwise non-isomorphic left-symmetric structures on $T^{*}\mathfrak{g}$. As an application of this construction, we also obtain infinitely many symplectic structures on $T^{*}\mathfrak{g}$ which are pairwise non-symplectomorphic up to homothety.
academic

Unendlich viele linksymmetrische Strukturen auf nilpotenten Lie-Algebren

Grundinformationen

  • Paper-ID: 2510.14610
  • Titel: Infinitely many left-symmetric structures on nilpotent Lie algebras
  • Autor: Naoki Kato (Chukyo-Universität)
  • Klassifizierung: math.RA (Ringe und Algebren), math.SG (Symplektische Geometrie)
  • Veröffentlichungsdatum: 16. Oktober 2025
  • Paper-Link: https://arxiv.org/abs/2510.14610v1

Zusammenfassung

Dekimpe und Ongenae konstruierten unendlich viele paarweise nicht-isomorphe vollständige linksymmetrische Strukturen auf Rn\mathbb{R}^n (n≥6n\geq 6). In dieser Arbeit wird eine Familie von vollständigen linksymmetrischen Strukturen auf der Kotangenten-Lie-Algebra T∗gT^*\mathfrak{g} einer bestimmten nn-dimensionalen fast-abelschen nilpotenten Lie-Algebra g\mathfrak{g} konstruiert und notwendige sowie hinreichende Bedingungen für die Isomorphie zweier linksymmetrischer Strukturen in dieser Familie angegeben. Als Folgerung erhalten wir unendlich viele paarweise nicht-isomorphe linksymmetrische Strukturen auf T∗gT^{*}\mathfrak{g}. Als Anwendung dieser Konstruktion erhalten wir zudem unendlich viele paarweise nicht-symplektomorphe symplektische Strukturen auf T∗gT^{*}\mathfrak{g} unter Homotopie.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Milnor-Vermutung und Gegenbeispiele: Milnor vermutete 1977, dass jede auflösbare Lie-Gruppe eine vollständige linksymmetrische affine Struktur zulässt. Jedoch zeigten Benoist und Burde-Grunewald, dass bestimmte filiformale Lie-Algebren keine linksymmetrischen Strukturen besitzen, was Gegenbeispiele zur Milnor-Vermutung liefert.
  2. Klassifikationsproblem linksymmetrischer Strukturen: Für eine gegebene Lie-Algebra ist die Bestimmung der Anzahl linksymmetrischer Strukturen ein wichtiges Problem. Bekannte Klassifikationsergebnisse zeigen, dass bestimmte Lie-Algebren endlich viele Isomorphieklassen linksymmetrischer Strukturen zulassen, während andere unendlich viele zulassen.
  3. Beschränkungen bestehender Konstruktionen: Dekimpe und Ongenae konstruierten unendlich viele vollständige linksymmetrische Strukturen auf Rn\mathbb{R}^n (n≥6n\geq 6), und der Autor konstruierte zuvor unendlich viele unvollständige linksymmetrische Strukturen auf Rn\mathbb{R}^n (n≥8n\geq 8).

Forschungsbedeutung

  1. Theoretischer Wert: Erweitert das theoretische Verständnis der Existenz und Eindeutigkeit linksymmetrischer Strukturen auf nilpotenten Lie-Algebren
  2. Geometrische Anwendungen: Durch die Verbindung zwischen symplektischen Strukturen und linksymmetrischen Strukturen werden neue Beispiele für die symplektische Geometrie bereitgestellt
  3. Klassifikationstheorie: Liefert neue Werkzeuge und Methoden für die Klassifikationstheorie linksymmetrischer Strukturen

Kernbeiträge

  1. Konstruktion einer neuen Familie linksymmetrischer Strukturen: Auf der Kotangenten-Lie-Algebra T∗gT^*\mathfrak{g} wird eine Familie vollständiger linksymmetrischer Strukturen Δ(α,β)\Delta_{(\alpha,\beta)} konstruiert
  2. Angabe notwendiger und hinreichender Bedingungen für Isomorphie: Es wird bewiesen, dass zwei linksymmetrische Strukturen Δ(α,β)\Delta_{(\alpha,\beta)} und Δ(α′,β′)\Delta_{(\alpha',\beta')} genau dann isomorph sind, wenn bestimmte Bedingungen erfüllt sind
  3. Erhalt unendlich vieler nicht-isomorpher Strukturen: Als Folgerung werden überabzählbar viele paarweise nicht-isomorphe vollständige linksymmetrische Strukturen auf T∗gT^*\mathfrak{g} erhalten
  4. Anwendung auf symplektische Geometrie: Es werden unendlich viele paarweise nicht-symplektomorphe symplektische Strukturen auf T∗gT^*\mathfrak{g} unter Homotopie konstruiert

Methodische Details

Aufgabendefinition

Die Hauptaufgabe dieser Arbeit besteht darin, linksymmetrische Strukturen auf einer gegebenen nilpotenten Lie-Algebra zu konstruieren und zu klassifizieren. Konkret:

  • Eingabe: nn-dimensionale fast-abelsche nilpotente Lie-Algebra g=R⋉Jn(0)Rn\mathfrak{g} = \mathbb{R} \ltimes_{J_n(0)} \mathbb{R}^n
  • Ausgabe: Familie linksymmetrischer Strukturen auf ihrer Kotangenten-Lie-Algebra T∗gT^*\mathfrak{g} und deren Klassifikation
  • Nebenbedingungen: Die konstruierten linksymmetrischen Strukturen sollen vollständig und paarweise nicht-isomorph sein

Kernkonstruktion

1. Grundlegende Einrichtung

Betrachte die fast-abelsche Lie-Algebra g=R⋉Jn(0)Rn\mathfrak{g} = \mathbb{R} \ltimes_{J_n(0)} \mathbb{R}^n, wobei Jn(0)J_n(0) ein nn-dimensionaler Jordan-Block mit Eigenwert 0 ist. Seien {t}\{t\} und {e1,…,en}\{e_1,\ldots,e_n\} die Standardbasen von R\mathbb{R} bzw. Rn\mathbb{R}^n. Die Lie-Klammer von g\mathfrak{g} ist gegeben durch: [t,ei+1]=ei(i=1,…,n−1)[t, e_{i+1}] = e_i \quad (i = 1,\ldots,n-1)

2. Kotangenten-Lie-Algebra

Die Kotangenten-Lie-Algebra T∗gT^*\mathfrak{g} besitzt die Basis E={z,e1,f1,…,en,fn,t}E = \{z, e_1, f_1, \ldots, e_n, f_n, t\}, wobei fi=en−i+1f_i = e_{n-i+1}, und die Lie-Klammer ist gegeben durch: [t,ei+1]=ei,[t,fi+1]=−fi,[ei+1,fn−i+1]=z[t, e_{i+1}] = e_i, \quad [t, f_{i+1}] = -f_i, \quad [e_{i+1}, f_{n-i+1}] = z

3. Definition von Parameterfolgen

Für reelle Zahlen α,β\alpha, \beta, die bestimmte Bedingungen erfüllen, definiere die Folgen: αi=i(α−1)+1(α−1)(i−1)+1,βi=i(β+1)−1−(β+1)(i−1)+1\alpha_i = \frac{i(\alpha-1)+1}{(\alpha-1)(i-1)+1}, \quad \beta_i = \frac{i(\beta+1)-1}{-(\beta+1)(i-1)+1}γi=(α−1){(n−i)(β+1)−1}n(α−1)(β+1)−(α−1)+β+1\gamma_i = \frac{(\alpha-1)\{(n-i)(\beta+1)-1\}}{n(\alpha-1)(\beta+1)-(\alpha-1)+\beta+1}

Diese Folgen erfüllen die Rekursionsrelationen: αi+1=2−1αi,βi+1=−2−1βi\alpha_{i+1} = 2 - \frac{1}{\alpha_i}, \quad \beta_{i+1} = -2 - \frac{1}{\beta_i}

4. Definition der linksymmetrischen Struktur

Definiere die Bilinearform Δ(α,β):T∗g×T∗g→T∗g\Delta_{(\alpha,\beta)}: T^*\mathfrak{g} \times T^*\mathfrak{g} \to T^*\mathfrak{g}: tΔ(α,β)ei+1=αiei,ei+1Δ(α,β)t=(−1+αi)eit \Delta_{(\alpha,\beta)} e_{i+1} = \alpha_i e_i, \quad e_{i+1} \Delta_{(\alpha,\beta)} t = (-1+\alpha_i)e_itΔ(α,β)fi+1=βifi,fi+1Δ(α,β)t=(1+βi)fit \Delta_{(\alpha,\beta)} f_{i+1} = \beta_i f_i, \quad f_{i+1} \Delta_{(\alpha,\beta)} t = (1+\beta_i)f_iei+1Δ(α,β)fn−i+1=γiz,fn−i+1Δ(α,β)ei+1=(−1+γi)ze_{i+1} \Delta_{(\alpha,\beta)} f_{n-i+1} = \gamma_i z, \quad f_{n-i+1} \Delta_{(\alpha,\beta)} e_{i+1} = (-1+\gamma_i)z

Technische Innovationen

  1. Geschickte Gestaltung von Rekursionsfolgen: Durch Parameterfolgen, die bestimmte Rekursionsrelationen erfüllen, wird die Erfüllung der Linksymmetriebedingung gewährleistet
  2. Sicherung der Vollständigkeit: Durch die Konstruktion, bei der alle Rechtsmultiplikationsoperatoren nilpotent sind, wird die Vollständigkeit der linksymmetrischen Struktur garantiert
  3. Präzise Charakterisierung der Isomorphiebedingung: Es werden notwendige und hinreichende Bedingungen für die Isomorphie zweier linksymmetrischer Strukturen angegeben, was der Schlüssel zur Klassifikation ist

Hauptergebnisse

Satz 3.1 (Existenz)

Die Bilinearform Δ(α,β)\Delta_{(\alpha,\beta)} ist eine vollständige linksymmetrische Struktur auf T∗gT^*\mathfrak{g}.

Satz 3.2 (Klassifikationssatz)

Seien {αi},{βi}\{\alpha_i\}, \{\beta_i\} und {αi′},{βi′}\{\alpha'_i\}, \{\beta'_i\} die durch die Anfangswerte α1=α,β1=β\alpha_1=\alpha, \beta_1=\beta bzw. α1′=α′,β1′=β′\alpha'_1=\alpha', \beta'_1=\beta' bestimmten Folgen. Unter geeigneten Bedingungen sind zwei linksymmetrische Strukturen Δ(α,β)\Delta_{(\alpha,\beta)} und Δ(α′,β′)\Delta_{(\alpha',\beta')} genau dann isomorph, wenn eine der folgenden Bedingungen erfüllt ist:

(i) α=α′\alpha = \alpha' und β=β′\beta = \beta' (ii) Für jedes i=1,…,n−1i = 1,\ldots,n-1 gilt αi=−βi′\alpha_i = -\beta'_i und βi=−αi′\beta_i = -\alpha'_i

Folgerung 3.3 (Unendlichkeit)

Für jede ganze Zahl n≥2n \geq 2 besitzt die nn-stufig nilpotente Lie-Algebra T∗gT^*\mathfrak{g} überabzählbar viele paarweise nicht-isomorphe vollständige linksymmetrische Strukturen.

Anwendungen auf symplektische Geometrie

Konstruktion symplektischer Strukturen

Für λ∉Z\lambda \notin \mathbb{Z} definiere die symplektische Struktur: ωλ=t∗∧z∗+∑i=1nλiei∗∧fn−i+1∗\omega_\lambda = t^* \wedge z^* + \sum_{i=1}^n \lambda_i e_i^* \wedge f_{n-i+1}^* wobei λi=λ−i+1\lambda_i = \lambda - i + 1.

Lemma 4.5 (Entsprechungsrelation)

Die durch ωλ\omega_\lambda induzierte linksymmetrische Struktur Δωλ\Delta_{\omega_\lambda} stimmt mit Δ(α,β)\Delta_{(\alpha,\beta)} überein, wobei: α=λ−1λ,β=−λ−n+2λ−n+1\alpha = \frac{\lambda-1}{\lambda}, \quad \beta = -\frac{\lambda-n+2}{\lambda-n+1}

Satz 4.6 (Klassifikation symplektischer Strukturen)

Zwei symplektische Strukturen ωλ\omega_\lambda und ωλ′\omega_{\lambda'} sind genau dann unter Homotopie symplektomorphe, wenn: (i) λ=λ′\lambda = \lambda', oder (ii) λ+λ′=n−1\lambda + \lambda' = n-1

Folgerung 4.7 (Unendlich viele symplektische Strukturen)

Für jedes n≥2n \geq 2 besitzt die nn-stufig nilpotente Lie-Algebra T∗gT^*\mathfrak{g} überabzählbar viele paarweise nicht-symplektomorphe symplektische Strukturen unter Homotopie.

Verwandte Arbeiten

Theorie linksymmetrischer Strukturen

  • Klassifikationsergebnisse: Linksymmetrische Strukturen auf R,R2,R3\mathbb{R}, \mathbb{R}^2, \mathbb{R}^3 wurden vollständig klassifiziert
  • Nilpotenter Fall: 2-stufig und 3-stufig nilpotente Lie-Algebren sowie nilpotente Lie-Algebren der Dimension höchstens 6 lassen linksymmetrische Strukturen zu
  • Unendliche Konstruktionen: Die Konstruktion von Dekimpe-Ongenae auf Rn\mathbb{R}^n (n≥6n\geq 6) ist ein wichtiger Vorläufer dieser Arbeit

Verbindung zur symplektischen Geometrie

  • Induktion symplektischer Strukturen: Symplektische Strukturen können linksymmetrische Strukturen induzieren, was eine Brücke zwischen beiden Bereichen schafft
  • Untersuchung von Äquivalenzklassen: Castellanos Moscoso und andere untersuchten Äquivalenzklassen symplektischer Strukturen unter Symplektomorphismen und Homotopie
  • Geometrische Eigenschaften: Diese Arbeit beweist die Nicht-Äquivalenz symplektischer Strukturen durch die Nicht-Isomorphie linksymmetrischer Strukturen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Existenz: Es wird bewiesen, dass auf der Kotangenten-Lie-Algebra reichhaltige vollständige linksymmetrische Strukturen existieren
  2. Klassifikation: Es werden präzise Bedingungen für die Isomorphie dieser Strukturen angegeben
  3. Unendlichkeit: Es werden überabzählbar viele paarweise nicht-isomorphe linksymmetrische Strukturen erhalten
  4. Anwendbarkeit: Es werden neue Beispiele und Werkzeuge für die symplektische Geometrie bereitgestellt

Einschränkungen

  1. Spezialität: Die Konstruktion ist auf bestimmte Typen fast-abelscher nilpotenter Lie-Algebren beschränkt
  2. Technische Bedingungen: Die Parameter müssen komplexe Nicht-Entartungsbedingungen erfüllen
  3. Rechenkomplexität: Die Behandlung von Rekursionsrelationen kann in höherdimensionalen Fällen komplex werden

Zukünftige Richtungen

  1. Verallgemeinerung: Erweiterung der Konstruktion auf allgemeinere nilpotente Lie-Algebren
  2. Geometrische Eigenschaften: Tiefere Untersuchung der geometrischen Eigenschaften dieser linksymmetrischen Strukturen
  3. Erweiterung der Anwendungen: Erkundung von Anwendungen in Differentialgeometrie und mathematischer Physik

Tiefgreifende Bewertung

Stärken

  1. Theoretischer Beitrag: Liefert wichtige neue Beispiele und Klassifikationsmethoden für die Theorie linksymmetrischer Strukturen
  2. Technische Innovation: Die Konstruktion von Rekursionsfolgen und die Charakterisierung von Isomorphiebedingungen haben technische Tiefe
  3. Interdisziplinäre Verbindungen: Etabliert tiefe Verbindungen zwischen algebraischen Strukturen und symplektischer Geometrie
  4. Vollständigkeit: Bildet ein vollständiges theoretisches System von der Konstruktion über die Klassifikation bis zur Anwendung

Schwächen

  1. Anwendungsbereich: Die Allgemeinheit der Konstruktionsmethode bedarf weiterer Überprüfung
  2. Rechnerische Verifikation: Bestimmte technische Details erfordern komplexe Berechnungen
  3. Geometrische Intuition: Es fehlt eine tiefere Erläuterung der geometrischen Intuition hinter der Konstruktion

Einfluss

  1. Akademischer Wert: Bietet neue Richtungen für die Schnittstellenforschung zwischen Lie-Algebren und symplektischer Geometrie
  2. Methodologie: Die Rekursionsmethode könnte auf ähnliche Probleme anwendbar sein
  3. Nachfolgeforschung: Legt den Grundstein für weitere Forschung in verwandten Bereichen

Anwendungsszenarien

  1. Theoretische Forschung: Anwendbar auf Forschung in Lie-Algebra-Strukturtheorie und symplektischer Geometrie
  2. Klassifikationsprobleme: Bietet methodische Referenzen für ähnliche algebraische Strukturklassifikationsprobleme
  3. Geometrische Anwendungen: Mögliche potenzielle Anwendungen in Differentialgeometrie und mathematischer Physik

Literaturverzeichnis

Die Arbeit zitiert 23 wichtige Literaturquellen, die klassische und aktuelle Arbeiten in mehreren verwandten Bereichen wie linksymmetrischen Strukturen, symplektischer Geometrie und Lie-Algebren umfassen und eine solide theoretische Grundlage für die Forschung bieten.

Gesamtbewertung: Dies ist eine hochwertige theoretische Forschungsarbeit im Schnittstellenbereich von Lie-Algebren und symplektischer Geometrie. Durch geschickte Konstruktionsmethoden werden wichtige Klassifikationsprobleme gelöst und tiefe Verbindungen zwischen algebraischen und geometrischen Strukturen etabliert. Die Arbeit hat hohes technisches Niveau und die Ergebnisse besitzen wichtigen theoretischen Wert.