Real Nullstellensatz for nilpotent Lie algebras

Abstract

We prove a real Nullstellensatz for the universal enveloping algebra U(g) of a nilpotent finite-dimensional real Lie algebra g: An ideal of U(g) is real if and only if it is the intersection of kernels of irreducible integrable *-representations of U(g) by (in general unbounded) operators on a Hilbert space. For this, we build upon some classical results about the complexification of U(g) that lead to a complex Nullstellensatz (every semiprime ideal is the intersection of primitive ideals), but focus only on the ``real points'', i.e., the *-representations on Hilbert spaces. On the technical side, this requires to take into account an involution of U(g), namely, the antipode of its Hopf algebra structure, which goes into the definition of real ideals of U(g). Our result is the first noncommutative real Nullstellensatz for *-algebras with unbounded irreducible *-representations, demonstrating how methods of real algebraic geometry can lead to results about operator *-algebras also in situations where C*-algebraic methods fail.

Hilbert's Nullstellensatz and the real Nullstellensatz for modules and sheaves
Jakob Cimprič
arXiv11 Oct 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
Molnár's Theorem for split C^*-by-nilpotent algebras
Mario Galici, Gianmarco La Rosa, Manuel Mancini +1
arXiv6 Oct 2026PreprintCC BY 4.0Full textAlgebra & number theory Analysis & PDEsarXiv
Central Test Set and Central Test Rank of Free Nilpotent Lie Algebras of Rank 2
Özge Öztekin
Mathematics17 Oct 2026Peer-reviewedCC BY 4.0Algebra & number theoryCrossref
On nilpotent Lie algebras arising from parabolic subalgebras and quivers --- three-step cases
Fumika Mizoguchi
arXiv19 Oct 2026PreprintarXiv licenceFull textGeometry & topologyarXiv
On flat metric nilpotent Lie algebras
Huihui An, Zaili Yan, Hui Zhang +1
arXiv24 Oct 2026PreprintCC BY 4.0Full textGeometry & topologyarXiv

Cite

BibTeX RIS

BibTeX

@misc{schmitt2026real,
  title = {{Real Nullstellensatz for nilpotent Lie algebras}},
  author = {Philipp Schmitt and Matthias Schötz},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.28113},
  eprint = {2610.28113},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.28113},
}

RIS

TY  - UNPB
TI  - Real Nullstellensatz for nilpotent Lie algebras
AU  - Philipp Schmitt
AU  - Matthias Schötz
PY  - 2026
DA  - 2026/10/20
PB  - arXiv
DO  - 10.48550/arxiv.2610.28113
UR  - https://arxiv.org/abs/2610.28113
AB  - We prove a real Nullstellensatz for the universal enveloping algebra U(g) of a nilpotent finite-dimensional real Lie algebra g: An ideal of U(g) is real if and only if it is the intersection of kernels of irreducible integrable *-representations of U(g) by (in general unbounded) operators on a Hilbert space. For this, we build upon some classical results about the complexification of U(g) that lead to a complex Nullstellensatz (every semiprime ideal is the intersection of primitive ideals), but focus only on the ``real points'', i.e., the *-representations on Hilbert spaces. On the technical side, this requires to take into account an involution of U(g), namely, the antipode of its Hopf algebra structure, which goes into the definition of real ideals of U(g). Our result is the first noncommutative real Nullstellensatz for *-algebras with unbounded irreducible *-representations, demonstrating how methods of real algebraic geometry can lead to results about operator *-algebras also in situations where C*-algebraic methods fail.
ER  -

Abstract

Related

Cite