Rankin-Cohen Brackets and the Hopf Algebra of Transverse Geometry
|
|
- Alexia Harper
- 5 years ago
- Views:
Transcription
1 arxiv:math.qa/ v 8 Sep 003 Rankin-Cohen Brackets and the Hopf Algebra of Transverse Geometry Alain Connes Collège de France 3 rue d Ulm Paris, France Henri Moscovici Department of Mathematics The Ohio State University Columbus, OH 4310, USA Dedicated to Pierre Cartier Abstract We settle in this paper a question left open in our paper Modular Hecke algebras and their Hopf symmetry, by showing how to extend the Rankin-Cohen brackets from modular forms to modular Hecke algebras. More generally, our procedure yields such brackets on any associative algebra endowed with an action of the Hopf algebra of transverse geometry in codimension one, such that the derivation corresponding to the Schwarzian derivative is inner. Moreover, we show in full generality that these Rankin-Cohen brackets give rise to associative deformations. Introduction In [1] H. Cohen constructed a collection of bilinear operations on functions on the complex plane, which are covariant with respect to the slash action of PSL(, R) and therefore give rise to bi-differential operators on the graded algebra of modular forms. If f and g denote two modular forms of Research supported by the National Science Foundation award no. DMS
2 weight k and l, the nth Rankin-Cohen bracket of f and g is given (using the normalization in [11]) by the formula [f, g] n := ( )( ) n + k 1 n + l 1 ( 1) r f (r) g (s). (0.1) s r r+s=n Don Zagier later investigated the abstract algebraic structure defined by such bilinear operations [11]. We noticed in [8] that the formulas for the perturbations by inner of the action of the Hopf algebra H 1 of [5] on the modular Hecke algebras were similar to the formulas occuring in Zagier s definition [11] of canonical Rankin-Cohen algebras. This suggested that there should be a close relationship between Rankin-Cohen brackets and actions of the Hopf algebra H 1. We shall show here that this is indeed the case, by exhibiting canonical bilinear operators that generalize the Rankin-Cohen brackets, for any associative algebra A endowed with an action of the Hopf algebra H 1 of [5] for which the Schwarzian derivation δ of [8] is inner, δ (a) = Ωa a Ω, a A. (0.) Such an action of the Hopf algebra H 1 defines the noncommutative analogue of a one-dimensional projective structure, while Ω plays the role of the quadratic differential. We had given in [8] the first term in the deformation as (twice) the fundamental class [F] in the cyclic cohomology PHCHopf ev (H 1), i.e. the class of the cyclic -cocycle F := X Y Y X δ 1 Y Y, (0.3) which in the foliation context represents the transverse fundamental class. Since the antipode S(X) is given by one has S(X) = X + δ 1 Y, (0.4) F = S(X) Y + Y X, and one could reasonably expect the higher brackets to be increasingly more complicated expressions involving S(X), X, Y and Ω, beginning with the first bracket RC 1 (a, b) := S(X)(a) Y (b) + Y (a) X(b), a, b A. (0.5)
3 We shall obtain in this paper the canonical formulas for the higher brackets. As an illustration, the second bracket RC is given by RC (a, b) := S(X) (a) Y ( Y + 1)(b) + S(X) ( Y + 1)(a) X( Y + 1)(b) + Y ( Y + 1)(a) X (b) Y (a) ΩY (Y + 1)(b) Y (Y + 1)(a) ΩY (b) (0.6) The quadratic differential Ω and its higher derivatives X j (Ω) always intervene between polynomial expressions P(S(X), Y )(a) and Q(X, Y )(b). We shall also prove (Theorem 8) that when applied to the modular Hecke algebras they yield a family of associative formal deformations, which in particular incorporate the tangent groupoid deformation. This will be achieved by showing that the canonical formula commutes with the crossed product construction under conditions which are realized for the action of Hecke operators on modular forms, and then relying on the results of []. The commutation with crossed product will in fact uniquely dictate the general formula. We shall show that the general formula is invariant under inner perturbations of the action of the Hopf algebra. In order to obtain the whole sequence of higher components we shall closely follow the method of [11] and []. Passing to the general algebraic context, in the last section we establish (Theorem 10) the associativity of the formal deformations corresponding to the Rankin-Cohen brackets for an arbitrary associative algebra endowed with an action of H 1 such that the derivation corresponding to the Schwarzian derivative is inner. Contents 1 Zero Quadratic Differential 4 Arbitrary Quadratic Differential 8 3 Rankin-Cohen Deformations 16 4 Appendix: Explicit Formulas 6 3
4 1 Zero Quadratic Differential For the clarity of the exposition, we shall first develop the higher Rankin- Cohen brackets for actions of H 1 in the simplified case when the quadratic differential Ω is zero, i.e. when δ = 0. We recall that as an algebra H 1 coincides with the universal enveloping algebra of the Lie algebra with basis {X, Y, δ n ; n 1} and brackets [Y, X] = X, [Y, δ n ] = n δ n, [X, δ n ] = δ n+1, [δ k, δ l ] = 0, n, k, l 1, while the coproduct which confers it the Hopf algebra structure is determined by the identities Y = Y Y, δ 1 = δ δ 1, X = X X + δ 1 Y, together with the property that : H 1 H 1 H 1 is an algebra homomorphism. We let H s be the quotient of H 1 by the ideal generated by δ. The basic lemma is to put the antipode S(X n ) in normal order, i.e. with the δ s first then the X then the Y s. Lemma 1. One has the following identity in H s, S(X n ) = ( 1) n k ( n k where (α) k := α (α + 1)...(α + k 1). ) δ k 1 k Xn k (Y + n k) k Proof. For n = 1 one has S(X) = X + δ 1 Y and the r.h.s. of the formula gives X + δ 1 (Y ). Let us assume that it holds for n and check it for n+1 by multiplication on the left by S(X) = X + δ 1 Y. One has Y δk 1 k Xn k = δ k 1 k Xn k (Y + n) so that the new terms corresponding to δ 1 Y S(X n ) give ( 1) n k ( n k ) δ k+1 1 k+1 Xn k (Y + n)(y + n k) k 4
5 One has [X, δ1 k ] = k δk+1 1 give and ( 1) n+1 k ( n k thus the new terms corresponding to X S(X n ) ) δ k 1 k Xn+1 k (Y + n k) k ( ) ( 1) n+1 k n δ k+1 1 k k+1 Xn k k (Y + n k) k The first of these two expressions can be written as ( ) ( 1) n k n δ k+1 1 k + 1 k+1 Xn k (Y + n k 1) k+1 thus all the term are right multiples of with coefficients ( ) n (Y + n) k n k δk+1 1 ( 1) k+1 Xn k (Y + n k) k ( ) n k + k but this is the same as ( ( ) ( ) ) n n + (Y + n) + (n k) k k + 1 ( ) n + 1 = (Y + n) k + 1 ( ) n (Y + n k 1) k + 1 ( ) n k ( ) n (k + 1) k + 1 The content of Lemma 1 can be written using the generating function Φ(X)(s) := s n X n Γ(Y + n) 1 n! (1.1) as the equality, Φ(X Z Y )(s) = e s Z Φ(X)(s) (1.) under the only assumption that the operators X, Y, Z fulfill, [Y, X] = X, [Y, Z] = Z, [X, Z] = 1 Z, (1.3) 5
6 Expanding the tensor product Φ(S(X))(s) Φ(X)(s) = s n RC Hs n (Γ(Y + n) Γ(Y + n)) 1 (1.4) dictates the following formula for the higher Rankin-Cohen brackets for an action of H s on an algebra A, RC n (x, y) := n k=0 ( S(X)k k! (Y +k) n k )(x)( Xn k (n k)! (Y +n k) k)(y) (1.5) The main preliminary result then is the following. Lemma. Let the Hopf algebra H 1 act on an algebra A and u A be invertible and such that, X(u) = 0, Y (u) = 0, δ 1 (u 1 δ 1 (u)) = 0, δ (u) = For all values of n, RC n (xu, y) = RC n (x, u y) x, y A 0. For all x, y A, RC n (u x, y) = u RC n (x, y), RC n (x, y u) = RC n (x, y) u 3 0. Let α be the inner automorphism implemented by u one has, RC n (α(x), α(y)) = α(rc n (x, y)) x, y A Proof. For x A let L x be the operator of left multiplication by x in A. One has X L u = L u ( X L ν Y ) (1.6) where ν := u 1 δ 1 (u) = δ 1 (u 1 )u. Moreover Y (ν) = ν, X(ν) = 1 ν. so that the operators X, Y, Z := L ν fulfill (1.3) and by (1.) Φ(X L ν Y )(s) = L e s ν Φ(X)(s) (1.7) 6
7 One has (S(X)) = S(X) S(X) + Y δ 1 and using R x for right multiplication by x A, S(X) R u = R u ( S(X) R ν Y ) (1.8) where ν := uδ 1 (u 1 ). Moreover δ 1 (ν ) = 0 and Y (ν ) = ν, S(X)(ν ) = 1 (ν ), so that S(X), Y, R ν fulfill (1.3) and by (1.) Φ(S(X) R ν Y )(s) = R e s ν Φ(S(X))(s) (1.9) Since u ν = ν u we get 1 0 using (1.4) and the commutation of Y with L u and R u. Statement 0 follows from the commutation of R u with X and Y, while 3 0 follows from 1 0 and 0. Let us compute the above brackets for small values of n. We shall express them as elements RCn Hs H s H s. For n = 1 we get RC Hs 1 = S(X) Y + Y X which is times the transverse fundamental class F (defined in (0.3)). For n = we get RC Hs = 1 S(X) ( Y )( Y + 1) + S(X) ( Y + 1) X ( Y + 1) + 1 ( Y )( Y + 1) X. For n = 3 we get RC Hs 3 = 1 6 S(X)3 ( Y )( Y + 1)( Y + ) + 1 S(X) ( Y + ) X ( Y + 1)( Y + ) + 1 S(X) ( Y + 1) ( Y + ) X ( Y + ) ( Y )( Y + 1) ( Y + ) X3. 7
8 Arbitrary Quadratic Differential Let us now pass to the general case where we assume that H 1 acts on an algebra A and that the derivation δ is inner implemented by an element Ω A so that, δ (a) = Ωa a Ω, a A (.1) where we assume, owing to the commutativity of the δ k, It follows then that δ k (Ω) = 0, k N (.) δ k (X j (Ω)) = 0, k, j N (.3) so that by (.1), Ω commutes with all X j (Ω) and the algebra P A generated by the X j (Ω) is commutative, while both Y and X act as derivations on P. To understand how to obtain the general formulas we begin by computing in the above case (Ω = 0) how the formulas for RC n get modified by a perturbation of the action of the form Y Y, X X + µ Y, δ 1 δ 1 + ad(µ) (.4) where Y (µ) = µ and δ n (µ) = 0 for all n. The computation shows that RC 1 is unchanged, while RC (a, b) gets modified by the following term, δrc (a, b) = Y (a) ΩY (Y + 1)(b) + Y (Y + 1)(a) ΩY (b) (.5) where Ω := X(µ)+ 1 µ. Note that the perturbed action fulfills (.1) for that value of Ω. This already indicates that in the general case the full formula for RC (a, b) should be RC (a, b) := S(X) (a) Y ( Y + 1)(b) + S(X) ( Y + 1)(a) X( Y + 1)(b) + Y ( Y + 1)(a) X (b) Y (a) ΩY (Y + 1)(b) Y (Y + 1)(a) ΩY (b) so that the above perturbation then leaves RC unaffected. 8
9 In order to obtain the general formulas, we consider the algebra L(A) of linear operators in A. For a A we use the short hand notation a := L a, a o := R a for the operators of left and right multiplication by a when no confusion can arise. We define by induction elements B n L(A) by the equation B n+1 := X B n n Ω (Y n 1 )B n 1 (.6) while B 0 := 1 and B 1 := X. The first values for the B n are the following, B = X ΩY and B 3 = X 3 ΩX (3Y + 1) X(Ω) Y B 4 = X 4 ΩX (6Y + 4) X(Ω) X (4Y + 1) X (Ω) Y + 3 Ω Y (Y + 1) Let us define more generally for any two operators Z and Θ acting linearly in A and fulfilling [Y, Z] = Z, [Y, Θ] = Θ the sequence of operators, C 0 := 1, C 1 := Z, and the series, C n+1 := Z C n n Θ (Y n 1 )C n 1 (.7) Φ(Z, Θ)(s) := s n C n n! Γ(Y + n) 1 Lemma 3. Φ is the unique solution of the differential equation s( d ds ) Φ (Y 1) d ds Φ + Z Φ s Θ Φ = 0 which fulfills the further conditions, Φ(0) = Γ(Y ) 1, d Φ(0) = Z Γ(Y + 1) 1 ds 9
10 Proof. One has so that but by (.6) d ds Φ = s n C n+1 Γ(Y + n + 1) 1 n! s( d ds ) Φ = s n C n+1 n! (Y 1) d ds Φ = s n C n+1 n! n Γ(Y + n + 1) 1 (Y + n) Γ(Y + n + 1) 1 (n (Y + n))γ(y + n + 1) 1 = Γ(Y + n) 1 s( d ds ) Φ (Y 1) d ds Φ = s n C n+1 n! C n+1 = ZC n n Θ (Y n 1 the first term gives -Z Φ while the second gives, Γ(Y + n) 1 )C n 1 which equals Θ s n C n 1 n! (n (Y + n 1 ))Γ(Y + n) 1 s Θ s n C n n! (Y + n)γ(y + n + 1) 1 = s Θ Φ Let now µ be an operator in A such that [Θ, µ] = 0, [Y, µ] = µ, [[Z, µ], µ] = 0 (.8) we let Ψ(s) := e s µ Φ(Z, Θ)(s) Lemma 4. Ψ(s) satisfies the following differential equation s( d ds ) Ψ (Y 1) d ds Ψ + (Z + µ Y ) Ψ s (Θ + [Z, µ] + µ )Ψ = 0 10
11 Proof. One has d ds Ψ = µ Ψ + e s µ d ds Φ s( d ds ) Ψ = s µ 4 Ψ + s µ e s µ d ds Φ + e s µ d s( ds ) Φ (Y 1) d ds Ψ = µ Y Ψ + s µ e s µ d ds Φ + e s µ d (Y 1) ds Φ where for the last equality we used [Y, µ] = µ to get thus, [Y, e s µ s µ ] = s µ e (s( d ds ) (Y 1) d µ )Ψ = s ds 4 Ψ µ Y Ψ + e s µ d (s( ds ) (Y 1) d ds )Φ but and by (.8) one has, so that (s( d ds ) (Y 1) d ds )Φ = Z Φ + s Θ Φ [Z, e s µ s ] = [Z, µ] e s µ e s µ s µ s ( Z) = ( Z) e + [Z, µ] e s µ and since µ commutes with Θ, (s( d ds ) (Y 1) d µ )Ψ = s ds 4 Ψ µ Y Ψ Z Ψ + s [Z, µ] Ψ + s Θ Ψ Note also that Ψ(0) = Γ(Y ) 1, It thus follows that the following holds. d Ψ(0) = (Z + µ Y ) Γ(Y + 1) 1 ds Proposition 5. Let µ fulfill conditions (.8), then Φ(Z + µ Y, Θ + [Z, µ] + µ )(s) = e s µ Φ(Z, Θ)(s) 11
12 One has by construction and similarly, Φ(X, Ω)(s) = s n B n n! Γ(Y + n) 1 Φ(S(X), Ω o )(s) = s n A n n! where the A n are obtained by induction using, Γ(Y + n) 1 A n+1 := S(X) A n n Ω o (Y n 1 )A n 1 (.9) while A 1 := 0, A 0 := 1. The first values of A n are A 1 = S(X) A = S(X) Ω o Y A 3 = S(X) 3 Ω o S(X) (3Y + 1) + X(Ω) o Y and A 4 = S(X) 4 Ω o S(X) (6Y + 4) + X(Ω) o S(X) (4Y + 1) X (Ω) o Y + 3 (Ω o ) Y (Y + 1) The general formula for RC n is obtained as in (1.4) by expanding the product Φ(S(X), Ω o )(s)(a) Φ(X, Ω)(s)(b) which gives, RC n (a, b) := n k=0 A k k! (Y + k) n k(a) B n k (n k)! (Y + n k) k(b) (.10) Lemma 6. Let γ Z 1 (H 1, A) be a 1-cocycle such that γ(x) = γ(y ) = 0, δ k (γ(h)) = 0 h H 1, k N. Then the brackets RC n are invariant under the inner perturbation of the action of H 1 associated to γ. 1
13 Proof. Let µ := γ(δ 1 ). One has δ k (µ) = 0 k N. The cocycle law γ(h h ) = γ(h (1) ) h () (γ(h )), h H. (.11) shows that γ(δ ) = X(µ) + µ and γ(δ ) = X(µ) + 1 µ, which using [δ 1, δ ] = 0 gives [µ, X(µ)] = 0. We then get [Ω, µ] = 0, Y (µ) = µ, [µ, X(µ)] = 0 (.1) The effect of the perturbation on the generators is Y Y, X X + L µ Y, δ 1 δ 1 + L µ R µ, Ω Ω + X(µ) + µ (.13) where L µ is the operator of left multiplication by µ and R µ is right multiplication by µ. We first apply Proposition 5 to the operator L µ of left multiplication by µ, and get, using (.1) to check (.8), Φ(X + L µ Y, Ω + X(µ) + µ )(s) = L e s µ Φ(X, Ω)(s) (.14) The effect of the perturbation on S(X) is S(X) S(X) R µ Y, (.15) where R µ is right multiplication by µ. One has Φ(S(X), Ω o )(s) = s n A n Γ(Y + n) 1 n! We now apply Proposition 5 to the operator R µ of right multiplication by µ, using S(X)(µ) = X(µ) and (.1) to check (.8) for the operators S(X), Y, Ω o = R Ω, R µ and get, Φ(S(X) R µ Y, (Ω + X(µ) + µ ) o )(s) = R e s µ Φ(S(X), Ω)(s) (.16) combining (.14) and (.16) shows that the product Φ(S(X), Ω o )(s)(a) Φ(X, Ω)(s)(b) is unaltered by the perturbation and gives the required invariance. 13
14 Lemma 7. Let the Hopf algebra H 1 act on an algebra A with δ inner as above and u A be invertible and such that with µ = u 1 δ 1 (u), X(u) = 0, Y (u) = 0, δ n (µ) = 0, n N 1 0. For all values of n, RC n (xu, y) = RC n (x, u y) x, y A 0. For all x, y A, RC n (u x, y) = u RC n (x, y), RC n (x, y u) = RC n (x, y) u 3 0. Let α be the inner automorphism implemented by u one has, RC n (α(x), α(y)) = α(rc n (x, y)) x, y A Proof. One has Y (µ) = µ, let us show that [X(µ), µ] = 0 (.17) One has δ (u) = [X, δ 1 ](u) = X(δ 1 (u)) = X(u µ) = u (X(µ) + µ ), so that, δ (u) = u ρ, ρ := X(µ) + 1 µ (.18) Since δ 1 (X(µ)) = [X, δ 1 ](µ) = δ (µ) = 0, one has δ 1 (ρ) = 0. The commutation [δ, δ 1 ] (u) = 0 then entails u ρ µ = u µ ρ, [µ, ρ] = 0 which implies (.17). Then as in (1.6) where µ := u 1 δ 1 (u) = δ 1 (u 1 )u. Moreover, X L u = L u ( X + L µ Y ) (.19) ΩL u = L u ( Ω + [X, L µ ] + 1 L µ) (.0) which one gets using δ (u) = [Ω, u] 14
15 Since [Ω, µ] = δ (µ) = 0 the hypothesis (.8) of Proposition 5 is fulfilled by X, Y, Ω, L µ and we then get Φ(X, Ω)(s)L u = L u L e s µ Φ(X, Ω)(s) In a similar manner, where µ := δ 1 (u) u 1. Moreover S(X) R u = R u ( S(X) + R µ Y ) (.1) Ω o R u = R u ( Ω o + [S(X), R µ ] + 1 R µ ) (.) where Ω o really stands for R Ω. So by Proposition 5 we get Φ(S(X), Ω o )(s))r u = R u R e s µ Φ(S(X), Ω)(s). Since u µ = µ u we conclude as in the proof of Lemma. We then obtain the following naturality property of the construction of the higher brackets. Theorem 8. When applied to any of the modular Hecke algebras A(Γ) the functor RC yields the reduced algebra of the crossed products of the algebra of modular forms endowed with the Rankin-Cohen brackets by the action of the group GL(, A f ) 0. Proof. The algebra A(Γ) is the reduced algebra of M GL(, A f ) 0 by the projection e Γ associated to Γ (cf. [8]). With u and v as in Lemma 7 and a and b A one gets RC n (a u, bv) = RC n (a, u bv) = RC n (a, b u ) u v where b u := u bu 1, which shows that in the crossed product algebra A = M GL(, A f ) 0 the RC n are entirely determined by their restriction to M. Corollary 9. When applied to any of the algebras A(Γ) the functor RC yields associative deformations. 15
16 Proof. The crossed product of an associative algebra by an automorphism group is associative, as well as its reduced algebras. Specifically, the product formula a t b := t n RC n (a, b) gives an associative deformation. More generally, following [], for any κ C the product rule where a κ t b := t n RC n (t κ n (Y 1, 1 Y )(a b)), (.3) t κ n (x, y) := ( 1 4 )n j ( ) ( 1 n j ( j x 1 j ) )( κ 3)( 1 κ j j )( y 1)( n+x+y 3 j j ) (.4) are the twisting coefficients defined in [], gives an associative deformation. 3 Rankin-Cohen Deformations We now return to the general case, we let the Hopf algebra H 1 act on an algebra A and assume that the derivation δ is inner implemented by an element Ω A, δ (a) = Ωa a Ω, a A (3.1) with δ k (Ω) = 0, k N (3.) Such an action of H 1 on an algebra A will be said to define a projective structure on A, and the element Ω A implementing the inner derivation δ will be called its quadratic differential. The main result of this section, extending Corollary 9, can be stated as follows. Theorem 10. The functor RC applied to any algebra A endowed with a projective structure yields a family of formal associative deformations of A, whose products are given by formula (.3). 16
17 In preparation for the proof, we shall extend the scalars in the definition of H 1. Let P denote the free commutative algebra generated by the indeterminates {Z 0, Z 1, Z,...,Z n,...}. We define an action of H 1 on P by setting on generators Y (Z j ) := (j + ) Z j, X(Z j ) := Z j+1, j 0, (3.3) and then extending Y, X as derivations, while δ k (P) := 0, P P. (3.4) Equivalently, the Hopf action of H 1 is lifted from the Lie algebra action defined by (3.3). We then form the double crossed product algebra H 1 = P H 1 P, (3.5) whose underlying vector space is P H 1 P, with the product defined by the rule P h Q P h Q := (h) P h (1) (P ) h () h h (3) (Q ) Q, (3.6) where P, Q, P, Q P and h, h H 1. We next proceed to equip H 1 with the structure of an extended Hopf algebra over P (comp. [7]). First we turn H 1 into a (free) P-bimodule, by means of the source and target homorphisms α, β : P H 1, α(p) := P 1 1, resp. β(q) := 1 1 Q, P, Q P. (3.7) Note that P h Q = α(p) β(q) h, P, Q P, h H 1. (3.8) Note also that, while the commutation rules of h H 1 with α(p) are given by the above action (3.3) of H 1 on P, the commutation rules with β(q) are more subtle ; for example (comp. [7, 1.1]), X β(q) β(q) X = β(x(q)) + β(y (Q)) δ 1, Q P, h H 1. (3.9) 17
18 Let H 1 P H1 be the tensor square of H1 where we view H 1 as a bimodule over P, using left multiplication by β( ) to define the right module structure and left multiplication by α( ) to define the left module structure. The coproduct : H 1 H 1 P H1 is defined by (P h Q) := (h) P h (1) 1 1 h () Q (3.10) and satisfies the properties listed in [7, Prop. 6]. In particular, while the product of two elements in H 1 P H1 is not defined in general, the fact that is multiplicative, i.e. that (h 1 h ) = (h 1 ) (h ), h 1, h H 1, makes perfect sense because of the property (h) (β(q) 1 1 α(q)) = 0, Q P, h H 1, which uses only the right action of H 1 H 1 on H 1 P H1 by right multiplication. In turn, since H 1 is a Hopf algebra, it suffices to check the latter on the algebra generators, i.e. for h = Y, X or δ 1. In that case (h) (β(q) 1 1 α(q)) = ( h(1) β(q) P h () h (1) P h () α(q) ) = (h) ( [h(1), β(q)] P h () h (1) P [h (), α(q)] ) = 0, (h) where one needs (3.9) to establish the vanishing. The counit map ε : H 1 P is defined by ε(p h Q) := P ε(h) Q, P, Q P, h H 1 and fulfills the conditions listed in [7, Prop. 7]. Finally, the formula for the antipode is S(P h Q) := S(h) (1) (Q) S(h) () S(h) (3) (P) = S(h) α(q) β(p). 18
19 In the same vein, an algebra A is a module-algebra over H 1 P if, first of all, A is gifted with an algebra homomorphism ρ : P A (playing the role of the unit map over P), which turns A into a P-bimodule via left and right multiplication by the image of ρ, and secondly A is endowed with an action H a H(a), H H 1, a A satisfying besides the usual action rules (H H )(a) = H(H (a)), H, H H 1, (3.11) also the compatibility rules 1(a) = a, a A, H(a 1 a ) = (H) H (1) (a 1 ) H () (a ), a 1, a A, (3.1) In particular for any P P, H(1) = ρ(ε(h)), H H 1. α(p)(a) = ρ(p) a, resp. β(p)(a) = a ρ(p), a A, (3.13) and therefore more generally for any monomial H = P h Q H 1 one has P h Q (a) = ρ(p) h(a) ρ(q). (3.14) We denote δ := δ 1 δ 1 α(z 0) + β(z 0 ) (3.15) and remark that it is a primitive element in H 1 : ( δ ) = δ δ. (3.16) We let H s denote the quotient of H 1 by the ideal generated by δ. In view of (3.16), the latter is also a coideal, and therefore H s inherits the structure of an extended Hopf algebra over P. Clearly, the action of H 1 P on an algebra A endowed with a projective structure descends to an action of H s on A. As already mentioned in Section 3, the prototypical examples of projective structures are furnished by the modular Hecke algebras of [8]. For the purposes of this section it will suffice to consider the discrete modular Hecke algebra, that is the crossed product A G + (Q) := M G + (Q), G + (Q) = GL + (, Q). 19
20 where M is the algebra of modular forms of all levels. We recall that A G + (Q) consists of finite sums of symbols of the form f U γ, with f M, γ G + (Q), with the product given by the rule f U α g U β = (f g α) U β α, (3.17) where the vertical bar denotes the slash operation. Under the customary identification f M k f := f dz k of modular forms with higher differentials, the latter is just the pullback f γ γ ( f), γ G + (Q). (3.18) We further recall that the action of H 1 on A G + (Q) is determined by where X(f U γ ) = X(f) U γ, Y (f U γ ) = Y (f) U γ, δ 1(f U γ ) = µ γ f U γ, (3.19) Y stands for the Euler operator, for any f of weight l. Lastly, X(f) = 1 ( df πi dz d ) dz (log η4 ) Y (f), (3.0) Y (f) = l f, (3.1) µ γ (z) = 1 πi d dz log η4 γ. (3.) η 4 By [8, Prop. 10], the quadratic differential is implemented by the normalized Eisenstein modular form of level 1 and weight 4: δ (a) = [ ω, a], ω = E 4 7. (3.3) 0
21 More generally, one can conjugate the above action by a G + (Q)-invariant 1-cocycle, as in [8, Prop. 11]. In particular, given any σ M, there exists a unique 1-cocycle u = u(σ) L(H 1, A G + (Q)) such that u(x) = 0, u(y ) = 0, u(δ 1 ) = σ. (3.4) The conjugate under u(σ) of the above action of H 1 is given on generators as follows: Y σ = Y, X σ = X + σ Y, (3.5) (δ 1 ) σ (a) = δ 1 (a) + [σ, a], a A G + (Q). The conjugate under u(σ) of δ is given by the operator (δ ) σ (a) = [ ω σ, a] with ω σ = ω + X(σ) + σ, a A G + (Q). (3.6) Thus, for any 1-cocycle u = u(σ) as above, we get an action of Hs P on A G + (Q), determined by (3.5) and by the homomorphism ρ σ : P M, ρ σ (Z k ) = X k σ(ω σ ), k = 0, 1,,.... (3.7) For each n we let ρ n σ : P n M n be the nth tensor power of ρ σ. We shall first show that the family ρ σ is sufficiently large to separate the elements of P n. Lemma 11. For each n N, one has σ M Ker ρ n σ = 0. Proof. Let us treat the case n = 1 first. Let g be the quasimodular ([1]) solution of the equation Note that not only g X(m) + m fulfills (3.8) but also one has + ω = 0. (3.8) X(f) = 1 d πi dz f g Y f, 1
22 for any modular form f. Also Thus, with α := σ g 1 d πi dz g 1 (g ) = ω we get which allows to rewrite (3.7) as X σ = 1 d πi dz + α Y, (3.9) ω σ = 1 d πi dz α + α ρ σ (Z k ) = ( 1 d πi dz + α Y )k ( 1 d πi dz α + α ), k = 0, 1,,.... (3.30) Given 0 P P the set of α for which ρ σ (P) = 0 is seen using (3.30) to be contained in the space of holomorphic solutions of an (autonomous) ODE 1 and these only depend on finitely many parameters. Thus, given 0 P P, the set of σ for which ρ σ (P) = 0 is finite dimensional. Let us now prove by induction that the same result holds for any n. Given P P n we write P = P j m j where P j P n 1 and the m j belong to the canonical basis of monomials in P. If P 0 then P j 0 for some j and by the induction hypothesis the set E j of σ for which ρ σ (P j ) = 0 is finite dimensional. On the complement of E j any α := σ g such that ρ σ (P) = 0 fulfills a non-trivial (autonomous) ODE of the form λj ρ σ (m j ) = 0 (3.31) where the coefficient λ j 0. Since the space of parameters for equations of the form (3.31) is finite dimensional we get the required finite dimensionality. Since the space of modular forms of weight and arbitrary level is infinite dimensional we conclude the proof. 1 Any given quasi-modular form α is the solution of a non-trivial autonomous ODE (cf. [1]), but the latter of course depends on α.
23 We next define a map of bimodules χ (n) σ : Hs P... P Hs }{{} n times by means of the assignment L(A G + (Q)... A G + (Q), A G }{{} + (Q)) n times χ (n) σ (h 1 P... P h n ) (a 1,...,a n ) = h 1 σ(a 1 ) h n σ(a n ), (3.3) where a 1,...,a n A G + (Q) and with h 1,...,h n H s acting via ρ σ. The following result, which represents a modular analogue of [7, Prop.4], allows to establish the associativity at the Hopf algebraic level. Proposition 1. For each n N, one has Ker χ (n) σ = 0. σ Proof. For the sake of clarity, we shall first treat the case n = 1. An arbitrary element of H s can be represented uniquely as a finite sum of the form H = α(p jkms ) β(q jkms ) δ j 1 Xk Y m, j,k,m,s 0 with P, Q P. Let us assume χ (1) σ (H) = 0, for any σ. Evaluating H on a generic monomial in A G + (Q) one obtains, for any f M and any γ G + (Q), P jkms Q jkms γ µ γ (σ) j X k (Y m (f)) = 0 ; (3.33) j,k,m,s 0 where, µ γ (σ) (z) = α(z) α γ (z) 1 c (3.34) πi cz + d with α := σ g as above. By continuity, the above holds in fact for any γ G + (R). For each fixed l, the differential equation P jkms Q jkms γ µ γ (σ) j l m X k (f) = 0 j,k,m,s 3
24 is satisfied by all modular forms f M l. In turn, this implies that all its coefficients vanish. Using the freedom in l, it then follows that P jkms Q jkms γ µ γ (σ) j = 0, (3.35) for each k and m. j,s Given z H, the following three functions on SL(, C) are defined and independent in a neighborhood of SL(, R): g 1 (a, b, c, d) : = az + b cz + d, g (a, b, c, d) := 1 cz + d, c g 3 (a, b, c, d) : = cz + d. Indeed, we recover c from g and g 3 and then d from g 3, then az + b from g 1 and finally a and b from ad bc = 1. Now the formula for µ γ is of the form µ γ (σ) = α(g 1 )(g ) α(z) 1 i π g 3 (3.36) and thus involves g 3 nontrivially while the other terms in the formulas do not involve g 3. For fixed z the formula (3.35) remains valid in a neighborhood of SL(, R) in SL(, C). Fixing z, g 1, g and varying g 3 independently this is enough to show that the coefficient of each power µ γ (σ) j vanishes identically. Thus, P jkms Q jkms γ = 0, γ SL(, R). (3.37) s Using the independence of the functions g 1, g and the fact that the identity (3.37) holds true for every homogeneous component of Q jkms, in view of the freedom to choose σ, it follows from Lemma 11 that H = 0. The proof of the case n > 1 is obtained by combining the above arguments with the proof of the general case in Lemma 11. An arbitrary element of H s n can be represented uniquely as a finite sum of the form H = α(p 1,j1 k 1 m 1 s) β(q 1,j1 k 1 m 1 s) δ j 1 1 X k 1 Y m 1 j,k,m,s α(p a,jak am as) β(q a,jak am as) δ ja 1 X ka Y ma 4
25 α(p n,jnk nm ns) β(q n,jnk nm ns) δ jn 1 X kn Y mn Evaluating H on a generic monomial in A n G + (Q) one obtains, for any f j M and any γ j G + (Q), j,k,m,s a (P a,jak am as Q a,jak am as γ a µ γa (σ) ja X ka σ (Y ma (f a ))) γ a 1 γ 1 = 0 (3.38) As in the case n = 1, the freedom in the choice of the f j M and γ j G + (Q) shows that for every multiindex (j a, k a, m a ) a {1,..,n}, one has (P a,jak am as Q a,jak am as γ a ) γ a 1 γ 1 = 0. (3.39) s a Using once more the independence of the functions g 1 and g together with the reduction to homogeneous components for Q a,jak am as, and then applying again Lemma 11, one arrives at the conclusion that H = 0. As a direct consequence, one obtains a family of universal deformation formulas (in the sense of [10]) based on H s, as follows. From Theorem 8 and Proposition 1, each bilinear operator RC n uniquely determines an element We then assemble all of them into the element RC Hs n H s P Hs. (3.40) F := n 0 t n RC Hs n H s [[t]] P[[t]] Hs [[t]] (3.41) Corollary 13. The element F H s [[t]] P[[t]] Hs [[t]] defines a universal deformation formula, i.e. satisfies the identities ( Id)(F) (F 1) = (Id )(F) 1 F ; (3.4) (ε Id)(F) = 1 1 = (Id ε)(f). (3.43) Proof. Indeed, this follows by applying Proposition 1, for n = 3, to the associative deformation of the algebra A G + (Q) provided by Corollary 9. 5
26 This result, in conjunction with the twisting operators t κ n of (.4), immediately imply Theorem 10. Remark 14. We finally note that by evaluating F at Z k = 0, k 0, one obtains a completely explicit twisting element F H s [[t]] C[[t]] H s [[t]], F = n 0 t n n k=0 S(X) k k! (Y + k) n k Xn k (n k)! (Y + n k) k, (3.44) which defines a deformation of the Hopf algebra H s in the direction of the Hochschild -cocycle T = X Y + Y X + δ 1 Y Y. Although the expressions of its components were found early on, cf. (1.5), the proof of their universal associativity property passes through the treatment of the more general case of an arbitrary quadratic differential. 4 Appendix: Explicit Formulas We display below the formulas of RC n for the first three values of n, illustrating the rapid increase of their complexity. They are in reduced form, with the terms in α[ ] followed by those in β[ ] appearing in the role of coefficients, and then followed by terms in δ 1, in X and finally in Y ; the last three types form the analogue of a Poincaré-Birkhoff-Witt basis of Hs, viewed as a module over P P. Moreover, taking advantage of the tensoring over P, no term in β[ ] appears in the first argument of the tensor square. In the formulas that follow we shall lighten the notation, using the symbol RC instead of RC Hs, and instead of P ; we shall also write Ω instead of Z 0. 1 RC 1 = X Y + Y X + δ 1 Y Y. (4.1) Quite remarkably, the formula for A n appears to contain no term in β[.], unlike the formula for S(X) n. The latter, once put in reduced form, is much more complicated than the expression of A n. The associativity for RC 1 follows directly from its Hochschild property. It is already harder to check it directly for RC which is given by the following expression: 6
27 RC = X X X X Y + X Y + X Y + Y X Y α[ω] Y + Y X Y α[ω] Y X Y X 4 X Y X Y δ 1 X Y δ 1 X Y + δ 1 Y X + δ 1 Y X Y + δ 1 Y X + 4 δ 1 Y X Y + 1 δ 1 Y Y + δ1 Y Y + δ1 Y Y + δ1 Y Y α[ω] Y Y α[ω] Y Y δ 1 X Y Y 4 δ 1 X Y Y. We did check directly Corollary 13 up to order 4 included, (i.e. the associativity for RC 3 and RC 4 ) with the help of a computer. This is beyond the reach of any bare hands computation, as witnessed by the complexity of the following formula for RC 3. (The expression of RC 4 is much longer, it would occupy several pages.) RC 3 = X X X X.Y + X α[ω].y + X α[ω].y + X X + 6 X X.Y X X.Y X3 Y 3 X 3 Y 4 X3 Y Y X3 3 3 Y α[ω].x 3 Y α[x[ω]].y Y α[ω].x.y + Y X 3 Y α[ω].x Y α[x[ω]].y 6 Y α[ω].x.y + 4 Y 3 X Y 3 α[ω].x 4 3 Y 3 α[x[ω]].y 4 Y 3 α[ω].x.y 6 X.Y X 6 X.Y X.Y + 6 X.Y α[ω].y + 6 X.Y α[ω].y 4 X.Y X 4 X.Y X.Y + 4 X.Y α[ω].y + 4 X.Y α[ω].y + X.Y X + 6 X.Y X.Y +4 X.Y X.Y δ 1.X X 6 δ 1.X X.Y 4 δ 1.X X.Y + δ 1.X Y + 6 δ 1.X Y +4 δ 1.X Y 3 + δ 1.Y X + δ 1.Y X.Y δ 1.Y α[ω].y δ 1.Y α[ω].y +6 δ 1.Y X + 6 δ 1.Y X.Y 6 δ 1.Y α[ω].y 6 δ 1.Y α[ω].y + 4 δ 1.Y 3 X +4 δ 1.Y 3 X.Y 4 δ 1.Y 3 α[ω].y 4 δ 1.Y 3 α[ω].y δ 1.X Y 3 δ 1.X Y δ 1.X Y 3 + δ 1.Y X + 3 δ 1.Y X.Y + δ 1.Y X.Y + 3 δ 1.Y X + 9 δ 1.Y X.Y +6 δ 1.Y X.Y + δ 1.Y 3 X + 6 δ 1.Y 3 X.Y + 4 δ 1.Y 3 X.Y δ3 1.Y Y + δ3 1.Y Y 7
28 + 3 δ3 1.Y Y 3 + δ1 3.Y Y + 3 δ1 3.Y Y + δ1 3.Y Y δ3 1.Y 3 Y + δ1 3.Y 3 Y δ3 1.Y 3 Y α[ω].x Y + α[ω].x Y α[ω].x Y 3 α[ω].y X 6 α[ω].y X.Y 4 α[ω].y X.Y α[ω].y X 6 α[ω].y X.Y 4 α[ω].y X.Y + 3 α[x[ω]].y Y + α[x[ω]].y Y α[x[ω]].y Y 3 6 δ 1.X.Y X 18 δ 1.X.Y X.Y 1 δ 1.X.Y X.Y 4 δ 1.X.Y X 1 δ 1.X.Y X.Y 8 δ 1.X.Y X.Y + δ 1.X.Y Y + 6 δ 1.X.Y Y + 4 δ 1.X.Y Y 3 3 δ1.x.y Y 9 δ1.x.y Y 6 δ1.x.y Y 3 δ1.x.y Y 6 δ1.x.y Y 4 δ1.x.y Y 3 + α[ω].x.y Y + 6 α[ω].x.y Y +4 α[ω].x.y Y 3 α[ω].δ 1.Y Y 6 α[ω].δ 1.Y Y 4 α[ω].δ 1.Y Y 3 α[ω].δ 1.Y Y 6 α[ω].δ 1.Y Y 4 α[ω].δ 1.Y Y 3. References [1] Cohen, H., Sums involving the values at negative integers of L-functions of quadratic characters, Math. Ann. 17 (1975), [] Cohen, P., Manin, Y. and Zagier, D., Automorphic pseudodifferential operators. In Algebraic aspects of integrable systems, pp , Progr. Nonlinear Differential Equations Appl. 6, Birkhäuser Boston, Boston, MA, [3] Connes, A., Noncommutative geometry, Academic Press, [4] Connes, A. and Moscovici, H., The local index formula in noncommutative geometry, Geom. Funct. Anal. 5 (1995), [5] Connes, A. and Moscovici, H., Hopf algebras, cyclic cohomology and the transverse index theorem, Commun. Math. Phys. 198 (1998), [6] Connes, A. and Moscovici, H., Cyclic Cohomology and Hopf algebra symmetry, Letters Math. Phys. 5 (000), 1-8. [7] Connes, A. and Moscovici, H., Differentiable cyclic cohomology and Hopf algebraic structures in transverse geometry, In Essays on Geometry and Related Topics, pp , Monographie No. 38 de L Enseignement Mathématique, Genève,
29 [8] Connes, A. and Moscovici, H., Modular Hecke Algebras and their Hopf Symmetry, arxiv:math.qa/ [9] Gelfand, I. M. and Fuchs, D. B., Cohomology of the Lie algebra of formal vector fields, Izv. Akad. Nauk SSSR 34 (1970), [10] Giaquinto, A., Zhang, J. J., Bialgebra actions, twists, and universal deformation formulas, J. Pure Appl. Algebra 18 (1998), [11] Zagier, D., Modular forms and differential operators, Proc. Indian Acad. Sci. Math. Sci. (K. G. Ramanathan memorial issue) 104 (1994), no. 1, [1] Zagier, D., Formes modulaires et opérateurs différentiels, Cours au Collège de France. 9
NONCOMMUTATIVE COMPLEX GEOMETRY ON THE MODULI SPACE OF Q-LATTICES IN C
NONCOMMUTATIVE COMPLEX GEOMETRY ON THE MODULI SPACE OF Q-LATTICES IN C Joint work in progress with A. Connes on the hypoelliptic metric structure of the noncommutative complex moduli space of Q-lattices
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationRANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION
RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION B. RAMAKRISHNAN AND BRUNDABAN SAHU Abstract. We use Rankin-Cohen brackets for modular forms and quasimodular forms
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationTHE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau
International Electronic Journal of Algebra Volume 17 (2015) 11-45 THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS Donald Yau Received: 25 January 2014 Communicated by A. Çiğdem Özcan Abstract.
More informationHopf algebras in renormalisation for Encyclopædia of Mathematics
Hopf algebras in renormalisation for Encyclopædia of Mathematics Dominique MANCHON 1 1 Renormalisation in physics Systems in interaction are most common in physics. When parameters (such as mass, electric
More informationTowers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
More informationCombinatorial Dyson-Schwinger equations and systems I Feynma. Feynman graphs, rooted trees and combinatorial Dyson-Schwinger equations
Combinatorial and systems I, rooted trees and combinatorial Potsdam November 2013 Combinatorial and systems I Feynma In QFT, one studies the behaviour of particles in a quantum fields. Several types of
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationThree Cocycles on Diff(S 1 ) Generalizing the Schwarzian Derivative. S. Bouarroudj and V. Yu. Ovsienko. 1 Introduction
IMRN International Mathematics Research Notices 1998, No. 1 Three Cocycles on Diff(S 1 ) Generalizing the Schwarzian Derivative S. Bouarroudj and V. Yu. Ovsienko 1 Introduction 1.1. Consider the group
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS. 1. Preliminaries
ON CONTRAVARIANT PRODUCT CONJUGATE CONNECTIONS A. M. BLAGA Abstract. Invariance properties for the covariant and contravariant connections on a Riemannian manifold with respect to an almost product structure
More informationNon-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups
Seminar Sophus Lie 1 (1991) 125 132 Non-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups Konrad Schmüdgen 1. Introduction There are two alternative fundamental approaches
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationTHE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM
THE MODULAR CLASS OF A LIE ALGEBROID COMORPHISM RAQUEL CASEIRO Abstract. We introduce the definition of modular class of a Lie algebroid comorphism and exploit some of its properties. 1. Introduction The
More informationLifting the Cartier transform of Ogus-Vologodsky. modulo p n. Daxin Xu. California Institute of Technology
Lifting the Cartier transform of Ogus-Vologodsky modulo p n Daxin Xu California Institute of Technology Riemann-Hilbert correspondences 2018, Padova A theorem of Deligne-Illusie k a perfect field of characteristic
More informationDeformation of the `embedding'
Home Search Collections Journals About Contact us My IOPscience Deformation of the `embedding' This article has been downloaded from IOPscience. Please scroll down to see the full text article. 1997 J.
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationarxiv:math/ v2 [math.qa] 29 Jan 2001
DAMTP-98-117 arxiv:math/9904142v2 [math.qa] 29 Jan 2001 Cross Product Bialgebras Yuri Bespalov Part II Bernhard Drabant July 1998/March 1999 Abstract This is the central article of a series of three papers
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationOn Rankin-Cohen Brackets of Eigenforms
On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen
More informationThe kappa function. [ a b. c d
The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationOn the Merkulov construction of A -(co)algebras
On the Merkulov construction of A -(co)algebras Estanislao Herscovich Abstract The aim of this short note is to complete some aspects of a theorem proved by S. Merkulov in [7], Thm. 3.4, as well as to
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationCategorical techniques for NC geometry and gravity
Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School
More informationEisenstein Series and Modular Differential Equations
Canad. Math. Bull. Vol. 55 (2), 2012 pp. 400 409 http://dx.doi.org/10.4153/cmb-2011-091-3 c Canadian Mathematical Society 2011 Eisenstein Series and Modular Differential Equations Abdellah Sebbar and Ahmed
More informationA global version of the quantum duality principle
A global version of the quantum duality principle Fabio Gavarini Università degli Studi di Roma Tor Vergata Dipartimento di Matematica Via della Ricerca Scientifica 1, I-00133 Roma ITALY Received 22 August
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationCOLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS
COLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS S. FRYER, T. KANSTRUP, E. KIRKMAN, A.V. SHEPLER, AND S. WITHERSPOON Abstract. We investigate color Lie rings over finite group algebras and their
More informationLie Superalgebras and Lie Supergroups, II
Seminar Sophus Lie 2 1992 3 9 Lie Superalgebras and Lie Supergroups, II Helmut Boseck 6. The Hopf Dual. Let H = H 0 H 1 denote an affine Hopf superalgebra, i.e. a Z 2 -graded commutative, finitely generated
More informationUniversal Deformation Formulas
Universal Deformation Formulas Jeanette Shakalli Department of Mathematics Texas A&M University April 23, 2011 Outline Preliminaries Universal Deformation Formulas Outline Preliminaries Universal Deformation
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationPolynomial Hopf algebras in Algebra & Topology
Andrew Baker University of Glasgow/MSRI UC Santa Cruz Colloquium 6th May 2014 last updated 07/05/2014 Graded modules Given a commutative ring k, a graded k-module M = M or M = M means sequence of k-modules
More informationMULTILINEAR OPERATORS ON SIEGEL MODULAR FORMS OF GENUS 1 AND 2
MULTILINEAR OPERATORS ON SIEGEL MODULAR FORMS OF GENUS 1 AND 2 YOUNGJU CHOIE 1. Introduction Classically, there are many interesting connections between differential operators and the theory of elliptic
More informationAtiyah classes and homotopy algebras
Atiyah classes and homotopy algebras Mathieu Stiénon Workshop on Lie groupoids and Lie algebroids Kolkata, December 2012 Atiyah (1957): obstruction to existence of holomorphic connections Rozansky-Witten
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationProduct type actions of compact quantum groups
Product type actions of compact quantum groups Reiji TOMATSU May 26, 2014 @Fields institute 1 / 31 1 Product type actions I 2 Quantum flag manifolds 3 Product type actions II 4 Classification 2 / 31 Product
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationWhy Do Partitions Occur in Faà di Bruno s Chain Rule For Higher Derivatives?
Why Do Partitions Occur in Faà di Bruno s Chain Rule For Higher Derivatives? arxiv:math/0602183v1 [math.gm] 9 Feb 2006 Eliahu Levy Department of Mathematics Technion Israel Institute of Technology, Haifa
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationThe Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori
The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori Allan Yashinski Abstract Given a smooth deformation of topological algebras, we define Getzler s Gauss-Manin
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More information7. Baker-Campbell-Hausdorff formula
7. Baker-Campbell-Hausdorff formula 7.1. Formulation. Let G GL(n,R) be a matrix Lie group and let g = Lie(G). The exponential map is an analytic diffeomorphim of a neighborhood of 0 in g with a neighborhood
More informationarxiv: v1 [math.kt] 31 Mar 2011
A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationQuantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians.
Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians. T.H. Lenagan and L. Rigal Abstract We study quantum analogues
More informationLie bialgebras real Cohomology
Journal of Lie Theory Volume 7 (1997) 287 292 C 1997 Heldermann Verlag Lie bialgebras real Cohomology Miloud Benayed Communicated by K.-H. Neeb Abstract. Let g be a finite dimensional real Lie bialgebra.
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationCYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138
CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators
More informationREPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n
REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.
More informationSkew Calabi-Yau algebras and homological identities
Skew Calabi-Yau algebras and homological identities Manuel L. Reyes Bowdoin College Joint international AMS-RMS meeting Alba Iulia, Romania June 30, 2013 (joint work with Daniel Rogalski and James J. Zhang)
More informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationDEFORMATION THEORY MICHAEL KEMENY
DEFORMATION THEORY MICHAEL KEMENY 1. Lecture 1: Deformations of Algebras We wish to first illustrate the theory with a technically simple case, namely deformations of algebras. We follow On the Deformation
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationSuperintegrable 3D systems in a magnetic field and Cartesian separation of variables
Superintegrable 3D systems in a magnetic field and Cartesian separation of variables in collaboration with L. Šnobl Czech Technical University in Prague GSD 2017, June 5-10, S. Marinella (Roma), Italy
More informationHopf cyclic cohomology and transverse characteristic classes
Hopf cyclic cohomoloy and transverse characteristic classes Lecture 2: Hopf cyclic complexes Bahram Ranipour, UNB Based on joint works with Henri Moscovici and with Serkan Sütlü Vanderbilt University May
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationFréchet algebras of finite type
Fréchet algebras of finite type MK Kopp Abstract The main objects of study in this paper are Fréchet algebras having an Arens Michael representation in which every Banach algebra is finite dimensional.
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationGraded Calabi-Yau Algebras actions and PBW deformations
Actions on Graded Calabi-Yau Algebras actions and PBW deformations Q. -S. Wu Joint with L. -Y. Liu and C. Zhu School of Mathematical Sciences, Fudan University International Conference at SJTU, Shanghai
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationXin Tang's research paper on derivations
Fayetteville State University DigitalCommons@Fayetteville State University Math and Computer Science Working Papers College of Arts and Sciences 6-7-2011 Xin Tang's research paper on derivations Xin Tang
More informationA REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS
A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS ALESSANDRO D ANDREA Ad Olivia, che mi ha insegnato a salutare il Sole ABSTRACT. I give a short proof of the following algebraic statement:
More informationFields of definition of abelian varieties with real multiplication
Contemporary Mathematics Volume 174, 1994 Fields of definition of abelian varieties with real multiplication KENNETH A. RIBET 1. Introduction Let K be a field, and let K be a separable closure of K. Let
More informationLie groupoids, cyclic homology and index theory
Lie groupoids, cyclic homology and index theory (Based on joint work with M. Pflaum and X. Tang) H. Posthuma University of Amsterdam Kyoto, December 18, 2013 H. Posthuma (University of Amsterdam) Lie groupoids
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationVector fields in the presence of a contact structure
Vector fields in the presence of a contact structure Valentin Ovsienko To cite this version: Valentin Ovsienko. Vector fields in the presence of a contact structure. Preprint ICJ. 10 pages. 2005.
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationOn Local Time-Dependent Symmetries of Integrable Evolution Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 2000, Vol. 30, Part 1, 196 203. On Local Time-Dependent Symmetries of Integrable Evolution Equations A. SERGYEYEV Institute of Mathematics of the
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationGeneral-relativistic quantum theory of the electron
Allgemein-relativistische Quantentheorie des Elektrons, Zeit. f. Phys. 50 (98), 336-36. General-relativistic quantum theory of the electron By H. Tetrode in Amsterdam (Received on 9 June 98) Translated
More informationIntroduction to Depth Two and a Galois Theory for Bialgebroids. Lars Kadison
Introduction to Depth Two and a Galois Theory for Bialgebroids Lars Kadison Leeds, May 2006 Origins of depth two and finite depth in C - and von Neumann algebras Bratteli diagram for inclusion of fin.
More informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationMirror Symmetry: Introduction to the B Model
Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationColoured Kac-Moody algebras, Part I
Coloured Kac-Moody algebras, Part I Alexandre Bouayad Abstract We introduce a parametrization of formal deformations of Verma modules of sl 2. A point in the moduli space is called a colouring. We prove
More informationarxiv:physics/ v2 [math-ph] 2 Dec 1997
GOET-TP 100/97 November 1997 arxiv:physics/9712002v2 [math-ph] 2 Dec 1997 Deformations of Classical Geometries and Integrable Systems Aristophanes DIMAKIS Department of Mathematics, University of the Aegean
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More information1 Hochschild Cohomology and A : Jeff Hicks
1 Hochschild Cohomology and A : Jeff Hicks Here s the general strategy of what we would like to do. ˆ From the previous two talks, we have some hope of understanding the triangulated envelope of the Fukaya
More informationTHE NONCOMMUTATIVE TORUS
THE NONCOMMUTATIVE TORUS The noncommutative torus as a twisted convolution An ordinary two-torus T 2 with coordinate functions given by where x 1, x 2 [0, 1]. U 1 = e 2πix 1, U 2 = e 2πix 2, (1) By Fourier
More informationNAMBU-LIE GROUP ACTIONS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 251 263 251 NAMBU-LIE GROUP ACTIONS N. CICCOLI Abstract. The purpose of this work is to describe the action of Nambu-Lie groups on Nambu spaces and to
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationWe then have an analogous theorem. Theorem 1.2.
1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.
More informationRational Equivariant Forms
CRM-CICMA-Concordia University Mai 1, 2011 Atkin s Memorial Lecture and Workshop This is joint work with Abdellah Sebbar. Notation Let us fix some notation: H := {z C; I(z) > 0}, H := H P 1 (Q), SL 2 (Z)
More informationCOLLEEN DELANEY AND MATILDE MARCOLLI
DYSON SCHWINGER EQUATIONS IN THE THEORY OF COMPUTATION COLLEEN DELANEY AND MATILDE MARCOLLI Abstract. Following Manin s approach to renormalization in the theory of computation, we investigate Dyson Schwinger
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More information