Continuous Comparison of Free Simplicial Prounipotent and Pro-p Resolutions
Abstract
We give a continuous version of the comparison theorem for free simplicial resolutions in the categories of prounipotent groups over a field of characteristic zero and of pro-p groups. The resolutions carry free bases compatible with degeneracies; their ranks may be infinite. In characteristic zero the lifting step follows from continuous linear splittings and the universal property of completed free Lie algebras. In the pro-p case it follows from the classical projectivity of free pro-p groups. A relative lifting argument and an explicit simplicial cylinder establish homotopy uniqueness. We formulate the free bases using actual surjections in the simplex category, so degeneracy words related by simplicial identities are identified from the outset, and we spell out the full matching objects used in the lifting argument. The question arose naturally in our preceding work on Bousfield--Kan completions of subcontractible presentations.
Related
- Linear resolutions of powers of edge ideals of gap-free graphs with matching number four
- Free bifibrations of (∞,2)-categories, 2-simplicial objects and the walking adjunction
- Uniqueness and comparison principle for Trudinger's parabolic equation with Hölder continuous boundary values
- Comparison inequalities for discrete- and continuous-time infection processes
- Influence of continuous predictor modelling methods on prediction stability in clinical prediction model development: an empirical comparison using real clinical data
BibTeX
@misc{mikhovich2026continuous,
title = {{Continuous Comparison of Free Simplicial Prounipotent and Pro-$p$ Resolutions}},
author = {Andrey Mikhovich},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.21513},
eprint = {2609.21513},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.21513},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Continuous Comparison of Free Simplicial Prounipotent and Pro-p Resolutions
AU - Andrey Mikhovich
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2609.21513
UR - https://arxiv.org/abs/2609.21513
AB - We give a continuous version of the comparison theorem for free simplicial resolutions in the categories of prounipotent groups over a field of characteristic zero and of pro-p groups. The resolutions carry free bases compatible with degeneracies; their ranks may be infinite. In characteristic zero the lifting step follows from continuous linear splittings and the universal property of completed free Lie algebras. In the pro-p case it follows from the classical projectivity of free pro-p groups. A relative lifting argument and an explicit simplicial cylinder establish homotopy uniqueness. We formulate the free bases using actual surjections in the simplex category, so degeneracy words related by simplicial identities are identified from the outset, and we spell out the full matching objects used in the lifting argument. The question arose naturally in our preceding work on Bousfield--Kan completions of subcontractible presentations.
ER -