English

Effective generalized Seifert-Van Kampen: how to calculate $\Omega X$

q-alg 2007-05-23 v2 Quantum Algebra

Abstract

Suppose XX is a 1-connected simplicial set with finitely many nondegenerate simplices. We give an effective algorithm to calculate a simplicial set with the nn-type of the loop space ΩX\Omega X. Iterating gives an algorithm to calculate the πi(X)\pi_i(X), different from the algorithms already known due to E. Brown and Kan-Curtis. The method is an effective version of the generalized Seifert-Van Kampen theorem of alg-geom/9704006. This can be viewed as a Van Kampen statement concerning the loop space ΩX\Omega X with its delooping structure. We use Segal's delooping machinery but at the end we speculate on extensions to other delooping machinery.

Keywords

Cite

@article{arxiv.q-alg/9710011,
  title  = {Effective generalized Seifert-Van Kampen: how to calculate $\Omega X$},
  author = {Carlos Simpson},
  journal= {arXiv preprint arXiv:q-alg/9710011},
  year   = {2007}
}

Comments

Fixes a notational error in the example: \wedge now replaced by \vee. 40 pages