Namespaces
Variants
Actions

Difference between revisions of "Non-commutative anomaly"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (→‎References: better)
(TeX done)
 
Line 1: Line 1:
Many fundamental calculations of [[Quantum field theory|quantum field theory]] reduce, in essence, to the computation of the [[Determinant|determinant]] of some operator. One could even venture to say that, at one-loop order, any such theory reduces to a theory of determinants. It has been realized recently (2000) that the calculation of effective actions through the corresponding determinants is not free from dangers (which were overlooked till very recently by the physics community) stemming from the existence of a multiplicative anomaly (also non-commutative anomaly or determinant anomaly), i.e., the fact that the determinant of a product of operators is not equal, in general, to the product of the determinants. The difference proves to be physically relevant, since only in some particular cases can it be simply absorbed into the renormalized constants. The operators involved are  "differential"  ones, as the normal physicist would say. In fact, properly speaking, they are pseudo-differential operators (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300802.png" />DOs; cf. also [[Pseudo-differential operator|Pseudo-differential operator]]), that is, in loose terms  "some analytic functions of differential operators"  (such as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300803.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300804.png" />, but not <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300805.png" />). This is explained in detail in [[#References|[a3]]].
+
Many fundamental calculations of [[quantum field theory]] reduce, in essence, to the computation of the [[determinant]] of some operator. One could even venture to say that, at one-loop order, any such theory reduces to a theory of determinants. It has been realized recently (2000) that the calculation of effective actions through the corresponding determinants is not free from dangers (which were overlooked till very recently by the physics community) stemming from the existence of a multiplicative anomaly (also non-commutative anomaly or determinant anomaly), i.e., the fact that the determinant of a product of operators is not equal, in general, to the product of the determinants. The difference proves to be physically relevant, since only in some particular cases can it be simply absorbed into the renormalized constants. The operators involved are  "differential"  ones, as the normal physicist would say. In fact, properly speaking, they are [[pseudo-differential operator]]s (ΨDOs), that is, in loose terms  "some analytic functions of differential operators"  (such as $\sqrt{1+D}$ or $\log(1+D)$, but not $\log D$). This is explained in detail in [[#References|[a3]]].
  
 
Important as the concept of determinant of a differential or pseudo-differential operator may be for theoretical physicists, it is surprising that this seems not to be a subject of study among function analysts or mathematicians in general. The question of regularizing infinite determinants was already addressed by K. Weierstrass in a way that, although it has been pursued by some theoretical physicists with success, is not without problems (as a general method) since it ordinarily leads to non-local contributions that cannot be given a physical meaning in quantum field theory. One should mention, for completion, that there are, since long ago, well-established theories of determinants for degenerate operators, for trace-class operators in a Hilbert space, for Fredholm operators, etc. but, again, these definitions of determinant do not fulfil all the needs mentioned above which arise in quantum field theory.
 
Important as the concept of determinant of a differential or pseudo-differential operator may be for theoretical physicists, it is surprising that this seems not to be a subject of study among function analysts or mathematicians in general. The question of regularizing infinite determinants was already addressed by K. Weierstrass in a way that, although it has been pursued by some theoretical physicists with success, is not without problems (as a general method) since it ordinarily leads to non-local contributions that cannot be given a physical meaning in quantum field theory. One should mention, for completion, that there are, since long ago, well-established theories of determinants for degenerate operators, for trace-class operators in a Hilbert space, for Fredholm operators, etc. but, again, these definitions of determinant do not fulfil all the needs mentioned above which arise in quantum field theory.
  
 
Take the determinant of the Dirac operator. It is defined roughly as
 
Take the determinant of the Dirac operator. It is defined roughly as
 +
$$
 +
\det \mathcal{D} = \prod_i \lambda_i
 +
$$
 +
where the infinite product is regularized with (for example) zeta-function or Pauli–Villars regularization (cf. also [[Zeta-function method for regularization]]). The zeta-function definition of the determinant
 +
$$
 +
\det_\zeta \mathcal{D} = \exp\left[{ -\zeta_{\mathcal{D}}'(0) }\right]
 +
$$
 +
is possibly the one that has more firm mathematical grounds [[#References|[a1]]], [[#References|[a2]]]. In spite of starting from the identity $\log\det = \tr\log$, it is known to develop a multiplicative anomaly: the determinant of the product of two operators is not equal, in general, to the product of the determinants (even if the operators commute!). This happens already with very simple operators (as two one-dimensional harmonic oscillators only differing in a constant term, Laplacians plus different mass terms, etc.) [[#References|[a4]]].
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300806.png" /></td> </tr></table>
+
Given pseudo-differential operators $A$, $B$ and $AB$, even if their zeta-functions $\zeta_A$, $\zeta_B$ and $\zeta_{AB}$ exist it turns out that, in general, $\det_\zeta(AB) \ne \det_\zeta A \det_\zeta B$. The non-commutative anomaly is defined as:
 
+
$$
where the infinite product is regularized with (for example) zeta-function or Pauli–Villars regularization (cf. also [[Zeta-function method for regularization|Zeta-function method for regularization]]). The zeta-function definition of the determinant
+
\delta(A,B) = \log\left[{ \frac{ \det_\zeta(AB) }{ \det_\zeta A \det_\zeta B } }\right] = - \zeta'_{AB}(0) + \zeta'_A(0) + \zeta'_B(0) \ .
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300807.png" /></td> </tr></table>
 
 
 
is possibly the one that has more firm mathematical grounds [[#References|[a1]]], [[#References|[a2]]]. In spite of starting from the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300808.png" />, it is known to develop a multiplicative anomaly: the determinant of the product of two operators is not equal, in general, to the product of the determinants (even if the operators commute!). This happens already with very simple operators (as two one-dimensional harmonic oscillators only differing in a constant term, Laplacians plus different mass terms, etc.) [[#References|[a4]]].
 
 
 
Given pseudo-differential operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n1300809.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008011.png" />, even if their zeta-functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008014.png" /> exist it turns out that, in general, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008015.png" />. The non-commutative anomaly is defined as:
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008016.png" /></td> </tr></table>
 
  
 
The Wodzicki formula for the multiplicative anomaly is very useful. It reads [[#References|[a4]]]:
 
The Wodzicki formula for the multiplicative anomaly is very useful. It reads [[#References|[a4]]]:
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008017.png" /></td> </tr></table>
+
\delta(A,B) = \frac{ \mathrm{res}([\log\sigma(A,B)]^2) }{ 2\ord A \ord B (\ord A + \ord B) } \ ,
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n130/n130080/n13008018.png" /></td> </tr></table>
+
$$
 
+
\sigma(A,B) = A^{\ord B} B^{-\ord A} \ ;
in terms of the [[Wodzicki residue|Wodzicki residue]].
+
$$
 +
in terms of the [[Wodzicki residue]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D.B. Ray,  I.M. Singer,  "R-torsion and the Laplacian on Riemannian manifolds"  ''Adv. Math.'' , '''7'''  (1971)  pp. 145</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D.B. Ray,  I.M. Singer,  "Analytic torsion for complex manifolds"  ''Ann. of Math.'' , '''98'''  (1973)  pp. 154–177</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  E. Elizalde,  "Zeta functions: formulas and applications"  H.M. Srivastava (ed.) , ''Higher Transcendental Functions and their Applications'' , North-Holland  (2000)  (Special Issue J. Computational Applied Math. 118 (2000), 125)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Elizalde,  L. Vanzo,  S. Zerbini,  "Zeta-function regularization, the multiplicative anomaly and the Wodzicki residue"  ''Commun. Math. Phys.'' , '''194'''  (1998)  pp. 613–630</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  D.B. Ray,  I.M. Singer,  "$R$-torsion and the Laplacian on Riemannian manifolds"  ''Adv. Math.'' , '''7'''  (1971)  pp. 145</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  D.B. Ray,  I.M. Singer,  "Analytic torsion for complex manifolds"  ''Ann. of Math.'' , '''98'''  (1973)  pp. 154–177</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  E. Elizalde,  "Zeta functions: formulas and applications"  H.M. Srivastava (ed.) , ''Higher Transcendental Functions and their Applications'' , North-Holland  (2000)  (Special Issue J. Computational Applied Math. 118 (2000), 125)</TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top">  E. Elizalde,  L. Vanzo,  S. Zerbini,  "Zeta-function regularization, the multiplicative anomaly and the Wodzicki residue"  ''Commun. Math. Phys.'' , '''194'''  (1998)  pp. 613–630</TD></TR>
 +
</table>

Latest revision as of 16:24, 21 September 2017

Many fundamental calculations of quantum field theory reduce, in essence, to the computation of the determinant of some operator. One could even venture to say that, at one-loop order, any such theory reduces to a theory of determinants. It has been realized recently (2000) that the calculation of effective actions through the corresponding determinants is not free from dangers (which were overlooked till very recently by the physics community) stemming from the existence of a multiplicative anomaly (also non-commutative anomaly or determinant anomaly), i.e., the fact that the determinant of a product of operators is not equal, in general, to the product of the determinants. The difference proves to be physically relevant, since only in some particular cases can it be simply absorbed into the renormalized constants. The operators involved are "differential" ones, as the normal physicist would say. In fact, properly speaking, they are pseudo-differential operators (ΨDOs), that is, in loose terms "some analytic functions of differential operators" (such as $\sqrt{1+D}$ or $\log(1+D)$, but not $\log D$). This is explained in detail in [a3].

Important as the concept of determinant of a differential or pseudo-differential operator may be for theoretical physicists, it is surprising that this seems not to be a subject of study among function analysts or mathematicians in general. The question of regularizing infinite determinants was already addressed by K. Weierstrass in a way that, although it has been pursued by some theoretical physicists with success, is not without problems (as a general method) since it ordinarily leads to non-local contributions that cannot be given a physical meaning in quantum field theory. One should mention, for completion, that there are, since long ago, well-established theories of determinants for degenerate operators, for trace-class operators in a Hilbert space, for Fredholm operators, etc. but, again, these definitions of determinant do not fulfil all the needs mentioned above which arise in quantum field theory.

Take the determinant of the Dirac operator. It is defined roughly as $$ \det \mathcal{D} = \prod_i \lambda_i $$ where the infinite product is regularized with (for example) zeta-function or Pauli–Villars regularization (cf. also Zeta-function method for regularization). The zeta-function definition of the determinant $$ \det_\zeta \mathcal{D} = \exp\left[{ -\zeta_{\mathcal{D}}'(0) }\right] $$ is possibly the one that has more firm mathematical grounds [a1], [a2]. In spite of starting from the identity $\log\det = \tr\log$, it is known to develop a multiplicative anomaly: the determinant of the product of two operators is not equal, in general, to the product of the determinants (even if the operators commute!). This happens already with very simple operators (as two one-dimensional harmonic oscillators only differing in a constant term, Laplacians plus different mass terms, etc.) [a4].

Given pseudo-differential operators $A$, $B$ and $AB$, even if their zeta-functions $\zeta_A$, $\zeta_B$ and $\zeta_{AB}$ exist it turns out that, in general, $\det_\zeta(AB) \ne \det_\zeta A \det_\zeta B$. The non-commutative anomaly is defined as: $$ \delta(A,B) = \log\left[{ \frac{ \det_\zeta(AB) }{ \det_\zeta A \det_\zeta B } }\right] = - \zeta'_{AB}(0) + \zeta'_A(0) + \zeta'_B(0) \ . $$

The Wodzicki formula for the multiplicative anomaly is very useful. It reads [a4]: $$ \delta(A,B) = \frac{ \mathrm{res}([\log\sigma(A,B)]^2) }{ 2\ord A \ord B (\ord A + \ord B) } \ , $$ $$ \sigma(A,B) = A^{\ord B} B^{-\ord A} \ ; $$ in terms of the Wodzicki residue.

References

[a1] D.B. Ray, I.M. Singer, "$R$-torsion and the Laplacian on Riemannian manifolds" Adv. Math. , 7 (1971) pp. 145
[a2] D.B. Ray, I.M. Singer, "Analytic torsion for complex manifolds" Ann. of Math. , 98 (1973) pp. 154–177
[a3] E. Elizalde, "Zeta functions: formulas and applications" H.M. Srivastava (ed.) , Higher Transcendental Functions and their Applications , North-Holland (2000) (Special Issue J. Computational Applied Math. 118 (2000), 125)
[a4] E. Elizalde, L. Vanzo, S. Zerbini, "Zeta-function regularization, the multiplicative anomaly and the Wodzicki residue" Commun. Math. Phys. , 194 (1998) pp. 613–630
How to Cite This Entry:
Non-commutative anomaly. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Non-commutative_anomaly&oldid=41908
This article was adapted from an original article by E. Elizalde (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article