BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Hugo Zhou 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
In our earlier work, we studied the link surgery modules of two component L-space links. Therein, we computed two of the four idempotents of such modules. In this article, we use Koszul duality to give an alternate account of this proof, and also to extend it to compute the entire link surgery modules of such links, modulo a technical result which will be proven in a subsequent paper.
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 construct a filtered mapping cone formula that computes the knot Floer complex of the $(n,1)$--cable of the knot meridian in any rational surgery, generalizing Truong's result about the $(n,1)$--cable of the knot meridian in large surgery and Hedden-Levine's filtered mapping cone formula. As an application, we show that there exist knots in integer homology spheres with arbitrary $φ_{i,j}$ values for any $i>j\geq 0$, where $φ_{i,j}$ are the concordance homomorphisms defined by Dai-Hom-Stoffregen-Truong.
Two knots are homology concordant if they are smoothly concordant in a homology cobordism. The group $\hat{\mathcal{C}}_{\mathbb{Z}}$ (resp. $\mathcal{C}_{\mathbb{Z}}$) was previously defined as the set of knots in homology spheres that bounds homology balls (resp. in $S^3$), modulo homology concordance. We prove $\hat{\mathcal{C}}_{\mathbb{Z}} / \mathcal{C}_{\mathbb{Z}}$ contains a $\mathbb{Z}^{\infty}$ subgroup. We construct our family of examples by applying the filtered mapping cone formula to $L$--space knots, and prove linear independence with the help of the connected knot complex.