First published 2021 in Great Britain and the United States by ISTE Ltd and John Wiley & Sons, Inc.
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA. Enquiries concerning reproduction outside these terms should be sent to the publishers at the undermentioned address:
ISTE Ltd
27-37 St George’s Road
London SW19 4EU
UK
John Wiley & Sons, Inc. 111 River Street Hoboken, NJ 07030 USA
© ISTE Ltd 2021
The rights of Abdenacer Makhlouf to be identified as the author of this work have been asserted by him in accordance with the Copyright, Designs and Patents Act 1988.
Library of Congress Control Number: 2021942616
British Library Cataloguing-in-Publication Data
A CIP record for this book is available from the British Library
ISBN 978-1-78945–018-7
ERC code:
PE1 Mathematics
PE1_2 Algebra
PE1_5 Lie groups, Lie algebras
PE1_12 Mathematical physics
Preface
Abdenacer MAKHLOUF
University of Haute Alsace, Mulhouse, France
The aim of this series of books is to report on the new trends of research in algebra and related topics. We provide an insight into the fast development of new concepts and theories related to algebra and present self-contained chapters on various topics, with each chapter combining some of the features of both graduate-level textbooks and research-level surveys. Each chapter includes an introduction with motivations and historical remarks, as well as the basic concepts, main results and perspectives. Moreover, the authors have commented on the relevance of the results in relation to other results and applications.
In this volume, the chapters encompass surveys of basic theories on non-associative algebras like Lie theories, using modern tools and more recent algebraic structures like Hopf algebras, which are related to Quantum groups and Mathematical Physics. The algebraic background of pre-Lie algebras, other non-associative algebras (non-associative permutative, assosymmetric, dendriform, etc.) and algebraic operads is presented. This volume also deals with noncommutative symmetric functions, Lie series, descent algebras, chronological and Rota–Baxter algebras. We focus on the increasing role played by Combinatorial algebra and Hopf algebras, as well as some non-associative algebraic structures in iterated integrals, chronological calculus, differential equations, numerical methods and control theory. It turns out that the Hopf algebra of rooted trees is an adequate tool, not only for vector fields, but also for studying the numerical approximation of their integral curves. Runge–Kutta methods form a group (called the Butcher group), which is the character group of the Connes–Kreimer Hopf algebra. The algebraic theory of Runge–Kutta methods B-series and related formal expansions are considered. Algebraic structures underlying calculus with iterated integrals lead naturally to the notions of descent (Hopf) algebra, as well as permutation Hopf algebra. In this volume we discuss the Lie-theoretic perspective and advances of chronological calculus. Chronological algebras and time-ordered products appear in an (almost) uncountable number of places, especially in theoretical physics and control theory. Noncommutative symmetric functions are applied to the study of formal power series with coefficients in a noncommutative algebra, in particular to Lie series. Moreover, Lie idempotents, Eulerian idempotents and Magnus expansion are considered. In addition, the interaction of algebra and (infinite-dimensional) geometry in the guise of Hopf algebras and certain associated character groups is examined. It turns out that fundamental concepts in control theory are inherently linked to combinatorial and algebraic structures. It is shown how modern combinatorial algebraic tools provide deeper insight and facilitate analysis, computations and design. The emphasis is on exhibiting the algebraic structures that map combinatorial structures to geometric and dynamic objects.
I thank Kurusch Ebrahimi-Fard for suggesting these topics, presented at Benasque Intensive School, and express my deep gratitude to all of the contributors of this volume and to ISTE for their support.
August 2021
1
Algebraic Background for Numerical Methods, Control Theory and Renormalization
Dominique MANCHON
University of Clermont Auvergne, Clermont-Ferrand, France
1.1. Introduction
Since the pioneering work of Cayley in the 19th century (Cayley 1857), we have known that rooted trees and vector fields on the affine space are closely related. Surprisingly enough, rooted trees were also revealed to be a fundamental tool for studying not only the integral curves of vector fields, but also their Runge–Kutta numerical approximations (Butcher 1963).
The rich algebraic structure of the k-vector space
spanned by rooted trees (where k is some field of characteristic zero) can be, in a nutshell, described as follows: is both the free pre-Lie algebra with one generator and the free non-associative permutative algebra with one generator (Chapoton and Livernet 2001; Dzhumadil’daev and Löfwall 2002), and moreover, there are two other pre-Lie structures on , of operadic nature, which show strong compatibility with the first pre-Lie (respectively the NAP) structure (Chapoton and Livernet 2001; Calaque et al. 2011; Manchon and Saidi 2011). The Hopf algebra of coordinates on the Butcher group (Butcher 1963), that is, the graded dual of the enveloping algebra (with respect to the Lie bracket given by the first pre-Lie structure), was first investigated in Dür (1986), and intensively studied by Kreimer for renormalization purposes in Quantum Field Theory (Connes and Kreimer 1998; Kreimer 2002), see also Brouder (2000).This chapter is organized as follows: the first section is devoted to general connected graded or filtered Hopf algebras, including the renormalization of their characters. The second section gives a short presentation of operads in the symmetric monoidal category of vector spaces, and the third section will treat pre-Lie algebras in some detail: in particular, we will give a “pedestrian” proof of the Chapoton-Livernet theorem on free pre-Lie algebras. In the last section, Rota-Baxter, dendriform and NAP algebras will be introduced.
1.2. Hopf algebras: general properties
We choose a base field k of characteristic zero. Most of the material here is borrowed from Manchon (2008), to which we can refer for more details.