Related papers: The Functor $A^{\min}$ for $(p-1)$-cell Complexes …
We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…
We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead…
We set up machinery for recognizing k-cellular modules and k-cellular approximations, where k is an R-module and R is either a ring or a ring-spectrum. Using this machinery we can identify the target of the Eilenberg-Moore cohomology…
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…
Let $A$ be a unital simple C*-algebra with tracial rank zero and $X$ be a compact metric space. Suppose that $h_1, h_2: C(X)\to A$ are two unital monomorphisms. We show that $h_1$ and $h_2$ are approximately unitarily equivalent if and only…
A contraction semigroup T on a Hilbert space H and its cogenerator S define an algebra, the limit algebra - which determines the structure of the subspace of weakly Poisson recurrent vectors and gives a necessary and sufficient condition…
Some sufficient conditions on a simplicial space $X$ guaranteeing that $X_1\simeq \Omega|X|$ were given by Segal. We give a generalization of this result for multisimplicial spaces. This generalization is appropriate for the reduced bar…
Let $X$ be a ball Banach function space on ${\mathbb R}^n$. Let $\Omega$ be a Lipschitz function on the unit sphere of ${\mathbb R}^n$,which is homogeneous of degree zero and has mean value zero, and let $T_\Omega$ be the convolutional…
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…
We study surface representatives of homology classes of finite complexes which minimize certain complexity measures, including its genus and Euler characteristic. Our main result is that up to surgery at nullhomotopic curves minimizers are…
Let $Z$ be an Ahlfors $Q$-regular compact metric measure space, where $Q>0$. For $p>1$ we introduce a new (fractional) Sobolev space $A^p(Z)$ consisting of functions whose extensions to the hyperbolic filling of $Z$ satisfies a weak-type…
Let $(X,+,d)$ be an Abelian metric group and $A\subset X$. We investigate the spectre of a set $A$, defined as the set of all elements $z\in X$ such that for every $x\in A$ either $x+z \in A$ or $x-z \in A$. We consider the corresponding to…
The complexity of a homogeneous space $G/H$ under a reductive group $G$ is by definition the codimension of generic orbits in $G/H$ of a Borel subgroup $B\subseteq G$. We give a representation-theoretic interpretation of this number as the…
We prove an analogue of the celebrated Hall-Higman theorem, which gives a lower bound for the degree of the minimal polynomial of any semisimple element of prime power order $p^{a}$ of a finite classical group in any nontrivial irreducible…
We introduce the abstract notion of a necklical set in order to describe a functorial combinatorial model of the path fibration over the geometric realization of a path connected simplicial set. In particular, to any path connected…
For a connected based space $X$, let $[X,X]$ be the set of all based homotopy classes of base point preserving self map of $X$ and let $\E(X)$ be the group of self-homotopy equivalences of $X$. We denote by $\A_{\sharp}^k(X)$ the set of…
The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of…
We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(k\rho )$, of lines inside…
We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well known connection between rotation of loops and the de Rham differential. Our main result, a categorification of the geometric…
We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.