We indicate that Herons formula (which relates the square of the area of a triangle to a quartic function of its edge lengths) can be interpreted as a scissors congruence in 4-dimensional space. In the process of demonstrating this, we examine a numb
er of decompositions of hypercubes, hyper-parallelograms, and other elementary 4-dimensional solids.
In 1965, E. C. Zeeman proved that the (+/-)-twist spin of any knotted sphere in (n-1)-space is unknotted in the n-sphere. In 1991, Y. Marumoto and Y. Nakanishi gave an alternate proof of Zeemans theorem by using the moving picture method. In this pap
er, we define a knotted 2-dimensional foam which is a generalization of a knotted sphere and prove that a (+/-)-twist spin of a knotted trivalent graph may be knotted. We then construct some families of knotted graphs for which the (+/-)-twist spins are always unknotted.
The notion of a braid is generalized into two and three dimensions. Two-dimensional braids are described by braid monodromies or graphics called charts. In this paper we introduce the notion of curtains, and show that three-dimensional braids are described by braid monodromies or curtains.
This survey article discusses three aspects of knot colorings. Fox colorings are assignments of labels to arcs, Dehn colorings are assignments of labels to regions, and Alexander-Briggs colorings assign labels to vertices. The labels are found among
the integers modulo n. The choice of n depends upon the knot. Each type of coloring rules has an associated rule that must hold at each crossing. For the Alexander Briggs colorings, the rules hold around regions. The relationships among the colorings is explained.
Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More precisely t
he composition of the embedding (or immersion) and the canonical projection induces the branched covering map. In the case of the 3-sphere, the branch locus is a knotted or linked curve in space, the 2-fold branched cover always embeds, and the 3-fold branch cover might be immersed. In the case of the 4-sphere, the branch locus is a knotted or linked orientable surface (surface knot or link), and the 2-fold branched cover is always embedded. We give an explicit embedding of the 3-fold branched cover of the 4-sphere when the branch set is the spun trefoil.
The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a neighborhoo
d of that complex. Knotted foams in 4-dimensional space are to knotted surfaces, as knotted trivalent graphs are to classical knots. The diagram of a knotted foam consists of a generic projection into 4-space with crossing information indicated via a broken surface. In this paper, a finite set of moves to foams are presented that are analogous to the Reidemeister-type moves for knotted graphs. These moves include the Roseman moves for knotted surfaces. Given a pair of diagrams of isotopic knotted foams there is a finite sequence of moves taken from this set that, when applied to one diagram sequentially, produces the other diagram.
By 2-twist-spinning the knotted graph that represents the knotted handlebody $5_2$, we obtain a knotted foam in 4-dimensional space with a non-trivial quandle cocycle invariant.
We study simple branched coverings of degree d of the 2- and 3- dimensional sphere branched over oriented links. We demonstrate how to use braid charts to develop embeddings of these into $S^k times D^2$ for $k=2,3 when $d=2,3$. This is an initial pa
rt of our study and represents the manuscript submitted to the RIMS workshop at Intelligence of Low Dimensional Topology.
This paper is a very brief introduction to knot theory. It describes knot coloring by quandles, the fundamental group of a knot complement, and handle-decompositions of knot complements.
Foams are surfaces with branch lines at which three sheets merge. They have been used in the categorification of sl(3) quantum knot invariants and also in physics. The 2D-TQFT of surfaces, on the other hand, is classified by means of commutative Frob
enius algebras, where saddle points correspond to multiplication and comultiplication. In this paper, we explore algebraic operations that branch lines derive under TQFT. In particular, we investigate Lie bracket and bialgebra structures. Relations to the original Frobenius algebra structures are discussed both algebraically and diagrammatically.
