Infinitesimal calculations in fundamental groups
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917125889720320 |
|---|---|
| author | Gadish, Nir Ozbek, Aydin Sinha, Dev Walter, Ben |
| author_facet | Gadish, Nir Ozbek, Aydin Sinha, Dev Walter, Ben |
| contents | We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison cohomology as a universal dual object to the Malcev Lie algebra. This structural theorem supports explicit calculations in algebraic topology, geometric topology, and combinatorial group theory. In particular, we give the first algorithm to determine whether a power of a word is a k-fold nested commutator while encoding commutator structure in any group presented by generators and relations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_20264 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Infinitesimal calculations in fundamental groups Gadish, Nir Ozbek, Aydin Sinha, Dev Walter, Ben Algebraic Topology Group Theory Geometric Topology 20F40, 55P62, 57M07, 57M05, 55Q25, 55S30 We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison cohomology as a universal dual object to the Malcev Lie algebra. This structural theorem supports explicit calculations in algebraic topology, geometric topology, and combinatorial group theory. In particular, we give the first algorithm to determine whether a power of a word is a k-fold nested commutator while encoding commutator structure in any group presented by generators and relations. |
| title | Infinitesimal calculations in fundamental groups |
| topic | Algebraic Topology Group Theory Geometric Topology 20F40, 55P62, 57M07, 57M05, 55Q25, 55S30 |
| url | https://arxiv.org/abs/2403.20264 |