We categorify the inclusion–exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.

For a partially multiplicative quandle (PMQ) ${\mathcal {Q}}$ we consider the topological monoid $\mathring {\mathrm {HM}}({\mathcal {Q}})$ of Hurwitz spaces of configurations in the plane with local monodromies in ${\mathcal {Q}}$. We compute the group completion of $\mathring {\mathrm {HM}}({\mathcal {Q}})$: it is the product of the (discrete) enveloping group ${\mathcal {G}}({\mathcal {Q}})$ with a component of the double loop space of the relative Hurwitz space $\mathrm {Hur}_+([0,1]^2,\partial [0,1]^2;{\mathcal {Q}},G)_{\mathbb {1}}$; here $G$ is any group giving rise, together with ${\mathcal {Q}}$, to a PMQ–group pair. Under the additional assumption that ${\mathcal {Q}}$ is finite and rationally Poincaré and that $G$ is finite, we compute the rational cohomology ring of $\mathrm {Hur}_+([0,1]^2,\partial [0,1]^2;{\mathcal {Q}},G)_{\mathbb {1}}$.

We determine when the integral homology of the classifying space of a $PU(n)$-gauge group over the sphere $S^2$ has torsion.

We develop two methods for expressing the global index of the gradient of a 2 variable polynomial function $f$: in terms of the atypical fibres of $f$, and in terms of the clusters of Milnor arcs at infinity. These allow us to derive upper bounds for the global index, in particular refining the one that was found by Durfee in terms of the degree of $f$.

We show that if an open set in $\mathbb{R}^d$ can be fibered by unit n-spheres, then $d \geq 2n+1$, and if $d = 2n+1$, then the spheres must be pairwise linked, and $n \in \left\{0, 1, 3, 7 \right\}$. For these values of n, we construct unit n-sphere fibrations in $\mathbb{R}^{2n+1}$.

We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

Given a group $G$ and an integer $n\geq 0$, we consider the family ${\mathcal F}_n$ of all virtually abelian subgroups of $G$ of $\textrm{rank}$ at most $n$. In this article, we prove that for each $n\ge 2$ the Bredon cohomology, with respect to the family ${\mathcal F}_n$, of a free abelian group with $\textrm{rank}$ $k \gt n$ is nontrivial in dimension $k+n$; this answers a question of Corob Cook et al. (Homology Homotopy Appl. 19(2) (2017), 83–87, Question 2.7). As an application, we compute the minimal dimension of a classifying space for the family ${\mathcal F}_n$ for braid groups, right-angled Artin groups, and graphs of groups whose vertex groups are infinite finitely generated virtually abelian groups, for all $n\ge 2$. The main tools that we use are the Mayer–Vietoris sequence for Bredon cohomology, Bass–Serre theory, and the Lück–Weiermann construction.

We identify the cohomology of the stable classifying space of homotopy automorphisms (relative to an embedded disk) of connected sums of ${\mathrm {S}^{k}} \times {\mathrm {S}^{l}}$, where $3 \le k < l \le 2k - 2$. The result is expressed in terms of Lie graph complex homology.

Let $\pi$ be a discrete group, and let $G$ be a compact-connected Lie group. Then, there is a map $\Theta \colon \mathrm {Hom}(\pi,G)_0\to \mathrm {map}_*(B\pi,BG)_0$ between the null components of the spaces of homomorphisms and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $\pi$ a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map $\Theta$ is surjective in rational cohomology for $\pi =\mathbb {Z}^m$ and the classical group $G$ except for $SO(2n)$, and that it is not surjective for $\pi =\mathbb {Z}^m$ with $m\ge 3$ and $G=SO(2n)$ with $n\ge 4$. As an application, we consider the surjectivity of the map $\Theta$ in rational cohomology for $\pi$ a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map $\Theta$ in rational homotopy groups for $\pi =\mathbb {Z}^m$ and the classical groups $G$ except for $SO(2n)$.

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localization, analogous results to those obtained in the category of groups hold, and we provide existence theorems for certain localization functors in specific semi-abelian categories. We prove that a Birkhoff subcategory of an ideal determined category yields a conditionally flat localization, and explain how conditional flatness corresponds to the property of admissibility of an adjunction from the point of view of categorical Galois theory. Under the assumption of fiberwise localization, we give a simple criterion to determine when a (normal epi)-reflection is a torsion-free reflection. This is shown to apply, in particular, to nullification functors in any semi-abelian variety of universal algebras. We also relate semi-left-exactness for a localization functor L with what is called right properness for the L-local model structure.

Let BG be the classifying space of an algebraic group G over the field ${\mathbb C}$ of complex numbers. There are smooth projective approximations X of $BG\times {\mathbb P}^{\infty}$, by Ekedahl. We compute a new stable birational invariant of X defined by the difference of two coniveau filtrations of X, by Benoist and Ottem. Hence we give many examples such that two coniveau filtrations are different.

We introduce $\varepsilon $ -approximate versions of the notion of a Euclidean vector bundle for $\varepsilon \geq 0$ , which recover the classical notion of a Euclidean vector bundle when $\varepsilon = 0$ . In particular, we study Čech cochains with coefficients in the orthogonal group that satisfy an approximate cocycle condition. We show that $\varepsilon $ -approximate vector bundles can be used to represent classical vector bundles when $\varepsilon> 0$ is sufficiently small. We also introduce distances between approximate vector bundles and use them to prove that sufficiently similar approximate vector bundles represent the same classical vector bundle. This gives a way of specifying vector bundles over finite simplicial complexes using a finite amount of data and also allows for some tolerance to noise when working with vector bundles in an applied setting. As an example, we prove a reconstruction theorem for vector bundles from finite samples. We give algorithms for the effective computation of low-dimensional characteristic classes of vector bundles directly from discrete and approximate representations and illustrate the usage of these algorithms with computational examples.

Let $\Delta $ denote a nondegenerate k-simplex in $\mathbb {R}^k$. The set $\operatorname {\mathrm {Sim}}(\Delta )$ of simplices in $\mathbb {R}^k$ similar to $\Delta $ is diffeomorphic to $\operatorname {O}(k)\times [0,\infty )\times \mathbb {R}^k$, where the factor in $\operatorname {O}(k)$ is a matrix called the pose. Among $(k-1)$-spheres smoothly embedded in $\mathbb {R}^k$ and isotopic to the identity, there is a dense family of spheres, for which the subset of $\operatorname {\mathrm {Sim}}(\Delta )$ of simplices inscribed in each embedded sphere contains a similar simplex of every pose $U\in \operatorname {O}(k)$. Further, the intersection of $\operatorname {\mathrm {Sim}}(\Delta )$ with the configuration space of $k+1$ distinct points on an embedded sphere is a manifold whose top homology class maps to the top class in $\operatorname {O}(k)$ via the pose map. This gives a high-dimensional generalisation of classical results on inscribing families of triangles in plane curves. We use techniques established in our previous paper on the square-peg problem where we viewed inscribed simplices in spheres as transverse intersections of submanifolds of compactified configuration spaces.

We show that every orbispace satisfying certain mild hypotheses has ‘enough’ vector bundles. It follows that the $K$-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth orbifolds and derived smooth orbifolds also follow.

Let $G$ be a compact connected simple Lie group of type $(n_{1},\,\ldots,\,n_{l})$, where $n_{1}<\cdots < n_{l}$. Let $\mathcal {G}_k$ be the gauge group of the principal $G$-bundle over $S^{4}$ corresponding to $k\in \pi _3(G)\cong \mathbb {Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal {G}_k$ provided that $n_{l}< p-1$.

We state a sufficient condition for a fusion system to be saturated. This is then used to investigate localities with kernels: that is, localities that are (in a particular way) extensions of groups by localities. As an application of these results, we define and study certain products in fusion systems and localities, thus giving a new method to construct saturated subsystems of fusion systems.

During the last decades, the structure of mod-2 cohomology of the Steenrod ring $\mathscr {A}$ became a major subject in Algebraic topology. One of the most direct attempt in studying this cohomology by means of modular representations of the general linear groups was the surprising work [Math. Z. 202 (1989), 493–523] by William Singer, which introduced a homomorphism, the so-called algebraic transfer, mapping from the coinvariants of certain representation of the general linear group to mod-2 cohomology group of the ring $\mathscr A.$ He conjectured that this transfer is a monomorphism. In this work, we prove Singer's conjecture for homological degree $4.$

We study the $E_2$ -algebra $\Lambda \mathfrak {M}_{*,1}:= \coprod _{g\geqslant 0}\Lambda \mathfrak {M}_{g,1}$ consisting of free loop spaces of moduli spaces of Riemann surfaces with one parametrised boundary component, and compute the homotopy type of the group completion $\Omega B\Lambda \mathfrak {M}_{*,1}$ : it is the product of $\Omega ^{\infty }\mathbf {MTSO}(2)$ with a certain free $\Omega ^{\infty }$ -space depending on the family of all boundary-irreducible mapping classes in all mapping class groups $\Gamma _{g,n}$ with $g\geqslant 0$ and $n\geqslant 1$ .

We study moduli spaces of d-dimensional manifolds with embedded particles and discs, which we refer to as decorations. These spaces admit a model in which points are unparametrised d-dimensional manifolds in $\mathbb{R}^\infty$ with particles and discs constrained to it. We compare this to the space of d-dimensional manifolds in $\mathbb{R}^\infty$ with particles and discs that are no longer constrained, i.e. the decorations are decoupled. We show that under certain conditions these spaces cannot be distinguished by homology groups within a range. This generalises work by Bödigheimer–Tillmann for oriented surfaces to different tangential structures and also to higher dimensional manifolds. We also extend this result to moduli spaces with more general submanifolds as decorations and specialise in the case of decorations being embedded circles.

Given any topological group G, the topological classification of principal G-bundles over a finite CW-complex X is long known to be given by the set of free homotopy classes of maps from X to the corresponding classifying space BG. This classical result has been long-used to provide such classification in terms of explicit characteristic classes. However, even when X has dimension 2, there is a case in which such explicit classification has not been explicitly considered. This is the case where G is a Lie group, whose group of components acts nontrivially on its fundamental group $\pi_1G$ . Here, we deal with this case and obtain the classification, in terms of characteristic classes, of principal G-bundles over a finite CW-complex of dimension 2, with G is a Lie group such that $\pi_0G$ is abelian.