Constructing a complex Lie algebra isomorphic to its complex conjugate but not definable over reals

Abstract

Following an idea of Demarche and using computer calculations of the authors and ideas of LLM Claude Fable, we construct an explicit 10-dimensional complex two-step nilpotent Lie algebra that is isomorphic to its complex conjugate but cannot be defined over the field of real numbers R.

9 pages