arxiv: 2604.12538 · v1 · submitted 2026-04-14 · 🧮 math.DG

Recognition: unknown

Transversely K\"ahler almost contact metric Lie algebras

Bayram \c{S}ahin, Deniz Poyraz, Giulia Dileo

Pith reviewed 2026-05-10 14:30 UTC · model grok-4.3

classification 🧮 math.DG

keywords Lie algebrasalmost contact metric structurestransversely Kählerquasi-Sasakianη-EinsteinHeisenberg algebracontact formscentral extensions

0 comments

The pith

The Heisenberg Lie algebra is the only five-dimensional example admitting η-Einstein transversely Kähler almost contact structures that are not quasi-Sasakian.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies five-dimensional η-Einstein transversely Kähler almost contact metric Lie algebras of maximal rank where the one-form η is a contact form. When the center is trivial these structures are always α-Sasakian. When the center is nontrivial and the Kähler quotient is non-abelian the structures are quasi-Sasakian, and they become α-Sasakian precisely on central extensions of four-dimensional Kähler-Einstein Lie algebras. The central result is that up to isomorphism the Heisenberg Lie algebra h5 is the unique such algebra whose structures are not quasi-Sasakian, and that every five-dimensional anti-quasi-Sasakian Lie algebra is isomorphic to h5. A reader cares because the classification exhausts the possible algebraic models for these geometric structures in low dimension.

Core claim

Up to isomorphisms, the Heisenberg Lie algebra h5 is the only 5-dimensional Lie algebra admitting η-Einstein transversely Kähler structures which are not quasi Sasakian, including anti-quasi-Sasakian structures. In fact, any 5-dimensional anti-quasi-Sasakian Lie algebra is isomorphic to h5. The structures arise as 1-dimensional central extensions of Kähler Lie algebras via a symplectic form; when the center is trivial the structure is always α-Sasakian, and when the center is nontrivial but the quotient is non-abelian the structure is quasi-Sasakian.

What carries the argument

The 1-dimensional central extension of a Kähler Lie algebra by a symplectic form that induces a transversely Kähler almost contact metric structure of maximal rank on the five-dimensional extension.

If this is right

When the center is trivial the structure is necessarily α-Sasakian.
When the center is nontrivial and the Kähler quotient is non-abelian the structure is quasi-Sasakian, and α-Sasakian precisely on extensions of Kähler-Einstein four-dimensional Lie algebras.
No other five-dimensional Lie algebras admit η-Einstein transversely Kähler structures that fail to be quasi-Sasakian.
Every five-dimensional anti-quasi-Sasakian Lie algebra is isomorphic to the Heisenberg algebra h5.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same central-extension construction may yield analogous classifications in higher odd dimensions.
Nilpotent algebras such as the Heisenberg algebra appear to play a distinguished role among contact structures of this type.
Explicit matrix models of h5 can be used to produce concrete anti-quasi-Sasakian manifolds for further geometric study.
Removing the η-Einstein condition might permit additional five-dimensional examples.

Load-bearing premise

The almost contact metric structure must be of maximal rank with η a contact form on an exactly five-dimensional Lie algebra whose quotient by the center carries a Kähler structure.

What would settle it

Exhibiting a five-dimensional Lie algebra not isomorphic to h5 that carries an anti-quasi-Sasakian structure, or a non-quasi-Sasakian η-Einstein transversely Kähler structure outside the cases already listed.

read the original abstract

We study transversely K\"ahler almost contact metric Lie algebras $(\mathfrak{g},\varphi,\xi,\eta,g)$ such that the structure $1$-form $\eta$ is a contact form. They include both quasi Sasakian and anti-quasi-Sasakian Lie algebras of maximal rank. In the case where the center of the Lie algebra is nontrivial, they are $1$-dimensional central extensions of K\"ahler Lie algebras via a symplectic form. We investigate the $5$-dimensional case, obtaining a classification of $\eta$-Einstein transversely K\"ahler almost contact metric Lie algebras of maximal rank. If the center is trivial, the structure is always $\alpha$-Sasakian. If the center is nontrivial and the K\"ahler quotient $\mathfrak{g}/\mathfrak{z(g)}$ is not abelian, the structure is quasi Sasakian; it is $\alpha$-Sasakian on central extensions of K\"ahler-Einstein $4$-dimensional Lie algebras, and not conversely. Up to isomorphisms, the Heisenberg Lie algebra $\mathfrak{h}_5$ is the only $5$-dimensional Lie algebra admitting $\eta$-Einstein transversely K\"ahler structures which are not quasi Sasakian, including anti-quasi-Sasakian structures. In fact, we show that any $5$-dimensional anti-quasi-Sasakian Lie algebra is isomorphic to $\mathfrak{h}_5$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean case-by-case classification of 5D η-Einstein transversely Kähler almost contact metric Lie algebras, with the Heisenberg algebra h5 as the unique non-quasi-Sasakian example.

read the letter

The central result is that up to isomorphism the Heisenberg algebra h5 is the only 5-dimensional Lie algebra carrying an η-Einstein transversely Kähler almost contact metric structure that is not quasi-Sasakian, and that every 5D anti-quasi-Sasakian Lie algebra is isomorphic to h5. The authors reach this by splitting into cases on the dimension of the center and whether the quotient by the center is abelian, then using the standard 1-dimensional central extension of a 4D Kähler Lie algebra by a symplectic form together with the contact condition on η. When the center is trivial the structure must be α-Sasakian; when the center is nontrivial and the quotient non-abelian it is quasi-Sasakian, with the α-Sasakian subcase occurring precisely on central extensions of 4D Kähler-Einstein Lie algebras. The remaining anti-quasi-Sasakian and non-quasi-Sasakian η-Einstein cases collapse to h5. This is a modest but concrete addition to the existing program of classifying geometric structures on low-dimensional Lie algebras. The case distinction is straightforward and the logical skeleton shows no internal contradictions. The restriction to maximal rank and contact η is stated clearly, so the scope is not overstated. The only real limitation is that the classification is dimension-specific and relies on exhaustive enumeration of isomorphism classes in dimension 5; a reader would want to see the full case-by-case verification to confirm nothing was overlooked, but the approach itself is standard and reproducible. This work is aimed at specialists in contact geometry and geometric structures on Lie algebras who already care about transversely Kähler or Sasakian-type conditions. Someone looking for explicit low-dimensional test cases or uniqueness statements in this niche will find it useful. It is narrow enough that it will not interest a broad audience, but the claims are precise enough to merit a serious referee who can check the enumeration and the contact-form arguments.

Referee Report

1 major / 0 minor

Summary. The manuscript classifies 5-dimensional η-Einstein transversely Kähler almost contact metric Lie algebras of maximal rank. When the center is trivial the structure is α-Sasakian. When the center is nontrivial and the Kähler quotient is non-abelian the structure is quasi-Sasakian (in fact α-Sasakian on central extensions of 4-dimensional Kähler-Einstein Lie algebras). The Heisenberg algebra h5 is the unique (up to isomorphism) 5-dimensional Lie algebra admitting such structures that are not quasi-Sasakian; moreover every 5-dimensional anti-quasi-Sasakian Lie algebra is isomorphic to h5. The constructions are realized as 1-dimensional central extensions of 4-dimensional Kähler Lie algebras by symplectic forms.

Significance. If the case analysis is exhaustive, the result supplies a complete low-dimensional classification that cleanly separates quasi-Sasakian from anti-quasi-Sasakian examples and isolates the Heisenberg algebra as the sole non-quasi-Sasakian instance. This supplies concrete, explicitly described models that can serve as test cases for broader questions in contact and Sasakian geometry on Lie algebras.

major comments (1)

The central claim that h5 is the only 5-dimensional example outside the quasi-Sasakian class rests on an exhaustive case distinction according to dim z(g) and the abelianness of g/z(g). The manuscript should include an explicit enumeration (or reference to a known classification) of all 4-dimensional Kähler Lie algebras that admit symplectic forms yielding 5-dimensional central extensions, together with a verification that no other isomorphism classes arise.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive recommendation for minor revision, and the constructive suggestion. We address the major comment below.

read point-by-point responses

Referee: The central claim that h5 is the only 5-dimensional example outside the quasi-Sasakian class rests on an exhaustive case distinction according to dim z(g) and the abelianness of g/z(g). The manuscript should include an explicit enumeration (or reference to a known classification) of all 4-dimensional Kähler Lie algebras that admit symplectic forms yielding 5-dimensional central extensions, together with a verification that no other isomorphism classes arise.

Authors: We agree that making the underlying enumeration explicit will improve clarity and transparency of the case analysis. In the revised manuscript we will add a dedicated subsection (or short appendix) that enumerates all 4-dimensional Kähler Lie algebras admitting symplectic forms that produce 5-dimensional central extensions. The list is drawn from the standard classification of low-dimensional Lie algebras together with the known description of their Kähler structures; we will explicitly verify that the only isomorphism class yielding a non-quasi-Sasakian η-Einstein transversely Kähler structure is the Heisenberg algebra h5. This addition confirms the exhaustiveness of our distinction without changing any of the stated theorems or corollaries. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's core results consist of an exhaustive case-by-case classification of 5-dimensional Lie algebras equipped with transversely Kähler almost contact metric structures of maximal rank, proceeding by analyzing the dimension of the center z(g) and the abelianness of the quotient g/z(g). When z(g) is trivial the structure is forced to be α-Sasakian; when z(g) is nontrivial and the quotient non-abelian the structure is quasi-Sasakian; the remaining anti-quasi-Sasakian η-Einstein case collapses to the single isomorphism class h5. These conclusions rest on the standard 1-dimensional central-extension construction via a symplectic form on a 4-dimensional Kähler Lie algebra together with the contact condition, without any fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the claimed statements to their own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definitions of Lie algebras, almost contact metric structures, contact forms, transversely Kähler condition, and the η-Einstein curvature equation; no additional free parameters or invented entities are introduced.

axioms (2)

domain assumption A Lie algebra equipped with an almost contact metric structure (φ, ξ, η, g) where η is a contact form and the structure is transversely Kähler.
This is the primary object defined and studied throughout the abstract.
standard math The η-Einstein condition is a well-defined curvature equation on the given structure.
Invoked when restricting to the subclass whose classification is obtained.

pith-pipeline@v0.9.0 · 5568 in / 1546 out tokens · 64005 ms · 2026-05-10T14:30:17.740066+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On centerless unimodular contact Lie algebras
math.DG 2026-05 accept novelty 6.0

Centerless unimodular DS-contact Lie algebras are only sl(2,R) and su(2), with the Reeb vector's adjoint action nilpotent except in these cases.

Reference graph

Works this paper leans on

26 extracted references · cited by 1 Pith paper

[1]

Agricola, D

I. Agricola, D. Di Pinto, G. Dileo, G., M. Kuhrt,A new approach to the classification of almost contact metric manifolds via intrinsic endomorphisms, Differential Geom. Appl.103(2026), Paper No. 102346, 42 pp

2026
[2]

Andrada, A

A. Andrada, A. Fino, L. Vezzoni,A class of Sasakian5-manifolds, Transform. groups14(2009), no. 3, 493-512

2009
[3]

Andrada, S

A. Andrada, S. G. Chiossi, A. J. N´ u˜ nez Sullca,η-Einstein Sasakian Lie algebras, Manuscripta Math.177(2026), no. 1, Paper No. 12

2026
[4]

Bazzoni, A

G. Bazzoni, A. Gil-Garc´ ıa, A. Latorre,Symmetric and skew-symmetric complex structures, J. Geom. Phys.170(2021), Paper No. 104348, 14 pp

2021
[5]

D. E. Blair,The theory of quasi-Sasakian structures, J. Differential Geom.1(1967), 331-345

1967
[6]

D. E. Blair, Riemannian Geometry of Contact and Symplectic Manifolds, Second Edition. Progress in Mathematics203, Birkh¨ auser, Boston (2010)

2010
[7]

C. P. Boyer, K. Galicki, Sasakian Geometry. Oxford University Press, Oxford (2008)

2008
[8]

C. P. Boyer, K. Galicki, P. Matzeu,Onη-Einstein Sasakian geometry, Comm. Math. Phys.262 (2006), no. 1, 177–208

2006
[9]

Calvaruso, A

G. Calvaruso, A. Fino,Five-dimensionalK-contact Lie algebras, Monatsh. Math.167(2012), no. 1, 35–59

2012
[10]

Cappelletti-Montano, A

B. Cappelletti-Montano, A. De Nicola, J. C. Marrero, I. Yudin,Almost formality of quasi-Sasakian and Vaisman manifolds with applications to nilmanifolds, Israel J. Math.241(2021), no. 1, 37–87

2021
[11]

Chinea, C

D. Chinea, C. Gonzalez,A classification of almost contact metric manifolds, Ann. Mat. Pura Appl. (IV)CLVI(1990), 15-36

1990
[12]

L. C. de Andr´ es, M. Fernandez, A. Fino, L. Ugarte,Contact5-manifolds withSU(2)-structure, Q. J. Math.60(4) (2009), 429-459

2009
[13]

Di Pinto,On anti-quasi-Sasakian manifolds of maximal rank, J

D. Di Pinto,On anti-quasi-Sasakian manifolds of maximal rank, J. Geom. Phys.200(2024), Paper no. 105174, 10 pp

2024
[14]

Di Pinto, G

D. Di Pinto, G. Dileo,Anti-quasi-Sasakian manifolds, Ann. Global Anal. Geom.64(2023), Article no. 5, 35 pp

2023
[15]

Diatta,Left invariant contact structures on Lie groups, Differential Geom

A. Diatta,Left invariant contact structures on Lie groups, Differential Geom. Appl.26(2008), no. 5, 544–552

2008
[16]

Diatta,Riemannian geometry on contact Lie groups, Geom

A. Diatta,Riemannian geometry on contact Lie groups, Geom. Dedicata133(2008), 83–94

2008
[17]

Hano,On Kaehlerian homogeneous spaces of unimodular Lie groups, Amer

J. Hano,On Kaehlerian homogeneous spaces of unimodular Lie groups, Amer. J. Math.79(1957), 885–900

1957
[18]

Kanemaki,Quasi-Sasakian manifolds, Tˆ ohoku Math

S. Kanemaki,Quasi-Sasakian manifolds, Tˆ ohoku Math. J.29(1977), 227-233

1977
[19]

Loiudice, A

E. Loiudice, A. Lotta,On five dimensional Sasakian Lie algebras with trivial center, Osaka J. Math.55(2018), no. 1, 39–49

2018
[20]

Ovando,Four dimensional symplectic Lie algebras, Beitr¨ age Algebra Geom.47(2006), no

G. Ovando,Four dimensional symplectic Lie algebras, Beitr¨ age Algebra Geom.47(2006), no. 2, 419–434. 24

2006
[21]

Ovando,Invariant pseudo-K¨ ahler metrics in dimension four, J

G. Ovando,Invariant pseudo-K¨ ahler metrics in dimension four, J. Lie Theory16(2006), no. 2, 371–391

2006
[22]

Perrone, L

D. Perrone, L. Vanhecke,Five-dimensional homogeneous contact manifolds and related problems, Tˆ ohoku Math. J.43(1991), no. 2, 243–248

1991
[23]

Sasaki,On differentiable manifolds with certain structures which are closely related to almost contact structures I, Tˆ ohoku Math

S. Sasaki,On differentiable manifolds with certain structures which are closely related to almost contact structures I, Tˆ ohoku Math. J.,12(1960), 459–476

1960
[24]

Sasaki, Y

S. Sasaki, Y. Hatakeyama,On differentiable manifolds with certain structures which are closely related to almost contact structures II, Tˆ ohoku Math. J.13(1961), 281–294

1961
[25]

Tomassini, L

A. Tomassini, L. Vezzoni,Contact Calabi-Yau manifolds and special Legendrian submanifolds, Osaka J. Math.45(2008), 127-147

2008
[26]

M. Yano, M. Kon, Structures on manifolds. Series in Pure Mathematics3, World Scientific, Singapore (1984). Giulia Dileo Dipartimento di Matematica, Universit` a degli Studi di Bari Aldo Moro, Via E. Orabona 4, 70125 Bari, Italy giulia.dileo@uniba.it Deniz Poyraz Department of Mathematics, Ege University, Izmir, Turkiye deniz.poyraz@ege.edu.tr Bayram S ¸ah...

1984