arxiv: 2605.09178 · v1 · submitted 2026-05-09 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

On centerless unimodular contact Lie algebras

Agust\'in Garrone

Pith reviewed 2026-05-12 02:37 UTC · model grok-4.3

classification 🧮 math.DG

keywords contact Lie algebrasunimodularcenterlessReeb vectornilpotent actionDS-contact Lie algebrasSasakian Lie algebrasdimension five

0 comments

The pith

In transversely unimodular contact Lie algebras the adjoint action of the Reeb vector is nilpotent except for sl(2,R) and su(2).

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

The paper shows that for any transversely unimodular contact Lie algebra the adjoint action of the Reeb vector must be nilpotent, except in the cases where the algebra is isomorphic to sl(2,R) or su(2). By introducing DS-contact Lie algebras as a class that includes all K-contact Lie algebras, the result implies that these are the only centerless unimodular examples in the broader class. This also recovers the classification for Sasakian Lie algebras as a special case and extends other properties known for them. The paper further classifies DS-contact Lie algebras in five dimensions and explores consequences for the contact Lefschetz condition.

Core claim

In a transversely unimodular contact Lie algebra the adjoint action of the Reeb vector is nilpotent except when the Lie algebra is isomorphic to either sl(2,R) or su(2). Introducing the class of DS-contact Lie algebras, which contains all K-contact Lie algebras, it follows that the only centerless unimodular examples in this class are precisely sl(2,R) and su(2). This gives an alternative proof of the previously known fact that centerless unimodular Sasakian Lie algebras are isomorphic to either sl(2,R) or su(2), while generalizing additional results from the Sasakian setting.

What carries the argument

The nilpotency of the adjoint action of the Reeb vector under transverse unimodularity, which restricts centerless unimodular examples within the DS-contact class to the two simple Lie algebras sl(2,R) and su(2).

Load-bearing premise

The contact Lie algebra is transversely unimodular and belongs to the DS-contact class defined in the paper.

What would settle it

A centerless unimodular DS-contact Lie algebra not isomorphic to sl(2,R) or su(2), or one in which the adjoint action of the Reeb vector fails to be nilpotent, would disprove the classification.

read the original abstract

We provide an elementary proof that, in a (transversely) unimodular contact Lie algebra, the adjoint action of the Reeb vector is nilpotent except when the Lie algebra is isomorphic to either $\mathfrak{sl}(2,\mathbb{R})$ or $\mathfrak{su}(2)$. We introduce a class of contact Lie algebras, called \textit{DS-contact Lie algebras}, containing all K-contact Lie algebras, and deduce from the previous result that the only centerless unimodular examples in this class are precisely $\mathfrak{sl}(2,\mathbb{R})$ and $\mathfrak{su}(2)$. This gives an alternative proof of the previously known fact that centerless unimodular Sasakian Lie algebras are isomorphic to either $\mathfrak{sl}(2,\mathbb{R})$ or $\mathfrak{su}(2)$. Some other results known to hold for Sasakian Lie algebras are generalized as well. We investigate several properties of DS-contact Lie algebras in relation to Frobenius Lie algebras, and also classify them in dimension five. Some implications for the contact Lefschetz condition are explored.

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

This paper defines DS-contact Lie algebras and shows the only centerless unimodular ones are sl(2,R) and su(2), with an exhaustive dimension-five list.

read the letter

The main point is that this paper introduces DS-contact Lie algebras as a class containing K-contact ones and proves that the only centerless unimodular examples are sl(2,R) and su(2). It also gives a complete classification in dimension five. The new content is the definition of this class and the elementary argument showing that the adjoint action of the Reeb vector must be nilpotent in any transversely unimodular contact Lie algebra, with the two exceptions. This immediately yields the classification inside the DS-contact family and recovers the known Sasakian result as a corollary. They also extend some other properties from the Sasakian setting to this broader class and explore links to Frobenius Lie algebras. What the paper does well is keep the reasoning straightforward and based directly on the definitions of contact forms, Reeb vectors, and transverse unimodularity. The logic chain is clear, and they verify that the two exceptional algebras satisfy the conditions. The dimension-five list adds concrete examples that organize the landscape in a narrow but useful way. The soft spots are not severe. The DS-contact class is introduced specifically for this purpose, so it might not have immediate applications beyond the results here, though that is common in classification work. The classification is only in low dimension, which limits its reach but matches the paper's scope. No issues with circularity or unstated assumptions appear in the argument. This paper is for people already working on contact structures on Lie algebras, Sasakian geometry, or low-dimensional classifications in differential geometry. A reader looking for new examples or alternative proofs in this subfield will find it worthwhile. It is coherent and engages honestly with the literature on these topics. I would send it to peer review. The central result is supported by an elementary proof, and the classification provides verifiable content that advances the organization of these algebras.

Referee Report

0 major / 2 minor

Summary. The paper provides an elementary proof that in any transversely unimodular contact Lie algebra the adjoint action of the Reeb vector is nilpotent except when the algebra is isomorphic to sl(2,R) or su(2). It introduces the class of DS-contact Lie algebras (containing all K-contact Lie algebras), deduces that the only centerless unimodular examples in this class are precisely these two algebras, and obtains an alternative proof of the corresponding statement for Sasakian Lie algebras. Additional results include generalizations of known Sasakian properties, a classification of DS-contact Lie algebras in dimension five, and some implications for the contact Lefschetz condition.

Significance. The elementary character of the nilpotency argument and the subsequent classification within the broader DS-contact class constitute a clear advance; the dimension-five classification supplies concrete, verifiable examples that can be checked directly. The alternative proof for the Sasakian case and the generalization of several structural results are useful contributions to contact geometry on Lie algebras.

minor comments (2)

[§2] §2: the precise relation between the newly introduced DS-contact condition and the transverse unimodularity hypothesis could be stated as a numbered lemma to make the deduction in §3 easier to follow.
[Table 1] Table 1 (dimension-five classification): the structure constants for the two exceptional algebras should be listed explicitly alongside the DS-contact examples to facilitate direct verification of the nilpotency claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation to accept. The summary accurately captures the main contributions, including the elementary nilpotency proof, the introduction of DS-contact Lie algebras, the classification in dimension five, and the implications for Sasakian and contact Lefschetz structures.

Circularity Check

0 steps flagged

Derivation proceeds directly from definitions with no circular reduction

full rationale

The paper establishes nilpotency of ad(Reeb) via an elementary argument from the definitions of contact structures, transverse unimodularity, and the Reeb vector field, without any fitted parameters or self-referential constructions. The DS-contact class is introduced as a new superset of K-contact algebras, and the classification of centerless unimodular examples follows deductively from the nilpotency result within that class. The alternative proof for Sasakian Lie algebras references a known fact but does not load the central claim on self-citation; the exceptions sl(2,R) and su(2) are verified directly against the hypotheses. No steps reduce by construction to inputs, and the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the standard definition of a contact structure, the Reeb vector, transverse unimodularity, and the newly introduced DS-contact condition, together with the axioms of real Lie algebras.

axioms (2)

standard math Standard axioms of real Lie algebras and the definition of a contact 1-form with its Reeb vector
The paper operates entirely within the category of real Lie algebras equipped with contact structures.
domain assumption Transverse unimodularity condition on the contact Lie algebra
This is the key structural hypothesis used to prove nilpotency of the adjoint action.

invented entities (1)

DS-contact Lie algebra no independent evidence
purpose: A new class of contact Lie algebras that contains all K-contact Lie algebras and to which the nilpotency result applies
Defined in the paper to enlarge the scope beyond K-contact and Sasakian cases while preserving the conclusion.

pith-pipeline@v0.9.0 · 5483 in / 1621 out tokens · 85979 ms · 2026-05-12T02:37:31.597143+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 1.1: ... ad ξ ... nilpotent except ... sl(2,R) or su(2). ... DS-contact Lie algebras ... g = ker ad ξ ⊕ im ad ξ
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Proposition 3.1 ... t = Rξ implies g ≅ su(2) or sl(2,R)

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 1 internal anchor

[1]

Alekseevsky, K

D. Alekseevsky, K. Hasegawa, and Y. Kamishima. Homogeneous Sasaki and Vaisman manifolds of uni- modular Lie groups.Nagoya Math. J.243, 83–96 (2021). (Cited on pages 1 and 18.)

work page 2021
[2]

M. A. Alvarez, M. C. Rodr´ ıguez-Vallarte, and G. Salgado. Contact and Frobenius solvable Lie algebras with abelian nilradical.Commun. Algebra46, No.10, 4344-4354 (2018). (Cited on page 1.)

work page 2018
[3]

M. A. Alvarez, M. C. Rodr´ ıguez-Vallarte, and G. Salgado. Contact nilpotent Lie algebras.Proc. Am. Math. Soc.145, No.4, 1467-1474 (2017). (Cited on page 1.)

work page 2017
[4]

M. A. Alvarez, M. C. Rodr´ ıguez-Vallarte, and G. Salgado. Deformation theory of contact Lie algebras as double extensions.Proc. Am. Math. Soc.149, No.5, 1827-1836 (2021). (Cited on page 1.)

work page 2021
[5]

Andrada, A

A. Andrada, A. Fino, L. Vezzoni. A class of Sasakian 5-manifolds.Transform. Groups14, No.3, 493–512 (2009). (Cited on pages 1, 4, 6, 10, 18, and 24.)

work page 2009
[6]

Andrada, S

A. Andrada, S. G. Chiossi, and A. J. Nu˜ nez.η-Einstein Sasakian Lie algebras.Manuscripta Math.177, No.1, article 12 (2026). (Cited on pages 1, 2, 7, 8, 9, 13, 18, and 19.)

work page 2026
[7]

Andrada and A

A. Andrada and A. Garrone. Construction of symplectic solvmanifolds satisfying the hard-Lefschetz con- dition.Linear Algebra Appl.706, 70–100 (2025). (Cited on page 3.)

work page 2025
[8]

Andrada and A

A. Andrada and A. Garrone. Symplectic solvmanifolds not satisfying the hard-Lefschetz condition. Preprint, arXiv:2505.08113 [math.DG] (2025). (Cited on page 3.)

work page arXiv 2025
[9]

Andrada and A

A. Andrada and A. Garrone. 1-Lefschetz contact solvmanifolds. Preprint, arXiv: 2512.24311 [math.DG] (2025). (Cited on pages 3, 6, and 25.)

work page arXiv 2025
[10]

D. E. Blair.Riemannian Geometry of Contact and Symplectic Manifolds. Progress in Mathematics203, Birkh¨ auser (2010). (Cited on pages 5 and 6.)

work page 2010
[11]

M. S. Borman, Y. Eliashberg, and E. Murphy. Existence and classification of overtwisted contact structures in all dimensions.Acta Math.215, No.2, 281-361 (2015). (Cited on page 1.)

work page 2015
[12]

W. M. Boothby and H. C. Wang. On contact manifolds.Ann. Math.68, 721–734 (1958). (Cited on page 9.)

work page 1958
[13]

Cappelletti-Montano, A

B. Cappelletti-Montano, A. de Nicola, and I. Yudin. Hard Lefschetz theorem for Sasakian manifolds.J. Differ. Geom.101, No.1, 47–66 (2015). (Cited on pages 3, 9, and 17.)

work page 2015
[14]

Calvaruso and A

G. Calvaruso and A. Fino. Five-dimensional K-contact Lie algebras.Monatsh. Math.167, No.1, 35–59 (2012). (Cited on pages 1 and 24.)

work page 2012
[15]

V. E. Coll and N. Russoniello. Classification of contact seaweeds.J. Algebra659, 811-817 (2024). (Cited on page 1.)

work page 2024
[16]

V. E. Coll, N. Mayers, N. Russoniello, and G. Salgado. Contact seaweeds.Pac. J. Math.320, No.1, 45-60 (2022). (Cited on page 1.)

work page 2022
[17]

B. Chu. Symplectic homogeneous spaces.Trans. Am. Math. Soc.197, 145–159 (1974). (Cited on page 5.)

work page 1974
[18]

A. Diatta. Left invariant contact structures on Lie groups.Differ. Geom. Appl.26, No.5, 544–552 (2008). (Cited on pages 1, 6, 7, and 24.)

work page 2008
[19]

Diatta and B

A. Diatta and B. Manga. On properties of principal elements of Frobenius Lie algebras.J. Lie Theory24, No.3, 849–864 (2014). (Cited on page 19.)

work page 2014
[20]

Diatta and B

A. Diatta and B. Foreman. Lattices in contact Lie groups and 5-dimensional contact solvmanifolds.Kodai Math. J.38, No.1, 228–248 (2015). (Cited on page 17.)

work page 2015
[21]

Transversely K\"ahler almost contact metric Lie algebras

G. Dileo, D. Poyraz, and B. S ¸ahin. Transversely K¨ ahler almost contact metric Lie algebras. Preprint, arXiv:2604.12538 (2026) (Cited on page 1.)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[22]

El Kacimi-Alaoui

A. El Kacimi-Alaoui. Op´ erateurs transversalement elliptiques sur un feuilletage riemannien et applications. Compositio Math.73, No.1, 57–106 (1990). (Cited on pages 3, 9, and 17.)

work page 1990
[23]

Fulton and J

W. Fulton and J. Harris.Representation Theory: A First Course. Graduate Texts in Mathematics129. Springer-Verlag (1991). (Cited on pages 10 and 15.)

work page 1991
[24]

Goze and E

M. Goze and E. Remm. Contact and Frobeniusian forms on Lie groups.Differ. Geom. Appl.35, 74-94 (2014). (Cited on page 1.)

work page 2014
[25]

M. L. Gromov. Stable mappings of foliations into manifolds (Russian).Izv. Akad. Nauk SSSR Ser. Mat. 33, 707–734 (1969). (Cited on page 1.) 26

work page 1969
[26]

J. Hano. On K¨ ahlerian homogeneous spaces of unimodular Lie groups.Am. J. Math.79, 885–900 (1957). (Cited on page 1.)

work page 1957
[27]

Y. Lin. Hodge theory on transversely symplectic foliations.Q. J. Math.69, No. 2, 585–609 (2018). (Cited on page 3.)

work page 2018
[28]

Loiudice and A

E. Loiudice and A. Lotta, A. On five dimensional Sasakian Lie algebras with trivial center.Osaka J. Math. 55, No.1, 39-49 (2018). (Cited on page 1.)

work page 2018
[29]

Moreau and O

A. Moreau and O. Yakimova. Coadjoint orbits of reductive type of parabolic and seaweed Lie subalgebras. Int. Math. Res. Not.2012, No.19, 4475-4519 (2012). (Cited on page 1.)

work page 2012
[30]

Nakajima

K. Nakajima. Homogeneous K¨ ahler manifolds of non-degenerate Ricci curvature.J. Math. Soc. Japan42, 475–494 (1990). (Cited on page 1.)

work page 1990
[31]

G. Ovando. Four dimensional symplectic Lie algebras.Beitr. Algebra Geom.47, No.2, 419–434 (2006). (Cited on page 22.)

work page 2006
[32]

M. C. Rodr´ ıguez-Vallarte, G. Salgado, and O. A. S´ anchez-Valenzuela. On extensions of Frobenius-K¨ ahler and Sasakian Lie algebras. Preprint, arXiv:2408.11236 (2024). (Cited on page 1.)

work page arXiv 2024
[33]

G. Salgado. Invariants of contact Lie algebras.J. Geom. Phys.144, 388-396 (2019). (Cited on page 1.) Email address:agustin.garrone@unc.edu.ar FAMAF, Universidad Nacional de C ´ordoba and CIEM-CONICET, Av. Medina Allende s/n, Ciudad Universitaria, X5000HUA C´ordoba, Argentina

work page 2019