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

冪零リー代数上の無限個の左対称構造

基本情報

論文ID: 2510.14610
タイトル: Infinitely many left-symmetric structures on nilpotent Lie algebras
著者: 加藤直樹（中京大学）
分類: math.RA（環と代数）、math.SG（シンプレクティック幾何）
発表日: 2025年10月16日
論文リンク: https://arxiv.org/abs/2510.14610v1

要約

DeKimpeとOngenaeは $\mathbb{R}^n$ （ $n\geq 6$ ）上に無限個の相互に非同型な完全左対称構造を構成した。本論文では、ある $n$ 次元ほぼアーベル冪零リー代数 $\mathfrak{g}$ の余接リー代数 $T^*\mathfrak{g}$ 上に完全左対称構造の族を構成し、この族における2つの左対称構造が同型となるための必要十分条件を与えた。この結果の系として、 $T^{*}\mathfrak{g}$ 上の無限個の相互に非同型な左対称構造を得た。さらにこの構成の応用として、 $T^{*}\mathfrak{g}$ 上の無限個のホモトピー下で相互に非シンプレクティック同胚なシンプレクティック構造を得た。

研究背景と動機

問題背景

Milnor予想と反例：Milnorは1977年に、任意の可解リー群が完全左不変アフィン構造を認めるという予想を立てた。しかし、BenoistおよびBurde-Grunewald は、ある糸状リー代数が左対称構造を持たないことを証明し、Milnor予想に反例を与えた。
左対称構造の分類問題：与えられたリー代数に対して、それが認める左対称構造の個数を決定することは重要な問題である。既知の分類結果は、ある種のリー代数の左対称構造の同型類の個数が有限であることを示しているが、一方で無限個の同型類を認めるリー代数も存在する。
既存構成の限界：DeKimpeとOngenaeは $\mathbb{R}^n$ （ $n\geq 6$ ）上に無限個の完全左対称構造を構成し、著者は以前 $\mathbb{R}^n$ （ $n\geq 8$ ）上に無限個の非完全左対称構造を構成した。

研究の意義

理論的価値：冪零リー代数上の左対称構造の存在性と一意性に関する理論的理解を拡張する
幾何学的応用：シンプレクティック構造と左対称構造の関連性を通じて、シンプレクティック幾何に新しい例を提供する
分類理論：左対称構造の分類理論に新しいツールと方法を提供する

核心的貢献

新しい左対称構造族の構成：余接リー代数 $T^*\mathfrak{g}$ 上に完全左対称構造の族 $\Delta_{(\alpha,\beta)}$ を構成した
同型の必要十分条件の提示：2つの左対称構造 $\Delta_{(\alpha,\beta)}$ と $\Delta_{(\alpha',\beta')}$ が同型となるための条件を証明した
無限個の非同型構造の獲得：系として、 $T^*\mathfrak{g}$ 上の非可算個の相互に非同型な完全左対称構造を得た
シンプレクティック幾何への応用： $T^*\mathfrak{g}$ 上の無限個のホモトピー下で相互に非シンプレクティック同胚なシンプレクティック構造を構成した

方法の詳細

タスク定義

本論文の主要なタスクは、与えられた冪零リー代数上に左対称構造を構成し分類することである。具体的には：

入力： $n$ 次元ほぼアーベル冪零リー代数 $\mathfrak{g} = \mathbb{R} \ltimes_{J_n(0)} \mathbb{R}^n$
出力：その余接リー代数 $T^*\mathfrak{g}$ 上の左対称構造族およびその分類
制約：構成される左対称構造は完全であり、相互に非同型であることが要求される

核心的構成

1. 基礎設定

ほぼアーベルリー代数 $\mathfrak{g} = \mathbb{R} \ltimes_{J_n(0)} \mathbb{R}^n$ を考える。ここで $J_n(0)$ は固有値が0の $n$ 次Jordan ブロックである。 $\{t\}$ と $\{e_1,\ldots,e_n\}$ をそれぞれ $\mathbb{R}$ と $\mathbb{R}^n$ の標準基とすると、 $\mathfrak{g}$ のリー括弧は以下で与えられる： $[t, e_{i+1}] = e_i \quad (i = 1,\ldots,n-1)$

2. 余接リー代数

余接リー代数 $T^*\mathfrak{g}$ は基 $E = \{z, e_1, f_1, \ldots, e_n, f_n, t\}$ を持ち、ここで $f_i = e_{n-i+1}$ であり、リー括弧は以下で与えられる： $[t, e_{i+1}] = e_i, \quad [t, f_{i+1}] = -f_i, \quad [e_{i+1}, f_{n-i+1}] = z$

3. パラメータ数列の定義

特定の条件を満たす実数 $\alpha, \beta$ に対して、数列を定義する： $\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}$ $\gamma_i = \frac{(\alpha-1)\{(n-i)(\beta+1)-1\}}{n(\alpha-1)(\beta+1)-(\alpha-1)+\beta+1}$

これらの数列は以下の漸化式を満たす： $\alpha_{i+1} = 2 - \frac{1}{\alpha_i}, \quad \beta_{i+1} = -2 - \frac{1}{\beta_i}$

4. 左対称構造の定義

双線形積 $\Delta_{(\alpha,\beta)}: T^*\mathfrak{g} \times T^*\mathfrak{g} \to T^*\mathfrak{g}$ を定義する： $t \Delta_{(\alpha,\beta)} e_{i+1} = \alpha_i e_i, \quad e_{i+1} \Delta_{(\alpha,\beta)} t = (-1+\alpha_i)e_i$ $t \Delta_{(\alpha,\beta)} f_{i+1} = \beta_i f_i, \quad f_{i+1} \Delta_{(\alpha,\beta)} t = (1+\beta_i)f_i$ $e_{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$

技術的革新点

漸化数列の巧妙な設計：特定の漸化式を満たすパラメータ数列を通じて、左対称性条件の充足を確保する
完全性の保証：右乗算作用素がすべて冪零となるように構成することで、左対称構造の完全性を保証する
同型条件の精密な特徴付け：2つの左対称構造が同型となるための必要十分条件を与え、これは分類の鍵となる

主要結果

定理3.1（存在性）

双線形積 $\Delta_{(\alpha,\beta)}$ は $T^*\mathfrak{g}$ 上の完全左対称構造である。

定理3.2（分類定理）

初期値 $\alpha_1=\alpha, \beta_1=\beta$ および $\alpha'_1=\alpha', \beta'_1=\beta'$ で決定される数列 $\{\alpha_i\}, \{\beta_i\}$ と $\{\alpha'_i\}, \{\beta'_i\}$ を設定する。適切な条件下で、2つの左対称構造 $\Delta_{(\alpha,\beta)}$ と $\Delta_{(\alpha',\beta')}$ が同型であるための必要十分条件は、以下の条件のいずれかが成立することである：

(i) $\alpha = \alpha'$ かつ $\beta = \beta'$ (ii) すべての $i = 1,\ldots,n-1$ に対して、 $\alpha_i = -\beta'_i$ かつ $\beta_i = -\alpha'_i$

系3.3（無限性）

任意の整数 $n \geq 2$ に対して、 $n$ 段冪零リー代数 $T^*\mathfrak{g}$ は非可算個の相互に非同型な完全左対称構造を認める。

シンプレクティック幾何への応用

シンプレクティック構造の構成

$\lambda \notin \mathbb{Z}$ に対して、シンプレクティック構造を定義する： $\omega_\lambda = t^* \wedge z^* + \sum_{i=1}^n \lambda_i e_i^* \wedge f_{n-i+1}^*$ ここで $\lambda_i = \lambda - i + 1$ である。

補題4.5（対応関係）

$\omega_\lambda$ によって誘導される左対称構造 $\Delta_{\omega_\lambda}$ は $\Delta_{(\alpha,\beta)}$ と一致する。ここで： $\alpha = \frac{\lambda-1}{\lambda}, \quad \beta = -\frac{\lambda-n+2}{\lambda-n+1}$