Is the derivative with respect to a fermion field Grassmann-odd?Derivative with respect to a spinor of the free Dirac lagrangianCompleting the square for Grassmann variablesWhy doesn't this multiplication of Grassmann variables give the expected result?Grassmann variablesGrassmann numbers in the dual spaceClassical Fermion and Grassmann numberDerivative with respect to a spinor of the free Dirac lagrangianHow are supersymmetry transformations even defined?Can you quantize Grassmann-even superfields in the same fashion as Boson fields?Equivalence between Dirac and Majorana action in CFTHow does canonical quantization work with Grassmann variables?

Why aren't space telescopes put in GEO?

Why didn't Thanos use the Time Stone to stop the Avengers' plan?

Is the field of q-series 'dead'?

Sitecore 9.0 works with solr 7.2.1?

Externally monitoring CPU/SSD activity without software access

Need to understand my home electrical meter to see why bill is so high and/or if neighbor is on same meter

Which melee weapons have the Two-Handed property, but lack Heavy and Special?

Why is this Simple Puzzle impossible to solve?

What to do when you've set the wrong ISO for your film?

What is the object moving across the ceiling in this stock footage?

NIntegrate doesn't evaluate

I unknowingly submitted plagarised work

How to respond to an upset student?

Employer asking for online access to bank account - Is this a scam?

number headings

Can a person survive on blood in place of water?

Where's this lookout in Nova Scotia?

Alignment: "Breaking out" of environment (enumerate / minipage)

Is the derivative with respect to a fermion field Grassmann-odd?

What are the mechanical differences between the uncommon Medallion of Thoughts and the rare Potion of Mind Reading?

The art of clickbait captions

Did 20% of US soldiers in Vietnam use heroin, 95% of whom quit afterwards?

Why does this if-statement combining assignment and an equality check return true?

What is a really good book for complex variables?



Is the derivative with respect to a fermion field Grassmann-odd?


Derivative with respect to a spinor of the free Dirac lagrangianCompleting the square for Grassmann variablesWhy doesn't this multiplication of Grassmann variables give the expected result?Grassmann variablesGrassmann numbers in the dual spaceClassical Fermion and Grassmann numberDerivative with respect to a spinor of the free Dirac lagrangianHow are supersymmetry transformations even defined?Can you quantize Grassmann-even superfields in the same fashion as Boson fields?Equivalence between Dirac and Majorana action in CFTHow does canonical quantization work with Grassmann variables?













2












$begingroup$


Fermion fields anticommute because they are Grassmann numbers, that is,
beginequation
psi chi = - chi psi.
endequation

I was wondering whether derivatives with respect to Grassmann numbers also anticommute, as in



beginequation
fracpartialpartial psi (bar psi psi) stackrel?= - bar psi fracpartialpartial psi (psi) = - bar psi.
endequation










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Yup, they are defined to anticommute.
    $endgroup$
    – knzhou
    8 hours ago






  • 1




    $begingroup$
    related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
    $endgroup$
    – AccidentalFourierTransform
    4 hours ago















2












$begingroup$


Fermion fields anticommute because they are Grassmann numbers, that is,
beginequation
psi chi = - chi psi.
endequation

I was wondering whether derivatives with respect to Grassmann numbers also anticommute, as in



beginequation
fracpartialpartial psi (bar psi psi) stackrel?= - bar psi fracpartialpartial psi (psi) = - bar psi.
endequation










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Yup, they are defined to anticommute.
    $endgroup$
    – knzhou
    8 hours ago






  • 1




    $begingroup$
    related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
    $endgroup$
    – AccidentalFourierTransform
    4 hours ago













2












2








2





$begingroup$


Fermion fields anticommute because they are Grassmann numbers, that is,
beginequation
psi chi = - chi psi.
endequation

I was wondering whether derivatives with respect to Grassmann numbers also anticommute, as in



beginequation
fracpartialpartial psi (bar psi psi) stackrel?= - bar psi fracpartialpartial psi (psi) = - bar psi.
endequation










share|cite|improve this question











$endgroup$




Fermion fields anticommute because they are Grassmann numbers, that is,
beginequation
psi chi = - chi psi.
endequation

I was wondering whether derivatives with respect to Grassmann numbers also anticommute, as in



beginequation
fracpartialpartial psi (bar psi psi) stackrel?= - bar psi fracpartialpartial psi (psi) = - bar psi.
endequation







field-theory differentiation fermions grassmann-numbers superalgebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago









Qmechanic

109k122061277




109k122061277










asked 8 hours ago









David AlbandeaDavid Albandea

604




604







  • 1




    $begingroup$
    Yup, they are defined to anticommute.
    $endgroup$
    – knzhou
    8 hours ago






  • 1




    $begingroup$
    related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
    $endgroup$
    – AccidentalFourierTransform
    4 hours ago












  • 1




    $begingroup$
    Yup, they are defined to anticommute.
    $endgroup$
    – knzhou
    8 hours ago






  • 1




    $begingroup$
    related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
    $endgroup$
    – AccidentalFourierTransform
    4 hours ago







1




1




$begingroup$
Yup, they are defined to anticommute.
$endgroup$
– knzhou
8 hours ago




$begingroup$
Yup, they are defined to anticommute.
$endgroup$
– knzhou
8 hours ago




1




1




$begingroup$
related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
$endgroup$
– AccidentalFourierTransform
4 hours ago




$begingroup$
related/possible dup.: Derivative with respect to a spinor of the free Dirac lagrangian.
$endgroup$
– AccidentalFourierTransform
4 hours ago










2 Answers
2






active

oldest

votes


















6












$begingroup$

  1. Since$^1$ $$(fracpartialpartial zz)~=~1tag1$$
    for any supernumber-valued variable $z$, the Grassmann-parity of the partial derivative $fracpartialpartial z$ should be the same as the Grassmann-parity of $z$ in order for eq. (1) to preserve Grassmann-parity.


  2. In superspace $mathbbR^mni(x,theta)$ a functional derivative $fracdeltadelta z(x,theta)$ and its superfield $z(x,theta)$ carry the same (opposite) Grassmann parity if the number $m$ of $theta$'s is even (odd), respectively:
    $$ (fracdeltadelta z(x,theta)z(x^prime,theta^prime))~=~delta^n(x!-!x^prime)delta^m(theta!-!theta^prime) tag2.$$


--



$^1$ The parenthesis on the left-hand side of eq. (1) is supposed to indicate that the derivative $fracpartialpartial z$ does not act past $z$.






share|cite|improve this answer











$endgroup$




















    1












    $begingroup$

    In a Grassmann algebra (or more pedantic, a $mathbbZ_2$-graded algebra), the expression with two equality signs you wrote is ill-defined. One either has a left-derivative, or a right-derivative, which are different operators in terms of results. More precisely,



    $$ fracpartial^Lpartial psi left(barpsipsiright) = (-)^epsilon(barpsi)epsilon(psi) barpsi $$



    $$ fracpartial^Rpartial psi left(barpsipsiright) = barpsi $$,



    where the epsilons are the Grassmann parities of the two variables. if both variables are Grassmann-odd, then the results of the operators are different (one is minus the other).






    share|cite|improve this answer









    $endgroup$













      Your Answer








      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "151"
      ;
      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: false,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: null,
      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%2fphysics.stackexchange.com%2fquestions%2f482137%2fis-the-derivative-with-respect-to-a-fermion-field-grassmann-odd%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









      6












      $begingroup$

      1. Since$^1$ $$(fracpartialpartial zz)~=~1tag1$$
        for any supernumber-valued variable $z$, the Grassmann-parity of the partial derivative $fracpartialpartial z$ should be the same as the Grassmann-parity of $z$ in order for eq. (1) to preserve Grassmann-parity.


      2. In superspace $mathbbR^mni(x,theta)$ a functional derivative $fracdeltadelta z(x,theta)$ and its superfield $z(x,theta)$ carry the same (opposite) Grassmann parity if the number $m$ of $theta$'s is even (odd), respectively:
        $$ (fracdeltadelta z(x,theta)z(x^prime,theta^prime))~=~delta^n(x!-!x^prime)delta^m(theta!-!theta^prime) tag2.$$


      --



      $^1$ The parenthesis on the left-hand side of eq. (1) is supposed to indicate that the derivative $fracpartialpartial z$ does not act past $z$.






      share|cite|improve this answer











      $endgroup$

















        6












        $begingroup$

        1. Since$^1$ $$(fracpartialpartial zz)~=~1tag1$$
          for any supernumber-valued variable $z$, the Grassmann-parity of the partial derivative $fracpartialpartial z$ should be the same as the Grassmann-parity of $z$ in order for eq. (1) to preserve Grassmann-parity.


        2. In superspace $mathbbR^mni(x,theta)$ a functional derivative $fracdeltadelta z(x,theta)$ and its superfield $z(x,theta)$ carry the same (opposite) Grassmann parity if the number $m$ of $theta$'s is even (odd), respectively:
          $$ (fracdeltadelta z(x,theta)z(x^prime,theta^prime))~=~delta^n(x!-!x^prime)delta^m(theta!-!theta^prime) tag2.$$


        --



        $^1$ The parenthesis on the left-hand side of eq. (1) is supposed to indicate that the derivative $fracpartialpartial z$ does not act past $z$.






        share|cite|improve this answer











        $endgroup$















          6












          6








          6





          $begingroup$

          1. Since$^1$ $$(fracpartialpartial zz)~=~1tag1$$
            for any supernumber-valued variable $z$, the Grassmann-parity of the partial derivative $fracpartialpartial z$ should be the same as the Grassmann-parity of $z$ in order for eq. (1) to preserve Grassmann-parity.


          2. In superspace $mathbbR^mni(x,theta)$ a functional derivative $fracdeltadelta z(x,theta)$ and its superfield $z(x,theta)$ carry the same (opposite) Grassmann parity if the number $m$ of $theta$'s is even (odd), respectively:
            $$ (fracdeltadelta z(x,theta)z(x^prime,theta^prime))~=~delta^n(x!-!x^prime)delta^m(theta!-!theta^prime) tag2.$$


          --



          $^1$ The parenthesis on the left-hand side of eq. (1) is supposed to indicate that the derivative $fracpartialpartial z$ does not act past $z$.






          share|cite|improve this answer











          $endgroup$



          1. Since$^1$ $$(fracpartialpartial zz)~=~1tag1$$
            for any supernumber-valued variable $z$, the Grassmann-parity of the partial derivative $fracpartialpartial z$ should be the same as the Grassmann-parity of $z$ in order for eq. (1) to preserve Grassmann-parity.


          2. In superspace $mathbbR^mni(x,theta)$ a functional derivative $fracdeltadelta z(x,theta)$ and its superfield $z(x,theta)$ carry the same (opposite) Grassmann parity if the number $m$ of $theta$'s is even (odd), respectively:
            $$ (fracdeltadelta z(x,theta)z(x^prime,theta^prime))~=~delta^n(x!-!x^prime)delta^m(theta!-!theta^prime) tag2.$$


          --



          $^1$ The parenthesis on the left-hand side of eq. (1) is supposed to indicate that the derivative $fracpartialpartial z$ does not act past $z$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 4 hours ago

























          answered 7 hours ago









          QmechanicQmechanic

          109k122061277




          109k122061277





















              1












              $begingroup$

              In a Grassmann algebra (or more pedantic, a $mathbbZ_2$-graded algebra), the expression with two equality signs you wrote is ill-defined. One either has a left-derivative, or a right-derivative, which are different operators in terms of results. More precisely,



              $$ fracpartial^Lpartial psi left(barpsipsiright) = (-)^epsilon(barpsi)epsilon(psi) barpsi $$



              $$ fracpartial^Rpartial psi left(barpsipsiright) = barpsi $$,



              where the epsilons are the Grassmann parities of the two variables. if both variables are Grassmann-odd, then the results of the operators are different (one is minus the other).






              share|cite|improve this answer









              $endgroup$

















                1












                $begingroup$

                In a Grassmann algebra (or more pedantic, a $mathbbZ_2$-graded algebra), the expression with two equality signs you wrote is ill-defined. One either has a left-derivative, or a right-derivative, which are different operators in terms of results. More precisely,



                $$ fracpartial^Lpartial psi left(barpsipsiright) = (-)^epsilon(barpsi)epsilon(psi) barpsi $$



                $$ fracpartial^Rpartial psi left(barpsipsiright) = barpsi $$,



                where the epsilons are the Grassmann parities of the two variables. if both variables are Grassmann-odd, then the results of the operators are different (one is minus the other).






                share|cite|improve this answer









                $endgroup$















                  1












                  1








                  1





                  $begingroup$

                  In a Grassmann algebra (or more pedantic, a $mathbbZ_2$-graded algebra), the expression with two equality signs you wrote is ill-defined. One either has a left-derivative, or a right-derivative, which are different operators in terms of results. More precisely,



                  $$ fracpartial^Lpartial psi left(barpsipsiright) = (-)^epsilon(barpsi)epsilon(psi) barpsi $$



                  $$ fracpartial^Rpartial psi left(barpsipsiright) = barpsi $$,



                  where the epsilons are the Grassmann parities of the two variables. if both variables are Grassmann-odd, then the results of the operators are different (one is minus the other).






                  share|cite|improve this answer









                  $endgroup$



                  In a Grassmann algebra (or more pedantic, a $mathbbZ_2$-graded algebra), the expression with two equality signs you wrote is ill-defined. One either has a left-derivative, or a right-derivative, which are different operators in terms of results. More precisely,



                  $$ fracpartial^Lpartial psi left(barpsipsiright) = (-)^epsilon(barpsi)epsilon(psi) barpsi $$



                  $$ fracpartial^Rpartial psi left(barpsipsiright) = barpsi $$,



                  where the epsilons are the Grassmann parities of the two variables. if both variables are Grassmann-odd, then the results of the operators are different (one is minus the other).







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 3 hours ago









                  DanielCDanielC

                  1,7571920




                  1,7571920



























                      draft saved

                      draft discarded
















































                      Thanks for contributing an answer to Physics Stack Exchange!


                      • 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%2fphysics.stackexchange.com%2fquestions%2f482137%2fis-the-derivative-with-respect-to-a-fermion-field-grassmann-odd%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

                      ParseJSON using SSJSUsing AMPscript with SSJS ActivitiesHow to resubscribe a user in Marketing cloud using SSJS?Pulling Subscriber Status from Lists using SSJSRetrieving Emails using SSJSProblem in updating DE using SSJSUsing SSJS to send single email in Marketing CloudError adding EmailSendDefinition using SSJS

                      Кампала Садржај Географија Географија Историја Становништво Привреда Партнерски градови Референце Спољашње везе Мени за навигацију0°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.340°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.34МедијиПодациЗванични веб-сајту

                      19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу