Researcher profile

Zhenkun Li

Zhenkun Li contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

2-torsion in instanton Floer homology

This paper studies the existence of $2$-torsion in instanton Floer homology with $\mathbb{Z}$ coefficients for closed $3$-manifolds and singular knots. First, we show that the non-existence of $2$-torsion in the framed instanton Floer homology $I^\sharp(S_n^3(K);\mathbb{Z})$ of any nonzero integral $n$-surgery along a knot $K$ in $S^3$ would imply that $K$ is fibered. Also, we show that $I^\sharp(S_{r}^3(K);\mathbb{Z})$ for any nontrivial $K$ with $r=1,1/2,1/4$ always has $2$-torsion. These two results indicate that the existence of $2$-torsion is expected to be a generic phenomenon for Dehn surgeries along knots. Second, we show that for genus-one knots with nontrivial Alexander polynomials and for unknotting-number-one knots, the unreduced singular instanton knot homology $I^\sharp(S^3,K;\mathbb{Z})$ always has $2$-torsion. Finally, some crucial lemmas that help us demonstrate the existence of $2$-torsion are motivated by analogous results in Heegaard Floer theory, which may be of independent interest. In particular, we show that, for a knot $K$ in $S^3$, if there is a nonzero rational number $r$ such that the dual knot $\widetilde{K}_r$ inside $S^3_r(K)$ is Floer simple, then $S^3_r(K)$ must be an L-space and $K$ must be an L-space knot.

preprint2026arXiv

SU(2) representations and a large surgery formula

A knot $K\subset S^3$ is called $SU(2)$-abundant if it satisfies two conditions: first, for all but finitely many $r\in\mathbb{Q}\backslash\{0\}$, there exists an irreducible representation $π_1(S^3_r(K))\to SU(2)$; second, any slope $r=u/v\neq 0$ for which $S^3_r(K)$ admits no irreducible $SU(2)$ representation must satisfy $Δ_K(ζ^2)= 0$ for some $u$-th root of unity $ζ$. We show that if a nontrivial knot $K\subset S^3$ is not $SU(2)$-abundant then it is a prime knot whose Alexander polynomial $Δ_K(t)$ has coefficients restricted to $\{-1,0,1\}$. This implies, in particular, that all hyperbolic alternating knots are $SU(2)$-abundant. Our proof hinges on a large surgery formula connecting instanton knot homology $KHI(S^3,K)$ and framed instanton homology $I^\sharp(S^3_n(K))$ for integers $n$ satisfying $|n|\ge 2g(K)+1$. Using this technique, we derive several interesting results in instanton Floer homology: for any Berge knot $K$, the spaces $KHI(S^3,K)$ and $\widehat{HFK}(S^3,K)$ have identical dimension; for any dual knot $K_r\subset S^3_r(K)$ of a Berge knot $K$ with $r> 2g(K)-1$, we prove $\dim_\mathbb{C}KHI(S^3_r(K),K_r)=|H_1(S^3_r(K);\mathbb{Z})|$; and for any genus-one alternating knot $K$ and any $r\in\mathbb{Q}\backslash\{0\}$, the spaces $I^\sharp(S^3_r(K))$ and $\widehat{HF}(S_r^3(K))$ have equal dimension.

preprint2025arXiv

Instanton 2-torsion and fibered knots

We prove that the unreduced singular instanton homology $I^\sharp(Y,K;\mathbb{Z})$ has $2$-torsion for any null-homologous fibered knot $K$ of genus $g>0$ in a closed $3$-manifold $Y$ except for $\#^{2g}S^1\times S^2$. The main technical result is a formula of $I^\sharp(Y,K;\mathbb{C})$ via sutured instanton theory, by which we can compare the dimensions of $I^\sharp(Y,K;\mathbb{F}_2)$ and $I^\sharp(Y,K;\mathbb{C})$. As a byproduct, we show that $I^\sharp(S^3,K;\mathbb{C})$ for a knot $K\subset S^3$ admitting lens space surgeries is determined by the Alexander polynomial, while some special cases of torus knots have been previously studied by many people. Another byproduct is that the next-to-top Alexander grading summand of instanton knot homology $KHI(S^3,K,g(K)-1)$ is non-vanishing when $K$ has unknotting number one, which generalizes the Baldwin--Sivek's result in the fibered case. Finally, we discuss the relation to the Heegaard Floer theory.

preprint2025arXiv

Knot surgery formulae for instanton Floer homology II: applications

This is a companion paper to earlier work of the authors, which proved an integral surgery formula for framed instanton homology. First, we present an enhancement of the large surgery formula, a rational surgery formula for null-homologous knots in any 3-manifold, and a formula encoding a large portion of $I^\sharp(S^3_0(K))$. Second, we use the integral surgery formula to study the framed instanton homology of many 3-manifolds: Seifert fibered spaces with nonzero orbifold degrees, especially nontrivial circle bundles over any orientable surface, surgeries on a family of alternating knots and all twisted Whitehead doubles, and splicings with twist knots. Finally, we use the previous techniques and computations to study almost L-space knots, ${\it i.e.}$, the knots $K\subset S^3$ with $\dim I^\sharp(S_n^3(K))=n+2$ for some $n\in\mathbb{N}_+$. We show that an almost L-space knot of genus at least $2$ is fibered and strongly quasi-positive, and a genus-one almost L-space knot must be either the figure eight or the mirror of the $5_2$ knot in Rolfsen's knot table.

preprint2022arXiv

Instanton homology and knot detection on thickened surfaces

Suppose $Σ$ is a compact oriented surface (possibly with boundary) that has genus zero, and L is a link in the interior of $(-1,1)\timesΣ$. We prove that the Asaeda-Przytycki-Sikora (APS) homology of L has rank 2 if and only if L is isotopic to an embedded knot in $\{0\}\timesΣ$. As a consequence, the APS homology detects the unknot in $(-1,1)\timesΣ$. This is the first detection result for generalized Khovanov homology that is valid on an infinite family of manifolds, and it partially solves a conjecture in arxiv:2005.12863. Our proof is different from the previous detection results obtained by instanton homology because in this case, the second page of Kronheimer-Mrowka's spectral sequence is not isomorphic to the APS homology. We also characterize all links in product manifolds that have minimal sutured instanton homology, which may be of independent interest.

preprint2021arXiv

Instanton Floer homology, sutures, and Heegaard diagrams

This paper establishes a new technique that enables us to access some fundamental structural properties of instanton Floer homology. As an application, we establish, for the first time, a relation between the instanton Floer homology of a $3$-manifold or a null-homologous knot inside a $3$-manifold and the Heegaard diagram of that $3$-manifold or knot. We further use this relation to compute the instanton knot homology of some families of $(1,1)$-knots, including all torus knots in $S^3$, which were mostly unknown before. As a second application, we also study the relation between the instanton knot homology $KHI(Y,K)$ and the framed instanton Floer homology $I^\sharp(Y)$. In particular, we prove the inequality $\dim_\mathbb{C} I^\sharp(Y)\le \dim_\mathbb{C}KHI(Y,K)$ for all rationally null-homologous knots $K\subset Y$ and we constructed a new decomposition of the framed instanton Floer homology of Dehn surgeries along $K$ that corresponds to the decomposition along torsion spin$^c$ decompositions in monopole and Heegaard Floer theory.

preprint2020arXiv

Classification of tight contact structures on a solid torus

It is a basic question in contact geometry to classify all non-isotopic tight contact structures on a given 3-manifold. If the manifold has a boundary, we need also specify the dividing set on the boundary. In this paper, we answer the classification question completely for the case of a solid torus by writing down a closed formula for the number of non-isotopic tight contact structures with any given dividing set on the boundary of the solid torus. Previously, only a few special cases were known due to work by Honda.

preprint2020arXiv

Instanton and the depth of taut foliations

Sutured instanton Floer homology was introduced by Kronheimer and Mrowka. In this paper, we prove that for a taut balanced sutured manifold with vanishing second homology, the dimension of the sutured instanton Floer homology provides a bound on the minimal depth of all possible taut foliations on that balanced sutured manifold. The same argument can be adapted to the monopole and even the Heegaard Floer settings, which gives a partial answer to one of Juhasz's conjectures. Using the nature of instanton Floer homology, on knot complements, we can construct a taut foliation with bounded depth, given some information on the representation varieties of the knot fundamental groups. This indicates a mystery relation between the representation varieties and some small depth taut foliations on knot complements, and gives a partial answer to one of Kronheimer and Mrowka's conjecture.

preprint2020arXiv

Trunk of Satellite and Companion Knots

We study the knot invariant called trunk, as defined by Ozawa, and the relation of the trunk of a satellite knot with the trunk of its companion knot. Our first result is ${\rm trunk}(K) \geq n \cdot {\rm trunk}(J)$ where ${\rm trunk}(\cdot)$ denotes the trunk of a knot, $K$ is a satellite knot with companion $J$, and $n$ is the winding number of $K$. To upgrade winding number to wrapping number, which we denote by $m$, we must include an extra factor of $\frac{1}{2}$ in our second result ${\rm trunk}(K) > \frac{1}{2} m\cdot {\rm trunk}(J)$ since $m \geq n$. We also discuss generalizations of the second result.