1: \begin{abstract}

2: Balloons are two-dimensional spheres. Hoops are one dimensional loops.

3: Knotted Balloons and Hoops (KBH) in 4-space behave much like the first and

4: second homotopy groups of a topological space --- hoops can be composed

5: as in $\pi_1$, balloons as in $\pi_2$, and hoops ``act'' on balloons as

6: $\pi_1$ acts on $\pi_2$. We observe that ordinary knots and tangles

7: in 3-space map into KBH in 4-space and become amalgams of both balloons

8: and hoops.

9: 

10: We give an ansatz for a tree and wheel (that is, free-Lie and cyclic

11: word) -valued invariant $\zeta$ of (ribbon) KBHs in terms of the said

12: compositions and action and we explain its relationship with finite type

13: invariants. We speculate that $\zeta$ is a complete evaluation of the BF

14: topological quantum field theory in 4D. We show that a certain ``reduction

15: and repackaging'' of $\zeta$ is an ``ultimate Alexander invariant''

16: that contains the Alexander polynomial (multivariable, if you wish), has

17: extremely good composition properties, is evaluated in a topologically

18: meaningful way, and is least-wasteful in a computational sense. If you

19: believe in categorification, that should be a wonderful playground.

20: 

21: \vskip 3mm

22: 

23: \parpic[l]{\includegraphics[height=1in]{figs/QRCode.eps}}

24: \noindent Web resources for this paper are available at

25: \newline\null\hfill

26:   \web{}$:=$\url{http://www.math.toronto.edu/~drorbn/papers/KBH/},

27: \hfill\null\newline

28: including an electronic version, source files, computer programs, lecture

29: handouts and lecture videos; the latest of the handouts is attached at

30: the end of this paper. {\em Throughout this paper we follow the notational

31: conventions and notations outlined in Section~\ref{subsec:Conventions}.}

32: 

33: \end{abstract}

34: