Journal of Homotopy and Related Structures最新文献

In this paper we introduce concepts of higher equivariant and invariant topological complexities and study their properties. Then we compare them with equivariant LS-category. We give lower and upper bounds for these new invariants. We compute some of these invariants for moment angle complexes.

We prove that in formal dimension (le 20) the Hilali conjecture holds, i.e. that the total dimension of the rational homology bounds from above the total dimension of the rational homotopy for a simply connected rationally elliptic space.

We define twisted composition products of symmetric sequences via classifying morphisms rather than twisting cochains. Our approach allows us to establish an adjunction that simultaneously generalizes a classic one for algebras and coalgebras, and the bar-cobar adjunction for quadratic operads. The comonad associated to this adjunction turns out to be, in several cases, a standard Koszul construction. The associated Kleisli categories are the “strong homotopy” morphism categories. In an appendix, we study the co-ring associated to the canonical morphism of cooperads , which is exactly the two-sided Koszul resolution of the associative operad , also known as the Alexander-Whitney co-ring.

Let G be discrete group and (mathcal F) be a collection of subgroups of G. We show that there exists a left induced model structure on the category of right G-simplicial sets, in which the weak equivalences and cofibrations are the maps that induce weak equivalences and cofibrations on H-orbits for all H in (mathcal F). This gives a model categorical criterion for maps that induce weak equivalences on H-orbits to be weak equivalences in the (mathcal F)-model structure.

Given a fusion system ({mathcal {F}}) defined on a p-group S, there exist infinite group models, constructed by Leary and Stancu, and Robinson, that realize ({mathcal {F}}). We study these models when ({mathcal {F}}) is a fusion system of a finite group G and prove a theorem which relates the cohomology of an infinite group model (pi ) to the cohomology of the group G. We show that for the groups GL(n,?2), where (nge 5), the cohomology of the infinite group obtained using the Robinson model is different than the cohomology of the fusion system. We also discuss the signalizer functors (Prightarrow Theta (P)) for infinite group models and obtain a long exact sequence for calculating the cohomology of a centric linking system with twisted coefficients.

Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. Despite the fact that the usual binary operation of the fundamental group determines the operation of the fundamental groupoid, we show that, for a locally path-connected metric space, the well-definedness of countable dense products in the fundamental group need not imply the well-definedness of countable dense products in the fundamental groupoid. Additionally, we show the fundamental groupoid (Pi _1(X)) has well-defined dense products if and only if X admits a generalized universal covering space.

We formulate the concept of minimal fibration in the context of fibrations in the model category ({mathbf {S}}^{mathcal {C}}) of ({mathcal {C}})-diagrams of simplicial sets, for a small index category ({mathcal {C}}). When ({mathcal {C}}) is an EI-category satisfying some mild finiteness restrictions, we show that every fibration of ({mathcal {C}})-diagrams admits a well-behaved minimal model. As a consequence, we establish a classification theorem for fibrations in ({mathbf {S}}^{mathcal {C}}) over a constant diagram, generalizing the classification theorem of Barratt, Gugenheim, and Moore for simplicial fibrations (Barratt?et?al. in Am J Math 81:639–657, 1959).

We exploit the equivalence between t-structures and normal torsion theories on a stable (infty )-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded t-structures in terms of their hearts, their associated cohomology functors, semiorthogonal decompositions, and the theory of tiltings, as well as the more recent notion of Bridgeland’s slicings, are all particular instances of a single construction, namely, the tower of a morphism associated with a J-slicing of a stable (infty )-category , where J is a totally ordered set equipped with a monotone (mathbb {Z})-action.

We use equivariant surgery to classify all involutions on closed surfaces, up to isomorphism. Work on this problem is classical, dating back to the nineteenth century, with a complete classification finally appearing in the 1990s. In this paper we give a different approach to the classification, using techniques that are more accessible to algebraic topologists as well as a new invariant (which we call the double-Dickson invariant) for distinguishing the “hard” cases.