Related papers: Hurewicz-Serre Theorem in extension theory
We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…
We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…
Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension not greater than L contains a universal element which is an absolute extensor in dimension L. Our main result shows…
We develop a generalized Floquet-Bloch theory for discrete torsion-free nilpotent groups by exploiting their Malcev completions. Our main result is a branching formula that relates finite-dimensional representations of a discrete nilpotent…
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 introduce in this paper the notion of noncommutative Serre fibration (shortly, NCSF) and show that up to homotopy, every NCCW complex morphism is some noncommutative Serre fibration. We then deduce a six-term exact sequence for the…
This paper generalises the result of Jean-Pierre Demailly on his Ohsawa--Takegoshi-type $L^2$ extension theorem, which guarantees holomorphic extensions for some sections $f$ on analytic subspaces $Y$ defined by multiplier ideal sheaves of…
This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…
For every simplicial complex X, we construct a locally CAT(0) cubical complex T_X, a cellular isometric involution i on T_X and a map t_X from T_X to X with the following properties: t_Xi = t_X; t_X is a homology isomorphism; the induced…
We give estimates for the torsion in the Postnikov sections $\tau_{[1, n]} S^0$ of the sphere spectrum, and show that the $p$-localization is annihilated by $p^{n/(2p-2) + O(1)}$. This leads to explicit bounds on the exponents of the kernel…
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…
We prove in this paper a noncommutative version of Leray Spectral Sequence Theorem and then Leray-Serre Spectral Theorem for noncommutative Serre fibrations: for NC Serre fibration there are converging spectral sequences with $\E^2$ terms…
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…
We prove a general extension theorem for holomorphic line bundles on reduced complex spaces, equipped with singular hermitian metrics, whose curvature currents can be extended as positive, closed currents. The result has applications to…
Consider an extension of finite dimensional nilpotent Lie algebras $0 \to \mathfrak{h} \to \tilde{\mathfrak{g}} \to \mathfrak{g} \to 0$ (over a field $k$ of characteristic zero) corresponding to an extension of unipotent algebraic groups $1…
A space $X$ is projectively Hurewicz provided every separable metrizable continuous image of $X$ is Hurewicz. In this paper we prove that the projectively Hurewicz property is $t$-invariant, i.e., if $C_p(X)$ is homeomorphic to $C_p(Y)$ and…
Let \Omega X be the space of Moore loops on a finite, q-connected, n-dimensional CW complex X, and let R be a subring of Q containing 1/2. Let p(R) be the least non-invertible prime in R. For a graded R-module M of finite type, let FM = M /…
Let $f:E\longrightarrow O$ be a Hurewicz fibration with a fiber space $F_{r_{o}}$ and a lifting function $L_{f}$. The \emph{$Lf-$function} $\Theta_{L_{f}}$ of $f$ is defined by the restriction map of $L_{f}$ on the space…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
The Lewy extension theorem asserts the holomorphic extendability of CR functions defined in a neighborhood of a point on a hypersurface in C^{n+1}. The edge-of-the-wedge theorem asserts the extendability of holomorphic functions defined in…