A note on almost abelian groups with constant holomorphic sectional curvature
Yulu Li, Fangyang Zheng
TL;DR
This work investigates the constant holomorphic sectional curvature problem within Lie-Hermitian manifolds, focusing on compact quotients $M=G/\Gamma$ with left-invariant complex structure $J$ and metric $g$. It establishes the conjecture for two structural classes of the underlying Lie algebra: almost abelian and those containing a $J$-invariant abelian ideal of codimension $2$, showing that constant curvature $c$ forces flatness ($c=0$) with Chern-flat or Levi-Civita-flat outcomes (the Levi-Civita case requires unimodularity). The Chern-flat results hold without unimodularity, while the Levi-Civita results rely on unimodularity; a non-unimodular counterexample with negative curvature illustrates limitations in the non-Kähler setting. Together, these results advance the understanding of the conjecture by validating it in broad, nontrivial Lie-homogeneous contexts and clarifying the roles of torsion and unimodularity in determining flatness.
Abstract
A long-standing conjecture in non-Kähler geometry states that if the Chern (or Levi-Civita) holomorphic sectional curvature of a compact Hermitian manifold is a constant $c$, then the metric must be Kähler when $c\neq 0$ and must be Chern (or Levi-Civita) flat when $c=0$. The conjecture is known to be true in dimension 2 by the work of Balas-Gauduchon, Sato-Sekigawa, and Apostolov-Davidov-Muskarov in the 1980s and 1990s. In dimension 3 or higher, the conjecture is still open except in some special cases, such as for all twistor spaces by Davidov-Grantcharov-Muskarov, for locally conformally Kähler manifolds (when $c\leq 0$) by Chen-Chen-Nie, etc. In this short note, we consider compact quotients $G/Γ$ where $G$ is a Lie group equipped with a left-invariant complex structure and a compatible left-invariant metric, and $Γ$ is a discrete subgroup. We confirm the conjecture when the Lie algebra ${\mathfrak g}$ of $G$ either is almost abelian, or contains a $J$-invariant abelian ideal of codimension 2.
