Related papers: Cochains and Homotopy Type

We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups.

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the…

The semigroup of the homotopy classes of the self-homotopy maps of a finite complex which induce the trivial homomorphism on homotopy groups is nilpotent. We determine the nilpotency of these semigroups of compact Lie groups and finite Hopf…

Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined…

We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$…

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…

Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We prove that the singular cohomology with finite coefficients of a finite-dimensional Stein space $S$ is isomorphic to the \'etale cohomology of the Stein algebra $\mathcal{O}(S)$. We deduce that any class in $H^k(S,\mathbb{Z})$ comes from…

Given two nilpotent endomorphisms, we determine when their lattices of hyperinvariant subspaces are isomorphic. The study of the lattice of hyperinvariant subspaces can be reduced to the nilpotent case when the endomorphism has a…

We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical…

Let $X$ be a nilpotent space such that there exists $N\geq 1$ with $H^N(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>N$. Let $Y$ be a m-connected space with $m\geq N+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit…

To every homotopy n-nilpotent group, defined in earlier work by Dwyer and the author, we associate an endofunctor of pointed spaces and prove that it is looped and n-excisive. As a tool we prove that $\Omega P_n({\rm id})$ commutes with…

This paper further investigates the implications of quasinilpotent equivalence for (pairs of) elements belonging to the socle of a semisimple Banach algebra. Specifically, not only does quasinilpotent equivalence of two socle elements imply…

We prove that the space of gauge equivalence classes of U(1)-invariant connections on some SU(2)-principle bundles over the 4-sphere S^4 is weakly homotopy equivalent to a component of the second loop space of the 2-sphere S^2.

A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying…

This paper deals with the variety of commutative nonassociative algebras satisfying the identity $L_x^3+ \gamma L_{x^3} = 0$, $\gamma \in K$. Correa et al proved that if $\gamma = 0,1$ then any such finitely generated algebra is nilpotent.…

Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to…