BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Matthew Stoffregen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider manifold-knot pairs $(Y,K)$ where $Y$ is a homology sphere that bounds a homology ball. We show that the minimum genus of a PL surface $Σ$ in a homology ball $X$ such that $\partial (X, Σ) = (Y, K)$ can be arbitrarily large. Equivalently, the minimum genus of a surface cobordism in a homology cobordism from $(Y, K)$ to any knot in $S^3$ can be arbitrarily large. The proof relies on Heegaard Floer homology.
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.
We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated.
We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invariants $α, β,$ and $γ$ give new obstructions to homology cobordisms between Seifert fiber spaces, and that many Seifert homology spheres $Σ(a_1,...,a_n)$ are not homology cobordant to any $-Σ(b_1,...,b_n)$. We then use the same invariants to give an example of an integral homology sphere not homology cobordant to any Seifert fiber space. We also show that the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer spectrum provides homology cobordism obstructions distinct from $α,β,$ and $γ$. In particular, we identify an $\mathbb{F}[U]$-module called connected Seiberg-Witten Floer homology, whose isomorphism class is a homology cobordism invariant.
We construct a countable family of multi-dimensional continued fraction algorithms, built out of five specific multidimensional continued fractions, and find a wide class of cubic irrational real numbers a so that either (a, a^2) or (a, a-a^2) is purely periodic with respect to an element in the family. These cubic irrationals seem to be quite natural, as we show that, for every cubic number field, there exists a pair (u,u') with u a unit in the cubic number field (or possibly the quadratic extension of the cubic number field by the square root of the discriminant) such that (u,u') has a periodic multidimensional continued fraction expansion under one of the maps in the family generated by the initial five maps. Thus these results are built on a careful technical analysis of certain units in cubic number fields and our family of multi-dimensional continued fractions. We then recast the linking of cubic irrationals with periodicity to the linking of cubic irrationals with the construction of a matrix with nonnegative integer entries for which at least one row is eventually periodic.
The Lonely Runner Conjecture is a number theory problem, dating to 1964. Using dynamical systems theory, we show almost all sets of velocities solve the conjecture. Furthermore, any "traditional" approach of Diophantine approximation cannot solve the problem, and we offer a short list of reformulations of the problem.