2025-11-20T17:22:15.669360

The completeness problem on 3-dimensional non-unimodular Lie groups

Chaib, Ferreira

We consider the completeness problem for left-invariant Lorentzian metrics on 3-dimensional non-unimodular Lie groups, all of which have Lie algebra of the form $\mathbb{R} \ltimes_A \mathbb{R}^2$, where $A$ is a real $2 \times 2$ matrix with nonzero trace. The case where $A$ is not diagonalizable over $\mathbb{C}$ was addressed in previous work by the authors, and the limiting case where $A$ is a scalar multiple of the identity is also known from the literature. In this paper, we determine all geodesically (in)complete left-invariant Lorentzian metrics for all other cases where $A$ is diagonalizable over $\mathbb{R}$. Additionally, we show that, when $A$ is diagonalizable over $\mathbb{C}$ but not over $\mathbb{R}$, there exists at least one incomplete metric. As a consequence of prior work and our results, we obtain that every 3-dimensional non-unimodular Lie group admits an incomplete left-invariant Lorentzian metric.

academic

3次元非ユニモジュラーリー群における完備性問題

基本情報

論文ID: 2504.10998
タイトル: The completeness problem on 3-dimensional non-unimodular Lie groups
著者: Salah Chaib, Ana Cristina Ferreira
分類: math.DG（微分幾何学）
発表日時: 2025年10月14日（arXivプレプリント）
論文リンク: https://arxiv.org/abs/2504.10998

要約

本論文は、3次元非ユニモジュラーリー群上の左不変ローレンツ計量の完備性問題を研究している。これらのリー群のリー代数はすべて $\mathbb{R} \ltimes_A \mathbb{R}^2$ の形式を持ち、ここで $A$ はトレースが非ゼロの実 $2 \times 2$ 行列である。著者らは先行研究で $A$ が複素数体上で対角化不可能な場合を扱い、文献では $A$ が恒等行列のスカラー倍である極限情況が既知である。本論文は、 $A$ が実数体上で対角化可能なすべての他の場合における左不変ローレンツ計量の測地完備性を決定する。さらに、 $A$ が複素数体上で対角化可能だが実数体上では対角化不可能な場合、少なくとも1つの不完備計量が存在することを証明する。先行研究と本論文の結果を組み合わせると、すべての3次元非ユニモジュラーリー群に不完備な左不変ローレンツ計量が存在することが導かれる。

研究背景と動機

問題の核心: 本研究が解決しようとする核心問題は、与えられた3次元リー群 $G$ に対して、どの左不変ローレンツ計量が測地完備であるかという問題である。
問題の重要性:
- 測地完備性はローレンツ幾何学における基本概念であり、時空の因果構造に関連している
- 3次元の場合は高次元の場合を理解するための基礎である
- 非ユニモジュラーリー群の分類は体系的研究のための枠組みを提供する
既存研究の限界:
- BM08はすべての3次元ユニモジュラーリー群の完備性問題を解決している
- 非ユニモジュラーの場合、以前は特殊な場合のみが扱われていた
- 実数体上で対角化可能な場合の完全な分類が欠けていた
研究動機:
- 3次元非ユニモジュラーリー群の完備性問題の完全な分類を完成させる
- 体系的な理論的枠組みを確立する
- 高次元の場合の研究のための基礎を築く

核心的貢献

完全な分類: リー代数 $h(\lambda)$ ( $|λ| < 1$ ) 上のすべてのローレンツ計量の測地完備性を決定した
極限情況の分析: $λ = ±1$ の極限リー代数の場合を扱った
存在性結果: 複素数体上で対角化可能だが実数体上では対角化不可能な場合における不完備計量の存在性を証明した
統一性定理: すべての3次元非ユニモジュラーリー群に不完備な左不変ローレンツ計量が存在することを証明した
技術的ツール: オイラー・アーノルド形式主義に基づく体系的分析方法を発展させた

方法の詳細

タスク定義

3次元非ユニモジュラーリー群 $G = \mathbb{R} \ltimes_A \mathbb{R}^2$ 上の左不変ローレンツ計量の測地完備性を研究する。ここで $A$ はトレースが非ゼロの実 $2 \times 2$ 行列である。

理論的枠組み

1. オイラー・アーノルド形式主義

オイラー・アーノルド定理を利用して、リー群上の測地流問題をリー代数上のベクトル場の流問題に変換する： $\dot{v}(t) = \text{ad}^\dagger_{v(t)} v(t)$ ここで $\text{ad}^\dagger$ は計量 $q$ に関する伴随写像の転置である。

2. リー代数の分類

行列 $A$ のジョルダン標準形に従って、リー代数族を得る：

$h(\lambda)$ : $|λ| ≤ 1$ 、括弧関係は $[e_1, e_2] = e_2$ , $[e_1, e_3] = λe_3$
特殊な場合： $λ = 0$ は $\text{aff}(\mathbb{R}) ⊕ \mathbb{R}$ に対応

3. 計量の標準形

自己同型群 $\text{Aut}(h(λ))$ の作用を利用して、計量を12種類の標準形 $Q_k$ に分類する：

$\text{Aut}(h(λ)) = \left\{\begin{pmatrix} 1 & 0 & 0 \\ a & c & 0 \\ b & 0 & d \end{pmatrix} : a,b,c,d ∈ \mathbb{R}, c,d ≠ 0\right\}$

技術的革新点

体系的分析: 自己同型群の作用を通じた計量の完全な分類
不変平面技術: 測地場の不変平面を利用した分析の簡略化
第一積分法: 線形および二次の第一積分を構成して完備性を判定
冪零部分分析: 不完備性をもたらす冪零元素の識別

主要な結果

定理1.1（ $\text{aff}(\mathbb{R}) ⊕ \mathbb{R}$ の場合）

中心を $z = \text{span}\{e_3\}$ 、導出部分代数を $d = \text{span}\{e_2\}$ とすると：

(a) $z$ が空間型である場合、計量は不完備であり冪零元が存在する
(b) $z$ が時間型である場合、計量は完備であり、すべての積分曲線は有界である
(c) $z$ $z$ が光型である場合：
- (c.1) $z$ と $d$ が直交していない場合、不完備であり冪零元が存在しない
- (c.2) $z$ と $d$ が直交している場合、完備であり、非自明な積分曲線は無界である

定理1.2（ $h(λ)$ , $0 < |λ| < 1$ の場合）

計量 $q$ が測地完備であることと、 $e_3$ が時間型であり $e_2$ が空間型でないことは同値である。さらに：

(a) $e_3$ が時間型で $e_2$ が時間型の場合、すべての積分曲線は有界である
(b) $e_3$ が時間型で $e_2$ が光型の場合、無界な積分曲線が存在する

定理1.3（普遍的不完備性）

すべての3次元非ユニモジュラーリー代数に不完備なローレンツ計量が存在する。

実験設定と結果

分析方法

計量標準形の計算: 自己同型群の作用を通じて12種類の標準形を得る
測地場の構成: オイラー・アーノルド形式主義を利用して各標準形の測地場を計算
完備性の判定:
- 冪零元を通じた不完備情況の識別
- 正定二次第一積分による完備性の証明
- 補題2.1を通じた特殊な不完備情況の処理

主要な発見

リー代数の種類	完備計量の条件	不完備な場合
$\text{aff}(\mathbb{R}) ⊕ \mathbb{R}$	$e_3$ が時間型	$e_3$ が空間型または特殊な光型
$h(λ)$ , $0 <	λ	< 1$
$h(1)$	なし	すべてのローレンツ計量
$h(-1)$	特殊な場合	ほとんどの計量