English

Floerg{\aa}sbord

Geometric Topology 2014-07-04 v1 High Energy Physics - Theory

Abstract

In this thesis, we prove several results concerning field-theoretic invariants of knots and 3-manifolds. In Chapter 2, for any knot KK in a closed, oriented 3-manifold MM, we use SU(2)SU(2) representation spaces and the Lagrangian field theory framework of Wehrheim and Woodward to define a new homological knot invariant S(K)\mathcal{S}(K). We then use a result of Ivan Smith to show that when KK is a (1,1) knot in S3S^3 (a set of knots which includes torus knots, for example), the rank of S(K)C\mathcal{S}(K)\otimes \mathbb{C} agrees with the rank of knot Floer homology, HFK^(K)C\widehat{HFK}(K)\otimes \mathbb{C}, and we conjecture that this holds in general for any knot KK. In Chapter 3, we prove a somewhat strange result, giving a purely topological formula for the Jones polynomial of a 2-bridge knot KS3K\subset S^3. First, for any lens space L(p,q)L(p,q), we combine the dd-invariants from Heegaard Floer homology with certain Atiyah-Patodi-Singer/Casson-Gordon ρ\rho-invariants to define a function Ip,q:Z/pZZI_{p,q}: \mathbb{Z}/p\mathbb{Z} \to \mathbb{Z} Let K=K(p,q)K = K(p,q) denote the 2-bridge knot in S3S^3 whose double-branched cover is L(p,q)L(p,q), let σ(K)\sigma(K) denote the knot signature, and let O\mathcal{O} denote the set of relative orientations of KK, which has cardinality 2(# of components of K)12^{(\# \text{ of components of } K) - 1}. Then we prove the following formula for the Jones polynomial J(K)J(K): iσ(K)q3σ(K)J(K)=oO(iq)2σ(Ko)+(q1q1)sZ/pZ(iq)Ip,q(s)i^{-\sigma(K)}q^{3\sigma(K)}J(K)= \sum_{o\in\mathcal{O}}(iq)^{2\sigma(K^{o})} +\left(q^{-1}-q^{1}\right)\sum_{\mathfrak{s}\in\mathbb{Z}/p\mathbb{Z}}(iq)^{I_{p,q}(\mathfrak{s})} (here, i=1i = \sqrt{-1}). In Chapter 4, we present joint work with Adam Levine, concerning Heegaard Floer homology and the orderability of fundamental groups. Namely, we prove that if CF^(M)\widehat{CF}(M) is particularly simple, i.e., MM is what we call a "strong LL-space," then π1(M)\pi_1(M) is not left-orderable.

Keywords

Cite

@article{arxiv.1407.0769,
  title  = {Floerg{\aa}sbord},
  author = {Sam Lewallen},
  journal= {arXiv preprint arXiv:1407.0769},
  year   = {2014}
}

Comments

Phd Thesis. Chapter 3 may be related to HEP

R2 v1 2026-06-22T04:54:00.414Z