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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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
    • CommentTimeJul 20th 2010
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2011
    • (edited Aug 23rd 2011)

    Started at 2-groupoid of Lie 2-algebra valued forms a section for general Lie 2-algebras .

    (Intentionally all in unreadable components. I am preparing material for a communication with some physicists ;-)

    • CommentRowNumber3.
    • CommentAuthorTobyBartels
    • CommentTimeAug 24th 2011

    How about groupoid of Lie algebra valued forms? I know, I’m thinking negatively here. :-)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeAug 24th 2011

    This sequence of entries here exists, if that’s what you are alluding to:

    (There was something wrong with the redirects to the first one, though. I have fixed it now.)

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeAug 24th 2011

    Ah, inconsistent hyphens! Thanks, I see it now.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeAug 24th 2011
    • (edited Aug 24th 2011)

    Yes, sorry, it’s my fault. I have made dozens of different version of writing these entry titles be redirects. Probably all of them wrong! And then I missed the single right one, I guess. ;-)

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 12th 2015

    I made a correction in the condition that 2-arrows need to satisfy, in the section about strict Lie 2-algebras: there was an aa that needed to be an AA. I also made some reference to compositions of 2-arrows there that had been left as an ellipsis for some time…

    • CommentRowNumber8.
    • CommentAuthorEmilio V.
    • CommentTimeAug 5th 2023
    • (edited Aug 5th 2023)

    What’s a good reference in the literature for the definition of the 2-groupoid of Lie 2-algebra valued forms for a strict Lie 2-algebra as presented here without the fake flatness conditions (the main definition on this page)? In the listed references on the page and elsewhere there are similar 2-groupoids for flat forms presented, but I can’t find any reference to the more general stack. Might one expect this more general stack to be equivalent to the stack that modulates Lie 2-algebra valued forms using differential forms on products of smooth simplices and intersections (i.e. exp conn(𝔤)\mathrm{exp}_{\mathrm{conn}}(\mathfrak{g}) as presented in Cech cocycles for differential characteristic classes)?

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 5th 2023
    • (edited Aug 7th 2023)

    If there is no flatness condition then one needs to decide what (higher) gauge transformations one wants to incorporate in the 2-gorupoid.

    For 𝔤\mathfrak{g} Lie 2-algebra, the unconstrained 𝔤\mathfrak{g}-valued forms as just

    Hom dgAlg(W(𝔤),Ω dR ())Hom Ch(𝔤,Ω dR ())(Ω dR ()𝔤) 0 Hom_{dgAlg}\big(W(\mathfrak{g}),\,\Omega^\bullet_{dR}(-)\big) \;\simeq\; Hom_{Ch}\big(\mathfrak{g},\,\Omega^\bullet_{dR}(-)\big) \;\simeq\; \big(\Omega^\bullet_{dR}(-) \otimes \mathfrak{g}\big)_0

    where W()W(-) denotes the Weil algebra

    (and assuming finite-dimensionality of 𝔤\mathfrak{g} in the last step).

    This is to be contrasted with the case of flat forms, which is

    Hom dgAlg(CE(𝔤),Ω dR ())Ω dR(,𝔤) flat. Hom_{dgAlg}\big(CE(\mathfrak{g}),\,\Omega^\bullet_{dR}(-)\big) \;\equiv\; \Omega_{dR}(-, \mathfrak{g})_{flat} \,.

    where now CE()CE(-) denotes the Chevalley-Eilenberg algebra.

    So one natural choice for the 2-groupoid of unconstrained forms is the evident analog of the flat case, which is given by the simplicial presheaf

    (UCartSp,[k]Δ)Hom dgAlg(CE(𝔤),Ω dR (U×Δ k)) (U \in CartSp, \, [k] \in \Delta) \;\mapsto\; Hom_{dgAlg}\big(CE(\mathfrak{g}),\,\Omega^\bullet_{dR}(U \times \Delta^k)\big)

    namely now given by the analogous simplicial presheaf with “CECE” replaced by “WW

    (UCartSp,[k]Δ)Hom dgAlg(W(𝔤),Ω dR (U×Δ k)). (U \in CartSp, \, [k] \in \Delta) \;\mapsto\; Hom_{dgAlg}\big(W(\mathfrak{g}),\,\Omega^\bullet_{dR}(U \times \Delta^k)\big) \,.

    This is implicitly what appears in “Cech cocycles for differential characteristic classes” (there subjected two the two “Ehresmann conditions”).

    It may be useful to think of this the following way:

    One can regard the Weil algebra of any Lie nn-algebra 𝔤\mathfrak{g} as being the CE-algebra of the “inner derivation Lie (n+1)(n+1)-algebra” inn(𝔤)inn(\mathfrak{g}).

    W(𝔤)=CE(inn(𝔤)) W(\mathfrak{g}) \,=\, CE\big(inn(\mathfrak{g})\big)

    (eg. (131) on p 31 here).

    This allows to regard non-flat nn-connections with coeffcients in 𝔤\mathfrak{g} as flat n+1n+1-connections with coefficients in inn(𝔤)inn(\mathfrak{g}) (expanded on for the simplest case n=1n = 1 on pp 22 here): The curvature of the nn-connection becomes a component of the (n+1)(n+1)-connection and the flatness of the latter is just the “Bianchi identities” on the (unconstrained) curvatre components of the former.

    \,

    For a more component-based reference, maybe have a look at Martins & Picken (2011) (though I admit I would have to remind myself of what exactly is happening there).

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeAug 7th 2023

    9 Typo Chevallet, so the link does not work.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2023

    Thanks. Fixed now.

    • CommentRowNumber12.
    • CommentAuthorEmilio V.
    • CommentTimeAug 8th 2023

    Hi Urs! Thank you for your reply! I think my previous question was a bit unclear.

    In your answer you refer to the 2-groupoids of forms that are given by the Lie integration stacks; these simplicial presheaves of maps into the dg-algebra of differential forms on U×Δ kU\times\Delta^{k}.

    In your paper with Konrad, “Smooth functors vs differential forms”: https://arxiv.org/pdf/0802.0663.pdf#page=29, is the definition of the 2-category Z X 2(𝔊) Z_{X}^{2}(\mathfrak{G})^{\infty}. This looks like the 2-groupoid of flat Lie 2-algebra valued forms which is also referenced on this page (in the first proposition under section 3). In the definition of Z X 2(𝔊) Z_{X}^{2}(\mathfrak{G})^{\infty}, forms on smooth simplices do not appear. On this page it’s stated that Z X 2(𝔊) Z_{X}^{2}(\mathfrak{G})^{\infty} is a subcategory of what’s here called B¯G\overline\mathbf{B}G, which looks to me like a 2-groupoid of Lie 2-algebra valued forms that doesn’t impose the fake flatness conditions. B¯G\overline{\mathbf{B}}G is also constructed (on this page) without mention of forms on smooth simplices.

    I was wondering if there was anywhere in the literature that B¯G\overline{\mathbf{B}}G is mentioned (in this particular incarnation without any mention of forms on Δ k\Delta^{k}), or if it was someone’s original contribution to the nLab and it’s not yet present in the literature.

    The reason I’m asking is because I’m wondering whether ultimately B¯G\overline{\mathbf{B}}G and Z X 2(𝔊) Z_{X}^{2}(\mathfrak{G})^{\infty} are equivalent (in some appropriate sense) to the Lie integration stacks which do employ forms on Δ k\Delta^{k} in their definition.

    • CommentRowNumber13.
    • CommentAuthorEmilio V.
    • CommentTimeAug 21st 2023

    It just dawned on me now that perhaps my confusion is coming from a typo! Is B¯G\overline{\mathbf{B}}G intended to be the same object as Z X 2(𝔊)Z^{2}_{X}(\mathfrak{G})? I initially confused Z X 2(𝔊)Z^{2}_{X}(\mathfrak{G}) for the stack of flat forms, but only one of the two flatness conditions are imposed on the data in Z X 2(𝔊)Z^{2}_{X}(\mathfrak{G}): dA+[AA]=t *BdA + [A\wedge A] = t_{*}B, and the second is not explicitly imposed.

    If Z X 2(𝔊)Z^{2}_{X}(\mathfrak{G}) is the stack of general (not necessarily flat) Lie 2-algebra forms, and B¯G\overline{\mathbf{B}}G is intended to denote the same object, then this above condition is missing from the page in the definition of B¯G\overline{\mathbf{B}}G and should be added (I could do this myself after some confirmation).

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 21st 2023
    • (edited Aug 21st 2023)

    Let’s see.

    The condition F A=t *(B)F_A = t_\ast(B) (p. 29) is the first component of the flatness condition (aka “fake flatness”).

    This condition is necessary (only) in order to make the 2-groupoid of Lie-algebra value 2-forms be identified with that of smooth 2-functors P 2()BGP_2(-) \to \mathbf{B}G,

    which is why it is considered in arXiv:0802.0663.

    However, it should not be necessary just to make the 2-groupoid of Lie 2-algebra value forms.

    So I think it’s not a typo in the entry.

    On the other hand, there is loads of room to improve exposition and notation of this ancient and neglected entry.

    To start with, the overline notation is clearly not suggestive of anything, it would be good to change to something more suggestive.

    Next, the issue that you are grappling with should actually be explained in the entry:

    There is

    (1.) the unconstrained 2-groupoid of forms, as stated,

    (2.) its sub-groupoid (speaking strictly) with the “fake” curvature condition imposed and

    (3.) the further sub-groupoid with both curvature constraints imposed.

    If you have the energy to work on beautifying this entry, please do! That would be a great service to the community.