代数拓扑
We compute the set of framings of $W_{g,1} = D^{2n} \# (S^n \times S^n)^{\# g}$, up to homotopy and diffeomorphism relative to the boundary.
We prove a new kind of stabilisation result, "secondary homological stability", for the homology of mapping class groups of orientable surfaces with one boundary component. These results are obtained by constructing CW approximations to the…
We prove several basic ring-theoretic results about tautological rings of manifolds W, that is, the rings of generalised Miller--Morita--Mumford classes for fibre bundles with fibre W. Firstly we provide conditions on the rational…
We compute the groups $H^*(\mathrm{Aut}(F_n); M)$ and $H^*(\mathrm{Out}(F_n); M)$ in a stable range, where $M$ is obtained by applying a Schur functor to $H_\mathbb{Q}$ or $H^*_\mathbb{Q}$, respectively the first rational homology and…
We study the homotopy type of the space of metrics of positive scalar curvature on high-dimensional compact spin manifolds. Hitchin used the fact that there are no harmonic spinors on a manifold with positive scalar curvature to construct a…
A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,\lambda}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $\lambda$. Using the…
We study the use of the Euler characteristic for multiparameter topological data analysis. Euler characteristic is a classical, well-understood topological invariant that has appeared in numerous applications, including in the context of…
In this paper, we construct incomplete versions of the equivariant stable category; i.e., equivariant stabilization of the category of $G$-spaces with respect to incomplete systems of transfers encoded by an $N_\infty$ operad $\mathcal{O}$.…
The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a…
We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of…
In this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. To obtain a well-established framework to work in, we prove a series of results on two model categories of simplicial…
Given a finite group $G$ acting on a ring $R$, Merling constructed an equivariant algebraic $K$-theory $G$-spectrum, and work of Malkiewich and Merling, as well as work of Barwick, provides an interpretation of this construction as a…
7-dimensional closed and simply-connected manifolds have been attractive as central and explicit objects in algebraic topology and differential topology of higher dimensional closed and simply-connected manifolds, which were studied…
Let $D_{n,\gamma}$ be the complex of graphs on $n$ vertices and domination number at least $\gamma$. We prove that $D_{n,n-2}$ has the homotopy type of a finite wedge of 2-spheres. This is done by using discrete Morse theory techniques.…
This paper interprets Hesselholt and Madsen's real topological Hochschild homology functor THR in terms of the multiplicative norm construction. We show that THR satisfies cofinality and Morita invariance, and that it is suitably…
We investigate the correspondence between generalized persistence modules and graded modules in the case the indexing set has a monoid action. We introduce the notion of an action category over a monoid graded ring. We show that the…
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…
We investigate the topological nilpotence degree, in the sense of Henn-Lannes-Schwartz, of a connected Noetherian unstable algebra $R$. When $R$ is the mod $p$ cohomology ring of a compact Lie group, Kuhn showed how this invariant is…
We prove that the $G$-equivariant mod $p$ Eilenberg--MacLane spectrum arises as an equivariant Thom spectrum for any finite, $p$-power cyclic group $G$, generalizing a result of Behrens and the second author in the case of the group $C_2$.…
We exhibit a Quillen equivalence between two model categories encoding the homotopy theory of stratified spaces : the model category of filtered simplicial sets, and that of filtered spaces. Additionally, we introduce a new class of…