Detecting Cohomological Dimension Three in Free-by-Demuškin Pro-$p$ Groups
Let \[1\longrightarrow N\longrightarrow G\longrightarrow D\longrightarrow1\] be exact, with $N\neq1$ free pro-$p$ of arbitrary rank and $D$ Demuškin. Writing $W=N/Φ(N)$, we prove \[H^3(G,\mathbb{F}_p)^\vee\simeq W^D,\qquad \textrm{cd}_p G=3\text{ if and only if }W^D\neq0.\] Thus dimension three is detected on the first Frattini layer of the free kernel. Finite-rank kernels always satisfy the criterion, so a dimension drop requires an infinite-rank kernel, while the criterion remains stable under passage to open subgroups. On the fixed-point-free locus $W^D=0$, the remaining dimension-one/two…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.00021
curl -X POST /api/v1/records/arxiv/2610.00021/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.00021/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'