arXiv subjects

David Boozer

Publications and source records attributed to David Boozer.

7 recordsLinked to original sources

arXiv2023

The combinatorial and gauge-theoretic foam evaluation functors are not the same

Kronheimer and Mrowka used gauge theory to define a functor $J^\sharp$ from a category of webs in $\mathbb{R}^3$ to the category of finite-dimensional vector spaces over the field of two elements. They also suggested a possible combinatorial replacement $J^\flat$ for $J^\sharp$, which Khovanov and Robert proved is well-defined on a subcategory of planar webs. We exhibit a counterexample that shows the restriction of the functor $J^\sharp$ to the subcategory of planar webs is not the same as $J^\flat$.

math.GT↗

arXiv2022

Khovanov homology and the Fukaya category of the traceless character variety for the twice-punctured torus

We describe a strategy for constructing reduced Khovanov homology for links in lens spaces by generalizing a symplectic interpretation of reduced Khovanov homology for links in $S^3$ due to Hedden, Herald, Hogancamp, and Kirk. The strategy relies on a partly conjectural description of the Fukaya category of the traceless $SU(2)$ character variety of the 2-torus with two punctures. From a diagram of a 1-tangle in a solid torus, we construct a corresponding object $(X,\delta)$ in the $A_\infty$ category of twisted complexes over this Fukaya category. The homotopy type of $(X,\delta)$ is an isotopy invariant of the tangle diagram. We use $(X,\delta)$ to construct cochain complexes for links in $S^3$ and some links in $S^2 \times S^1$. For links in $S^3$, the cohomology of our cochain complex reproduces reduced Khovanov homology, though the cochain complex itself is not the usual one. For links in $S^2 \times S^1$, we present results that suggest the cohomology of our cochain complex may be a link invariant.

math.GT↗

arXiv2021

Khovanov homology via 1-tangle diagrams in the annulus

We show that the reduced Khovanov homology of an oriented link $L$ in $S^3$ can be expressed as the homology of a chain complex constructed from a description of $L$ as the closure of a 1-tangle diagram $T$ in the annulus. Our chain complex is constructed using a cube of resolutions of $T$ in a manner similar to ordinary Khovanov homology, but it is typically smaller than the ordinary Khovanov chain complex and has several unusual features, such as long differentials corresponding to pairs of successive saddles in the cube of resolutions. Our chain complex carries a natural filtration, which we use to construct a spectral sequence that converges to reduced Khovanov homology. Our results are part of a larger program to construct an analog of Khovanov homology for links in lens spaces by generalizing a symplectic interpretation of Khovanov homology due to Hedden, Herald, Hogancamp, and Kirk, and our chain complex was predicted by this program for the case when the lens space is $S^3$.

math.GT↗

arXiv2020

The moduli space of stable rank 2 parabolic bundles over an elliptic curve with 3 marked points

We explicitly describe the moduli space $M^s(X,3)$ of stable rank 2 parabolic bundles over an elliptic curve $X$ with trivial determinant bundle and 3 marked points. Specifically, we exhibit $M^s(X,3)$ as a blow-up of an embedded elliptic curve in $(\mathbb{CP}^1)^3$. The moduli space $M^s(X,3)$ can also be interpreted as the $SU(2)$ character variety of the 3-punctured torus. Our description of $M^s(X,3)$ reproduces the known Poincar\'{e} polynomial for this space.

math.AG↗

arXiv2019

Computer Bounds for Kronheimer-Mrowka Foam Evaluation

Kronheimer and Mrowka recently suggested a possible approach towards a new proof of the four color theorem that does not rely on computer calculations. Their approach is based on a functor $J^\sharp$, which they define using gauge theory, from the category of webs and foams to the category of vector spaces over the field of two elements. They also consider a possible combinatorial replacement $J^\flat$ for $J^\sharp$. Of particular interest is the relationship between the dimension of $J^\flat(K)$ for a web $K$ and the number of Tait colorings $\mathrm{Tait}(K)$ of $K$; these two numbers are known to be identical for a special class of "reducible" webs, but whether this is the case for nonreducible webs is not known. We describe a computer program that strongly constrains the possibilities for the dimension and graded dimension of $J^\flat(K)$ for a given web $K$, in some cases determining these quantities uniquely. We present results for a number of nonreducible example webs. For the dodecahedral web $W_1$ the number of Tait colorings is $\mathrm{Tait}(W_1) = 60$, but our results suggest that $\dim J^\flat(W_1) = 58$.

math.GT↗

arXiv2018

Holonomy perturbations of the Chern-Simons functional for lens spaces

We describe a scheme for constructing generating sets for Kronheimer and Mrowka's singular instanton knot homology for the case of knots in lens spaces. The scheme involves Heegaard-splitting a lens space containing a knot into two solid tori. One solid torus contains a portion of the knot consisting of an unknotted arc, as well as holonomy perturbations of the Chern-Simons functional used to define the homology theory. The other solid torus contains the remainder of the knot. The Heegaard splitting yields a pair of Lagrangians in the traceless $SU(2)$-character variety of the twice-punctured torus, and the intersection points of these Lagrangians constitute the generating set that we seek. We illustrate the scheme by constructing generating sets for several example knots. Our scheme is a direct generalization of a scheme introduced by Hedden, Herald, and Kirk for describing generating sets for knots in $S^3$ in terms of Lagrangian intersections in the traceless $SU(2)$-character variety for the 2-sphere with four punctures.

math.GT↗

arXiv2018

Moduli spaces of Hecke modifications for rational and elliptic curves

We propose definitions of complex manifolds $\mathcal{P}_M(X,m,n)$ that could potentially be used to construct the symplectic Khovanov homology of $n$-stranded links in lens spaces. The manifolds $\mathcal{P}_M(X,m,n)$ are defined as moduli spaces of Hecke modifications of rank 2 parabolic bundles over an elliptic curve $X$. To characterize these spaces, we describe all possible Hecke modifications of all possible rank 2 vector bundles over $X$, and we use these results to define a canonical open embedding of $\mathcal{P}_M(X,m,n)$ into $M^s(X,m+n)$, the moduli space of stable rank 2 parabolic bundles over $X$ with trivial determinant bundle and $m+n$ marked points. We explicitly compute $\mathcal{P}_M(X,1,n)$ for $n=0,1,2$. For comparison, we present analogous results for the case of rational curves, for which a corresponding complex manifold $\mathcal{P}_M(\mathbb{CP}^1,3,n)$ is isomorphic for $n$ even to a space $\mathcal{Y}(S^2,n)$ defined by Seidel and Smith that can be used to compute the symplectic Khovanov homology of $n$-stranded links in $S^3$.

math.AG↗