Homomorphic expansions for knotted trivalent graphs

Abstract: It had been known since old times [MO, Da] that there exists a universal finite type invariant ("an expansion") Z^{old} for Knotted Trivalent Graphs (KTGs), and that it can be chosen to intertwine between some of the standard operations on KTGs and their chord-diagrammatic counterparts (so that relative to those operations, it is "homomorphic"). Yet perhaps the most important operation on KTGs is the "edge unzip" operation, and while the behavior of Z^{old} under edge unzip is well understood, it is not plainly homomorphic as some "correction factors" appear. In this paper we present two (equivalent) ways of modifying Z^{old} into a new expansion Z, defined on "dotted Knotted Trivalent Graphs" (dKTGs), which is homomorphic with respect to a large set of operations. The first is to replace "edge unzips" by "tree connect sums", and the second involves somewhat restricting the circumstances under which edge unzips are allowed. As we shall explain, the newly defined class dKTG of knotted trivalent graphs retains all the good qualities that KTGs have - it remains firmly connected with the Drinfel'd theory of associators and it is sufficiently rich to serve as a foundation for an "Algebraic Knot Theory". As a further application, we present a simple proof of the good behavior of the LMO invariant under the Kirby II (band-slide) move [LMMO].