Lie super algebra presentation of the Kähler identitiesWhy can the Dolbeault Operators be Realised as Lie Algebra ActionsIs the SUSY Algebra isomorphic for all Kähler Manifolds?Why can the Dolbeault Operators be Realised as Lie Algebra ActionsIs the SUSY Algebra isomorphic for all Kähler Manifolds?Why don't the algebraic and geometric adjoints of the Lefschetz operator agree?Kähler Identities: from the untwisted to the twisted caseA criterion for orbits of complex reductive group to be closedSuper-extensions of the Poincaré Lie algebraPinching of an ODE on a simple Lie algebraRelationship between the Witt algebra and vector fields on the circleGraph of a Lie super algebraThe algebraic structures on $H^1,1(X,mathbb C)$ induced by Kahler classes

Lie super algebra presentation of the Kähler identities


Why can the Dolbeault Operators be Realised as Lie Algebra ActionsIs the SUSY Algebra isomorphic for all Kähler Manifolds?Why can the Dolbeault Operators be Realised as Lie Algebra ActionsIs the SUSY Algebra isomorphic for all Kähler Manifolds?Why don't the algebraic and geometric adjoints of the Lefschetz operator agree?Kähler Identities: from the untwisted to the twisted caseA criterion for orbits of complex reductive group to be closedSuper-extensions of the Poincaré Lie algebraPinching of an ODE on a simple Lie algebraRelationship between the Witt algebra and vector fields on the circleGraph of a Lie super algebraThe algebraic structures on $H^1,1(X,mathbb C)$ induced by Kahler classes













4












$begingroup$


For any Kähler manifold $(M,h)$, with Lefschetz operators $L$ and $Lambda$, and counting operator $H$, we have the following the well-known Kähler-Hodge identities:



beginalign*
[partial,L] = 0, && [overlinepartial,L] = 0, & & [partial^*,Lambda] = 0, && [overlinepartial^*, Lambda] = 0, \
[L,partial^*] = ioverlinepartial, & & [L,overlinepartial^*] = - ipartial, & & [Lambda,partial] = ioverlinepartial^*, & & [Lambda,overlinepartial] = - ipartial^*,
endalign*

In physics literature this is often referred to a "supersymmetric algebra". Does there exist a more mathematical understanding of this object, perhaps as a Lie super algebra?










share|cite|improve this question











$endgroup$











  • $begingroup$
    You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
    $endgroup$
    – Michael Albanese
    2 days ago















4












$begingroup$


For any Kähler manifold $(M,h)$, with Lefschetz operators $L$ and $Lambda$, and counting operator $H$, we have the following the well-known Kähler-Hodge identities:



beginalign*
[partial,L] = 0, && [overlinepartial,L] = 0, & & [partial^*,Lambda] = 0, && [overlinepartial^*, Lambda] = 0, \
[L,partial^*] = ioverlinepartial, & & [L,overlinepartial^*] = - ipartial, & & [Lambda,partial] = ioverlinepartial^*, & & [Lambda,overlinepartial] = - ipartial^*,
endalign*

In physics literature this is often referred to a "supersymmetric algebra". Does there exist a more mathematical understanding of this object, perhaps as a Lie super algebra?










share|cite|improve this question











$endgroup$











  • $begingroup$
    You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
    $endgroup$
    – Michael Albanese
    2 days ago













4












4








4


1



$begingroup$


For any Kähler manifold $(M,h)$, with Lefschetz operators $L$ and $Lambda$, and counting operator $H$, we have the following the well-known Kähler-Hodge identities:



beginalign*
[partial,L] = 0, && [overlinepartial,L] = 0, & & [partial^*,Lambda] = 0, && [overlinepartial^*, Lambda] = 0, \
[L,partial^*] = ioverlinepartial, & & [L,overlinepartial^*] = - ipartial, & & [Lambda,partial] = ioverlinepartial^*, & & [Lambda,overlinepartial] = - ipartial^*,
endalign*

In physics literature this is often referred to a "supersymmetric algebra". Does there exist a more mathematical understanding of this object, perhaps as a Lie super algebra?










share|cite|improve this question











$endgroup$




For any Kähler manifold $(M,h)$, with Lefschetz operators $L$ and $Lambda$, and counting operator $H$, we have the following the well-known Kähler-Hodge identities:



beginalign*
[partial,L] = 0, && [overlinepartial,L] = 0, & & [partial^*,Lambda] = 0, && [overlinepartial^*, Lambda] = 0, \
[L,partial^*] = ioverlinepartial, & & [L,overlinepartial^*] = - ipartial, & & [Lambda,partial] = ioverlinepartial^*, & & [Lambda,overlinepartial] = - ipartial^*,
endalign*

In physics literature this is often referred to a "supersymmetric algebra". Does there exist a more mathematical understanding of this object, perhaps as a Lie super algebra?







complex-geometry lie-algebras kahler-manifolds lie-superalgebras hermitian-manifolds






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited May 1 at 18:04









Michael Albanese

8,02555594




8,02555594










asked May 1 at 17:23









Pierre DuboisPierre Dubois

3466




3466











  • $begingroup$
    You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
    $endgroup$
    – Michael Albanese
    2 days ago
















  • $begingroup$
    You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
    $endgroup$
    – Michael Albanese
    2 days ago















$begingroup$
You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
$endgroup$
– Michael Albanese
2 days ago




$begingroup$
You may be interested in Huybrechts' Complex Geometry: An Introduction, section 3, appendix B titled 'SUSY for Kähler Manifolds'.
$endgroup$
– Michael Albanese
2 days ago










2 Answers
2






active

oldest

votes


















4












$begingroup$

Indeed there is. Apologies for tooting my own horn, but you can find it in this paper, cowritten with Chris Koehl and Bill Spence. Instead of repeating the explanation, I refer you to this MathOverflow answer from a decade ago.



Added after the comment



From the point of view espoused in that paper, this is what remains when one takes a supersymmetric field theory in 4-dimensional Minkowski spacetime and dimensionally reduces to a line. Taking that line to be spacelike, the supersymmetry algebra breaks to the centraliser of the three-dimensional complement of that line. Schematically, the Poincaré superalgebra is
$$mathfraksp= mathfrakso(3,1) oplus S oplus V $$
where $V$ is the 4-dimensional real vector representation of $mathfrakso(3,1)$ and $S$ is the 4-dimensional real spinorial representation of $mathfrakso(3,1)$. Both $V$ and $S$ are irreducible representations. The Lie superalgebra is $mathbbZ$-graded with $mathfrakso(3,1)$ in degree $0$, $S$ in degree $-1$ and $V$ in degree $-2$. The only non-obvious bracket is
$$ [S,S] = V $$
Now pick a spacelike vector $v in V$. Then the centraliser of $v^perp$ in $mathfraksp$ is the Lie subalgebra
$$mathfrakso(2,1) oplus S oplus V $$



Geometrically, $v^perp$ acts trivially, $v$ is central and acts like the Laplacian, the $mathfrakso(2,1) cong mathfraksl(2,mathbbR)$ subalgebra is spanned by $L,Lambda,H$ and $S$ is spanned by $partial$, $partial^*$, $barpartial$ and $barpartial^*$.



(You may have to complexify everything, by the way.)






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
    $endgroup$
    – Pierre Dubois
    May 1 at 20:06










  • $begingroup$
    I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
    $endgroup$
    – José Figueroa-O'Farrill
    May 1 at 20:09










  • $begingroup$
    Great, thanks a lot for your help!
    $endgroup$
    – Pierre Dubois
    May 1 at 20:40


















2












$begingroup$

I did not know these identities but after a small search, i think that some relations are missing from your post:

In: http://mathworld.wolfram.com/KaehlerIdentities.html

some additional relations (see eqs (17)-(19) and the LHS of eqs (10)-(13); the RHS do not seem to be independent relations, they can probably be extracted from the rest) are included. If you take into account these additional relations, then your algebra is a Lie superalgebra (or: $mathbbZ_2$-graded lie algebra), with a basis of the even subspace consisting of $L$, $Lambda$, $H$ and a basis of the odd subspace consisting of $partial,overlinepartial, partial^*,overlinepartial^*$.



Related:
Is the SUSY Algebra isomorphic for all Kähler Manifolds?






share|cite|improve this answer











$endgroup$













    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "504"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330480%2flie-super-algebra-presentation-of-the-k%25c3%25a4hler-identities%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    4












    $begingroup$

    Indeed there is. Apologies for tooting my own horn, but you can find it in this paper, cowritten with Chris Koehl and Bill Spence. Instead of repeating the explanation, I refer you to this MathOverflow answer from a decade ago.



    Added after the comment



    From the point of view espoused in that paper, this is what remains when one takes a supersymmetric field theory in 4-dimensional Minkowski spacetime and dimensionally reduces to a line. Taking that line to be spacelike, the supersymmetry algebra breaks to the centraliser of the three-dimensional complement of that line. Schematically, the Poincaré superalgebra is
    $$mathfraksp= mathfrakso(3,1) oplus S oplus V $$
    where $V$ is the 4-dimensional real vector representation of $mathfrakso(3,1)$ and $S$ is the 4-dimensional real spinorial representation of $mathfrakso(3,1)$. Both $V$ and $S$ are irreducible representations. The Lie superalgebra is $mathbbZ$-graded with $mathfrakso(3,1)$ in degree $0$, $S$ in degree $-1$ and $V$ in degree $-2$. The only non-obvious bracket is
    $$ [S,S] = V $$
    Now pick a spacelike vector $v in V$. Then the centraliser of $v^perp$ in $mathfraksp$ is the Lie subalgebra
    $$mathfrakso(2,1) oplus S oplus V $$



    Geometrically, $v^perp$ acts trivially, $v$ is central and acts like the Laplacian, the $mathfrakso(2,1) cong mathfraksl(2,mathbbR)$ subalgebra is spanned by $L,Lambda,H$ and $S$ is spanned by $partial$, $partial^*$, $barpartial$ and $barpartial^*$.



    (You may have to complexify everything, by the way.)






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
      $endgroup$
      – Pierre Dubois
      May 1 at 20:06










    • $begingroup$
      I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
      $endgroup$
      – José Figueroa-O'Farrill
      May 1 at 20:09










    • $begingroup$
      Great, thanks a lot for your help!
      $endgroup$
      – Pierre Dubois
      May 1 at 20:40















    4












    $begingroup$

    Indeed there is. Apologies for tooting my own horn, but you can find it in this paper, cowritten with Chris Koehl and Bill Spence. Instead of repeating the explanation, I refer you to this MathOverflow answer from a decade ago.



    Added after the comment



    From the point of view espoused in that paper, this is what remains when one takes a supersymmetric field theory in 4-dimensional Minkowski spacetime and dimensionally reduces to a line. Taking that line to be spacelike, the supersymmetry algebra breaks to the centraliser of the three-dimensional complement of that line. Schematically, the Poincaré superalgebra is
    $$mathfraksp= mathfrakso(3,1) oplus S oplus V $$
    where $V$ is the 4-dimensional real vector representation of $mathfrakso(3,1)$ and $S$ is the 4-dimensional real spinorial representation of $mathfrakso(3,1)$. Both $V$ and $S$ are irreducible representations. The Lie superalgebra is $mathbbZ$-graded with $mathfrakso(3,1)$ in degree $0$, $S$ in degree $-1$ and $V$ in degree $-2$. The only non-obvious bracket is
    $$ [S,S] = V $$
    Now pick a spacelike vector $v in V$. Then the centraliser of $v^perp$ in $mathfraksp$ is the Lie subalgebra
    $$mathfrakso(2,1) oplus S oplus V $$



    Geometrically, $v^perp$ acts trivially, $v$ is central and acts like the Laplacian, the $mathfrakso(2,1) cong mathfraksl(2,mathbbR)$ subalgebra is spanned by $L,Lambda,H$ and $S$ is spanned by $partial$, $partial^*$, $barpartial$ and $barpartial^*$.



    (You may have to complexify everything, by the way.)






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
      $endgroup$
      – Pierre Dubois
      May 1 at 20:06










    • $begingroup$
      I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
      $endgroup$
      – José Figueroa-O'Farrill
      May 1 at 20:09










    • $begingroup$
      Great, thanks a lot for your help!
      $endgroup$
      – Pierre Dubois
      May 1 at 20:40













    4












    4








    4





    $begingroup$

    Indeed there is. Apologies for tooting my own horn, but you can find it in this paper, cowritten with Chris Koehl and Bill Spence. Instead of repeating the explanation, I refer you to this MathOverflow answer from a decade ago.



    Added after the comment



    From the point of view espoused in that paper, this is what remains when one takes a supersymmetric field theory in 4-dimensional Minkowski spacetime and dimensionally reduces to a line. Taking that line to be spacelike, the supersymmetry algebra breaks to the centraliser of the three-dimensional complement of that line. Schematically, the Poincaré superalgebra is
    $$mathfraksp= mathfrakso(3,1) oplus S oplus V $$
    where $V$ is the 4-dimensional real vector representation of $mathfrakso(3,1)$ and $S$ is the 4-dimensional real spinorial representation of $mathfrakso(3,1)$. Both $V$ and $S$ are irreducible representations. The Lie superalgebra is $mathbbZ$-graded with $mathfrakso(3,1)$ in degree $0$, $S$ in degree $-1$ and $V$ in degree $-2$. The only non-obvious bracket is
    $$ [S,S] = V $$
    Now pick a spacelike vector $v in V$. Then the centraliser of $v^perp$ in $mathfraksp$ is the Lie subalgebra
    $$mathfrakso(2,1) oplus S oplus V $$



    Geometrically, $v^perp$ acts trivially, $v$ is central and acts like the Laplacian, the $mathfrakso(2,1) cong mathfraksl(2,mathbbR)$ subalgebra is spanned by $L,Lambda,H$ and $S$ is spanned by $partial$, $partial^*$, $barpartial$ and $barpartial^*$.



    (You may have to complexify everything, by the way.)






    share|cite|improve this answer











    $endgroup$



    Indeed there is. Apologies for tooting my own horn, but you can find it in this paper, cowritten with Chris Koehl and Bill Spence. Instead of repeating the explanation, I refer you to this MathOverflow answer from a decade ago.



    Added after the comment



    From the point of view espoused in that paper, this is what remains when one takes a supersymmetric field theory in 4-dimensional Minkowski spacetime and dimensionally reduces to a line. Taking that line to be spacelike, the supersymmetry algebra breaks to the centraliser of the three-dimensional complement of that line. Schematically, the Poincaré superalgebra is
    $$mathfraksp= mathfrakso(3,1) oplus S oplus V $$
    where $V$ is the 4-dimensional real vector representation of $mathfrakso(3,1)$ and $S$ is the 4-dimensional real spinorial representation of $mathfrakso(3,1)$. Both $V$ and $S$ are irreducible representations. The Lie superalgebra is $mathbbZ$-graded with $mathfrakso(3,1)$ in degree $0$, $S$ in degree $-1$ and $V$ in degree $-2$. The only non-obvious bracket is
    $$ [S,S] = V $$
    Now pick a spacelike vector $v in V$. Then the centraliser of $v^perp$ in $mathfraksp$ is the Lie subalgebra
    $$mathfrakso(2,1) oplus S oplus V $$



    Geometrically, $v^perp$ acts trivially, $v$ is central and acts like the Laplacian, the $mathfrakso(2,1) cong mathfraksl(2,mathbbR)$ subalgebra is spanned by $L,Lambda,H$ and $S$ is spanned by $partial$, $partial^*$, $barpartial$ and $barpartial^*$.



    (You may have to complexify everything, by the way.)







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited May 1 at 20:28

























    answered May 1 at 18:52









    José Figueroa-O'FarrillJosé Figueroa-O'Farrill

    25.8k375151




    25.8k375151











    • $begingroup$
      Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
      $endgroup$
      – Pierre Dubois
      May 1 at 20:06










    • $begingroup$
      I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
      $endgroup$
      – José Figueroa-O'Farrill
      May 1 at 20:09










    • $begingroup$
      Great, thanks a lot for your help!
      $endgroup$
      – Pierre Dubois
      May 1 at 20:40
















    • $begingroup$
      Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
      $endgroup$
      – Pierre Dubois
      May 1 at 20:06










    • $begingroup$
      I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
      $endgroup$
      – José Figueroa-O'Farrill
      May 1 at 20:09










    • $begingroup$
      Great, thanks a lot for your help!
      $endgroup$
      – Pierre Dubois
      May 1 at 20:40















    $begingroup$
    Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
    $endgroup$
    – Pierre Dubois
    May 1 at 20:06




    $begingroup$
    Great, thanks for the link: So if my quick reading of your old answer is correct, then together with the anti-commutation relations between the partial differential operators and their adjoints, the super Lie algebra is $frakso(3,1)$?
    $endgroup$
    – Pierre Dubois
    May 1 at 20:06












    $begingroup$
    I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
    $endgroup$
    – José Figueroa-O'Farrill
    May 1 at 20:09




    $begingroup$
    I'm not sure what you mean by $mathfrakso(3,1)$. For me that is a Lie algebra, isomorphic to the Lie algebra of Lorentz transformations on 4-dimensional Minkowski spacetime. I believe that the Lie superalgebra in question is the centraliser of a spatial translation in the $N=1$ 4-dimensional Poincaré superalgebra.
    $endgroup$
    – José Figueroa-O'Farrill
    May 1 at 20:09












    $begingroup$
    Great, thanks a lot for your help!
    $endgroup$
    – Pierre Dubois
    May 1 at 20:40




    $begingroup$
    Great, thanks a lot for your help!
    $endgroup$
    – Pierre Dubois
    May 1 at 20:40











    2












    $begingroup$

    I did not know these identities but after a small search, i think that some relations are missing from your post:

    In: http://mathworld.wolfram.com/KaehlerIdentities.html

    some additional relations (see eqs (17)-(19) and the LHS of eqs (10)-(13); the RHS do not seem to be independent relations, they can probably be extracted from the rest) are included. If you take into account these additional relations, then your algebra is a Lie superalgebra (or: $mathbbZ_2$-graded lie algebra), with a basis of the even subspace consisting of $L$, $Lambda$, $H$ and a basis of the odd subspace consisting of $partial,overlinepartial, partial^*,overlinepartial^*$.



    Related:
    Is the SUSY Algebra isomorphic for all Kähler Manifolds?






    share|cite|improve this answer











    $endgroup$

















      2












      $begingroup$

      I did not know these identities but after a small search, i think that some relations are missing from your post:

      In: http://mathworld.wolfram.com/KaehlerIdentities.html

      some additional relations (see eqs (17)-(19) and the LHS of eqs (10)-(13); the RHS do not seem to be independent relations, they can probably be extracted from the rest) are included. If you take into account these additional relations, then your algebra is a Lie superalgebra (or: $mathbbZ_2$-graded lie algebra), with a basis of the even subspace consisting of $L$, $Lambda$, $H$ and a basis of the odd subspace consisting of $partial,overlinepartial, partial^*,overlinepartial^*$.



      Related:
      Is the SUSY Algebra isomorphic for all Kähler Manifolds?






      share|cite|improve this answer











      $endgroup$















        2












        2








        2





        $begingroup$

        I did not know these identities but after a small search, i think that some relations are missing from your post:

        In: http://mathworld.wolfram.com/KaehlerIdentities.html

        some additional relations (see eqs (17)-(19) and the LHS of eqs (10)-(13); the RHS do not seem to be independent relations, they can probably be extracted from the rest) are included. If you take into account these additional relations, then your algebra is a Lie superalgebra (or: $mathbbZ_2$-graded lie algebra), with a basis of the even subspace consisting of $L$, $Lambda$, $H$ and a basis of the odd subspace consisting of $partial,overlinepartial, partial^*,overlinepartial^*$.



        Related:
        Is the SUSY Algebra isomorphic for all Kähler Manifolds?






        share|cite|improve this answer











        $endgroup$



        I did not know these identities but after a small search, i think that some relations are missing from your post:

        In: http://mathworld.wolfram.com/KaehlerIdentities.html

        some additional relations (see eqs (17)-(19) and the LHS of eqs (10)-(13); the RHS do not seem to be independent relations, they can probably be extracted from the rest) are included. If you take into account these additional relations, then your algebra is a Lie superalgebra (or: $mathbbZ_2$-graded lie algebra), with a basis of the even subspace consisting of $L$, $Lambda$, $H$ and a basis of the odd subspace consisting of $partial,overlinepartial, partial^*,overlinepartial^*$.



        Related:
        Is the SUSY Algebra isomorphic for all Kähler Manifolds?







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited May 2 at 1:25

























        answered May 1 at 18:17









        Konstantinos KanakoglouKonstantinos Kanakoglou

        3,80121538




        3,80121538



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to MathOverflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330480%2flie-super-algebra-presentation-of-the-k%25c3%25a4hler-identities%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

            Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

            Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?