arXiv · 1708.04853
We present the strongest known knot invariant that can be computed effectively (in polynomial time).
Explore connections, maps & timelines
Dror Bar-Natan, Roland van der Veen. 2018-03-18. A polynomial time knot polynomial. https://doi.org/10.1090/proc%2F14166
Cite the original work for its findings. Save a collection to share your selection of sources.
KEEP EXPLORING
In this paper, we realize volumes of representations as real-valued Chern-Simons invariants in Nil, Sol, and Euclidean geometries. To this end, we formulate a Chern-Simons invariant of a pair of connections on a principal bundle that need not be trivial. For a connected closed oriented 3-manifold $M$ and a representation $ρ\colonπ_1(M)\to G$ into the identity component $G$ of the isometry group of one of these geometries, we construct an auxiliary connection on the associated flat $G$-bundle. We show that, for a suitably normalized invariant polynomial, the Chern-Simons invariant of the auxiliary and flat connections equals the volume of the representation. For the holonomy representation of a geometric structure, this invariant recovers the Riemannian volume. We also compute the Chern-Simons invariant of the Levi-Civita connection for representative closed manifolds in each of these geometries.
From Khovanov homology, we extract a new lower bound for the Gordian distance of knots, which combines and strengthens the previously existing bounds coming from Rasmussen invariants and from torsion invariants. We also improve the bounds for the proper rational Gordian distance.
We show that a collection of simple closed curves pairwise intersecting at most once on an orientable surface of Euler characteristic $χ$ has at most $2016|χ|^2+338|χ|$ curves. Up to multiplicative constants, this resolves a thirty-year old problem (see Problem 2.12(b) from the K3 Problem List). Inspired by the work of Przytycki in the setting of arcs, we introduce the concepts of tulips, flowers, and stem systems in order to account for how certain polygons built from pairs of curves in the collection distribute area over the surface.