Matches in SemOpenAlex for { <https://semopenalex.org/work/W2626903873> ?p ?o ?g. }
- W2626903873 abstract "We initiate the study of higher dimensional topological finiteness properties of monoids. This is done by developing the theory of monoids acting on CW complexes. For this we establish the foundations of $M$-equivariant homotopy theory where $M$ is a discrete monoid. For projective $M$-CW complexes we prove several fundamental results such as the homotopy extension and lifting property, which we use to prove the $M$-equivariant Whitehead theorems. We define a left equivariant classifying space as a contractible projective $M$-CW complex. We prove that such a space is unique up to $M$-homotopy equivalence and give a canonical model for such a space via the nerve of the right Cayley graph category of the monoid. The topological finiteness conditions left-$mathrm{F}_n$ and left geometric dimension are then defined for monoids in terms of existence of a left equivariant classifying space satisfying appropriate finiteness properties. We also introduce the bilateral notion of $M$-equivariant classifying space, proving uniqueness and giving a canonical model via the nerve of the two-sided Cayley graph category, and we define the associated finiteness properties bi-$mathrm{F}_n$ and geometric dimension. We explore the connections between all of the these topological finiteness properties and several well-studied homological finiteness properties of monoids which are important in the theory of string rewriting systems, including $mathrm{FP}_n$, cohomological dimension, and Hochschild cohomological dimension. We also develop the corresponding theory of $M$-equivariant collapsing schemes (that is, $M$-equivariant discrete Morse theory), and among other things apply it to give topological proofs of results of Anick, Squier and Kobayashi that monoids which admit presentations by complete rewriting systems are left-, right- and bi-$mathrm{FP}_infty$." @default.
- W2626903873 created "2017-06-23" @default.
- W2626903873 creator A5056602969 @default.
- W2626903873 creator A5066454537 @default.
- W2626903873 date "2017-06-14" @default.
- W2626903873 modified "2023-09-27" @default.
- W2626903873 title "Topological finiteness properties of monoids. Part 1: Foundations" @default.
- W2626903873 cites W1447996413 @default.
- W2626903873 cites W1487875360 @default.
- W2626903873 cites W1496412704 @default.
- W2626903873 cites W1525008043 @default.
- W2626903873 cites W1564361338 @default.
- W2626903873 cites W1596691285 @default.
- W2626903873 cites W1597998415 @default.
- W2626903873 cites W1965290549 @default.
- W2626903873 cites W1966354383 @default.
- W2626903873 cites W1966772071 @default.
- W2626903873 cites W1978343152 @default.
- W2626903873 cites W1978602349 @default.
- W2626903873 cites W1991981138 @default.
- W2626903873 cites W2007358421 @default.
- W2626903873 cites W2008459529 @default.
- W2626903873 cites W2012833225 @default.
- W2626903873 cites W2019271765 @default.
- W2626903873 cites W2023850992 @default.
- W2626903873 cites W2028410143 @default.
- W2626903873 cites W2041151288 @default.
- W2626903873 cites W2041757706 @default.
- W2626903873 cites W2045097502 @default.
- W2626903873 cites W2053369489 @default.
- W2626903873 cites W2054360498 @default.
- W2626903873 cites W2064252521 @default.
- W2626903873 cites W2069756949 @default.
- W2626903873 cites W2073121395 @default.
- W2626903873 cites W2081812857 @default.
- W2626903873 cites W2086679896 @default.
- W2626903873 cites W2087690917 @default.
- W2626903873 cites W2087939252 @default.
- W2626903873 cites W2092347581 @default.
- W2626903873 cites W2093120826 @default.
- W2626903873 cites W2101570837 @default.
- W2626903873 cites W2122778257 @default.
- W2626903873 cites W2130392945 @default.
- W2626903873 cites W2130762722 @default.
- W2626903873 cites W2132707916 @default.
- W2626903873 cites W2158700102 @default.
- W2626903873 cites W2320881711 @default.
- W2626903873 cites W2326630299 @default.
- W2626903873 cites W2578181793 @default.
- W2626903873 cites W3122388535 @default.
- W2626903873 cites W2007126824 @default.
- W2626903873 cites W2159014354 @default.
- W2626903873 cites W70656773 @default.
- W2626903873 hasPublicationYear "2017" @default.
- W2626903873 type Work @default.
- W2626903873 sameAs 2626903873 @default.
- W2626903873 citedByCount "1" @default.
- W2626903873 countsByYear W26269038732018 @default.
- W2626903873 crossrefType "posted-content" @default.
- W2626903873 hasAuthorship W2626903873A5056602969 @default.
- W2626903873 hasAuthorship W2626903873A5066454537 @default.
- W2626903873 hasConcept C114614502 @default.
- W2626903873 hasConcept C169611556 @default.
- W2626903873 hasConcept C171036898 @default.
- W2626903873 hasConcept C184720557 @default.
- W2626903873 hasConcept C202444582 @default.
- W2626903873 hasConcept C206901836 @default.
- W2626903873 hasConcept C2778332477 @default.
- W2626903873 hasConcept C33923547 @default.
- W2626903873 hasConcept C5961521 @default.
- W2626903873 hasConcept C78606066 @default.
- W2626903873 hasConcept C81332173 @default.
- W2626903873 hasConceptScore W2626903873C114614502 @default.
- W2626903873 hasConceptScore W2626903873C169611556 @default.
- W2626903873 hasConceptScore W2626903873C171036898 @default.
- W2626903873 hasConceptScore W2626903873C184720557 @default.
- W2626903873 hasConceptScore W2626903873C202444582 @default.
- W2626903873 hasConceptScore W2626903873C206901836 @default.
- W2626903873 hasConceptScore W2626903873C2778332477 @default.
- W2626903873 hasConceptScore W2626903873C33923547 @default.
- W2626903873 hasConceptScore W2626903873C5961521 @default.
- W2626903873 hasConceptScore W2626903873C78606066 @default.
- W2626903873 hasConceptScore W2626903873C81332173 @default.
- W2626903873 hasLocation W26269038731 @default.
- W2626903873 hasOpenAccess W2626903873 @default.
- W2626903873 hasPrimaryLocation W26269038731 @default.
- W2626903873 hasRelatedWork W1539823052 @default.
- W2626903873 hasRelatedWork W1621130646 @default.
- W2626903873 hasRelatedWork W1644524674 @default.
- W2626903873 hasRelatedWork W1993700317 @default.
- W2626903873 hasRelatedWork W2060217940 @default.
- W2626903873 hasRelatedWork W2100984005 @default.
- W2626903873 hasRelatedWork W2103358417 @default.
- W2626903873 hasRelatedWork W2153989152 @default.
- W2626903873 hasRelatedWork W2157756491 @default.
- W2626903873 hasRelatedWork W2203626205 @default.
- W2626903873 hasRelatedWork W2611280375 @default.
- W2626903873 hasRelatedWork W2915678888 @default.
- W2626903873 hasRelatedWork W2949956442 @default.
- W2626903873 hasRelatedWork W2969632132 @default.