2025-11-15T08:28:11.663592

Bismut Ricci flat manifolds with symmetries

PodestÃ , Raffero

We construct examples of compact homogeneous Riemannian manifolds admitting an invariant Bismut connection that is Ricci flat and non-flat, proving in this way that the generalized Alekseevsky-Kimelfeld theorem does not hold. The classification of compact homogeneous Bismut Ricci flat spaces in dimension $5$ is also provided. Moreover, we investigate compact homogeneous spaces with non trivial third Betti number, and we point out other possible ways to construct Bismut Ricci flat manifolds. Finally, since Bismut Ricci flat connections correspond to fixed points of the generalized Ricci flow, we discuss the stability of some of our examples under the flow.

academic

Bismut Ricci flat manifolds with symmetries

基本信息

论文ID: 2202.00417
标题: Bismut Ricci flat manifolds with symmetries
作者: Fabio Podestà, Alberto Raffero
分类: math.DG (微分几何)
发表时间: 2022年2月1日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2202.00417

摘要

本文构造了紧致齐性黎曼流形的例子，这些流形承认不变的Bismut连接，该连接是Ricci平坦但非平坦的，从而证明了广义Alekseevsky-Kimelfeld定理不成立。文章还提供了5维紧致齐性Bismut Ricci平坦空间的分类。此外，研究了具有非平凡第三Betti数的紧致齐性空间，并指出了构造Bismut Ricci平坦流形的其他可能方法。最后，由于Bismut Ricci平坦连接对应于广义Ricci流的不动点，文章讨论了某些例子在该流下的稳定性。

研究背景与动机

核心问题

本文要解决的核心问题是：是否存在齐性黎曼流形承认不变的Bismut连接，该连接是Ricci平坦但非平坦的？

这个问题源于García-Fernández和Streets提出的问题：给定齐性黎曼流形(M,g,H)，其中H不变且Bismut Ricci曲率为零，相关的Bismut连接是否一定是平坦的？

问题的重要性

广义几何理论：Bismut连接在广义黎曼几何中起核心作用，与精确Courant代数胚上的广义度量自然关联
理论物理应用：这些连接在理论和数学物理中具有重要意义，特别是在二维非线性σ模型的重整化群流中
几何流理论：Bismut Ricci平坦对对应广义Ricci流的不动点，对理解几何流的行为至关重要

现有方法的局限性

已知的标准例子（如紧致单纯李群上的双不变度量）对应的Bismut连接都是平坦的
经典的Alekseevsky-Kimelfeld定理表明每个齐性Ricci平坦流形都是平坦的，但对Bismut连接的推广尚未得到验证

核心贡献

构造反例：构造了紧致齐性黎曼流形 $M_{p,q}$ 的族，承认不变的BRF对 $(g,H)$ ，其对应的Bismut连接非平坦
否定广义定理：证明了广义Alekseevsky-Kimelfeld定理不成立
完整分类：提供了5维紧致齐性Bismut Ricci平坦空间的完整分类
稳定性分析：研究了所构造例子在广义Ricci流下的稳定性
一般化构造：展示了Kobayashi构造在广义Einstein流形中的应用

方法详解

任务定义

寻找紧致齐性黎曼流形 $(M,g)$ 和3-形式 $H$ ，使得：

$H$ 是 $g$ -调和的： $dH = 0$ 且 $\delta_g H = 0$
Ricci张量满足： $\text{Ric}^g = \frac{1}{4}H^2$
相应的Bismut连接 $\nabla = \nabla^g + \frac{1}{2}g^{-1}H$ 是Ricci平坦但非平坦的

核心构造方法

1. 齐性空间的选择

基于定理2.1的分析，对于具有 $b_3(M) \geq 1$ 的紧致齐性空间 $M = G/K$ ：

若 $G$ 是单纯的，则 $K$ 必须是有限的
若 $G$ 是两个单纯因子的局部乘积，则李代数 $k$ 要么包含在某个因子中，要么在两个因子中都有同构像

5维情况的分类

通过系统分析，证明了5维紧致齐性流形承认不变BRF对当且仅当：

$M$ 被紧致李群有限覆盖，或
$M$ 被 $SU(2)^2/T^1$ 有限覆盖，其中 $T^1$ 对角嵌入 $SU(2)^2$

2. 具体构造 $M_{p,q}$

定义齐性空间： $M_{p,q} := (SU(2) \times SU(2))/K_{p,q}$ 其中 $K_{p,q} := \{(\text{diag}(z^p, z^{-p}), \text{diag}(z^q, z^{-q})) \in SU(2)^2 | z \in T^1\}$

对于 $p \geq q \geq 1$ 且 $\gcd(p,q) = 1$ 。

3. BRF对的构造

在李代数 $\mathfrak{g} = \mathfrak{su}(2) \oplus \mathfrak{su}(2)$ 中选择基： $e_1 = (qH, -pH), e_2 = (E,0), e_3 = (V,0), e_4 = (0,E), e_5 = (0,V)$

情况1： $p \neq q$

不变3-形式： $H = q e^{123} + p e^{145}$
不变度量：具有参数 $(\mu, a, b)$ 的对角形式
BRF条件给出唯一解： $\mu = \sqrt{2}(p^2 + q^2), \quad a = \sqrt{\frac{q^2}{p^2 + q^2}}, \quad b = \sqrt{\frac{p^2}{p^2 + q^2}}$

情况2： $p = q = 1$

不变形式空间更大，包含非对角项
通过复杂计算确定BRF对的存在性和局部唯一性

技术创新点

系统的维数分析：通过分析等距群的维数和等温子群的结构，系统地排除了不可能的情况
Koszul公式的应用：利用Koszul公式计算不变形式的微分，确定闭合条件
Ricci张量的精确计算：使用齐模公式计算齐性空间上的Ricci张量
代数方程组的求解：将BRF条件转化为代数方程组并求解

实验设置

理论验证方法

由于这是纯数学理论研究，"实验"主要指理论计算和验证：

几何量的计算：
- Ricci张量的分量计算
- 3-形式的Hodge对偶计算
- $H^2$ 张量的分量计算
方程组求解：
- 调和条件： $dH = 0$ , $\delta_g H = 0$
- BRF条件： $\text{Ric}^g = \frac{1}{4}H^2$
平坦性检验：
- 验证构造的Bismut连接确实非平坦
- 利用已知结果排除平坦情况

$M$ 被紧致李群有限覆盖，或
$M$ 被 $SU(2)^2/T^1$ 有限覆盖

定理3.3（具体构造）

对于 $M_{p,q}$ ：

当 $p \neq q$ 时： $G$ -不变BRF对的空间 $\mathcal{B}(M_{p,q})^G = \mathbb{R}^+(g_o, H_o)$
当 $p = q = 1$ 时：在适当邻域内，BRF对局部唯一（up to scaling）

关键性质验证

非平坦性：所有 $M_{p,q}$ 都不承认Bismut平坦连接
非Einstein性：度量 $g_o$ 不是Einstein度量
非平行性：3-形式 $H_o$ 关于Bismut连接不平行

稳定性分析（第4节）

对于 $p \neq q$ 的情况，研究广义Ricci流： $\frac{\partial}{\partial t}g_t = -2\text{Ric}^{g_t} + \frac{1}{2}H_t^2, \quad \frac{\partial}{\partial t}b_t = -\delta_{g_t}H_t$