Abstract

A central problem of algebraic topology is to understand the homotopy groupspi _d(X) of a topological space X. For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental grouppi _1(X) of a given finite simplicial complex X is trivial. On the other hand, there are several algorithms that, given a finite simplicial complex X that is simply connected (i.e., with pi _1(X) trivial), compute the higher homotopy group pi _d(X) for any given dge 2. However, these algorithms come with a caveat: They compute the isomorphism type of pi _d(X), dge 2 as an abstract finitely generated abelian group given by generators and relations, but they work with very implicit representations of the elements of pi _d(X). Converting elements of this abstract group into explicit geometric maps from the d-dimensional sphere S^d to X has been one of the main unsolved problems in the emerging field of computational homotopy theory. Here we present an algorithm that, given a simply connected space X, computes pi _d(X) and represents its elements as simplicial maps from a suitable triangulation of the d-sphere S^d to X. For fixed d, the algorithm runs in time exponential in mathrm {size}(X), the number of simplices of X. Moreover, we prove that this is optimal: For every fixed dge 2, we construct a family of simply connected spaces X such that for any simplicial map representing a generator of pi _d(X), the size of the triangulation of S^d on which the map is defined, is exponential in mathrm {size}(X).

Highlights

  • One of the central concepts in topology are the homotopy groups πd (X ) of a topological space X

  • The algorithm runs in time exponential in size(X ), the number of simplices of X. We prove that this is optimal: For every fixed d ≥ 2, we construct a family of connected spaces X such that for any simplicial map representing a generator of πd (X ), the size of the triangulation of Sd on which the map is defined, is exponential in size(X )

  • A fundamental computational result about homotopy groups is negative: There is no algorithm to decide whether the fundamental group π1(X ) of a finite simplicial complex X is trivial, i.e., whether every continuous map from the circle S1 to X can be continuously contracted to a point; this holds even if X is restricted to be 2-dimensional

Read more

Summary

Introduction

One of the central concepts in topology are the homotopy groups πd (X ) of a topological space X. On the negative side, computing πd (X ) is #P-hard if d is part of the input (Anick 1989; Cadek et al 2013b) (and, W[1]-hard with respect to the parameter d Matoušek 2014), even if X is restricted to be 4-dimensional These results form part of a general effort to understand the computational complexity of topological questions concerning the classification of maps up to homotopy (Cadek et al 2013a, b, 2014a; Filakovský and Vokrínek 2013) and related questions, such as the embeddability problem for simplicial complexes (a higher-dimensional analogue of graph planarity) (Matoušek et al 2011, 2014; Cadek et al 2017)

Our results: representing homotopy classes by explicit maps
Source of the exponential
Computational homotopy theory and applications
Explicit maps
Open problems and future work
Quantitative homotopy theory
Structure of the paper
The algorithm in a nutshell
Our contributions
Definitions and preliminaries
Simplicial sets and their computer representation
Geometric realization
Simplicial complexes and simplicial sets
Homotopy groups
Effective homology
Eilenberg–MacLane spaces
Globally polynomial-time homology and related notions
Principal bundles and loop group complexes
Dwyer–Kan loop group construction
Loop contraction for simplicial complexes
Polynomial-time loop contraction
Proof of Theorem 1
Whitehead tower
Proof of Theorem B
Discussion on optimality
Effective Hurewicz inverse
Arrow 1
Arrow 2
Arrow 3
Berger’s model of the loop space
Universal preimage of a path
Algorithm from Lemma 14
Polynomial-time loop contraction in Fd
Notation
Loop contraction on F3
Technical statements
Computational complexity
Reconstructing a map to the original simplicial complex
Edgewise subdivision of simplicial complexes
Correctness
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call