Rota-Baxter Algebra I
|
|
- Philomena Carmel Williams
- 6 years ago
- Views:
Transcription
1 1 Rota-Baxter Algebra I Li GUO Rutgers University at Newark
2 . From differentiation to integration. d Differential operator: dx (f)(x) = lim h differential equations differential geometry differential topology differential algebra differential algebraic geometry f(x + h) f(x) h d (Leibniz rule) dx (f g) = f d dx (g) + d dx (f)g. A differential operator in general is a linear operator d satisfying the Leibniz rule: d(fg) = f d(g) + d(f)g. Integration operator: x f(t)dt = limit of Riemann sums.??? x (integration by parts) F Gdt = FG x x FG dt. An integration operator in general should be a linear operator P satisfying the integration by parts formula. 2
3 1. Rota-Baxter algebras: definition and examples A Rota-Baxter operator or a Baxter operator on an algebra R is a linear map P : R R such that P(x)P(y) = P(xP(y)) + P(P(x)y) + λp(xy), x, y R. Examples: Integration: A = Cont(R) (ring of continuous functions x on R). P : R R, P[f](x) := f(t)dt. Then P is a weight Rota-Baxter operator: Let F(x) = P[f](x) = x f(t) dt, G(x) = P[g](x) = Then the integration by parts formula states x (F() = G() = ), that is, F(t)G (t)dt = F(x)G(x) x x F (t)g(t)dt P[P[f]g](x) = P[f](x)P[g](x) P[fP[g]](x). 3 g(t) dt.
4 4 Summation: On a suitable class of functions, define P[f](x) := n 1 f(x + n). Then P is a Rota-Baxter operator of weight 1, since ( )( ) P[f](x)P[g](x) = f(x + n) g(x + m) = n 1,m 1 ( = n>m 1 n 1 f(x + n)g(x + m) + m>n 1 + m=n 1 m 1 ) f(x + n)g(x + m) = ( f(x + k } + {{ m } ) ) g(x + m) + ( g(x + k }{{ + n } ) ) f(x + n) m 1 k 1 =n n 1 k 1 =m + f(x + n)g(x + n) n 1 = P(P(f)g)(x) + P(fP(g))(x) + P(fg)(x).
5 5 Partial sum: Let R be the set of sequences {a n } with values in k. Then R is a k-algebra with termwise sum, product and scalar product. Define P : R R, P(a 1, a 2, ) = (a 1, a 1 + a 2, ). Then P is a Rota-Baxter operator of weight 1. Matrices: On the algebra of upper triangular n n matrices Mn(k), u define P((c kl )) ij = δ ij c ik. k i Then P is a Rota-Baxter operator of weight 1.
6 6 Scalar product: Let R be a k-algebra. For a given λ k, define P λ : R R, x λx, x R. Then (R, P λ ) is a Rota-Baxter algebra of weight λ. In particular, id is a Rota-Baxter operator of weight -1. Laurent series (QFT dimensional regularization): Let R = C[t 1, t]] be the ring of Laurent series n= k a nt n, k. Define 1 P( a n t n ) = a n t n. n= k n= k Then P is a Rota-Baxter operator of weight -1.
7 7 Classical Yang-Baxter equation: Let g be a Lie algebra with a perfect pairing g g k. Then g 2 = g g = End(g). Let r 12 g 2 be anti-symmetric. Then r 12 is a solution (r-matrix) of the classical Yang-Baxter equation (CYB) CYB(r) := [r 12, r 13 ] + [r 12, r 23 ] + [r 13, r 23 ] = if and only if the corresponding P End(g) is a (Lie algebra) Rota-Baxter operator of weight : [P(x), P(y)] = P[P(x), y] + P[x, P(y)] Associative Yang-Baxter equations Let A be an associative algebra and let r := i u i v i R R be a solution of the AYB equation r 13 r 12 r 12 r 23 + r 23 r 13 =. Then P r (x) := i u ixv i defines a Rota-Baxter operator of weight. Others Divided powers, Hochschild homology ring, dendriform algebras, rooted trees, quasi-shuffles, Chen integral symbols,...
8 8 MZV Hopf Algebra pqft Rota Baxter Algebra Operad Yang Baxter Equation Combi natorics
9 2. Free commutative Rota-Baxter algebras 9 Let A be a commutative k-algebra. Let X + (A) = n A n (= T(A)). Consider the following products on X + (A). Define 1 k k to be the unit. Let a = a 1 a m A m and b = b 1 b n A n. Quasi-shuffle product: Hoffman (2) on multiple zeta values. Write a = a 1 a, b = b 1 b. Recursively define (a 1 a ) (b 1 b ) = a 1 (a (b 1 b )))+b 1 ((a 1 a ) b )+a 1 b 1 (a b ), with the convention that if a = a 1, then a multiples as the identity. It defines the shuffle product without the third term. Example. a 1 (b 1 b 2 ) = a 1 (a (b 1 b 2 ))+b 1 (a 1 b 2 )+(a 1 b 1 ) (a b 2 ) = a 1 (b 1 b 2 ) + b 1 (a 1 b 2 ) + (a 1 b 1 ) b 2. = a 1 b 1 b 2 + b 1 a 1 b 2 + b 1 b 2 a 1 + b 1 a 1 b 2 + a 1 b 1 b 2.
10 1 Mixable shuffle product: Guo-Keigher (2) on Rota-Baxter algebras, Goncharov (22) on motivic shuffle relations and Hazewinckle on overlapping shuffle products. A shuffle of a = a 1... a m and b = b 1... b n is a tensor list of a i and b j without change the order of the a i s and b j s. A mixable shuffle is a shuffle in which some pairs a i b j are merged into a i b j. Define (a 1... a m ) (b 1... b n ) to be the sum of mixable shuffles of a 1... a m and b 1... b n. Example: a 1 (b 1 b 2 ) = a 1 b 1 b 2 + b 1 a 1 b 2 + b 1 b 2 a 1 (shuffles) + a 1 b 1 b 2 + b 1 a 1 b 2 (merged shuffles).
11 Stuffles: Cartier (1972) on free commutative Rota-Baxter algebras, Ehrenborg (1996) on monomial quasi-symmetric functions and Bradley (24) on q-multiple zeta values. Given a triple (k,α,β) where max{m, n} k m + n, α : [m] [k] and β : [n] [k] order preserving injections with im(α) im(β) = [k], define Φ k,α,β (a,b) = c 1 c k A k by (taking a = b = 1) c j = a α 1 (j)b β 1 (j). Let S c (m, n) be the set of such triples (k,α,β). Define a b = Φ k,α,β (a,b) = a α 1 (1) b β 1 (1) a α 1 (k) b β 1 (k) (k,α,β) S c(m,n) (k,α,β) S c(m,n) Example: a = a 1, m = 1, b = b 1 b 2, n = 2. k α β Φ k,α,β 3 α(1) = 1 β(1) = 2,β(2) = 3 a 1 b 1 b 2 3 α(1) = 2 β(1) = 1,β(2) = 3 b 1 a 1 b 2 3 α(1) = 3 β(1) = 1,β(2) = 2 b 1 b 2 a 1 2 α(1) = 1 β(1) = 1,β(2) = 2 a 1 b 1 b 2 2 α(1) = 2 β(1) = 1,β(2) = 2 b 1 a 1 b 2 11
12 Delannoy paths: Fares (1999) on coalgebras, Aguiar-Hsiao (24) on quasi-symmetric functions and Loday (25) on Zinbiel operads. Let D(m, n) be the set of lattice paths from (, ) to (m, n) consisting steps either to the right, to the above, or to the above-right. For d D(m, n) define d(a,b) to be the path d with a = (a 1,, a m ) (resp. b = (b 1,, b n )) sequentially labeling the horizontal (resp. vertical) and diagonal segments of d. Define a d b = d(a,b). d D(m,n) b2 b2 b2 b2 b2 b1 b1 b1 b1 b1 a1 a1 a1 a1 a1 a 1 b 1 b 2 b 1 a 1 b 2 b 1 b 2 a 1 a 1 b 1 b 2 b 1 a 1 b 2 Theorem All the above products define the same algebra on X + (A) (of weight λ = 1). 12
13 13 A free Rota-Baxter algebra over another algebra A is a Rota-Baxter algebra X(A) with an algebra homomorphism j A : A X(A) such that for any Rota-Baxter algebra R and algebra homomorphism f : A R, there is a unique Rota-Baxter algebra homomorphism making the diagram commute j A A X(A) f f R When A = k[x], we have the free Rota-Baxter algebra over X. Recall (X + (A), ) is an associative algebra. Then the tensor product algebra (scalar extension) X(A) := A X + (A) is an A-algebra. Theorem (Guo-Keigher) X(A) with the shift operator P(a) := 1 a is the free commutative RBA over A.
14 14 Hopf algebras and free Rota-Baxter algebras Theorem. Then the sextuple (R : R λ := X λ (k),µ,η,,ε, S) is a Hopf algebra. Here (i) R = ke n, is the free k-module on the set {e n } n, n= (ii) µ = µ λ : R R R, e m e n (iii) η = η λ : k R, 1 e, (iv) = λ : R R R, e n (v) ε = ε λ : R k, e n m ( )( λ k m+n k m ) e m+n k k= m n n k ( λ) k e i e n k i, k= i= 1, n =, λ1, n = 1,, n 2 n ( (vi) S = S λ : R R, e n ( 1) n v= n 3 v 3 ) λ n v e v. k
15 15 Here for any positive or negative integer x, ( ) x k is defined by the ( generating function (1 + z) x x ) = z k. k= When λ =, we have the divided power algebra. More generally, if A is a Hopf algebra, then X(A) is a Hopf algebra. In particular, X(X) = X(k[X]) is a Hopf algebra. k
16 3. Spitzer s Identity 16 Theorem (Spitzer, 1956) Let (A, P) be a unital commutative Rota Baxter Q-algebra of weight λ. Then for a A, we have ( exp P ( )) log(1 + λat) = λ in the ring of power series A[[t]]. P ( ap(ap( (ap(a)))) ) }{{} n-times n= Geometric series. Let P = id on R. It is a Rota-Baxter operator of weight -1. Applying Spitzer, we have 1/(1 at) = n (at) n. t n
17 Integration In LHS of Spitzer, 1 λ log(1 + λat) = 1 ( λat + (λat) 2 / ) λ at. λ So we have weight Spitzer s identity exp (P(at))) = t n P ( ap(ap( (ap(a)))) ) }{{} n= n-times Note that RHS is the solution to y = 1 + tp(ay)(= 1 + tp(a) + t 2 P(aP(ay)) = ). Now take A = Cont(R) and P(f)(x) = x f(u)du. Then Spitzer says that the IVP y = tay, y() = 1 has unique solution ( x ) exp t y(u)du. Taking t = 1, this known in calculus. 17
18 18 Expanding ( x ) x exp t y(u)du = 1 + t y(u)dx + t2 ( x 2 y(u)dy) + 2 and comparing with the right hand side of weight Spitzer: x x ( u1 1 + t y(u)du + t 2 y(u 1 ) y(u 2 )du 2 )du we get ( x ( x ) 3= x y(u)dy 3! ) 2 x y(u)dy = 2 u1 y(u 1 ) u1 y(u 1 ) y(u 2 ) u2 y(u 2 )du 2 du 1. y(u 3 )du 3 du 2 du 1. ( x ) n y(u)dy = n! y(u n ) y(u 1 ) du n du 1. }{{} u n u 1 x
19 Fluctuation theory Let A be the Banach algebra { ϕ(t) := e itx df(x) } df(x) <, F( ) < of characteristic functions of random variables X. Let P(ϕ)(t) = eitx df(x) + F() F( ), giving the characteristic function of random variables max{, X}. Then (A, P) is a Rota-Baxter algebra of weight 1. Let {X k } be a sequence of independent random variables with identical distribution function F(x) and characteristic function ψ(s) = e isx df(x). Let S n = X X n and let M n = max(, S 1, S 2,..., S n ). Let F n (x) = Prob(M n < x) (Prob for probability) be the distribution function of M n. Applying Spitzer to a = ψ(s), we obtain the original identity of Spitzer: ( ( e isx df n (x) = exp e isx df(x) + F()) ). n= k=1 19
20 Waring s formula Let X = {x n }, x n variables. Let A = Q[X] and A = A N = {(a n ) a n A, n 1}. Let P((a n )) = (a 1, a 1 + a 2,, k n a k, ). Then P is a Rota-Baxter operator of weight -1. Applying Spitzer to a = (x 1,, x n, ), we have the well-known Waring s formula ( ) exp ( 1) k t k p k (x 1,..., x m )/k = e n (x 1,..., x m )t n, m 1. k=1 n= Here p k (x 1,...,x m ) = x1 k + x 2 k x m k are the power sum symmetric function. e n (x 1,, x m ) = x i1 x in 1 i 1 i n m are the elementary symmetric function. 2
21 Multiple zeta values Multiple Hurwitz values are defined by 1 ζ(s 1,, s k ; x) = (n 1 + x) s 1 (nk + x) s, s i 1, s 1 2 k n 1 >n 2 > >n k 1 Taking x = gives multiple zeta values. For k 2, let a = f k := 1/x k. With the summation operator P(f)(x) = n 1 f(x + n), we have P(log(1 + at)) = P ( ( 1) i 1 ( ) t i ) ( 1) i 1 = i x k ζ(ki; x + 1)t i. i i=1 Similarly, the right hand side of Spitzer becomes 1 + ζ(k,, k; x + 1)t i. }{{} i=1 i So evaluating at x =, we get the well-known identity ( ) exp ( 1) i 1 ζ(ik) ti = 1 + ζ(k,, k)t i. i }{{} i=1 i=1 i 21 i=1
22 General form of Spitzer s identity leads to Algebraic Birkhoff Decomposition of Connes and Kreimer; Factorization theorem of Barron, Huang and Lepowsky for Lie algebras and vertex operator algebras; Even-odd decomposition of Aguiar, Bergeron and Sottile in combinatorial Hopf algebras; Lie algebra polar decomposition of Munthe-Kaas et. al. in numerical differential equations; Decomposition in integrable systems by Reyman and Semenov-Tian-Shansky; Magnus expansional formula for noncommutative differential equations; Renormalization of multiple zeta values. 22
Some constructions and applications of Rota-Baxter algebras I
Some constructions and applications of Rota-Baxter algebras I Li Guo Rutgers University at Newark joint work with Kurusch Ebrahimi-Fard and William Keigher 1. Basics of Rota-Baxter algebras Definition
More informationFree Commutative Integro-differential Algebras
1 Free Commutative Integro-differential Algebras Li GUO Rutgers University (Joint work with G. Regensburger and M. Rosenkranz, and X. Gao and S. Zheng) Free differential algebras Differential algebra d(xy)
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 informationq-multiple Zeta Values I: from Double Shuffle to Regularisation
-Multiple Zeta Values I: from Double Shuffle to Regularisation Kurusch Ebrahimi-Fard β Paths to, from and in renormalisation Univ. Potsdam Institut für Mathematik 8-12 February 2016 β Joint work with J.
More informationAn Introduction to Rota-Baxter Algebra
Surveys of Modern Mathematics Volume IV An Introduction to Rota-Baxter Algebra Li Guo International Press www.intlpress.com HIGHER EDUCATION PRESS Surveys of Modern Mathematics, Volume IV An Introduction
More informationBirkhoff type decompositions and the Baker Campbell Hausdorff recursion
Birkhoff type decompositions and the Baker Campbell Hausdorff recursion Kurusch Ebrahimi-Fard Institut des Hautes Études Scientifiques e-mail: kurusch@ihes.fr Vanderbilt, NCGOA May 14, 2006 D. Kreimer,
More informationarxiv:math/ v3 [math.ra] 31 May 2007
ROTA-BAXTER ALGEBRAS AND DENDRIFORM ALGEBRAS KURUSCH EBRAHIMI-FARD AND LI GUO arxiv:math/0503647v3 [math.ra] 31 May 2007 Abstract. In this paper we study the adjoint functors between the category of Rota-
More informationLoday-type Algebras and the Rota-Baxter Relation
Loday-type Algebras and the Rota-Baxter Relation arxiv:math-ph/0207043v2 26 Aug 2002 K. Ebrahimi-Fard 1 Physikalisches Institut der Universität Bonn Nußallee 12, D 53115 Bonn, Germany Abstract In this
More information3-Lie algebras and triangular matrices
Mathematica Aeterna, Vol. 4, 2014, no. 3, 239-244 3-Lie algebras and triangular matrices BAI Ruipu College of Mathematics and Computer Science, Hebei University, Baoding, 071002, China email: bairuipu@hbu.cn
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 informationDifferential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases
1 Differential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases Li GUO (joint work with William Sit and Ronghua Zhang) Rutgers University at Newark Motivation: Classification of Linear Operators
More informationBirkhoff type decompositions and the Baker Campbell Hausdorff recursion
Birkhoff type decompositions and the Baker Campbell Hausdorff recursion Kurusch EBRAHIMI-FARD, Li GUO and Dominique MANCHON Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette
More informationarxiv: v1 [math.ra] 13 Nov 2017
LEFT COUNITAL HOPF ALGEBRA STRUCTURES ON FREE COMMUTATIVE NIJENHUIS ALGEBRAS SHANGHUA ZHENG AND LI GUO arxiv:1711.04823v1 [math.ra] 13 Nov 2017 Abstract. Motivated by the Hopf algebra structures established
More informationarxiv: v1 [math.ra] 2 Oct 2007
OPERATED SEMIGROUPS, MOTZKIN PATHS AND ROOTED TREES LI GUO arxiv:0710.0429v1 [math.ra] 2 Oct 2007 Abstract. Combinatorial objects such as rooted trees that carry a recursive structure have found important
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 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 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 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 informationMatrix Representation of Renormalization in Perturbative Quantum Field Theory
Matrix Representation of Renormalization in Perturbative Quantum Field Theory Kurusch EBRAHIMI-FARD and Li GUO Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette (France)
More informationarxiv: v1 [math.qa] 30 Dec 2018
DERIVED IDENTITIES OF DIFFERENTIAL ALGEBRAS P. S. KOLESNIKOV arxiv:1812.11516v1 [math.qa] 30 Dec 2018 Abstract. Suppose A is a not necessarily associative algebra with a derivation d. Then A may be considered
More informationarxiv: v1 [math.ra] 12 Apr 2016
BIALGEBRA AND HOPF ALGEBRA STRUCTURES ON FREE ROTA-BAXTER ALGEBRAS XING GAO, LI GUO, AND TIANJIE ZHANG arxiv:1604.03238v1 [math.ra] 12 Apr 2016 Abstract. In this paper, we obtain a canonical factorization
More informationDyson Schwinger equations in the theory of computation
Dyson Schwinger equations in the theory of computation Ma148: Geometry of Information Caltech, Spring 2017 based on: Colleen Delaney,, Dyson-Schwinger equations in the theory of computation, arxiv:1302.5040
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 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 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 informationIntegrable Renormalization II: the general case
Integrable enormalization II: the general case arxiv:hep-th/0403118v1 10 Mar 2004 KUUSCH EBAHIMI-FAD 1 I.H.É.S. Le Bois-Marie, 35, oute de Chartres F-91440 Bures-sur-Yvette, France and Universität Bonn
More information15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.
15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a
More informationarxiv: v1 [math.ra] 3 Apr 2013
ROTA BAXTER ALGEBRA THE COMBINATORIAL STRUCTURE OF INTEGRAL CALCULUS arxiv:1304.1204v1 [math.ra] 3 Apr 2013 KURUSCH EBRAHIMI-FARD AND FRÉDÉRIC PATRAS Abstract. Gian-Carlo Rota suggested in one of his last
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 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 informationMaxima and Minima. (a, b) of R if
Maxima and Minima Definition Let R be any region on the xy-plane, a function f (x, y) attains its absolute or global, maximum value M on R at the point (a, b) of R if (i) f (x, y) M for all points (x,
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 informationInterlacing of Hurwitz Series
Kolchin Seminar in Differential Algebra Bill Keigher Xing Gao Rutgers University-Newark Lanzhou University, China December 4, 2015 Outline Background for Hurwitz series Categorical origins Natural topology
More informationA polynomial realization of the Hopf algebra of uniform block permutations.
FPSAC 202, Nagoya, Japan DMTCS proc AR, 202, 93 204 A polynomial realization of the Hopf algebra of uniform block permutations Rémi Maurice Institut Gaspard Monge, Université Paris-Est Marne-la-Vallée,
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationEmbedding dendriform dialgebra into its universal enveloping Rota-Baxter algebra
Embedding dendriform dialgebra into its universal enveloping Rota-Baxter algebra arxiv:1005.2717v1 [math.ra] 16 May 2010 Yuqun Chen and Qiuhui Mo School of Mathematical Sciences, South China Normal University
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 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 informationAnalytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV
1 Analytic renormalization of multiple zeta functions Geometry and combinatorics of generalized Euler reflection formula for MZV Andrei Vieru Abstract The renormalization of MZV was until now carried out
More informationg(t) = f(x 1 (t),..., x n (t)).
Reading: [Simon] p. 313-333, 833-836. 0.1 The Chain Rule Partial derivatives describe how a function changes in directions parallel to the coordinate axes. Now we shall demonstrate how the partial derivatives
More informationOn the Associative Nijenhuis Relation
On the Associative Nijenhuis Relation Kurusch Ebrahimi-Fard Institut Henri Poincaré 11, rue Pierre et Marie Curie F-75231 Paris Cedex 05 FRANCE kurusch@ihes.fr and Universität Bonn - Physikalisches Institut
More informationSets with two associative operations
CEJM 2 (2003) 169{183 Sets with two associative operations Teimuraz Pirashvili A.M. Razmadze Mathematical Inst. Aleksidze str. 1, Tbilisi, 380093, Republic of Georgia Received 7 January 2003; revised 3
More informationMATH 1902: Mathematics for the Physical Sciences I
MATH 1902: Mathematics for the Physical Sciences I Dr Dana Mackey School of Mathematical Sciences Room A305 A Email: Dana.Mackey@dit.ie Dana Mackey (DIT) MATH 1902 1 / 46 Module content/assessment Functions
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 informationAlgebras with operators, Koszul duality, and conformal algebras
Algebras with operators, Koszul duality, and conformal algebras Pavel Kolesnikov Sobolev Institute of Mathematics Novosibirsk, Russia Third Mile High Conference on Nonassociative Mathematics Denver, Aug.
More informationarxiv: v2 [math.nt] 1 Nov 2018
WEIGHTED SUM FORMULAS OF MULTIPLE ZETA VALUES WITH EVEN ARGUMENTS arxiv:16106563v [mathnt] 1 Nov 018 ZHONGHUA LI AND CHEN QIN Abstract We prove a weighted sum formula of the zeta values at even arguments,
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 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 informationClassical Yang-Baxter Equation and Its Extensions
(Joint work with Li Guo, Xiang Ni) Chern Institute of Mathematics, Nankai University Beijing, October 29, 2010 Outline 1 What is classical Yang-Baxter equation (CYBE)? 2 Extensions of CYBE: Lie algebras
More information2 I like to call M the overlapping shue algebra in analogy with the well known shue algebra which is obtained as follows. Let U = ZhU ; U 2 ; : : :i b
The Leibniz-Hopf Algebra and Lyndon Words Michiel Hazewinkel CWI P.O. Box 94079, 090 GB Amsterdam, The Netherlands e-mail: mich@cwi.nl Abstract Let Z denote the free associative algebra ZhZ ; Z2; : : :i
More informationABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK
ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element
More informationHomological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
More informationBasics of Calculus and Algebra
Monika Department of Economics ISCTE-IUL September 2012 Basics of linear algebra Real valued Functions Differential Calculus Integral Calculus Optimization Introduction I A matrix is a rectangular array
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 informationDyson-Schwinger equations and Renormalization Hopf algebras
Dyson-Schwinger equations and Renormalization Hopf algebras Karen Yeats Boston University April 10, 2007 Johns Hopins University Unfolding some recursive equations Lets get our intuition going X = I +
More informationSQUARE ROOTS OF 2x2 MATRICES 1. Sam Northshield SUNY-Plattsburgh
SQUARE ROOTS OF x MATRICES Sam Northshield SUNY-Plattsburgh INTRODUCTION A B What is the square root of a matrix such as? It is not, in general, A B C D C D This is easy to see since the upper left entry
More informationQ(x n+1,..., x m ) in n independent variables
Cluster algebras of geometric type (Fomin / Zelevinsky) m n positive integers ambient field F of rational functions over Q(x n+1,..., x m ) in n independent variables Definition: A seed in F is a pair
More informationDifferential Algebra and Related Topics
Differential Algebra and Related Topics Workshop Abstracts November 2 3, 2000, Rutgers University at Newark Differential Algebra and Symbolic Integration Manuel Bronstein Abstract: An elementary function
More informationALGEBRAIC GROUPS: PART III
ALGEBRAIC GROUPS: PART III EYAL Z. GOREN, MCGILL UNIVERSITY Contents 10. The Lie algebra of an algebraic group 47 10.1. Derivations 47 10.2. The tangent space 47 10.2.1. An intrinsic algebraic definition
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 informationHomology of Newtonian Coalgebras
Homology of Newtonian Coalgebras Richard EHRENBORG and Margaret READDY Abstract Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed
More informationTEST CODE: MMA (Objective type) 2015 SYLLABUS
TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,
More informationVector Spaces ปร ภ ม เวกเตอร
Vector Spaces ปร ภ ม เวกเตอร 5.1 Real Vector Spaces ปร ภ ม เวกเตอร ของจ านวนจร ง Vector Space Axioms (1/2) Let V be an arbitrary nonempty set of objects on which two operations are defined, addition and
More informationCh3 Operations on one random variable-expectation
Ch3 Operations on one random variable-expectation Previously we define a random variable as a mapping from the sample space to the real line We will now introduce some operations on the random variable.
More informationarxiv: v1 [math.ct] 2 Feb 2013
THE CATEGORY AND OPERAD OF MATCHING DIALGEBRAS YONG ZHANG, CHENGMING BAI, AND LI GUO arxiv:1302.0399v1 [math.ct] 2 Feb 2013 Abstract. This paper gives a systematic study of matching dialgebras corresponding
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationMTH4100 Calculus I. Lecture notes for Week 2. Thomas Calculus, Sections 1.3 to 1.5. Rainer Klages
MTH4100 Calculus I Lecture notes for Week 2 Thomas Calculus, Sections 1.3 to 1.5 Rainer Klages School of Mathematical Sciences Queen Mary University of London Autumn 2009 Reading Assignment: read Thomas
More informationDifferential Equations and Associators for Periods
Differential Equations and Associators for Periods Stephan Stieberger, MPP München Workshop on Geometry and Physics in memoriam of Ioannis Bakas November 2-25, 26 Schloß Ringberg, Tegernsee based on: St.St.,
More informationUniversal Enveloping Commutative Rota Baxter Algebras of Pre- and Post-Commutative Algebras
axioms Article Universal Enveloping Commutative Rota Baxter Algebras of Pre- and Post-Commutative Algebras Vsevolod Gubarev 1,2 ID 1 Laboratory of Rings Theory, Sobolev Institute of Mathematics of the
More information2.1 Modules and Module Homomorphisms
2.1 Modules and Module Homomorphisms The notion of a module arises out of attempts to do classical linear algebra (vector spaces over fields) using arbitrary rings of coefficients. Let A be a ring. An
More information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationFROM THE FORMALITY THEOREM OF KONTSEVICH AND CONNES-KREIMER ALGEBRAIC RENORMALIZATION TO A THEORY OF PATH INTEGRALS
FROM THE FORMALITY THEOREM OF KONTSEVICH AND CONNES-KREIMER ALGEBRAIC RENORMALIZATION TO A THEORY OF PATH INTEGRALS Abstract. Quantum physics models evolved from gauge theory on manifolds to quasi-discrete
More informationRow-strict quasisymmetric Schur functions
Row-strict quasisymmetric Schur functions Sarah Mason and Jeffrey Remmel Mathematics Subject Classification (010). 05E05. Keywords. quasisymmetric functions, Schur functions, omega transform. Abstract.
More informationWhat is a Quantum Equation of Motion?
EJTP 10, No. 28 (2013) 1 8 Electronic Journal of Theoretical Physics What is a Quantum Equation of Motion? Ali Shojaei-Fard Institute of Mathematics,University of Potsdam, Am Neuen Palais 10, D-14469 Potsdam,
More informationLectures on Quantum Groups
Lectures in Mathematical Physics Lectures on Quantum Groups Pavel Etingof and Olivier Schiffinann Second Edition International Press * s. c *''.. \ir.ik,!.'..... Contents Introduction ix 1 Poisson algebras
More informationCOCOMMUTATIVE HOPF ALGEBRAS OF PERMUTATIONS AND TREES
COCOMMUTATIVE HOPF ALGEBRAS OF PERMUTATIONS AND TREES MARCELO AGUIAR AND FRANK SOTTILE Abstract. Consider the coradical filtration of the Hopf algebras of planar binary trees of Loday and Ronco and of
More informationGraph invariants in the spin model
Graph invariants in the spin model Alexander Schrijver 1 Abstract. Given a symmetric n n matrix A, we define, for any graph G, f A (G) := a φ(u),φ(v). φ:v G {1,...,n} uv EG We characterize for which graph
More informationDerived Poisson structures and higher character maps
Derived Poisson structures and higher character maps Sasha Patotski Cornell University ap744@cornell.edu March 8, 2016 Sasha Patotski (Cornell University) Derived Poisson structures March 8, 2016 1 / 23
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationIntroduction to ODE's (0A) Young Won Lim 3/9/15
Introduction to ODE's (0A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2
More informationLie theory for quasi-shuffle bialgebras
Lie theory for quasi-shuffle bialgebras Loïc Foissy and Frédéric Patras 1 Introduction Enveloping algebras of Lie algebras are known to be a fundamental notion, for an impressive variety of reasons. Their
More information1.8. Zeroth-Order Tensors (Scalars). A scalar is a single function (i.e., one component) which is invariant under
1.8. Zeroth-Order Tensors (Scalars). A scalar is a single function (i.e., one component) which is invariant under changes of the coordinate systems. We deal with rectangular coordinate systems only. Thus
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
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 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 informationNotes on generating functions in automata theory
Notes on generating functions in automata theory Benjamin Steinberg December 5, 2009 Contents Introduction: Calculus can count 2 Formal power series 5 3 Rational power series 9 3. Rational power series
More informationGroupoids and Faà di Bruno Formulae for Green Functions
Groupoids and Faà di Bruno Formulae for Green Functions UPC UAB London Metropolitan U. September 22, 2011 Bialgebras of trees Connes-Kreimer bialgebra of rooted trees: is the free C-algebra H on the set
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 informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationMATRICES. a m,1 a m,n A =
MATRICES Matrices are rectangular arrays of real or complex numbers With them, we define arithmetic operations that are generalizations of those for real and complex numbers The general form a matrix of
More informationSPECIAL IDENTITIES FOR THE PRE-JORDAN PRODUCT IN THE FREE DENDRIFORM ALGEBRA
SPECIAL IDENTITIES FOR THE PRE-JORDAN PRODUCT IN THE FREE DENDRIFORM ALGEBRA MURRAY R. BREMNER AND SARA MADARIAGA In memory of Jean-Louis Loday (1946 2012) Abstract. Pre-Jordan algebras were introduced
More informationLecture 16: 9.2 Geometry of Linear Operators
Lecture 16: 9.2 Geometry of Linear Operators Wei-Ta Chu 2008/11/19 Theorem 9.2.1 If T: R 2 R 2 is multiplication by an invertible matrix A, then the geometric effect of T is the same as an appropriate
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
More informationGQE ALGEBRA PROBLEMS
GQE ALGEBRA PROBLEMS JAKOB STREIPEL Contents. Eigenthings 2. Norms, Inner Products, Orthogonality, and Such 6 3. Determinants, Inverses, and Linear (In)dependence 4. (Invariant) Subspaces 3 Throughout
More informationSec 4.1 Limits, Informally. When we calculated f (x), we first started with the difference quotient. f(x + h) f(x) h
1 Sec 4.1 Limits, Informally When we calculated f (x), we first started with the difference quotient f(x + h) f(x) h and made h small. In other words, f (x) is the number f(x+h) f(x) approaches as h gets
More informationResearch Article Rota-Baxter Operators on 3-Dimensional Lie Algebras and the Classical R-Matrices
Hindawi Advances in Mathematical Physics Volume 07, Article ID 680, 7 pages https://doi.org/0.55/07/680 Research Article Rota-Baxter Operators on 3-Dimensional Lie Algebras and the Classical R-Matrices
More informationQualification Exam: Mathematical Methods
Qualification Exam: Mathematical Methods Name:, QEID#41534189: August, 218 Qualification Exam QEID#41534189 2 1 Mathematical Methods I Problem 1. ID:MM-1-2 Solve the differential equation dy + y = sin
More information