Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

Atrium > Mathematics, Physics & Philosophy: Garner Campbell-Baker-Hausdorff adjunction

Bottom of Page

1 to 5 of 5

  1.  
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeJul 20th 2015

    Did anybody attend the Richard Garner’s talk The Campbell–Baker–Hausdorff adjunction at CT2015 ? Having a writeup or partial notes ? This is the abstract:

    The Lie algebra associated to a Lie group G encodes the first-order infinitesimal structure of G near the identity; on the other hand, the formal group law associated to G is a collection of formal power series which encode all finite-order infinitesimal behaviour. One obtains the formal group law from the Lie group by Taylor expanding the multiplication with respect to some chart around the identity; alternatively, one may obtain the formal group law from the Lie algebra by applying the Campbell– Baker–Hausdorff (CBH) formula, which expresses the group multiplication power series near the identity purely in terms of iterated Lie brackets.

    There are a number of ways of deriving the CBH formula, some geometric and some algebraic in nature. The aim of this talk is to describe a categorical approach drawing on synthetic differential geometry. We consider a category E of microlinear spaces wherein formal group laws may be construed as genuine internal groups; we then construct an adjunction, the Campbell–Baker–Hausdorff adjunction of the title, between internal groups and internal Lie algebras in E. Applying the left adjoint to a finite dimensional Lie algebra yields its associated formal group law; applying it to the free Lie algebra on two generators yields the free group on two non-commuting tangent vectors, whose multiplication may be seen as a pure combinatorial manifestation of the CBH formula.

    I would be interested also if there were any signs of trying to do higher categorical version; because Getzler had some analogues in higher categorical dimension in his integration paper…

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeJul 20th 2015

    I attended the talk; unfortunately the notes are in my office and I am away for a few weeks. I also can’t remember many of the details, but I don’t think there were any higher-categorical aspects.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJul 20th 2015

    Thanks, let me know once you have the hold of the notes again.

    • CommentRowNumber4.
    • CommentAuthorZhen Lin
    • CommentTimeAug 12th 2015

    I uploaded the scans. I’m not sure I wrote down everything.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeAug 12th 2015
    • (edited Aug 12th 2015)

    Thanks a lot!

    P.S. some elements of his approach quite remind me of Durov’s treatment in Ch. 7 of our paper

    • N. Durov, S. Meljanac, A. Samsarov, Z. Škoda, A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra, Journal of Algebra 309, Issue 1, pp.318-359 (2007) math.RT/0604096, MPIM2006-62.

    Garner’s ℰ\mathcal{E} has the role like and similarity to Durov’s ℰ\mathcal{E} which is the category of covariant presheaves on k\𝒫\mathbf{k}\backslash\mathcal{P}, for k=ℝ\mathbf{k}=\mathbb{R} (the role of nilpotents, of BCH formula etc.). But I want to think more of it…

1 to 5 of 5

  1.