代数拓扑

In a 2009 paper, Dave Benson gave a description in purely algebraic terms of the mod $p$ homology of $\Omega(BG^\wedge_p)$, when $G$ is a finite group, $BG^\wedge_p$ is the $p$-completion of its classifying space, and $\Omega(BG^\wedge_p)$…

We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued…

There are two rather distinct approaches to Morse theory nowadays: smooth and discrete. We propose to study a real valued function by assembling all associated sections in a topological category. From this point of view, Reeb functions on…

Let $C_2$ be the cyclic group of order two. We show that the $RO(C_2)$-graded Bredon cohomology of a finite Rep($C_2$)-complex is free as a module over the cohomology of a point when using coefficients in the constant Mackey functor…

Following an idea of Hopkins, we construct a model of the determinant sphere $S\langle det \rangle$ in the category of $K(n)$-local spectra. To do this, we build a spectrum which we call the Tate sphere $S(1)$. This is a $p$-complete sphere…

We compute the $RO(C_2)$-graded Bredon cohomology of certain families of real and complex $C_2$-equivariant Grassmannians.

In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_\infty$-operads associated to given sequences $\mathcal{F} = (\mathcal{F}_n)_{n \in \mathbb{N}}$ of families of subgroups of $G\times \Sigma_n$. For…

It is well known that under some general conditions right Bousfield localization exists. We provide general conditions under which right Bousfield localization yields a monoidal model category. Then we address the questions of when this…

We provide a very general approach to placing model structures and semi-model structures on algebras over symmetric colored operads. Our results require minimal hypotheses on the underlying model category $\mathcal{M}$, and these hypotheses…

We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…

In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and…

For a finite group $G$, there is a map $RO(G) \to {\rm Pic}(Sp^G)$ from the real representation ring of $G$ to the Picard group of $G$-spectra. This map is not known to be surjective in general, but we prove that when $G$ is cyclic this map…

We share a small connection between information theory, algebra, and topology - namely, a correspondence between Shannon entropy and derivations of the operad of topological simplices. We begin with a brief review of operads and their…

We find conditions which ensure that the topological complexity of a closed manifold $M$ with abelian fundamental group is nonmaximal, and see through examples that our conditions are sharp. This generalizes results of Costa and Farber on…

In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high…

In this paper, we investigate vector fields on polyhedral complexes and their associated trajectories. We study vector fields which are analogue of the gradient vector field of a function in the smooth case. Our goal is to define a nice…

In this paper, we investigate the group of endotrivial modules for certain $p$-groups. Such groups were already been computed by Carlson-Th\'evenaz using the theory of support varieties; however, we provide novel homotopical proofs of their…

Datasets are mathematical objects (e.g., point clouds, matrices, graphs, images, fields/functions) that have shape. This shape encodes important knowledge about the system under study. Topology is an area of mathematics that provides…

This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument…

Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are…