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

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

基本信息

论文ID: 2504.10998
标题: The completeness problem on 3-dimensional non-unimodular Lie groups
作者: Salah Chaib, Ana Cristina Ferreira
分类: math.DG (微分几何)
发表时间: October 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2504.10998

摘要

本文研究3维非单模李群上左不变洛伦兹度量的完备性问题。这些李群的李代数都具有形式 $\mathbb{R} \ltimes_A \mathbb{R}^2$ ，其中 $A$ 是迹非零的实 $2 \times 2$ 矩阵。作者在之前工作中已处理了 $A$ 在复数域上不可对角化的情况，文献中也已知 $A$ 为恒等矩阵标量倍数的极限情况。本文确定了 $A$ 在实数域上可对角化的所有其他情况下左不变洛伦兹度量的测地完备性。此外，还证明了当 $A$ 在复数域上可对角化但在实数域上不可对角化时，至少存在一个不完备度量。结合之前的工作和本文结果，得出每个3维非单模李群都存在不完备的左不变洛伦兹度量。

研究背景与动机

问题核心: 该研究要解决的核心问题是：给定一个3维李群G，其哪些左不变洛伦兹度量是测地完备的？
问题重要性:
- 测地完备性是洛伦兹几何中的基本概念，关系到时空的因果结构
- 3维情况是理解高维情况的基础
- 非单模李群的分类为系统研究提供了框架
现有研究局限:
- BM08已解决所有3维单模李群的完备性问题
- 对于非单模情况，之前只处理了部分特殊情况
- 缺乏对实数域可对角化情况的完整分类
研究动机:
- 完成3维非单模李群完备性问题的完整分类
- 建立系统的理论框架
- 为高维情况的研究奠定基础

核心贡献

完整分类: 确定了李代数 $h(\lambda)$ ( $|λ| < 1$ ) 上所有洛伦兹度量的测地完备性
极限情况分析: 处理了 $λ = ±1$ 的极限李代数情况
存在性结果: 证明了复数域可对角化但实数域不可对角化情况下不完备度量的存在性
统一性定理: 证明了每个3维非单模李群都存在不完备的左不变洛伦兹度量
技术工具: 发展了基于Euler-Arnold形式主义的系统分析方法

$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\}$

技术创新点

系统化分析: 通过自同构群作用实现度量的完整分类
不变平面技术: 利用测地场的不变平面简化分析
首积分方法: 构造线性和二次首积分判断完备性
幂零子分析: 识别导致不完备性的幂零元素

主要结果

Theorem 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$ 正交，则完备且非平凡积分曲线无界

Theorem 1.2 ( $h(λ)$ , $0 < |λ| < 1$ 情况)

度量 $q$ 测地完备当且仅当 $e_3$ 是时间型且 $e_2$ 不是空间型。进一步：

(a) 若 $e_3$ 时间型且 $e_2$ 时间型，则所有积分曲线有界
(b) 若 $e_3$ 时间型且 $e_2$ 光型，则存在无界积分曲线

度量标准形计算: 通过自同构群作用得到12种标准形
测地场构造: 利用Euler-Arnold形式主义计算每种标准形的测地场
完备性判断:
- 通过幂零元识别不完备情况
- 通过正定二次首积分证明完备性
- 通过Lemma 2.1处理特殊不完备情况

主要发现

李代数类型	完备度量条件	不完备情况
$\text{aff}(\mathbb{R}) ⊕ \mathbb{R}$	$e_3$ 时间型	$e_3$ 空间型或特殊光型
$h(λ)$ , $0 <	λ	< 1$
$h(1)$	无	所有洛伦兹度量
$h(-1)$	特殊情况	大部分度量