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
$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?
complex-geometry lie-algebras kahler-manifolds lie-superalgebras hermitian-manifolds
$endgroup$
add a comment |
$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?
complex-geometry lie-algebras kahler-manifolds lie-superalgebras hermitian-manifolds
$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
add a comment |
$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?
complex-geometry lie-algebras kahler-manifolds lie-superalgebras hermitian-manifolds
$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
complex-geometry lie-algebras kahler-manifolds lie-superalgebras hermitian-manifolds
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
add a comment |
$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
add a comment |
2 Answers
2
active
oldest
votes
$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.)
$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
add a comment |
$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?
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.)
$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
add a comment |
$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.)
$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
add a comment |
$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.)
$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.)
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
add a comment |
$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
add a comment |
$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?
$endgroup$
add a comment |
$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?
$endgroup$
add a comment |
$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?
$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?
edited May 2 at 1:25
answered May 1 at 18:17
Konstantinos KanakoglouKonstantinos Kanakoglou
3,80121538
3,80121538
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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