Lazard's Realization Problem for N-Series: Bar Obstructions and Finite-Quotient Descent
Lazard asked which $N$-series of a group arise from multiplicative filtrations of the integral group ring. Given an $N$-series $H_\bullet$ of a group $G$, let $A_\bullet$ be the filtration of the augmentation ideal spanned by products of elements $x-1$, $x\in H_a$, weighted by $a$. Every realizing filtration contains $A_\bullet$, so $H_\bullet$ is realizable exactly when the maps $H_n/H_{n+1}\to A_n/A_{n+1}$, $h\mapsto h-1$, are injective. We show that each kernel is the cokernel of an explicit map of normalized bar groups; for a finite group this makes realizability decidable by integer…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.38002
curl -X POST /api/v1/records/arxiv/2609.38002/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.38002/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'