trace defect formulae for geometric operators new …agricola/... · trace defect formulae for...
TRANSCRIPT
![Page 1: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/1.jpg)
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry
based on joint work with S. AZZALI and joint work with G. HABIB
Sylvie Paycha, University of Potsdam, on leave from UniversiteClermont-Auvergne
August 29, 2018
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 1 of 17
![Page 2: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/2.jpg)
PART I
Non local operators
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 2 of 17
![Page 3: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/3.jpg)
PART I
Non local operators
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 2 of 17
![Page 4: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/4.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 5: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/5.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 6: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/6.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 7: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/7.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 8: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/8.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 9: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/9.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 10: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/10.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 11: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/11.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 12: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/12.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 13: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/13.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 14: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/14.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 15: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/15.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 16: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/16.jpg)
Pseudodifferential operators
Notations
M an n-dimensional smooth closed manifold;
π : E → M a finite rank vector bundle;
C∞(M,E) the space of smooth sections of E ;
Ψcl(M,E) the algebra of polyhomogeneous (or classical) pseudodifferentialoperators acting on C∞(M,E); we write Ψcl(M) if E = M × C.
Example
(M, g) a Riemannian manifold, E = M × C, ∆g = −∑n
i,j=11√g∂ig
ij √g∂jthe Laplace-Beltrami operator: (∆g + πg )−1 ∈ Ψcl
−2(M);
M a spin manifold and E = S the spinor bundle, D2 the square of theDirac operator D =
∑ni=1 γi∂i : log(D2 + πD) /∈ Ψcl(M,E).
Classes of pseudodifferential operators determined by their order
For Γ ⊂ C, let ΣΓ(M,E) := A ∈ Ψcl(M,E), ord(A) ∈ Γ. Examples: The class
ΨZcl(M,E) (resp. Ψ/∈Z
cl (M,E)) of integer order (resp. noninteger order) classical
pseudodifferential operators.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 3 of 17
![Page 17: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/17.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 18: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/18.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 19: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/19.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 20: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/20.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ), Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 21: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/21.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ), Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 22: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/22.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 23: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/23.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 24: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/24.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 25: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/25.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 26: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/26.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 27: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/27.jpg)
Locality versus non-locality
Definition
A ∈ Ψcl(M,E) is local if it satisfies the two equivalent conditions:
it preserves the support Supp(Aφ) ⊂ Supp(φ) for φ ∈ C∞(M);
(locality relation) Supp(φ) ∩ Supp(ψ) = ∅ =⇒ φAψ = 0 for φ, ψ ∈ C∞(M).
Local pseudodifferential operators
A ∈ Ψcl(M,E)
is in general only micro-local, it preserves the support of singularitiesWF(Au) ⊂WF(u), so in particular Suppsing(Au) ⊂ Suppsing(u) ∀u ∈D′(M).
it is local if and only it is a differential operator.
ε-locality, ε ≥ 0
A properly supported operator A ∈ Ψcl(M,E) is ε- local (finite propagation) i.e., itsatisfies the two equivalent conditions:
it preserves the support modulo an ε-perturbationSupp(Aφ) ⊂ Neighε (Supp(φ)) for all φ ∈ C∞(M);
φ>εψ :⇐⇒ d (Supp(φ),Supp(ψ)) > ε =⇒ φAψ = 0 for all φ ∈ C∞(M).
A 0-local operator A is local: φ>0ψ =⇒ φAψ = 0.Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 4 of 17
![Page 28: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/28.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 29: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/29.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 30: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/30.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 31: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/31.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 32: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/32.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 33: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/33.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 34: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/34.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 35: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/35.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 36: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/36.jpg)
Pseudodifferential operators on manifolds are ”tamely” non-local
”Tame” non-locality for pseudodifferential operators
For any A ∈ Ψcl(M,E) and any ε > 0, there exists A0 ∈ Ψcl(M,E) ε-local suchthat
A− A0︸︷︷︸ε−local
=: SA ∈ Ψ−∞(M,E) has smooth kernel supported outside the diagonal.
Notations
U = (Ui )i∈I is a finite open cover of M;
(χi )i∈I is a partition of unity subordinated to U ;
A ∈ Ψ−∞(M,E) := ∩r∈RΨrcl(M,E) has smooth Schwartz kernel.
”Tame” non-locality (following Shubin)
For A ∈ Ψcl(M,E)
A =∑i,j
χi Aχj︸ ︷︷ ︸Aij
=∑
Supp(χi )∩Supp(χj ) 6=∅
Aij
︸ ︷︷ ︸A0=:Op(σ(A)) is ε-local
+∑
Supp(χi )∩Supp(χj )=∅
Aij
︸ ︷︷ ︸SA∈Ψ−∞(M,E)
, (1)
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 5 of 17
![Page 37: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/37.jpg)
PART II
Local linear forms
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 6 of 17
![Page 38: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/38.jpg)
PART II
Local linear forms
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 6 of 17
![Page 39: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/39.jpg)
>0- locality
>0- locality on C∞(M)
φ>0ψ :⇐⇒ Supp(φ)∩Supp(ψ) = ∅.
>0- locality on linear forms
A ”linear” form Λ on ΣΓ(M,E) is >0- local if for any φ, ψ ∈ C∞(M)
φ>0ψ =⇒ Λ(φAψ) = 0 (2)
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 7 of 17
![Page 40: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/40.jpg)
>0- locality
>0- locality on C∞(M)
φ>0ψ :⇐⇒ Supp(φ)∩Supp(ψ) = ∅.
>0- locality on linear forms
A ”linear” form Λ on ΣΓ(M,E) is >0- local if for any φ, ψ ∈ C∞(M)
φ>0ψ =⇒ Λ(φAψ) = 0 (2)
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 7 of 17
![Page 41: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/41.jpg)
>0- locality
>0- locality on C∞(M)
φ>0ψ :⇐⇒ Supp(φ)∩Supp(ψ) = ∅.
>0- locality on linear forms
A ”linear” form Λ on ΣΓ(M,E) is >0- local if for any φ, ψ ∈ C∞(M)
φ>0ψ =⇒ Λ(φAψ) = 0 (2)
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 7 of 17
![Page 42: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/42.jpg)
>0- locality
>0- locality on C∞(M)
φ>0ψ :⇐⇒ Supp(φ)∩Supp(ψ) = ∅.
>0- locality on linear forms
A ”linear” form Λ on ΣΓ(M,E) is >0- local if for any φ, ψ ∈ C∞(M)
φ>0ψ =⇒ Λ(φAψ) = 0 (2)
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 7 of 17
![Page 43: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/43.jpg)
>0- locality
>0- locality on C∞(M)
φ>0ψ :⇐⇒ Supp(φ)∩Supp(ψ) = ∅.
>0- locality on linear forms
A ”linear” form Λ on ΣΓ(M,E) is >0- local if for any φ, ψ ∈ C∞(M)
φ>0ψ =⇒ Λ(φAψ) = 0 (2)
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 7 of 17
![Page 44: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/44.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 45: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/45.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 46: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/46.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 47: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/47.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 48: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/48.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 49: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/49.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 50: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/50.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 51: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/51.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 52: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/52.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 53: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/53.jpg)
Local linear forms: the canonical trace and the residue
A >0- local form Λ is local (proved for E = M × C)
(??) ∧ (??) =⇒ Λ(A) = Λ(Op(σ(A))) only depends on the symbol σ(A)
in fact, Λ is local, i.e. of the form
Λ(A) =
∫MωΛA(x)with ωΛ
A(x) = Λx (A) dx , Λx (A) = λ(σ(A)(x , ·)),
for some linear form λ on the symbol class of ΣΓ(M,E) and under additionalcontinuity assumptions.
Characterisation of local ”linear” forms (with S. AZZALI 2016)
Let Λ : ΣΓ(M,E)→ C be a local linear form:
if Γ = Z, then Λ is proportional to the Wodzicki residue:
Res(A) =
∫MResx (A) dx ; Resx (A) =
∫|ξx |=1
trx (σ−n(A)(x , ·)) .
if Γ = C \ Z, then Λ proportional to the canonical trace:
TR(A) =
∫MTRx (A) dx ; TRx (A) =
∫Rn
trx (σ(A)(x , ·)) .
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 8 of 17
![Page 54: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/54.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 55: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/55.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 56: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/56.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 57: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/57.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 58: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/58.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 59: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/59.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 60: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/60.jpg)
Defect formulae: local defects/ discrepancies/ anomalies
Defect formulae measure defects of regularised traces (built from the canonicaltrace) in terms of the Wodzicki residue (which is local.
Defect formulae (with S. SCOTT 2007)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
A(0) is differential =⇒ limz→0
(TR (A(z))) =1
q
(Res
(A′(0)
))is local.
ζ-regularised trace of differential (so local) operators
Take A(z) = AQ−z for A(0) = A differential and Q elliptic pseudodifferentialoperator of order q > 0 (e.g. a Laplacian) with spectral cut: the ζ-regularisedtrace of A with weight/regulator Q reads
ζA,Q(0) := limz→0
(TR
(A Q−z)) = − 1
qRes
A log(Q)︸ ︷︷ ︸NON local !
︸ ︷︷ ︸
local !
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 9 of 17
![Page 61: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/61.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 62: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/62.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 63: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/63.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 64: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/64.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 65: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/65.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 66: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/66.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 67: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/67.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 68: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/68.jpg)
Consequence: the index as a residue (on closed manifolds)
Notations
(M, g) Riemannian closed manifold;
π : E = E+ ⊕ E− −→ M a finite rank Z2-graded Clifford hermitian bundle;
D = D+ ⊕ D− with D± : C∞(M,E±) −→ C∞(M,E∓) an odd ellipticdifferential operator of order 1;
D+ is formally adjoint to D−, so ∆ := ∆+ ⊕∆− is an even ellipticessentially self-adjoint differential operator of order 2. Here ∆+ = D−D+
and ∆− = D+D−.
How defect formulae come in (A = Id , Q = ∆, q = 2)
ind(D+) = dim(Ker(D+))− dim(Ker(D−)) = Tr(πD+ )−Tr(πD− )
= Tr((D−D+ + πD+ )−z )−Tr((D+D− + πD− )−z ) Re(z) >> 0
since non zero eigenvalues ofD±cancel pairwise
= sTR((∆ + π∆)−z
)(meromorphic extension)
= limz→0
sTR
Id︸︷︷︸A
(∆ + π∆)︸ ︷︷ ︸Q
−z
= −1
2sRes (log∆)︸ ︷︷ ︸
local
(defect formula).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 10 of 17
![Page 69: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/69.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 70: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/70.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 71: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/71.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 72: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/72.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 73: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/73.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 74: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/74.jpg)
For us to keep in mind: Locality of the index (Atiyah and Singer (1963))
The index is local as an integral of a differential form ω
ind(D+) =∫M ω(x), with ω expressed in terms of the curvature R.
If dimM = 2k, the Chern-Gauss-Bonnet index theorem(1850, 1945) onΩ(M) with the natural Z2-grading.
ind((d + d∗)+
)= χ(M) =
∫M
Pfaffian(R)(x).
If dimM = 4k, the Hirzebruch signature theorem (1966) on Ω(M) withthe Hodge-star operator Z2-grading.
ind((d + d∗)+
)= sign(M) =
∫M
L-form(R)(x).
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 11 of 17
![Page 75: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/75.jpg)
PART III
Rescaling at a point
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 12 of 17
![Page 76: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/76.jpg)
PART III
Rescaling at a point
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 12 of 17
![Page 77: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/77.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 78: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/78.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 79: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/79.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 80: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/80.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 81: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/81.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 82: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/82.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 83: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/83.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 84: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/84.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 85: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/85.jpg)
Geometric operators
Deformation to the normal cone M 7−→ M := (M × R∗) ∪ (Tx0M × 0) .
For λ ∈ R∗ define fx0,λ : Uλx0= expx0
Br/|λ| −→ Ux0 = expx0Brby
fx0,λ(expx0u) = expx0
(λ u).
Rescaled operators (with G. HABIB (2008))
A differential operator A is geometric of degree deg(A) if deg(A) is the largest real
number d (so such a number should exist!) such that for any x0 ∈ M, λ−d f ]x0,λA
converges as λ→ 0 and we denote the rescaled limit operator by
Arescx0
:= limλ→0
(λ−deg(A) f ]x0,λ
A). (3)
Relation to Gilkey’s invariant polynomials
A differential operator A(g) =∑|α|≤a Aα(X , g) ∂αx whose coefficients are invariant
polynomials Aα(X , g) in the metric g , is geometric with degree
deg(A(g)) = minαdα; dα = degGi(Aα)− |α|.
At a point x0 ∈ M, the limit rescaled differential operator reads
A(g)rescx0=
∑dα=deg(A)
Aα(X , g) ∂αx
|
x0 . (4)Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 13 of 17
![Page 86: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/86.jpg)
Examples
The Laplace-Beltrami operator
Let (M, g) be a Riemannian manifold. The Laplace-Beltrami operator∆g = −
∑ni,j=1
1√g∂ig
ij √g∂j on M is geometric of degree −4. In normal
coordinates around a point x0 ∈ M, we have
limλ→0
(λ4 f]x0,λ
∆g
)= −
n∑i=1
∂2i |x0 . (5)
The Dirac operator
Let (M, g) be a spin manifold.The Dirac operator D =∑n
i=1 c(ei )∇ei and itssquare D2 are geometric of degree −2:
(D2)rescx0
= −
(n∑
j=1
(∂j −
1
4Rjl(x0) x l
))2
, (6)
where Rjl(x) = Rjlαβ(x) c(eα)c(eβ).
Remark
The degree of a geometric operator is not additive on compositions!Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 14 of 17
![Page 87: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/87.jpg)
Examples
The Laplace-Beltrami operator
Let (M, g) be a Riemannian manifold. The Laplace-Beltrami operator∆g = −
∑ni,j=1
1√g∂ig
ij √g∂j on M is geometric of degree −4. In normal
coordinates around a point x0 ∈ M, we have
limλ→0
(λ4 f]x0,λ
∆g
)= −
n∑i=1
∂2i |x0 . (5)
The Dirac operator
Let (M, g) be a spin manifold.The Dirac operator D =∑n
i=1 c(ei )∇ei and itssquare D2 are geometric of degree −2:
(D2)rescx0
= −
(n∑
j=1
(∂j −
1
4Rjl(x0) x l
))2
, (6)
where Rjl(x) = Rjlαβ(x) c(eα)c(eβ).
Remark
The degree of a geometric operator is not additive on compositions!Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 14 of 17
![Page 88: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/88.jpg)
Examples
The Laplace-Beltrami operator
Let (M, g) be a Riemannian manifold. The Laplace-Beltrami operator∆g = −
∑ni,j=1
1√g∂ig
ij √g∂j on M is geometric of degree −4. In normal
coordinates around a point x0 ∈ M, we have
limλ→0
(λ4 f]x0,λ
∆g
)= −
n∑i=1
∂2i |x0 . (5)
The Dirac operator
Let (M, g) be a spin manifold.The Dirac operator D =∑n
i=1 c(ei )∇ei and itssquare D2 are geometric of degree −2:
(D2)rescx0
= −
(n∑
j=1
(∂j −
1
4Rjl(x0) x l
))2
, (6)
where Rjl(x) = Rjlαβ(x) c(eα)c(eβ).
Remark
The degree of a geometric operator is not additive on compositions!Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 14 of 17
![Page 89: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/89.jpg)
Examples
The Laplace-Beltrami operator
Let (M, g) be a Riemannian manifold. The Laplace-Beltrami operator∆g = −
∑ni,j=1
1√g∂ig
ij √g∂j on M is geometric of degree −4. In normal
coordinates around a point x0 ∈ M, we have
limλ→0
(λ4 f]x0,λ
∆g
)= −
n∑i=1
∂2i |x0 . (5)
The Dirac operator
Let (M, g) be a spin manifold.The Dirac operator D =∑n
i=1 c(ei )∇ei and itssquare D2 are geometric of degree −2:
(D2)rescx0
= −
(n∑
j=1
(∂j −
1
4Rjl(x0) x l
))2
, (6)
where Rjl(x) = Rjlαβ(x) c(eα)c(eβ).
Remark
The degree of a geometric operator is not additive on compositions!Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 14 of 17
![Page 90: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/90.jpg)
Examples
The Laplace-Beltrami operator
Let (M, g) be a Riemannian manifold. The Laplace-Beltrami operator∆g = −
∑ni,j=1
1√g∂ig
ij √g∂j on M is geometric of degree −4. In normal
coordinates around a point x0 ∈ M, we have
limλ→0
(λ4 f]x0,λ
∆g
)= −
n∑i=1
∂2i |x0 . (5)
The Dirac operator
Let (M, g) be a spin manifold.The Dirac operator D =∑n
i=1 c(ei )∇ei and itssquare D2 are geometric of degree −2:
(D2)rescx0
= −
(n∑
j=1
(∂j −
1
4Rjl(x0) x l
))2
, (6)
where Rjl(x) = Rjlαβ(x) c(eα)c(eβ).
Remark
The degree of a geometric operator is not additive on compositions!Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 14 of 17
![Page 91: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/91.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 92: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/92.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 93: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/93.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 94: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/94.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 95: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/95.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 96: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/96.jpg)
Rescaled defect formula (with G. HABIB 2018)
Let A(z) ∈ Ψcl(M,E) be a holomorphic family of order −q z + a.
Rescaled holomorphic families
If there is some d(z) such that limλ→0
(λ−d(z) f ]x0,λ
A(z))
= A(z)rescx0, then
limλ→0
(λ−d(0) fp
z=0
(TR
(f ]x0,λ
A(z))))
=1
qRes
∂z (A(z)rescx0
)|z=0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Rescaled index formula (S. SCOTT 2012)
ind(D+) = −1
2sRes
log∆rescx0︸ ︷︷ ︸
NON local!
︸ ︷︷ ︸
local!
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 15 of 17
![Page 97: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/97.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 98: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/98.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 99: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/99.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 100: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/100.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 101: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/101.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 102: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/102.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 103: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/103.jpg)
Open questions
How to compute the residue of a logarithm:
Res(logA) =
∫M
dx
(∫|ξx |=1
trx (σ−n(logA)(x , ·)) dSξ
);
Why go to non local objects in order to build local expressions from a localoperator D:
D︸︷︷︸local
−→ logD2︸ ︷︷ ︸NON local !
−→ Res(logD2)︸ ︷︷ ︸local
.
Analogy with:
the heat-kernel approach:
D︸︷︷︸local
−→ e−εD2︸ ︷︷ ︸
NON local !
−→ fpε=0
Tr(e−εD
2)
︸ ︷︷ ︸local
quantisation procedures, here functional quantisation:
A(φ) = 〈φ,∆φ〉︸ ︷︷ ︸local classical action
−→ Z :=
∫φ
eA(φ)Dφ︸ ︷︷ ︸NON local effective action
−→ 〈φ(x1) · · ·φ(xk)〉︸ ︷︷ ︸local amplitudes
.
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 16 of 17
![Page 104: TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New …agricola/... · TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORSNew trends and open problems in Global Analysis and Geometry2 of](https://reader034.vdocuments.mx/reader034/viewer/2022050101/5f408ffd0a2ae31bc93ec0c4/html5/thumbnails/104.jpg)
Bibliography
References
S. Azzali, S. Paycha, Spectral ζ-invariants lifted to coverings, arXiv:1603.02263
G. Habib, S. Paycha, Regularised traces of geometric operators: Getzler’s
rescaling revisited (running title), in preparation
J. Mickelsson, S. Paycha, The logarithmic residue density of a generalizedLaplacian, Journal of the Australian Mathematical Society Volume 90, N. 01, p.53 – 80 (2011)
S. Paycha, S. Scott, A Laurent expansion for regularised integrals of holomorphic
symbols, Geom. Funct. Anal. 17 (2007), 491–536
Sylvie Paycha, University of Potsdam, on leave from Universite Clermont-Auvergne
TRACE DEFECT FORMULAE FOR GEOMETRIC OPERATORS New trends and open problems in Global Analysis and Geometry 17 of 17