代数拓扑

Let $p:S\to S_g$ be a finite $G$-covering of a closed surface of genus $g\geq 1$ and let $B$ its branch locus. To this data, it is associated a representation of a finite index subgroup of the mapping class group…

Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of…

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…

We construct a rational $T^2$-equivariant elliptic cohomology theory for the 2-torus $T^2$, starting from an elliptic curve C over the complex numbers and a coordinate data around the identity. The theory is defined by constructing an…

We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$.

Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra.

For Artin groups of dihedral type, we compute the Bredon homology groups of the classifying space for the family of virtually cyclic subgroups with coefficients in the K-theory of a group ring.

Motivated by the construction of Steenrod cup-$i$ products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the…

We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce…

The fusion orbit category $\overline{\mathcal F _{\mathcal C}} (G)$ of a discrete group $G$ over a collection $\mathcal C$ is the category whose objects are the subgroups $H$ in $\mathcal C$, and whose morphisms $H \to K$ are given by the…

The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal…

In this thesis I give a new description for the moduli space of stable n pointed curves of genus zero and explicitly specify a natural isomorphism and inverse between them that preserves many important properties. I also give a natural…

We compute recursive approximations of the action of the height $h \geq 2$ Morava stabilizer group on the associated Lubin-Tate deformation ring. We then specialize to the case $h=3$ and $p>2$ to calculate the action explicitly. These…

We show that for the spaces of spherical embeddings modulo immersions $\bar{Emb}(S^n,S^{n+q})$ and long embeddings modulo immersions $\bar{Emb}_{\partial}(D^n,D^{n+q})$, the set of connected components is isomorphic to $\pi_{n+1}(SG,SG_q)$…

We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside…

In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.

Parametrized motion planning algorithms have high degree of flexibility and universality, they can work under a variety of external conditions, which are viewed as parameters and form part of the input of the algorithm. In this paper we…

Building on work of Stolz, we prove for integers $0 \le d \le 3$ and $k>232$ that the boundaries of $(k-1)$-connected, almost closed $(2k+d)$-manifolds also bound parallelizable manifolds. Away from finitely many dimensions, this settles…

We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…

We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study…