In this paper, we give a new construction of a Khovanov homotopy type. We show that this construction gives a space stably homotopy equivalent to the Khovanov homotopy types constructed in [LS14a] and [HKK] and, as a corollary, that those two constru
ctions give equivalent spaces. We show that the construction behaves well with respect to disjoint unions, connected sums and mirrors, verifying several conjectures from [LS14a]. Finally, combining these results with computations from [LS14c] and the refined s-invariant from [LS14b] we obtain new results about the slice genera of certain knots.
We prove that for 4-manifolds $M$ with residually finite fundamental group and non-spin universal covering $Wi M$, the inequality $dim_{mc}Wi Mle 3$ implies the inequality $dim_{mc}Wi Mle 2$.
The domination polynomials of binary graph operations, aside from union, join and corona, have not been widely studied. We compute and prove recurrence formulae and properties of the domination polynomials of families of graphs obtained by various pr
oducts, ranging from explicit formulae and recurrences for specific families to more general results. As an application, we show the domination polynomial is computationally hard to evaluate.
We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping class group
preserving a fixed map from the fundamental group to a finite group, which can be viewed as a mapping class group version of a theorem of Ellenberg-Venkatesh-Westerland about braid groups. These results require studying various simplicial complexes formed by subsurfaces of the surface, generalizing work of Hatcher-Vogtmann.
We calculate the singular homology and v{C}ech cohomology groups of the Harmonic archipelago. As a corollary, we prove that this space is not homotopy equivalent to the Griffiths space. This is interesting in view of Edas proof that the first singular homology groups of these spaces are isomorphic.