Not signed in (Sign In)

Start a new discussion

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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2013
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 29th 2013
    • (edited May 29th 2013)

    As I mentioned in the parallel discussion, Tamarkin sees the Hopf algebra of renormalization as the algebra of functions on the torsor of equivalences between different homotopic resolutions used to do the deformation quantization in a flavour of BV approach. The independece of resolution is discussed in his arXiv preprint from 2004.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 29th 2013

    But this “cosmic Galois group” is not the (the group corresponding to) the renormalization Hopf algebra, unless I am missing something.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeMay 30th 2013

    Yes, Urs, you are absolutely right, it is quite different !

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2013
    • (edited Jun 7th 2013)

    I have been adding a few more references to cosmic Galois group with (very) brief indications on what they are about.

    In particular I have added to this entry and to other relevant entries the article by Kitchloo and by Kitchloo-Morava. (Many thanks indeed to Adeel Khan for reminding me of them.)

    Just as a side remark, relating to the discussion in the other thread, on Synthetic Quantum Field Theory (schreiber):

    there I am talking about “motivic quantization” being the step that takes spans of smooth groupoids in the slice over B nU(1) conn\mathbf{B}^n U(1)_{conn}

    Z X 1 X 2 B nU(1) conn \array{ && Z \\ & \swarrow && \searrow \\ X_1 && \swArrow && X_2 \\ & \searrow && \swarrow \\ && \mathbf{B}^n U(1)_{conn} }

    to their image under the “motivic stabilization” of the (,n)(\infty,n)-category of correspondences.

    In an upcoming master thesis, Joost Nuiten will discuss this in detail for n=2n = 2 with “motivic stabilization” given by passage to KK-theory under forming twisted groupoid convolution algebras. For higher nn this is a proposal to be filled with life.

    But notice that what Kitchloo-Morava consider is very close to this for n=1n = 1. Their Lagrangian correspondences are correspondences in the slice over Ω cl 2\Omega^{2}_{cl}, hence diagrams of the form

    Z X 1 X 2 Ω cl 2 \array{ && Z \\ & \swarrow && \searrow \\ X_1 && \swArrow && X_2 \\ & \searrow && \swarrow \\ && \Omega^2_{cl} }

    (and they subject them to some nicety constraints). One obtains this second version from the first by “de-prequantizing”, namely by poscomposing (“dependent sum”) with the universal curvature map

    F ():BU(1) connΩ cl 2. F_{(-)} \colon \mathbf{B}U(1)_{conn} \to \Omega^2_{cl} \,.

    Now Kitchloo-Morava “motivically stabilize” by sending the space of Lagrangian correspondences to the spectrum of Lagrangian correspondences. Then they show that the resulting stable \infty-category of motivic such Lagrangian correspindences has a “cosmic” motivic Galois group.

    To the extent that quantization is postcomposition with this motivic projection, the fact that the “cosmic Galois group” acs on the space of quantum field theories is then immediate…

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)