On the cohomology of finite-dimensional nilpotent groups and Lie rings

TL;DR

This paper proves vanishing results for the first cohomology of nilpotent groups and Lie rings within a model-theoretic framework, using elementary algebraic methods.

Contribution

It introduces a novel algebraic approach to cohomology in a model-theoretic setting, applicable to algebraic groups, semi-algebraic groups, and Lie algebras.

Findings

Vanishing of first cohomology for nilpotent groups and Lie rings with trivial invariants.

Derived a definable version of Maschke's theorem for certain group actions.

Established a form of Frattini's argument for Cartan subrings.

Abstract

We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable in a finite-dimensional theory, which encompasses algebraic groups over algebraically closed fields, real semi-algebraic groups, and finite-dimensional Lie algebras over an algebraically or real closed field. Since classical tools - such as computations with spectral sequences and rigidity of the linear dimension - are not available in our setting, we develop an elementary algebraic approach. As applications, we derive a form of Frattini's argument for Cartan subrings and a definable version of Maschke's theorem for actions of definable connected p-divisible abelian groups, with a view toward the ongoing study of soluble finite-dimensional Lie rings.