Adelic Asphericity and One-Relator Pro-$p$ Groups

Andrey Mikhovich

Home/Archive/arXiv

arXiv · 2610.26288

Adelic Asphericity and One-Relator Pro-$p$ Groups

Andrey Mikhovich

View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a direct Fox-calculus proof of the known rational asphericity theorem for every finite presentation complex with one nontrivial relator, including proper powers. The proof uses completed Fox derivatives and the absence of zero divisors in the completed algebra of a prounipotent group. Exact scalar extension to the finite adeles then yields adelic asphericity and a product decomposition of the higher homotopy groups of integral Bousfield--Kan completion. We also prove rational and pro-$p$ analogues of Mannan's formula for finite two-complexes, with their natural topologies and fundamental group actions. The rational cohomological Whitehead criterion is proved directly. For a discrete one-relator group with relator not a proper power, we show that the tower $L_2ν_n(G)$ is Mittag--Leffler. Consequently $\limone_nL_2ν_n(G)=0$, and $π_2(\Z_\infty BG)$ is naturally the inverse limit of the nilpotent Baer invariants. We identify this Baer limit canonically and topologically with the kernel of the integral augmentation-completed Fox operator and with the product of its local pro-$p$ kernels. The comparison yields a torsion-free profinite homotopy module, vanishing inverse limits of the finite-stage transgression kernels, and explicit lifting obstructions. These results provide a homotopy-theoretic framework for the question of Serre in Gildenhuys's corrected formulation.

Explore related subjects

math.AT math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Andrey Mikhovich. 2026-10-19. Adelic Asphericity and One-Relator Pro-$p$ Groups. https://arxiv.org/abs/2610.26288

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On The Acyclic MacPhersonian

The acyclic MacPhersonian $\AM_n^d$ is the poset of acyclic oriented matroids of rank $d+1$ on $n$ labelled elements, the combinatorial model of the space of configurations of $n$ points spanning $\R^d$ up to affine equivalence, which is the Grassmannian $G(d,n-1)$. We study it inside the larger poset $\Sep_n^d$ of \emph{spherical separoids}, those acyclic separoids whose Radon complex is a sphere of the dimension of the space of affine dependences. Our main unconditional results are as follows. Over every poset of spherical separoids that contains the realizable oriented matroids there is a tautological sphere fibration, and its Stiefel--Whitney classes show that the mod~$2$ cohomology ring of $G(d,n-1)$ is a ring retract of that of the poset, for all $n$ and $d$. For $d=n-2$ the poset of spherical separoids is homotopy equivalent to $G(n-2,n-1)$, and contains $\AM_n^{n-2}$ as a homotopy equivalent subposet. A fat model of $\AM_n^d$ made of piecewise geodesic antipodal spheres in the round sphere is weakly homotopy equivalent to its order complex. The chirotope of every such sphere is recovered from the degrees of its coordinate projections. We then analyse a strategy based on the mean curvature flow. Any argument that follows the combinatorial type of a sphere generically along the flow would connect every uniform oriented matroid to a realizable one by mutations. By a theorem of Gu and Knauer this is impossible in every rank $r\ge7$ on $n\ge r+17$ elements, so the flow must leave the oriented matroids. We show that the basin hypothesis of the flow, together with the property that $\|\AM_n^d\|$ is a homology manifold, implies $\|\AM_n^d\|\simeq G(d,n-1)$, without following types along the flow. We conclude with the open problems and conjectures that remain.

math.AT↗

arXiv2026

Units of $\mathbb{Z}/n\mathbb{Z}$-equivariant $K$-theory and bundles of UHF-algebras

We consider infinite tensor product actions of a finite cyclic group $G$ on the UHF-algebra $D = \text{End}(V)^{\otimes \infty}$ for a finite-dimensional projectively faithful unitary $G$-representation $V$ and determine the equivariant homotopy type of the group $\text{Aut}(D \otimes \mathbb{K})$, where $\mathbb{K}$ are the compact operators on $\ell^2(G) \otimes H_0$ for a separable Hilbert space $H_0$ with $\dim(H_0) = \infty$. We show that this group carries an equivariant infinite loop space structure revealing it as the first space of a naive $G$-spectrum. We identify this spectrum with the positive units $gl_1(KU^D)_+$ of equivariant $KU^D$-theory, which was not possible in the case of circle actions considered by Evans and the second author. Here, $KU^D$ is a $G$-spectrum representing $X \mapsto K_*^G(C(X) \otimes D)$. As a consequence the first group of the cohomology theory associated to $gl_1(KU^D)_+$ classifies equivariant $D \otimes \mathbb{K}$-bundles over finite $G$-CW-complexes.

math.AT↗

arXiv2026

Equivariant bordism rigidity for toric manifolds

In this paper, we develop a bordism-theoretic approach to rigidity problems for toric and quasitoric manifolds. We prove that two toric manifolds are isomorphic as varieties if and only if they are weakly equivariantly unitary bordant. We also establish a parallel rigidity result for omnioriented quasitoric manifolds satisfying the injectivity condition, showing that their equivariant unitary bordism classes completely determine their omniorientation-preserving equivariant homeomorphism types. Thus, equivariant bordism provides a topological framework for detecting geometric and combinatorial rigidity.

math.AT↗