Related papers: Homology of infinite loop spaces

We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit…

Let X be a space and write LX for its free loop space equipped with the action of the circle group T given by dilation. We compute the equivariant cohomology H^*(LX_hT; Z/p) as a module over H^*(BT; Z/p) when X=CP^r for any positive integer…

Consider the mod 2 homology spectral sequence associated to a cosimplicial space X. We construct external operations whose target is the spectral sequence associated to E\Sigma_2 \times_{\Sigma_2} (X\times X). If X is a cosimplicial…

The loop space LP_1 of the Riemann sphere is an infinite dimensional complex manifold consisting of maps (loops) from S^1 to P_1 in some fixed C^k or Sobolev W^{k,p} space. In this paper we compute the Dolbeault cohomology groups…

We present an elementary and self-contained construction of $A_\infty$-algebras, $A_\infty$-bimodules and their Hochschild homology and cohomology groups. In addition, we discuss the cup product in Hochschild cohomology and the spectral…

Let $S$ denote the graded polynomial ring $\C[x_1,...,x_m]$. We interpret a chain complex of free $S$-modules having finite length homology modules as an $S^1$-equivariant map $\C^m\sm\{0\} \to X$, where $X$ is a moduli space of exact…

The symmetric homology of a unital associative algebra $A$ over a commutative ground ring $k$, denoted $HS_*(A)$, is defined using derived functors and the symmetric bar construction of Fiedorowicz. In this paper we show that $HS_*(A)$…

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

We prove that the group-homological version of the generalized Goncharov invariant of finite-volume locally rank one symmetric spaces determines their generalized Neumann-Yang invariant, which is defined using ideal fundamental cycles.

We define and develop a homotopy invariant notion for the sequential topological complexity of a map $f:X\to Y,$ denoted $TC_{r}(f)$, that interacts with $TC_{r}(X)$ and $TC_{r}(Y)$ in the same way Jamie Scott's topological complexity map…

We exhibit a finitely generated group $\M$ whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface $\su$ of infinite genus, and…

The space $\Gamma_X$ of all locally finite configurations in a Riemannian manifold $X$ of infinite volume is considered. The deRham complex of square-integrable differential forms over $\Gamma_X$, equipped with the Poisson measure, and the…

We prove that, for any infinite-type surface $S$, the integral homology of the closure of the compactly-supported mapping class group $\overline{\mathrm{PMap}_c(S)}$ and of the Torelli group $\mathcal{T}(S)$ is uncountable in every positive…

The symmetric $\mathfrak{gl}_n$-homologies, introduced by Robert and Wagner, provide a categorification of the Reshetikhin--Turaev invariants corresponding to symmetric powers of the standard representation of quantum $\mathfrak{gl}_n$.…

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…

We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…

The loop space $L\mathbb{P}_1$ of the Riemann sphere consisting of all $C^k$ or Sobolev $W^{k,p}$ maps from the circle $S^1$ to $\mathbb{P}_1$ is an infinite dimensional complex manifold. The loop group $LPGL(2,\mathbb{C})$ acts on…

Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…

Hyperoctahedral homology is the homology theory associated to the hyperoctahedral crossed simplicial group. It is defined for involutive algebras over a commutative ring using functor homology and the hyperoctahedral bar construction of…

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…