Abstract
Balloons are 2D spheres. Hoops are 1D loops. Knotted balloons and hoops (KBH) in 4space behave much like the first and second homotopy groups of a topological space—hoops can be composed as in π _{1}, balloons as in π _{2}, and hoops “act” on balloons as π _{1} acts on π _{2}. We observe that ordinary knots and tangles in 3space map into KBH in 4space and become amalgams of both balloons and hoops. We give an ansatz for a tree and wheel (that is, free Lie and cyclic word)valued invariant ζ of (ribbon) KBHs in terms of the said compositions and action and we explain its relationship with finitetype invariants. We speculate that ζ is a complete evaluation of the BF topological quantum field theory in 4D. We show that a certain “reduction and repackaging” of ζ is an “ultimate Alexander invariant” that contains the Alexander polynomial (multivariable, if you wish), has extremely good composition properties, is evaluated in a topologically meaningful way, and is least wasteful in a computational sense. If you believe in categorification, that should be a wonderful playground.
This is a preview of subscription content,
to check access.Notes
The bulk of the paper easily generalizes to the case where H (not T!) is infinite, though nothing is gained by allowing H to be infinite.
The adjective “ribbon” will be explained in Definition 2.4.
See “notational conventions”, Section 10.5.
Better English would be “ordinary tangle”, but I want the short form to be “utangle”, which fits better with the “vtangles” and “wtangles” that arise later in this paper.
See “notational conventions”, Section 10.5.
We feel that the clarity of this paper is enhanced by this omission.
\(tm^{uv}_{w}\), for example, is defined on M(T;H) exactly when u, v ∈ T yet w ∉ T ∖ {u, v}. All other operations behave similarly.
I ignore settheoretic difficulties. If you insist, you may restrict to countable groups or to finitely presented groups.
A similar statement can be made for Alexander formulae based on the Burau representation. Yet note that such formulae still end with a computation of a determinant which may take O(n ^{3}) steps. Note also that the presentation of knots as braid closures is typically inefficient—typically a braid with O(n ^{2}) crossings is necessary in order to present a knot with just n crossings.
Here and below, “drawn on Σ” means “embedded in Σ × [−𝜖, 𝜖]”.
Following a private discussion with Dylan Thurston.
A monoid is a group sans inverses. You lose nothing if you think “group” whenever the discussion below states “monoid”.
Or merely an algebra.
Think “groupaction”.
There are also ∗, t η ^{u}, h η ^{x}, \(t{\sigma ^{u}_{v}}\) and \(h{\sigma ^{x}_{y}}\) and units t 𝜖 _{ u } and h 𝜖 _{ x } as before.
References
Alekseev, A., Torossian, C.: The KashiwaraVergne conjecture and Drinfel’d’s associators. Ann. Math. 175, 415–463 (2012). arXiv:0802.4300
BarNatan, D: On the assiliev knot invariants. Topology 34, 423–472 (1995)
BarNatan, D.: Finite type invariants of wknotted objects IV: some computations, in preparation
BarNatan, D., Dancso, Z.: Finite type invariants of Wknotted objects I: braids, knots and the alexander polynomial. arXiv:1405.1956. http://www.math.toronto.edu/drorbn/LOP.html#WKO1
BarNatan, D., Dancso, Z.: Finite type invariants of Wknotted objects II: tangles and the kashiwaravergne problem. arXiv:1405.1955. http://www.math.toronto.edu/drorbn/LOP.html#WKO2
BarNatan, D., Selmani, S.: Metamonoids, metabicrossed products, and the Alexander polynomial. J. Knot Theory Ramifications 22–10 (2013). arXiv:1302.5689
Cattaneo, A.S., Rossi, C.A.: Wilson surfaces and higher dimensional knot invariants. Commun. Math. Phys. 2563, 513–537 (2005). arXiv:mathph/0210037
Duistermaat, J.J., Kolk, J.A. .: Lie groups. Springer (1999)
Habegger, N., Lin, XS.: The classification of links up to linkhomotopy. J. Am. Math. Soc. 3, 389–419 (1990)
Habegger, N., Masbaum, G.: The Kontsevich integral and Milnor’s invariants. Topology 396, 1253–1289 (2000)
Habiro, K., Kanenobu, T., Shima, A.: Finite type invariants of ribbon 2knots. In: Nencka, H. (ed.) Low dimensional topology Cont. Math. vol. 233 pp. 187–196 (1999)
Habiro, K., Shima, A.: Finite type invariants of ribbon 2knots, II. Topol Appl 1113, 265–287 (2001)
Howie, J.: On the asphericity of ribbon disc complements. Trans. Am. Math. Soc. 2891, 281–302 (1985)
Howie, J.: Minimal seifert manifolds for higher ribbon knots. Geom. Topol. Monogr. 1, 261–293. arXiv:math/9810185
Kanenobu, T., Shima, A.: Two filtrations of ribbon 2knots. Topol. Appl. 121, 143–168 (2002)
Kauffman, L.H.: Virtual knot theory. European J. Comb. 20, 663–690 (1999). arXiv:math.GT/9811028
Kawauchi, A.: A survey of knot theory. Basel, Birkhäuser (1996)
Kirk, P., Livingston, C., Wang, Z.: The gassner representation for string links. Comm. Cont. Math. 3, 87–136 (2001). arXiv:math/9806035
Kricker, A.: The lines of the Kontsevich integral and Rozansky’s rationality conjecture. arXiv:math/0005284
Kuperberg, G.: What is a virtual link? Algebr. Geom. Topol. 3, 587–591 (2003). arXiv:math.GT/0208039
Lee, P.: Proof of a conjectured formula for the Alexander invariant. arXiv:1209.0668
Meinrenken, E.: Lie groups and lie algebras. Lecture notes, University of Toronto (2010). http://www.math.toronto.edu/mein/teaching/lie.pdf
Milnor, J.W.: Link groups. Annals Math. 59, 177–195 (1954)
Reutenauer, C.: Free lie algebras. Clarendon, Oxford (1993)
Rowen, L.H.: Polynomial identities in ring theory. Academic, New York (1980)
Satoh, S.: Virtual knot presentations of ribbon torus knots. J. of Knot Theory and its Ramifications 94, 531–542 (2000)
Watanabe, T.: Claspermoves among ribbon 2knots characterizing their finite type invariants. J. of Knot Theory and its Ramifications 159, 1163–1199 (2006)
Watanabe, T.: Configuration space integrals for long nKnots, the Alexander polynomial and knot space cohomology. Alg. Geom. Top. 7, 47–92 (2007). arXiv:math/0609742
Winter, B.: The classification of spun torus knots, vol. 189. arXiv:0711.1638 (2009)
Winter, B.: On codimension two ribbon embeddings. arXiv:0904.0684
Acknowledgments
I wish to thank the people of the Knot at Lunch seminar in Toronto (Oleg Chterental, Karene Chu, Zsuzsanna Dancso, Peter Lee, Stephen Morgan, James Mracek, David Penneys, Peter Samuelson, and Sam Selmani) for hearing this several times and for making comments and suggestions. Further thanks to Zsuzsanna Dancso for pushing me to write this, to Martin Bridson for telling me about LOT groups and to Marcel Bökstedt, Eckhard Meinrenken, and Jim Stasheff for further comments. This work was partially supported by NSERC grant RGPIN 262178, by ITGP (Interactions of LowDimensional Topology and Geometry with Mathematical Physics), an ESF RNP, and by the Newton Institute in Cambridge, UK.
Author information
Authors and Affiliations
Corresponding author
Additional information
Web resources for this paper are available at [Web/]:=http://www.math.toronto.edu/~drorbn/papers/KBH/, including an electronic version, source files, computer programs, lecture handouts and lecture videos. Throughout this paper, we follow the notational conventions and notations outlined in Section 10.5.
Glossary of Notations (Greek letters, then Latin, then symbols)
 α, β, γ

Free Lie series Sec. 4
 α, β, γ, δ

Matrix parts Sec. 9.4
 β

A repackaging of β Sec. 9.4
 β _{0}

A reduction of M Sec. 9.3
 δ

A map \(u\mathcal T/v\mathcal T/w\mathcal T\to \mathcal K^{\text {rbh}}\) Sec. 2.2
 δ α, δ β, δ γ

Infinitesimal free Lie series Sec. 10.4
 𝜖 _{ a }

Units Sec. 3.2
 π

The MMA “of groups” Sec. 3.4
 π

The fundamental invariant Sec. 2.3
 π

The projection \(\mathcal K^{\text {rbh}}_{0}\to \mathcal K^{\text {rbh}}\) Prop. 3.6
 \(\rho ^{\pm }_{ux}\)

±Hopf links in 4D Ex. 2.2
 \({\sigma ^{x}_{y}}\)

Relabelling Sec. 10.5
 τ

Tensorial interpretation map Sec. 8.1
 ω

The wheels part of M/ ζ Sec.5
 ω

The scalar part in β/β _{0} Sec. 9.3
 Υ

Capping and sliding Sec.10.2
 ζ

The main invariant Sec. 5
 ζ _{0}

The treelevel invariant Sec. 4
 ζ ^{β}

A βvalued invariant Sec. 9.4
 ζ ^{β0}

A β _{0}valued invariant Sec. 9.3
 A

The matrix part in β/β _{0} Sec. 9.3
 a, b, c

Strand labels Sec. 2.2
 \(\text {ad}_{u}^{\gamma },\,\text {ad}_{u}\{\gamma \}\)

Derivations of FL Def. 105
 \(\mathcal A^{\text {bh}}\)

Space of arrow diagrams Sec. 7.2
 bch

BakerCampbellHausdorff Sec. 4.2
 \(C_{u}^{\gamma }\)

Conjugating a generator Sec. 4.2
 CA

Circuit algebra Sec. 7.1
 CW

Cyclic words Sec. 5.1
 CW ^{r}

CW mod degree 1 Sec. 5.1
 c

A “sink” vertex Sec. 9.1
 c _{ u }

A “cstub” Sec. 9.1
 div_{ u }

The “divergence” F L→C W Sec. 5.1
 dm\(^{ab}_{c}\)

Double/diagonal multiplication Sec. 3.2
 FA

Free associative algebra Sec. 5.1
 FL

Free Lie algebra Sec. 4.2
 Fun(X→Y)

Functions X→Y Sec. 8.1
 H

Set of head/hoop labels Sec. 2
 h 𝜖 _{ x }
 h η
 hm\(^{xy}_{z}\)
 \(h{\sigma ^{x}_{y}}\)
 J _{ u }

The “spice” FL → CW Sec. 5.1
 \(\mathcal K^{\text {rbh}}\)

All rKBHs Def. 2.1
 \(\mathcal K^{\text {rbh}}_{0}\)

Conjectured version of \(\mathcal K^{\text {rbh}}\) Sec. 3.3
 l _{ u x }

4D linking numbers Sec. 10.1
 l _{ x }

Longitudes Sec. 2.3
 M

The “main” MMA Sec. 5.2
 M _{0}

The MMA of trees Sec. 4.2
 MMA

Metamonoidaction Def. 3.2, Sec. 10.3.4
 m _{ u }

Meridians Sec. 2.3
 \(m^{ab}_{c}\)

Strand concatenation Sec 3.2
 OC

Overcrossings commute
 \(\mathcal P^{\text {bh}}\)

Primitives of \(\mathcal A^{\text {bh}}\) Sec. 7.3
 R

Ring of cstubs Sec. 9.2
 R ^{r}

R mod degree 1 Sec. 9.3
 R1,R1’,R2,R3
 \(RC_{u}^{\gamma }\)

Repeated \(C_{u}^{\gamma }\) / reverse \(C_{u}^{\gamma }\) Sec. 4.2
 rKBH

Ribbon knotted balloons&hoops Def. 2.1
 S

Set of strand labels Sec. 2.2
 T

Set of tail / balloon labels Sec. 2
 t 𝜖 ^{u}
 tha^{ux}
 t η ^{u}
 \( {tm}^{uv}_{w}\)
 \(t{\sigma ^{x}_{y}}\)
 t, x, y, z

Coordinates Sec. 2
 UC

Undercrossings commute Fig. 3
 utangle

A usual tangle Sec. 2.2
 \(u\mathcal T\)

All utangles Sec. 2.2
 u, v, w

Tail / balloon labels Sec. 2
 vtangle

A virtual tangle Sec. 2.4
 \(v\mathcal T\)

All vtangles Sec. 2.4
 wtangle

A virtual tangle mod OC Sec. 2.4
 \(w\mathcal T\)

All wtangles Sec. 2.4
 x, y, z

Head / hoop labels Sec. 2
 Z ^{bh}

An \(\mathcal A^{\text {bh}}\)valued expansion Sec. 7.4
 ∗
 ⫽

Composition done right Sec. 10.5
 x ⫽ f

Postfix evaluation Sec. 10.5
 f ∖ x

Entry removal Sec. 10.5
 x→a

Inline function definition Sec. 10.5
 uv͆

“Top bracket form” Sec. 6
 \({\overset{\frown}{uv}}\)

A cyclic word Sec. 6
Rights and permissions
About this article
Cite this article
BarNatan, D. Balloons and Hoops and their Universal FiniteType Invariant, BF Theory, and an Ultimate Alexander Invariant. Acta Math Vietnam 40, 271–329 (2015). https://doi.org/10.1007/s4030601401010
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s4030601401010
Keywords
 2knots
 Tangles
 Virtual knots
 wtangles
 Ribbon knots
 Finite type invariants
 BF theory
 Alexander polynomial
 Metagroups
 Metamonoids