Namespaces
Variants
Actions

Difference between revisions of "Wodzicki residue"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX done)
m (link)
 
Line 7: Line 7:
 
with $S^*M \subset T^*M$ the co-sphere bundle on $M$ (some authors put a coefficient in front of the integral, this gives the Adler–Manin residue).
 
with $S^*M \subset T^*M$ the co-sphere bundle on $M$ (some authors put a coefficient in front of the integral, this gives the Adler–Manin residue).
  
If $\dim M = n = -\ord A$ ($M$ a compact [[Riemannian manifold]], $A$ an elliptic operator, $n \in \mathbf{N}$), it coincides with the Dixmier trace, and one has
+
If $\dim M = n = -\ord A$ ($M$ a compact [[Riemannian manifold]], $A$ an [[elliptic operator]], $n \in \mathbf{N}$), it coincides with the Dixmier trace, and one has
 
$$
 
$$
 
\mathrm{res}_{s=1} \zeta_A(s) = \frac{1}{n} \mathrm{res} A^{-1} \ .
 
\mathrm{res}_{s=1} \zeta_A(s) = \frac{1}{n} \mathrm{res} A^{-1} \ .

Latest revision as of 18:13, 25 September 2017

non-commutative residue

In algebraic quantum field theory, in order to write down an action in operator language one needs a functional that replaces integration [a1]. For the Yang–Mills theory (cf. Yang–Mills field) this is the Dixmier trace, which is the unique extension of the usual trace to the ideal $\mathcal{L}^{(1,\infty)}$ of the compact operators $T$ such that the partial sums of the spectrum diverge logarithmically as the number of terms in the sum. The Wodzicki (or non-commutative) residue [a3] is the only extension of the Dixmier trace to the class of pseudo-differential operators (ΨDOs) which are not in $\mathcal{L}^{(1,\infty)}$. It is the only trace one can define in the algebra of ΨDOs (up to a multiplicative constant), its definition being: $\mathrm{res} A = 2\mathrm{res}_{s=0} \tr(A\Delta^{-s})$, with $\Delta$ the Laplace operator. It satisfies the trace condition: $\mathrm{res}(AB) = \mathrm{res}(BA)$. A very important property is that it can be expressed as an integral (local form): $$ \mathrm{res} A = \int_{S^*M} \tr a_{-n}(x,\xi) d\xi $$ with $S^*M \subset T^*M$ the co-sphere bundle on $M$ (some authors put a coefficient in front of the integral, this gives the Adler–Manin residue).

If $\dim M = n = -\ord A$ ($M$ a compact Riemannian manifold, $A$ an elliptic operator, $n \in \mathbf{N}$), it coincides with the Dixmier trace, and one has $$ \mathrm{res}_{s=1} \zeta_A(s) = \frac{1}{n} \mathrm{res} A^{-1} \ . $$

The Wodzicki residue continues to make sense for ΨDOs of arbitrary order and, even if the symbols $a_j(x,\xi)$, $j < n$, are not invariant under coordinate choice, their integral is, and defines a trace. All residues at poles of the zeta-function of a ΨDO can be easily obtained from the Wodzicki residue [a2].

References

[a1] A. Connes, "Noncommutative geometry" , Acad. Press (1994) MR1303779 Zbl 0818.46076
[a2] E. Elizalde, "Complete determination of the singularity structure of zeta functions" J. Phys. , A30 (1997) pp. 2735 MR1450345 Zbl 0919.58065
[a3] M. Wodzicki, "Noncommutative residue I" Yu.I. Manin (ed.) , K-Theory, Arithmetic and Geometry , Lecture Notes in Mathematics , 1289 , Springer (1987) pp. 320–399 MR0923140 Zbl 0649.58033
How to Cite This Entry:
Wodzicki residue. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Wodzicki_residue&oldid=41960
This article was adapted from an original article by E. Elizalde (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article