×

The action functional in non-commutative geometry. (English) Zbl 0658.53068

Let \({\mathcal H}\) be a Hilbert space and \({\mathcal L}^{1+}({\mathcal H})\) be the Macaev ideal of all compact operators T whose characteristic values satisfy \[ \sup_{N>1}\frac{1}{\log N}\sum^{N}_{n=1}\mu_ n(T)<\infty. \] Gifted with the obvious norm it is a nonseparable Banach space. Dixmier showed that for any mean \(\omega\) on the amenable group of upper triangular (2,2)-matrices, one gets a trace on \({\mathcal L}^{1+}\), given by the formula \[ Tr_{\omega}(T)=\lim_{\omega}\frac{1}{\log N}\sum^{N}_{n=1}\lambda_ n(T) \] when T is a positive operator, \(T\in {\mathcal L}^{1+}\), with eigenvalues \(\lambda_ n(T)\) in decreasing order and \(\lim_{\omega}\) is a well defined linear form on bounded sequences using \(\omega\). Given a pseudodifferential operator P on a closed \(M^ n\), Res P is the coefficient of log t in the asymptotic expansion of \(Tr(Pe^{-t\Delta}).\) Theorem. Let \(E\to M\) be a complex vector bundle, P a pseudodifferential operator of order -n. Then the corresponding operator in \({\mathcal H}=L_ 2(M,E)\) belongs to the Macaev ideal \({\mathcal L}^{1+}({\mathcal H})\) and one has \(Tr_{\omega}(P)=(1/n)Res(P)\) for any invariant mean \(\omega\).
After that the author applies this result to show how one can deduce ordinary differential forms and the natural conformal invariant norm on them from the quantized forms. Then the author discusses the analogue of the Yang-Mills action in the context of non-commutative differential geometry and shows, as expected, that 4 is the critical dimension, for \(n=4\) the leading divergency of the action is the usual local Yang-Mills action. Theorem. Let \(M^ 4\) be a closed Riemannian \(Spin^ c\) manifold, \({\mathcal H}=L_ 2(M,S)\), \(F=D| D|^{-1}\), E a Hermitian vector bundle over M, \({\mathcal E}=C^{\infty}(M,E)\), \({\mathcal A}=C^{\infty}(M)\). 1. For every compatible q-connection \(\nabla\) on \({\mathcal E}\), the curvature \(\theta\in {\mathcal L}({\mathcal E}\otimes_{{\mathcal A}}{\mathcal H})\) belongs to \({\mathcal L}^{2+}\) and the value of the Dixmier trace \(Tr_{\omega}(\theta^ 2)=I(\theta),\) is independent of \(\omega\) and defines a gauge invariant positive functional I. 2. The restriction of I to each (affine space) fiber of the map \(\nabla \to \nabla_ c\) is Gaussian (i.e. a quadratic form) and one has \(\inf_{\nabla_ c=A}I(\nabla)=(16\pi^ 2)^{-1}YM(A).\)
Reviewer: J.Eichhorn

MSC:

53C99 Global differential geometry
53C65 Integral geometry
58J40 Pseudodifferential and Fourier integral operators on manifolds
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Adler, M.: On a trace functional for formal pseudodifferential operators and the symplectic structure of the Korteweg of Wries type equations. Invent. Math.50, 219-248 (1979) · Zbl 0393.35058
[2] Alvarez-Gaumé, L., Gomez, C.: New methods in string theory. Preprint CERN (1987)
[3] Connes, A.: Non-commutative differential geometry. Publ. Math. IHES62, 257-360 (1985) · Zbl 0592.46056
[4] Connes, A., Rieffel, M.: Yang-Mills for non-commutative two tori. Contemp. Math.62, 237-266 (1987) · Zbl 0633.46069
[5] Connes, A.: Compact metric spaces, Fredholm modules and Hyperfiniteness. Preprint (1987). J. Ergodic Theory (to appear) · Zbl 0718.46051
[6] Dixmier, J.: Existence de traces non normales. C.R. Acad. Sci. Paris262, 1107-1108 (1966) · Zbl 0141.12902
[7] Gohberg, I., Krein, M.G.: Introduction to the theory of non-selfadjoint operators. Moscow (1985)
[8] Manin, Y.I.: Algebraic aspects of non-linear differential equations. J. Sov. Math.11, 1-122 (1979) · Zbl 0419.35001
[9] Pressley, A., Segal, G.: Loop groups. Oxford: Oxford Science 1986 · Zbl 0618.22011
[10] Segal, G., Wilson, G.: Loop groups and equations of KdV type. Publ. Math. IHES61, 5-65 (1985) · Zbl 0592.35112
[11] Weyl, H.: Classical groups. Princeton, NJ: Princeton University Press · JFM 65.0058.02
[12] Witten, E.: Non-commutative geometry and string field theory · Zbl 0952.81030
[13] Wodzicki, M.: Local invariants of spectral assymmetry. Invent. Math.75, 143-178 (1984) · Zbl 0538.58038
[14] Guillemin, V.W.: A new proof of Weyl’s formula on the asymptotic distribution of eigenvalues. Adv. Math.55, 131-160 (1985) · Zbl 0559.58025
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.