pith. machine review for the scientific record. sign in

arxiv: 2605.03107 · v1 · submitted 2026-05-04 · 🧮 math.GR · math.NT

Recognition: unknown

Congruence rigidity of algebraic groups

Adrian Baumann, Holger Kammeyer

Authors on Pith no claims yet

Pith reviewed 2026-05-07 02:26 UTC · model grok-4.3

classification 🧮 math.GR math.NT
keywords groupsalgebraicclasscommensurabilityfiniterigidityadelearbitrary
0
0 comments X

The pith

Simple algebraic groups over number fields are determined by finite adele points; higher-rank arithmetic groups are profinitely solitary assuming CSP and Grothendieck rigidity, extending earlier split-group work.

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

Algebraic groups are matrix groups defined by polynomials over number fields. Their finite adele points package all p-adic information. The authors show that for many such groups these points recover the group up to isomorphism. They translate this into arithmetic groups: two groups with identical finite quotients must be commensurable. The argument assumes the congruence subgroup property and Grothendieck rigidity, removing the split restriction from earlier results.

Core claim

We identify the simple algebraic groups over number fields that are determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results characterize higher rank arithmetic groups that are profinitely solitary.

Load-bearing premise

The characterization requires the congruence subgroup property and Grothendieck rigidity; without these the statements do not follow.

read the original abstract

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups that are profinitely solitary: the profinite commensurability class determines the commensurability class among finitely generated residually finite groups. This generalizes previous work of the second author with R. Spitler from split groups to arbitrary groups.

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Characterization is conditional on two external conjectures; no new free parameters or invented entities appear.

axioms (2)
  • domain assumption Congruence Subgroup Property holds for the groups
    Explicitly required for the profinite-solitude claim.
  • domain assumption Grothendieck rigidity holds for the groups
    Explicitly required for the profinite-solitude claim.

pith-pipeline@v0.9.0 · 7570 in / 1047 out tokens · 61555 ms · 2026-05-07T02:26:59.898271+00:00 · methodology

discussion (0)

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