pith. sign in

arxiv: 2511.05249 · v3 · submitted 2025-11-07 · 🧮 math.LO · math.GR

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

Samuel Zamour This is my paper

Pith reviewed 2026-05-18 00:07 UTC · model grok-4.3

classification 🧮 math.LO math.GR
keywords cohomologynilpotent groupsLie ringsfinite-dimensional theoriesmodel theoryvanishing resultsdefinable structuresFrattini argument
0
0 comments X

The pith

Nilpotent groups and Lie rings definable in finite-dimensional theories have vanishing first cohomology when the submodule of invariants is trivial.

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

The paper proves vanishing results for the first cohomology of nilpotent groups and Lie rings whenever the submodule of invariants is trivial. These results apply to structures definable in a finite-dimensional theory, a class that includes algebraic groups over algebraically closed fields, real semi-algebraic groups, and finite-dimensional Lie algebras over algebraically or real closed fields. A sympathetic reader would care because the setting rules out classical tools such as spectral sequence computations, forcing the authors to build an elementary algebraic replacement. The work then extracts concrete applications including a Frattini-type argument for Cartan subrings and a definable form of Maschke's theorem.

Core claim

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.

What carries the argument

an elementary algebraic approach for structures definable in finite-dimensional theories that replaces spectral sequence arguments to establish the cohomology vanishing.

If this is right

  • A form of Frattini's argument holds for Cartan subrings in this setting.
  • A definable version of Maschke's theorem applies to actions of definable connected p-divisible abelian groups.
  • The results support further study of soluble finite-dimensional Lie rings.

Where Pith is reading between the lines

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

  • The vanishing might extend to higher cohomology groups or to certain non-nilpotent cases under the same definability hypothesis.
  • The elementary method could be adapted to other model-theoretic contexts where spectral sequences are unavailable.
  • Applications may appear in computational questions about definable subgroups in algebraic or semi-algebraic geometry.

Load-bearing premise

The structures under consideration are definable in a finite-dimensional theory.

What would settle it

A concrete counterexample would be any nilpotent group or Lie ring definable in a finite-dimensional theory that has trivial submodule of invariants yet non-vanishing first cohomology.

read the original 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.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. These results are proved for structures definable in a finite-dimensional theory, using an elementary algebraic approach based on induction on the nilpotency class, definable connectedness, and p-divisibility to control extensions and cochains, avoiding spectral sequences. Applications include 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.

Significance. If the vanishing theorems hold, the work supplies a useful model-theoretic extension of classical cohomology results to definable structures in finite-dimensional theories (including algebraic groups over algebraically closed fields and real semi-algebraic groups). The elementary algebraic method is a clear strength, as it operates without dimension rigidity or spectral-sequence convergence and supports applications to soluble finite-dimensional Lie rings.

major comments (2)
  1. [Main vanishing theorem proof] The induction on nilpotency class (described in the main proof) relies on definable connectedness to control cochain extensions; the manuscript should explicitly verify that this step remains valid when the underlying theory is only finite-dimensional rather than o-minimal or stable, as this is load-bearing for the transfer from the classical case.
  2. [Applications section] In the application to the definable Maschke theorem, the splitting is deduced from the H^1 vanishing when invariants are trivial; the argument should clarify whether p-divisibility is used only for the group case or also for the Lie ring case, since the two settings are treated in parallel.
minor comments (2)
  1. Notation for the submodule of invariants should be introduced once and used consistently; currently it appears with slight variations between the group and Lie ring statements.
  2. The abstract states that the setting 'encompasses algebraic groups over algebraically closed fields' but the introduction would benefit from a one-sentence reminder of the precise definition of finite-dimensional theory for readers outside model theory.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the detailed comments, which have helped us improve the clarity of the manuscript. We address each major comment below.

read point-by-point responses

  1. Referee: [Main vanishing theorem proof] The induction on nilpotency class (described in the main proof) relies on definable connectedness to control cochain extensions; the manuscript should explicitly verify that this step remains valid when the underlying theory is only finite-dimensional rather than o-minimal or stable, as this is load-bearing for the transfer from the classical case.

    Authors: We thank the referee for this observation. The induction proceeds by lifting cochains using the definable connected component of the identity and p-divisibility to ensure that extensions remain definable and controlled. These notions are introduced in Section 2 for arbitrary finite-dimensional theories and do not rely on o-minimality or stability; finite-dimensionality alone guarantees that the dimension function behaves additively on definable sets and that connected components exist and are preserved under the relevant group and ring operations. We have added a short clarifying paragraph immediately after the induction setup in the revised manuscript to make this explicit and to confirm that the algebraic argument transfers directly. revision: yes

  2. Referee: [Applications section] In the application to the definable Maschke theorem, the splitting is deduced from the H^1 vanishing when invariants are trivial; the argument should clarify whether p-divisibility is used only for the group case or also for the Lie ring case, since the two settings are treated in parallel.

    Authors: We agree that the role of p-divisibility merits explicit clarification. In the revised manuscript we have updated both the statement and the proof of the definable Maschke theorem to record that p-divisibility is assumed uniformly for the acting group in both the group and Lie-ring settings. For groups it guarantees that the relevant 1-cocycles are coboundaries via the vanishing theorem; for Lie rings it likewise ensures that derivations satisfy the necessary divisibility conditions so that the same vanishing applies to the module of invariants. The parallel structure of the argument is preserved, with the common hypothesis now stated once at the beginning of the section. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained with no circular reductions

full rationale

The paper establishes vanishing results for H^1 of nilpotent definable groups and Lie rings (when invariants vanish) via an elementary algebraic method that proceeds by induction on nilpotency class, using definable connectedness and p-divisibility to control extensions and cochains. All steps remain internal to the finite-dimensional theory axioms and do not invoke or reduce to spectral-sequence convergence, dimension rigidity, or any fitted parameters from the target result. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the argument is independent of external classical tools and does not rename known results or smuggle ansatzes via prior work by the same author.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the model-theoretic framework of finite-dimensional theories and the definability of the groups and Lie rings; no explicit free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Structures are definable in a finite-dimensional theory
    Invoked to enable the elementary algebraic approach and to encompass algebraic groups and Lie algebras over closed fields.

pith-pipeline@v0.9.0 · 5428 in / 1268 out tokens · 24055 ms · 2026-05-18T00:07:42.216631+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On p-Lie algebras of finite Morley rank

    math.LO 2026-05 unverdicted novelty 6.0

    Develops theory of p-Lie algebras of finite Morley rank with a quite complete characterization in the soluble case.

  2. Cartan subrings in soluble ranked Lie rings

    math.LO 2025-11 unverdicted novelty 6.0

    Soluble ranked Lie rings contain self-normalizing nilpotent subrings called Cartan subrings.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

  1. [1]

    AMS, 2008

    Tuna Altınel, Alexandre Borovik, and Gregory Cherlin.Simple groups of finite Morley rank. AMS, 2008

    work page 2008

  2. [2]

    D.W. Barnes. On the cohomology of soluble Lie algebras.Math. Zeitschr., 101:343–349, 1967

    work page 1967

  3. [3]

    D.W. Barnes. The Frattini argument for Lie algebras.Math. Zeitschr., 133:277–283, 1973

    work page 1973

  4. [4]

    A. Deloro. Zilber’s skew-field lemma.Model Theory, 3:571–586, 2024

    work page 2024

  5. [5]

    Simple Lie rings of Morley rank 4.Journal of Algebra, 651:243–280, 2024

    Adrien Deloro and Jules Tindzogho Ntsiri. Simple Lie rings of Morley rank 4.Journal of Algebra, 651:243–280, 2024

    work page 2024

  6. [6]

    Soluble Lie rings of finite Morley rank.Model theory, 4:163–154, 2025

    Adrien Deloro and Jules Tindzogho Ntsiri. Soluble Lie rings of finite Morley rank.Model theory, 4:163–154, 2025

    work page 2025

  7. [7]

    Farnsteiner and H

    R. Farnsteiner and H. Strade.Modular Lie algebras and their representa- tions. Dekker, 1988

    work page 1988

  8. [8]

    Hochschild and J-P

    G. Hochschild and J-P. Serre. Cohomology of groups extensions.Trans. Amer. Math. Soc., 74:110–134, 1953

    work page 1953

  9. [9]

    Hochschild and J-P

    G. Hochschild and J-P. Serre. Cohomology of Lie algebras.Annals of Math., 57:591–603, 1953

    work page 1953

  10. [10]

    Serre.Corps locaux

    J-P. Serre.Corps locaux. Hermann, 1968

    work page 1968

  11. [11]

    Tindzhogo Ntsiri

    J. Tindzhogo Ntsiri. The structure of aSL2-module of finite Morley rank. Math. Log. Quar., 63:364–375, 2017

    work page 2017

  12. [12]

    Tindzhogo Ntsiri and S

    J. Tindzhogo Ntsiri and S. Zamour. Cartan subrings of soluble Lie rings of finite Morley rank. en préparation

    work page

  13. [13]

    Arithmétique et Géométrie algébrique

    F.O. Wagner. Dimensional groups and fields.Journal of Symbolic Logic, 85:918–936, 2020. 16 Samuel Zamour Université Paris-Saclay Laboratoire de Mathématiques d’Orsay (LMO), équipe "Arithmétique et Géométrie algébrique" e-mail: samuel.zamour@u-pec.fr 17

    work page 2020