代数拓扑

We prove that if a symplectic 4-manifold $X$ becomes a rational 4-manifold after applying rational blow-down surgery, then the symplectic 4-manifold $X$ is originally rational. That is, a symplectic rational blow-up of a rational symplectic…

In this paper, we compute the action of the mod $p$ Steenrod operations on the modular invariants of the linear groups with $p$ an odd prime number.

Given a topological space $X$, a thickening kernel is a monoidal presheaf on $(\mathbb{R}_{\geq0},+)$ with values in the monoidal category of derived kernels on $X$. A bi-thickening kernel is defined on $(\mathbb{R},+)$. To such a…

We describe the slice tower and slice spectral sequence for arbitrary suspensions of the Eilenberg-MacLane spectrum of an arbitrary Mackey functor for the cyclic group of prime order.

It is a well known fact that formal dg-algebras admit no non-trivial Massey products, while the converse fails. We prove that by restricting to dg-algebras whose induced product on cohomology is trivial, we do in fact get this converse.…

Motivated both by theoretical and practical considerations in topological data analysis, we generalize the $p$-Wasserstein distance on barcodes to multiparameter persistence modules. For each $p\in [1,\infty]$, we in fact introduce two such…

We show Goodwillie's calculus of functors and $n$-geometric $D^{-}$-stacks share similar features by starting to focus on the convergence of Taylor towers for homotopy functors and the fact that $\mathbb{R} F(A) \cong \text{holim}…

For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…

Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to…

Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories,…

We construct spectral sequences for computing the cohomology of automorphism groups of formal groups with complex multiplication by a $p$-adic number ring. We then compute the cohomology of the group of automorphisms of a height four formal…

The homology of an unknown subspace of Euclidean space can be determined from the intrinsic \v{C}ech complex of a sample of points in the subspace, without reference to the ambient Euclidean space. More precisely, given a subspace $X$ of…

Let $S^{2n+1}\{p\}$ denote the homotopy fibre of the degree $p$ self map of $S^{2n+1}$. For primes $p \ge 5$, work of Selick shows that $S^{2n+1}\{p\}$ admits a nontrivial loop space decomposition if and only if $n=1$ or $p$.…

We discuss Poincar\'e duality complexes X and the question whether or not their Spivak normal fibration admits a reduction to a vector bundle in the case where the dimension of X is at most 4. We show that in dimensions less than 4 such a…

Let $\mathcal L_n$ for a positive integer $n$ denote the stable homotopy category of $v_n^{-1}BP$-local spectra at a prime number $p$. Then, M.~Hopkins defines the Picard group of $\mathcal L_n$ as a collection of isomorphism classes of…

Hyperoctahedral homology is the homology theory associated to the hyperoctahedral crossed simplicial group. It is defined for involutive algebras over a commutative ring using functor homology and the hyperoctahedral bar construction of…

In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.

A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on…

In many scientific and technological contexts we have only a poor understanding of the structure and details of appropriate mathematical models. We often, therefore, need to compare different models. With available data we can use formal…

The loop product is an operation in string topology. Cohen and Jones gave a homotopy theoretic realization of the loop product as a classical ring spectrum $LM^{-TM}$ for a manifold $M$. Using this, they presented a proof of the statement…