Killing-Yano 2-forms on 2-step nilpotent Lie groups

Adri\'an Andrada; Isabel G. Dotti

arxiv: 1907.03662 · v1 · pith:TX7LK7IOnew · submitted 2019-07-08 · 🧮 math.DG

Killing-Yano 2-forms on 2-step nilpotent Lie groups

Adri\'an Andrada , Isabel G. Dotti This is my paper

Pith reviewed 2026-05-25 00:52 UTC · model grok-4.3

classification 🧮 math.DG

keywords Killing-Yano 2-forms2-step nilpotent Lie groupsleft-invariant formscomplex Lie groupsnilpotent Lie algebrasgraph constructions

0 comments

The pith

The only 2-step nilpotent Lie groups that carry a non-degenerate left-invariant Killing-Yano 2-form are the complex Lie groups.

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

The paper establishes a classification of 2-step nilpotent Lie groups by the existence of non-degenerate left-invariant Killing-Yano 2-forms. It proves that such forms appear precisely when the group is complex. The argument translates the differential condition for a Killing-Yano form into algebraic equations on the Lie bracket after imposing left-invariance. For the subclass of complex groups built from connected graphs, the space of these forms is one-dimensional. A reader would care because the result isolates a geometric feature that distinguishes complex from real nilpotent groups.

Core claim

A 2-step nilpotent Lie group admits a non-degenerate left-invariant Killing-Yano 2-form if and only if it is a complex Lie group. When the group arises from a connected graph, the space of such forms is one-dimensional.

What carries the argument

A left-invariant 2-form on the Lie algebra that satisfies the algebraic form of the Killing-Yano equation obtained by substituting the Lie bracket into the covariant derivative condition.

If this is right

Any 2-step nilpotent Lie group that is not complex admits no non-degenerate left-invariant Killing-Yano 2-form.
Complex 2-step nilpotent Lie groups constructed from connected graphs have a one-dimensional space of left-invariant Killing-Yano 2-forms.
The existence of the form forces the Lie algebra to carry a compatible complex structure.

Where Pith is reading between the lines

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

The result may limit the possible conserved quantities along geodesics on the corresponding nilmanifolds to those arising only in the complex case.
One could check whether the same obstruction applies to other special tensors such as parallel forms on these groups.
The graph construction might be replaced by other combinatorial models to test whether the one-dimensionality persists.

Load-bearing premise

Every 2-step nilpotent Lie algebra is captured by its structure constants and the left-invariance requirement with no hidden exceptional cases outside the graph construction.

What would settle it

An explicit non-complex 2-step nilpotent Lie algebra equipped with a non-degenerate 2-form satisfying the algebraic Killing-Yano equation would disprove the classification.

read the original abstract

In this article we show that the only 2-step nilpotent Lie groups which carry a non-degenerate left invariant Killing-Yano 2-form are the complex Lie groups. In the case of 2-step nilpotent complex Lie groups arising from connected graphs, we prove that the space of left invariant Killing-Yano 2-forms is one-dimensional.

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 classifies non-degenerate left-invariant Killing-Yano 2-forms on 2-step nilpotent Lie groups as existing precisely when the group is complex, plus a one-dimensionality result for the connected-graph subclass.

read the letter

The main takeaway is that non-degenerate left-invariant Killing-Yano 2-forms on 2-step nilpotent Lie groups exist if and only if the group is complex, and that for the connected-graph complex cases the space of such forms is one-dimensional. The authors reduce the KY equation, under left-invariance, to algebraic conditions on the Lie bracket and then solve those conditions directly. This produces the if-and-only-if statement for the full class and the explicit dimension count inside the graph family. The reduction itself is the part that works cleanly: once left-invariance is imposed, the KY condition becomes a set of quadratic equations on the structure constants, and the non-degeneracy requirement forces the algebra to admit a compatible complex structure. The graph construction then supplies a concrete parametrization where they can count the solutions and show there is exactly one up to scale. The stress-test concern about the general claim depending on the graph ansatz does not land here; the abstract and the separation of results indicate that the 'only complex' direction is derived from the algebraic conditions without restricting to graphs, while the dimension statement is stated only for that subclass. A minor soft spot is that the paper works entirely inside left-invariant forms, so any non-left-invariant KY forms on these groups are outside scope, but that is an explicit modeling choice rather than a hidden gap. The citation pattern looks standard for the area and does not rely on circular self-reference. This is a paper for people who already work with left-invariant geometric structures on nilpotent Lie groups or with Killing-Yano tensors on homogeneous spaces. A reader who needs the existence question settled inside this family will find the algebraic conditions and the classification useful. It deserves a serious referee because the result is a precise, checkable statement in a standard setting and the derivation steps are finite and algebraic.

Referee Report

2 major / 2 minor

Summary. The manuscript asserts that the only 2-step nilpotent Lie groups admitting non-degenerate left-invariant Killing-Yano 2-forms are the complex Lie groups. For the subclass of 2-step nilpotent complex Lie groups arising from connected graphs, it further shows that the space of such forms is one-dimensional.

Significance. If the claims hold, this provides an algebraic classification linking the existence of non-degenerate KY 2-forms to the presence of a complex structure on 2-step nilpotent Lie algebras. The dimension result for the graph case offers a concrete computation in a parametrized family. This could have implications for understanding invariant geometric structures on nilmanifolds.

major comments (2)

[Abstract] Abstract: The claim that non-degenerate left-invariant KY 2-forms exist only on complex 2-step nilpotents is presented as holding for the full class of 2-step nilpotent Lie groups, yet the 1-dimensionality result is proved only for those arising from connected graphs. It is unclear whether the algebraic conditions on the Lie bracket derived from the left-invariant KY equation apply without the graph parametrization or structure-constant ansatz, leaving open the possibility that the implication 'KY form exists => complex' fails for 2-step nilpotents with different bracket ranks or non-graph presentations.
[Main classification result] Main classification result: The reduction of the KY equation to bracket conditions incompatible with non-complex algebras appears to rest on the assumption that every 2-step nilpotent Lie algebra can be analyzed via the same structure constants used in the graph construction; if this ansatz excludes exceptional cases, the generality of the 'only complex' statement is not secured.

minor comments (2)

[Introduction] Clarify whether 'complex Lie groups' means Lie groups equipped with a left-invariant integrable complex structure compatible with the nilpotent bracket, and state this explicitly in the introduction.
[Introduction] The abstract separates the two results; consider adding a sentence in the introduction explaining why the graph construction suffices for the dimension count but the classification claim is asserted more broadly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript. The two major comments both concern the generality of the classification result. We address them point by point below, clarifying that the derivation of the necessary bracket conditions from the Killing-Yano equation is performed for arbitrary 2-step nilpotent Lie algebras and does not rely on the graph parametrization (which is used only for the dimension computation).

read point-by-point responses

Referee: [Abstract] Abstract: The claim that non-degenerate left-invariant KY 2-forms exist only on complex 2-step nilpotents is presented as holding for the full class of 2-step nilpotent Lie groups, yet the 1-dimensionality result is proved only for those arising from connected graphs. It is unclear whether the algebraic conditions on the Lie bracket derived from the left-invariant KY equation apply without the graph parametrization or structure-constant ansatz, leaving open the possibility that the implication 'KY form exists => complex' fails for 2-step nilpotents with different bracket ranks or non-graph presentations.

Authors: The algebraic conditions on the Lie bracket are obtained directly from the left-invariant Killing-Yano equation applied to a general 2-step nilpotent Lie algebra, expressed via an arbitrary basis adapted to the center and its complement. These conditions are shown to be equivalent to the existence of an integrable complex structure J compatible with the bracket, without any reference to graphs or specific structure-constant choices. The graph construction appears only in the second part of the paper, where it is used to parametrize a concrete family of complex 2-step nilpotents and to prove that the space of KY forms is one-dimensional in that family. Consequently the implication 'non-degenerate left-invariant KY 2-form exists => the algebra is complex' holds for the entire class and is not restricted by the later specialization. revision: no
Referee: [Main classification result] Main classification result: The reduction of the KY equation to bracket conditions incompatible with non-complex algebras appears to rest on the assumption that every 2-step nilpotent Lie algebra can be analyzed via the same structure constants used in the graph construction; if this ansatz excludes exceptional cases, the generality of the 'only complex' statement is not secured.

Authors: The reduction proceeds from the general expression of the Lie bracket of a 2-step nilpotent Lie algebra [X,Y] = sum c_{ij}^k Z_k (with Z_k central) and substitutes the left-invariant 2-form into the Killing-Yano condition. The resulting system of quadratic equations on the structure constants forces the existence of a linear map J satisfying the complex-structure axioms and making the bracket J-linear. No graph-derived ansatz is imposed at this stage; the graph family is introduced afterward solely to obtain an explicit one-dimensionality statement. Hence no exceptional cases are excluded and the classification applies to all 2-step nilpotents. revision: no

Circularity Check

0 steps flagged

No circularity: algebraic classification from KY equation on structure constants stands independently.

full rationale

The paper derives the 'only complex Lie groups' result by equating the left-invariant Killing-Yano condition directly to algebraic constraints on the Lie bracket of 2-step nilpotent algebras. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or reader's summary. The graph construction is used only for the secondary 1-dimensionality statement on a subclass, not to force the primary classification. The derivation remains self-contained against the external definition of Killing-Yano forms and nilpotent Lie algebras.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the classification is stated to rest on standard Lie-algebra structure and the definition of Killing-Yano forms.

pith-pipeline@v0.9.0 · 5575 in / 1121 out tokens · 18813 ms · 2026-05-25T00:52:40.624295+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/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.7: If a 2-step nilpotent Lie group N ... admits an invertible left invariant KY tensor then N is a complex Lie group. Moreover, g is Hermitian with respect to this complex structure.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.1 (from [5]): T is KY iff T(z)⊆z and T[x,y]=3[Tx,y] for x,y∈v

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

[1]

Abbena, A

E. Abbena, A. Grassi , Hermitian left invariant metrics on complex Lie groups and cosymplec tic Her- mitian manifolds. Boll. Un. Mat. Ital. A (6) 5 (1986), 371–379

work page 1986
[2]

Alekseevsky , Homogeneous Riemannian spaces of negative curvature, Math

D. Alekseevsky , Homogeneous Riemannian spaces of negative curvature, Math. USSR, Sb. 25 (1975), 87–109

work page 1975
[3]

Andrada, M

A. Andrada, M. L. Barberis, I. G. Dotti , Invariant solutions to the conformal KillingYano equation on Lie groups, J. Geom. Phys. 94 (2015), 199–208

work page 2015
[4]

Andrada, I

A. Andrada, I. Dotti , Conformal Killing-Yano 2-forms, Diﬀerential Geom. Appl. 58 (2018), 103–119

work page 2018
[5]

M. L. Barberis, I. G. Dotti, O. Santill ´an, The Killing-Yano equation on Lie groups, Class. Quantum Grav. 29 (2012) 065004 (10pp)

work page 2012
[6]

Belgun, A

F. Belgun, A. Moroianu, U. Semmelmann , Killing forms on symmetric spaces, Diﬀerential Geom. Appl. 24 (2006), 215–222

work page 2006
[7]

S. G. Dani, M. G. Mainkar , Anosov automorphisms on compact nilmanifolds associated with gra phs, Trans. Amer. Math. Soc. 357 (2005), 2235–2251

work page 2005
[8]

D’Atri, Codazzi tensors and harmonic curvature for left invariant metr ics, Geom

J. D’Atri, Codazzi tensors and harmonic curvature for left invariant metr ics, Geom. Dedicata 19 (1985), 229–236

work page 1985
[9]

Del Barco, A

V. Del Barco, A. Moroianu , Symmetric Killing tensors on nilmanifolds, preprint 2018, arXiv:1811.09187

work page arXiv 2018
[10]

Del Barco, A

V. Del Barco, A. Moroianu , Killing forms on 2-step nilmanifolds, preprint

work page
[11]

A note on the structure of underlying Lie algebras

J. Der ´ e, A note on the structure of underlying Lie algebras, preprint 2019 , arXiv:1901.10222

work page internal anchor Pith review Pith/arXiv arXiv 2019
[12]

Di Scala, J

A. Di Scala, J. Lauret, L. Vezzoni , Quasi-K¨ ahler Chern-ﬂat manifolds and complex 2-step nilpotent Lie algebras, Ann. Sc. Norm. Super. Pisa, Cl. Sci.(5) 11 (2012), 41–60

work page 2012
[13]

M. G. Mainkar , Graphs and two-step nilpotent Lie algebras, Groups Geom. Dyn. 9 (2015), 55–65

work page 2015
[14]

Moroianu, U

A. Moroianu, U. Semmelmann , Killing forms on quaternion-K¨ ahler manifolds, Ann. Global Anal. Geom. 28 (2005), 319–335; erratum 34 (2008), 431–432

work page 2005
[15]

Semmelmann , Killing forms on G2 and Spin(7) manifolds”, J

U. Semmelmann , Killing forms on G2 and Spin(7) manifolds”, J. Geom. Phys. 56 (2006), 1752–1766

work page 2006
[16]

Yano , On harmonic and Killing vector ﬁelds, Ann

K. Yano , On harmonic and Killing vector ﬁelds, Ann. of Math. 55, 38–45. E-mail address : andrada@famaf.unc.edu.ar E-mail address : idotti@famaf.unc.edu.ar F aMAF-CIEM, Universidad Nacional de C ´ordoba, Ciudad Universitaria, 5000 C ´ordoba, Ar- gentina

work page

[1] [1]

Abbena, A

E. Abbena, A. Grassi , Hermitian left invariant metrics on complex Lie groups and cosymplec tic Her- mitian manifolds. Boll. Un. Mat. Ital. A (6) 5 (1986), 371–379

work page 1986

[2] [2]

Alekseevsky , Homogeneous Riemannian spaces of negative curvature, Math

D. Alekseevsky , Homogeneous Riemannian spaces of negative curvature, Math. USSR, Sb. 25 (1975), 87–109

work page 1975

[3] [3]

Andrada, M

A. Andrada, M. L. Barberis, I. G. Dotti , Invariant solutions to the conformal KillingYano equation on Lie groups, J. Geom. Phys. 94 (2015), 199–208

work page 2015

[4] [4]

Andrada, I

A. Andrada, I. Dotti , Conformal Killing-Yano 2-forms, Diﬀerential Geom. Appl. 58 (2018), 103–119

work page 2018

[5] [5]

M. L. Barberis, I. G. Dotti, O. Santill ´an, The Killing-Yano equation on Lie groups, Class. Quantum Grav. 29 (2012) 065004 (10pp)

work page 2012

[6] [6]

Belgun, A

F. Belgun, A. Moroianu, U. Semmelmann , Killing forms on symmetric spaces, Diﬀerential Geom. Appl. 24 (2006), 215–222

work page 2006

[7] [7]

S. G. Dani, M. G. Mainkar , Anosov automorphisms on compact nilmanifolds associated with gra phs, Trans. Amer. Math. Soc. 357 (2005), 2235–2251

work page 2005

[8] [8]

D’Atri, Codazzi tensors and harmonic curvature for left invariant metr ics, Geom

J. D’Atri, Codazzi tensors and harmonic curvature for left invariant metr ics, Geom. Dedicata 19 (1985), 229–236

work page 1985

[9] [9]

Del Barco, A

V. Del Barco, A. Moroianu , Symmetric Killing tensors on nilmanifolds, preprint 2018, arXiv:1811.09187

work page arXiv 2018

[10] [10]

Del Barco, A

V. Del Barco, A. Moroianu , Killing forms on 2-step nilmanifolds, preprint

work page

[11] [11]

A note on the structure of underlying Lie algebras

J. Der ´ e, A note on the structure of underlying Lie algebras, preprint 2019 , arXiv:1901.10222

work page internal anchor Pith review Pith/arXiv arXiv 2019

[12] [12]

Di Scala, J

A. Di Scala, J. Lauret, L. Vezzoni , Quasi-K¨ ahler Chern-ﬂat manifolds and complex 2-step nilpotent Lie algebras, Ann. Sc. Norm. Super. Pisa, Cl. Sci.(5) 11 (2012), 41–60

work page 2012

[13] [13]

M. G. Mainkar , Graphs and two-step nilpotent Lie algebras, Groups Geom. Dyn. 9 (2015), 55–65

work page 2015

[14] [14]

Moroianu, U

A. Moroianu, U. Semmelmann , Killing forms on quaternion-K¨ ahler manifolds, Ann. Global Anal. Geom. 28 (2005), 319–335; erratum 34 (2008), 431–432

work page 2005

[15] [15]

Semmelmann , Killing forms on G2 and Spin(7) manifolds”, J

U. Semmelmann , Killing forms on G2 and Spin(7) manifolds”, J. Geom. Phys. 56 (2006), 1752–1766

work page 2006

[16] [16]

Yano , On harmonic and Killing vector ﬁelds, Ann

K. Yano , On harmonic and Killing vector ﬁelds, Ann. of Math. 55, 38–45. E-mail address : andrada@famaf.unc.edu.ar E-mail address : idotti@famaf.unc.edu.ar F aMAF-CIEM, Universidad Nacional de C ´ordoba, Ciudad Universitaria, 5000 C ´ordoba, Ar- gentina

work page