Knots with unknotting number one and Heegaard Floer homology

We use Heegaard Floer homology to give obstructions to unknotting a knot with a single crossing change. These restrictions are particularly useful in the case where the knot in question is alternating. As an example, we use them to classify all knots with crossing number less than or equal to nine and unknotting number equal to one. We also classify alternating knots with 10 crossings and unknotting number equal to one.     

On the Heegaard Floer homology of branched double-covers

Let be a link. We study the Heegaard Floer homology of the branched double-cover Σ(L) of S³, branched along L. When L is an alternating link, of its branched double-cover has a particularly simple form, determined entirely by the determinant of the link. For the general case, we derive a spectral sequence whose E² term is a suitable variant of Khovanov's homology for the link L, converging to the Heegaard Floer homology of Σ(L).     

Knot Floer Homology of (1, 1)-Knots

We present a combinatorial method for a calculation of the knot Floer homology of (1, l)-knots, and then demonstrate it for nonalternating (1, 1)-knots with 10 crossings and the pretzel knots of type (−2,m, n). Our calculations determine the unknotting numbers and 4-genera of the pretzel knots of this type.Mathematics Subject Classiffications (2000). 57M27, 57M25     

On the Heegaard Floer homology of a surface times a circle

We make a detailed study of the Heegaard Floer homology of the product of a closed surface Σg of genus g with S¹. We determine HF⁺(Σg×S¹,s;C) completely in the case c₁(s)=0, which for g?3 was previously unknown. We show that in this case HF^∞ is closely related to the cohomology of the total space of a certain circle bundle over the Jacobian torus of Σg, and furthermore that HF⁺(Σg×S¹,s;Z) contains nontrivial 2-torsion whenever g?3 and c₁(s)=0. This is the first example known to the authors of torsion in Z-coefficient Heegaard Floer homology. Our methods also give new information on the action of H₁(Σg×S¹) on HF⁺(Σg×S¹,s) when c₁(s) is nonzero.     

On the colored Jones polynomial, sutured Floer homology, and knot Floer homology

Let K⊂S³, and let denote the preimage of K inside its double branched cover, Σ(S³,K). We prove, for each integer n>1, the existence of a spectral sequence whose E² term is Khovanov's categorification of the reduced n-colored Jones polynomial of (mirror of K) and whose E^∞ term is the knot Floer homology of (when n odd) and of (S³,K#Kr) (when n even). A corollary of our result is that Khovanov's categorification of the reduced n-colored Jones polynomial detects the unknot whenever n>1.     

Heegaard Floer correction terms and rational genus bounds

Given an element in the first homology of a rational homology 3-sphere Y, one can consider the minimal rational genus of all knots in this homology class. This defines a function Θ   on _H1(Y;Z)$H_1(Y;\mathbb{Z})$, which was introduced by Turaev as an analogue of Thurston norm. We will give a lower bound for this function using the correction terms in Heegaard Floer homology. As a corollary, we show that Floer simple knots in L-spaces are genus minimizers in their homology classes, hence answer questions of Turaev and Rasmussen about genus minimizers in lens spaces.     

The symplectic floer homology of the square knot and granny knots

Using a kind of Mayer-Vietoris principle for the symplectic Floer homology of knots, we compute the symplectic Floer homology of the square knot and granny knots. Partially supported by NSF Grant DMS 9626166     

An Ozsváth–Szabó Floer homology invariant of knots in a contact manifold

Using the knot Floer homology filtration, we define invariants associated to a knot in a three-manifold possessing non-vanishing Floer co(homology) classes. In the case of the Ozsváth–Szabó contact invariant we obtain an invariant of knots in a contact three-manifold. This invariant provides an upper bound for the Thurston–Bennequin plus rotation number of any Legendrian realization of the knot. We use it to demonstrate the first systematic construction of prime knots in contact manifolds other than S³ with negative maximal Thurston–Bennequin invariant. Perhaps more interesting, our invariant provides a criterion for an open book to induce a tight contact structure. A corollary is that if a manifold possesses contact structures with distinct non-vanishing Ozsváth–Szabó invariants, then any fibered knot can realize the classical Eliashberg–Bennequin bound in at most one of these contact structures.     

On knot Floer homology and lens space surgeries

In an earlier paper, we used the absolute grading on Heegaard Floer homology HF⁺ to give restrictions on knots in S³ which admit lens space surgeries. The aim of the present article is to exhibit stronger restrictions on such knots, arising from knot Floer homology. One consequence is that the non-zero coefficients of the Alexander polynomial of such a knot are ±1. This information can in turn be used to prove that certain lens spaces are not obtained as integral surgeries on knots. In fact, combining our results with constructions of Berge, we classify lens spaces L(p,q) which arise as integral surgeries on knots in S³ with |p|?1500. Other applications include bounds on the four-ball genera of knots admitting lens space surgeries (which are sharp for Berge's knots), and a constraint on three-manifolds obtained as integer surgeries on alternating knots, which is closely to related to a theorem of Delman and Roberts.     

Khovanov homology, open books, and tight contact structures

We define the reduced Khovanov homology of an open book (S,?), and identify a distinguished “contact element” in this group which may be used to establish the tightness or non-fillability of contact structures compatible with (S,?). Our construction generalizes the relationship between the reduced Khovanov homology of a link and the Heegaard Floer homology of its branched double cover. As an application, we give combinatorial proofs of tightness for several contact structures which are not Stein-fillable. Lastly, we investigate a comultiplication structure on the reduced Khovanov homology of an open book which parallels the comultiplication on Heegaard Floer homology defined in Baldwin (2008) [4].     

An approximate,multivariable version of Specht's theorem

In this article we provide generalizations of Specht's theorem which states that two n × n matrices A and B are unitarily equivalent if and only if all traces of words in two non-commuting variables applied to the pairs (A, A?) and (B, B?) coincide. First, we obtain conditions which allow us to extend this to simultaneous similarity or unitary equivalence of families of operators, and secondly, we show that it suffices to consider a more restricted family of functions when comparing traces. Our results do not require the traces of words in (A, A?) and (B, B?) to coincide, but only to be close.     

A unified proof of Brooks’ theorem and Catlin’s theorem

Brooks’ theorem is a fundamental result in the theory of graph coloring. Catlin proved the following strengthening of Brooks’ theorem: Let d$d$ be an integer at least 3, and let G$G$ be a graph with maximum degree d$d$. If G$G$ does not contain _Kd+1$K_{d+1}$ as a subgraph, then G$G$ has a d$d$-coloring in which one color class has size α(G)$\alpha \left(G\right)$. Here α(G)$\alpha \left(G\right)$ denotes the independence number of G$G$. We give a unified proof of Brooks’ theorem and Catlin’s theorem.     

The minimal excludant and Schmidt's partition theorem

In this work, we study Schmidt's partition theorem in a combinatorial manner, and find a strong refinement which connects the minimal excludant of ordinary partitions to the length of Schmidt's partitions. As a byproduct, we obtain a bivariate form of an identity recorded in Ramanujan's lost notebook.     

An undecidable extension of Morley's theorem on the number of countable models

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of equivalence relations obtained by countable intersections of projective sets in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.     

Circular chromatic number and Mycielski construction

This paper gives a sufficient condition for a graph G to have its circular chromatic number equal to its chromatic number. By using this result, we prove that for any integer t ≥ 1, there exists an integer n such that for all . © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 106–115, 2003     

A topological lower bound for the circular chromatic number of Schrijver graphs

In this paper, we prove that the Kneser graphs defined on a ground set of n elements, where n is even, have their circular chromatic numbers equal to their chromatic numbers. © 2005 Wiley Periodicals, Inc. J Graph Theory 49: 257–261, 2005