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

Mikhail Borovoi, Willem A. de Graaf, Robert M. Guralnick

Following an idea of Demarche and using computer calculations of the authors and ideas of the LLM Claude Fable 5, we construct an explicit 10-dimensional complex two-step nilpotent…