Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

Hyperbolic spaces at large primes and a conjecture of Moore

A simply connected finite complex X is called elliptic if its rational homotopy Lie algebra is of finite dimension and hyperbolic otherwise. According to a conjecture of Moore, there exists an exponent for the p-torsion part of if and only if X is elliptic. In this note, it is shown that, provided the prime p is sufficiently large, a hyperbolic space with p-torsion free loop space homology has no exponent in the p-torsion of the homotopy groups. For a class of formal spaces, this result is obtained for every odd prime.     

On 2-dimensional Nonaspherical Cell-like Peano Continua: A Simplified Approach

We construct a functor AC(?, ?) from the category of path connected spaces X with a base point x to the category of simply connected spaces. The following are the main results of the paper: (i) If X is a Peano continuum then AC(X, x) is a cell-like Peano continuum; (ii) If X is n-dimensional then AC(X, x) is (n + 1)?dimensional; and (iii) For a path connected space X, π ₁(X, x) is trivial if and only if π ₂(AC(X, x)) is trivial. As a corollary, AC(S ¹, x) is a 2-dimensional nonaspherical cell-like Peano continuum.     

The tangential end fibration of an aspherical Poincaré complex

We construct a sphere fibration over a finite aspherical Poincaré complex X, which we call the tangential end fibration, under the condition that the universal cover of X is forward tame and simply connected at infinity. We show that it is tangent to X if the formal dimension of X is even or, when the formal dimension is odd, if the diagonal X→X×X admits a Poincaré embedding structure.     

A note on localizations of mapping spaces

We show that if A is a simply connected, finite, pointed CW-complex, then the mapping spaces Map_*(A,X) are preserved by the localization functors only if A has the rational homotopy type of a wedge of spheres V _l S ^k .     

Rational homotopy theory for non-simply connected spaces

We construct an algebraic rational homotopy theory for all connected CW spaces (with arbitrary fundamental group) whose universal cover is rationally of finite type. This construction extends the classical theory in the simply connected case and has two basic properties: (1) it induces a natural equivalence of the corresponding homotopy category to the homotopy category of spaces whose universal cover is rational and of finite type and (2) in the algebraic category, homotopy equivalences are isomorphisms. This algebraisation introduces a new homotopy invariant: a rational vector bundle with a distinguished class of linear connections.

     

The homology of a lattice

With each bounded lattice L is associated a simplicial complex K_L. If X is a cross-cut of L, then a simplicial complex K_X is defined. It is shown that the geometric realizations of K_X and K_L are homotopy equivalent.     

On homotopy groups of quandle spaces and the quandle homotopy invariant of links

For a quandle X, the quandle space BX is defined, modifying the rack space of Fenn, Rourke and Sanderson (1995) [13], and the quandle homotopy invariant of links is defined in Z[π₂(BX)], modifying the rack homotopy invariant of Fenn, Rourke and Sanderson (1995) [13]. It is known that the cocycle invariants introduced in Carter et al. (2005) [3], Carter et al. (2003) [5], Carter et al. (2001) [6] can be derived from the quandle homotopy invariant.In this paper, we show that, for a finite quandle X, π₂(BX) is finitely generated, and that, for a connected finite quandle X, π₂(BX) is finite. It follows that the space spanned by cocycle invariants for a finite quandle is finitely generated. Further, we calculate π₂(BX) for some concrete quandles. From the calculation, all cocycle invariants for those quandles are concretely presented. Moreover, we show formulas of the quandle homotopy invariant for connected sum of knots and for the mirror image of links.     

A discrete homotopy theory for binary reflexive structures

We present a simple combinatorial construction of a sequence of functors σ_k from the category of pointed binary reflexive structures to the category of groups. We prove that if the relational structure is a poset P then the groups are (naturally) isomorphic to the homotopy groups of P when viewed as a topological space with the topology of ideals, or equivalently, to the homotopy groups of the simplicial complex associated to P. We deduce that the group σ_k(X,x₀) of the pointed structure (X,x₀) is (naturally) isomorphic to the kth homotopy group of the simplicial complex of simplices of X, i.e. those subsets of X which are the homomorphic image of a finite totally ordered set.     

LS category of classifying spaces and 2-cones

LetX be a simply connected space of LS category two. We show that the LS category ofB aut X is not finite whenX is not coformal or satisfies Poincaré duality.     

Derivations, the Lawrence–Sullivan interval and the Fiorenza–Manetti mapping cone

We describe the rational homotopy type of any component of the based mapping space map^*(X,Y) as an explicit L _∞ algebra defined on the (desuspended and positive) derivations between Quillen models of X and Y. When considering the Lawrence–Sullivan model of the interval, we obtain an L _∞ model of the contractible path space of Y. We then relate this, in a geometrical and natural manner, to the L _∞ structure on the Fiorenza–Manetti mapping cone of any differential graded Lie algebra morphism, two in principal different algebraic objects in which Bernoulli numbers appear.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.     

Lusternik-Schnirelmann category of a sphere-bundle over a sphere

We determine the Lusternik-Schnirelmann (L-S) category of a total space of a sphere-bundle over a sphere in terms of primary homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we obtain a necessary and sufficient condition for a total space N to have the same L-S category as its ‘once punctured submanifold’ N\{P},P∈N. Also, necessary and sufficient conditions for a total space M to satisfy Ganea's conjecture are described.     

Applications of balanced pairs

Let (X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to (X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y (resp. Y-coresolution dimension of X) is finite, then the bounded homotopy category of Y (resp. X) is contained in that of X (resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.     

Realization of 2-solvable nilpotent groups as groups of classes of homotopy self-equivalences

Let X be a 1-connected CW-complex of finite type and ε_?(X) be the group of homotopy classes of self-equivalences of X which induce the identity on homotopy groups. In this paper, we prove that every finitely generated 2-solvable rational nilpotent group is realizable as ε_?(X) where X is the rationalization of a 1-connected CW-complex of finite type.     

Simple homotopy types and finite spaces

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse X↘Y of finite spaces induces a simplicial collapse K(X)↘K(Y) of their associated simplicial complexes. Moreover, a simplicial collapse K↘L induces a collapse X(K)↘X(L) of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. This class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.     

A Van Kampen theorem for π2

If the path connected topological space X has a countable open cover $\text{U}$ with path connected elements, then π₂(X,1) is computed as a colimit determined by the second homotopy groups of the intersection of elements of $\text{U}$ and the indices of the fundamental group injections of these intersections into the fundamental group of X. Aside from assuming that the inclusions induce such monomorphisms, certain other inclusions are also required to induce monomorphisms of fundamental groups and restrictions are placed on the arrangement of the elements of $\text{U}$.     

Estimates of sections of determinant line bundles on Moduli spaces of pure sheaves on algebraic surfaces

Let X be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on X, i.e. ${M_X^H(u)}$ with u?=?(0, L, χ(u)?=?0) and L an effective line bundle on X, together with a series of determinant line bundles associated to ${r[\mathcal{O}_X]-n[\mathcal{O}_{pt}]}$ in the Grothendieck group of X. Let g _L denote the arithmetic genus of curves in the linear system |L|. For g _L ?≤?2, we give a upper bound of the dimensions of sections of these line bundles by restricting them to a generic projective line in |L|. Our result gives, together with G?ttsche’s computation, a first step of a check for the strange duality for some cases for X a rational surface.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.