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
    • CommentTimeSep 6th 2016
    • (edited Sep 6th 2016)

    At sesquilinear form I have added the following general definition:

    let AA be a not-necessarily commutative star-algebra. Let VV be a left AA-module with AA-linear dual denoted V *V^\ast. Then a sesquilinear form on VV is simply an element in the tensor product

    V * AV *, V^\ast \otimes_A V^\ast \,,

    where we use the only possible way to regard the left VV-module as a right VV-module: by the star-involution.

    I am wondering if there is anywhere some discussion as to how far one may push dg-algebra over AA this way, specifically for the cases where AA is a normed division algebra such that the quaternions or the octonions.

    For instance which structure do we need on AA to make sense of the Grassmann algebra A V *\wedge^\bullet_A V^\ast of V *V^\ast this way?

    This is motivated by the following:

    At spin representation I once put a remark that one may obtain the N=1N = 1 super-translation Lie algebra simply by starting with the super-point 0|2\mathbb{R}^{0\vert 2}, regarded as an abelian super Lie algebra, and then forming the central extension by 3\mathbb{R}^3 which is classified by the cocycle dθ idθ j 2( 2) *d \theta_i \wedge d \theta_j \in \wedge^2 (\mathbb{R}^2)^\ast (1ij2)(1 \leq i \leq j \leq 2), with θ i\theta_i and θ j\theta_j the two canonical odd-graded coordinates on 0|2\mathbb{R}^{0\vert 2}.

    Yesterday with John Huerta we were brainstorming about how to best formulate this such that the statement goes through verbatim for the other real normed division algebras to yield the super-translation Lie algebra alsoin dimensions 4,6 and 10.

    With sesquilinear forms as above it is obvious: Let 𝕂\mathbb{K} any of the four real normed division algebras, consider the superpoint 𝕂 0|2\mathbb{K}^{0\vert 2} and then form the central extension of super Lie algebras classified by the sesquilinear forms dθ i 𝕂dθ jd \theta_i \otimes_{\mathbb{K}} d \theta_j (1ij21 \leq i \leq j \leq 2).

    These forms being sesquilinear expresses nothing but the spinor pairing of the susy algebra that Baez-Huerta (as reviewed here ) write as (ψ,ϕ)ψϕ +ϕψ (\psi,\phi)\mapsto \psi \phi^\dagger + \phi \psi^\dagger.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2021

    added the definition of positive/negative definity, for completeness (here)

    diff, v3, current

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)