代数拓扑

We study tangent spaces in the setting of diffeological spaces. Several distinct tangent functors have been introduced, each of which extends the classical tangent functor from smooth manifolds. In this paper, we construct infinitely many…

Given a fibration $F \hookrightarrow E \rightarrow B$ with a homotopy section $s: B \rightarrow E$, James introduced a binary product $\left\{, \right\}_s: \pi_i B \times \pi_j F \rightarrow \pi_{i+j-1} F$, called the brace product, which…

We prove that the boundary Dehn twist on $K3\#K3\setminus B^4$ is nontrivial in the smooth mapping class group, providing another example of an exotic diffeomorphism on a simply-connected spin four-manifold. We do so by finding an algebraic…

We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$. To achieve…

Consider the quotient $G/B$ of a simple matrix Lie group $G$ by a subgroup $B$ isomorphic to a direct product of some of $S^1$s and $S^3$s such that its adjoint representation can be extended over $G$. Then it naturally inherits a stable…

For a finite group $G$, we obtain asymptotics for the number of connected components of Hurwitz spaces of marked $G$-covers (of both the affine and projective lines) whose monodromy classes are constrained in a certain way, when the number…

The dga of planar loops was introduced in recent work of the author, Boyd, Randal-Williams, and Sroka, where a minimal model for it was given. This dga enjoys two natural `reflection' involutions. In the first nontrivial case, $2n=4$, we…

Barcodes form a complete set of invariants for interval decomposable persistence modules and are an important summary in topological data analysis. The set of barcodes is equipped with a canonical one-parameter family of metrics, the…

We establish a relative version of Gromov's Vanishing Theorem in the presence of amenable open covers with small multiplicity, extending a result of Li, L\"oh, and Moraschini. Our approach relies on Gromov's theory of multicomplexes.

In this, the last of three papers about $C_2$-equivariant complex quadrics, we complete the calculation of the equivariant ordinary cohomology of smooth symmetric quadrics in the cases where the fixed sets have more than two components.…

In this, the second of three papers about $C_2$-equivariant complex quadrics, we calculate the equivariant ordinary cohomology of smooth symmetric quadrics graded on the representation ring of $\Pi BU(1)$ and with coefficients in the…

We construct the covariant and the cocartesian model structures on the slice categories of cubical sets and marked cubical sets, respectively. As an application, we derive a version of the Bousfield-Kan formula for arbitrary cofibrantly…

In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.

We generalize the $\alpha$-invariant introduced by Atiyah and Rees to an invariant of real spin bundles and use it to classify real bundles over $\mathbb{C}\mathrm{P}^3$ admitting spin structure. We apply this result to show that…

We revisit the equivariant spectral sequence considered by Papadima-Suciu, and show that all its differentials are computed by higher order Massey products. As a first application, we extend to arbitrary field coefficients results of…

Let $M$ be a closed oriented spin$^{c}$ manifold of dimension $(8n {+} 2)$ with fundamental class $[M]$, and let $\rho_{2} \colon H^{4n}(M; \mathbb{Z}) \rightarrow H^{4n}(M; \mathbb{Z}/2)$ denote the $\bmod ~ 2$ reduction homomorphism. For…

A {\em $k$-trinitary algebra} is any subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ that is distinguished in this space by $k$ independent conditions of the form $f(x_i) = f(\tilde x_i) = f(\hat x_i)$, where $x_i, \tilde…

Let $G$ be a simply connected compact Lie group and $\mathscr{L}$ be the left invarinat framing of $G$. Let $\mathcal{L}^\lambda$ be the framing obtained by twisting $\mathscr{L}$ by a faithful representation $\lambda$. Given a torus…

We study the mod $p$ cohomology ring of the classifying space $BPU(p)$ of the projective unitary group $PU(p)$, when $p$ is an odd prime. We prove a mod $p$ formula analogous to a formula of Vistoli for the integral cohomology ring of…

The $n$-th symmetric product of a topological space $X$ is the orbit space of the natural action of the symmetric group $S_n$ on the product space $X^n$. In this paper, we compute the sequential topological complexities of (finite products…