V.D42 — Frame holonomy on tau^1

The frame holonomy at depth n is the composition Hol_n = Phi_{p_n-1,0}^(n) circ ... circ Phi_{0,1}^(n) of all frame adjacency maps around the base circle tau^1, yielding an element of Aut(T^2_{alpha_0}).