No Access

Quasirationality and prounipotent crossed modules

A. M. Mikhovich

A. M. Mikhovich

Faculty of Mechanics and Mathematics, Department of Geometry and Topology, Lomonosov Moscow State University, Russia

E-mail Address: mikhandr@mail.ru

Search for more papers by this author

https://doi.org/10.1142/S0218216519400121Cited by:0 (Source: Crossref)

This article is part of the issue:

Special Issue: Knots, Low-Dimensional Topology and Applications — Part II

Abstract

We study quasirational (QR) presentations of (pro- $p$ $p$ )groups, which contain aspherical presentations and their subpresentations, and also still mysterious pro- $p$ $p$ -groups with a single defining relation. Using schematization of QR-presentations and embedding of the rationalized module of relations into a diagram related to a certain prounipotent crossed module, we derive cohomological properties of pro- $p$ $p$ -groups with a single defining relation.

Keywords:

AMSC: 20E18, 20F05, 55P62

References

1. E. Abe, Hopf Algebras (Cambridge University Press, 1977). Google Scholar
2. M. Andre, Methode simpliciale en algebre homologigue et algebre commutative, Lecture Notes in Mathematics, Vol. 37 (Springer-Verlag, Berlin, 1967). Google Scholar
3. R. Brown and J. Huebschmann, Identities among relations, Low-Dimensional Topology, Lecture Notes Series, Vol. 48, (London Mathematical Society, 1982), pp. 153–202. Crossref, Google Scholar
4. R. Brown and J.-L. Loday, Van Kampen Theorems for diagrams of spaces, Topology 26 (1987) 311–337. Crossref, Web of Science, Google Scholar
5. P. Cartier, A primer of Hopf algebras, in Frontiers in Number Theory, Physics, and Geometry II, P. Cartier, P. Moussa, B. Julia and P. Vanhove (eds.) (Springer, Berlin, Heidelberg, 2007). Crossref, Google Scholar
6. P. Deligne and J. Milne, Tannakian categories, in Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics, Vol. 900 (Springer, 1982), pp. 101–228. Crossref, Google Scholar
7. J. Diedonne, Introduction to the Theory of Formal Groups (Marcel Dekker Inc., 1973). Google Scholar
8. K. Gruenberg, Relation Modules of Finite Groups, Reginal Conference Series in Mathematics, Vol. 25 (American Mathematical Society, 1976). Crossref, Google Scholar
9. P. G. Goerss and J. F. Jardine, Simplicial Homotopy Theory, Progress in Mathematics, Vol. 174 (Birkhäuser Verlag, Basel, 1999). Crossref, Google Scholar
10. R. Hain, Algebraic cycles and variations of mixed Hodge structure, in Complex Geometry and Lie Theory, Proceedings Symposia in Pure Mathematics, Vol. 53 (American Mathematical Society, 1991), pp. 175–221. Crossref, Google Scholar
11. R. Hain and M. Matsumoto, Weighted completion of Galois groups and Galois actions on the fundamental group of $ℙ^{1} - {0, 1, \infty}$ , Compos. Math. 139(2) (2003) 119–167. Crossref, Web of Science, Google Scholar
12. K. P. Knudson, Relative completions and the cohomology of linear groups over local rings, J. London Math. Soc. 65 (2002) 183–203. Crossref, Web of Science, Google Scholar
13. H. Koch, Galois Theory of p-Extensions (Springer, 2002). Crossref, Google Scholar
14. J. Labute, Algèbres de Lie et pro- $p$ -groupes définis par une seule relation, Inventi. Math. 4(2) (1967) 142–158. Crossref, Google Scholar
15. P. Linnel and T. Schick, Finite group extensions and the Atiyah conjecture, J. Amer. Math. Soc. 20 (2007) 1003–1051. Crossref, Web of Science, Google Scholar
16. S. Mac Lane, Categories for the Working Mathematician (Springer Verlag, 1971). Crossref, Google Scholar
17. O. V. Mel’nikov, Aspherical pro- $p$ -groups, Sb. Math. 193(11) (2002) 1639–1670. Crossref, Web of Science, Google Scholar
18. A. Mikhovich, Homotopy of profinite groups, preprint (2012), arXiv:1205.4365. Google Scholar
19. A. Mikhovich, Quasirational relation modules and $p$ -adic Malcev completions, Topol. Appl. 201 (2016) 86–91. Crossref, Web of Science, Google Scholar
20. A. Mikhovich, Proalgebraic Crossed Modules of Quasirational Presentations, in Extended Abstracts Spring 2015 eds. D. Herbera, W. Pitsch and S. Zarzuela, Trends in Mathematics, Vol. 5 (Birkhäuser, Cham, 2016). Crossref, Google Scholar
21. A. Mikhovich, Quasirationality and aspherical (pro- $p$ -) presentations, Math. Notes 105(4) (2019) 553–563, http://dx.doi.org/10.4213/mzm11941. Web of Science, Google Scholar
22. A. Mikhovich, Identity Theorem for pro- $p$ -groups, in Knots, Low-Dimensional Topology and Applications, Springer Proceedings in Mathematics and Statistics, eds. C. Adams et al., (2019). Crossref, Google Scholar
23. J. Milne, Algebraic groups, Lie groups and their arithmetic subgroups (Springer, Cham), http://www.jmilne.org/math/CourseNotes/ALA.pdf. Google Scholar
24. A. Mutlu and T. Porter, Free crossed resolutions from simplicial resolutions with given $C W$ -basis, Cahi. Topology et Géom. Diff. Catégoriques 40(4) (1999) 261–283. Google Scholar
25. D. Passman, The Algebraic Structure of Group Rings, Pure and Applied Mathematics, (Wiley-Interscience, 1977). Google Scholar
26. T. Porter, Profinite algebraic homotopy, http://ncatlab.org/timporter/files/ProfAlgHomotopy.pdf. Google Scholar
27. J. P. Pridham, On the $l$ -adic pro–algebraic and relative pro– $l$ -fundamental groups, Arithmetics of Fundamental Groups, Contributions in Mathematical and Computational Sciences, Vol. 2 (Springer, 2012), pp. 245–279. Crossref, Google Scholar
28. D. Quillen, Rational homotopy theory, Ann. Math. 90(2) (1969) 205–295. Crossref, Web of Science, Google Scholar
29. L. Ribes and P. Zalesskii, Profinite Groups, A Series of Modern Surveys in Mathematics, Vol. 40 (Springer, 2000). Crossref, Google Scholar
30. N. Romanovskii, On pro- $p$ -groups with a single defining relator, Israel J. Math. 78(1) (1992) 65–73. Crossref, Web of Science, Google Scholar
31. Serre, Jean-Pierre. Structure de certains pro- $p$ -groupes, in Sminaire Bourbaki: Annes 1962/63–1963/64, exposs 241–276, Sminaire Bourbaki, no. 8 (1964), Talk no. 252, pp. 145-155, http://www.numdam.org/item/. Google Scholar
32. A. Vezzani, The pro-unipotent completion, Collected Works, Vol. 3 (MTsNMO, Moscow, 2007), http://users.mat.unimi.it/users/vezzani/Files/Research/prounipot-ent.pdf. Google Scholar
33. W. Waterhouse, Introduction to Affine Group Schemes (Springer, 1979). Crossref, Google Scholar
34. C. Weibel, An introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, Vol. 38 (Cambridge University Press, 1994). Crossref, Google Scholar