Canonical Kummerian Kernels in 1-Smooth Pro-$p$ Poincaré Duality Groups of Dimension Three

Let $(G,\theta )$ be a finitely generated 1-smooth oriented pro-$p$ group with torsion-free orientation, and suppose that $G$ is a Poincaré duality pro-$p$ group of dimension three. The orientation determines a canonical closed normal subgroup $K_{\theta }(G)$ contained in the Frattini subgroup, and for a Kummerian pair the quotient $G\mathrm{/}{K}_{\theta }(G)$ is the maximal $\theta$-abelian quotient. We prove that $$K_{\theta }(G)\text{ finitely generated}⟹K_{\theta }(G)=1.$$ Thus every non-$\theta$-abelian 1-smooth ${\text{PD}}^3$ pro-$p$ group has an infinitely generated canonical kernel, where ``infinitely generated’’ means not topologically finitely generated. The proof combines the normal-subgroup theorem for pro-$p$ ${\text{PD}}^3$ groups with the classification of $p$-adic analytic 1-smooth pro-$p$ groups. We also obtain a cohomological description of the canonical extension from the Hochschild–Serre five-term sequence and Poincaré duality. Writing $K=K_{\theta }(G)$, $Q=G\mathrm{/}K$, and $V=H^1(G,{\mathbb{F}}_p)$, we identify $H^1(K,{\mathbb{F}}_p{)}^Q$ with the kernel of the map ${\bigwedge }^{2}V\to V^{\ast }$ induced by the triple cup-product form of $G$. Consequently, whenever $K\mathrm{\ne }1$, its first cohomology is infinite-dimensional, whereas its $Q$-invariant subspace is nonzero and finite-dimensional. We obtain exact dimension restrictions in small generator ranks and show that a non-$\theta$-abelian group with $2\le d(G)\le 4$ is not Bloch–Kato. In the finitely generated-kernel case, $G$ is a three-dimensional uniform $\theta$-abelian group with exterior mod-$p$ cohomology.