Transcendental Numbers and Hopf Algebras
|
|
- Jordan Joshua Anderson
- 5 years ago
- Views:
Transcription
1 Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4,
2 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence of values of exponential polynomials Hopf algebras (commutative, cocommutative, of finite type) Algebra of multizeta values Deutsch-Französischer Diskurs, Saarland University, July 4,
3 Commutative linear algebraic groups over Q G = G d 0 a G d 1 m d = d 0 + d 1 G(Q) = Q d0 (Q ) d 1 (β 1,..., β d0, α 1,..., α d1 ) Deutsch-Französischer Diskurs, Saarland University, July 4,
4 Commutative linear algebraic groups over Q G = G d 0 a G d 1 m d = d 0 + d 1 G(Q) = Q d0 (Q ) d 1 exp G : T e (G) = C d G(C) = C d 0 (C ) d 1 (z 1,..., z d ) (z 1,..., z d0, e z d 0 +1,..., e z d) Deutsch-Französischer Diskurs, Saarland University, July 4,
5 Commutative linear algebraic groups over Q G = G d 0 a G d 1 m d = d 0 + d 1 G(Q) = Q d0 (Q ) d 1 exp G : T e (G) = C d G(C) = C d 0 (C ) d 1 (z 1,..., z d ) (z 1,..., z d0, e z d 0 +1,..., e z d) For α j and β i in Q, exp G (β 1,..., β d0, log α 1,..., log α d1 ) G(Q) Deutsch-Französischer Diskurs, Saarland University, July 4,
6 Baker s Theorem. If β 0 + β 1 log α β n log α n = 0 with algebraic β i and α j, then 1. β 0 = 0 2. If (β 1,..., β n ) (0,..., 0), then log α 1,..., log α n are Q- linearly dependent. 3.If (log α 1,..., log α n ) (0,..., 0), then β 1,..., β n are Q- linearly dependent. Deutsch-Französischer Diskurs, Saarland University, July 4,
7 Example: (3 2 5) log log 9 log 27 = 0. Deutsch-Französischer Diskurs, Saarland University, July 4,
8 Example: (3 2 5) log log 9 log 27 = 0. Corollaries. 1. Hermite-Lindemann (n = 1): transcendence of e, π, log 2, e 2. Deutsch-Französischer Diskurs, Saarland University, July 4,
9 Example: (3 2 5) log log 9 log 27 = 0. Corollaries. 1. Hermite-Lindemann (n = 1): transcendence of e, π, log 2, e Gel fond-schneider (n = 2, β 0 = 0): transcendence of 2 2, log 2/ log 3, e π. Deutsch-Französischer Diskurs, Saarland University, July 4,
10 Example: (3 2 5) log log 9 log 27 = 0. Corollaries. 1. Hermite-Lindemann (n = 1): transcendence of e, π, log 2, e Gel fond-schneider (n = 2, β 0 = 0): transcendence of 2 2, log 2/ log 3, e π. 3. Example with n = 2, β 0 0: transcendence of 1 0 dx 1 + x 3 = 1 3 log 2 + π 3 3 Deutsch-Französischer Diskurs, Saarland University, July 4,
11 Strong Six Exponentials Theorem. If x 1, x 2 are two complex numbers which are Q-linearly independent, if y 1, y 2, y 3 are three complex numbers which are Q-linearly independent and if β ij are six algebraic numbers such that e x iy j β ij Q for i = 1, 2, j = 1, 2, 3, then x i y j = β ij for i = 1, 2, j = 1, 2, 3. Deutsch-Französischer Diskurs, Saarland University, July 4,
12 Strong Six Exponentials Theorem. If x 1, x 2 are two complex numbers which are Q-linearly independent, if y 1, y 2, y 3 are three complex numbers which are Q-linearly independent and if β ij are six algebraic numbers such that e x iy j β ij Q for i = 1, 2, j = 1, 2, 3, then x i y j = β ij for i = 1, 2, j = 1, 2, 3. Corollary 1 (Six Exponentials Theorem). the six numbers One at least of is transcendental. e x iy j (i = 1, 2, j = 1, 2, 3) Deutsch-Französischer Diskurs, Saarland University, July 4,
13 Strong Four Exponentials Conjecture. If x 1, x 2 are two complex numbers which are Q-linearly independent, if y 1, y 2, are two complex numbers which are Q-linearly independent and if β 11, β 12, β 21, β 22, are four algebraic numbers such that the four numbers e x 1y 1 β 11, e x 1y 2 β 12, e x 2y 1 β 21, e x 2y 2 β 22 are algebraic, then x i y j = β ij for i = 1, 2, j = 1, 2. Deutsch-Französischer Diskurs, Saarland University, July 4,
14 Strong Four Exponentials Conjecture. If x 1, x 2 are Q- linearly independent, if y 1, y 2, are Q-linearly independent and if β 11, β 12, β 21, β 22, are four algebraic numbers such that e x 1y 1 β 11, e x 1y 2 β 12, e x 2y 1 β 21, e x 2y 2 β 22 are algebraic, then x i y j = β ij for i = 1, 2, j = 1, 2. Special case (Four Exponentials Conjecture). of the four numbers One at least e x 1y 1, e x 1y 2, e x 2y 1, e x 2y 2 is transcendental. Deutsch-Französischer Diskurs, Saarland University, July 4,
15 Corollary 2 (Strong Five Exponentials Theorem). If x 1, x 2 are Q-linearly independent, if y 1, y 2 are Q-linearly independent and if α, β 11, β 12, β 21, β 22, γ are six algebraic numbers such that e x 1y 1 β 11, e x 1y 2 β 12, e x 2y 1 β 21, e x 2y 2 β 22, e (γx 2/x 1 ) α are algebraic, then x i y j = β ij for i = 1, 2, j = 1, 2 and also γx 2 = αx 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
16 Corollary 2 (Strong Five Exponentials Theorem). If x 1, x 2 are Q-linearly independent, if y 1, y 2 are Q-linearly independent and if α, β 11, β 12, β 21, β 22, γ are six algebraic numbers such that e x 1y 1 β 11, e x 1y 2 β 12, e x 2y 1 β 21, e x 2y 2 β 22, e (γx 2/x 1 ) α are algebraic, then x i y j = β ij for i = 1, 2, j = 1, 2 and also γx 2 = αx 1. Proof. Set y 3 = γ/x 1, β 13 = γ, β 23 = α, so that x 1 y 3 β 13 = 0 and x 2 y 3 β 23 = (γx 2 /x 1 ) α. Deutsch-Französischer Diskurs, Saarland University, July 4,
17 Corollary 2 (Strong Five Exponentials Theorem). If x 1, x 2 are Q-linearly independent, y 1, y 2 are Q-linearly independent and α, β 11, β 12, β 21, β 22, γ are algebraic numbers such that e x 1y 1 β 11, e x 1y 2 β 12, e x 2y 1 β 21, e x 2y 2 β 22, e (γx 2/x 1 ) α are algebraic, then x i y j = β ij for i = 1, 2, j = 1, 2. Five Exponentials Theorem. If x 1, x 2 are Q-linearly independent, y 1, y 2 are Q-linearly independent and γ is a non zero algebraic number, then one at least of the five numbers is transcendental. e x 1y 1, e x 1y 2, e x 2y 1, e x 2y 2, e γx 2/x 1 Deutsch-Französischer Diskurs, Saarland University, July 4,
18 More general result (D. Roy). If x 1, x 2 are Q-linearly independent and if y 1, y 2, y 3 are Q-linearly independent, then one at least of the six numbers is not of the form x i y j (i = 1, 2, j = 1, 2, 3) β ij + l h=1 β ijh log α h. Deutsch-Französischer Diskurs, Saarland University, July 4,
19 Very Strong Four Exponentials Conjecture. If x 1, x 2 are Q- linearly independent and if y 1, y 2, are Q-linearly independent, then one at least of the four numbers x 1 y 1, x 1 y 2, x 2 y 1, x 2 y 2 does not belong to the Q-vector space { } l β 0 + β h log α h ; α i and β j algebraic h=1 spanned by 1 and exp 1 (Q ). Deutsch-Französischer Diskurs, Saarland University, July 4,
20 Values of exponential polynomials Proof of Baker s Theorem. Assume β 0 + β 1 log α β n 1 log α n 1 = log α n (B 1 ) (Gel fond Baker s Method) Functions: z 0, e z 1,..., e z n 1, e β 0z 0 +β 1 z 1 + +β n 1 z n 1 Points: Z(1, log α 1,..., log α n 1 ) C n Derivatives: / z i, (0 i n 1). Deutsch-Französischer Diskurs, Saarland University, July 4,
21 Values of exponential polynomials Proof of Baker s Theorem. Assume β 0 + β 1 log α β n 1 log α n 1 = log α n (B 1 ) (Gel fond Baker s Method) Functions: z 0, e z 1,..., e z n 1, e β 0z 0 +β 1 z 1 + +β n 1 z n 1 Points: Z(1, log α 1,..., log α n 1 ) C n Derivatives: / z i, (0 i n 1). n + 1 functions, n variables, 1 point, n derivatives Deutsch-Französischer Diskurs, Saarland University, July 4,
22 Another proof of Baker s Theorem. Assume again β 0 + β 1 log α β n 1 log α n 1 = log α n (B 2 ) (Generalization of Schneider s method) Functions: z 0, z 1,..., z n 1, e z 0 α z 1 1 αz n 1 n 1 = exp{z 0 + z 1 log α z n 1 log α n 1} Points: {0} Z n 1 + Z(β 0,,..., β n 1 ) C n Derivative: / z 0. Deutsch-Französischer Diskurs, Saarland University, July 4,
23 Another proof of Baker s Theorem. Assume again β 0 + β 1 log α β n 1 log α n 1 = log α n (B 2 ) (Generalization of Schneider s method) Functions: z 0, z 1,..., z n 1, e z 0 α z 1 1 αz n 1 n 1 = exp{z 0 + z 1 log α z n 1 log α n 1} Points: {0} Z n 1 + Z(β 0,,..., β n 1 ) C n Derivative: / z 0. n + 1 functions, n variables, n points, 1 derivative Deutsch-Französischer Diskurs, Saarland University, July 4,
24 Proof of the strong six exponentials Theorem Assume x 1,..., x a are Q-linearly independent, y 1,..., y b are Q-linearly independent and β ij are algebraic numbers such that with ab > a + b. e x iy j β ij Q for i = 1,..., a,, j = 1,..., b Functions: z i, e x i(z a+1 +z 1 ) z i (1 i a) Points: (β 1j,..., β aj, y j β 1j ) C a+1 (1 j b) Derivatives: / z i (2 i a) et / z a+1 / z 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
25 Proof of the strong six exponentials Theorem Assume x 1,..., x a are Q-linearly independent, y 1,..., y b are Q-linearly independent and β ij are algebraic numbers such that with ab > a + b. e x iy j β ij Q for i = 1,..., a,, j = 1,..., b Functions: z i, e x i(z a+1 +z 1 ) z i (1 i a) Points: (β 1j,..., β aj, y j β 1j ) C a+1 (1 j b) Derivatives: / z i (2 i a) and / z a+1 / z 1. 2a functions, a + 1 variables, b points, a derivatives Deutsch-Französischer Diskurs, Saarland University, July 4,
26 Linear Subgroup Theorem G = G d 0 a G d 1 m, d = d 0 + d 1. W T e (G) a C-subspace which is rational over Q. Let l 0 be its dimension. Y T e (G) a finitely generated subgroup with Γ = exp(y ) contained in G(Q) = Q d0 (Q ) d 1. Let l 1 be the Z-rank of Γ. V T e (G) a C-subspace containing both W and Y. Let n be the dimension of V. Hypothesis: n(l 1 + d 1 ) < l 1 d 1 + l 0 d 1 + l 1 d 0 Deutsch-Französischer Diskurs, Saarland University, July 4,
27 n(l 1 + d 1 ) < l 1 d 1 + l 0 d 1 + l 1 d 0 d 0 + d 1 is the number of functions d 0 are linear d 1 are exponential n is the number of variables l 0 is the number of derivatives l 1 is the number of points Deutsch-Französischer Diskurs, Saarland University, July 4,
28 d 0 d 1 l 0 l 1 n Baker B 1 1 n n 1 n Baker B 2 n 1 1 n n Six exponentials a a a b a + 1 Deutsch-Französischer Diskurs, Saarland University, July 4,
29 Baker: d 0 d 1 l 0 l 1 n Baker B 1 1 n n 1 n Baker B 2 n 1 1 n n Six exponentials a a a b a + 1 n(l 1 + d 1 ) = n 2 + n l 1 d 1 + l 0 d 1 + l 1 d 0 = n 2 + n + 1 Deutsch-Französischer Diskurs, Saarland University, July 4,
30 d 0 d 1 l 0 l 1 n Baker B 1 1 n n 1 n Baker B 2 n 1 1 n n Six exponentials a a a b a + 1 Baker: n(l 1 + d 1 ) = n 2 + n l 1 d 1 + l 0 d 1 + l 1 d 0 = n 2 + n + 1 Six exponentials: a + b < ab n(l 1 + d 1 ) = a 2 + ab + a + b l 1 d 1 + l 0 d 1 + l 1 d 0 = a 2 + 2ab Deutsch-Französischer Diskurs, Saarland University, July 4,
31 duality: (d 0, d 1, l 0, l 1 ) (l 0, l 1, d 0, d 1 ) ( ) s d ( z t e xz) ( ) t d dz = ( z=y z s e yz) dz. z=x Deutsch-Französischer Diskurs, Saarland University, July 4,
32 Fourier-Borel duality: (d 0, d 1, l 0, l 1 ) (l 0, l 1, d 0, d 1 ) ( ) s d ( z t e xz) ( ) t d dz = ( z=y z s e yz) dz. z=x ( ) s d L sy : f f(y). dz f ζ (z) = e zζ, L sy (f ζ ) = ζ s e yζ. ( ) t d L sy (z t f ζ ) = L sy(f ζ ). dζ Deutsch-Französischer Diskurs, Saarland University, July 4,
33 For v = (v 1,..., v n ) C n, set D v = v v n z 1 z n Let w 1,..., w l0, u 1,..., u d0, x and y in C n, t N d 0 s N l 0. For z C n, write and Then (uz) t = (u 1 z) t1 (u d0 z) t d 0 and D s w = D s 1 w 1 D s l 0 w l0. D s w( (uz) t e xz) z=y = D t u( (wz) s e yz) z=x Deutsch-Französischer Diskurs, Saarland University, July 4,
34 Hopf Algebras (over k = C or k = Q) Algebras A k-algebra (A, m, η) is a k-vector space A with a product m : A A A and a unit η : k A which are k-linear maps such that the following diagrams commute: (Associativity) A A A Id m m Id A A A A m A m (Unit) k A η Id A A Id η A k m A = A = A Deutsch-Französischer Diskurs, Saarland University, July 4,
35 Coalgebras A k-coalgebra (A,, ɛ) is a k-vector space A with a coproduct : A A A and a counit ɛ : A k which are k-linear maps such that the following diagrams commute: (Coassociativity) A A A Id A A Id A A A (Counit) A = A = A k A A A A k ɛ Id Id ɛ Deutsch-Französischer Diskurs, Saarland University, July 4,
36 Bialgebras A bialgebra (A, m, η,, ɛ) is a k-algebra (A, m, η) together with a coalgebra structure (A,, ɛ) which is compatible: and ɛ are algebra morphisms (xy) = (x) (y), ɛ(xy) = ɛ(x)ɛ(y). Deutsch-Französischer Diskurs, Saarland University, July 4,
37 Hopf Algebras A Hopf algebra (H, m, η,, ɛ, S) is a bialgebra (H, m, η,, ɛ) with an antipode S : H H which is a k-linear map such that the following diagram commutes: H H H H H Id S η ɛ S Id H H m H m H H Deutsch-Französischer Diskurs, Saarland University, July 4,
38 In a Hopf Algebra the primitive elements (x) = x x satisfy ɛ(x) = 0 and S(x) = x; they form a Lie algebra for the bracket [x, y] = xy yx. Deutsch-Französischer Diskurs, Saarland University, July 4,
39 In a Hopf Algebra the primitive elements (x) = x x satisfy ɛ(x) = 0 and S(x) = x; they form a Lie algebra for the bracket [x, y] = xy yx. The group-like elements (x) = x x, x 0 are invertible, they satisfy ɛ(x) = 1, S(x) = x 1 and form a multiplicative group. Deutsch-Französischer Diskurs, Saarland University, July 4,
40 Example 1. Let G be a finite multiplicative group, kg the algebra of G over k which is a k vector-space with basis G. The mapping extends the product of G by linearity. The unit maps 1 to 1 G. m : kg kg kg (x, y) xy η : k kg Deutsch-Französischer Diskurs, Saarland University, July 4,
41 Define a coproduct and a counit : kg kg kg and ɛ : kg k by extending (x) = x x and ɛ(x) = 1 for x G by linearity. The antipode S : kg kg is defined by S(x) = x 1 for x G. Deutsch-Französischer Diskurs, Saarland University, July 4,
42 Since (x) = x x for x G this Hopf algebra kg is cocommutative. It is a commutative algebra if and only if G is commutative. The set of group like elements is G: one recovers G from kg. Deutsch-Französischer Diskurs, Saarland University, July 4,
43 Example 2. Again let G be a finite multiplicative group. Consider the k- algebra k G of mappings G k, with basis δ g (g G), where δ g (g ) = { 1 for g = g, 0 for g g. Define m by m(δ g δ g ) = δ g δ g. Hence m is commutative and m(δ g δ g ) = δ g for g G. The unit η : k k G maps 1 to g G δ g. Deutsch-Französischer Diskurs, Saarland University, July 4,
44 Define a coproduct : k G k G k G and a counit ɛ : k G k by (δ g ) = δ g δ g and ɛ(δ g ) = δ g (1 G ). g g =g The coproduct is cocommutative if and only if the group G is commutative. Define an antipode S by S(δ g ) = δ g 1. Remark. One may identify k G k G and k G G with δ g δ g = δ g,g. Deutsch-Französischer Diskurs, Saarland University, July 4,
45 Duality of Hopf Algebras The Hopf algebras kg from example 1 and k G from example 2 are dual from each other: kg k G k (g 1, δ g2 ) δ g2 (g 1 ) The basis G of kg is dual to the basis (δ g ) g G of k G. Deutsch-Französischer Diskurs, Saarland University, July 4,
46 Example 3. Let G be a topological compact group over C. Denote by R(G) the set of continuous functions f : G C such that the translates f t : x f(tx), for t G, span a finite dimensional vector space. Define a coproduct, a counit ɛ and an antipode S on R(G) by f(x, y) = f(xy), ɛ(f) = f(1), Sf(x) = f(x 1 ) for x, y G. Hence R(G) is a commutative Hopf algebra. Deutsch-Französischer Diskurs, Saarland University, July 4,
47 Example 4. Let g be a Lie algebra, U(g) its universal envelopping algebra, namely T(g)/I where T(g) is the tensor algebra of g and I the two sided ideal generated by XY Y X [X, Y ]. Define a coproduct, a counit ɛ and an antipode S on U(g) by for x g. (x) = x x, ɛ(x) = 0, S(x) = x Hence U(g) is a cocommutative Hopf algebra. The set of primitive elements is g: one recovers g from U(g). Deutsch-Französischer Diskurs, Saarland University, July 4,
48 Duality of Hopf Algebras (again) Let G be a compact connected Lie group with Lie algebra g. Then the two Hopf algebras R(G) and U(g) are dual from each other. Deutsch-Französischer Diskurs, Saarland University, July 4,
49 Abelian Hopf algebras of finite type 1. H = k[x], (X) = X X, ɛ(x) = 0, S(X) = X. Deutsch-Französischer Diskurs, Saarland University, July 4,
50 Abelian Hopf algebras of finite type 1. H = k[x], (X) = X X, ɛ(x) = 0, S(X) = X. k[x] k[x] k[t 1, T 2 ], X 1 T 1, 1 X T 2 P (X) = P (T 1 + T 2 ), ɛp (X) = P (0), SP (X) = P ( X). Deutsch-Französischer Diskurs, Saarland University, July 4,
51 Abelian Hopf algebras of finite type 1. H = k[x], (X) = X X, ɛ(x) = 0, S(X) = X. k[x] k[x] k[t 1, T 2 ], X 1 T 1, 1 X T 2 P (X) = P (T 1 + T 2 ), ɛp (X) = P (0), SP (X) = P ( X). G a (K) = Hom k (k[x], K), k[g a ] = k[x] k[g a ] is an abelian Hopf algebra of finite type. Deutsch-Französischer Diskurs, Saarland University, July 4,
52 Abelian Hopf algebras of finite type 2. H = k[y, Y 1 ], (Y ) = Y Y, ɛ(y ) = 1, S(Y ) = Y 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
53 Abelian Hopf algebras of finite type 2. H = k[y, Y 1 ], (Y ) = Y Y, ɛ(y ) = 1, S(Y ) = Y 1. H H k[t 1, T 1 1, T 2, T 1 2 ], Y 1 T 1, 1 Y T 2 P (Y ) = P (T 1 T 2 ), ɛp (Y ) = P (1), SP (Y ) = P (Y 1 ). Deutsch-Französischer Diskurs, Saarland University, July 4,
54 Abelian Hopf algebras of finite type 2. H = k[y, Y 1 ], (Y ) = Y Y, ɛ(y ) = 1, S(Y ) = Y 1. H H k[t 1, T 1 1, T 2, T 1 2 ], Y 1 T 1, 1 Y T 2 P (Y ) = P (T 1 T 2 ), ɛp (Y ) = P (1), SP (Y ) = P (Y 1 ). G m (K) = Hom k (k[y, Y 1 ], K), k[g m ] = k[y, Y 1 ], k[g m ] is an abelian Hopf algebra of finite type. Deutsch-Französischer Diskurs, Saarland University, July 4,
55 Abelian Hopf algebras of finite type 3. H = k[x 1,..., X d0, Y 1, Y 1 1,..., Y d1, Y 1 d 1 ] k[x] d 0 k[y, Y 1 ] d 1 Primitive elements: k-space kx kx d0, dimension d 0. Group-like elements: multiplicative group Y 1,..., Y d1, rank d 1. G = G d 0 a G d 1 a k[g] = H, G(K) = Hom k (H, K). Deutsch-Französischer Diskurs, Saarland University, July 4,
56 Abelian Hopf algebras of finite type 3. H = k[x 1,..., X d0, Y 1, Y 1 1,..., Y d1, Y 1 d 1 ] k[x] d 0 k[y, Y 1 ] d 1 The category of commutative linear algebraic groups over k G = G d 0 a G d 1 m is anti-equivalent to the category of Hopf algebras of finite type which are abelian (commutative and cocomutative) H = k[g]. The vector space of primitive elements has dimension d 0 while the rank of the group-like elements is d 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
57 Other examples If W is a k-vector space of dimension l 0, Sym(W ) is an abelian Hopf algebra of finite type, anti-isomorphic to k[g l 0 a ]: For a basis 1,..., l0 of W, Sym(W ) k[ 1,..., l0 ]. Deutsch-Französischer Diskurs, Saarland University, July 4,
58 Other examples If W is a k-vector space of dimension l 0, Sym(W ) is an abelian Hopf algebra of finite type, anti-isomorphic to k[g l 0 a ]. If Γ is a torsion free finitely generated Z-module of rank l 1, then the group algebra kγ is again an abelian Hopf algebra of finite type, anti-isomorphic to k[g l 1 m]: For a basis γ 1,..., γ l1 of Γ, kγ k[γ 1, γ 1 1,..., γ l 1, γ 1 l 1 ]. Deutsch-Französischer Diskurs, Saarland University, July 4,
59 Other examples If W is a k-vector space of dimension l 0, Sym(W ) is an abelian Hopf algebra of finite type, anti-isomorphic to k[g l 0 a ]. If Γ is a torsion free finitely generated Z-module of rank l 1, then the group algebra kγ is again an abelian Hopf algebra of finite type, anti-isomorphic to k[g l 1 m]. The category of abelian Hopf algebras of finite type is equivalent to the category of pairs (W, Γ) where W is a k-vector space and Γ is a finitely generated Z-module: H = Sym(W ) kγ. Deutsch-Französischer Diskurs, Saarland University, July 4,
60 Interpretation of the duality in terms of Hopf algebras following Stéphane Fischler Let C 1 be the category with objects: (G, W, Γ) where G = G d 0 a G d 1 m, W T e (G) is rational over Q and Γ G(Q) is finitely generated morphisms: f : (G 1, W 1, Γ 1 ) (G 2, W 2, Γ 2 ) where f : G 1 G 2 is a morphism of algebraic groups such that f(γ 1 ) Γ 2 and f induces a morphism such that df(w 1 ) W 2. df : T e (G 1 ) T e (G 2 ) Deutsch-Französischer Diskurs, Saarland University, July 4,
61 Let H be an abelian Hopf algebra over Q of finite type. Denote by d 0 the dimension of the Q-vector space of primitive elements and by d 1 the rank of the group of group-like elements. Let H be another abelian Hopf algebra over Q of finite type, l 0 the dimension of the space of primitive elements and l 1 the rank of the group-like elements. Let : H H Q be a bilinear product such that x, yy = x, y y and xx, y = x x, y. Deutsch-Französischer Diskurs, Saarland University, July 4,
62 Let C 2 be the category with objects: (H, H, ) pair of Hopf algebras with a bilinear product as above. morphisms: (f, g) : (H 1, H 1, 1 ) (H 2, H 2, 2 ) where f : H 1 H 2 and g : H 2 H 1 are Hopf algebras morphisms such that x 1, g(x 2) 1 = f(x 1 ), x 2 2. Deutsch-Französischer Diskurs, Saarland University, July 4,
63 Stéphane Fischler: The categories C 1 and C 2 are equivalent. Further, Fourier-Borel duality amounts to permute H and H. Consequence: estimates. interpolation lemmas are equivalent to zero Deutsch-Französischer Diskurs, Saarland University, July 4,
64 Stéphane Fischler: The categories C 1 and C 2 are equivalent. For R C[G], 1,..., k W and γ Γ, set R, γ 1... k = 1... k R(γ). Conversely, for H 1 = C[G] and H 2 = Sym(W ) kγ, consider Γ G(C) γ ( R R, γ ) and W T e (G) ( R R, ) Deutsch-Französischer Diskurs, Saarland University, July 4,
65 Stéphane Fischler: The categories C 1 and C 2 are equivalent. Further, Fourier-Borel duality amounts to permute H and H. Open Problems: Define n associated with (G, Γ, W ) in terms of (H, H, ) Deutsch-Französischer Diskurs, Saarland University, July 4,
66 Stéphane Fischler: The categories C 1 and C 2 are equivalent. Further, Fourier-Borel duality amounts to permute H and H. Open Problems: Define n associated with (G, Γ, W ) in terms of (H, H, ) Extend to non linear commutative algebraic groups (elliptic curves, abelian varieties, and generally semi-abelian varieties) Deutsch-Französischer Diskurs, Saarland University, July 4,
67 Stéphane Fischler: The categories C 1 and C 2 are equivalent. Further, Fourier-Borel duality amounts to permute H and H. Open Problems: Define n associated with (G, Γ, W ) in terms of (H, H, ) Extend to non linear commutative algebraic groups (elliptic curves, abelian varieties, and generally semi-abelian varieties) Extend to non abelian Hopf algebras (of finite type to start with) Deutsch-Französischer Diskurs, Saarland University, July 4,
68 Stéphane Fischler: The categories C 1 and C 2 are equivalent. Further, Fourier-Borel duality amounts to permute H and H. Open Problems: Define n associated with (G, Γ, W ) in terms of (H, H, ) Extend to non linear commutative algebraic groups (elliptic curves, abelian varieties, and generally semi-abelian varieties) Extend to non abelian Hopf algebras (of finite type to start with) (?) Transcendence results on non commutative algebraic groups Deutsch-Französischer Diskurs, Saarland University, July 4,
69 Algebra of multizeta values Denote by S the set of sequences s = (s 1,..., s k ) N k with k 1, s 1 2, s i 1 (2 i k). The weight s of s is s s k, while k is the depth. For s S set ζ(s) = n 1 > >n k 1 n s 1 1 n s k k. Depth 1: values of Riemann zeta function at positive integers (Euler). Deutsch-Französischer Diskurs, Saarland University, July 4,
70 Algebra of multizeta values Denote by S the set of sequences s = (s 1,..., s k ) N k with k 1, s 1 2, s i 1 (2 i k). The weight s of s is s s k, while k is the depth. For s S set ζ(s) = n 1 > >n k 1 n s 1 1 n s k k. Let Z denote the Q-vector space spanned in C by the numbers (2iπ) s ζ(s) (s S). Deutsch-Französischer Diskurs, Saarland University, July 4,
71 For s and s in S, the product ζ(s)ζ(s ) is in two ways a linear combination of numbers ζ(s ). The product of series is one way (quadratic relations arising from the series expansions) - for instance: ζ(s)ζ(s ) = ζ(s, s ) + ζ(s, s) + ζ(s + s ). n m = n>m + m>n + n=m Hence Z is a Q-subalgebra of C bifiltered by the weight and by the depth. Deutsch-Französischer Diskurs, Saarland University, July 4,
72 For a graded Lie algebra C denote by UC its universal envelopping algebra and by UC = n 0(UC) n its graded dual, which is a commutative Hopf algebra. Conjecture (Goncharov). There exists a free graded Lie algebra C and an isomorphism of algebras Z UC filtered by the weight on the left and by the degree on the right. Deutsch-Französischer Diskurs, Saarland University, July 4,
73 Reference: Goncharov A.B. Multiple polylogarithms, cyclotomy and modular complexes. Math. Research Letter 5 (1998), Deutsch-Französischer Diskurs, Saarland University, July 4,
74 Let X = {x 0, x 1 } be an alphabet with two letters. Consider the free monoid (concatenation product) X = {x ɛ1 x ɛk ; ɛ i {0, 1}, (1 i k), k 0} on X (non commutative monomials = words on the alphabet X) including the empty word e. Deutsch-Französischer Diskurs, Saarland University, July 4,
75 Let X = {x 0, x 1 } be an alphabet with two letters. Consider the free monoid (concatenation product) X = {x ɛ1 x ɛk ; ɛ i {0, 1}, (1 i k), k 0} on X (non commutative monomials = words on the alphabet X) including the empty word e. For s S set Hence y s = x s x 1 x s k 1 0 x 1. y s = x s 1 0 x 1, y s = y s1 y sk. Deutsch-Französischer Diskurs, Saarland University, July 4,
76 Let X = {x 0, x 1 } be an alphabet with two letters. Consider the free monoid (concatenation product) X = {x ɛ1 x ɛk ; ɛ i {0, 1}, (1 i k), k 0} on X (non commutative monomials = words on the alphabet X) including the empty word e. For s S set y s = x s x 1 x s k 1 0 x 1. This is a one-to-one correspondance between S and the set x 0 X x 1 of words which start with x 0 and end with x 1. The depth k is the number of x 1, the weight s is the number of letters. Deutsch-Französischer Diskurs, Saarland University, July 4,
77 For s = (s 1,..., s k ) S set p = s and define (ɛ 1,..., ɛ p ) in {0, 1} p by y s = x ɛ1 x ɛp. Hence ɛ 1 = 0 and ɛ p = 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
78 For s = (s 1,..., s k ) S set p = s and define (ɛ 1,..., ɛ p ) in {0, 1} p by y s = x ɛ1 x ɛp. Let ω 0 (t) = dt t and ω 1 (t) = dt 1 t Integral representation of multizeta values: ζ(s) = ω ɛ1 (t 1 ) ω ɛp (t p ). 1>t 1 > >t p >0 Deutsch-Französischer Diskurs, Saarland University, July 4,
79 Examples: y 3 = x 2 0x 1 : ζ(3) = 1 0 dt 1 t 1 t1 0 dt 2 t 2 t2 0 dt 3 1 t 3 Deutsch-Französischer Diskurs, Saarland University, July 4,
80 Examples: y 3 = x 2 0x 1 : ζ(3) = 1 0 dt 1 t 1 t1 0 dt 2 t 2 t2 0 dt 3 1 t 3 y 21 = y 2 y 1 = x 0 x 2 1: ζ(2, 1) = 1 0 dt 1 t 1 t1 0 dt 2 1 t 2 t2 0 dt 3 1 t 3 Deutsch-Französischer Diskurs, Saarland University, July 4,
81 Examples: y 3 = x 2 0x 1 : ζ(3) = 1 0 dt 1 t 1 t1 0 dt 2 t 2 t2 0 dt 3 1 t 3 y 21 = y 2 y 1 = x 0 x 2 1: ζ(2, 1) = 1 0 dt 1 t 1 t1 0 dt 2 1 t 2 t2 0 dt 3 1 t 3 Remark. From (t 1, t 2, t 3 ) (1 t 3, 1 t 2, 1 t 1 ) one deduces ζ(2, 1) = ζ(3). Deutsch-Französischer Diskurs, Saarland University, July 4,
82 Quadratic relations arising from the integral representation The product of two such integrals is a linear combination of similar integrals. Indeed the integral ω ɛ1 (t 1>t 1 > >tp>0 1 ) ω ɛp (t p )ω ɛ 1 (t 1) ω ɛp (t p ) 1>t 1 > >t p >0 is the integral over 1 > u 1 > > u p+p > 0 of the shuffle of ω ɛ1 ω ɛp with ω ɛ 1 ω ɛ p. Deutsch-Französischer Diskurs, Saarland University, July 4,
83 Example: From (x 0 x 1 )x(x 0 x 1 ) = 2x 0 x 1 x 0 x 1 + 4x 2 0x 2 1 one deduces ζ(2) 2 = 2ζ(2, 2) + 4ζ(3, 1). Deutsch-Französischer Diskurs, Saarland University, July 4,
84 Example: From (x 0 x 1 )x(x 0 x 1 ) = 2x 0 x 1 x 0 x 1 + 4x 2 0x 2 1 one deduces ζ(2) 2 = 2ζ(2, 2) + 4ζ(3, 1). For y s x 0 X x 1, set ˆζ(y s ) = ζ(s). This defines ˆζ : x 0 X x 1 R. Then for w and w in x 0 X x 1 we have ˆζ(w)ˆζ(w ) = ˆζ(wxw ) Deutsch-Französischer Diskurs, Saarland University, July 4,
85 Let H be the free algebra Q X over X (non commutative polynomials in x 0 and x 1, Q-vector space with basis X, concatenation product). The subalgebra H 0 = Qe + x 0 Hx 1 of H is also the free algebra Q Y over Y = {y 2, y 3,...}. The shuffle x endows both H and H 0 with commutative algebra structures H x and H 0 x: for x and y in X, u and v in X, xuxyv = x(uxyv) + v(xuxv). Extend ˆζ as a Q-linear map H 0 R. Then ˆζ : H 0 x R is a morphism of commutative algebras. Deutsch-Französischer Diskurs, Saarland University, July 4,
86 A non commutative but cocommutative Hopf algebra structure on H is given by the coproduct P = P (x x 0, x x 1 ) the counit ɛ(p ) = P e and the antipode S(x 1 x n ) = ( 1) n x n x 1 for n 1 and x 1,..., x n in X. Concatenation (or Decomposition) Hopf algebra: (H,, e,, ɛ, S) Deutsch-Französischer Diskurs, Saarland University, July 4,
87 Writing we have P = (P u)u u X P = (P uxv)u v. u,v X Friedrichs Criterion. The set of primitive elements in H is the free Lie algebra Lie(X) on X. Hence P Lie(X) (P uxv) = 0 for all u, v in X \ {e}. Deutsch-Französischer Diskurs, Saarland University, July 4,
88 Dual of the concaténation product: Φ : H H H defined by Φ(w) u v = uv w. Hence Φ(w) = u v. u,v X uv=w Shuffle (or factorization) Hopf algebra: (H, x, e, Φ, ɛ, S). Commutative, not cocommutative. Deutsch-Französischer Diskurs, Saarland University, July 4,
89 Harmonic Algebra M. Hoffmann The quasi-shuffle (or stuffle) product: with : H 0 H 0 H 0 y s u y t v = y s (u y t v) + y t (y s u y t v) + y s+t (u v). endows H 0 with a commutative algebra structure H 0 and the quadratic relations arising from series expansions show that ˆζ : H 0 R is a morphism of commutative algebras. Deutsch-Französischer Diskurs, Saarland University, July 4,
90 Cocommutative quasi-shuffle Hopf algebra Q Y : (y i ) = y i e + e y i, ɛ(p ) = P e, S(y s1 y sk ) = ( 1) k y sk y s1. Deutsch-Französischer Diskurs, Saarland University, July 4,
91 Remark. Combining both quadratic relations yields ˆζ(wxw w w ) = 0 for w and w in x 0 X x 1. From and y 1 xy 2 = x 1 xx 0 x 1 = x 1 x 0 x 1 + 2x 0 x 2 1 = y 1 y 2 + 2y 2 y 1 one deduces y 1 y 2 = y 1 y 2 + y 2 y 1 + y 3 y 1 xy 2 y 1 y 2 = y 2 y 1 y 3. As we know ζ(2, 1) = ζ(3), hence y 1 xy 2 y 1 y 2 lies in the kernel of ˆζ. But y 1 x 0 X x 1. Deutsch-Französischer Diskurs, Saarland University, July 4,
92 Conjecture (Ihara-Kaneko). The kernel of ˆζ as a Q-linear map H 0 R is spanned by the regularized double shuffle relations. Results on the formal algebra by J. Écalle. Deutsch-Französischer Diskurs, Saarland University, July 4,
The four exponentials conjecture, the six exponentials theorem and related statements.
Number Theory Seminar at NCTS October 29, 2003 The four exponentials conjecture, the six exponentials theorem and related statements. Michel Waldschmidt miw@math.jussieu.fr http://www.math.jussieu.fr/
More informationLecture III. Five Lie Algebras
Lecture III Five Lie Algebras 35 Introduction The aim of this talk is to connect five different Lie algebras which arise naturally in different theories. Various conjectures, put together, state that they
More informationDependence of logarithms on commutative algebraic groups
INTERNATIONAL CONFERENCE on ALGEBRA and NUMBER THEORY Hyderabad, December 11 16, 2003 Dependence of logarithms on commutative algebraic groups Michel Waldschmidt miw@math.jussieu.fr http://www.math.jussieu.fr/
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 informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationQuantum Groups. Jesse Frohlich. September 18, 2018
Quantum Groups Jesse Frohlich September 18, 2018 bstract Quantum groups have a rich theory. Categorically they are wellbehaved under the reversal of arrows, and algebraically they form an interesting generalization
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 informationTranscendental Number Theory: Recent Results and Conjectures
Days of Mathematics Oulu, January 9, 2004 Transcendental Number Theory: Recent Results and Conjectures Michel Waldschmidt http://www.math.jussieu.fr/ miw/ http://math.oulu.fi/matematiikanpaivat/matematiikanpaivat.html
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 informationRenormalization and Euler-Maclaurin Formula on Cones
Renormalization and Euler-Maclaurin Formula on Cones Li GUO (joint work with Sylvie Paycha and Bin Zhang) Rutgers University at Newark Outline Conical zeta values and multiple zeta values; Double shuffle
More informationMultiple divisor functions, their algebraic structure and the relation to multiple zeta values
Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple
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 informationSupported by a Royal Society professorship and by an NSF grant.
The fake monster formal group. 27 May, 31 Dec 1998 Duke Math J. Vol 100 No. 1 (1999), 139-165. Richard E. Borcherds, D.P.M.M.S., 16 Mill Lane, Cambridge, CB2 1SB, England. e-mail: reb@dpmms.cam.ac.uk home
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 informationHopf Algebras. Zajj Daugherty. March 6, 2012
Hopf Algebras Zajj Daugherty March 6, 2012 Big idea: The Hopf algebra structure is essentially what one needs in order to guarantee that tensor products of modules are also modules Definition A bialgebra
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationc Copyright 2013 Guangbin Zhuang
c Copyright 2013 Guangbin Zhuang Hopf algebras of finite Gelfand-Kirillov dimension Guangbin Zhuang A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy
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 informationThe algebra of multiple divisor functions and applications to multiple zeta values
The algebra of multiple divisor functions and applications to multiple zeta values ESF Workshop: New Approaches To Multiple Zeta Values ICMAT Madrid - 30th September 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920
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 informationElementary (super) groups
Elementary (super) groups Julia Pevtsova University of Washington, Seattle Auslander Days 2018 Woods Hole 2 / 35 DETECTION QUESTIONS Let G be some algebraic object so that Rep G, H (G) make sense. Question
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 informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationOn the renormalization problem of multiple zeta values
On the renormalization problem of multiple zeta values joint work with K. Ebrahimi-Fard, D. Manchon and J. Zhao Johannes Singer Universität Erlangen Paths to, from and in renormalization Universität Potsdam
More informationTranscendence theory in positive characteristic
Prof. Dr. Gebhard Böckle, Dr. Patrik Hubschmid Working group seminar WS 2012/13 Transcendence theory in positive characteristic Wednesdays from 9:15 to 10:45, INF 368, room 248 In this seminar we will
More informationQuantum Groups and Link Invariants
Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationLECTURES ON THE HODGE-DE RHAM THEORY OF THE FUNDAMENTAL GROUP OF P 1 {0, 1, }
LECTURES ON THE HODGE-DE RHAM THEORY OF THE FUNDAMENTAL GROUP OF P 1 {0, 1, } RICHARD HAIN Contents 1. Iterated Integrals and Chen s π 1 de Rham Theorem 2 2. Iterated Integrals and Multiple Zeta Numbers
More informationNOTES ON MODULES AND ALGEBRAS
NOTES ON MODULES AND ALGEBRAS WILLIAM SCHMITT 1. Some Remarks about Categories Throughout these notes, we will be using some of the basic terminology and notation from category theory. Roughly speaking,
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 informationHopf algebra structures in particle physics
EPJ manuscript No. will be inserted by the editor) Hopf algebra structures in particle physics Stefan Weinzierl a Max-Planck-Institut für Physik Werner-Heisenberg-Institut), Föhringer Ring 6, D-80805 München,
More informationGraded modules over generalized Weyl algebras
Graded modules over generalized Weyl algebras Advancement to Candidacy Robert Won Advised by: Dan Rogalski December 4, 2014 1 / 41 Overview 1 Preliminaries Graded rings and modules Noncommutative things
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationSheet 11. PD Dr. Ralf Holtkamp Prof. Dr. C. Schweigert Hopf algebras Winter term 2014/2015. Algebra and Number Theory Mathematics department
Algebra and Number Theory Mathematics department PD Dr. Ralf Holtkamp Prof. Dr. C. Schweigert Hopf algebras Winter term 014/015 Sheet 11 Problem 1. We consider the C-algebra H generated by C and X with
More informationAn example of generalization of the Bernoulli numbers and polynomials to any dimension
An example of generalization of the Bernoulli numbers and polynomials to any dimension Olivier Bouillot, Villebon-Georges Charpak institute, France C.A.L.I.N. team seminary. Tuesday, 29 th March 26. Introduction
More informationNonassociative Lie Theory
Ivan P. Shestakov The International Conference on Group Theory in Honor of the 70th Birthday of Professor Victor D. Mazurov Novosibirsk, July 16-20, 2013 Sobolev Institute of Mathematics Siberian Branch
More informationRingel-Hall Algebras II
October 21, 2009 1 The Category The Hopf Algebra 2 3 Properties of the category A The Category The Hopf Algebra This recap is my attempt to distill the precise conditions required in the exposition by
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
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 informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
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 informationCombinatorial Hopf algebras in particle physics I
Combinatorial Hopf algebras in particle physics I Erik Panzer Scribed by Iain Crump May 25 1 Combinatorial Hopf Algebras Quantum field theory (QFT) describes the interactions of elementary particles. There
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 information13:00 13:50 poly-euler L
4 2011 1 7 13:00 9 12:20 1 819-0395 744 ( ) ( ) ( ) 1 7 13:00 13:50 poly-euler L 14:05 14:45 15:05 15:55 Riemann 16:10 17:00 Double Eisenstein series for Γ 0 (2) 1 8 10:15 11:05 4 KZ 11:20 12:10 Multiple
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 informationFormal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationIntroduction to Tree Algebras in Quantum Field Theory
Introduction to Tree Algebras in Quantum Field Theory M. D. Sheppeard Abstract Renormalization procedures for quantum field theories are today reinterpreted using Hopf algebras and related function algebras.
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
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 informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationDION 2005 TIFR December 17, The role of complex conjugation in transcendental number theory
The role of complex conjugation in transcendental number theory Michel Waldschmidt Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ December 17, 2005 DION 2005 TIFR December
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 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 information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationZero estimates for polynomials inspired by Hilbert s seventh problem
Radboud University Faculty of Science Institute for Mathematics, Astrophysics and Particle Physics Zero estimates for polynomials inspired by Hilbert s seventh problem Author: Janet Flikkema s4457242 Supervisor:
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationToward a representation theory of the group scheme represented by the dual Steenrod algebra. Atsushi Yamaguchi
Toward a representation theory of the group scheme represented by the dual Steenrod algebra Atsushi Yamaguchi Struggle over how to understand the theory of unstable modules over the Steenrod algebra from
More informationThe Hopf algebraic structure of stochastic expansions and efficient simulation
The Hopf algebraic structure of stochastic expansions and efficient simulation Kurusch Ebrahimi Fard, Alexander Lundervold, Simon J.A. Malham, Hans Munthe Kaas and Anke Wiese York: 15th October 2012 KEF,
More informationElliptic multiple zeta values
and special values of L-functions Nils Matthes Fachbereich Mathematik Universität Hamburg 21.12.16 1 / 30 and special values of L-functions Introduction Common theme in number theory/arithmetic geometry:
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
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 informationFinite generation of the cohomology rings of some pointed Hopf algebras
Finite generation of the cohomology rings of some pointed Hopf algebras Van C. Nguyen Hood College, Frederick MD nguyen@hood.edu joint work with Xingting Wang and Sarah Witherspoon Maurice Auslander Distinguished
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationHirota equation and the quantum plane
Hirota equation and the quantum plane dam oliwa doliwa@matman.uwm.edu.pl University of Warmia and Mazury (Olsztyn, Poland) Mathematisches Forschungsinstitut Oberwolfach 3 July 202 dam oliwa (Univ. Warmia
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 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 informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationOn combinatorial zeta functions
On combinatorial zeta functions Christian Kassel Institut de Recherche Mathématique Avancée CNRS - Université de Strasbourg Strasbourg, France Colloquium Potsdam 13 May 2015 Generating functions To a sequence
More informationarxiv: v1 [math.ra] 11 Apr 2016
arxiv:1604.02950v1 [math.ra] 11 Apr 2016 Rota-Baxter coalgebras and Rota-Baxter bialgebras Tianshui Ma and Linlin Liu 1 Department of Mathematics, School of Mathematics and Information Science, Henan Normal
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationThe hyperbolic Ax-Lindemann-Weierstraß conjecture
The hyperbolic Ax-Lindemann-Weierstraß conjecture B. Klingler (joint work with E.Ullmo and A.Yafaev) Université Paris 7 ICM Satellite Conference, Daejeon Plan of the talk: (1) Motivation: Hodge locus and
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationSolutions of exercise sheet 11
D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial
More informationOn Algebraic and Semialgebraic Groups and Semigroups
Seminar Sophus Lie 3 (1993) 221 227 Version of July 15, 1995 On Algebraic and Semialgebraic Groups and Semigroups Helmut Boseck 0. This is a semi lecture 1 whose background is as follows: The Lie-theory
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationHopf Algebras and Related Topics Conference
Hopf Algebras and Related Topics Conference University of Southern California February 14 16, 2009 Representations of Certain Classes of Hopf Algebras David E. Radford Department of Mathematics, Statistics,
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationMonoidal Categories, Bialgebras, and Automata
Monoidal Categories, Bialgebras, and Automata James Worthington Mathematics Department Cornell University Binghamton University Geometry/Topology Seminar October 29, 2009 Background: Automata Finite automata
More informationHOPF ALGEBRAS IN COMBINATORICS
HOPF ALGEBRAS IN COMBINATORICS DARIJ GRINBERG AND VICTOR REINER Contents Introduction 2 1. What is a Hopf algebra? 4 1.1. Algebras 4 1.2. Coalgebras 5 1.3. Morphisms, tensor products, and bialgebras 6
More informationQUANTUM DOUBLE FOR QUASI-HOPF ALGEBRAS
Damtp/95-69 QUANTUM DOUBLE FOR QUASI-HOPF ALGEBRAS S. Majid 1 Department of Mathematics, Harvard University Science Center, Cambridge MA 02138, USA 2 + Department of Applied Mathematics & Theoretical Physics
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
More informationMultivariable Calculus and Matrix Algebra-Summer 2017
Multivariable Calculus and Matrix Algebra-Summer 017 Homework 4 Solutions Note that the solutions below are for the latest version of the problems posted. For those of you who worked on an earlier version
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
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 informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More information