Noncommutative Geometry - Pennsylvania State University · 2012-07-01 · What Has Noncommutative...
Transcript of Noncommutative Geometry - Pennsylvania State University · 2012-07-01 · What Has Noncommutative...
Noncommutative Geometry
Nigel HigsonPenn State University
Noncommutative Geometry
Alain Connes
1
What is Noncommutative Geometry?
� Geometric spaces approached through theiralgebras of functions.� The spaces are often very singular (defined byequivalence relations, or even groupoids).� The function algebras are typically noncommutative.� The algebras/spaces are analyzed using Hilbertspace tools.� In particular, spectral properties of algebras,viewed as algebras of operators on Hilbertspace, are crucial. One might call the subjectspectral geometry.
2
What are its Origins?
Werner Heisenberg
What Heisenberg understood . . . is that[the] Ritz-Rydberg combination principle actuallydictates an algebraic formula for the product ofany two observable physical quantities . . .
3
Heisenberg wrote down the formula for theproduct of two observables;��� �������� ���� � ���������������� ��and he noticed of course that this algebra isno longer commutative,� � �� ��� �. . . The right way to think about this newphenomenon is to think in terms of a newkind of space in which the coordinatesdo not commute. The starting point ofnoncommutative geometry is to take this newnotion of space seriously.
Alain ConnesNoncommutative geometry, Year 2000
4
Commentary of Riemann
. . . it seems that the empirical notions onwhich the metric determinations of spaceare based . . . lose their validity in theinfinitely small; it is therefore quite definitelyconceivable that the metric relations of spacein the infinitely small do not conform to thehypotheses of geometry; and in fact one oughtto assume this as soon as it permits a simplerway of explaining phenomena.
Bernhard RiemannOn the Hypotheses which lie at the Foundations of Geometry
5
What Has Noncommutative GeometryAccomplished?
� Manifold topology (progress on the Novikovconjecture, Gromov-Lawson conjecture, etc).� Harmonic analysis, especially of discrete groups.� Models in physics (notably of the quantum Halleffect).� Foliation theory and Atiyah-Singer index theory,on singular spaces, or parametrized by singularspaces.� In addition, NCG may offer the prospect forprogress in fundamental physics, arithmetic, . . .
6
Spectral Theory and Hilbert Space
David Hilbert in 1900
In the winter of 1900-1901 the Swedishmathematician Holmgren reported in Hilbert’sseminar on Fredholm’s first publications onintegral equations, and it seems that Hilbertcaught fire at once . . .
Hermann WeylDavid Hilbert and his mathematical work
7
Helmholtz Equation
Hilbert saw two things: (1) after havingconstructed Green’s function � for a givenregion and for the potential equation !#" � $. . . , the equation! % & '(% � $for the oscillating membrane changes into ahomogeneous integral equation
% �*)+� & ' � �*)-,/.0� % ��.0�213. � $with the symmetric � , � ��.-,4)+� � � �*)-,/.+�
. . . ;(2) the problem of ascertaining the “eigenvalues” ' and “eigen functions” % �*)+�
of thisintegral equation is the analogue for integralsof the transformation of a quadratic form of 5variables onto principal axes.
Hermann WeylDavid Hilbert and his mathematical work
8
Problem of H.A. Lorentz
. . . there is a mathematical problem whichwill perhaps arouse the interest of mathematic-ians . . . In an enclosure with a perfectlyreflecting surface there can form standingelectromagnetic waves analogous to tones ofan organ pipe . . . there arises the mathematicalproblem to prove that the number of sufficientlyhigh overtones which lie between 6 and 6 7 1 6is independent of the shape of the enclosureand is simply proportional to its area.
H.A. LorentzWolfskehl Lecture, 1910
9
Reformulation
!#"98 � ':8+";8" 8=<?>A@ � $B � ' �C� # eigenvalues of ! less than or equal to ' .
limDFEHG B � ' �' � Area� �
constant�
This is equivalent to the asymptotic relation
lim8 EHG ' 85 � constantArea
� � �10
The idea was one of many, as they probablycome to every young person preoccupiedwith science but while others soon burstlike soap bubbles, this one soon led, as ashort inspection showed, to the goal. I wasmyself rather taken aback by it as I had notbelieved myself capable of anything like it.Added to that was the fact that the result,although conjectured by physicists some timeago, appeared to most mathematicians assomething whose proof was still far in thefuture.
Hermann WeylGibbs Lecture, 1948
11
Compact OperatorsDefinition. A bounded linear operator I J�K L K ona Hilbert space is compact if it maps the closed unitball of Hilbert space to a (pre)compact set.
Example. If I is a norm-limit of finite-rank operatorsthen I is compact.
Elementary calculus M the maximum value of thefunction N �POQ�R� S I OTSVU on the closed unit ball of K isan eigenvalue for IXWYI .
Theorem (Hilbert et al). If I JZK L K is acompact and selfadjoint operator then there is anorthonormal basis for K comprised of eigenvectorsfor I . Thus
I [ \\ '^] ' U ':_. . .
`` �Theorem (Rellich Lemma). !ba ] is a compactoperator.
12
Spectral Theory for the Laplacian
c d ! � e W eThe Laplace operator.
Theorem. There is an orthonormal basis for f U � c �consisting of functions gF8 for which
!hgV8 � ':8igV8in the distributional sense. The eigenvalues 'j8 arepositive and converge to infinity.
Spec� ! �
Remark. In fact one can show that gF8 k l G � c �.
This follows from elliptic regularity.
13
Singular Values
Definition. The singular values m ] � I �n, m U � I �n,o�p�q�of
a bounded operator I are the scalars
mi8 � I �r�inf
dim��sr�ut 8 a ] supvnw s S I OTSSYOTS �
Observe that m^] � I ��x m U � I �yx �q�z�and thatI is compact { lim8 EHG m 8 � I �r� $2�
Now let I be compact, self-adjoint, and positive(meaning |�I O},�O=~ x $
). List the eigenvalues ' 8 � I �in decreasing order, and with multiplicity.
Theorem. If I is compact, self-adjoint, and positivethen m�8 � I �r� ':8 � I �
.
Proof. I � \\ ' ] ' U ' _. . .
``14
Trace Class OperatorsLemma.mi8 � I ] 7 I U ��� mi8 � I ] � 7 mi8 � I U ��� m U 8 � I ] 7 I U �V�mi8 ��� I �n, mi8 � I �Q�y� S��TS mi8 � I �o�Definition. The trace ideal in � � K �
is� ] � K �C� � I < mi8 � I �Q� � �=�Definition. If I k � ] � K �
then
Tr� I �r� G�Pt ] | O � , I O � ~��
The sum is over an orthonormal basis. Note: if� O ] ,��q�z��,*Oj��� is an orthonormal set then�8 t ] < | O 8 , I O 8 ~ < �
�8 t ] m 8 � I �V�
15
As with the usual trace,� k � � K �F, I k � ] � K � M Tr��� I ���
Tr� I �Q�V�
Example. If � is smooth onc � c
and if
�9g ���}�C� � � ����,��H� g �P����1���,then � is a trace-class operator, and
Tr� � �y� � � ���y,��}��1��}�
16
Dixmier Trace
Definition.� ] � G � K �C� I ���� sup 8 5 �im 8 � I �r� � �
Observe that� ] � K ��� � ] � G � K ��� � � K �
.
Definition. If I k � ] � G � K �is positive and LIM � is a
Banach limit then define
Tr � � I ���LIM � �
log� B �� 8�¡ � mi8 � I �
�LIM � �
log� B � 8:¡ � ' 8 � I �V�
Theorem (Dixmier). If LIM � has the property
LIM � �Y¢ ] ,£¢ U ,�¢ _ ,��p�q�z�C� LIM � �/¢ ] ,�¢ ] ,�¢ U ,�¢ U ,£�z�q�p�then Tr � � I ] 7 I U �y� Tr � � I ] � 7 Tr � � I U � .
17
Integration
Now back to Weyl’sTheorem . . .':8 � ! � [ ¤ � vol
� c � 5 ¥ ¦ c dWeyl’s Theorem shows that
Tr � � ! a ¦¥ �C� ¤ � vol� c �o�
More generally, given g3J c L § we get
Tr � � g���! a ¦¥ �C� ¤ � � g 1 vol�
This suggests that ! a ¦¥ is some sort of ‘volumeelement’ for the manifold
c. . .
18
Spectral Triples
Definition. A spectral triple is a triple��� , K ,V¨ �
consisting of a separable Hilbert space K , analgebra
�of bounded operators on K , and a
(typically unbounded) selfadjoint operator¨
on K ,for which:� the operator
�Y© 7 ¨ U � a ] is compact, and� if ª k �then the commutator « ¨ , ªi¬ � ¨ ª & ª ¨
extends to a bounded operator on K .
According to Connes, spectral triples constitute anextension of the notion of Riemannian geometricspace which is broadly applicable to problems infundamental physics, number theory, . . . .
Remark. If�
has no unit, replace�A© 7 ¨ U � a ] withª �A© 7 ¨ U � a ] in the above.
19
The Standard Example
Basic ideas:� Regard¨
as a ‘square root’ of ! .� Think of « ¨ , ªi¬ as a gradient of ª k �.
The simplest case is
� � l G ��® �F, K � f U ��® �F, ¨ � �¯ & �11i� �
The theory of Dirac-type operators in geometryprovides further ‘commutative’ examples in thecontext of Riemannian manifolds.¨ � 1 7 1 W ¨ U � e W e on forms¨ �
Dirac Operator¨ U � e W e on spinors
20
The Operator F
Write ! � ¨ Uand
¨ � ° ! ±¥ ,so that ° � ° W and
° U [ ©4�In the simplest case this is the Hilbert transform:° g ���}�C� �²r³ ´ g �P���� & � 1��H�The operator
°is important!
Roughly speaking the distinction between¨
and! ±¥ corresponds to the distinction between densitiesand differential forms (on manifolds).
21
Groupoids and Quotients
Let µ be a smooth etale groupoid:
µsourcerange
Obj� µ �
(source and range are local diffeomorphisms).
Let� � l G � µ �
and define
g ]i¶ g U �¸·h�C� ¹ ± ¹ ¥ t ¹ g ]�¸· ] � g U �¸· U �V�
We obtain the convolution algebra of µ .
22
Examples
Heisenberg example, º » ¼ ½¿¾ÁÀÃÂ
Kronecker foliation, º » ÄoÅHÆÈÇ�É�ÅCÇ » Ê ¥ÌËÎÍÐÏ Ç^ÅZÑ23
Infinitesimals and Differentials
Definition. An infinitesimal of order � is a compactoperator I for which m�8 � I ��� Ò � 5 a � .Definition. For ª k �
define1 ª � « °Ó, ªi¬ .
Example. In the basic case,
1 g �operator with integral kernel
g ���}� & g �P���� & � ,
give or take a factor of ²r³ .If we grade differentials ª=ÔÕ« °Ó, ª ] ¬ �q�p� « °Ó, ªiÖ�¬ accordingto degree and use the graded commutator then1 U�× Ø $=,as in de Rham theory.
24
Connes’ dictionary
Geometric space Spectral triple�Ì� , K ,V¨ �
Complex variable Operator in�
Real variable Selfadjoint operator in�
Infinitesimal Compact operator
Differential1 ª Commutator « °Ó, ªi¬
Integral Ù ª Dixmier trace Tr � � ª �... ...
... ...
25
Zeta Functions
Theorem. If) Ú dU then ! a:Û is
a trace-class operator. ÜÞÝProof. Follows from Rellich Lemma.
Theorem (Minakshisundaram and Pleijel). Thezeta function ß �È)à�C�
Tr� ! a(ᥠ�
is meromorphic on § with only simple poles.
Actual PolesResidues Vanish
§
Singularities of âz¾äãå for a closed surface.
26
Weyl’s Theorem
Actual PolesResidues Vanish
§
Abelian-Tauberian Theorem. Let I be a positive,invertible operator and assume that I a:Û is trace-class for all
) Ú � . Then
limDFEHG B æ � ' �' � l { limÛ�ç ] �*) & � � Tr� I a:Û � � l �
See Hardy, Divergent Series. The theorem says
limDFEHG �' D/è ¡ D � � l { limÛ�ç ] �È) & � � 8 ' a:Û8 � l �27
The proof of meromorphicity uses pseudodifferentialoperators� [ Ié! a áPê è¥ , I differential of order 5 �Lemma (Guillemin). Suppose that for every holo-morphic family
� Û there are pseudodifferential ë ��ì�] ,í ���Û and î Û�a ] such that�Y1 7 )+�ï� Û � «ðë ��ì�] , í ���Û ¬27 î Û�a ] �Then Tr
��� Û � is meromorphic, with simple poles.
Proof. If Re�È)à�Tñ $
then
Tr��� Û �C� �1 7 ) ò Tr
� «ðë ��ì�] , í ���Û ¬ � 7 Tr� î Û�a ] ��ó� �1 7 ) Tr
� î Û�a ] �Hence Tr
��� Û �y� �/1 7 )à� a ] Tr� î Û�a ] � .
28
The poles of Tr��� Û � are located at & 1ô, � & 1ô,/õ & 1ô,��q�z�
.
§
Domain of Tr��� Û �
Domain of Tr� î Û�a ] �
& 1 � & 1
29
Lemma. If¨
is (pseudo)differential of order 5 thend�t ] « ¨ ,Î� ¬ öö � � 5 ¨ & î ,where î has order 5 & � , and hence
�/1 7 5 �ï¨ � d�t ]÷ ¨ ,ï� öö � Èø & d�t ]
÷ � ¨ , öö � �ø 7 î �Proof. This follows from the Heisenberg relations÷ öö � ,ï� � ø � ù ¸� ©F�
As a result, Weyl’s Theorem follows from Guillemin’sLemma.
30
Cyclic Cocycles
Let��� , K ,4¨ �
be a spectral triple.
Proposition. The formula
N � ª Ô , ª ] ,��q�p��, ª 8 �C� Tr�/ú ª Ô « °Ó, ª ] ¬û�z�q�Ó« °Ó, ª 8 ¬ �
defines a multlinear functional on�
with thefollowing properties:� N � ª Ô , ª ] ,£�z�q�Õ, ª 8 �C� � & � � 8 N � ª ] ,��q�z��, ª 8 , ª Ô �� ü N � ªjÔ ,£�z�q�Õ, ª 80ý ] �C� $
, whereü N � ª Ô ,��q�p��, ª 80ý ] �C� N � ª Ô ª ] ,��q�p��, ª 80ý ] �& N � ª Ô , ª ] ª U ,��q�z��, ª 80ý ] �7 �p�q�7 � & � � 8+ý ] N � ª 80ý ] ª Ô ,£�p�q�þ, ª 8 �V�
31
Cyclic Cohomology
Lemma. Let N be a cyclic 5 -linear functional. Then� ü N is a cyclic� 5 7 � � -linear functional, and� ü U N � $
.
Definition. Let�
be an algebra. The 5 th cycliccohomology group of
�is
K l 8 �� �y� cyclic 5 -cocycles
modulo cyclic coboundaries.
The cocycle N is a sort of ‘fundamental class’ for thespectral triple
��� , K ,V¨ �. It reflects information from
index theory:
Index� ÿT°zÿ#�T� � & � � è ¥ N �äÿ�,�ÿH,��p�p�Õ,Èÿ#�o�
32
Continuation of the Dictionary
... ...
Differential1 ª Commutator « °Ó, ªi¬
de Rham theory Cyclic cohomology
... ...
33
Local Index Formula
Theorem (Connes and Moscovici). Let��� , K ,V¨ �
be a spectral triple with simple dimension spectrum.The local formula
� Ö � ª Ô ,��q�z��, ª Ö �C� �� Ô ¤ Ö �� Res Û t Ô Tr ò ú ª Ô « ¨ , ª ] ¬ �ð ± � �q�p�à« ¨ , ª Ö ¬ �ð ���� ! a � ¥ a�� � a:Û ó ,where
¤ Ö �� � � & � � � �� ]� �q�p� � Ö � � � < � < 7 Ö U �� � ] 7 � ��� � U 7 õ � �q�p� � � Ö 7 ÿX�
defines a cocycle which is cohomologous to thefundamental cocycle N .
Notation. I �ð �� � ��¨ U ,�� ¨ U ,��q�p� « ¨ U , I ¬ �q�p�� �� .
34
Comments
� The formula is a starting point for Atiyah-Singerindex theory in noncommutative geometry.� In the classical case (Riemmanian manifolds) theresidues are computable from the coefficients of¨
(Seeley, Wodzicki, et al).� Small (smoothing operator) changes in¨
leavethe index formula invariant.� In the noncommutative world, local meansconcentrated at
�in momentum space (c.f.
Fourier theory).
35