What is the significance of non-commutative geometry in mathematics? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T03:53:32Z http://mathoverflow.net/feeds/question/88184 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics What is the significance of non-commutative geometry in mathematics? Ehsan M. Kermani 2012-02-11T07:58:49Z 2012-05-26T00:44:25Z <p>This is a question that has been winding around my head for a long time and I have not found a convincing answer. The title says everything, but I am going to enrich my question by little more explanations.</p> <p>As a layman, I have started searching for expositories/more informal, rather intuitive, also original account of non-commutative geometry to get more sense of it, namely, I have looked through </p> <ul> <li><p>The English translation of <a href="http://www.ams.org/notices/199707/jones.pdf" rel="nofollow"><em>Review of non-commutative algebra</em> by Alain Connes</a>, </p></li> <li><p><a href="http://www.claymath.org/library/proceedings/cmip06.pdf" rel="nofollow"><em>Surveys in non-commutative geometry,</em> Clay mathematics proceedings, Volume 6</a>,</p></li> <li><p><a href="http://www.alainconnes.org/docs/book94bigpdf.pdf" rel="nofollow"><em>Non-commutative geometry</em> by Alain Connes</a>,</p></li> </ul> <p>Nevertheless, I am not satisfied with them at all. It seems to me, that even understanding a simple example, requires much more knowledge that is gained in grad school. Now for me, this field merely contains a lot of highly developed machineries which are more technical (somehow artificial) than that of other fields.</p> <p>The following are my questions revolving around the significance of this field in <strong>Mathematics</strong>. Of course, they are absolutely related to my main question. </p> <blockquote> <ol> <li><p>How can a grad student be motivated to specialize in this field? and </p></li> <li><p>What is (are) the well-known <em>result</em>(s), found solely by non-commutative geometric techniques that could not be proven without them?</p></li> </ol> </blockquote> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/88187#88187 Answer by Alain Valette for What is the significance of non-commutative geometry in mathematics? Alain Valette 2012-02-11T08:41:57Z 2012-02-11T08:49:49Z <p>My favorite example concerns Novikov conjecture, on the homotopy invariance of higher signatures for closed manifolds with fundamental group $G$: see <a href="http://en.wikipedia.org/wiki/Novikov_conjecture" rel="nofollow">http://en.wikipedia.org/wiki/Novikov_conjecture</a> (note that this Wikipedia entry rather stupidly says that it has been proved for finitely generated abelian groups: that's correct, but it was proved for MANY more groups, e.g. hyperbolic groups, countable subgroups of $GL_n(\mathbb{C})$, etc...). I think we agree that this is a conjecture in topology.</p> <p>Now, look at this remarkable result by Guoliang Yu ( <a href="http://www.kryakin.com/files/Invent_mat_(2_8)/139/139_21.pdf" rel="nofollow">http://www.kryakin.com/files/Invent_mat_(2_8)/139/139_21.pdf</a> )</p> <p>"If the group $G$ admits a coarse embedding into Hilbert space, then it satisfies the Novikov conjecture".</p> <p>A coarse embedding is a map $f:G\rightarrow L^2$ for which there exists control functions $\rho_{\pm}:\mathbb{R}^+\rightarrow\mathbb{R}$, with $\lim_{t\rightarrow\infty}\rho_\pm(t)=\infty$, which control'' $f$ in the sense hat, for every $x,y\in G$:</p> <p><code>$$\rho_-(|x^{-1}y|_S)\leq\|f(x)-f(y)\|_2\leq \rho_+(|x^{-1}y|_S),$$</code> where $|.|_S$ denotes word length with respect to some finite generating subset $S$ in $G$. The existence of a coarse embedding is a weak metric condition (actually we know of basically just one class of groups which do not admit such an embedding, the Gromov monsters''). And this weak metric condition, quite surprisingly, implies a strong consequence in topology.</p> <p>Now my point is that the two known proofs of Yu's result (the original one, and the one by Skandalis-Tu-Yu, see <a href="http://www.math.univ-metz.fr/~tu/publi/coarse.pdf" rel="nofollow">http://www.math.univ-metz.fr/~tu/publi/coarse.pdf</a>) both appeal in a fundamental way to the tools of non-commutative geometry: $C^*$-algebras, $K$-theory, groupoids, Kasparov's $KK$-theory (to be precise: equivariant $KK$-theory for groupoids'').</p> <p>Now to answer your first question: how to motivate a graduate student? Well, the subject mixes classical geometry, algebraic topology, non-commutative algebra, functional analysis, so it is one of those subjects that give you a feeling of the unity of mathematics...</p> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/88191#88191 Answer by Alexander Chervov for What is the significance of non-commutative geometry in mathematics? Alexander Chervov 2012-02-11T10:09:41Z 2012-02-11T20:58:54Z <p>Alain's answer is the best application I heard about. I cannot add something comparable. Just two "motivations" which are somewhat nice to me. However they does not answer yours questions, sorry.</p> <p><strong>General claim</strong> - studying non-commutative objects is useful for understanding commutative ones.</p> <p><strong>Subclaim</strong> - non-commutative algebras can be equivalent (Morita, Koszul dual or whatever) to non-commutative ones, however non-commutative "models" can provide more easy way to study commutative things.</p> <p><strong>Examples 1.</strong> Consider commutative algebra A of functions on manifold M and group G. You may be interested in factor $M/G$ which is related to invariants $A^G$.</p> <p><strong>Claim.</strong> Under certain conditions COMMUTATIVE $A^G$ is Morita equivalent to NON-COMMUTATIVE $A\times C[G]$ - cross-product algebra of $A$ and group algebra of $G$. In some cases it is more easy to work with this cross-product sometimes it can be described more explicitly. You may see just the first sentences in Etingof Ginzburg famous paper: <a href="http://arxiv.org/abs/math/0011114" rel="nofollow">http://arxiv.org/abs/math/0011114</a></p> <p><strong>Example 2. Quantization</strong>. Our real world is actually quantum. So physicists are interested in this. Mathematical way to understand quantization is a procedure to construct the non-commutative algebras from commutative ones. The big mathematical challenge is to understand how to relate properties on non-commutative quantum algebras to properties of commutative ones. Probably the most striking and most simple formulated is the conjecture that automorphisms group of classical symplectic R^2n and quantum (i.e. just the algebra of differential operators in n-variables) are isomorphic. <a href="http://arxiv.org/abs/math/0512169" rel="nofollow">http://arxiv.org/abs/math/0512169</a> Automorphisms of the Weyl algebra Alexei Belov-Kanel, Maxim Kontsevich</p> <p>It is somewhat related to the famous Jacobian conjecture. See <a href="http://arxiv.org/abs/math/0512171" rel="nofollow">http://arxiv.org/abs/math/0512171</a></p> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/88201#88201 Answer by Paul Siegel for What is the significance of non-commutative geometry in mathematics? Paul Siegel 2012-02-11T13:36:20Z 2012-02-11T13:36:20Z <p>I think I'm in a pretty good position to answer this question because I am a graduate student working in noncommutative geometry who entered the subject a little bit skeptical about its relevance to the rest of mathematics. To this day I sometimes find it hard to get excited about purely "noncommutative" results, but the subject has its tentacles in so many other areas that I never get bored.</p> <p>Before saying anything further, I need to say a few words about the Atiyah-Singer index theorem. This theorem asserts that if $D$ is an elliptic differential operator on a manifold $M$ then its Fredholm index $dim(ker(D)) - dim(coker(D))$ can be computed by integrating certain characteristic classes of $M$. Non-trivial corollaries (obtained by "plugging in" well-chosen differential operators) include the generalized Gauss-Bonnet formula, the Hirzebruch signature theorem, and the Hirzebruch-Riemann-Roch formula. It was quickly realized (first by Atiyah, I think) that the proof of the theorem can be viewed as a statement about the Poincare duality pairing between topological K-theory and its associated homology theory (these days called K-homology). </p> <p>I wasn't around, but I'm told that people were very excited about Atiyah and Singer's achievement (understandably so!) People quickly began trying to generalize and strengthen the theorem, and my claim is that noncommutative geometry is the area of mathematics that emerged from these attempts. Saying that marginalizes the other important reasons for developing the subject, but I think it was Connes' main motivation and in any event it is a convenient oversimplification for a MO answer. It also helps me answer your first question by playing to my personal biases: when I was choosing an area of research I told my adviser that I was interested in learning more about that Atiyah-Singer index theorem and I was led inexorably toward the tools of noncommutative geometry.</p> <p>The origin of the relationship between NCG and Atiyah-Singer lies in equivariant index theory. Atiyah and Singer realized from the start that if $M$ admits an action by a compact Lie group $G$ and $D$ is invariant under the group action then it is better to think of the index of $D$ as a virtual representation of $G$ (i.e. an element of the $G$-equivariant K-theory of a point) rather than as an integer. If $G$ is not compact then this doesn't really work, but the noncommutative geometers realized that $D$ does have an index in the K-theory of the <em>reduced group C$^\ast$-algebra</em> $C_r^\ast(G)$. Indeed, to a noncommutative geometer equivariant index theory is all about a map $K_\ast(M) \to K_\ast(C_r^\ast(M)$ where $K_\ast(M)$ is the K-homology of $M$; in the case where $M$ is the universal classifying space of $G$, Baum and Connes conjectured that this map is an isomorphism. Proving this conjecture for more and more groups and understanding its consequences motivates a great deal of the development of NCG to this day. </p> <p>The conjecture is interesting in its own right if you already care about index theory, but even if you don't injectivity of the Baum-Connes map implies the Novikov conjecture (see Alain Valette's answer) and surjectivity is related to the Borel conjecture. It has numerous other applications, for example to the theory of positive scalar curvature obstructions in Riemannian geometry or to the Kadison-Kaplansky conjecture in functional analysis (which would follow from surjectivity). Recently there has been a lot of interest in connections between the Baum-Connes conjecture and representation theory; the Baum-Aubert-Plyman conjecture in p-adic representation theory has its origins in these sorts of considerations.</p> <p>Much of the rest of NCG can also be traced back to index theory. Kasparov's KK-theory arose as a way to understand maps and pairings between K-theory and K-homology, motivated in part by index theory. Connes' work on noncommutative measure theory arose from his work on index theory for measurable foliations (with applications to dynamical systems). Cyclic (co)homology was invented in part to gain access in a noncommutative setting to the Chern character map from K-theory to cohomology which translates the K-theoretic formulation of the index theorem into a cohomological formula. Connes' theory of spectral triples and noncommutative Riemannian geometry is based on the theory of Dirac operators which was invented by Atiyah and Singer to prove the index theorem. I guess my point with all of this is that all the esoteric machinery of NCG seems less artificial when viewed through the lens of index theory.</p> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/88228#88228 Answer by Jon Bannon for What is the significance of non-commutative geometry in mathematics? Jon Bannon 2012-02-11T21:03:29Z 2012-02-12T23:58:03Z <p>There are much better answers above than this one, but:</p> <p>If you believe fiber bundles are important to classical mathematics, then you probably believe fibrations are, and maybe foliations are, as well. If you don't, note that a foliation of a smooth manifold is a decomposition of the manifold into integral submanifolds (roughly, solutions to differential equations). You can't get much more classical than this. In his book <em>Noncommutative Geometry</em> Connes tried to make it clear that to understand the leaf space of a foliation, more is needed than the classical quotient construction, groupoids and noncommutative geometry give more information about a patently classical "space". You probably say: So what? There are other ways. Connes tries then to show us that there is a connection between a fundamental von Neumann algebra invariant (the flow of weights) and one of the key invariants for a codimension 1 foliation (the Godbillon-Vey class), which appears in the first chapter on many introductory accounts of foliations. I find it hard to believe that this is coincidental. For me, this warrants closer investigation.</p> <p>The index theorem for measured foliations discussed above perhaps grew from a seed like the above mentioned connection. (I wonder what we need to do to get Connes to weigh-in over here at MO?)</p> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/88303#88303 Answer by Ronnie Brown for What is the significance of non-commutative geometry in mathematics? Ronnie Brown 2012-02-12T22:19:15Z 2012-02-12T22:19:15Z <p>Connes has on his home page a very nice downloadable survey article "A view of mathematics" which also gives a good idea of the role of groupoids in this area, and links with many topics mentioned by others above. </p> <p>I have also raised the question of the problem of applying these or related techniques to algebraically structured groupoids: </p> <p><a href="http://mathoverflow.net/questions/86617/convolution-algebras-for-double-groupoids" rel="nofollow">http://mathoverflow.net/questions/86617/convolution-algebras-for-double-groupoids</a> </p> <p>Since "motivating graduate students" was part of the original question, someone needs to point out at least one thing that has not been done. It can be useful to explain the "exterior" of a subject: unknowns, known unknowns, etc! One would also like the experts to point out anomalies in this area: I won't try to define this term, but they can lie around unrecognised. </p> http://mathoverflow.net/questions/88184/what-is-the-significance-of-non-commutative-geometry-in-mathematics/97996#97996 Answer by BY for What is the significance of non-commutative geometry in mathematics? BY 2012-05-25T22:13:09Z 2012-05-26T00:44:25Z <p>The spectral characterization of Riemannian manifolds is a good example in my opinion. Details are given in the following article: <a href="http://www.alainconnes.org/docs/ckm1.pdf" rel="nofollow">http://www.alainconnes.org/docs/ckm1.pdf</a> .</p>