ITEP-TH-15/00 Hamiltonian Algebroids and deformations of complex structures on Riemann curves February 7, 2008 A.M.Levin 3 0 Institute of Oceanology, Moscow, Russia, 0 e-mail [email protected] 2 M.A.Olshanetsky n Institute of Theoretical and Experimental Physics, Moscow, Russia, a J e-mail [email protected] 3 1 Abstract 1 v Starting with a Lie algebroidA over a space M we lift its action to the canonical trans- 8 ∗ formations on the affine bundle R over the cotangent bundle T M. Such lifts are classified 7 by the first cohomologyH1(A). The resulting object is a Hamiltonian algebroidAH overR 0 1 withtheanchormapfromΓ(AH)toHamiltoniansofcanonicaltransformations. Hamiltonian 0 algebroids generalize Lie algebras of canonical transformations. We prove that the BRST 3 operator for AH is cubic in the ghost fields as in the Lie algebra case. The Poisson sigma 0 modelisanaturalexampleofthisconstruction. Canonicaltransformationsofitsphasespace / h define a Hamiltonianalgebroidwith the Lie bracketsrelatedto the Poissonstructure onthe -t target space. We apply this scheme to analyze the symmetries of generalized deformations p of complex structures on Riemann curves Σ of genus g with n marked points. We endow g,n e the spaceoflocalGL(N,C)-operswiththeAdler-Gelfand-Dikii(AGD)Poissonbrackets. Its h : allowsustodefineaHamiltonianalgebroidoverthephasespaceofWN-gravityonΣg,n. The v sections of the algebroid are Volterra operators on Σ with the Lie brackets coming from i g,n X the AGD bivector. The symplectic reduction defines the finite-dimensional moduli space of r WN-gravityandinparticularthemodulispaceofthecomplexstructures∂¯onΣg,n deformed a by the Volterra operators. Contents 1 Introduction 2 2 Hamiltonian algebroids and groupoids 4 2.1 Lie algebroids and groupoids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Lie algebroid representations and Lie algebroid cohomology . . . . . . . . . . . . 5 2.3 Hamiltonian algebroids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.4 Symplectic affine bundles over cotangent bundles . . . . . . . . . . . . . . . . . . 9 2.5 Hamiltonian algebroids related to Lie algebroids . . . . . . . . . . . . . . . . . . 10 2.6 Reduced phase space and its BRST description . . . . . . . . . . . . . . . . . . . 11 1 3 Hamiltonian algebroids and Poisson sigma-model 13 3.1 Cotangent bundles to Poisson manifolds as Lie algebroids . . . . . . . . . . . . . 13 3.2 Poisson sigma-model and Hamiltonian algebroids . . . . . . . . . . . . . . . . . . 14 3.3 BRST construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 4 Two examples of Hamiltonian algebroids with Lie algebra symmetries 15 4.1 Flat bundles with the regular singularities . . . . . . . . . . . . . . . . . . . . . . 16 4.2 Projective structures on Σ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 g,n 5 Hamiltonian algebroid structure in W -gravity 21 3 5.1 SL(N,C)-opers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 5.2 Local Lie algebroid over SL(3,C)-opers . . . . . . . . . . . . . . . . . . . . . . . . 22 5.3 Lie algebroid over SL(3,C)-opers . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 5.4 Hamiltonian algebroid over W -gravity . . . . . . . . . . . . . . . . . . . . . . . . 25 3 5.5 Chern-Simons derivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 6 W -gravity and general deformations of complex structures 28 N 6.1 Local AGD algebroid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 6.2 Poisson sigma-model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 6.3 Global algebroid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 7 Concluding Remarks 32 Acknowledgments 32 References 32 1 Introduction Lie groups by no means exhaust symmetries in gauge theories. Their importance is related to the natural geometric structures defined by a group action in accordance with the Erlanger program of F.Klein. The first class constraints in Hamiltonian systems generate the canonical transformations of the phase space which generalize the Lie group actions [1]. There exists a powerful approach to treat such types of structures. It is the BRST method that is applicable in Hamiltonian and Lagrangian forms [2]. The BRST operator corresponding to arbitrary first class constraints acquires the most general form. An intermediate step in this direction is the canonical transformations generated by the quasigroups [3, 4]. The BRST operator for the quasigroup action has the same form as for the Lie group case. Hereweconsiderthequasigroupsymmetriesconstructedbymeansofspecialtransformations of the ”coordinate space” M. These transformations along with the coordinate space M define theLiegroupoids,ortheirinfinitesimalversion-theLiealgebroidsA[5,6]. Weliftthealgebroid action from M to the cotangent bundle T∗M, or, more generally, to the principle homogeneous space R over the cotangent bundle T∗M. We call this bundle the Hamiltonian algebroid AH related to the Lie algebroid A. The Hamiltonian algebroid is an analog of the Lie algebra of symplectic vector fields with respect to the canonical symplectic structure on R or T∗M. The lifts from M to R’s are classified by the first cohomology group H1(A). We prove that the BRST operator of AH has the same structure as for the Lie algebras transformations. 2 The general example of this construction is the Poisson sigma-model [7, 8]. The Lie brackets of the Hamiltonian algebroid over the phase space of the Poisson sigma-model are defined by the Poisson bivector on the target space M. Ourmaininterestliesintopological fieldtheories, wherethefactorization withrespecttothe canonical gauge transformations may lead to generalized deformations of corresponding moduli spaces. We apply this scheme to analyze the moduli space of deformations of the complex structures on Riemann curves of genus g with n marked points Σ by differential operators of g,n finite order, or equivalently by the Volterra operators. To define the deformations we start with the space M of SL(N,C)-opers over Σ [9, 10], N g,n and define a Lie algebroid A over M . The Lie brackets on the space of sections Γ(A ) N N N are derived from the Adler-Gelfand-Dikii brackets for the local opers over a punctured disk D∗ [11, 12]. In this way the set of the local opers serves as the target space of the Poisson sigma- model. The space M of SL(2,C)-opers is the space of the projective structures on Σ and the 2 g,n Lie algebroid A leads to the Lie algebra of vector fields on Σ . The case N > 2 is more subtle 2 g,n and we deal with a genuine Lie algebroids since differential operators of order greater than one do not form a Lie algebra with respect to the standard commutator. The AGD brackets define a new commutator on Γ(A ) that depends on the projective structure and higher spin fields. N In other words, for N > 2 we deal with the structure functions rather than with the structure constants. The space M of SL(N,C)-opers can be considered as a configuration space of W -gravity N N [13, 14, 15]. The whole phase space R of W -gravity is the affinization of the cotangent N N bundle T∗M . Its sections define the deformations of the operator ∂¯by the Volterra operators. N The canonical transformations of R are sections of the Hamiltonian algebroid AH over R . N N N The symplectic quotient of the phase space is the so-called W -geometry of Σ . Roughly N g,n speaking, this space is a combination of the moduli of generalized complex structures and the spin2 ...,spinN fieldsasthedualvariables. TodefinetheW -geometryweconstructtheBRST N operator for the Hamiltonian algebroid. As it follows from the general construction, it has the same structure as in the Lie algebra case. We consider in detail the simplest nontrivial case N = 3. Itis possiblein this case to describeexplicitly the sections of the algebroid as thesecond order differential operators, instead of Volterra operators. Thisalgebroid is generalization of the Liealgebravector fieldson Σ . ItshouldbenotedthattheBRSToperatorfor theW -algebras g,n 3 was constructed in [18]. But here we construct the BRST operator for the different object - the algebroid symmetries of W -gravity. Recently, another BRST description of W-symmetries was 3 proposed in Ref.[19]. We explain our formulae and the origin of the algebroid by the special gauge procedure of the SL(N,C) Chern-Simons theory using an approach developed in Ref.[14]. The paper is organized as follows. In the next section we define the general Hamiltonian algebroids, their cohomolgies and the BRST construction. We also introduce a special class of Hamiltonian algebroids related to Lie algebroids and prove that the BRST has the Lie algebraic form. In Section 3 we treat the Poisson sigma model and its symmetries as a Hamiltonian algebroid related to a Lie algebroid. In Section 4 we consider two examples of our construction when the algebroids coincide with Lie algebras. Namely, we analyze the moduli space of flat SL(N,C)-bundles and the moduli of projective structures on Σ . A nontrivial example of this g,n construction is W -gravity. It is considered in detail in Section 5. The general case W is 3 N analyzed in Section 6. 3 2 Hamiltonian algebroids and groupoids 2.1 Lie algebroids and groupoids We start with a brief description of Lie algebroids and Lie groupoids. Details of this theory can be found in [4, 5, 6]. Definition 2.1 A Lie algebroid over a differential manifold M is a vector bundle A → M with a Lie algebra structure on the space of its sections Γ(A) defined by the Lie brackets ⌊ε ,ε ⌋, 1 2 ε ,ε ∈ Γ(A) and a bundle map (the anchor) δ : A → TM, satisfying the following conditions: 1 2 (i) For any ε ,ε ∈ Γ(A) 1 2 [δ ,δ ] = δ , (2.1) ε1 ε2 ⌊ε1ε2⌋ (ii) For any ε ,ε ∈ Γ(A) and f ∈ C∞(M) 1 2 ⌊ε ,fε ⌋= f⌊ε ,ε ⌋+(δ f)ε . (2.2) 1 2 1 2 ε1 2 In other words, the anchor defines a representation of Γ(A) in the Lie algebra of vector fields on M. The second condition is the Leibnitz rule with respect to the multiplication of the sections by smooth functions. Let {ej(x)} be a basis of local sections Γ(A). Then the brackets are defined by the structure jk functions f (x) of the algebroid i ⌊ej,ek⌋ = fjk(x)ei, x ∈ M. (2.3) i Using the Jacobi identity for the anchor action, we find Cn δ = 0, (2.4) j,k,m en where Cjnkm = fijk(x)fnim(x)+δemfnjk(x)+c.p.(j,k,m).1 (2.5) Thus, (2.4) implies the anomalous Jacobi identity (AJI) fijk(x)fnim(x)+δemfnjk(x)+c.p.(j,k,m) = 0. (2.6) Here are some examples of Lie algebroids. 1)If the anchor is trivial, then A is just a bundle of Lie algebras. 2)Consider an integrable system that has the Lax representation ∂ L = [L,M]. t The Lax operator L belongs to some subvariety M of an ambient space R. In many cases it is a Lie coalgebra. The second operator M defines the tangent vector field to M. The operators M are sections of the Lie algebroid A over M with the anchor determining by the Lax equation. M In the similar way the dressing transformations are sections of the algebroid over M [20]. 3) Lie algebroids can be constructed from Lie algebras. Let G be a Lie group that act on a space S and P is subgroup of G. Consider the set of orbits M = S/P. For x ∈ M we have the decomposition the tangent space T S = T M ⊕T O , (2.7) x x x P 1The sums overrepeated indices are understood throughout the paper. 4 where O is the orbit of P containing x. Let ǫ be an element of the Lie algebra G and Pr be P P the projection on the second term in (2.7). Impose the following condition on the vector field δ ǫ Pr δ (x) = 0 (2.8) P ǫ The subspace of the Lie algebra G that satisfy this condition is the set of the sections of the Lie algebroid A (G). The anchor is defined by the first term in (2.7). The commutators on the M sections is the commutators of G. In a generic case a Lie algebroid can be integrated to a global object - the Lie groupoid [3, 4, 5, 6]. Definition 2.2 A Lie groupoid G over a manifold M is a pair of differential manifolds (G,M), two differential mappings l,r : G → M and a partially defined binary operation (a product) (g,h) 7→ g·h satisfying the following conditions: (i) It is defined only when l(g) = r(h). (ii) It is associative: (g·h)·k = g·(h·k) whenever the products are defined. (iii) For any g ∈ G there exist the left and right identity elements l and r such that l ·g = g g g g·r = g. g (iv) Each g has an inverse g−1 such that g·g−1 = l and g−1·g = r . g g We denote an element of g ∈ G by the triple << x|g|y >>, where x= l(g), y = r(g). Then the product g·h is g·h→<< x|g·h|z >>=<<x|g|y >><<y|h|z >> . An orbit of the groupoid in the base M is defined as an equivalence x∼ y if x= l(g), y = r(g). The isotropy subgroup G for x∈ M is defined as x G = {g ∈ G | l(g) = x= r(g)} ∼ {<< x|g|x >>}. x The Lie algebroid is a local version of the Lie groupoid. The anchor is determined in terms of the multiplication law. Details can be found in [3]. 2.2 Lie algebroid representations and Lie algebroid cohomology The definition of algebroids representations is rather evident: Definition 2.3 A vector bundle representation (VBR) (ρ,M) of the Lie algebroid A over M is a vector bundle M over M and a map ρ from A to the bundle of differential operators on M of the order less or equal to 1 Diff ≤1(M,M), such that: (i) the symbol of ρ(ε) is a scalar equal to the anchor of ε: Symb(ρ(ε)) = Id δ , M ε (ii) for any ε ,ε ∈ Γ(A) 1 2 [ρ(ε ),ρ(ε )] = ρ(⌊ε ε ⌋), (2.9) 1 2 1 2 where the l.h.s. denotes the commutator of differential operators. For example, the trivial bundle is a VBR representation (the map ρ is the anchor map δ), 5 Consider a small disk U ⊂ M with local coordinates x= (x ,...,x ,...). Then the anchor α 1 a can be written as ∂ δ δ = bj(x) = hbj| i.2 (2.10) ej a ∂x δx a Let w be a section of the tangent bundle TM. Then the VBR on TM takes the form δ δ ρ w = hbj| wi−h bj|wi. (2.11) ej δx δx Similarly, the VBR the action of ρ on a section p of T∗M is δ ρ p = hp|bj(x)i. (2.12) ej δx We drop a more general definition of the sheaf representation. Now we define cohomology groups of algebroids. First, we consider the case of contractible base M. Let A∗ be a bundle over M dual to A. Consider the bundle of graded commutative algebras ∧•A∗. The space Γ(M,∧•A∗) is generated by the sections η : hη |eki = δk. It is a k j j graded algebra 1 Γ(M,∧•A∗) = ⊕A∗ , A∗ = {c (x) = c (x)η ...η , x∈ M}. n n n n! j1,...,jn j1 jn Define the Cartan-Eilenberg operator “dual” to the brackets ⌊,⌋ sc (x;e1,...,en,en+1)= (−1)i−1δ c (x;e1,...,eˆi,en)− n ei n − (−1)i+jc (x;⌊ei,ej⌋,...,eˆj,...,eˆi,...,en). (2.13) n j<i X It follows from (2.1) and AJI (2.6) that s2 = 0. Thus, s determines a complex of bundles A∗ → ∧2A∗ → ···. The cohomology groups of this complex are called the cohomology groups of algebroid with trivial coefficients. This complex is a part of the BRST complex derived below. The action of the coboundary operator s takes the following form on the lower cochains: sc(x;ε) = δ c(x), (2.14) ε sc(x;ε ,ε ) = δ c(x;ε )−δ c(x;ε )−c(x;⌊ε ,ε ⌋), (2.15) 1 2 ε1 2 ε2 1 1 2 sc(x;ε ,ε ,ε )= δ c(x;ε ,ε )−δ c(x;ε ,ε ) (2.16) 1 2 3 ε1 2 3 ε2 1 3 +δ c(x;ε ,ε )−c(x;⌊ε ,ε ⌋,ε )+c(x;⌊ε ,ε ⌋,ε )−c(x;⌊ε ,ε ⌋,ε ). ε3 1 2 1 2 3 1 3 2 2 3 1 It follows from (2.14) that H0(A,M) is isomorphic to the invariants in the space C∞(M). The next cohomology group H1(A,M) is responsible for the shift of the anchor action: δˆ f(x)= δ f(x)+c(x;ε), sc(x;ε) = 0. (2.17) ε ε Ifc(x;ε) is acocycle (see(2.15)), then thisaction isconsistent withthedefininganchor property (2.1). The action (2.17) on Ψ = expf(x) takes the form δˆ Ψ = (δ +c(x;ε))Ψ(x). (2.18) ε ε 2The brackets h|i mean summations over all indices, taking a traces, integrations, etc. 6 This formula defines a “new” structure of VBR on the trivial line bundle. Let M˜ = M/G be the set of orbits of the groupoid G on its base M. The condition δˆ Ψ = 0 (2.19) ε defines a linear bundle L(M˜) over M˜. Two-cocycles c(x;ε ,ε ) allow to construct the central extensions of brackets on Γ(A) 1 2 ⌊(ε ,k ),(ε ,k )⌋ = (⌊ε ,ε ⌋,c(x;ε ,ε )). (2.20) 1 1 2 2 c.e. 1 2 1 2 The cocycle condition (2.16) means that the new brackets ⌊ , ⌋ satisfies AJI (2.6). The exact c.e. cocycles leads to the splitted extensions. If M is not contractible the definition of cohomology group is more complicated. We sketch the Cˆech version of it. Choose an acyclic covering U . Consider the Cˆech complex with coeffi- α cients in •(A∗) corresponding to this covering: V Γ(U , •(A∗)) −d→ Γ(U , •(A∗)) −d→ ··· α αβ M ^ M ^ The Cˆech differential d commutes with the Cartan-Eilenberg operator s, and cohomology of algebroid are cohomology of normalization of this bicomplex : d s  −d s  Γ(U ,A∗) −d→,s Γ(U ,A∗)⊕ Γ(U ,A∗) −→ α 0 αβ 0 α 1   M M M Γ(U ,A∗)⊕ Γ(U ,A∗)⊕ Γ(U ,A∗) −→ ··· . αβγ 0 αβ 1 α 2 The cochains ci,jM∈ Γ(UM ,A∗) are bMigraded. The differential maps ci,j to α1α2···αj α1α2···αj i (−1)jdci,j +sci,j, has type (i,j +1) for (−1)jdci,j and (i+1,j) for sci,j. L Again, the group H0(A,M) is isomorphic to the invariants in the whole space C∞(M). Consider the next group H(1)(A,M). It has two components (c (x,ε),c (x)). They are characterized by the following conditions (see (2.15)) α αβ c (x;⌊ε ,ε ⌋) = δ c (x;ε )−δ c (x;ε ), α 1 2 ε1 α 2 ε2 α 1 δ c (x) = −c (x;ε)+c (x;ε), (2.21) ε αβ α β c (x) = c (x)+c (x). (2.22) αγ αβ βγ While the first component c (x,ε) comes from the algebroid action on U and define the action α α of the algebroid on the trivial bundle (2.18), the second component determines a line bundle L on M by the transition functions exp(c ). The condition (2.21) shows that the actions on the αβ restriction to U are compatible. αβ Thecontinuation ofthecentralextension(2.20)fromU onM isdefinednowbyH(2)(A,M). α There is an obstacle to this continuations in H(3)(A,M). We do not dwell on this point. 7 2.3 Hamiltonian algebroids We modify the notion of the Lie algebroids in the following way. Let R be a Poisson manifold. Any smooth function h∈ C∞(R) gives rise to a vector field δ x= {x,h}. h The space C∞(R) has the structure of a Lie algebra with respect to the Poisson brackets. In what follows we assume that R is a symplectic manifold with the symplectic form ω. In this case the Poisson brackets {h ,h }= −i dh . 1 2 h1 2 are defined by the internal derivation i of the symplectic form i ω = dh. h h Let AH be a vector bundle over R and assume that the space of sections Γ(AH) is equipped by the Lie brackets ⌊ε ,ε ⌋. 1 2 Definition 2.4 AH is a Hamiltonian algebroid over a Poisson manifold R if there exists a bundle map from AH to the Lie algebra on C∞(R): ε → h , (i.e. fε → fh for f ∈ C∞(R)) ε ε satisfying the following conditions: (i) For any ε ,ε ∈ Γ(AH) 1 2 {h ,h } = h . (2.23) ε1 ε2 ⌊ε1,ε2⌋ (ii) For any ε ,ε ∈ Γ(AH) and f ∈ C∞(R) 1 2 ⌊ε ,fε ⌋ = f⌊ε ,ε ⌋+{h ,f}ε . 1 2 1 2 ε1 2 The both conditions are similar to the defining properties of the Lie algebroids (2.1),(2.2). Remark 2.1 In contrast with the Lie algebroids with the anchor δ , that is a bundle map: ε fε→ fδ , for the Hamiltonian algebroids one has the map to the first order differential operators ε with respect to f fε→ fδ +h δ . hε ε f jk Let f be structure functions of a Hamiltonian algebroid and i Cnj,k,m = fijk(x)fnim(x)+{hem,fnjk(x)}+c.p.(j,k,m). Then the Jacobi identity for the Poisson brackets implies Cnj,k,mhεn = 0. (2.24) j,k,m This identity is similar to (2.4) for Lie algebroids. But now one can add to C the term n j,k,m proportional to E h without the breaking (2.24) (here [,] means the antisymmetrization). [ln] εl Thus, the Jacobi identity for the Poisson algebra of Hamiltonians leads to following identity for the structure functions fijk(x)fnim(x)+{hem,fnjk(x)}+E[jl,nk],mhεl +c.p.(j,k,m) = 0. (2.25) This structure arises in the Hamiltonian systems with the first class constraints [3] and leads to the so-called open algebra of an arbitrary rank (see [1, 2]). The important particular case fijk(x)fnim(x)+{Hεmfnjk(x)}+c.p.(j,k,m) = 0 (2.26) 8 corresponds to the open algebra of rank one similar to the Lie algebroid (2.6). We will call (2.26) a simple anomalous Jacobi identity (SAJI) preservingthe notion AJI for the general form (2.25). In this case the Hamiltonian algebroid can be integrated to the Hamiltonian groupoid. The later is the Lie groupoid with the canonical action with respect to the symplectic form on the base R. 2.4 Symplectic affine bundles over cotangent bundles We shall define Hamiltonian algebroids over cotangent bundles which are a special class of symplectic manifold. There exist a slightly more general symplectic manifolds than cotangent bundles, that we include in our scheme. It is an affinization over a cotangent bundle we are going to define. Let M be a vector space and R is a set with an action of M on R R×M → R: (x,v) → x+v ∈ R. Definition 2.5 The set R is an affinization over M (a principle homogeneous space over M) R/M if the action of M on R is transitive and exact. Inotherwords, forany pairx ,x ∈ Rthereexists v ∈ M suchthatx +v = x , andx +v 6= x 1 2 1 2 1 2 if v 6= 0. This construction is generalized on bundles. Let E be a bundle over M and Γ(U,E) be the linear space of sections in a trivialization of E over some disk U. Definition 2.6 An affinization R/E of E is a bundle over M with the space of local sections Γ(U,R) defined as the affinization over Γ(U,E). Two affinizations R /E and R /E are equivalent if there exists a bundle map compatible with 1 2 theactionofthecorrespondingvectorbundles. Itcanbeprovedthatnon-equivalentaffinizations are classified by H1(M,Γ(E)). Let E = T∗M. Consider a linear bundleL over M. Thespace of connections Conn (L) can M beidentified with thespace of sections R/T∗M. In fact, for any connection ∇ , x∈ U ⊂ M one x can define another connection ∇ +ξ, ξ ∈ Γ(T∗M). The affinization R/T∗M can be classified x by the first Chern class c (L). The trivial bundles correspond to T∗M. 1 The affinization R/T∗M is the symplectic space with the canonical form hdp ∧ dxi. In contrast with T∗M this form is not exact, since pdx is definedonly locally. In the similar way as for T∗M, the space of square integrable sections L2(Γ(L)) plays the role of the Hilbert space in the prequantization of the affinization R/T∗M. For f ∈ R define the Hamiltonian vector field α and the covariant derivative ∇(f) = i ∇ along α . Then the prequantization of R/T∗M f x αf x f is determined by the operators 1 ρ(f) = ∇(f) +f x i acting on the space L2(Γ(L)). In particular, ρ(p) = 1 δ , ρ(x) = x. iδx The basic example, though for infinite-dimensional spaces, is the affinizations over the anti- Higgs bundles. 3 TheantiHiggs bundleH (Σ)is acotangent bundletothespaceof connections N ∇(1,0) = ∂ +A in a vector bundle of rank N over a Riemann curve Σ. The cotangent vector (the antiHiggs field) is sl(N,C) valued (0,1)-form Φ¯. The symplectic form on H (Σ) is N − tr(dΦ¯ ∧dA). The affinizations R(κ)/H (Σ) are the space of connections Σ N R3We use the antiHiggs bundles instead of the standard Higgs bundles for reasons, that will become clear in Sect. 4. 9 (κ∂¯+A¯,∂+A)with thesymplectic form tr(dA∧dA¯), whereκparameterizes theaffinizations. Σ (κ) The elements of the space Conn (L) giving rise to R /H (Σ) are (∂+A) R SL(N) N δΨ ∇Ψ = +κA¯Ψ. (2.27) δA 2.5 Hamiltonian algebroids related to Lie algebroids Now we are ready to introduce an important subclass of Hamiltonian algebroids. They are extensions of the Lie algebroids and share with them SAJI (2.26). Lemma 2.1 The anchor action (2.10) of the Lie algebroid A over M can be lifted to the Hamil- tonian action on R/T∗M such that it defines the Hamiltonian algebroid AH over R. The equiv- alence classes of these lifts are isomorphic to H1(A,M). Proof. Consider a small disk U ⊂ M. The anchor (2.17) has the form α δ δˆ = hbj| i+c(x;ej). (2.28) ej δx Next, continue the action on R/T∗U . We represent the affinization as the space α ConnL(M) = {∇p = δ +p, x∈ U , p ∈ T∗M}. Since L on U is trivialized we can identify δx α α the connections with one-forms p. Let w ∈TM and δΨ ∇pΨ := i ∇pΨ = hw| i+hw|piΨ w w δx be the covariant derivative along w. To lift the action we use the Leibniz rule for the anchor action on the covariant derivatives: δˆ (∇p) Ψ= δˆ (∇pΨ)−∇pδˆ Ψ−∇p Ψ. ej α ej α α ej δˆejα It follows from (2.12) and (2.28) that δ δ δˆ p = − hp|bj(x)i− c(x;ej). (2.29) ej δx δx Note that the second term is responsible for the pass from T∗M to the affinization R, otherwise p is transformed as a cotangent vector (see (2.10)). Thevectorfields(2.28)arehamiltonianwithrespecttothecanonicalsymplecticformhdp|dxi on R. The corresponding Hamiltonians have the linear dependence on ”momenta”: hj = hp|bj(x)i+cj(x). (2.30) Note that hj satisfies the Hamiltonian algebroid property (2.23), since scj(x) = 0 (2.15). We have constructed the Hamiltonians locally and want to prove that this definition is compatible with gluing U and U . Note, that when we glue R| and R| we shift fibers by α β Uα Uβ δcαβ : p = p + δcαβ. Indeed, we glue the bundle L(M) restricted on U by multiplication δx α β δx αβ on expc (x). The connections are transformed by adding the logarithmic derivative of the αβ transition functions. On the other hand, δ c (x) = −c (x;ε)+c (x;ε) (see (2.21)). So ε αβ α β δc hj = hp |bj(x)i+cj(x) = hp + αβ|bj(x)i−δ cj (x)+cj(x;ε) α α α β δx ε αβ β 10