Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0710.0357

On Floer homology and the Berge conjecture on knots admitting lens space surgeries

Matthew Hedden
View original source ↗Read source document ↗Export metadata ↓

Abstract

We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involves showing that, for a fixed lens space, the only knots with simple Floer homology belong to a simple finite family. Using results of Baker, we provide evidence for the conjectural part of the program by showing that it holds for a certain family of knots. Coupled with work of Ni, these knots provide the first infinite family of non-trivial knots which are characterized by their knot Floer homology. As another application, we provide a Floer homology proof of a theorem of Berge.

Explore related subjects

math.GTmath.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Matthew Hedden. 2007-10-02. On Floer homology and the Berge conjecture on knots admitting lens space surgeries. https://arxiv.org/abs/0710.0357

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Maps between circle bundles: Fiber-preserving, Finiteness and Realization of mapping degree sets

Let $E_i$ be an oriented circle bundle over a closed oriented $n$-manifold $M_i$ with $i=1,2$ and assume that $M_2$ is aspherical. We prove the following geometric realization result, which extends the classical result for maps between circle bundles over surfaces to all dimensions $\geq 2$. Let $f\colon E_1\to E_2$ be a map. If the induced homomorphism $f_*$ on $π_1$ sends the fiber subgroup of $π_1(E_1)$ to the fiber subgroup of $π_1(E_2)$, then there is a fiber-preserving map in the homotopy class of $f$. Using the above result and a computation of the mapping degree set of fiber-preserving maps between $E_1$ and $E_2$, we obtain the following results on the finiteness and the realization problems of mapping degree sets. ($\mathcal F$) The mapping degree set $D(E_1, E_2)$ is finite if $M_2$ is hyperbolic and the Euler class of $E_2$ is not torsion. ($\mathcal R$) For any finite set $A$ of integers containing $0$ and any $n>2$, $A$ is the mapping degree set $D(M,N)$ for some closed oriented $n$-manifolds $M$ and $N$. Item ($\mathcal F$) extends the previously known $3$-dimensional case to all dimensions $\geq 3$. Item ($\mathcal R$) gives a complete answer to the realization problem on finite sets of integers (containing 0) in all dimensions, including in particular the previously unknown cases in dimensions $ 4$ and $5$.

math.GT↗
arXiv2026

Triple-cup product forms of 3-manifolds and Heegaard diagrams

The triple-cup product form $μ$ is a classical invariant of $3$-manifolds, determining the cohomology ring up to torsion. Given a closed, connected, oriented $3$-manifold $M$, we describe an explicit formula for computing $μ$ from a Heegaard diagram of $M$. Then, we show that the triple-cup product form $μ$ can be recovered as a reduction of Turaev's homotopy intersection form $η$ of the Heegaard surface.

math.GT↗
arXiv2026

A topological interpretation of numbers

We survey recent advancements on the realisation problem for mapping degree sets. In particular, we explain that any finite set containing zero is the mapping degree set between some $n$-manifolds, for each $n\geq3$. Our building factors for the construction of the realising manifolds will be aspherical manifolds. Thus, along the way, we review a couple of open questions related to maps of non-zero degree for aspherical manifolds.

math.GT↗