Abstract
We define Poissongeometric analogues of Kitaev’s lattice models. They are obtained from a Kitaev model on an embedded graph \(\Gamma \) by replacing its Hopf algebraic data with Poisson data for a PoissonLie group G. Each edge is assigned a copy of the Heisenberg double \({\mathcal {H}}(G)\). Each vertex (face) of \(\Gamma \) defines a Poisson action of G (of \(G^*\)) on the product of these Heisenberg doubles. The actions for a vertex and adjacent face form a Poisson action of the double PoissonLie group D(G). We define Poisson counterparts of vertex and face operators and relate them via the Poisson bracket to the vector fields generating the actions of D(G). We construct an isomorphism of Poisson D(G)spaces between this Poissongeometrical Kitaev model and Fock and Rosly’s Poisson structure for the graph \(\Gamma \) and the PoissonLie group D(G). This decouples the latter and represents it as a product of Heisenberg doubles. It also relates the Poissongeometrical Kitaev model to the symplectic structure on the moduli space of flat D(G)bundles on an oriented surface with boundary constructed from \(\Gamma \).
Introduction
Motivations. Kitaev’s lattice models were initially introduced to model a quantum memory on a surface that is governed by its topological properties and allows for intrinsically faulttolerant quantum computation [23]. Besides their role in topological quantum computing, Kitaev models have also gained popularity in other areas of current research as many interesting links have been discovered. They were related, for instance, to Levin and Wen’s stringnet models [12], which were introduced in the context of condensed matter physics [25]. They can also be viewed as Hamiltonian analogues of 3d topological quantum field theories [9] of TuraevViro type [10, 33].
Recently, Meusburger related Kitaev models to the combinatorial quantization of ChernSimons theories [27], that was obtained by Alekseev, Grosse and Schomerus [1,2,3] and Buffenoir and Roche [14, 15], and axiomatized as a Hopf algebra gauge theory by Meusburger and Wise [28]. The combinatorial models have been derived by quantizing a Poisson structure introduced by Fock and Rosly [20]. It describes the canonical symplectic structure on the moduli space of flat Gbundles, which is the (reduced) phase space of ChernSimons theory. This indicates that there should be a Poissongeometrical counterpart to Kitaev models and that it should be related to Fock and Rosly’s Poisson structure in a similar way as Kitaev models are related to combinatorial quantization. However, Kitaev models were defined ad hoc and not obtained by quantizing a Poisson manifold.
In this article we construct a Poisson analogue of Kitaev models and relate it to Fock and Rosly’s Poisson structure and to moduli spaces of flat Gbundles. This offers a new, Poissongeometrical perspective on Kitaev models and provides an additional relation to ChernSimons theory already on the classical level. It also allows one to apply insights gained from Kitaev models to moduli spaces of flat Gbundles. For instance, it follows from the contents of this article that the moduli space for a surface with boundary can be viewed as a Poisson counterpart to a Kitaev model with excitations, or quasiparticles, located at the boundary components. Our results also allow for a decoupling of the symplectic structure on the moduli space by describing it in terms of a product Poisson manifold associated to a Poissongeometrical Kitaev model.^{Footnote 1}
Kitaev models. Originally, Kitaev’s lattice models were based on an embedded graph whose edges were decorated with elements of the group algebra of \(\mathbb {Z}_2\) [23]. This was generalized first by Bombin and MartinDelgado [11] to group algebras of finite groups, and finally to finitedimensional semisimple Hopf \(*\)algebras by Buerschaper et al. [13].
A Kitaev model on an oriented surface S is defined via an embedded graph \(\Gamma \) with edge set E. A copy of a finitedimensional semisimple Hopf \(*\)algebra H over \(\mathbb {C}\) is assigned to each edge to obtain the extended space \(H^{\otimes E}\). It is known that the endomorphism algebra \({{\,\mathrm{End}\,}}_\mathbb {C}(H)\) is isomorphic to the Heisenberg double \({\mathcal {H}}(H)\) [29], so that the algebra of endomorphisms \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) of the extended space is isomorphic to the tensor product \({\mathcal {H}}(H)^{\otimes E}\) of Heisenberg doubles [27].
To the vertices and faces of \(\Gamma \) one associates vertex and face operators. The operators for a vertex and adjacent face can be combined to obtain a representation of the Drinfeld double D(H) on \(H^{\otimes E}\) [13, 23] and a D(H)module algebra structure on the endomorphism algebra \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) [27]. The ground state of the Kitaev model, the protected space, is the subspace of \(H^{\otimes E}\) on which all vertex and face operators act trivially. Its endomorphism algebra is a subalgebra of the invariants of \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) with respect to the D(H)module algebra structures [27]. The protected space depends only on the homeomorphism class of the surface S [13, 23]. Moreover, Balsam and Kirillov have shown in [9] that it is isomorphic to the vector space that topological quantum field theory of TuraevViro type [10, 33] (for the category HMod) assigns to S. Meusburger showed that the topological invariant associated to a Kitaev model for the Hopf algebra H, the endomorphism algebra of its protected space, is isomorphic to the quantum moduli algebra obtained from combinatorial quantization of ChernSimons theories for the Drinfeld double D(H).
Poisson analogues of Kitaev models. PoissonLie groups can be regarded as Poisson analogues of Hopf algebras and many structures and constructions for Hopf algebras have PoissonLie group counterparts. Like Hopf algebras, each PoissonLie group G possesses a dual PoissonLie group \(G^*\) and there are Poissongeometrical notions of Heisenberg and Drinfeld doubles. Additionally, a counterpart to a module algebra over a Hopf algebra is given by the Poisson algebra \(C^\infty (M, \mathbb {R})\) of functions on a Poisson Gspace M, that is, a Poisson manifold M together with a Poisson action of the PoissonLie group G. (See Table 1.)
This correspondence suggests that an analogue of Kitaev models can be formulated with data from a PoissonLie group. We define such an analogue, which we call a PoissonKitaev model, by replacing the Hopfalgebraic data of a Kitaev model by its PoissonLie counterparts. For this we consider an embedded graph \(\Gamma \) with edge set E and assign a copy of the Heisenberg double \({\mathcal {H}}(G)\) of a PoissonLie group G to every edge to obtain the product Poisson manifold \({\mathcal {H}}(G)^{\times E}\). The Poisson algebra of functions \(C^\infty ({\mathcal {H}}(G)^{\times E}, \mathbb {R})\) is the counterpart to the endomorphism algebra of the extended space \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E}) \cong {\mathcal {H}}(H)^{\otimes E}\).
Holonomies. In [27], Meusburger defined a holonomy functor on the graph groupoid \({\mathcal {G}}(\Gamma _D)\) of the thickening \(\Gamma _D\) of \(\Gamma \), which one obtains by replacing every edge of \(\Gamma \) by a rectangle and each vertex by a polygon. These holonomies associate to a path in \({\mathcal {G}}(\Gamma _D)\) endomorphisms of the extended space \(H^{\otimes E}\). The endomorphism algebra of \(H^{\otimes E}\) is isomorphic to \({\mathcal {H}}(H)^{\otimes E}\) and the Heisenberg double \({\mathcal {H}}(H)\) is isomorphic to \(H \otimes H^*\) as a vector space. Vertex operators are obtained from paths in \({\mathcal {G}}(\Gamma _D)\) around vertices and are associated with elements of H, whereas face operators are obtained from paths around faces and are associated with elements of \(H^*\) [11, 13, 23, 27].
We define an analogous holonomy functor that assigns to paths in \({\mathcal {G}}(\Gamma _D)\) functions on \({\mathcal {H}}(G)^{\times E}\). Poisson counterparts to vertex and face operators are obtained from paths around vertices and faces, respectively. The Heisenberg double \({\mathcal {H}}(G)\) is locally diffeomorphic to \(G \times G^*\). In analogy to quantum Kitaev models, the holonomy around a face depends only on the Gcomponents of the copies of \({\mathcal {H}}(G)\) associated to adjacent edges, and vertex holonomies depend only on the \(G^*\)components. This holonomy functor also allows us to define local flatness for PoissonKitaev models: an element of \({\mathcal {H}}(G)^{\times E}\) is flat at a vertex or face if the associated holonomy is trivial.
Vertex and face actions. We define Poisson actions of G and \(G^*\) on \({\mathcal {H}}(G)^{\times E}\) associated to the vertices and faces of \(\Gamma \), respectively. We show that the actions for a pair of a vertex v and adjacent face f can be combined to obtain a Poisson action of the classical double D(G) that corresponds to the module algebra structure of \({\mathcal {H}}(H)^{\otimes E}\) over the Drinfeld double D(H). We relate the derivation \(\left\{ h,  \right\} \) obtained from the Poisson bracket on \({\mathcal {H}}(G)^{\times E}\) and a vertex or face operator h to the vector fields that generate the respective vertex or face action. This is in analogy to the Hopfalgebraic picture, where the D(H)module algebra structure is obtained from vertex and face operators [27].
Relation to Fock and Rosly’s Poisson structure. Fock and Rosly’s Poissonstructure [20] is obtained by decorating the edges of an embedded graph \(\Gamma \) with copies of a quasitriangular PoissonLie group D. The Poisson bracket on the manifold \(D^{\times E}\) is obtained from the rmatrix of D, which is used to describe the interaction of edges incident at the same vertex.
We prove that the Poisson manifold \({\mathcal {H}}(G)^{\times E}\) of a PoissonKitaev model for a PoissonLie group G is Poissonisomorphic to Fock and Rosly’s Poisson manifold \(D(G)^{\times E}\) for the classical double D(G). The Poisson manifold \(D(G)^{\times E}\) is equipped with a Poisson action of D(G) for every vertex v of \(\Gamma \). We show that the Poisson isomorphism intertwines this Poisson action with the one associated by the PoissonKitaev model to v and an adjacent face. As a manifold, \(D(G)^{\times E}\) is diffeomorphic to \({\mathcal {H}}(G)^{\times E}\) but \(D(G)^{\times E}\) is equipped with a Poisson bracket that involves nontrivial contributions between different copies of D(G) for edges at a given vertex. As the Poisson manifold associated with the PoissonKitaev model is the product Poisson manifold \({\mathcal {H}}(G)^{\times E}\), this Poisson isomorphism can be interpreted as decoupling the contributions associated with different edges in the Poisson bracket of \(D(G)^{\times E}\).
Relation to moduli spaces of flat D(G)bundles. The natural symplectic structure on the moduli space of flat D(G)bundles on a compact oriented surface with boundary can be obtained from Fock and Rosly’s Poisson manifold \(D(G)^{\times E}\) for an embedded graph by taking the quotient with respect to the D(G)action for every vertex. We use this fact to relate the Poisson algebra of functions on the moduli space with PoissonKitaev models. We consider a compact oriented surface S with at least one boundary component and an embedded graph \(\Gamma \) such that S is obtained by gluing an annulus or disk to each face of \(\Gamma \). To S we associate a submanifold \({\mathcal {H}}(G)^{\times E}_{flat}\) of the Poisson manifold \({\mathcal {H}}(G)^{\times E}\) of the PoissonKitaev model for \(\Gamma \). It consists of elements that have trivial holonomies around vertices and faces except for each face that corresponds to an annulus and for an adjacent vertex of every such face. From the set of functions that are invariant under vertex and face actions on \({\mathcal {H}}(G)^{\times E}_{flat}\) we obtain a Poisson algebra that is isomorphic to the Poisson algebra of functions on the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S), D(G))/D(G)\).
This isomorphism of Poisson algebras can be understood as a decoupling transformation. It represents the symplectic structure of the moduli space on the direct Poisson product \({\mathcal {H}}(G)^{\times E}\). It can be viewed as a generalization of a similar transformation constructed by Alekseev and Malkin [5], which represents \({{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) on the product Poisson manifold \((G^*)^n \times {\mathcal {H}}(G)^g\), where n is the number of boundary components and g the genus of S. The construction in [5] is based on a set of generators of the fundamental group \(\pi _1(S)\), whereas our construction works for more general graphs.
Further work. Some constructions associated with Kitaev models are still lacking a Poisson counterpart, or a counterpart exists but deserves further investigation. For one thing, we only consider Poisson analogues of Kitaev models with excitations and do not construct an analogue of the ground state. More specifically, we relate the Poisson algebra of functions on the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S), D(G))/D(G)\) for a surface S with nonempty boundary to the endomorphism algebra of a state with excitations.^{Footnote 2} The excitations correspond to the boundary components of S. Therefore, it is plausible that the endomorphism algebra of the ground state of a Kitaev model (that is, the state without excitations) corresponds to the Poisson algebra of functions on the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1({\tilde{S}}), D(G))/D(G)\) for the surface \({\tilde{S}}\) obtained by gluing a disk to every boundary component of S. However, unlike the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S), D(G))/D(G)\) for a surface with boundary, a precise relationship between \({{\,\mathrm{Hom}\,}}(\pi _1({\tilde{S}}), D(G))/D(G)\) and PoissonKitaev models is yet to be established.
Also, while we construct a holonomy functor analogous to the one introduced by Meusburger [27], which generalizes Kitaev’s ribbon operators [11, 23], we do not investigate Poisson analogues of ribbon operators in detail. Ribbon operators are endomorphisms \(H^{\otimes E} \rightarrow H^{\otimes E}\) of the extended space of a Kitaev model and implement quantum computations by creating excitations, moving them on the surface associated to the Kitaev model, and destroying them. As states with excitations correspond to moduli spaces \({{\,\mathrm{Hom}\,}}(\pi _1(S), D(G))/D(G)\) for surfaces S with a boundary component for every excitation, Poisson analogues of ribbon operators might relate moduli spaces for surfaces with different numbers of boundary components.
Moreover, we do not define a Poisson analogue of the Hamiltonian of a Kitaev model. The latter is obtained from vertex and face operators and the Haar integrals of the Hopf algebras H and \(H^*\) [11, 13, 23]. As there are Poisson counterparts of vertex and face operators, one could attempt to obtain a Hamiltonian from these together with the Haar measures on the PoissonLie groups G and \(G^*\) associated with a PoissonKitaev model (which correspond to the Hopf algebras H and \(H^*\)), at least for compact G and \(G^*\).
Structure of the article. In Sects. 2.1 through 2.3 we introduce the relevant background for the mathematical structures used in this article: graphs on surfaces and Poisson structures associated with PoissonLie groups and Poisson actions. Fock and Rosly’s description of the canonical symplectic structure on moduli spaces of flat Gbundles is summarized in Sect. 2.4. We review Kitaev’s lattice models in Sect. 2.5.
In Sect. 3.1 we define PoissonKitaev models. We introduce notions of holonomies and flatness, define analogues of vertex and face operators, and introduce vertex and face actions. Section 3.2 is dedicated to graph transformations. They allow us to relate PoissonKitaev models on different lattices. Poisson actions associated with vertices and faces are investigated in Sect. 3.3 together with the Poisson subalgebra of invariant functions. We prove that a pair of actions for a vertex and adjacent face can be combined into a Poisson D(G)action. In Sect. 3.4 we discuss the Poisson analogues of vertex and face operators and show that they are related to the PoissonLie group actions associated with the respective vertices and faces.
In Sects. 3.5 and 3.6 we prove our main results. The isomorphism between PoissonKitaev models and Fock and Rosly’s Poisson structure is shown in Sect. 3.5. The relation between Poisson–Kitaev models and moduli spaces of flat D(G)bundles is proven in Sect. 3.6.
Background
Embedded graphs
In this section, we introduce the notion of ribbon graphs (also called fat graphs, embedded graphs or maps). For more background on ribbon graphs see, for instance, [19] or [24]. First we introduce some general terms for directed graphs.
Definition 2.1
Let \(\Gamma \) be a directed graph, V its set of vertices and E its set of edges.

(i)
For an edge \(e \in E\) we write \(s(e), t(e) \in V\) for the source and target vertices of e, respectively. We set \(s(e^{\mp }) = t(e^{\pm })\) for the edge \(e^{1}\) with reversed orientation. We say that e is incoming at (outgoing from) v if \(t(e) =v\) and \(s(e) \ne v\) (\(t(e) \ne v\) and \(s(e)=v\)).

(ii)
We denote by \({\mathcal {G}}(\Gamma )\) the graph groupoid associated to \(\Gamma \). This is the free groupoid generated by the edges \(e \in E\) which we interpret as morphisms \(e : s(e) \rightarrow t(e)\). A morphism \(p : v_1 \rightarrow v_2\) is called a path from the vertex \(v_1 \in V\) to \(v_2 \in V\).

(iii)
The graph subdivision of \(\Gamma \) is the directed graph \(\Gamma _{\circ }\) which is obtained by introducing a bivalent vertex on every edge \(e \in E\), thus splitting e into the two edges \(i_s(e), i_t(e)\). The edges \(i_s(e), i_t(e)\) are called the edge ends of e and inherit its orientation, so that \(s(i_s(e)) = s(e)\) and \(t(i_t(e)) = t(e)\).

(iV)
A vertex \(v \in V\) is called nvalent, if it has n incident edge ends, and univalent, bivalent, trivalent, etc. if \(n = 1, 2, 3, \dots \).
Definition 2.2

(i)
A ribbon graph is a finite directed graph \(\Gamma \) together with a cyclic ordering of the edge ends at each vertex. If there is a linear ordering at all vertices, we call \(\Gamma \) a ciliated ribbon graph.

(ii)
A path \(p: v \rightarrow v\) in a ribbon graph is called a face path, if it traverses each edge \(e \in E\) at most once in each direction and turns maximally right at every vertex. That is, it enters each vertex through an edge end i and leaves it through the edge end \(i'\) that is directly after i with respect to the cyclic ordering, and the first edge end of the path comes directly after the last one.

(iii)
A face f of the ribbon graph \(\Gamma \) is an equivalence class of face paths under cyclic permutations. An edge e of f is oriented clockwise (oriented counterclockwise) with regard to f if there is a face path \(p = e_n^{\varepsilon _n} \circ \dots \circ e_1^{\varepsilon _1}\) of f with \(e = e_j\) and \(\varepsilon _j = 1\) (\(\varepsilon _j =1\)) for some j and p traverses e exactly once.
Notation 2.3
In the following \(\Gamma \) always denotes a ribbon graph. We write V, E and F for its sets of vertices, edges and faces, respectively. When we depict a piece of \(\Gamma \), we will assume that the edge ends at vertices are ordered counterclockwise. This implies that face paths are traversed in a clockwise manner.
Remark 2.4
Ribbon graphs are in correspondence with graphs embedded into compact oriented surfaces (with boundary). To obtain the associated surface, glue an annulus to \(\Gamma \) for each face \(f \in F\) along an associated face path.
Conversely, consider a finite directed graph \(\Gamma \) that is embedded into an oriented surface S. Then the orientation of the surface S naturally induces a cyclic ordering of the edge ends at every vertex \(v \in V\), turning \(\Gamma \) into a ribbon graph.
The name ribbon graph is motivated by the fact that ribbon graphs can be thickened, thus turning each edge into a ribbon:
Definition 2.5
Let \(\Gamma \) be a ribbon graph.

(i)
The thickening of \(\Gamma \) is the ribbon graph \(\Gamma _D\) where each edge is replaced by a rectangle and each vertex by a polygon. An edge e is replaced by the four edges r(e), l(e), f(e), b(e). The edges r(e), l(e) stand for the right and left side of e, respectively, and are oriented towards the vertex t(e). The edges f(e), b(e) stand for the edge ends of e at t(e) and s(e), respectively, and are oriented towards the face left of e. This is illustrated in Fig. 1.

(ii)
The edges r(e), l(e) are called the edge sides of e. As the edges f(e), b(e) are in bijection to \(i_t(e), i_s(e)\), we also refer to them as edge ends.
Note that the thickening \(\Gamma _D\) obtains its ribbon graph structure naturally from that of \(\Gamma \). A face of \(\Gamma _D\) corresponds to either a vertex, edge or face of \(\Gamma \). We do not distinguish between vertices, edges and faces of \(\Gamma \) and the associated polygons of \(\Gamma _D\).
Consider the dual \(\Gamma ^*\) of a ribbon graph \(\Gamma \). (The vertices of \(\Gamma ^*\) correspond to the faces of \(\Gamma \). For every edge separating the faces \(f, f'\) of \(\Gamma \) the graph \(\Gamma ^*\) has an edge connecting f and \(f'\).) It is also a ribbon graph in a natural way: the edge ends of \(\Gamma ^*\) correspond to the edge sides of \(\Gamma \) and the cyclic ordering at a vertex of \(\Gamma ^*\) is obtained from any face path of the corresponding face in \(\Gamma \). The thickening of \(\Gamma ^*\) coincides with that of \(\Gamma \) (up to edge orientation) if we switch the roles of edge ends and sides. The dual of a ciliated ribbon graph \(\Gamma \), however, does not inherit a ciliated ribbon graph structure. For this reason, we consider ciliated ribbon graphs with the following additional structure.
Definition 2.6
A doubly ciliated ribbon graph is a ciliated ribbon graph \(\Gamma \) together with a choice of a face path for every face.
The chosen face path for a face of \(\Gamma \) equips it with a linear ordering of the adjacent edge sides in the thickening \(\Gamma _D\). Graphically, the orderings of a doubly ciliated ribbon graph \(\Gamma \) can be expressed in \(\Gamma _D\) by adding cilia to the polygons that represent vertices and faces, as is shown in Fig. 2.
Definition 2.7
Let \(\Gamma \) be a doubly ciliated ribbon graph.

(i)
Let \(v \in V\) and let \(e \in E\) be the edge that contains the first edge end \(i_v\) of v. The face associated with v is the face of \(\Gamma \) incident to the right side r(e) of e if \(i_v = b(e)\) (incident to the left side l(e) of e if \(i_v=f(e)\)). It is denoted by f(v).

(ii)
Let \(f \in F\) and let \(e \in E\) be the edge that contains the first edge side \(i_f\) of f. The vertex associated with f is the vertex s(e) if \(i_f = r(e)\) (t(e) if \(i_f = l(e)\)) and is denoted by v(f).

(iii)
Let \(v \in V, f \in F\) with \(v(f) = v\) and \(f(v) = f\). We say that the pair (v, f) is a site if the first edge end and edge side of v and f, respectively, are either b(e) and r(e) or f(e) and l(e) for some edge e.

(iv)
A doubly ciliated ribbon graph \(\Gamma \) is called paired if

(a)
for each vertex \(v \in V\) and face \(f \in F\) the pairs (v, f(v)), (v(f), f) are sites,

(b)
it has no loops and

(c)
for each edge \(e \in E\) the face to the left of e is different from the face to the right.

(a)
In Fig. 2 the polygon that contains the blue cilium corresponds to the vertex v(f) of \(\Gamma \). Moreover, the pair (v(f), f) is a site. Graphically, the condition that (v(f), f) is a site means that the cilia of v(f) and f are attached to the same vertex in \(\Gamma _D\).
PoissonLie groups and Poisson Gspaces
In this section we introduce the data for Fock and Rosly’s Poisson structure [20] and for PoissonKitaev models: PoissonLie groups and manifolds with Poisson actions of PoissonLie groups. We mostly follow the presentation in [16].
Definition 2.8
[17]

(i)
A Lie group G that is also a Poisson manifold is called a PoissonLie group if the multiplication map \(\mu : G \times G \rightarrow G\) is Poisson with respect to the product Poisson structure on \(G \times G\).

(ii)
A homomorphism \(\Phi : G \rightarrow H\) of PoissonLie groups is a homomorphism of Lie groups that is also a Poisson map.

(iii)
A PoissonLie subgroup H of G is a Lie subgroup that is also a Poisson submanifold: H is a PoissonLie group together with an injective immersion \(\iota : H \rightarrow G\) that is a group homomorphism and a Poisson map.
(Poisson)Lie groups and smooth manifolds are always assumed finite dimensional. We do not require submanifolds to be embedded.
The Poisson structure of a PoissonLie group G equips its Lie algebra \({{\,\mathrm{{\mathbf {L}}}\,}}(G)\) with the structure of a Lie bialgebra.
Definition 2.9

(i)
A Lie algebra \(({\mathfrak {g}}, \left[ \, , \right] )\) together with a skew symmetric linear map \(\delta : {\mathfrak {g}}\rightarrow {\mathfrak {g}}\otimes {\mathfrak {g}}\), called the cocommutator of \({\mathfrak {g}}\), is called a Lie bialgebra if \(\delta ^* : {\mathfrak {g}}^* \otimes {\mathfrak {g}}^* \rightarrow {\mathfrak {g}}^*\) defines a Lie bracket on \({\mathfrak {g}}^*\) and \(\delta \) is a 1cocycle of \({\mathfrak {g}}\) with values in \({\mathfrak {g}}\otimes {\mathfrak {g}}\):
$$\begin{aligned} \delta [X,Y] = ({{\,\mathrm{ad}\,}}_X \otimes \, \text {id}_{\mathfrak {g}}+ \text {id}_{\mathfrak {g}}\otimes {{\,\mathrm{ad}\,}}_X) \, \delta Y  ({{\,\mathrm{ad}\,}}_Y \otimes \, \text {id}_{\mathfrak {g}}+ \text {id}_{\mathfrak {g}}\otimes {{\,\mathrm{ad}\,}}_Y) \, \delta X \qquad {{\,\mathrm{\;\forall \;}\,}}X,Y \in {\mathfrak {g}}\, . \end{aligned}$$ 
(ii)
A homomorphism of Lie bialgebras \(\varphi : {\mathfrak {g}}\rightarrow {\mathfrak {h}}\) is a homomorphism of Lie algebras such that \(\varphi ^* : {\mathfrak {h}}^* \rightarrow {\mathfrak {g}}^*\) is also a homomorphism of Lie algebras.
Let \((G, \left\{ \, , \right\} )\) be a PoissonLie group with associated Lie algebra \({\mathfrak {g}}:= {{\,\mathrm{{\mathbf {L}}}\,}}(G)\). We express the Poisson bracket \(\left\{ \, , \right\} : C^\infty (G, \mathbb {R})^{2} \rightarrow C^\infty (G, \mathbb {R})\) by the corresponding Poisson bivector \(w \in \Gamma (\bigwedge ^2 TG)\):
Denote by \(L_g: G \rightarrow G\) the left multiplication \(h \mapsto g \cdot h\) with an element \(g \in G\) and by \(R_g : G \rightarrow G\) the right multiplication. We write \(TL_g\) and \(TR_g\) for the associated tangent maps.
Theorem 2.10
[17]

(i)
The Lie algebra \({\mathfrak {g}}\) is a Lie bialgebra with cocommutator
$$\begin{aligned} \delta := T_1 w^R: {\mathfrak {g}}\rightarrow {\mathfrak {g}}\otimes {\mathfrak {g}}\quad \text { with } \quad w^R : G \rightarrow T_1G^{\otimes 2} = {\mathfrak {g}}^{\otimes 2} \quad g \mapsto TR_{g^{1}}^{\otimes 2} \, w(g) \, . \end{aligned}$$It is called the tangent Lie bialgebra associated to G.
If H is a connected and simply connected Lie group, then every Lie bialgebra structure \(({\mathfrak {h}}, \delta )\) on its Lie algebra \({\mathfrak {h}}\) equips H with a unique structure of a PoissonLie group so that \({\mathfrak {h}}\) is the tangent Lie bialgebra ofH.

(ii)
If \(\Phi : G \rightarrow H\) is a homomorphism of PoissonLie groups, then the derivative at the unit \(T_1 \Phi : {{\,\mathrm{{\mathbf {L}}}\,}}(G) \rightarrow {{\,\mathrm{{\mathbf {L}}}\,}}(H)\) is a homomorphism of Lie bialgebras.
If G is connected and simply connected, then for every homomorphism \(\varphi : {{\,\mathrm{{\mathbf {L}}}\,}}(G) \rightarrow {{\,\mathrm{{\mathbf {L}}}\,}}(H)\) of Lie bialgebras there is a unique homomorphism \(\Phi : G \rightarrow H\) of PoissonLie groups such that \(\varphi = T_1 \Phi \).
For any finitedimensional Lie bialgebra \(({\mathfrak {g}}, \left[ \, , \right] , \delta )\) the dual \({\mathfrak {g}}^*\) has a canonical Lie bialgebra structure with commutator given by \(\delta ^*: {\mathfrak {g}}^* \otimes {\mathfrak {g}}^* \cong ({\mathfrak {g}}\otimes {\mathfrak {g}})^* \rightarrow {\mathfrak {g}}^*\) and cocommutator \(\left[ \, , \right] ^* : {\mathfrak {g}}^* \rightarrow {\mathfrak {g}}^* \otimes {\mathfrak {g}}^*\).
Definition 2.11

(i)
The Lie bialgebra \(({\mathfrak {g}}^*, \delta ^*, \left[ \, , \right] ^*)\) is called the dual Lie bialgebra of \({\mathfrak {g}}\).

(ii)
Let G be a PoissonLie group with associated Lie bialgebra \(({\mathfrak {g}}, \left[ \, , \right] , \delta )\). Any PoissonLie group with tangent Lie bialgebra \(({\mathfrak {g}}^*, \delta ^*, \left[ \, , \right] ^*)\) is called dual to G. The unique connected and simply connected PoissonLie group \(G^*\) dual to G is called the dual PoissonLie group of G.
Notation 2.12
For an element \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\) we write \(r = r_{(1)} \otimes r_{(2)}\), suppressing the sum. Denote by \(r_{21} := r_{(2)} \otimes r_{(1)}\) the flipped element. We write \(r_a := \frac{1}{2} (r  r_{21})\) and \(r_s := \frac{1}{2}(r + r_{21})\) for the antisymmetric and symmetric components of r, respectively.
Definition 2.13

(i)
Let \({\mathfrak {g}}\) be a Lie algebra. The classical YangBaxter equation, or CYBE, for an element \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\) is the equation
$$\begin{aligned} \left[ \left[ r,r \right] \right] := [r_{12}, r_{13}] + [r_{12}, r_{23}] + [r_{13}, r_{23}] = 0 \, , \end{aligned}$$(1)where we use the following notation for \(r, s \in {\mathfrak {g}}\otimes {\mathfrak {g}}\):
$$\begin{aligned} {[}r_{12}, s_{13}]&:= [r_{(1)}, s_{(1)}] \otimes r_{(2)} \otimes s_{(2)} \\ {[}r_{12}, s_{23}]&:= r_{(1)} \otimes [r_{(2)}, s_{(1)}] \otimes s_{(2)} \\ {[}r_{13}, s_{23}]&:= r_{(1)} \otimes s_{(1)} \otimes [r_{(2)}, s_{(2)}] \, . \end{aligned}$$A solution of the CYBE is called a classical rmatrix.

(ii)
A PoissonLie group G is called coboundary if its Poisson bivector is of the form
$$\begin{aligned} w(g) = (TL_g^{\otimes 2}  TR_g^{\otimes 2}) \; r \end{aligned}$$(2)for an element \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\). It is called quasitriangular if r is a classical rmatrix, and triangular if in addition r is antisymmetric.
Theorem 2.14
[31]. Equation (2) defines the structure of a Poisson–Lie group on G if and only if both the symmetric component \(r_s\) and the element \( \left[ \left[ r,r \right] \right] \) are invariant under the adjoint representation of G on \({\mathfrak {g}}\otimes {\mathfrak {g}}\) and \({\mathfrak {g}}^{\otimes 3}\), respectively.
In particular, if \(r_s\) is \({{\,\mathrm{Ad}\,}}\)invariant and r is a classical rmatrix, Eq. (2) defines the structure of a quasitriangular PoissonLie group on G.
Definition 2.15
Let G be a PoissonLie group.

(i)
A Poisson manifold M together with a group action \(\rhd : G \times M \rightarrow M\) that is also a Poisson map is called a Poisson Gspace.

(ii)
A map \(\varphi : M \rightarrow N\) between Poisson Gspaces is called a homomorphism of Poisson Gspaces if it is Poisson and intertwines the Gactions:
$$\begin{aligned} \varphi (g \rhd m) = g \rhd \varphi (m) \quad {{\,\mathrm{\;\forall \;}\,}}m \in M, g\in G \, . \end{aligned}$$
Any PoissonLie group G together with the multiplication map \(\mu : G \times G \rightarrow G\) is a Poisson Gspace. If G is coboundary, then there is another Poisson Gspace structure on G. Its Poisson bivector is also obtained from the element \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\) from (2):
Theorem 2.16
[31, 32]. Let G be a coboundary PoissonLie group.

(i)
The pair \(G_{\mathcal {H}}:= (G, w_{\mathcal {H}})\) is a Poisson manifold.

(ii)
The Poisson manifold \(G_{\mathcal {H}}\) becomes a Poisson Gspace when equipped with any of the following Poisson actions:
$$\begin{aligned} \rhd : G \times G_{\mathcal {H}}\rightarrow G_{\mathcal {H}}\quad&\quad (g, h) \mapsto gh \\ \rhd ' : G \times G_{\mathcal {H}}\rightarrow G_{\mathcal {H}}\quad&\quad (g,h) \mapsto h g^{1} \, . \end{aligned}$$The inversion map \(\eta : (G_{\mathcal {H}}, \rhd ) \rightarrow (G_{\mathcal {H}}, \rhd '), g \mapsto g^{1}\) is an isomorphism of Poisson Gspaces.
Remark 2.17
Note that while the right multiplication on the PoissonLie group G is Poisson, the inversion map \(\eta : G \rightarrow G\) is antiPoisson. Hence, the action \(\rhd ' : G \times G \rightarrow G\) from Theorem 2.16does not equip G with a Poisson Gspace structure. It does, however, equip G with a Poisson \((G, w_G)\)space structure for the negative Poisson bivector \(w_G\) on G.
Double PoissonLie groups
Similarly to the Drinfeld double of a Hopf algebra, to any PoissonLie group G we can associate a quasitriangular PoissonLie group D(G), the double of G.
We define the double of a Lie bialgebra as in [16]. Let \(({\mathfrak {g}}, [,], \delta )\) be a Lie bialgebra with dual Lie bialgebra \(({\mathfrak {g}}^*, [,]_{{\mathfrak {g}}^*}, \delta _{{\mathfrak {g}}^*})\), where \([,]_{{\mathfrak {g}}^*} = \delta ^*\) and \(\delta _{{\mathfrak {g}}^*} = [,]^*\). Denote by \({\mathfrak {g}}^{*cop}\) the Lie bialgebra \({\mathfrak {g}}^*\) with opposite cocommutator. Consider the symmetric bilinear form \((\, ,) : ({\mathfrak {g}}\oplus {\mathfrak {g}}^*)^{\otimes 2} \rightarrow \mathbb {R}\) given by
Theorem 2.18
[17]. There is a unique Lie bialgebra structure on the vector space \({\mathfrak {g}}\oplus {\mathfrak {g}}^*\) such that the inclusions \({\mathfrak {g}}\rightarrow {\mathfrak {g}}\oplus {\mathfrak {g}}^*, {\mathfrak {g}}^{*cop} \rightarrow {\mathfrak {g}}\oplus {\mathfrak {g}}^*\) are homomorphisms of Lie bialgebras and \((\, ,)\) is invariant under the adjoint representation. The Lie bracket is given by
where \({{\,\mathrm{ad}\,}}_x^*(\alpha ) =  \alpha \circ {{\,\mathrm{ad}\,}}_x\) denotes the coadjoint representation. This Lie bialgebra structure on \({\mathfrak {g}}\oplus {\mathfrak {g}}^*\) is quasitriangular with classical rmatrix \(r = \text {id}_{\mathfrak {g}}\), where we view \(\text {id}_{\mathfrak {g}}\) as an element of \({\mathfrak {g}}\otimes {\mathfrak {g}}^* \subseteq ({\mathfrak {g}}\oplus {\mathfrak {g}}^*)^{\otimes 2}\).
Definition 2.19

(i)
The Lie bialgebra structure from Theorem 2.18 is called the double of \({\mathfrak {g}}\) and is denoted by \(D({\mathfrak {g}})\). Lie bialgebras of this form are called double Lie bialgebras.

(ii)
A PoissonLie group G is called a double PoissonLie group if its tangent Lie bialgebra is a double Lie bialgebra.

(iii)
For a PoissonLie group H with Lie bialgebra \({\mathfrak {h}}\) we call the unique connected and simply connected PoissonLie group with tangent Lie bialgebra \(D({\mathfrak {h}})\) the double D(H) of H.
Notation 2.20
For a double Lie bialgebra \({\mathfrak {g}}= D({\mathfrak {h}})\) of a Lie bialgebra \({\mathfrak {h}}\) we denote the Lie subbialgebras \({\mathfrak {h}}, {\mathfrak {h}}^{*cop}\) by \( {\mathfrak {g}}_ := {\mathfrak {h}}\) and \( {\mathfrak {g}}_+ := {\mathfrak {h}}^{*cop} \).
The Heisenberg double of a Hopf algebra also has a Poissongeometrical counterpart:
Definition 2.21
[4] Consider a double PoissonLie group G.

(i)
The Poisson manifold \(G_{\mathcal {H}}= (G, w_{{\mathcal {H}}})\) with the Poisson bivector \(w_{\mathcal {H}}\) from (3) is called a Heisenberg double.

(ii)
If \(G = D(H)\) is the double of a PoissonLie group H, we call \({\mathcal {H}}(H) := G_{\mathcal {H}}= D(H)_{\mathcal {H}}\) the Heisenberg double of H.
For any quasitriangular PoissonLie group G with tangent Lie bialgebra \({\mathfrak {g}}\) the classical rmatrix \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\) of G defines two linear maps
These maps are used to relate the PoissonLie group G with its dual \(G^*\) if the Lie bialgebra \({\mathfrak {g}}\) is factorizable, that is, if the symmetric component \(r_s\) of its rmatrix is nondegenerate. (See, for instance, [30] or [34].) This is the case if G is a double PoissonLie group. The CYBE implies that the maps \(\sigma _\pm \) are homomorphisms of Lie algebras, where \({\mathfrak {g}}^*\) is equipped with the commutator \(\delta ^*\). Thus, they can be integrated to homomorphisms of Lie groups \(S_+, S_ : G^* \rightarrow G\).
For the remainder of Sect. 2.3 we assume that G is a double PoissonLie group. Then \({\mathfrak {g}}= D({\mathfrak {h}})\) for some Lie bialgebra \({\mathfrak {h}}\) and the images \(\sigma _+({\mathfrak {g}}^*), \sigma _({\mathfrak {g}}^*)\) coincide with the Lie subbialgebras \({\mathfrak {g}}_+ = {\mathfrak {h}}^{*cop}\) and \({\mathfrak {g}}_ = {\mathfrak {h}}\), respectively. The CYBE also implies that \(\sigma _\pm \) are antiLie coalgebra homomorphisms. Therefore, the maps \(S_\pm : G^* \rightarrow G\) are antiPoisson and the images \(G_+ := S_+(G^*), G_ := S_(G^*)\) are PoissonLie subgroups. If the double PoissonLie group G is connected and simply connected, then it is the double \(D(G_)\) of \(G_\). If \(G_+\) is simply connected, then it is the dual PoissonLie group of \(G_\) with negative Poisson structure.
The map \(t : {\mathfrak {g}}^* \rightarrow {\mathfrak {g}}, \alpha \mapsto \sigma _+(\alpha )  \sigma _(\alpha )\) is a linear isomorphism as the symmetric component \(r_s\) of r is nondegenerate. Differentiating the map \(S : G^* \rightarrow G, \beta \mapsto S_(\beta )^{1} S_+(\beta )\) at the unit yields \(T_1 S = t\), so that S is a local diffeomorphism in a neighbourhood of \(1 \in G^*\). Computing the pullback of the Poisson bivector of \(G^*\) along the local inverse of S allows us to (locally) express the Poisson structure of \(G^*\) on G.
Lemma 2.22
The bivector
defines a Poisson structure on G. The smooth map \(S: G^* \rightarrow (G, w_{G^*})\) is Poisson and a local diffeomorphism in a neighbourhood of the unit \(1 \in G^*\).
A proof can be found in [7, Section 14.7]. In a neighbourhood \(U \subseteq G\) of the unit we obtain from S two local projections \(\pi _\pm : U \rightarrow G_\pm \):
As shown by Lu and Weinstein [26, Theorem 3.14], the induced (local) right action of \(G_+\) on \(G_\) defined by \( (g_, g_+) \mapsto \pi _(g_+^{1} g_) \) coincides with the right dressing action of the PoissonLie group \((G_+, w_{G_+})\) with negative Poisson bivector on \(G_\). Therefore, the projection \(\pi _: U \rightarrow G_\) is Poisson and the same can be shown for \(\pi _+: U \rightarrow G_+\). In terms of the Poisson bivector \(w_G\) of G this means \(T\pi _\pm ^{\otimes 2} \, w_G_U = w_G \circ \pi _\pm \). A direct computation shows that \(T\pi _\pm ^{\otimes 2} \, w_{{\mathcal {H}}}_U \) and \(T\pi _\pm ^{\otimes 2} \, w_{G^*}_U\) coincide up to a sign with \(T\pi _\pm ^{\otimes 2} \, w_G_U\) for the Poisson bivectors \(w_{{\mathcal {H}}}\) from (3) and \(w_{G^*}\) from (5). The following lemma summarizes these results.
Lemma 2.23
(Poisson properties of \(\pi _\pm \)). There is an open neighbourhood \(U \subseteq G\) of the unit and

(i)
all \(g \in U\) can be uniquely factorized as \(g = g_ g_+\) with \(g_\pm \in G_\pm \),

(ii)
the map \(\pi _ : U \rightarrow G_ \subseteq G, g \mapsto g_\) is Poisson if U is equipped with the Poisson bivector w from (2), \(w_{G^*}\) from (5) or \(w_{{\mathcal {H}}}\) from (3),

(iii)
the map \(\pi _+ : U \rightarrow G_+ \subseteq G, g \mapsto g_+\) is Poisson if U is equipped with w and antiPoisson for the Poisson bivectors \(w_{G^*}\) and \(w_{{\mathcal {H}}}\).
Definition 2.24
A double PoissonLie group G is called a global double PoissonLie group if there are PoissonLie subgroups \(G_+, G_ \subseteq G\) with tangent Lie bialgebras \({\mathfrak {g}}_+, {\mathfrak {g}}_ \subseteq {\mathfrak {g}}\), respectively, and the map \(\mu : G_+ \times G_ \rightarrow G, (g_+, g_) \mapsto g_ g_+ \) is a diffeomorphism.
Example 2.25
[26, Theorem 3.7]. Let G be a connected and simply connected double PoissonLie group and \(G_+, G_\) the connected PoissonLie subgroups with tangent Lie bialgebra \({\mathfrak {g}}_+\) and \({\mathfrak {g}}_\), respectively. If \(G_\) is compact and \(G_+\) is closed in G, then the map \(\mu : G_+ \times G_ \rightarrow G\) from Definition 2.24 is a diffeomorphism.
We conclude this section by deriving certain identities for the projections \(\pi _\pm \) that will be frequently used in the following.
Lemma 2.26
(Computation rules for \(\pi _\pm \)). Let G be a global double PoissonLie group. Then:

(i)
\(\displaystyle \qquad \qquad \pi _(g \, \pi _(h)) = \pi _(gh) \quad \text {and} \quad \pi _+(\pi _+(g) \, h) = \pi _+(gh) {{\,\mathrm{\;\forall \;}\,}}g, h \in G \),

(ii)
\(\displaystyle \qquad \qquad \pi _(xg) = x \pi _(g) \quad \text {and} \quad \pi _+(g\alpha ) = \pi _+(g) \alpha {{\,\mathrm{\;\forall \;}\,}}g \in G, x \in G_, \alpha \in G_+ \).
Proof
This follows directly from the unique decomposition \(g = g_ g_+\) for all elements \(g \in G\). \(\quad \square \)
Lemma 2.27
(Relations of \(\pi _\pm \) with \(w_{{\mathcal {H}}}\) and the rmatrix) Let G be a global double PoissonLie group with classical rmatrix \(r \in {\mathfrak {g}}\otimes {\mathfrak {g}}\).

(i)
For all \(d,g \in G\) the following equations hold:
$$\begin{aligned} (\text {id}\otimes T(\pi _+ \circ R_d)) \, w_{{\mathcal {H}}} (g)&=  (\text {id}\otimes T(\pi _+ \circ R_d)) \circ TL_g^{\otimes 2} \, r \end{aligned}$$(6)$$\begin{aligned} (T(\pi _ \circ L_d) \otimes \text {id}) \, w_{{\mathcal {H}}} (g)&=  (T(\pi _ \circ L_d) \otimes \text {id}) \circ TR_g^{\otimes 2} \, r \, . \end{aligned}$$(7) 
(ii)
For all \(x \in G_, \alpha \in G_+\) one has:
$$\begin{aligned} (\text {id}\otimes T(\pi _+ \circ R_x)) \, r&= ({{\,\mathrm{Ad}\,}}_x \otimes \text {id}) \, r \end{aligned}$$(8)$$\begin{aligned} (T(\pi _ \circ L_\alpha ) \otimes \text {id}) \, r&= (\text {id}\otimes {{\,\mathrm{Ad}\,}}_{\alpha ^{1}}) \, r \, . \end{aligned}$$(9)
Proof
Both statements can be shown using the \({{\,\mathrm{Ad}\,}}\)invariance of \(r_s = \frac{1}{2}(r + r_{21})\) and the identities
that follow from \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\). \(\quad \square \)
Fock and Rosly’s Poisson structure
In [6], Atiyah and Bott showed that the moduli space \({\mathcal {M}} = {{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) of flat Gbundles on a compact oriented surface S has a natural symplectic structure if the Lie group G is equipped with a nondegenerate symmetric \({{\,\mathrm{Ad}\,}}\)invariant bilinear form. A combinatorial description of this symplectic structure in terms of intersection points of curves has been given by Goldman [21, 22]. Fock and Rosly have shown in [20] that on a compact oriented surface S with boundary the symplectic structure on \({\mathcal {M}}\) can be represented as a graph gauge theory on a ciliated ribbon graph \(\Gamma \) embedded into S. In this section we briefly present these results.
Let G be a quasitriangular PoissonLie group with tangent Lie bialgebra \({\mathfrak {g}}\) and \(\Gamma \) a ciliated ribbon graph. Consider the product manifold \(F\!R:= G^{\times E}\) obtained by associating a copy of G to every edge \(e \in E\). Denote by \(\pi _e: F\!R\rightarrow G\) the projection associated with the edge \(e \in E\). Write \(I_v\) for the ordered set of edge ends at a vertex \(v \in V\) and denote the corresponding edges by \(e_i\) for \(i \in I_v\). Define for \(v \in V\) and \(i, j \in I_v\) the element \(s_v^{ij} \in \left\{ 0, \pm 1 \right\} \) by
For \(i \in I_v\) let \(V_i : {\mathfrak {g}}\rightarrow \Gamma (T F\!R)\) be the map that associates to the Lie algebra element \(X \in {\mathfrak {g}}\) the vector field \(V_i(X)\) defined by
Choose for every vertex \(v \in V\) a classical rmatrix of the form \(r(v) = r_a(v) + r_s\) with fixed \({{\,\mathrm{Ad}\,}}\)invariant symmetric component \(r_s \in {\mathfrak {g}}\otimes {\mathfrak {g}}\). Define the bivector
To a vertex \(v \in V\) we associate the action \(\rhd _{v}^{F\!R} : G \times F\!R\rightarrow F\!R\) with
Let \(G_v\) be the quasitriangular PoissonLie group with the Poisson bivector from (2) for the classical rmatrix r(v).
Proposition 2.28
[20, Proposition 3]. The bivector \(w_{F\!R}\) (10) defines a Poisson structure on \(F\!R\). For each \(v \in V\) the action \(\rhd _v^{F\!R}: G_v \times F\!R\rightarrow F\!R\) is Poisson, so that \(F\!R\) is a Poisson \(G_v\)space.^{Footnote 3}
Definition 2.29
We call a Poisson manifold of the type \((F\!R, w_{F\!R})\) a FockRosly space associated to the graph \(\Gamma \).
Consider the compact oriented manifold S that is obtained by gluing annuli to the faces of \(\Gamma \) (or, equivalently, by thickening \(\Gamma \) as in Definition 2.5) and let
Proposition 2.30
[20, Proposition 5]. The set of invariant functions \(C^\infty (F\!R, \mathbb {R})^{inv}\) is a Poisson subalgebra of \(C^\infty (F\!R, \mathbb {R})\). If the symmetric component \(r_s\) is nondegenerate, this Poisson subalgebra is isomorphic to the Poisson algebra of functions on the moduli space \({\mathcal {M}} = {{\,\mathrm{Hom}\,}}(\pi _1 (S), G)/G\) for the nondegenerate symmetric Adinvariant bilinear form dual to \(r_s\).^{Footnote 4}
To relate FockRosly spaces on different graphs, one uses graph transformations and constructs associated Poisson maps. In this article we only need a subset of the transformations from [20]:

(i)
Reversing an edge. Consider the graph \(\Gamma '\) where we replace an edge \(h \in E\) with an edge \(h'\) with opposite orientation (while keeping the ordering at the vertices intact). Let \(F\!R'\) be the FockRosly space for \(\Gamma '\) (with identical choice of rmatrices). To the transformation \(\Gamma \rightarrow \Gamma '\) we associate the map \(\phi : F\!R\rightarrow F\!R'\) given by
$$\begin{aligned} \pi '_e (\phi (\gamma )) = {\left\{ \begin{array}{ll} \pi _{h}(\gamma )^{1} &{} \text { if } e = h' \\ \pi _e(\gamma ) &{} \text { else,} \end{array}\right. } \end{aligned}$$where \(\pi '_e : F\!R' \rightarrow G\) is the edge projection map associated to \(e \in E'\).

(ii)
Gluing two edges along a bivalent vertex.^{Footnote 5} Let \(h_1, h_2\) be distinct edges incident at the bivalent vertex \(v := t(h_1) = s(h_2)\). In the transformed graph \(\Gamma '\), replace these edges by the edge \(h': s(h_1) \rightarrow t(h_2)\) and erase v. The associated map \(\phi : F\!R\rightarrow F\!R'\) is defined by:
$$\begin{aligned} \pi '_e (\phi (\gamma )) = {\left\{ \begin{array}{ll} \pi _{h_2}(\gamma ) \, \pi _{h_1}(\gamma ) &{} \text { if } e = h' \\ \pi _e(\gamma ) &{} \text { else.} \end{array}\right. } \end{aligned}$$(12) 
(iii)
Erasing an edge. Choose an edge \(h \in E\) and let \(\Gamma '\) be the graph obtained by removing h from \(\Gamma \). Define the associated map \(\phi : F\!R\rightarrow F\!R'\) by
$$\begin{aligned} \pi '_e (\phi (\gamma )) = \pi _e(\gamma ) \qquad {{\,\mathrm{\;\forall \;}\,}}e \in E {\setminus } \left\{ h \right\} \, . \end{aligned}$$(13)
Denote the vertex set of the graph \(\Gamma '\) obtained by a graph transformation by \(V'\).
Proposition 2.31
[20, Proposition 4]. For all \(v \in V'\), the maps associated to these graph transformations are homomorphisms of Poisson \(G_v\)spaces with respect to the actions \(\rhd ^{F\!R}_v : G_v \times F\!R\rightarrow F\!R\) from Eq. (11).
There is a natural notion of flatness for Fock and Rosly’s graph gauge theory: an element \(\gamma \in F\!R\) is flat at a face f if the holonomy around f is trivial. We express this by a more general functor on graph groupoid \({\mathcal {G}}(\Gamma _D)\) (Definition 2.1 (ii)) of the thickening \(\Gamma _D\) (Definition 2.5). Consider the set of smooth maps \(C^\infty (F\!R, G)\) as a groupoid with a single object \(*\) so that \({{\,\mathrm{Hom}\,}}(*,*) = C^\infty (F\!R, G)\) and composition is given by pointwise multiplication.
Definition 2.32
The functor \({{\,\mathrm{Hol}\,}}_{FR}: {\mathcal {G}}(\Gamma _D) \rightarrow C^\infty (F\!R,G)\) is the unique functor defined by
This determines the functor \({{\,\mathrm{Hol}\,}}_{F\!R}\) uniquely as \({\mathcal {G}}(\Gamma _D)\) is freely generated by the edges of \(\Gamma _D\).
Kitaev models
We summarize the construction and some important properties of Kitaev models, mostly following the presentation in [27]. First we introduce some Hopfalgebraic notions.
Notation 2.33
Denote the multiplication and unit of H by \(m : H \otimes H \rightarrow H\) and \(1_H\), respectively, and the comultiplication, counit and antipode by \(\Delta : H \rightarrow H \otimes H\), \(\epsilon : H \rightarrow \mathbb {C}\) and \(S: H \rightarrow H\). We use Sweedler notation for the \((n1)\)fold comultiplication \( \Delta ^{(n1)} (k) = \sum _{(k)} k_{(1)} \otimes \dots \otimes k_{(n)}\) for \(k \in H \). The dual Hopf algebra \(H^*\) of a finitedimensional Hopf algebra is equipped with the multiplication \(\Delta ^* : (H \otimes H)^* \cong H^* \otimes H^* \rightarrow H^*\), unit \(\epsilon ^*\), comultiplication \(m^* : H^* \rightarrow H^* \otimes H^*\), counit \(H^* \rightarrow \mathbb {C}, \alpha \mapsto \alpha (1_H)\) and antipode \(S^* : H^* \rightarrow H^*\). By \(H^{*cop}\) we denote the Hopf algebra \(H^*\) with opposite comultiplication.
Theorem 2.34
[18]. Let H be a finitedimensional Hopf algebra. There is a unique quasitriangular Hopf algebra structure on the vector space \(H^* \otimes H\) such that \(H \cong 1 \otimes H\) and \(H^{*cop} \cong H^{*cop} \otimes 1\) are Hopf subalgebras and the Rmatrix is given by \(R = \text {id}_H\) viewed as an element of \(\in H \otimes H^* \subseteq (H^* \otimes H)^{\otimes 2}\). Its multiplication is given by
This Hopf algebra is denoted by D(H) and called the Drinfeld double of H.
Definition 2.35
Let H be a Hopf algebra. The Heisenberg double \({\mathcal {H}}(H)\) of H is the associative algebra structure on the vector space \(H \otimes H^*\) defined by the multiplication
Kitaev models are constructed from a doubly ciliated ribbon graph \(\Gamma \) and a semisimple^{Footnote 6} finitedimensional Hopf algebra H over \(\mathbb {C}\). To the graph \(\Gamma \) one associates the extended space \(H^{\otimes E}\) by assigning a copy of H to every edge of \(\Gamma \). For \(k \in H, \alpha \in H^*\) consider the linear maps \(L^k_\pm , T^\alpha _\pm : H \rightarrow H\)
We then define for each edge \(e \in E\) the triangle operators \(L^k_{e\pm }, T^{\alpha }_{e\pm }: H^{\otimes E} \rightarrow H^{\otimes E}\) for \(k \in H, \alpha \in H^*\) by extending \(L^k_\pm , T^\alpha _\pm : H \rightarrow H\) to linear maps \(H^{\otimes E} \rightarrow H^{\otimes E}\) in the obvious way.
For the remainder of this section assume that the graph \(\Gamma \) is paired (Definition 2.7 (iv)).
Consider a vertex \(v \in V\) with incident edges \(e_1< \dots < e_n\) numbered according to the ordering of their edge ends at v (counterclockwise). Let \(\varepsilon _1, \dots , \varepsilon _n \in \left\{ \pm 1 \right\} \) such that \(e_i^{\varepsilon _i}\) is incoming at v. The vertex operator \(A^k_v : H^{\otimes E} \rightarrow H^{\otimes E}\) for \(k \in H\) is the linear map
where we set \(S^0 = \text {id}_H\). Similarly, let \(e_1< \dots < e_n\) be the edges adjacent to a face \(f \in F\), numbered according to the ordering of their edge sides at f (clockwise). Let \(\varepsilon _i \in \left\{ \pm 1 \right\} \) such that \(e_i^{\varepsilon _i}\) is oriented clockwise for all i. The face operator \(B^\alpha _f : H^{\otimes E} \rightarrow H^{\otimes E}\) for \(\alpha \in H^*\) is defined as
Vertex and face operators are subject to the following commutation relations:
Lemma 2.36
(Commutation relations of vertex and face operators). [13, 23]

(i)
The vertex operators for distinct vertices \(v, v' \in V\) commute: \([A^k_v, A^{k'}_{v'}] = 0 {{\,\mathrm{\;\forall \;}\,}}k, k' \in H\).

(ii)
The face operators for distinct faces \(f, f' \in F\) commute: \([B^{\alpha }_f, B^{\alpha '}_{f'}] = 0 {{\,\mathrm{\;\forall \;}\,}}\alpha , \alpha ' \in H^*\).

(iii)
If the pair \((v,f) \in V \times F\) satisfies \(v(f) \ne v\) and \(f(v) \ne f\) (see Definition 2.7 (i) and (ii)), the associated operators commute: \([A^k_v, B^\alpha _f] = 0 {{\,\mathrm{\;\forall \;}\,}}k \in H, \alpha \in H^*\)

(iv)
For every site (v, f) one obtains an injective algebra homomorphism
$$\begin{aligned} \tau : D(H) \rightarrow {{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E}) \qquad (\alpha \otimes k) \mapsto B^\alpha _f \circ A^k_v \, . \end{aligned}$$
Due to the semisimplicity of H, one can project onto a subspace of \(H^{\otimes E}\) that is invariant under the action of vertex and face operators. Denote by \(\eta \in H^*, l \in H\) the normalized Haar integrals of \(H^*\) and H, respectively. Let S be the oriented surface obtained by gluing a disk to every face of the graph \(\Gamma \).
Proposition 2.37
[13, 23]. The set \(\{ A_v^l \,  \, v \in V \} \cup \{ B_f^\eta \,  \, f \in F \}\) consists of commuting projectors that do not depend on the cilia of \(\Gamma \). The protected space
of the Kitaev model is a topological invariant: It depends only on the homeomorphism class of the oriented surface S.
As introduced by Kitaev in [23], topological excitations are obtained by choosing a number of disjoint sites \((v_1, f_1) , \dots , (v_n, f_n)\) and imposing invariance under \(A_v^l, B_f^\eta \) for all other vertices and faces. Writing \(L := (V {\setminus } \left\{ v_1, \dots , v_n \right\} ) {\dot{\cup }} (F {\setminus } \left\{ f_1, \dots , f_n \right\} )\) we obtain the subspace
By Lemma 2.36 (iv) there is a D(H)module structure on \({\mathcal {L}}_L\) at each of the sites \((v_i, f_i), i= 1, \dots , n\). As the Hopf algebra \(D(H)^{\otimes n}\) is semisimple, we can decompose the \(D(H)^{\otimes n}\)module \(\mathcal L_L\) into irreducible representations. Denote by Irr(D(H)) a set of representatives of equivalence classes of irreducible representations of D(H). As presented by Balsam and Kirillov in [9], one has
where the summation is over \(Y_i \in Irr(D(H))\) and \(Y_i^*\) denotes the dual representation for all i. The vector space \(\mathcal M(Y_1, \dots , Y_n)\), on which \(D(H)^{\otimes n}\) acts trivially, is called a protected space for the Kitaev model with excitations [9, 23]. Let \(S'\) be the oriented surface obtained by gluing annuli to the faces \(f_1, \dots , f_n\) of \(\Gamma \) and disks to all other faces.
Theorem 2.38
[9, Theorem 6.1]. The vector space \({\mathcal {M}}(Y_1, \dots , Y_n)\) is isomorphic to the vector space \(Z_{TV} (S', Y_1, \dots , Y_n)\) that extended Turaev–Viro TQFT [8] for the category HMod assigns to \(S'\), where the boundary component of \(S'\) corresponding to \(f_i\) is labeled with \(Y_i\) for \(i = 1, \dots , n\).
In particular, the space \({\mathcal {M}}(Y_1, \dots , Y_n)\) only depends on the homeomorphism class of the oriented surface \(S'\) and the irreducible representations \(Y_1, \dots , Y_n\) of D(H). Excited states \(\gamma \in {\mathcal {L}}_L\) can be interpreted as quasiparticles, or anyons, located at the sites \((v_1, f_1), \dots , (v_n, f_n)\) [23].
In [27], Meusburger characterizes the protected space \({\mathcal {H}}_{pr}\) by its endomorphism algebra, a subalgebra of the algebra \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) of endomorphisms of the extended space. The latter can be described using the Heisenberg double \({\mathcal {H}}(H)\), which is known to be isomorphic to \({{\,\mathrm{End}\,}}_\mathbb {C}(H)\) [29, Corollary 9.4.3]:
Lemma 2.39
[27]. The map \(\phi : {\mathcal {H}}(H) \rightarrow {{\,\mathrm{End}\,}}_\mathbb {C}(H), k \otimes \alpha \mapsto L^k_+ \circ T^\alpha _+\) is an isomorphism of algebras. It induces an algebra isomorphism \(\Phi : {{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E}) \rightarrow {\mathcal {H}}(H)^{\otimes E}\).
The representations of D(H) associated to sites of \(\Gamma \) (see Lemma 2.36 (iv)) induce D(H)module algebra structures on \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E}) \cong {\mathcal {H}}(H)^{\otimes E}\). They are given in terms of vertex and face operators, which can be viewed as elements of \({\mathcal {H}}(H)^{\otimes E}\) by Lemma 2.39.
Theorem 2.40
(Module algebra structure on \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\)) [27]. For every site (v, f) the map \(\lhd _v : {\mathcal {H}}(H)^{\otimes E} \otimes D(H) \rightarrow {\mathcal {H}}(H)^{\otimes E}\) given by
equips \({\mathcal {H}}(H)^{op \otimes E}\) with the structure of a D(H)right module algebra.
As the protected space \({\mathcal {H}}_{pr}\) is a topological invariant, so is the algebra \({{\,\mathrm{End}\,}}_\mathbb {C}({\mathcal {H}}_{pr})\) of its endomorphisms. Meusburger has shown that it is a subalgebra of the algebra
which we identify with a subalgebra of \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) using Lemma 2.39. More specifically, for each site (v, f) of \(\Gamma \) define the element \(G_v := A_v^l \cdot B_{f}^\eta \in {\mathcal {H}}(H)^{\otimes E}\) using the Haar integrals \(l \in H, \eta \in H^*\). Then one has:
Proposition 2.41
[27]. The map \( Q_{flat} : {\mathcal {H}}(H)^{\otimes E} \rightarrow {\mathcal {H}}(H)^{\otimes E}, \gamma \mapsto \gamma \cdot \prod _{v \in V} G_v \) is a projector. Its restriction to \({\mathcal {H}}(H)^{\otimes E}_{inv}\) is an algebra homomorphism with image \({{\,\mathrm{End}\,}}_\mathbb {C}({\mathcal {H}}_{pr})\).
Poisson Analogues of Kitaev Models
In this chapter we define Poisson analogues of Kitaev models by exchanging the data from the representation theory of a Hopf algebra with PoissonLie counterparts, that is, certain Poisson Gspaces.
Our goals are:

(i)
to give a Poisson analogue of Kitaev models that has close structural similarities to (quantum) Kitaev models and

(ii)
to show that this Poisson analogue is related to the moduli space of flat Gbundles for a surface with boundary.
Kitaev models with Poissongeometric data
To construct an analogue of Kitaev models, we replace the Hopfalgebraic data in the Kitaev model by Poissongeometric counterparts as outlined in Table 1. We define Poisson analogues of vertex and face operators. We also introduce Poisson actions associated with vertices and faces, and a notion of flatness.
Consider the extended space \(H^{\otimes E}\) of a Kitaev model for the Hopf algebra H. By Lemma 2.39, the endomorphism algebra of \(H^{\otimes E}\) is isomorphic to \({\mathcal {H}}(H)^{\otimes E}\) for the Heisenberg double \({\mathcal {H}}(H)\) of H. A Poisson analogue should replace the algebra of operators on \(H^{\otimes E}\) by a suitable Poisson algebra. Therefore, we associate a copy of a Poissongeometrical Heisenberg double \(G_{\mathcal {H}}\) (Definition 2.21) to every edge \(e \in E\). The Poisson algebra of functions \(C^\infty (G_{\mathcal {H}}^{\times E}, \mathbb {R})\) on the resulting product Poisson manifold \(G_{\mathcal {H}}^{\times E}\) is the analogue of the endomorphism algebra \({\mathcal {H}}(H)^{\otimes E} \cong {{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\).
A (quantum) Heisenberg double admits the factorization \({\mathcal {H}}(H) \cong H^* \otimes H\) (as a vector space). This has a direct geometrical interpretation in terms of the triangle algebra from (15): in the thickening \(\Gamma _D\) of the graph \(\Gamma \) (see Definition 2.5) the triangle operators \(L^k_{e \pm }\) for an edge e are parameterized by elements \(k \in H\) and are associated with the edge ends f(e), b(e), whereas the operators \(T^\alpha _{e \pm }\) for \(\alpha \in H^*\) are associated with the edge sides r(e), l(e). (See, for instance, [13, Section 3.1].)
For this reason, we require G to be a global double PoissonLie group (Definition 2.24). (We briefly discuss the case of a nonglobal double at the end of Sect. 3.5.) Then the Poissongeometrical Heisenberg double \(G_{\mathcal {H}}\) is diffeomorphic to \(G_+ \times G_\) (as a manifold). The PoissonLie groups \(G_\) and \((G_+, w_{G_+})\) are dual to each other, where \(G_+\) is equipped with the negative Poisson bivector \(w_{G_+}\). They take on the roles of the Hopf algebras \(H, H^*\), respectively. If G is connected and simply connected, then one has \(G = D(G_)\), the Poisson manifold \(G_{\mathcal {H}}\) is the Heisenberg double \({\mathcal {H}}(G_)\), and \((G_+, w_{G_+}) = G_^*\) holds. Table 2 summarizes the correspondence between the Hopfalgebraic data used for a Kitaev model and the Poisson counterparts.
Definition 3.1
Let G be a global double PoissonLie group. A PoissonKitaev model is a pair \((K, \Gamma )\) consisting of

a doubly ciliated ribbon graph \(\Gamma \) (see Definition 2.6) and

the product Poisson manifold \(K := G_{\mathcal {H}}^{\times E}\), where a copy of the Heisenberg double \(G_{\mathcal {H}}\) is assigned to every edge \(e \in E\) of \(\Gamma \).
We will now define counterparts of the triangle operators and the vertex and face operators as functions on the Poisson manifold K with values in G. The triangle operators \(L^k_\pm \) and \(T^\alpha _\pm \) are replaced by the projections \(\pi _\pm : G\rightarrow G_\pm \subset G\) from Lemma 2.23. For this we introduce a holonomy functor on the graph groupoid \({\mathcal {G}}(\Gamma _D)\) (Definition 2.1 (ii)) of the thickened graph \(\Gamma _D\) (Definition 2.5). It is defined similarly to the functor \({{\,\mathrm{Hol}\,}}_{F\!R}\) from (14). Consider the set of smooth maps \(C^\infty (K, G)\) as a groupoid with a single object with composition given by pointwise multiplication.
Definition 3.2
The holonomy functor \({{\,\mathrm{Hol}\,}}: {\mathcal {G}}(\Gamma _D) \rightarrow C^\infty (K, G)\) is the functor defined by
for all edges \(e \in E\) , where \(\pi _e : K \rightarrow G\) stands for the projection on the component associated with the edge e, and \(\eta : G \rightarrow G\) is the inversion map. This is illustrated in Fig. 3.
Because of the factorization \(d = \pi _(d) \pi _+(d)\), one has \({{\,\mathrm{Hol}\,}}(f(e) \circ r(e)) = \pi _e\). As \(d = (d^{1})^{1} = (\pi _(d^{1}) \pi _+(d^{1}))^{1}\), the equation \({{\,\mathrm{Hol}\,}}(l(e) \circ b(e)) = \pi _e\) also holds. In fact, \(\pi _e\) can be computed from any holonomy along an edge end and adjacent edge side of e.
The functor \({{\,\mathrm{Hol}\,}}\) is an analogue of the Hopf algebra valued holonomy functor in [27]. The latter is a functor \({\mathcal {G}}(\Gamma _D) \rightarrow {{\,\mathrm{Hom}\,}}_\mathbb {C}(D(H)^*, D(H)^{* \otimes E})\), where \(D(H)^*\) is the dual of the Drinfeld double D(H) (see Theorem 2.34) and \({{\,\mathrm{Hom}\,}}_\mathbb {C}(D(H)^*, D(H)^{* \otimes E})\) is a \(\mathbb {C}\)linear category with a single object and the convolution product as composition of morphisms. One has \({\mathcal {H}}(H) \cong H \otimes H^*\) as a vector space (see Definition 2.35) which in turn is isomorphic to \(D(H)^*\). Therefore, the vector space \(D(H)^{* \otimes E} \cong {\mathcal {H}}(H)^{\otimes E}\) corresponds to the manifold \(K \cong G_{\mathcal {H}}^{\times E}\) of a PoissonKitaev model. The single object category \(C^\infty (K, G)\) corresponds to the \(\mathbb {C}\)linear category \({{\,\mathrm{Hom}\,}}_\mathbb {C}( D(H)^*, D(H)^{* \otimes E})\).
The holonomy functor \({\mathcal {G}}(\Gamma _D) \rightarrow {{\,\mathrm{Hom}\,}}_\mathbb {C}(D(H)^*, D(H)^{* \otimes E})\) generalizes Kitaev’s ribbon operators [11, 13, 23]. It assigns to the edge ends of an edge e the triangle operators \(L^k_{e \pm }\) from Eq. (15), indexed by \(k \in H\). To its edge sides it assigns the operators \(T^\alpha _{e \pm }\) with \(\alpha \in H^*\). In analogy to the quantum case, the holonomy functor of a PoissonKitaev model assigns elements of \(G_+\) to paths along edge sides and elements of the dual PoissonLie group \(G_\) to paths along edge ends. The edge side r(e) connects vertices of \(\Gamma \), whereas the edge end f(e) connects the faces left and right of e or, equivalently, the corresponding vertices of the dual graph \(\Gamma ^*\). We can thus view r(e) as an edge of \(\Gamma \), that is decorated with an element of \(G_+\), and f(e) as the corresponding edge of the dual graph, which is labeled with an element of the dual PoissonLie group \(G_\). The graphs \(\Gamma \) and \(\Gamma ^*\) are combined in the thickened graph \(\Gamma _D\). The interaction of an edge and its dual edge is described by the Heisenberg double.
Remark 3.3
(Edge reversal). While a PoissonKitaev model \((K, \Gamma )\) and the associated holonomy functor \({{\,\mathrm{Hol}\,}}\) depend on the orientation of the edges of \(\Gamma \), this dependence is only formal. Consider the PoissonKitaev model \((K', \Gamma ')\) where the edge e has been replaced by the reversed edge \(e'\). Define the functor \(I_e : {\mathcal {G}}(\Gamma _D) \rightarrow {\mathcal {G}}(\Gamma _D')\) by
and \(I_e (p) = p\) for all other edge sides and edge ends. Let \(\eta _e^{*} : C^\infty (K, G) \rightarrow C^\infty (K', G), \phi \mapsto \phi \circ \eta _e\), where \(\eta _e: K' \rightarrow K\) is the involution that inverts the group element at the edge \(e'\) and leaves the elements at all other edges invariant. It satisfies \({{\,\mathrm{Hol}\,}}' \circ I_e = \eta _e^* \circ {{\,\mathrm{Hol}\,}}\), where \({{\,\mathrm{Hol}\,}}'\) is the holonomy functor for \((K', \Gamma ')\). By Theorem 2.16, the map \(\eta _e : K' \rightarrow K\) is Poisson and intertwines the two different actions \(\rhd , \rhd ': G \times G_{\mathcal {H}}\rightarrow G_{\mathcal {H}}\) on the copy of \( G_{\mathcal {H}}\) at \(e'\).
The functor \(I_e\) describes a rotation of the edge e by 180 degrees. Hence, reversing an edge in \(\Gamma \) is the same as rotating an edge by 180° in \(\Gamma _D\) and corresponds to inverting the associated element of G. As edge reversal is compatible with the Poisson structures of K and \(K'\) and with the Poisson actions \(\rhd , \rhd '\), the orientation of edges is irrelevant.
All constructions introduced in the following are compatible with edge reversal. The compatibility will not be mentioned explicitly unless it is not obvious.
Paths around vertices and faces play an important role in the following. We define such paths and the associated holonomies.
Definition 3.4

(i)
Consider a vertex \(v \in V\) and let \(i_1< \dots < i_n\) be the linearly ordered edge ends incident at v. For \(k=0, \dots , n\) we define the partial vertex path
$$\begin{aligned} p_k(v) := i_1^{\varepsilon _1} \circ \dots \circ i_k^{\varepsilon _k} \, , \end{aligned}$$(23)where \(\varepsilon _j = 1\) if \(i_j = f(e)\) for an edge \(e \in E\) and \(\varepsilon _j = 1\) if \(i_j = b(e)\). The path \(p_0(v)\) is the empty path \(s(i_1^{\varepsilon _1}) \rightarrow s(i_1^{\varepsilon _1})\). We call \(p(v) := p_n(v)\) the vertex path around v.

(ii)
For a face \(f \in F\) with linearly ordered edge sides \(i_1< \dots < i_n\) define for \(k=0,\dots ,n\) the partial face path
$$\begin{aligned} p_k(f) := i_k^{\varepsilon _k} \circ \dots \circ i_1^{\varepsilon _1} \, , \end{aligned}$$(24)where \(\varepsilon _j = 1\) if \(i_j = r(e)\) for an edge \(e \in E\) and \(\varepsilon _j = 1\) for \(i_j = l(e)\). The path \(p_0(f)\) is the empty path \(s(i_1^{\varepsilon _1}) \rightarrow s(i_1^{\varepsilon _1})\). The path \(p(f) := p_n(f)\) is called the face path of f in the following.

(iii)
To a vertex v we associate the vertex holonomy \({{\,\mathrm{Hol}\,}}^v := {{\,\mathrm{Hol}\,}}(p(v))\) and to a face f the face holonomy \({{\,\mathrm{Hol}\,}}^f := {{\,\mathrm{Hol}\,}}(p(f))\). For a site (v, f) we call the product \({{\,\mathrm{Hol}\,}}^{(v,f)} := {{\,\mathrm{Hol}\,}}^v \cdot {{\,\mathrm{Hol}\,}}^f = {{\,\mathrm{Hol}\,}}(p(v) \circ p(f))\) the associated site holonomy.
These paths are illustrated in Fig. 4. Note that the face path p(f) of a face f coincides with the selected face path from Definition 2.6.
Under the holonomy functor from [27] the vertex and face operators \(A^k_v, B^\alpha _f\) from Eqs. (16) and (17) correspond to paths around the vertex v and the face f, respectively. This allows us to define Poisson counterparts by applying our holonomy functor (22) instead.
Definition 3.5
A function \(a \in C^\infty (K, \mathbb {R})\) of the form \(a = g \circ {{\,\mathrm{Hol}\,}}^v\) for some \(v \in V\) and \(g \in C^\infty (G, \mathbb {R})\) is called a vertex operator. Likewise, a function of the form \(b = g \circ {{\,\mathrm{Hol}\,}}^f\) for an \(f \in F\) is called a face operator.
Note that both vertex and face paths turn clockwise around the associated vertex or face. Vertex and face operators of quantum Kitaev models (Eqs. (16) and (17)) are also defined in a clockwise order.
We define the notion of flatness of a vertex or face by requiring the associated holonomies to be trivial.
Definition 3.6
For \(\gamma \in K\) we say that \(\gamma \in K\) is flat at a vertex \(v \in V\) (face \(f \in F\)) if \({{\,\mathrm{Hol}\,}}^v (\gamma ) = 1_G\) (\({{\,\mathrm{Hol}\,}}^f (\gamma ) = 1_G\)). Denote the subsets of elements flat at v (respectively f) by
and the set of flat elements on a subset \(L \subseteq V {\dot{\cup }} F\) by
An element \(\gamma \in K_L\) for \(L \ne \emptyset \) is called flat at L.
Note that flatness at a vertex or face only depends on the respective cyclic ordering because vertex and face paths for different linear orderings are related by cyclic permutations.
Definition 3.6 corresponds to the notion of flatness for Kitaev models introduced in [27]. The map \(Q_{flat}\) from Proposition 2.41 projects onto the flat elements of \({\mathcal {H}}(H)^{\otimes E}\). The corresponding subset of K is \(K_L\) for \(L = V {\dot{\cup }} F\).
In this article we relate PoissonKitaev models to moduli spaces \({{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) of flat Gbundles for compact oriented surfaces S with boundary. For this we choose a number of sites \((v_1, f_1), \dots , (v_n, f_n)\) of the graph \(\Gamma \) and construct the associated oriented surface S by gluing annuli to \(f_1, \dots , f_n\) and disks to all other faces. This corresponds to the subset \(K_L\) of elements that are flat at all vertices and faces except \(v_1, \dots , v_n\) and \(f_1, \dots , f_n\). We will see at the end of Sect. 3.1 that the vertices and faces at which flatness is not imposed correspond to excitations in Kitaev models. In this article we only consider the case \(n \ge 1\) or, equivalently, require that S has at least one boundary component.
We now introduce a Poisson counterpart of the D(H)right module structure \(\lhd _v\) from Eq. (21). In a quantum Kitaev model, the vertex and face operators for a site (v, f) give rise to, respectively, an action of the Hopf algebra H and its dual \(H^*\) on \({\mathcal {H}}(H)^{\otimes E}\) that combine into an action of the Drinfeld double D(H). We associate to every vertex a Poisson \(G_+\)action and to every face a Poisson \(G_\)action that take the role of, respectively, the H and \(H^*\)module algebra structures on \({\mathcal {H}}(H)^{\otimes E}\). We will show later that the actions for a vertex and adjacent face combine into a Poisson action of the double PoissonLie group G.
Consider a vertex v with incident edge ends \(i_1< \dots < i_m\). Set \(c_k(\gamma ) := {{\,\mathrm{Hol}\,}}(p_{k1}(v)) (\gamma )\), where \(p_k(v)\) is the kth partial vertex path at v from Eq. (23). For \(k = 1,\dots , m\) and \(\alpha \in G_+\) define the maps \(\phi _k (\alpha ) : K \rightarrow K\) by
where \(\pi _e : K \rightarrow G_{\mathcal {H}}\) is the projection onto the copy of \(G_{\mathcal {H}}\) associated with the edge e. Similarly, for a face f with adjacent edge sides \(i'_1< \dots < i'_n\) set \(d_k(\gamma ) := {{\,\mathrm{Hol}\,}}(p_{k1}(f))(\gamma )\) and define for \(x \in G_\) the maps \(\psi _k (x) : K \rightarrow K\):
Definition 3.7

(i)
The vertex action associated with the vertex v is the map
$$\begin{aligned} \rhd _v : G_+ \times K \rightarrow K \qquad \alpha \rhd _v \gamma = (\phi _1 (\alpha ) \circ \dots \circ \phi _m (\alpha )) \, (\gamma ) \, . \end{aligned}$$(28) 
(ii)
The face action for the face f is given by
$$\begin{aligned} \rhd _f : G_ \times K \rightarrow K \qquad x \rhd _f \gamma = (\psi _1 (x) \circ \dots \circ \psi _n (x)) \, (\gamma ) \, . \end{aligned}$$(29)
Remark 3.8
If the incident edges \(e_1< \dots < e_m\) at a vertex v are all incoming, the action \(\rhd _v\) can be written more simply as
Likewise, for a face f where all adjacent edges \(e_1< \dots < e_n\) are ordered clockwise one has:
The map \(G_ \times G_+ \rightarrow G_, (g_ , g_+) \mapsto \pi _(g_+^{1} g_)\) is the right dressing action of the PoissonLie group \((G_+, w_{G_+})\) with negative Poisson structure on \(G_\) [26, Theorem 3.14]. Therefore, the factor \(\pi _(d_k(\gamma ) x^{1})\) in the first line of (31) is given by the dressing action of the partial face holonomy \(d_k(\gamma )\) on \(x^{1}\). Likewise, Eq. (30) involves the dressing action of \(G_\) on \(G_+\).
Lemma 3.9
The smooth maps \(\rhd _v : G_+ \times K \rightarrow K\) and \(\rhd _f: G_ \times K \rightarrow K\) for \(v \in V\) and \(f \in F\) are group actions.
Proof
Direct computation using the computation rules for \(\pi _\pm : G \rightarrow G_\pm \) from Lemma 2.26. \(\quad \square \)
That \(\rhd _v, \rhd _f\) are also Poisson maps will be shown in Proposition 3.19.
We now define the functions invariant under vertex and face actions. These are analogues of the elements of \({\mathcal {H}}(H)^{\otimes E}\) that are invariant under the D(H)right module structure from Eq. (21).
Definition 3.10
(Invariant functions and flatness)

(i)
Let \(v \in V, f \in F\) and \(L \subset V {\dot{\cup }} F\). We set
$$\begin{aligned} C^\infty (K, \mathbb {R})^v_L&:= \left\{ g \in C^\infty (K, \mathbb {R}) \, \left \, g (\alpha \rhd _v \gamma ) = g(\gamma ) {{\,\mathrm{\;\forall \;}\,}}\alpha \in G_+, \gamma \in K_L \right. \right\} \\ C^\infty (K, \mathbb {R})^f_L&:= \left\{ g \in C^\infty (K, \mathbb {R}) \, \left \, g (x \rhd _f \gamma ) = g(\gamma ) {{\,\mathrm{\;\forall \;}\,}}x \in G_, \gamma \in K_L \right. \right\} \\ C^\infty (K, \mathbb {R})^{inv}_L&:= (\bigcap _{v \in V} C^\infty (K, \mathbb {R})_L^v) \cap (\bigcap _{f \in F} C^\infty (K, \mathbb {R})_L^f) \, , \end{aligned}$$where \(K_L\) is the set of elements flat at L from (25). For \(L= \emptyset \) we simply write, respectively, \(C^\infty (K, \mathbb {R})^v, C^\infty (K, \mathbb {R})^f\) and \(C^\infty (K, \mathbb {R})^{inv}\) for \(C^\infty (K, \mathbb {R})^v_L, C^\infty (K, \mathbb {R})^f_L\) and \(C^\infty (K, \mathbb {R})^{inv}_L\).

(ii)
Denote by
$$\begin{aligned} {\mathcal {A}}(\Gamma , L) := C^\infty (K, \mathbb {R})^{inv}_L / \sim \end{aligned}$$the set of equivalence classes with respect to the relation \(f \sim f' \Longleftrightarrow f_{K_L} = f'_{K_L}\).
Remark 3.11
The set \({\mathcal {A}}(\Gamma , L)\) is related to Kitaev models with excitations. Excited states in a Kitaev model are described by the subspace \({\mathcal {L}}_L\) of the extended space \(H^{\otimes E}\) from Eq. (19), where \(L \subseteq V {\dot{\cup }} F\) contains all vertices and faces except for a number of selected sites \((v_1, f_1), \dots , (v_n, f_n)\) that correspond to the excitations. According to Meusburger [27, following Theorem 8.3], the endomorphism algebra of \({\mathcal {L}}_L\) can be obtained from the endomorphism algebra \({\mathcal {H}}(H)^{\otimes E}\) of the extended space: one has to consider the invariants under the D(H)module algebra structure \(\lhd _v\) from (21) for all vertices \(v \ne v_1, \dots , v_n\) and project these invariants onto the elements of \({\mathcal {H}}(H)^{\otimes E}\) flat at L using a projector similar to \(Q_{flat}\) from Proposition 2.41.
The Poisson algebra \(C^\infty (K, \mathbb {R})\) corresponds to the endomorphism algebra \({\mathcal {H}}(H)^{\otimes E}\) and vertex and face actions together are analogues of the D(H)module algebra structures. One can thus define an analogue of the endomorphism algebra of \(\mathcal L_L\): it is obtained from the set \(\bigcap _{l \in L} C^\infty (K, \mathbb {R})^l_L\) of invariants under the vertex actions \(\rhd _v\) for \(v \ne v_1, \dots , v_n\) and face actions \(\rhd _f\) for \(f \ne f_1, \dots , f_n\). The projection onto elements flat at L is implemented by identifying these invariant functions if they coincide on the subspace \(K_L \subseteq K\).
In the definition of the set \({\mathcal {A}}(\Gamma , L)\) we instead impose invariance under all vertex and face actions before taking the quotient, so that \({\mathcal {A}}(\Gamma , L)\) corresponds to a subalgebra of \({{\,\mathrm{End}\,}}_\mathbb {C}({\mathcal {L}}_L)\). It should hence form a Poisson algebra. We will show this in Proposition 3.22 and prove in Theorem 3.31 that it is isomorphic to the Poisson algebra of functions on the moduli space of flat Gbundles for the oriented surface obtained by gluing disks to the faces in L and annuli to all other faces. Elements of \({\mathcal {A}}(\Gamma , L)\) appear to correspond to Kitaev’s topological operators [23] on \({\mathcal {L}}_L\).
Graph transformations
In this section we present certain transformations between ribbon graphs and associate to them Poisson maps that relate the PoissonKitaev model \((K, \Gamma )\) with the model \((K', \Gamma ')\) on the transformed graph \(\Gamma '\). These transformations do not change the homeomorphism class of the oriented surface with boundary associated to \(\Gamma \). The associated Poisson maps induce bijections between the sets \({\mathcal {A}}(\Gamma , L)\) and \(\mathcal A(\Gamma ', L')\).
First we relate graphs that only differ by a cyclic permutation of the linear ordering at a vertex or face. It turns out that the sets of invariant functions \(C^\infty (K, \mathbb {R})^v_L\) with respect to different orderings at the vertex v coincide if \(v \in L\), and an analogous statement holds for faces.
Consider a vertex \(v \in V\) with ordered edge ends \(i_1< \dots < i_m\). Denote by \(\rhd _v : G_+ \times K \rightarrow K\) the vertex action at v from Eq. (28) and denote by \(\rhd _v' : G_+ \times K \rightarrow K\) the vertex action for the cyclically permuted linear ordering \(i_2< \dots< i_m < i_1\). Similarly, consider the face action \(\rhd _f: G_ \times K \rightarrow K\) from (29) for a face with adjacent edge sides \(i'_1< \dots < i'_n\) and the action \(\rhd _f' : G_ \times K \rightarrow K\) for the ordering \(i'_2< \dots< i'_n < i'_1\).
Lemma 3.12
(Vertex and face actions for cyclically permuted orderings).

(i)
Let \(p_1(v)\) be the partial vertex path for the ordering \(i_1< \dots < i_m\). One has:
$$\begin{aligned} \alpha \rhd '_v \gamma = \pi _+(\alpha \, {{\,\mathrm{Hol}\,}}(p_1(v)) (\gamma )^{1}) \rhd _v \gamma \qquad {{\,\mathrm{\;\forall \;}\,}}\gamma \in K_v, \alpha \in G_+ \, . \end{aligned}$$ 
(ii)
Similarly, let \(p_1(f)\) be the partial face path for the ordering \(i'_1< \dots < i'_n\). We obtain:
$$\begin{aligned} x \rhd '_f d = \pi _( (x {{\,\mathrm{Hol}\,}}(p_1(f))(\gamma ))^{1} )^{1} \rhd _f d \qquad {{\,\mathrm{\;\forall \;}\,}}\gamma \in K_f, x \in G_ \, . \end{aligned}$$ 
(iii)
For \(v\in V \cap L\) or \(f\in F \cap L\) the sets \(C^\infty (K,R)^v_L\) or \(C^\infty (K,R)^f_L\) depend only on the ribbon graph structure of \(\Gamma \), but not on the choice of cilia for v or f.
Proof
One can show (i) by direct computation using Lemma 2.26 and the fact that
where \(p'_{m1}(v)\) is the partial vertex path from (23) in the transformed ordering. The proof for Statement (ii) is analogous and (iii) is a direct consequence of (i) and (ii). \(\quad \square \)
In the following, denote by \(E', V', F'\) the sets of edges, vertices and faces, respectively, of the graph \(\Gamma '\) obtained from a graph transformation. Let \(K' = G_{\mathcal {H}}^{\times E'}\) be the associated product Poisson manifold and \({{\,\mathrm{Hol}\,}}'\) the holonomy functor for the PoissonKitaev model \((K', \Gamma ')\).
Next, we transform \(\Gamma \) by gluing two distinct edges \(e_1, e_2\) along a bivalent vertex \(v_m\). We require that there are no faces \(f \in F\) with \(v(f) = v_m\). Orient \(e_1, e_2\) so that \(t(e_1) = v_m = s(e_2)\) and suppose that the ordering at \(v_m\) is given by \(f(e_1) < b(e_2)\), as shown in Fig. 5.
In the transformed graph \(\Gamma '\) replace the edges \(e_1, e_2\) by an edge \(e'\) with \(s(e') = s(e_1)\) and \(t(e') = t(e_2)\). The ordering of the transformed faces left and right of \(e'\) is obtained by replacing the consecutive edge sides \(r(e_1) < r(e_2)\) by \(r(e')\) and \(l(e_2) < l(e_1)\) by \(l(e')\).
We define the map \(\psi _{v_m}: K \rightarrow K'\) associated to this graph transformation by assigning to \(e'\) the holonomy along \(f(e_2) \circ r(e_2) \circ r(e_1)\):
There is an analogous gluing transformation for faces. Let \(f_m \in F\) be a face with exactly two distinct adjacent edges \(e_1, e_2\). We require that there is no vertex \(v \in V\) with \(f(v) = f_m\). Choose the cilium of \(f_m\) such that the associated face path is given by \(p(f_m) = l(e_2)^{1} \circ r(e_1)\). This implies that \(t(e_1) = t(e_2), s(e_1) = s(e_2)\) and that the edge sides are ordered \(r(e_1) < l(e_2)\) as in Fig. 6.
In the transformed graph \(\Gamma '\) replace the edges \(e_1, e_2\) by a single edge \(e' : s(e_1) \rightarrow t(e_1)\). Choose the natural ordering at the faces and vertices adjacent to \(e'\) by replacing edge ends and sides of \(e_1, e_2\) by the edge ends and sides of \(e'\).
The associated map \(\psi _{f_m}: K \rightarrow K'\) assigns to \(e'\) the holonomy along \(f(e_1) \circ f(e_2) \circ r(e_2)\):
As a face with just two edge sides corresponds to a bivalent vertex in the dual graph \(\Gamma ^*\), this transformation can be viewed as gluing two edges along a bivalent vertex in \(\Gamma ^*\) (up to exchanging the roles of \(G_\) and \(G_+\)).
Lemma 3.13
(Properties of the gluing transformations). Let \(l \in \left\{ v_m, f_m \right\} \).

(i)
The map \(\psi _{l}\) is Poisson.

(ii)
The map \(\psi _{v_m}\) (\(\psi _{f_m}\)) is invariant under the vertex action at \(v_m\) (face action at \(f_m\)):
$$\begin{aligned} \psi _{v_m} (\alpha \rhd _{v_m} \gamma ) = \psi _{v_m}(\gamma ) \qquad \psi _{f_m} (x \rhd _{f_m} \gamma ) = \psi _{f_m}(\gamma ) \qquad {{\,\mathrm{\;\forall \;}\,}}\gamma \in K, x \in G_, \alpha \in G_+ \, . \end{aligned}$$ 
(iii)
For \(\gamma \in K_l\) the map \(\psi _l\) intertwines vertex and face actions:
$$\begin{aligned} \psi _{l} (x \rhd _f \gamma ) = x \rhd _f \psi _{l}(\gamma ) \quad \psi _{l} (\alpha \rhd _v \gamma ) = \alpha \rhd _v \psi _{l}(\gamma ) \quad {{\,\mathrm{\;\forall \;}\,}}f \in F' \, , x \in G_ \, , v \in V' \, , \alpha \in G_+ \, .\nonumber \\ \end{aligned}$$(34) 
(iv)
For \(\gamma \in K_l\) the map \(\psi _l\) intertwines vertex and face holonomies:
$$\begin{aligned} {{\,\mathrm{Hol}\,}}^v (\gamma ) = {{\,\mathrm{Hol}\,}}'^v(\psi _l(\gamma )) \qquad {{\,\mathrm{Hol}\,}}^f (\gamma ) = {{\,\mathrm{Hol}\,}}'^f(\psi _l(\gamma )) \qquad {{\,\mathrm{\;\forall \;}\,}}v \in V', f \in F' \, .\nonumber \\ \end{aligned}$$(35) 
(v)
The map \(\psi _l\) preserves flatness: one has \(\psi _l(K_L) = K'_{L'}\) for all \(L' \subseteq V' {\dot{\cup }} F'\) and \(L := L' \cup \left\{ l \right\} \).
Proof
Statement (i) follows from Lemma 2.23 and Theorem 2.16 (ii). Statement (ii) is a direct computation using Lemma 2.26.
We prove (iii) and (iv) for the map \(\psi _{v_m}\) as the proof for \(\psi _{f_m}\) is completely analogous. Note that the vertex holonomy at \(t(e_2) = t(e')\) and the face holonomy to the right of \(e'\) are invariant under \(\psi _{v_m}\) per construction. To show (iv), it remains to show that the holonomy functor \({{\,\mathrm{Hol}\,}}'\) for \(\Gamma _D'\) satisfies
as this is equivalent to saying that the vertex holonomy at \(s(e') = s(e_1)\) and the face holonomy to the left of \(e_1\) and \(e_2\) are invariant under \(\psi _{v_m}\). Direct computation using Lemma 2.26 shows that Eq. (36) is equivalent to \(\gamma \in K_{v_m}\), which proves (iv).
Equation (36) in particular implies that for \(\gamma \in K_{v_m}\) the partial vertex and face paths from Eqs. (23) and (24) are invariant under \(\psi _{v_m}\). Therefore, so are the elements \(c_k(\gamma )\) and \(d_k(\gamma )\) in Eqs. (26) and (27), that are used to define vertex and face actions. This implies (iii).
It remains to prove Statement (v). That \(\psi _{l} (K_L) \subseteq K'_{L'}\) follows from Statement (iv). To show that \(\psi _{l}(K_L) \supseteq K'_{L'}\), we construct a right inverse \(\phi _l: K' \rightarrow K\) to \(\psi _l\). First let \(l = v_m\). As illustrated in Fig. 7, the map \(\phi _{v_m}\) is defined by:
Direct computations using Lemma 2.26 show that \(\psi _{v_m} \circ \phi _{v_m} = \text {id}_{K'}\) and that for \(\gamma ' \in K'_{L'}\) one has \(\phi _{v_m} (\gamma ') \in K_L\). This implies \(\psi _{v_m}(K_L) \supseteq K'_{L'}\).
For \(l = f_m\) one proceeds analogously, but the right inverse \(\phi _{f_m}: K' \rightarrow K\) (Fig. 8) is given by:
\(\quad \square \)
We express the graph transformations from Lemmas 3.12 and 3.13 in terms of the set \(\mathcal A(\Gamma , L)\) of invariant functions on \(K_L\) from Definition 3.10 (ii). Let \(l \in \left\{ v_m, f_m \right\} \) and consider the map \(\psi _l\) from Eq. (32) or (33) that corresponds to a graph transformation \(\Gamma \rightarrow \Gamma '\) that glues two edges together along a bivalent vertex \(v_m\) or a face \(f_m\) consisting of two edges.
Proposition 3.14
(Graph transformations, invariance and flatness)

(i)
The set \({\mathcal {A}}(\Gamma , L)\) does not depend on the choice of cilium for the vertices and faces in L.

(ii)
The map \(\psi _l^* : C^\infty (K', \mathbb {R}) \rightarrow C^\infty (K, \mathbb {R}), h \mapsto h \circ \psi _l\) is an injective homomorphism of Poisson algebras. For \(L' \subseteq V' {\dot{\cup }} F'\) and \(L:= L' \cup \left\{ l \right\} \) it satisfies:
$$\begin{aligned} \psi _l^* (C^\infty (K', \mathbb {R})_{L'}^{inv}) \subseteq C^\infty (K, \mathbb {R})_{L}^{inv} \, . \end{aligned}$$ 
(iii)
It induces a bijection \(\psi ^*_{l /\sim } : {\mathcal {A}}(\Gamma ', L') \rightarrow {\mathcal {A}}(\Gamma , L), [h'] \mapsto [\psi _l^*(h')]\).
Proof
Statement (i) follows directly from Lemma 3.12 and (ii) from Lemma 3.13.
In the proof of (iii), we first consider the case \(l = v_m\). By Lemma 3.13 (v), one has \(\psi _{v_m}(K_L) \subseteq K'_{L'}\). Together with Statement (ii) this implies that the map \([h'] \mapsto [\psi _{v_m}^*(h')]\) is welldefined.
To see that it is bijective, we consider the right inverse \(\phi _{v_m}: K' \rightarrow K\) of \(\psi _{v_m}\) from Eq. (37). A direct computation using Lemma 2.26 shows that \(\phi _{v_m}(K'_{L'}) \subseteq K_L\) and therefore the map
is a welldefined left inverse of \(\psi ^*_{v_m /\sim }\). In particular, \(\psi ^*_{v_m /\sim }\) is injective.
To prove that \(\psi ^*_{v_m /\sim }\) is also surjective, we have to show that for all \(h \in C^\infty (K, \mathbb {R})^{inv}_L\) there is a function \(h' \in C^\infty (K', \mathbb {R})^{inv}_{L'}\) such that
Set \(h' := h \circ \phi _{v_m}\). The map \(\phi _{v_m}\) is no left inverse of \(\psi _{v_m}\). However, for \(\gamma \in K_{v_m}\) the map \(\phi _{v_m} \circ \psi _{v_m}\) can be expressed by a vertex action at \(v_m\):
We therefore obtain for \(\gamma \in K_L\)
which is (39). It remains to show that \(h' \in C^\infty (K', \mathbb {R})^{inv}_{L'}\). A direct computation using Lemma 2.26 shows that
Together with the fact that \(\phi _{v_m}(K'_{L'}) \subseteq K_L\) this implies \(h' = h \circ \phi _{v_m} \in C^\infty (K', \mathbb {R})_{L'}^f\) for all \(f \in F'\) and \(h' \in C^\infty (K', \mathbb {R})_{L'}^v\) for all \(v \in V' {\setminus } \left\{ t(e') \right\} \).
To conclude the proof, we have to show that \(h' \in C^\infty (K', \mathbb {R})^{v}_{L'}\) for \(v = t(e') = t(e_2)\). Let \(\beta \in G_+, \gamma ' \in K'_{L'}\). By Lemma 3.13 (v) there is a \(\gamma \in K_L\) with \(\psi _{v_m}(\gamma ) = \gamma '\). We compute
It is easy to see that \(\beta \rhd _v \gamma \in K_{v_m}\), so that Eq. (40) can be applied to obtain:
One can check directly using Lemma 2.26 that the actions \(\rhd _v\) and \(\rhd _{v_m}\) commute. This implies:
A computation using the properties of \(\pi _\pm \) from Lemma 2.26 shows that \(\gamma \in K_L\) implies \(\alpha \rhd _{v_m} \gamma \in K_L\) for all \(\alpha \in G_+\). We use the invariance of \(h \in C^\infty (K, \mathbb {R})^{inv}_L\) under \(\rhd _v\) and \(\rhd _{v_m}\) on \(K_L\) to obtain
For the gluing transformation of a face \(l = f_m\) one proceeds in the same way using the right inverse \(\phi _{f_m}\) from Eq. (38). Again, \(\phi _{f_m}\) is not a left inverse to \(\psi _{f_m}\), but for \(\gamma \in K_{f_m}\) it satisfies \((\phi _{f_m} \circ \psi _{f_m}) (\gamma ) = x(\gamma ) \rhd _{f_m} \gamma \) with \( x(\gamma ) = \pi _(\pi _+(\pi _{e_1}(\gamma ))^{1} \, \pi _{e_2}(\gamma ))^{1} \).
\(\square \)
Proposition 3.14 allows us to relate a PoissonKitaev model with one on a paired doubly ciliated ribbon graph (Definition 2.7 (iv)).
Corollary 3.15
(Transformation into a paired graph). Let \((K, \Gamma )\) be a Poisson–Kitaev model and \((v_1, f_1), \dots , (v_n, f_n)\) pairwise distinct sites of \(\Gamma \). There is a Poisson–Kitaev model \((K', \Gamma ')\) on a paired doublyciliated ribbon graph \(\Gamma '\) and pairwise distinct sites \((v_1', f_1'), \dots , (v_n', f_n')\) such that:

(i)
There is a Poisson map \(\psi : K' \rightarrow K\).

(ii)
The map \(\psi \) induces a bijection \(\psi ^*_{/\sim } : \mathcal A(\Gamma , L) \rightarrow {\mathcal {A}}(\Gamma ', L') \, , [h] \mapsto [h \circ \psi ]\) for the sets \(L, L'\) given by \(L = (V {\setminus } \left\{ v_1, \dots , v_n \right\} ) {\dot{\cup }} (F {\setminus } \left\{ f_1, \dots , f_n \right\} )\) and \(L' = (V' {\setminus } \left\{ v'_1, \dots , v'_n \right\} ) {\dot{\cup }} (F' {\setminus } \left\{ f'_1, \dots , f'_n \right\} )\).

(iii)
The oriented surfaces associated to \(\Gamma \) and \(\Gamma '\) by gluing annuli to \(f_1, \dots , f_n\) and \(f'_1, \dots , f'_n\), respectively, and disks to all other faces are homeomorphic.
Proof
To obtain the paired graph \(\Gamma '\), we perform the following steps, as illustrated in Fig. 9:

1.
Split every loop into two edges by creating a bivalent vertex.

2.
Double each edge for which the left and right face coincide.

3.
For every vertex \(v \notin \left\{ v_1, \dots , v_n \right\} \) create an adjacent face \(f_v\) by doubling the first edge of v. Cyclically permute the ordering at v and \(f_v\) so that \((v, f_v)\) becomes a site.

4.
For every face \(f \notin \left\{ f_1, \dots , f_n \right\} \) that has not been created in step 3 split the first edge of f into two by creating a bivalent vertex \(v_f\). Cyclically permute the orderings of f and \(v_f\) so that \((v_f, f)\) becomes a site.
The resulting graph \(\Gamma '\) has no loops because of Step 1. Step 2. ensures that the faces left and right of every edge differ. The selected sites \((v_1, f_1), \dots , (v_n, f_n)\) are left intact and become the sites \((v_1', f_1'), \dots , (v_n', f_n')\) of the transformed graph. Steps 3. and 4. guarantee that all remaining vertices and faces can be combined into sites, so that \(\Gamma '\) is a paired graph.
The map \(\psi : K' \rightarrow K\) is the map associated to gluing the pairs of edges created in Steps 1. through 4. back together in reverse order. It is Poisson by Lemma 3.13, which proves (i). Statement (ii) follows from Proposition 3.14 (iii).
We obtain the oriented surface associated to \(\Gamma '\) by gluing annuli to \(f_i' = f_i\) for all i and disks to all other faces, which includes the faces created in Steps 2. and 3. Doubling an edge and gluing a disk to the new face \(f_m\) and an annulus or disk to an adjacent face f yields a homeomorphic topological space as only gluing an annulus or disk to f. Thus, the oriented surfaces obtained from \(\Gamma \) and \(\Gamma '\) by gluing annuli to \(f_1, \dots , f_n\) and disks to all other faces are homeomorphic, which proves (iii).\(\quad \square \)
Invariance and flatness
In this section, we show how the vertex and face actions from Definition 3.7 interact with the vertex and face holonomies \({{\,\mathrm{Hol}\,}}^v, {{\,\mathrm{Hol}\,}}^f\) from Definition 3.4. We prove commutation relations of vertex and face actions that are Poisson counterparts of the commutation relations for quantum vertex and face operators in Lemma 2.36. We then prove that the Poisson bracket on K induces a Poisson algebra structure on the set \({\mathcal {A}}(\Gamma , L)\) from Definition 3.10 (ii).
Lemma 3.16
(Relations between actions and holonomies). Let \(\gamma \in K, x \in G_, \alpha \in G_+\).

(i)
For \(v \ne v' \in V\) (\(f \ne f' \in F\)), the associated actions and holonomies satisfy:
$$\begin{aligned} {{\,\mathrm{Hol}\,}}^v(\alpha \rhd _{v'} \gamma ) = {{\,\mathrm{Hol}\,}}^v(\gamma ) \qquad ({{\,\mathrm{Hol}\,}}^f(x \rhd _{f'} \gamma ) = {{\,\mathrm{Hol}\,}}^f(\gamma )) \, . \end{aligned}$$ 
(ii)
For all pairs \(v \in V, f \in F\) with \(v(f) \ne v\) and \(f(v) \ne f\) (see Definition 2.7) we have:
$$\begin{aligned} {{\,\mathrm{Hol}\,}}^v(x \rhd _f \gamma ) = {{\,\mathrm{Hol}\,}}^v(\gamma ) \qquad {{\,\mathrm{Hol}\,}}^f(\alpha \rhd _v \gamma ) = {{\,\mathrm{Hol}\,}}^f(\gamma ) \, . \end{aligned}$$ 
(iii)
For each site (v, f) we obtain:
$$\begin{aligned} {{\,\mathrm{Hol}\,}}^{(v,f)} (x \rhd _f (\alpha \rhd _v \gamma )) = (x\alpha ) \, {{\,\mathrm{Hol}\,}}^{(v,f)}(\gamma ) \, (x\alpha )^{1} \, . \end{aligned}$$(41)
Proof
(i) and (ii): Direct computations using Lemma 2.26.
For (iii), one can first assume that there are no loops at v and that every edge is traversed at most once by the face path p(f). In this case, (iii) follows from a computation using Lemma 2.26.
In the general case, we transform the graph \(\Gamma \) by introducing a bivalent vertex on every loop of v and doubling every edge of f that occurs twice in the face path p(f), similar to Steps 1. and 2. in the proof of Corollary 3.15. Write \(\Gamma '\) for the resulting graph and let \(L'\) be the set of vertices and faces of \(\Gamma '\) that have been created by this procedure. From Lemma 3.13 we obtain a corresponding Poisson map \(\psi : K' \rightarrow K\) that implements gluing the new pairs of edges back together.
Denote by \({{\,\mathrm{Hol}\,}}'^{(v,f)}\) the combined holonomy from Definition 3.4 (iii) for the site (v, f) in \(\Gamma '\). We use Lemma 3.13 (iii) and (iv) to compute for \(\gamma ' \in K'_{L'}, x \in G_, \alpha \in G_+\):
In these equations we used that \(G_+ \rhd _v K'_{L'} \subseteq K'_{L'}\) and \(G_ \rhd _f K'_{L'} \subseteq K'_{L'}\), which follows from a direct computation using Lemma 2.26. As \(\Gamma '\) has no loops at v and no edge of f occurs twice in its face path, we have already proven Statement (iii) for \(\Gamma '\). So we can apply it to obtain:
As \(\psi _{K'_{L'}} : K'_{L'} \rightarrow K\) is surjective by Lemma 3.13 (v), this concludes the proof. \(\quad \square \)
Lemma 3.17
(Stability of \(K_L\) under vertex and face actions). Let \(L \subseteq V \dot{\cup }F\). If \(v \in V \cap L\) (\(f \in F \cap L\)) or \(f(v) \notin L\) (\(v(f) \notin L\)), the subspace \(K_L\) is stable under the vertex action \(\rhd _v\) (face action \(\rhd _f\)) from Definition 3.7:
Proof
We only show the statement for the vertex action \(\rhd _v\) as the proof for \(\rhd _f\) is analogous. First we consider the case \(v \in V \cap L\). We prove \(G_+ \rhd _v (K_v \cap K_l) = (K_v \cap K_l)\) for all \(l \in L\); as \(v \in L\), this then implies \(G_+ \rhd _v K_L = K_L\).
To see that \(G_+ \rhd _v K_v = K_v\), consider the face f(v). If (v, f(v)) is a site, this follows from Eq. (41) and the properties of the projection \(\pi _\) in Lemma 2.26 because \({{\,\mathrm{Hol}\,}}^v = \pi _ \circ {{\,\mathrm{Hol}\,}}^{(v, f(v))}\). Otherwise, first cyclically permute the ordering of f(v) so that (v, f(v)) becomes a site; then Eq. (41) holds with respect to the new ordering.
That \(G_+ \rhd _v K_{v'} = K_{v'}\) for all other vertices \(v' \ne v\) follows from Lemma 3.16 (i).
It remains to prove \(G_+ \rhd _v (K_v \cap K_{f'}) = (K_v \cap K_{f'})\) for \(f' \in F\). If \(f(v) = f'\), we can cyclically permute the ordering of the edge sides of \(f'\) until \((v,f')\) becomes a site because the space \(K_{f'}\) depends only on the cyclic ordering of \(f'\). Then we can use the identity \({{\,\mathrm{Hol}\,}}^{f'} = \pi _+ \circ {{\,\mathrm{Hol}\,}}^{(v, f')}\) together with Lemma 3.16 (iii) to prove that \(G_+ \rhd _v (K_v \cap K_{f'}) \subseteq K_{f'}\) holds. As we have already shown that \(G_+ \rhd _v K_v = K_v\), this implies \(G_+ \rhd _v (K_v \cap K_{f'}) = (K_v \cap K_{f'})\).
If \(f(v) \ne f'\) and there is another vertex \(v'\) adjacent to \(f'\), shift the ordering of \(f'\) so that \(v(f') = v'\). Then \(v(f') \ne v\) and \(f(v) \ne f'\), so that Lemma 3.16 (ii) applies and we have \(G_+ \rhd _v K_{f'} = K_{f'}\). If \(f(v) \ne f'\) and v is the only vertex adjacent to \(f'\), transform the graph \(\Gamma \) by introducing a bivalent vertex \(v'_m\) on an edge e of \(f'\), thus splitting it into the edges \(e'_1\) and \(e'_2\). From Lemma 3.13 we obtain the map \(\psi _{v_m'}: K' \rightarrow K\) from the PoissonKitaev model \(K'\) of the transformed graph \(\Gamma '\) that implements gluing the edges \(e'_1\) and \(e'_2\) back together. In \(\Gamma '\) we can shift the ordering of \(f'\) so that \(v(f') = v'_m\). Then we have \(f(v) \ne f'\) and \(v(f') \ne v\) in \(\Gamma '\), so that \(G_+ \rhd _v K'_{f'} = K'_{f'}\) by Lemma 3.16 (ii). To translate this into a statement for the graph \(\Gamma \), let \(\gamma \in K_{f'}\). By Lemma 3.13 (v) there is a \(\gamma ' \in K'_{f'} \cap K'_{v'_m}\) with \(\psi _{v'_m}(\gamma ') = \gamma \). For \(\alpha \in G_+\) we obtain
Lemma 3.16 (i) implies \(\alpha \rhd _v \gamma ' \in K'_{v_m'}\), so we can apply (35) to the right hand side to obtain
For the graph \(\Gamma '\) we have already shown that \(G_+ \rhd _v K'_{f'} = K'_{f'}\), so the last term is equal to \(1_{G_+}\) and we obtain \(G_+ \rhd _v K_{f'} = K_{f'}\).
We have thus shown that \(G_+ \rhd _v (K_v \cap K_l) = K_v \cap K_l\) for all \(l \in L\), which implies \(G_+ \rhd _v K_L = K_L\).
Now consider the case \(v \notin L\) and \(f(v) \notin L\). Lemma 3.16 (i) implies that \(G_+ \rhd _v K_{v'} = K_{v'}\) for all vertices \(v' \in V \cap L\). For \(f' \in F \cap L\) we have \(f(v) \ne f'\). We argue as before by shifting the ordering of \(f'\) (after potentially creating a bivalent vertex adjacent to \(f'\)) so that \(v(f') \ne v\). Then \(G_+ \rhd _v K_{f'} = K_{f'}\) follows from Lemma 3.16 (ii). \(\quad \square \)
Next, we prove that the actions \(\rhd _v, \rhd _f\) for a vertex v and face f are Poisson maps. For this we use the graph transformations from Sect. 3.2. To be able to do so, we first need a lemma that shows that the restriction of the Poisson bracket \(\left\{ g, h \right\} \) to \(K_L\) depends only on \(g_{K_L}\) and \(h_{K_L}\) if \(g, h \in C^\infty (K, \mathbb {R})^l_L\) for all \(l \in L\). This result will also be used in Proposition 3.22 to show that \({\mathcal {A}}(\Gamma , L)\) is a Poisson algebra.
To ensure that \(K_L\) is a submanifold, we require that \(\Gamma \) is connected and that there is a pair of a vertex and adjacent face that are not in \(L \subseteq V {\dot{\cup }} F\). Under these assumptions, we have:
Lemma 3.18
(The Poisson bracket on \(K_L\))

(i)
The set \(K_L \subseteq K\) is a submanifold.

(ii)
Let \(g, g', h \in \bigcap _{l \in L} C^\infty (K, \mathbb {R})^{l}_L\) with \(g_{K_L} = g'_{K_L}\). The Poisson bracket satisfies:
$$\begin{aligned} \left\{ g, h \right\} _{K_L} = \left\{ g', h \right\} _{K_L} \, . \end{aligned}$$
Proof
As a smooth manifold one has \(K \cong G_^{\times E} \times G_+^{\times E}\). We prove (i) by constructing an injective immersion \(\phi : G_^{\times E_} \times G_+^{\times E_+} \rightarrow G_^{\times E} \times G_+^{\times E}\) such that \(K_L = \phi (G_^{\times E_} \times G_+^{\times E_+})\) for suitably chosen subsets \(E_, E_+ \subseteq E\). For this we parameterize \(K_L\) by inductively implementing flatness at the vertices and faces in L.
Let v, f be a vertex and adjacent face that are not in L. With proper choice of orientation, there is an edge \(e : v \rightarrow v'\) for some vertex \(v'\) such that f is left of e. Denote the face right of e by \(f'\). If \(v' \in L\) (\(f' \in L\)), then for \(\gamma \in K_L\) the value of \({{\,\mathrm{Hol}\,}}(f(e))\) (\({{\,\mathrm{Hol}\,}}(r(e))\)) is uniquely determined by the values of \(\pi _{e'}\) for the other edges \(e'\) incident at \(v'\) (adjacent to \(f'\)). Thus, flatness at \(v'\) (\(f'\)) can be implemented by a parametrization of the \(G_\)component (\((G_+)\)component) of the copy of G associated with e. Set \(E_{done,1} := \left\{ e \right\} , V_{done, 1} := \left\{ v, v' \right\} \) and \(F_{done, 1} := \left\{ f, f' \right\} \).
Now suppose that for an \(i \in \mathbb {N}\) we have sets \(E_{done, i}, V_{done, i}, F_{done, i}\) such that for each \(e' \in E_{done, i}\) the vertices \(s(e'), t(e')\) are in \(V_{done,i}\) and the faces left and right of \(e'\) are in \(F_{done, i}\). Suppose further that we can implement flatness for all vertices in \(L \cap V_{done,i}\) and faces in \(L \cap F_{done, i}\) by parametrizing the \(G_\) or \(G_+\)components of some edges in \(E_{done, i}\). These assumptions are true for \(i=1\).
Choose an edge \(e \notin E_{done, i}\) such that, with proper choice of orientation of e, the next edge \(e'\) in the cyclic ordering at s(e) is in \(E_{done, i}\). By assumption, we have \(s(e'), t(e') \in V_{done, i}\) and the faces adjacent to \(e'\) are in \(F_{done, i}\). This implies that \(s(e) \in V_{done, i}\) and that the face left of e is in \(F_{done, i}\). If \(t(e) \in L {\setminus } V_{done,i}\), then no edges incident at t(e) are in \(E_{done,i}\). We can implement flatness at t(e) by parametrizing \({{\,\mathrm{Hol}\,}}(f(e))\) in terms of the copies of G associated with the other edges incident at t(e). Likewise, if the face f right of e is in \(L {\setminus } F_{done,i}\), no edges of f are in \(E_{done, i}\) and we obtain a parametrization of \({{\,\mathrm{Hol}\,}}(r(e))\).
Set \(E_{done,i+1} := E_{done, i} \cup \left\{ e \right\} , V_{done, i+1} := V_{done, i} \cup \left\{ t(e) \right\} \) and \(F_{done, i+1} := F_{done, i} \cup \left\{ f \right\} \). Then for all \(e' \in E_{done,i+1}\) one has \(s(e), t(e) \in V_{done, i+1}\) and the faces left and right of \(e'\) are in \(F_{done, i+1}\). Furthermore, we can implement flatness for all vertices in \(L \cap V_{done, i+1}\) and faces in \(L \cap F_{done, i+1}\) by parametrizing the \(G_\) or \(G_+\)components of the copies of G associated to some edges in \(E_{done, i+1}\).
Because \(\Gamma \) is connected, we can repeat this procedure until \(E_{done, i+1} = E\). We obtain a parametrization of \(K_L\) in terms of \(G_^{E_} \times G_+^{E_+}\), where the set \(E_\) (\(E_+\)) consists of the edges that have not been used to implement flatness at a vertex (face). This proves (i).
To prove (ii), note that for \(\gamma \in K_L\) the tangent space \(T_\gamma K_L\) is given by
We show that for all \(v \in V \cap L, f \in F \cap L\) and \(h \in \bigcap _{l \in L} C^\infty (K, \mathbb {R})^{l}_L\) the following equations hold for the Poisson bivector \(w_K\) of K:
This implies that \((\text {id}\otimes dh) \, w_K _{K_L}\) is a vector field on \(K_L\), so that \(\left\{ g, h \right\} _{K_L} = \left\{ g',h \right\} _{K_L}\) follows from \(g_{K_L} = g'_{K_L}\).
Assume that \(v \in V \cap L\) is a vertex without loops and that the edges \(e_1< \dots < e_m\) incident at v are incoming. Set \(d_i := \pi _{e_i}(\gamma )\) for \(i = 1, \dots , m\). For \(\gamma \in K_L\) the map \(G_+ \rightarrow \mathbb {R}, \alpha \mapsto h(\alpha \rhd _v \gamma )\) is constant. Hence, we obtain
for all elements \(\beta \in {\mathfrak {g}}_+\), where \(V (\beta ) \in \Gamma (T K)\) is the vector field that generates the action \(\rhd _v\). Define for \(e \in E\) the inclusion map \(\iota _e(\gamma ) : G \rightarrow K\) by
By differentiating the map \((\rhd _v \gamma )\) in Eq. (30) we obtain an explicit expression for \(V(\beta )\)
where \(c_i(\gamma ) = {{\,\mathrm{Hol}\,}}(p_{i1}(v))(\gamma )\). Set \({\tilde{c}}_i (\gamma ) := {{\,\mathrm{Hol}\,}}(p_{i1}(v)^{1} \circ p(v)) (\gamma )\), so that \(c_i(\gamma ) {\tilde{c}}_i(\gamma ) = {{\,\mathrm{Hol}\,}}^v(\gamma ) \). Consider the Poisson bivector \(w_{{\mathcal {H}}}\) from (3). The bivector of the product Poisson manifold \(K = G_{\mathcal {H}}^{\times E}\) is given by \(w_K(\gamma ) = \sum _{e \in E} T(\iota _e(\gamma ))^{\otimes 2} \, w_{{\mathcal {H}}} (\pi _e(\gamma ))\). The map \({{\,\mathrm{Hol}\,}}^v : K \rightarrow G\) depends only on the copies of \( G_{\mathcal {H}}\) associated with the edges \(e_1, \dots , e_m\), so that
As \({{\,\mathrm{Hol}\,}}^v(\gamma ) = \pi _(d_1) \cdots \pi _(d_m)\), one has \({{\,\mathrm{Hol}\,}}^v \circ \, \iota _{e_i} = L_{c_i(\gamma )} \circ R_{{\tilde{c}}_{i+1}(\gamma )} \circ \pi _\), which implies
Use Eq. (7) from Lemma 2.27 (i) to obtain:
The identity \((R_{{\tilde{c}}_{i+1}(\gamma )} \circ \pi _ \circ R_{d_i})(x) = R_{{\tilde{c}}_i(\gamma )} (x)\) for \(x \in G_\) together with the fact that \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\) implies
where we inserted the term \(T(R_{c_i(\gamma )} \circ R_{c_i(\gamma )^{1}})\) in the second equation and used \({{\,\mathrm{Hol}\,}}^v(\gamma ) = c_i(\gamma ) {\tilde{c}}_i(\gamma )\). Equation (8) from Lemma 2.27 (ii) implies:
In the case with loops one proceeds in the same way, with the exceptions that loops occur twice in the holonomy \({{\,\mathrm{Hol}\,}}^v\) and one obtains two associated contributions to the vector field \(V(\beta )\) in (44).
The proof of the statement \((T{{\,\mathrm{Hol}\,}}^f \otimes dh) \, w_K (\gamma ) = 0\) for \(\gamma \in K_L, f \in F \cap L\) is analogous to that for vertex holonomies. \(\quad \square \)
Proposition 3.19
The maps \(\rhd _v : G_+ \times K \rightarrow K\) for \(v \in V\) and \(\rhd _f: G_ \times K \rightarrow K\) for \(f \in F\) are Poisson.
Proof
First let \(v \in V\) be a vertex without loops and assume that the linearly ordered edges \(e_1< \dots < e_n\) are all incoming at v. Denote the product Poisson bivector of \(G_+ \times K\) by \(w_\pi \) and set \(d_i := \pi _{e_i} (\gamma )\). To see that \(\rhd _v : G_+ \times K \rightarrow K\) is Poisson, first note that the maps for the individual edges from Eq. (30)
are Poisson as a consequence of Lemma 2.23 and Theorem 2.16 (ii). This implies
where \(w_K\) is the Poisson bivector of the product Poisson manifold \(K = G_{\mathcal {H}}^{\times E}\).
It remains to show that \((T\pi _{e_i} \otimes T\pi _{e_j}) \circ T(\rhd _v)^{\otimes 2} \, w_\pi = 0\) for \(i \ne j\). Let \(i < j\) and define
with the partial vertex path \(p_k(v)\) from (23). This is the value of the partial vertex holonomy from the \((k1)\)th to the lth edge end and satisfies \(c_{1,k}(\gamma ) = c_{k}(\gamma )\). We compute:
The first term here is obtained from the contribution of \(G_+\) to \(w_\pi (\alpha , d)\), while the other terms are associated with the edges \(e_1, \dots , e_i\). As \(G_+ \subseteq G\) is a PoissonLie subgroup of the quasitriangular PoissonLie group G, we obtain the Poisson bivector \(w_{G_+}\) of \(G_+\) from Eq. (2). The \({{\,\mathrm{Ad}\,}}\)invariance of the symmetric component \(r_s\) of the classical rmatrix of G implies:
Lemma 2.26 (ii) implies that \(T(\pi _+ \circ R_{g}) \, y = 0 {{\,\mathrm{\;\forall \;}\,}}y \in {\mathfrak {g}}_, g \in G\). Applying this to the first term of (46) and Eq. (7) from Lemma 2.27 (i) to the other terms yields:
Using \(r_{21} \in {\mathfrak {g}}_+ \otimes {\mathfrak {g}}_\) and Lemma 2.26 we can simplify this expression to:
Let \(k \in \left\{ 1, \dots , i1 \right\} \). The equation \(g \, \pi _(d_k) = \pi _(g \, \pi _(d_k)) \, \pi _+(g \, \pi _(d_k)) {{\,\mathrm{\;\forall \;}\,}}g \in G\) implies
and applying Eq. (8) from Lemma 2.27 (ii) to the second term yields:
Apply the map \(TL_{c_{1, k}}^{\otimes 2} \circ (TR_{c_{k+1, i}} \otimes TR_{c_{k+1, j}})\) to this equation to obtain
Thus, for the sum in (47) we obtain
Insert this for the sum on the right hand side of (47) to obtain
Now we relax the assumption that v is a vertex without loops. So let \(v \in V\) be a general vertex and \(\Gamma '\) the graph obtained from introducing a bivalent vertex on every loop at v. Consider the Poisson map \(\psi : K' \rightarrow K\) obtained from Lemma 3.13 that corresponds to gluing the split loops back together. Denote the set of newly introduced vertices by \(L' \subseteq V'\). For \(\gamma ' \in K'_{L'}, \alpha \in G_+\) and \(f_1, f_2 \in C^\infty (K, \mathbb {R})\) we compute
where we used the Poisson property of \(\psi \) in the second equation. From Lemma 3.13 (iii) one obtains \(\psi ({\hat{\alpha }} \rhd _v \gamma ') = {\hat{\alpha }} \rhd _v \psi (\gamma ') {{\,\mathrm{\;\forall \;}\,}}{\hat{\alpha }} \in G_+\) because \(\gamma ' \in K'_{L'}\). Apply this to (48) to obtain
Let \(g_i := f_i \circ (\alpha \rhd _v ) \circ \psi \) and \(g_i' := f_i \circ \psi \circ (\alpha \rhd _v )\) for \(i =1,2\). By Lemma 3.13 (iii), the restrictions \(g_i_{K'_{L'}}\) and \(g'_i_{K'_{L'}}\) coincide. As \(G_+ \rhd _{v'} K'_{L'} = K'_{L'}\) by Lemma 3.17, the maps \(g_i, g'_i\) also coincide on elements of the form \({\hat{\alpha }} \rhd _{v'} {\hat{\gamma }}'\) for \({\hat{\alpha }} \in G_+, \hat{\gamma }' \in K'_{L'}\). The map \(\psi \) is invariant under \(\rhd _{v'}\) for \(v' \in L'\) by Lemma 3.13 (ii). Hence, both \(g_i\) and \(g'_i\) are elements of \(\bigcap _{l' \in L'} C^\infty (K', \mathbb {R})^{l'}_{L'}\). We can therefore apply Lemma 3.18 (ii) to substitute \(g_i\) for \(g'_i\) in (49). We obtain
where we used that \(\rhd _v: G_+ \times K' \rightarrow K'\) and \(\psi : K' \rightarrow K\) are Poisson in the third equation and Lemma 3.13 (iii) in the fourth. Because \(\psi _{K'_{L'}} : K'_{L'} \rightarrow K\) is surjective by Lemma 3.13 (v), this implies that \(\rhd _v : G_+ \times K \rightarrow K\) is Poisson. The proof for \(\rhd _f : G_ \times K \rightarrow K\) is analogous. \(\quad \square \)
In particular, Proposition 3.19 shows that K is a Poisson \(G_+\)space with respect to every vertex action and a Poisson \(G_\)space for every face action. The maps \(\rhd : G_+ \times G_ \rightarrow G_, (\alpha , x) \mapsto \pi _(\alpha x)\) and \(\rhd ' : G_ \times (G_+, w_{G_+}) \rightarrow (G_+, w_{G_+}), (x, \alpha ) \mapsto \pi _+(\alpha x^{1})\) are the dressing actions of \(G_+\) and \(G_\) on each other [26, Theorem 3.14]. These equip \(G_\) with the structure of a Poisson \(G_+\)space and vice versa. Vertex and face holonomies intertwine these actions:
Proposition 3.20
(Holonomies and dressing transformations). For all \(v \in V, f \in F\) the maps \({{\,\mathrm{Hol}\,}}^v : K \rightarrow G_\) and \({{\,\mathrm{Hol}\,}}^f: K \rightarrow (G_+, w_{G_+})\) from Definition 3.4 are homomorphisms of Poisson \(G_+\)spaces and Poisson \(G_\)spaces, respectively.
Proof
The projections \(\pi _ : G_{\mathcal {H}}\rightarrow G_\) and \(\pi _+ : G_{\mathcal {H}}\rightarrow (G_+, w_{G_+})\) are Poisson by Lemma 2.23. The inversion map \( G_{\mathcal {H}}\rightarrow G_{\mathcal {H}}\) is Poisson by Theorem 2.16 (ii). This implies that the maps \({{\,\mathrm{Hol}\,}}^v : K \rightarrow G_, \, {{\,\mathrm{Hol}\,}}^f: K \rightarrow (G_+, w_{G_+})\) are Poisson. It remains to show that they intertwine the respective group actions, that is:
We show this for the vertex holonomy \({{\,\mathrm{Hol}\,}}^v\) as the proof for \({{\,\mathrm{Hol}\,}}^f\) is analogous. Assume that (v, f(v)) is a site. Then this follows from Eq. (41) and Lemma 2.26 because \({{\,\mathrm{Hol}\,}}^v = \pi _ \circ {{\,\mathrm{Hol}\,}}^{(v,f(v))}\). Otherwise cyclically permute the ordering at f(v) so that (v, f(v)) becomes a site, and use Eq. (41) with respect to the new ordering. \(\quad \square \)
The vertex and face actions \(\rhd _v\) and \(\rhd _f\) can be viewed as the PoissonLie counterparts of the H and \(H^*\)module algebra structures for quantum Kitaev models from Theorem 2.40, which are defined by vertex and face operators. For each site the latter combine into a D(H)module algebra structure. We now show that a similar statement holds for the Poisson actions associated with a site. This yields the following counterpart of Lemma 2.36:
Proposition 3.21
(Commutation relations for vertex and face actions)

(i)
For two vertices \(v \ne v' \in V\) (two faces \(f \ne f' \in F\)) the actions \(\rhd _v, \rhd _{v'}\) (\(\rhd _f, \rhd _{f'}\)) commute.

(ii)
For \(v \in V, f \in F\) with \(v(f) \ne v\) and \(f(v) \ne f\) the actions \(\rhd _v, \rhd _f\) commute.

(iii)
For each site (v, f) we obtain a Poisson action
$$\begin{aligned} \rhd _{(v,f)} : G \times K \rightarrow K \qquad (g, \gamma ) \mapsto \pi _(g) \rhd _f (\pi _+(g) \rhd _v \gamma ) \, . \end{aligned}$$(50)
Proof
We only prove (iii) as the other statements are shown similarly. First note that the map \((\pi _+ \times \pi _) \circ \Delta : G \rightarrow G_+ \times G_\) is Poisson, where \(\Delta : G \rightarrow G \times G\) is the diagonal map. This is shown by a computation using Lemma 2.26 and the fact that the maps \(\pi _\pm : G \rightarrow G_\pm \) are Poisson (Lemma 2.23). This implies that the map \(\rhd _{(v,f)} : G \times K \rightarrow K\) is Poisson.
We show that \(\rhd _{(v,f)}\) is a group action, that is
Because \(g_i = \pi _(g_i) \pi _+(g_i), i =1,2\), it suffices to show this for \(g_i \in G_+ \cup G_\). In the cases \(g_1, g_2 \in G_\) and \(g_1, g_2 \in G_+\) Eq. (51) follows from the fact that \(\rhd _v, \rhd _f\) are group actions. For \(g_1 \in G_, g_2 \in G_+\) it follows from the definition of \(\rhd _{(v,f)}\) in (50). It thus remains to show
If there are no loops at v and at most one edge side of any edge belongs to f, then Eq. (52) follows from a direct computation using the properties of \(\pi _\pm \) from Lemma 2.26. In the general case, transform the graph \(\Gamma \) by adding a bivalent vertex on each loop of v and doubling every edge whose left and right face is f. Denote by \((K', \Gamma ')\) the PoissonKitaev model for the transformed graph \(\Gamma '\) and by \(L' \subseteq V' {\dot{\cup }} F'\) the set of vertices and edges created by this procedure. From Lemma 3.13 we obtain the map \(\psi : K' \rightarrow K\) that corresponds to gluing back together the edges that we split into two. By the surjectivity of \(\psi \) (Lemma 3.13 (v)), for \(\gamma \in K\) there is a \(\gamma ' \in K'_{L'}\) with \(\gamma = \psi (\gamma ')\). Equation (52) holds for elements of \(K'\) as \(\Gamma '\) satisfies our previous assumptions. We compute:
While applying Eq. (34), we used \(G_+ \rhd _v K'_{L'} = G_ \rhd _f K'_{L'} = K'_{L'}\), which follows from Lemma 3.17 because \(v(f) \notin L'\) and \(f(v) \notin L'\). \(\quad \square \)
We show that the set \({\mathcal {A}}(\Gamma , L)\) of invariant functions on \(K_L\) from Definition 3.10 (ii) inherits a Poisson bracket from \(C^\infty (K, \mathbb {R})\). For this we use Lemma 3.18, which requires that the graph \(\Gamma \) is connected and that there is a vertex and adjacent face not contained in L. We require the vertices and faces without a flatness condition to be paired into sites.
Proposition 3.22
(Poisson algebra structure on \({\mathcal {A}}(\Gamma , L)\)). Let \(\Gamma \) be a connected doublyciliated ribbon graph with \(n \ge 1\) sites \((v_1, f_1), \dots , (v_n, f_n)\) and \(L = (V \setminus \left\{ v_1, \dots , v_n \right\} ) {\dot{\cup }} (F \setminus \left\{ f_1, \dots , f_n \right\} )\).

(i)
The set \(C^\infty (K, \mathbb {R})^{inv}_L\) is a Poisson subalgebra of \(C^\infty (K, \mathbb {R})\).

(ii)
The Poisson bracket on \(C^\infty (K, \mathbb {R})^{inv}_L\) induces a Poisson bracket on the quotient \({\mathcal {A}}(\Gamma , L)\).
Proof
Let \(g_1, g_2 \in C^\infty (K, \mathbb {R})^{inv}_L\) and \(v \in V\). For \(\alpha \in G_+, \gamma \in K_L\) we obtain from Proposition 3.19
where we used that \(g_i \circ ( \rhd _v \gamma )\) is constant in the third equation. For \(i=1,2\) the identity \(g_i \circ (\alpha \rhd _v )_{K_L} = g_i_{K_L}\) holds as \(g_i \in C^\infty (K, \mathbb {R})^{inv}_L\). Lemma 3.17 implies that \(G_+ \rhd _{v'} K_L = K_L\) for all \(v' \in V\) because either \(v' \in L\) or \(v' = v_k\) for some \(k \in \left\{ 1, \dots , n \right\} \), so that \(f(v') = f_k \notin L\). Therefore, the maps \(g_i \circ (\alpha \rhd _v )\) and \(g_i\) coincide on all elements of the form \(\alpha \rhd _{v'} \gamma \) with \( \alpha \in G_+, \gamma \in K_L\). Likewise, they coincide on elements of the form \(x \rhd _{f'} \gamma \) with \(f' \in F, x \in G_, \gamma \in K_L\). This implies \(g_i \circ (\alpha \rhd _v ) \in C^\infty (K, \mathbb {R})^{inv}_L\). We can thus apply Lemma 3.18 (ii) to (53) and obtain
so that \(\left\{ g_1, g_2 \right\} _K \in C^\infty (K, \mathbb {R})^{v}_L\). The proof for \(\left\{ g_1, g_2 \right\} _K \in C^\infty (K, \mathbb {R})^f_L\) for \(f \in F\) is analogous. We conclude \(\left\{ g_1, g_2 \right\} \in C^\infty (K, \mathbb {R})^{inv}_L\), so that \(C^\infty (K, \mathbb {R})^{inv}_L\) is a Poisson subalgebra.
To prove Statement (ii), it remains to show that the induced Poisson bracket on \({\mathcal {A}}(\Gamma , L)\) is welldefined. This follows from Lemma 3.18 (ii). \(\quad \square \)
Vertex and face operators
We show an analogue of the commutation relations for vertex and face operators from Lemma 2.36 for their Poisson counterparts from Definition 3.5. Then we prove that the derivation \(\left\{ g,  \right\} \) for a vertex or face operator g is related to the vector fields that generate the respective vertex or face action.
First we need two technical lemmas. Consider two different edges \(e_1, e_2\) incident at a vertex v such that \(t(e_1) = v = s(e_2)\) and \(i_s(e_2)\) comes directly after \(i_t(e_1)\) in the ordering of the edge ends at v. (If \(e_1, e_2\) are no loops, this simply means that \(e_1\) is incoming, \(e_2\) outgoing and that \(e_2\) is the next edge after \(e_1\).) Consider the paths \(p_1 := r(e_2) \circ r(e_1) ,\; p_2 := f(e_1) \circ b(e_2)^{1}\). These are segments of a face path and the vertex path p(v) (see Definition 3.4) that meet at v.
Lemma 3.23
For these paths and all \(f_1, f_2 \in C^\infty (G)\) the following equation holds:
Proof
For \(\gamma \in K\) set \(d_i := \pi _{e_i}(\gamma ), i = 1,2\). The holonomies along \(p_1\) and \(p_2\) are given by (see Eq. (22)):
Using the inclusion map \(\iota _e(\gamma ) : G \rightarrow K\) from Eq. (43), the Poisson bivector of the product Poisson manifold \(K= G_{\mathcal {H}}^{\times E}\) can be written as \(w_K (\gamma ) = \sum _{e \in E} T\iota _e(\gamma )^{\otimes 2} \, w_{\mathcal {H}}(\pi _e (\gamma ))\) with the bivector \(w_{\mathcal {H}}\) from (3). In the Poisson bracket (54) only the terms associated with \(e_1\) and \(e_2\) contribute. We compute these terms. Let \(\eta : G \rightarrow G\) be the inversion map. We obtain
where the first and second term is obtained from the contribution to \(w_K\) associated with \(e_1\) and \(e_2\), respectively. Apply Eq. (6) from Lemma 2.27 (i) to obtain:
The computation rules for \(\pi _\pm \) from Lemma 2.26 together with the fact \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\) imply:
\(\square \)
Lemma 3.24
For any edge \(e \in E\) and \(f_1, f_2 \in C^\infty (G, \mathbb {R})\) the holonomies along opposite edge ends or edge sides commute:
Proof
This follows from \(T\pi _ \otimes T(\pi _ \circ \eta ) \, w_{\mathcal {H}}= T\pi _+ \otimes T(\pi _+ \circ \eta ) \, w_{\mathcal {H}}= 0\), which can be shown by a direct computation using Lemma 2.26 and the fact that \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\).
\(\square \)
Now we are ready to prove an analogue of Lemma 2.36 for PoissonKitaev models:
Proposition 3.25
(Commutation relations for vertex and face operators). Let \(g_1, g_2 \in C^\infty (G, \mathbb {R})\).

(i)
Vertex (face) operators for distinct vertices \(v_1 \ne v_2\) (faces \(f_1 \ne f_2\)) Poisson commute:
$$\begin{aligned} \left\{ g_1 \circ {{\,\mathrm{Hol}\,}}^{v_1}, g_2 \circ {{\,\mathrm{Hol}\,}}^{v_2} \right\} = 0 \qquad \left( \left\{ g_1 \circ {{\,\mathrm{Hol}\,}}^{f_1}, g_2 \circ {{\,\mathrm{Hol}\,}}^{f_2} \right\} = 0 \right) \, . \end{aligned}$$ 
(ii)
For a vertex v and face f with \(v(f) \ne v\) and \(f(v) \ne f\) the associated operators commute:
$$\begin{aligned} \left\{ g_1 \circ {{\,\mathrm{Hol}\,}}^{v}, g_2 \circ {{\,\mathrm{Hol}\,}}^{f} \right\} = 0 \, . \end{aligned}$$ 
(iii)
Let \(v \in V\) and \(f \in F\) form a site (v, f). The combined face and vertex holonomy from Definition 3.4 (iii) induces an injective homomorphism of Poisson algebras
$$\begin{aligned} {{\,\mathrm{Hol}\,}}^{(v,f)*} :C^\infty ( (G, w_{G^*}), \mathbb {R}) \rightarrow C^\infty (K, \mathbb {R}) \qquad g \mapsto g \circ {{\,\mathrm{Hol}\,}}^{(v,f)} \end{aligned}$$(55)with regard to the Poisson bivector \(w_{G^*}\) on G from Eq. (5).
Proof
We prove the statement for vertex operators in (i). Note that only those copies of G associated with edges that connect \(v_1\) with \(v_2\) contribute to the Poisson bracket \(\left\{ g_1 \circ {{\,\mathrm{Hol}\,}}^{v_1}, g_2 \circ {{\,\mathrm{Hol}\,}}^{v_2} \right\} \). For any such edge e the map \(g_1 \circ {{\,\mathrm{Hol}\,}}^{v_1}\) depends on \({{\,\mathrm{Hol}\,}}(f(e))\) and \(g_2 \circ {{\,\mathrm{Hol}\,}}^{v_2}\) on \({{\,\mathrm{Hol}\,}}(b(e))\) or vice versa. Lemma 3.24 implies that the contribution to \(\left\{ g_1 \circ {{\,\mathrm{Hol}\,}}^{v_1}, g_2 \circ {{\,\mathrm{Hol}\,}}^{v_2} \right\} \) associated with e vanishes. The proof for face operators is analogous.
To see (ii), first assume that there are no loops at v and that every edge is traversed at most once by the face path p(f). Then edges with nonvanishing contribution to the Poisson bracket can be grouped into pairs \(e_1 \ne e_2 \in E\) of consecutive edges on the face path p(f). With appropriate choice of orientation we have \(t(e_1) = s(e_2) = v\). Then one argument of the Poisson bracket is a function of \({{\,\mathrm{Hol}\,}}(r_{e_2} \circ r_{e_1})\) and the other of \({{\,\mathrm{Hol}\,}}(f_{e_1} \circ b_{e_2}^{1})\). By Lemma 3.23 any such contribution vanishes.
In the general case, we transform the graph \(\Gamma \) by adding a bivalent vertex on every loop at v and doubling any edge that occurs twice in the face path p(f). Denote by \((K', \Gamma ')\) the PoissonKitaev model for the transformed graph and the set of new vertices and faces by \(L' \subseteq V' {\dot{\cup }} F'\). From Lemma 3.13 we obtain a Poisson map \(\psi : K' \rightarrow K\) that corresponds to gluing the split edges back together. The map \(\psi \) is invariant under actions at \(l \in L'\) and satisfies by Eq. (35):
By Lemma 3.17, the subspace \(K'_{L'}\) is stable under the actions \(\rhd _{l'}\) for \(l' \in L'\) which implies that \({{\,\mathrm{Hol}\,}}'^v, {{\,\mathrm{Hol}\,}}'^f \in \bigcap _{l' \in L'} C^\infty (K, \mathbb {R})^{l'}_{L'}\). Use the Poisson property of \(\psi \) and Lemma 3.18 (ii) to compute
where we used Statement (ii) for the transformed graph \(\Gamma '\). The map \(\psi _{K'_{L'}}\) is surjective by Lemma 3.13 (v), so this concludes the proof of (ii).
Now we prove (iii). The map \({{\,\mathrm{Hol}\,}}^{(v,f)}\) is surjective, which implies the injectivity of \({{\,\mathrm{Hol}\,}}^{(v,f)*}\). It remains to show that \({{\,\mathrm{Hol}\,}}^{(v,f)} : K \rightarrow (G, w_{G^*})\) is a Poisson map. Let (v, f) be a site and consider first the simpler case where there are no loops at v and no edges whose left and right sides belong both to f. Applying \((T{{\,\mathrm{Hol}\,}}^{(v,f)})^{\otimes 2}\) to \(w_K\) yields:
We can assume that the only two edges that occur both in the vertex path p(v) and the face path p(f) are the first and last edge in the ordering of v (which coincide with the first and last edge of f). To see this, recall that all other such edges form pairs \((e_1, e_2)\) where \(e_2\) comes directly after \(e_1\) on both p(f) and p(v). By Lemma 3.23, the pair \((e_1, e_2)\) does not contribute to (56) and (57).
Denote by \(f_1< \dots < f_m\) the edges of f and the edges incident at v by \(v_1< \dots < v_n\). We can assume without loss of generality that all \(v_1, \dots , v_n\) are incoming at v and that \(f_2, \dots , f_{m1}\) are oriented clockwise. This implies that \(f_1=v_1\) is oriented counterclockwise and \(f_m = v_n\) clockwise. Denote the elements associated to the edges by \(d_{v_i} := \pi _{v_i} (\gamma )\) and \(d_{f_j} := \pi _{f_j}(\gamma )\). Then
where \(g : K \rightarrow G_{\mathcal {H}}\) is given by \(g(\gamma ) := \pi _(d_{v_2}) \cdots \pi _({d_{v_{n1}}}) \, d_{f_m} \, \pi _+(d_{f_{m1}}) \cdots \pi _+(d_{f_2})\). It is Poisson by Lemma 2.23 and Theorem 2.16 (ii). Therefore, it suffices to show that the map
is Poisson. Consider the nfold product \( G_{\mathcal {H}}^n\) equipped with the product Poisson structure. We can write \(H = h \circ \Delta _{13}\) with the map \(\Delta _{13}: G_{\mathcal {H}}^2 \rightarrow G_{\mathcal {H}}^3, (d_1, d_2) \mapsto (d_1, d_2, d_1)\) and the map \(h: G_{\mathcal {H}}^{3} \rightarrow G_{\mathcal {H}}, (d_1, d_2, d_3) \mapsto \pi _(d_1) \, d_2 \, \pi _+(d_3^{1})\). We obtain for the bivector \(w_{G_{\mathcal {H}}^2}\) of \(G_{\mathcal {H}}^2\)
where for \(i =1,2,3\) the map \(\iota _i : G \rightarrow G^3\) is the inclusion of G into the ith copy of \(G^3\) at the element \((d_1, d_2, d_1)\). One has \( (T\iota _1^{\otimes 2} + T\iota _3^{\otimes 2}) \, w_{\mathcal {H}}(d_1) + T\iota _2^{\otimes 2} \, w_{\mathcal {H}}(d_2) = w_{G_{\mathcal {H}}^{3}} (d_1, d_2, d_1)\) and the map h is Poisson by Lemma 2.23 and Theorem 2.16. Applying this to (58) yields
Denote the inversion map on G by \(\eta \). We have
Lemma 2.27 (i), the computation rules for \(\pi _\pm \) from Lemma 2.26, and \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\) imply:
Inserting this into (59) and comparing with \(w_{G^*}\) from Eq. (5) proves the claim:
In the general case, we again transform \(\Gamma \) by adding bivalent vertices to loops at v and doubling edges where both sides belong to f. From Lemma 3.13 we obtain the map \(\psi : K' \rightarrow K\) that is associated with gluing the split edges back together. Then we argue as in the proof of (ii). \(\quad \square \)
Remark 3.26
The homomorphism \({{\,\mathrm{Hol}\,}}^{(v,f)*} : C^\infty ((G, w_{G^*}), \mathbb {R}) \rightarrow C^\infty (K, \mathbb {R})\) of Poisson algebras from (55) is an analogue of the algebra homomorphism \(\tau : D(H) \rightarrow {{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) from Lemma 2.36 (iv). The Poisson algebra \(C^\infty (K, \mathbb {R})\) is an analogue of the endomorphism algebra \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) for a quantum Kitaev model and the Poisson algebra \(C^\infty ((G, w_{G^*}), \mathbb {R})\) takes the role of the algebra structure on D(H).
In fact, by Lemma 2.22 there is a Poisson map \(G^* \rightarrow (G, w_{G^*})\) that is a diffeomorphism near the units. The Poisson algebra structure on \(C^\infty (G^*, \mathbb {R})\) for the dual \(G^*\) of the double PoissonLie group G is a Poisson counterpart of the algebra structure on the Drinfeld double D(H).
By Eq. (21), the D(H)right module algebra structure at a site (v, f) is obtained from the vertex and face operators for v and f, respectively. We show an analogue of this relation by expressing the derivation \(\left\{ g,  \right\} \) for a vertex or face operator g in terms of the vector fields obtained from the respective vertex or face action. For \(\beta \in {\mathfrak {g}}_+, y \in {\mathfrak {g}}_\) the vector fields generating the vertex action at v and face action at f are given by
Proposition 3.27
(Vector fields for operators and actions). Let \(v \in V, f \in F\) and \(g \in C^\infty (G, \mathbb {R})\). The vector fields generated by the vertex operator \(g \circ {{\,\mathrm{Hol}\,}}^v\) and face operator \(g \circ {{\,\mathrm{Hol}\,}}^f\) satisfy
where \(r \in {\mathfrak {g}}_ \otimes {\mathfrak {g}}_+\) is the classical rmatrix of the double PoissonLie group G.
Proof
Equation (60) has been shown in Eq. (45) as part of the proof for Lemma 3.18. The proof for Eq. (61) is analogous. \(\quad \square \)
Corollary 3.28
All invariant functions \(h \in C^\infty (K, \mathbb {R})^{inv}\) Poissoncommute with all vertex and face operators:
If G is connected, then Eq. (62) for a function \(h \in C^\infty (K, \mathbb {R})\) in turn implies invariance under all vertex and face actions.
Proof
Equations (62) follow from Eqs. (60) and (61). To prove the converse statement, note that the rmatrix of G induces linear isomorphisms \({\mathfrak {g}}_^* \rightarrow {\mathfrak {g}}_+: \varphi \mapsto (\varphi \otimes \text {id}) \, r \) and \({\mathfrak {g}}_+^* \rightarrow {\mathfrak {g}}_: \varphi \mapsto (\varphi \otimes \text {id}) \, r_{21}\). By Eq. (60) the identity \(\left\{ h, g \circ {{\,\mathrm{Hol}\,}}^v \right\} = 0 {{\,\mathrm{\;\forall \;}\,}}g \in C^\infty (G, \mathbb {R})\) thus implies \(\langle dh, V_v(\beta ) \rangle = 0 {{\,\mathrm{\;\forall \;}\,}}\beta \in g_+\), so that \(h \in C^\infty (K, \mathbb {R})^v\). The argument for faces \(f \in F\) is similar. \(\quad \square \)
PoissonKitaev models and FockRosly spaces
In this section we show that a PoissonKitaev model on the graph \(\Gamma \) is Poissonisomorphic to a FockRosly space on \(\Gamma \) if all vertices and faces can be paired into sites. This isomorphism will be used in Sect. 3.6 to prove that the Poisson algebra \({\mathcal {A}}(\Gamma , L)\) is isomorphic to the canonical Poisson algebra of functions on the moduli space of flat Gbundles.
In this section we assume that \(\Gamma \) is a paired doubly ciliated ribbon graph (see Definition 2.7 (iv)).
We consider the PoissonKitaev model \(K = G_{\mathcal {H}}^{\times E}\) for the graph \(\Gamma \) and the FockRosly space \(F\!R= (G^{\times E}, w_{F\!R})\) from Definition 2.29. The latter is equipped with the Poisson bivector \(w_{F\!R}\) from Eq. (10) where we set \(r(v) = r\) for all \(v \in V\) and r is the classical rmatrix of G.
We construct a Poisson isomorphism \(\Phi : K\rightarrow F\!R\). It is obtained from the holonomies of certain paths associated to the edges of \(\Gamma \). More specifically, we associate to an edge \(e: v_s \rightarrow v_t\) the path p(e) in the thickening \(\Gamma _D\) (see Definition 2.5) that starts at the cilium of \(v_s\), turns counterclockwise around \(v_s\), then along e and clockwise along \(v_t\) until it meets the cilium of \(v_t\). This path is depicted in Fig. 10.
Suppose that b(e) is the \(j_s\)th edge end in the linear ordering at \(v_s\) and f(e) the \(j_t\)th edge end at \(v_t\). The path p(e) is given by
where \(p_{j_s 1}(v_s)\) and \(p_{j_t 1}(v_t)\) are partial vertex paths as defined by Eq. (23). With the help of the holonomy functor \({{\,\mathrm{Hol}\,}}: {\mathcal {G}}(\Gamma _D) \rightarrow C^\infty (K, G)\) from (22) we define the map \(\Phi : K \rightarrow F\!R\) by
This map can be viewed as the PoissonLie counterpart of the isomorphism of D(H)module algebras in [27] that was used to relate the endomorphism algebra \({{\,\mathrm{End}\,}}_\mathbb {C}(H^{\otimes E})\) of a Kitaev model to the quantum moduli algebra.
We show that for each site (v, f) the map \(\Phi : K \rightarrow F\!R\) is an isomorphism of Poisson Gspaces with respect to the Poisson actions \(\rhd _{(v,f)}: G \times K \rightarrow K\) from (50) and \(\rhd _v^{F\!R} : G \times F\!R\rightarrow F\!R\) from (11). We also prove that it intertwines the holonomies along the combined vertex and face path \(p(v) \circ p(f)\) with respect to the holonomy functors \({{\,\mathrm{Hol}\,}}\) from (22) and \({{\,\mathrm{Hol}\,}}_{F\!R}\) from (14).
Theorem 3.29
(Poisson–Kitaev models and Fock–Rosly spaces).

(i)
The map \(\Phi : K \rightarrow F\!R\) is a Poisson isomorphism.

(ii)
For each site (v, f) the map \(\Phi \) is a homomorphism of Poisson Gspaces with respect to the Poisson actions \(\rhd _{(v, f)} : G \times K \rightarrow K\) and \(\rhd _v^{F\!R} : G \times F\!R\rightarrow F\!R\):
$$\begin{aligned} g \rhd ^{FR}_v \Phi (\gamma ) = \Phi ( \pi _(g) \rhd _{f} ( \pi _+(g) \rhd _v \gamma ) ) \qquad {{\,\mathrm{\;\forall \;}\,}}g \in G, \gamma \in K \, . \end{aligned}$$(65) 
(iii)
The map \(\Phi \) intertwines the holonomies associated with any site (v, f):
$$\begin{aligned} {{\,\mathrm{Hol}\,}}_{F\!R}(p(v) \circ p(f)) \circ \Phi = {{\,\mathrm{Hol}\,}}(p(v) \circ p(f)) \, . \end{aligned}$$(66)
Proof
Statement (i): We construct an inverse \(\Psi : F\!R\rightarrow K\) of \(\Phi \). For an edge \(e \in E\), let \(f_l, f_r\) be the faces to the left and right of e, respectively. Suppose that r(e) is the \(k_r\)th edge side in the linear ordering at \(f_r\) and l(e) the \(k_l\)th one at \(f_l\). Consider the partial face paths \(p_l(e) := p_{k_l1}(f_l)\) and \(p_r(e) := p_{k_r1}(f_r)\) from Eq. (24) as illustrated in Fig. 11. We define \(\Psi \) with the help of the holonomy functor \({{\,\mathrm{Hol}\,}}_{F\!R}\) from (14) by:
That \(\Psi \) is the inverse to \(\Phi \) can be checked directly using the properties of the projections \(\pi _\pm \) in Lemma 2.26.
It remains to show that \(\Phi : K \rightarrow F\!R\) is Poisson. To simplify presentation, we prove the equation
for functions of the form \(f_i = {\hat{f}}_i \circ \pi _{e_i}\) with edges \(e_1, e_2 \in E\) and \({\hat{f}}_1, {\hat{f}}_2 \in C^\infty (G, \mathbb {R})\). It implies \(T\pi _{e_1} \otimes T\pi _{e_2} \, (T\Phi ^{\otimes 2} \, w_K) = T\pi _{e_1} \otimes T\pi _{e_2} \, (w_{F\!R} \circ \Phi )\) for all edges \(e_1, e_2\) and hence that \(\Phi \) is Poisson.
First we prove Eq. (68) for graphs \(\Gamma \) which satisfy the additional assumption that for all vertices v any nontrivial path \(p: v \rightarrow v\) in \(\Gamma \) traverses at least four edges. This excludes loops, pairs of vertices connected by more than one edge, and triangles. Recall from Remark 3.3 and Proposition 2.31 that a change of the orientation of an edge e amounts to an inversion of the element \(\pi _e(\gamma )\) in both the PoissonKitaev model K and the FockRosly space \(F\!R\). In both cases this is a Poisson isomorphism and one can check easily that it commutes with \(\Phi \). Thus, we can choose the orientations of any edges and only have to consider the following cases:

(a)
\(e_1 = e_2\).

(b)
The edges \(e_1\) and \(e_2\) have no vertex in common.

(c)
\(s(e_1) = s(e_2)\) with \(e_1 < e_2\) at \(s(e_1)\) and \(t(e_1) \ne t(e_2)\).
Case (a): Let \(e := e_1 = e_2\). The map \(\pi _e \circ \Phi : K \rightarrow G_{\mathcal {H}}\) is Poisson by Lemma 2.23 (ii) and Theorem 2.16 (ii). Eq. (10) implies that \(T\pi _e^{\otimes 2} \, w_{F\!R} = w_{\mathcal {H}}\circ \pi _e\). We obtain:
Case (b): If the edges \(e_1, e_2\) have no common vertex, then \(\left\{ f_1 , f_2 \right\} _{FR} = 0\) by Eq. (10). The only edges e that potentially contribute to \(\left\{ f_1 \circ \Phi , f_2 \circ \Phi \right\} _K\) connect the edges \(e_1\) and \(e_2\). With proper choice of orientation for \(e_1\) and \(e_2\), the edge ends of e are traversed by the paths \(p_b(e_i)\) for \(i=1,2\), but not by \(p_f(e_i)\) because our assumptions on \(\Gamma \) imply that the vertices \(s(e_i)\) and \(t(e_i)\) are only connected by \(e_i\). Then \(f_1\) is a function of \({{\,\mathrm{Hol}\,}}(b(e))\) and \(f_2\) of \({{\,\mathrm{Hol}\,}}(f(e))\) or vice versa. Lemma 3.24 implies \(\left\{ f_1 \circ \Phi , f_2 \circ \Phi \right\} _K = 0 = \left\{ f_1, f_2 \right\} _{F\!R} \circ \Phi \).
Case (c): Let \(v := s(e_1) = s(e_2)\). We can assume that there are no edges in \(\Gamma \) that connect \(t(e_1)\) with \(t(e_2)\) as otherwise \(e_1, e_2\) would be part of a triangle. This situation is pictured in Fig. 12 along with the paths \(p(e_i) = p_f(e_i) \circ f(e_i) \circ r(e_i) \circ p_b(e_i)\) for \(i=1,2\).
First we consider the case when \(e_1\) is the first edge at v and \(e_2\) comes directly after \(e_1\) with respect to the linear ordering, so that \(p_b(e_1) = 1_{s(b(e_1))}\) is the identity morphism of \(s(b(e_1))\) and \(p_b(e_2) = b(e_1)\). Additionally, we require that \(p_f(e_1) = 1_{t(f(e_1))}\) and \(p_f(e_2) = 1_{t(f(e_2))}\). Then one has
Thus, we have to prove that the following map is Poisson
Here, \( G_{\mathcal {H}}^2\) is equipped with the bivector \(w_\pi \) of the product Poisson structure and \(w_{F\!R}'\) is the Poisson bivector from Eq. (10) for the case when the graph consists only of the two edges \(e_1: v \rightarrow t(e_1)\) and \(e_2 : v \rightarrow t(e_2)\) with \(e_1 < e_2\) at v and \(t(e_1) \ne t(e_2)\). Denote by \(\pi _1, \pi _2 : G^2 \rightarrow G\) the projections on the components that correspond to \(e_1\) and \(e_2\). Then \(w_{F\!R}'\) is explicitly given by
and the bivector \(w_\pi \) by
We decompose h into Poisson maps. For this we write h as
where \(\Delta : G \rightarrow G \times G, d \mapsto (d,d)\) is the diagonal map, \(\tau : G^2 \rightarrow G^2, (d_1, d_2) \mapsto (d_2, d_1)\) the flip, \(\mu : G \times G \rightarrow G\) the multiplication and \(f := \eta \circ \pi _ \circ \eta \) with the inversion map \(\eta : G \rightarrow G\).
Let \(\pi _i' : G^3 \rightarrow G, i =1,2,3\) be the projections on the components of \(G^3\) and \(\iota _i': G \rightarrow G^3, i=1,2,3\) the inclusion maps at the element \((\Delta \times \text {id}_G) (d_1, d_2) = (d_1, d_1, d_2)\). They satisfy:
Denote by \(w_\pi '\) the Poisson bivector of the product Poisson manifold \( G_{\mathcal {H}}^3\). Then one has
This implies for the map h from Eq. (71):
By Theorem 2.16 (ii) and Lemma 2.23 (ii) the following map is Poisson
and applying this fact to the first term on the right hand side of (73) yields:
Apply the projection \(T\pi _i^{\otimes 2}\) and use (70) to obtain:
By the antisymmetry of the Poisson bivectors \(w_\pi \) and \(w_{F\!R}'\) it only remains to show the following equation to prove that h is Poisson:
Applying the projection \(T\pi _1 \otimes T\pi _2\) to Eq. (74) yields
where we used the identity \(f = \eta \circ \pi _ \circ \eta \) and replaced \(\text {id}_G\) by \(\eta \circ \eta \) in the second step. The inversion \(\eta : G_{\mathcal {H}}\rightarrow G_{\mathcal {H}}\) is Poisson by Theorem 2.16 (ii), so that
Use \(r_{21} \in {\mathfrak {g}}_+ \otimes {\mathfrak {g}}_\) and the computation rules from Lemma 2.26 to obtain
This shows that \(h: G_{\mathcal {H}}^2 \rightarrow (G^2, w'_{F\!R})\) is Poisson.
Now we consider Case (c) without our earlier assumptions, as pictured in Fig. 12. This means that the paths \(p_b(e_1), p_f(e_1)\) and \(p_f(e_2)\) are not necessarily identity morphisms and there may be edges between \(e_1\) and \(e_2\) in the linear ordering of \(v = s(e_1) = s(e_2)\). We have to show that the following map is Poisson
where \(w'_{F\!R}\) is again the FockRosly bivector for a graph that consists only of the edges \(e_1 : v \rightarrow t(e_1)\) and \(e_2: v \rightarrow t(e_2)\) with \(e_1 < e_2\) at v and \(t(e_1) \ne t(e_2)\).
For this we decompose \(\Phi ' = \phi _4 \circ \phi _3 \circ \phi _2 \circ \phi _1\) into Poisson maps \(\phi _i, i=1,\dots ,4\).
Let \(e_{s,1}< \dots< e_{s,m} < e_1\) be the edges at \(v = s(e_1) = s(e_2)\) that come before \(e_1\) in the linear ordering at v. Denote the edges at \(t(e_1)\) that come before \(e_1\) with regard to the ordering at \(t(e_1)\) by \(e_{t,1}< \dots< e_{t, n} < e_1\). To the edges \(e_{s, 1}, \dots , e_{s, m}, e_1, e_2, e_{t, 1}, \dots , e_{t, n}\) we associate the product Poisson manifold \( G_{\mathcal {H}}^m \times G_{\mathcal {H}}^2 \times G_{\mathcal {H}}^n\). Define the path
This path is the same as \(p(e_2)\) from Eq. (63) for the shifted linear ordering at v that corresponds to a cilium at \(t(b(e_1))\). The path \(p(e_2)'\) and the edges \(e_{s, 1}, \dots , e_{s, m}\) and \(e_{t, 1}, \dots , e_{t, n}\) are illustrated in Fig. 13.
The map \(\phi _1 : K \rightarrow G_{\mathcal {H}}^{m} \times G_{\mathcal {H}}^2 \times G_{\mathcal {H}}^n\) assigns the holonomy along \(p(e_2)'\) to the copy of \( G_{\mathcal {H}}\) that corresponds to \(e_2\):
It is Poisson by Lemma 2.23 (ii) and Theorem 2.16 (ii).
The map \(\phi _2: G_{\mathcal {H}}^m \times G_{\mathcal {H}}^2 \times G_{\mathcal {H}}^n \rightarrow G_{\mathcal {H}}^m \times (G^2, w'_{F\!R}) \times G_{\mathcal {H}}^n\) is defined by
with \(h: G_{\mathcal {H}}^2 \rightarrow (G^2, w'_{F\!R})\) from Eq. (69). We have shown that h is Poisson in Eqs. (75) and (76). This implies that \(\phi _2\) is a Poisson map.
Denote by \(\pi _s : K \rightarrow G_{\mathcal {H}}^m\) the projection on the components associated with the edges \(e_{s,1}, \dots , e_{s,m}\) incident at v and by \(\pi _{t}: K \rightarrow G_{\mathcal {H}}^n\) the projection associated with the edges \(e_{t,1}, \dots , e_{t,n}\) incident at \(t(e_1)\). Let \(hol_b : G_{\mathcal {H}}^m \rightarrow G_\) be the map that is uniquely defined by \(hol_b \circ \pi _s = {{\,\mathrm{Hol}\,}}(p_b(e_1))\) with the path \(p_b(e_1)\) from (63). Similarly, let \(hol_{f}: G_{\mathcal {H}}^n \rightarrow G_\) be the unique map with \(hol_{f} \circ \pi _{t} = {{\,\mathrm{Hol}\,}}(p_f(e_1))\). The map \(\phi _3 : G_{\mathcal {H}}^m \times (G^2, w'_{F\!R}) \times G_{\mathcal {H}}^n \rightarrow G_ \times (G^2, w'_{F\!R}) \times G_\) is defined by
where \(\eta _{G_}: G_ \rightarrow G_\) is the inversion map. By Lemma 2.23 (ii) and Theorem 2.16 (ii), the maps \(hol_f: G_{\mathcal {H}}^n \rightarrow G_\) and \(\eta _{G_} \circ hol_b: G_{\mathcal {H}}^m \rightarrow G_\) are Poisson. Therefore, \(\phi _3\) is Poisson.
We define \(\phi _4: G_ \times (G^2, w'_{F\!R}) \times G_ \rightarrow (G^2, w'_{F\!R})\) by
Recall that \((G^2, w'_{F\!R})\) is the FockRosly space for the graph that has only the edges \(e_1: v \rightarrow t(e_1)\) and \(e_2 : v \rightarrow t(e_2)\) with \(t(e_1) \ne t(e_2)\) and \(e_1 < e_2\) in the ordering at v. Using the associated vertex actions \(\rhd _v^{F\!R}, \rhd _{t(e_1)}^{F\!R} : G \times (G^2, w'_{F\!R})\) at v and \(t(e_1)\) from Eq. (11), we can write
The actions \(\rhd _v^{F\!R}, \rhd _{t(e_1)}\) are Poisson by Proposition 2.28, and therefore so is \(\phi _4\).
One can check easily that \(\Phi ' = \phi _4 \circ \phi _3 \circ \phi _2 \circ \phi _1\) by inserting the definitions of \(\phi _i, i=1,\dots , 4\) from Eqs. (77), (78), (79) and (80). Hence, the map \(\Phi '\) is Poisson.
Now consider the general case, where a path \(p: v \rightarrow v\) in \(\Gamma \) may traverse any number of edges. We transform the graph \(\Gamma \) by introducing a bivalent vertex \(v_m\) on every edge e. This splits e into the two edges \(e_1: s(e) \rightarrow v_m\) and \(e_2: v_m \rightarrow t(e)\). Choose the linear ordering at \(v_m\) such that \(e_2 > e_1\). By repeating this procedure one more time, we obtain a graph \(\Gamma '\) so that any nontrivial closed path in \(\Gamma '\) traverses at least four edges. Denote the transformed PoissonKitaev model by \((K', \Gamma ')\) and the set of newly created vertices by \(L' \subseteq V'\). From Lemma 3.13 we obtain a Poisson map \(\psi : K' \rightarrow K\) that corresponds to gluing the split edges back together.
The resulting graph \(\Gamma '\) is not paired anymore. However, the map \(\Phi \) from Eq. (64) can be defined for any doubly ciliated ribbon graph. So far our proof for its Poisson property did not require a paired graph, either. Denote by \(F\!R'\) the FockRosly space for G associated to \(\Gamma '\), where we set \(r(v)=r\) for all vertices v in Eq. (10). As \(\Gamma '\) fulfils our previous assumptions, we thus obtain the Poisson map \(\Phi ' : K' \rightarrow F\!R'\) defined by (64).
There is a map \(\psi _{F\!R} : F\!R' \rightarrow F\!R\) that implements gluing the split edges of \(\Gamma '\) back together given by Eq. (12). It is Poisson by Proposition 2.31. A direct computation shows that the equation
holds for all \(\gamma ' \in K'_{L'}\), where \(K'_{L'}\) is the subset of \(K'\) consisting of elements flat at \(L'\).
Let \(f_1, f_2 \in C^\infty (F\!R, \mathbb {R})\) and \(\gamma \in K\). As the map \(\psi _{K'_{L'}} : K'_{L'} \rightarrow K\) is surjective by Lemma 3.13 (v), we can choose \(\gamma ' \in K'_{L'}\) with \(\psi (\gamma ')=\gamma \). We compute
where we used that \(\psi _{F\!R} : F\!R' \rightarrow F\!R\) and \(\Phi ': K' \rightarrow F\!R'\) are Poisson in the last equation. By Lemma 3.13 (ii), one has \(f_i \circ \Phi \circ \psi \in C^\infty (K', \mathbb {R})^v_{L'}\) for all \(v \in L'\) and \(i=1,2\). Because \(\psi _{F\!R} \circ \Phi '\) coincides with \(\Phi \circ \psi \) on \(K'_{L'}\) and \(K'_{L'}\) is stable under the vertex action \(\rhd _v\) for \(v \in L'\) by Lemma 3.17, the maps \(f_i \circ \psi _{F\!R} \circ \Phi '\) are also in \(C^\infty (K', \mathbb {R})^v_{L'}\) for \(i=1,2\). We can therefore apply Lemma 3.18 (ii) to the right hand side of (82) to obtain
where we used that \(\psi : K' \rightarrow K\) is Poisson in the second equation and \(\psi (\gamma ') = \gamma \) in the third.
Statement (ii): Equation (65) is equivalent to the equations
As \(\Gamma \) is paired, there are no loops at v and we can assume that all edges are incoming. Then \(\rhd _v\) is given by Formula (30) and Eq. (83) can be checked directly using Lemma 2.26. To see (84), use the fact that there are no edges that occur twice in the face path p(f) to assume that all edges of f are oriented clockwise. Then \(\rhd _f\) is given by (31) and (84) follows from the properties of \(\pi _\pm \) in Lemma 2.26.
Statement (iii): This follows from a direct computation using Lemma 2.26. \(\quad \square \)
Remark 3.30

(i)
As K is the product Poisson manifold \(K = G_{\mathcal {H}}^{\times E}\), the pullback along the transformation \(\Phi : K \rightarrow F\!R\) from Theorem 3.29 decouples the contributions of different edges to the Poisson bivector \(w_{F\!R}\) of \(F\!R\). However, while the gauge transformation \(\rhd ^{F\!R}_v : G \times F\!R\rightarrow F\!R\) at a vertex is given by the diagonal action, the corresponding action \(\rhd _{(v,f)} : G \times K \rightarrow K\) involves all edges associated with the site (v, f).

(ii)
Theorem 3.29 requires a global double PoissonLie group G. However, a weaker version of Theorem 3.29 can be formulated for general double PoissonLie groups. In the general case, the projections \(\pi _\pm \) from Lemma 2.23 are only defined on an open neighbourhood of the unit \(U \subseteq G\). We can choose U small enough so that Formula (64) is welldefined on \(U^{\times E}\) and use this formula to define the map \(\Phi ': U^{\times E} \rightarrow G^{\times E}\). For a sufficiently small open neighbourhood of the unit \(U' \subseteq G^{\times E}\) we can also define the map \(\Psi ': U'^{\times E} \rightarrow G^{\times E}\) by Formula (67). Then \(O := \Phi '^{1}(U'^{\times E})\) is an open neighbourhood of the unit and a direct computation using a local version of Lemma 2.26 shows that \(\Psi ' (\Phi '(x)) = x\) for all \(x \in O\). In particular, the tangent map \(T_x \Phi '\) is a linear isomorphism, so that \(\Phi '_O: O \rightarrow G^{\times E}\) is a local diffeomorphism. Thus, \(\Phi '_O\) is open and the corestriction \(\Phi '_O^{\Phi '(O)} : O \rightarrow \Phi '(O)\) is a diffeomorphism onto the open neighbourhood \(\Phi '(O)\) of the unit. The proof for the Poisson property of \(\Phi \) can also be applied to \(\Phi ' : U^{\times E} \rightarrow G^{\times E}\) (using local versions of the lemmas that were utilized). It follows that \(\Phi '_O^{\Phi ' (O)}\) is a Poisson isomorphism with respect to the product Poisson bivector \(w_K\) on O and the bivector \(w_{F\!R}\) from (10) on \(\Phi '(O)\).
Most of our constructions for PoissonKitaev models are based on the properties of the projections \(\pi _\pm \) from Lemma 2.23. Therefore, one could generalize PoissonKitaev models to (general) double PoissonLie groups G, but many definitions, such as the holonomy functor or vertex and face actions, would have to be replaced by local versions.
Relation with moduli spaces of flat Gbundles for surfaces with boundary
In Sect. 3.2, we introduced graph transformations that allow us to transform the graph \(\Gamma \) of a PoissonKitaev model \((K, \Gamma )\) into a paired doublyciliated ribbon graph \(\Gamma '\). By Theorem 3.29, the Poisson manifold \(K'\) associated with the paired graph \(\Gamma '\) is isomorphic to the FockRosly space \(F\!R'\) on \(\Gamma '\). In [20], Fock and Rosly have shown that the Poisson structure on \(F\!R'\) induces the canonical symplectic structure on the moduli space of flat Gbundles \({{\,\mathrm{Hom}\,}}(\pi _1(S'),G)/G\) for the oriented surface \(S'\) obtained by gluing annuli to the faces of \(\Gamma '\). We use this to relate the Poisson algebra \(\mathcal A(\Gamma , L)\) from Definition 3.10 (ii) to moduli spaces of flat Gbundles.
Recall from Proposition 2.30 that the subalgebra of invariant functions on \(F\!R'\) is isomorphic to the canonical Poisson algebra of functions on \({{\,\mathrm{Hom}\,}}(\pi _1(S'), G)/G\) defined by the nondegenerate symmetric component \(r_s\) of the classical rmatrix of G. In our situation, r is the classical rmatrix of the double Lie bialgebra \({\mathfrak {g}}\) from Theorem 2.18.
Let \(\Gamma \) be a connected doublyciliated ribbon graph and \((v_1, f_1), \dots , (v_n, f_n)\) pairwise distinct sites with \(n \ge 1\). Consider the oriented surface S obtained by gluing annuli to \(f_1, \dots , f_n\) and disks to all other faces. Denote the set of flat vertices and faces by \(L := (V \setminus \left\{ v_1, \dots , v_n \right\} ) {\dot{\cup }} (F \setminus \left\{ f_1, \dots , f_n \right\} )\). By Proposition 3.22 (ii), the set \({\mathcal {A}}(\Gamma , L) = C^\infty (K, \mathbb {R})^{inv}_L / \sim \) inherits a Poisson algebra structure from the Poisson subalgebra \(C^\infty (K, \mathbb {R})^{inv}_L \subseteq C^\infty (K, \mathbb {R})\). We obtain:
Theorem 3.31
(Poisson–Kitaev models and moduli spaces of flat Gbundles) . The Poisson algebra \(\mathcal A(\Gamma , L)\) is isomorphic to the Poisson algebra of functions on the moduli space of flat Gbundles \({{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) for the bilinear form dual to \(r_s\).
Proof
By Corollary 3.15, there is a paired doubly ciliated ribbon graph \(\Gamma '\) together with n sites \((v_1', f_1'), \dots , (v_n', f_n')\) such that the Poisson algebras \({\mathcal {A}}(\Gamma , L)\) and \({\mathcal {A}}(\Gamma ', L')\) are isomorphic, where \(L' = (V' \setminus \left\{ v_1', \dots , v_n' \right\} ) {\dot{\cup }} (F' \setminus \left\{ f_1', \dots , f_n' \right\} )\). The oriented surface obtained by gluing annuli to \(f_1', \dots , f'_n\) and disks to all other faces of \(\Gamma '\) is homeomorphic to S.
From Theorem 3.29 we obtain a Poisson isomorphism \(\Phi : K' \rightarrow F\!R'\), where \(F\!R'\) is the FockRosly space for the PoissonLie group G and the graph \(\Gamma '\). The element r(v) in Eq. (10) for the Poisson bivector \(w_{F\!R}\) is given by the classical rmatrix of G for all \(v \in V'\). Define the subspace of \(F\!R'\) of elements flat at \(L'\) by
Consider the set of functions invariant on \(F\!R'_{L'}\):
Similarly to \({\mathcal {A}}(\Gamma ', L')\) from Definition 3.10 (ii), we define the quotient
with respect to the relation \(h_1 \sim h_2 \Leftrightarrow h_1 _{F\!R'_{L'}} = h_2 _{F\!R'_{L'}}\).
Note that \({{\,\mathrm{Hol}\,}}_{F\!R}(p(f)) = {{\,\mathrm{Hol}\,}}_{F\!R}(p(v) \circ p(f))\) for each site (v, f) (see Eq. (14)). By Eq. (66), one has \(\Phi (K'_{L'}) = F\!R'_{L'}\) for the set \(K'_{L'}\) from Definition 3.6. At each site (v, f) the map \(\Phi \) intertwines the Gactions \(\rhd _{(v,f)}\) and \(\rhd _{v}^{F\!R}\) (Eq. (65)). Therefore, \(\Phi \) induces a bijection \(\Phi ^*: C^\infty (F\!R', \mathbb {R})^{inv}_{L'} \rightarrow C^\infty (K', \mathbb {R})^{inv}_{L'}, h \mapsto h \circ \Phi \) for the Poisson subalgebra \(C^\infty (K', \mathbb {R})^{inv}_{L'}\) from Definition 3.10 (i). Because \(\Phi (K'_{L'}) = F\!R'_{L'}\), this bijection satisfies \(\Phi ^*(h_1)_{K'_{L'}} = \Phi ^{*}(h_2)_{K'_{L'}}\) if \(h_1_{F\!R'_{L'}} = h_2_{F\!R'_{L'}}\). It thus induces a bijection
One can equip \({\mathcal {A}}_{F\!R}(\Gamma ', L')\) with a Poisson bracket such that the bijection \(\Phi ^*_{/\sim }\) becomes an isomorphism of Poisson algebras. Because \(\Phi : K' \rightarrow F\!R'\) is a Poisson isomorphism, this Poisson bracket on \({\mathcal {A}}_{F\!R}(\Gamma ', L')\) is the one induced by the Poisson bracket on \(F\!R'\).
We have shown that the Poisson algebra \({\mathcal {A}}(\Gamma , L)\) is isomorphic to \({\mathcal {A}}_{F\!R}(\Gamma ', L')\). It remains to show that \({\mathcal {A}}_{F\!R}(\Gamma ', L')\) is isomorphic to the canonical Poisson algebra of functions on \({{\,\mathrm{Hom}\,}}(\pi _1(S),G)/G\). For this we show that \({\mathcal {A}}_{F\!R}(\Gamma ', L')\) is isomorphic to the Poisson subalgebra \(C^\infty (F\!R'', \mathbb {R})^{inv}\) of invariant functions on the FockRosly space \(F\!R''\) for a suitable graph \(\Gamma ''\), and that the oriented surface \(S''\) obtained by gluing annuli to the faces of \(\Gamma ''\) is homeomorphic to S. By Proposition 2.30, the Poisson algebra \(C^\infty (F\!R'', \mathbb {R})^{inv}\) is isomorphic to the Poisson algebra of functions on the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S''), G)/G\) for the bilinear form dual to \(r_s\), which then proves Theorem 3.31.
We construct the graph \(\Gamma ''\) from \(\Gamma '\) by merging the faces in \(F' \cap L'\) into adjacent faces until only the selected faces \(f_1', \dots , f_n'\) are left. More specifically, we transform \(\Gamma '\) as follows.
Choose a flat face \(f_{flat, 1} \in F' \cap L'\) and choose an edge \(e_1 \in E\) adjacent to \(f_{flat, 1}\) such that the faces to the left and right of \(e_1\) differ. Such an edge \(e_1\) exists, since otherwise \(\Gamma '\) would have only one face or several connected components in contradiction to our assumptions. Remove the edge \(e_1\), thus merging the face \(f_{flat, 1}\) into a different, adjacent face f. Denote the transformed graph by \(\Gamma '_1\). The topological spaces obtained by gluing a disc to \(\Gamma '\) along \(f_{flat,1}\) and an annulus (disc) along f, and by gluing an annulus (disc) to \(\Gamma '_1\) along f are homeomorphic. Thus, the oriented surface obtained from \(\Gamma '_1\) by gluing annuli to \(f'_1, \dots , f'_n\) and disks to the faces in \((F' \cap L') \setminus \left\{ f_{flat, 1} \right\} \) is homeomorphic to S.
Then choose another face \(f_{flat, 2}\) in \((F' \cap L') \setminus \left\{ f_{flat, 1} \right\} \). The graph \(\Gamma '_1\) remains connected, and by the same argument as for \(e_1\), there is an edge \(e_2\) adjacent to \(f_{flat,2}\) and some other face. Remove \(e_{2}\) and thus \(f_{flat, 2}\) from \(\Gamma '_1\) to obtain a graph \(\Gamma '_2\) with face set \(F' \setminus \left\{ f_{flat, 1}, f_{flat, 2} \right\} \). The oriented surface obtained from \(\Gamma '_2\) by gluing annuli to \(f'_1, \dots , f'_n\) and disks to the faces in \((F' \cap L') \setminus \left\{ f_{flat,1}, f_{flat, 2} \right\} \) is again homeomorphic to S. Repeat this procedure for all remaining faces in \((F' \cap L') \setminus \left\{ f_{flat, 1}, f_{flat, 2} \right\} \).
The resulting graph \(\Gamma ''\) is a subgraph of \(\Gamma '\) with n faces, and the oriented surface \(S''\) obtained from \(\Gamma ''\) by gluing annuli to its faces is homeomorphic to S. Denote the associated FockRosly space by \(F\!R''\).
To the transformation \(\Gamma ' \rightarrow \Gamma ''\) we associate a Poisson map \(F\!R' \rightarrow F\!R''\) as follows. Denote by \(F\!R'_i\) the FockRosly space associated to the graph \(\Gamma '_i\), which we obtain by removing the edges \(e_1, \dots , e_i\) from \(\Gamma '\). Set \(F\!R'_0 := F\!R'\) and let \(\phi _i: F\!R_{i1}' \rightarrow F\!R'_i\) be the map from Eq. (13) associated with erasing the edge \(e_i\). There is a right inverse \(\psi _i: F\!R'_i \rightarrow F\!R'_{i1}\) of \(\phi _i\) that is uniquely defined by
It satisfies \(\pi _e \circ \psi _i = \pi _e\) for all edges e of \(\Gamma '_{i1}\) other than \(e_i\). This implies
A direct computation shows:
By composing the maps \(\phi _i\), we obtain the map \(\phi : F\!R' \rightarrow F\!R''\) that satisfies
where \(\pi ''_e, \pi '_e\), respectively, are the projections on the component of \(F\!R'', F\!R'\) that is associated with the edge e. By Proposition 2.31, this is a Poisson map and it intertwines the Poisson actions \(\rhd _v^{F\!R}\) for \(v \in V' = V''\). It therefore induces a homomorphism of Poisson algebras
By composing the right inverses \(\psi _i\) we obtain a right inverse \(\psi : F\!R'' \rightarrow F\!R'\) of \(\phi \). Equations (85) and (87) imply that \(\psi (F\!R'') \subseteq F\!R'_{L'}\). Together with Eq. (88) this implies that the map \(\psi \) induces a map
A direct computation shows that the map \(\phi _i : F\!R'_{i1} \rightarrow F\!R'_i\) associated with erasing the edge \(e_i\) satisfies for all \(\gamma \in F\!R'_{i1}\) with \({{\,\mathrm{Hol}\,}}_{F\!R}(f_{flat,i}) = 1_G\):
Therefore, one has for all i and \(\gamma \in F\!R'_{L'}\)
Together with Eq. (86) this implies for all i and \(\gamma \in F\!R'_{L'}\)
This implies \(\psi \circ \phi _{F\!R'_{L'}} = \text {id}_{F\!R'_{L'}}\) and the map \(\psi ^*_{/\sim }\) is an inverse to \(\phi ^*_{/\sim }\). This concludes the proof. \(\quad \square \)
Remark 3.32

(i)
Theorem 3.31 implies in particular that the Poisson algebra \({\mathcal {A}}(\Gamma , L)\) does not depend on the graph \(\Gamma \), but only on the homeomorphism class of the oriented surface S obtained by gluing annuli to \(f_1, \dots , f_n\) and disks to all other faces.

(ii)
By Remark 3.11, the Poisson algebra \(\mathcal A(\Gamma ,L)\) corresponds to a subalgebra of the endomorphism algebra of the space \({\mathcal {L}}_L \subseteq H^{\otimes E}\) from (19), which describes a quantum Kitaev model with excitations at the sites \((v_1, f_1), \dots , (v_n, f_n)\). Theorem 3.31 thus relates the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) to a Kitaev model with excitations, and the excitations correspond to the boundary components of S.

(iii)
Alekseev and Malkin have introduced a decoupling transformation for the moduli space of flat Hbundles for a semisimple quasitriangular PoissonLie group H in [5]. Their construction is based on a set of generators of the fundamental group \(\pi _1(S)\) of the compact oriented surface S. They showed that the symplectic structure on the moduli space \({{\,\mathrm{Hom}\,}}(\pi _1(S), H)/H\) can be obtained from the product Poisson manifold
$$\begin{aligned} (H^*)^{n} \times {\mathcal {H}}(H)^{g} \, . \end{aligned}$$It consists of a copy of the dual PoissonLie group \(H^*\) for each of the n boundary components of S and g copies of the Heisenberg double \({\mathcal {H}}(H)\) of H (Definition 2.21), where g is the genus of S [5, Theorem 2]. If \(H= G\) is a global double PoissonLie group, then we obtain the symplectic structure on \({{\,\mathrm{Hom}\,}}(\pi _1(S), G)/G\) from the product Poisson manifold \(K= G_{\mathcal {H}}^{\times E}\) by Theorem 3.31. This can be viewed as a generalization of the decoupling transformation from [5] to paired doubly ciliated ribbon graphs. Note that we do not require G to be semisimple, but that G is a global double.
That each boundary component of S is associated with a copy of \(G^*\) can also be seen for PoissonKitaev models. Let (v, f) be one of the selected sites \((v_1, f_1), \dots , (v_n, f_n)\) from Theorem 3.31 that corresponds to a boundary component of the surface S. In Proposition 3.25 (iii) we have shown that the combined holonomy around the site (v, f) is a Poisson map \({{\,\mathrm{Hol}\,}}^{(v,f)} : K \rightarrow (G, w_{G^*})\). By Lemma 2.22 there is a Poisson map \(G^* \rightarrow (G, w_{G^*})\) that is a local diffeomorphism in a neighbourhood of the unit \(1_{G^*}\).
Notes
These points are discussed in Remark 3.32.
G is required to be a reductive complex Lie group in [20]. However, the proof presented there is applicable to any (real) Lie group with a nondegenerate symmetric \({{\,\mathrm{Ad}\,}}\)invariant bilinear form.
This is a special case of the transformation from [20] that contracts an edge.
The authors of [13] additionally require H to be a Hopf \(*\)algebra. However, this is not required to define the structures needed in this article.
References
Alekseev, A., Schomerus, V.: Representation theory of Chern–Simons observables. Duke Math. J. 85(2), 447–510 (1996)
Alekseev, A.Y., Grosse, H., Schomerus, V.: Combinatorial quantization of the Hamiltonian Chern–Simons theory I. Commun. Math. Phys. 172, 317–358 (1995)
Alekseev, A.Y., Grosse, H., Schomerus, V.: Combinatorial quantization of the Hamiltonian Chern–Simons theory II. Commun. Math. Phys. 174, 561–604 (1996)
Alekseev, A.Y., Malkin, A.Z.: Symplectic structures associated to LiePoisson groups. Commun. Math. Phys. 162(1), 147–173 (1994)
Alekseev, A.Y., Malkin, A.Z.: Symplectic structure of the moduli space of flat connection on a Riemann surface. Commun. Math. Phys. 169(1), 99–119 (1995)
Atiyah, M.F., Bott, R.: The YangMills equations over Riemann surfaces. Philos. Trans. Royal Soc. London. Ser. A, Math. Phys. Sci. 308(1505), 523–615 (1983)
Babelon, O., Bernard, D., Talon, M.: Introduction to Classical Integrable Systems, Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge (2003)
Balsam, B., Kirillov, Jr A.:. TuraevViro invariants as an extended TQFT. arXiv:1004.1533 (2010)
Balsam, B., Kirillov, Jr A.: Kitaev’s Lattice Model and TuraevViro TQFTs. arXiv:1206.2308 (2012)
Barrett, J., Westbury, B.: Invariants of piecewiselinear 3manifolds. Trans. Am. Math. Soc. 348(10), 3997–4022 (1996)
Bombin, H., MartinDelgado, M.A.: Family of nonabelian Kitaev models on a lattice: Topological condensation and confinement. Phys. Rev. B 78(11), 115421 (2008)
Buerschaper, O., Aguado, M.: Mapping Kitaev’s quantum double lattice models to Levin and Wen’s stringnet models. Phys. Rev. B 80, 155136 (2009)
Buerschaper, O., Mombelli, J.M., Christandl, M., Aguado, M.: A hierarchy of topological tensor network states. J. Math. Phys. 54, 012201 (2013)
Buffenoir, E., Roche, P.: Two dimensional lattice gauge theory based on a quantum group. Commun. Math. Phys. 170(3), 669–698 (1995)
Buffenoir, E., Roche, P.: Link invariants and combinatorial quantization of hamiltonian Chern Simons theory. Commun. Math. Phys. 181(2), 331–365 (1996)
Chari, V., Pressley, A.: A Guide to Quantum Groups. Cambridge University Press, Cambridge (1994)
Drinfeld, V.G.: Hamiltonian structures of Lie groups, Lie bialgebras and the geometric meaning of the classical Yang–Baxter equations. Soviet Math.  Doklady 27, 68–71 (1983)
Drinfeld, V.G.: Quantum groups. J. Soviet Math. 41(2), 898–915 (1988)
EllisMonaghan, J.A., Moffatt, I.: Graphs on Surfaces: Dualities, Polynomials and Knots. Springer, Berlin (2013)
Fock, V.V., Rosly, A.A.: Poisson structure on moduli of flat connections on Riemann surfaces and \(r\)matrix. Am. Math. Soc. Trans. 191, 67–86 (1999)
Goldman, W.M.: The symplectic nature of fundamental groups of surfaces. Adv. Math. 54(2), 200–225 (1984)
Goldman, W.M.: Invariant functions on Lie groups and Hamiltonian flows of surface group representations. Invent. Math. 85(2), 263–302 (1986)
Kitaev, A.: Faulttolerant quantum computation by anyons. Ann. Phys. 303, 2–30 (2003)
Lando, S.K., Zvonkin, A.K.: Graphs on Surfaces and Their Applications. Springer, Berlin (2004)
Levin, M.A., Wen, X.G.: Stringnet condensation: A physical mechanism for topological phases. Phys. Rev. B 71, 045110 (2005)
Lu, J.H., Weinstein, A.: Poisson Lie groups, dressing transformations, and Bruhat decompositions. J. Differ. Geom. 31(2), 501–526 (1990)
Meusburger, C.: Kitaev lattice models as a Hopf algebra gauge theory. Commun. Math. Phys. 353, 413–468 (2017)
Meusburger, C., Wise, D. K.: Hopf algebra gauge theory on a ribbon graph. arXiv:1512.03966 (2015)
Montgomery, S.: Hopf Algebras and Their Actions on Rings. Number 82 in CBMS Regional Conference Series in Mathematics. American Mathematical Society (1993)
Reshetikhin, N.Y., SemenovTianShansky, M.A.: Quantum rmatrices and factorization problems. J. Geom. Phys. 5(4), 533–550 (1988)
SemenovTianShansky, M.A.: Dressing transformations and Poisson–Lie group actions. Publ. Res. Inst. Math. Sci. 21(6), 1237–1260 (1985)
SemenovTianShansky, M.A.: Poisson–Lie groups. The quantum duality principle and the twisted quantum double. Theor. Math. Phys. 93(2), 1292–1307 (1992)
Turaev, V.G., Viro, O.Y.: State sum invariants of 3manifolds and quantum 6jsymbols. Topology 31(4), 865–902 (1992)
Weinstein, A., Xu, P.: Classical solutions of the quantum Yang–Baxter equation. Commun. Math. Phys. 148(2), 309–343 (1992)
Acknowledgements
I am very grateful to my advisor Catherine Meusburger for suggesting this topic and questions to investigate, for our numerous discussions, and for her comments that greatly improved this manuscript. Thomas Voß deserves my thanks for our insightful discussions about the similarities and differences between quantum and Poissongeometrical Kitaev models. I also thank Studienstiftung des deutschen Volkes e. V. for granting me a scholarship, which made this article possible. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through the Department of Innovation, Science and Economic Development and by the Province of Ontario through the Ministry of Research and Innovation.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
Ethics declarations
Funding
This research was funded partially by FriedrichAlexanderUniversität ErlangenNürnberg and by Studienstiftung des deutschen Volkes e.V. It was also partially funded by Perimeter Institute for Theoretical Physics.
Conflicts of interest/Competing interests.
None.
Availability of data and material.
Not applicable.
Code availability.
Not applicable.
Author’s contributions
Alexander Spies is the sole author of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by C. Schweigert.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Spies, A. Poissongeometric Analogues of Kitaev Models. Commun. Math. Phys. 383, 345–400 (2021). https://doi.org/10.1007/s00220021039925
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220021039925