[論文レビュー] Uniqueness of ad-invariant metrics

Diego Conti, Viviana del Barco+1 more|arXiv (Cornell University)|Mar 30, 2021

Geometry and complex manifolds参考文献 32被引用数 4

ひとこと要約

この論文は、自己同型とスケーリングに関して、リー代数上の広義不変計量の一意性について調べており、複素リー代数がそのような計量を一意にもつことと、その余接代数が一意に持つことの必要十分条件を確立している。主な貢献は、余接代数上の計量の一意性が元のリー代数が可解であることを強制することの証明であり、ニコライエフスキー微分作用素と新しい計量対応物を用いた十分条件の提示である。一意性は、次元 ≤6 の非可約可解リー代数および次元 ≤10 の実ノルム的リー代数において成立する。

ABSTRACT

We consider Lie algebras admitting an ad-invariant metric, and we study the problem of uniqueness of the ad-invariant metric up to automorphisms. This is a common feature in low dimensions, as one can observe in the known classification of nilpotent Lie algebras of dimension $\leq 7$ admitting an ad-invariant metric. We prove that uniqueness of the metric on a complex Lie algebra $\mathfrak{g}$ is equivalent to uniqueness of ad-invariant metrics on the cotangent Lie algebra $T^*\mathfrak{g}$; a slightly more complicated equivalence holds over the reals. This motivates us to study the broader class of Lie algebras such that the ad-invariant metric on $T^*\mathfrak{g}$ is unique. We prove that uniqueness of the metric forces the Lie algebra to be solvable, but the converse does not hold, as we show by constructing solvable Lie algebras with a one-parameter family of inequivalent ad-invariant metrics. We prove sufficient conditions for uniqueness expressed in terms of both the Nikolayevsky derivation and a metric counterpart introduced in this paper. Moreover, we prove that uniqueness always holds for irreducible Lie algebras which are either solvable of dimension $\leq 6$ or real nilpotent of dimension $\leq 10$.

研究の動機と目的

• リー代数が自己同型とスケーリングに関して一意な広義不変計量を持つ条件を特定すること。
• リー代数上の広義不変計量の一意性とその余接代数上のそれとの関係を確立すること。
• ニコライエフスキー微分作用素と新たに導入された計量対応物を用いて、一意性の十分条件を同定すること。
• 特に非可約可解代数およびノルム的代数において、一意性が成立する場合を分類すること。
• 単体性（solitary property）が削減、複素化、余接構成の下でどのように振る舞うかを調査すること。

提案手法

• 『単体的（solitary）計量』の概念を導入し、すべての自己随伴広義不変写像が導出作用素の自己随伴部に一致することを定義する。
• リー代数が単体的であることと、その余接代数が単体的であることの必要十分条件を証明し、一意性問題を余接構成に結びつける。
• 広義不変計量を持つリー代数の構造を解析するために、二重拡張手続きを用いる。
• ニコライエフスキー微分作用素を用いて、特にすべての固有値が正である場合に一意性の十分条件を導出する。
• σ対角計量を持つ「よい基底（nice bases）」の概念を用い、低次元の場合にニコライエフスキー微分作用素を明示的に計算する。
• 自己同型群の同調度1作用を用いて、スケーリングに関して1つまたは2つの計量を持つ場合を分類する。

実験結果

リサーチクエスチョン

• RQ1 リー代数上の広義不変計量の空間が、自己同型とスケーリングに関していつ一意的となるか？
• RQ2 リー代数上の広義不変計量の一意性は、その余接代数上のそれとどのように関係するか？
• RQ3 ニコライエフスキー微分作用素または新しい計量対応物にどのような条件が課されると、広義不変計量の一意性が保証されるか？
• RQ4 特に可解的またはノルム的なクラスのリー代数において、広義不変計量の一意性が成立する条件は何か？
• RQ5 単体性は、複素化、削減、または余接拡張の下で保存されるか？

主な発見

• 複素リー代数が自己同型に関して一意な広義不変計量を持つことと、その余接代数が同様に一意な計量を持つことは、必要十分条件である。
• リー代数上の広義不変計量の一意性は、その代数が可解であることを示唆するが、逆は成り立たない。これは、一意でない計量の1パラメータ族を持つ可解リー代数の構成によって示された。
• 次元 ≤6 の非可約可解リー代数、または次元 ≤10 の実ノルム的リー代数では、広義不変計量は自己同型とスケーリングに関して一意的である。
• よいリー代数では、計量的ニコライエフスキー微分作用素が標準的ニコライエフスキー微分作用素と一致し、すべての固有値が正であれば、計量の一意性が保証される。
• 単体性は複素化と削減の下で保存される：実リー代数が単体的であることと、その複素化が単体的であることは同値であり、可約代数が単体的であることと、その因子がすべて単体的であることとは同値である。
• 任意のリー代数の余接代数には広義不変計量が存在し、元の代数の単体性とその余接代数の単体性は同値である。