{"id":"arxiv/2610.00021","url":"https://arxiv.org/abs/2610.00021","tags":["math.GR"],"score":0,"title":"Detecting Cohomological Dimension Three in Free-by-Demuškin Pro-$p$ Groups","domain":"math.GR","source":"arxiv","authors":["Marina Palaisti"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}