advanced_tools:topology

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision Next revision | Previous revision | ||

advanced_tools:topology [2017/12/04 08:01] 127.0.0.1 external edit |
advanced_tools:topology [2018/10/11 12:57] (current) jakobadmin [Student] |
||
---|---|---|---|

Line 2: | Line 2: | ||

<tabbox Why is it interesting?> | <tabbox Why is it interesting?> | ||

+ | |||

+ | <blockquote> | ||

+ | **Topology is power.** | ||

+ | If we understand a dynamical system in topological terms, we can often deduce its qualitative features without | ||

+ | messing around with detailed quantitative computations. | ||

+ | As an example, | ||

+ | I will here discuss the force between distantly separated non-Abelian | ||

+ | monopoles. | ||

+ | ("Distantly separated" only because we don't yet know | ||

+ | what monopoles look like at short distances.) | ||

+ | |||

+ | |||

+ | <cite>The Magnetic Monopole Fifty Years Later by Sidney R. Coleman</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | The [[advanced_notions:quantum_field_theory:qcd_vacuum|QCD vacuum]] can only be understood through topological considerations. In addition, important effects in quantum field theory, like instantons or magnetic monopoles, have a topological origin. | ||

<tabbox Layman> | <tabbox Layman> | ||

- | <note tip> | + | <blockquote> |

- | Explanations in this section should contain no formulas, but instead colloquial things like you would hear them during a coffee break or at a cocktail party. | + | Topology is that part of mathematics that deals with those aspects of geometrical objects that don't change as one deforms the object (the standard explanatory joke is that 'a topologist is someone who can't tell the difference between a coffee cup and a doughnut'). |

- | </note> | + | |

+ | <cite>page 118 in Not Even Wrong by Peter Woit</cite> | ||

+ | </blockquote> | ||

+ | | ||

+ | | ||

+ | <blockquote> | ||

+ | The doughnut and the coffee mug are topologically equivalent because one can be continuously deformed into the other (Fig. 29.1). We imagine that everything is made of some kind of mouldable clay and so all objects can be pressed and prodded so that their shape changes. However, you are not allowed to puncture or heal, to add or remove holes, so that neighbouring points in the object remain neighbouring after the deformation. [...] The crucial point about topological arguments is that they do not rely | ||

+ | on any notion of the geometrical structure of space. Topological spaces | ||

+ | are continuously deformable and therefore a topological description reflects the underlying ‘knottiness’ of the problem. | ||

+ | | ||

+ | <cite>page 260 in Quantum Field Theory for the gifted Amateur by T. Lancaster</cite> | ||

+ | </blockquote> | ||

+ | | ||

+ | | ||

+ | <blockquote> | ||

+ | Topology can be thought of as a kind of generalization of Euclidean geometry, and also as a natural framework for the study of continuity.Euclidean geometry is generalized by regarding triangles, circles, and squares as being the same basic object. Continuity enters because in saying this one has in mind a continuous deformation of a triangle into a square or a circle, or indeed any arbitrary shape. A disc with a hole in the centre is topologically different from a circle or a square because one cannot create or destroy holes by continuous deformations. Thus using topological methods one does not expect to be able to identify a geometrical figure as being a triangle or a square. However, one does expect to be able to detect the presence of gross features such as holes or the fact that the figure is made up of two disjoint pieces etc. This leads to the important point that topology produces theorems that are usually qualitative in nature—they may assert, for example, the existence or non-existence of an object. They will not in general, provide the means for its construction. begin by looking examples topology plays role. | ||

+ | | ||

+ | <cite>page 1 in Topology and Geometry for Physicists by Nash and Sen</cite> | ||

+ | </blockquote> | ||

| | ||

<tabbox Student> | <tabbox Student> | ||

Line 14: | Line 49: | ||

* [[http://sophia.dtp.fmph.uniba.sk/~fecko/referaty/regensburg_2011.pdf|Selected topological concepts used in physics - An introductory exposition]] by Marián Fecko | * [[http://sophia.dtp.fmph.uniba.sk/~fecko/referaty/regensburg_2011.pdf|Selected topological concepts used in physics - An introductory exposition]] by Marián Fecko | ||

+ | * A good overview is given in the chapter Topological foundations of Physics by Kouneiher in the book The Map and the Territory | ||

* {{ :advanced_tools:groups-symmetry-and-topology-global-symmetry-and-local-symmetry-lecture-notes-physics.pdf |How to Talk to a Physicist: Groups,Symmetry, and Topology}} by Daniel T. Larson | * {{ :advanced_tools:groups-symmetry-and-topology-global-symmetry-and-local-symmetry-lecture-notes-physics.pdf |How to Talk to a Physicist: Groups,Symmetry, and Topology}} by Daniel T. Larson | ||

+ | * http://www.math3ma.com/mathema/2015/9/14/open-sets-are-everything | ||

+ | * https://jeremykun.com/2013/01/12/the-fundamental-group-a-primer/ | ||

+ | * https://jeremykun.com/2013/04/03/homology-theory-a-primer/ | ||

+ | * https://jeremykun.com/2012/11/04/topological-spaces-a-primer/ | ||

+ | |||

<tabbox Researcher> | <tabbox Researcher> | ||

Line 38: | Line 79: | ||

| | ||

<tabbox History> | <tabbox History> | ||

+ | |||

+ | <blockquote> | ||

+ | The 1950s and early 1960s had been a golden era for the subject of topology, and by the end of the 1960s quite a bit was known. Topology of two- dimensional spaces (think of the surface of a sphere or doughnut) is a very simple story. All two-dimensional spaces are characterised by a single non-negative integer, the number of holes. The surface of the sphere has no holes, the surface of the doughnut has one, etc. A surprising discovery was that things simplified if one thought about spaces with five dimensions or more. In essence, with enough dimen- sions, there is room to deform things around in many ways, and, given two different spaces, the question of whether one can be deformed into the other is intricate but can be worked out. **Three and four dimensions turn out to be the really hard ones**, and progress in understanding them slowed dramatically. The classification of spaces by their topology depends on what sort of deformations are allowed. Does one allow all deformations (as | ||

+ | long as one doesn't tear things), including those that develop kinks, | ||

+ | or does one insist that the space stays smooth (no kinks) as it is | ||

+ | deformed? It was known by the late 1960s that for spaces of dimension two and five or more, the stories for the two different kinds of | ||

+ | deformations were closely related although slightly different. **What | ||

+ | Donaldson showed was that in four dimensions these two different | ||

+ | kinds of deformations lead to two completely different classification | ||

+ | schemes. The fact that he did this using gauge theory and the solutions to differential equations (parts of mathematics that topologists | ||

+ | viewed as far from their own) just added to the surprise.** | ||

+ | |||

+ | <cite>page 119 in Not Even Wrong by Peter Woit</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | <blockquote> | ||

+ | In 1982, Simon Donaldson, then finishing his doctoral thesis at Oxford, advocated the study of the space of solutions to the Yang-Mills [field equations] on 4-manifolds as a way to define new invariants of these manifolds. Literally hundreds of papers had been written after Donaldson’s initial work in 1983, and an industry of techniques and results developed to study related problems. | ||

+ | |||

+ | <cite>Arthur Jaffe as quoted in The Proof is in the Pudding by Steven G. Krantz</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | <blockquote> | ||

+ | In 1983, Donaldson used the Yang-Mills equations arising from physics in a purely mathematical context. Donaldson got new topological invariants for four-manifolds by studying the moduli space of solutions of the self-dual Yang-Mills equations over those four-manifolds. Donaldson’s theorem and his method of proof opened up entirely new mathematical vistas. [...] What’s the advantage of being a grad student? Well, if you don’t know it’s an | ||

+ | impossible theorem, you might actually prove it! Donaldson was messing around | ||

+ | with all this impossible stuff, and, lo and behold, he proved something! | ||

+ | |||

+ | <cite>http://www.ma.utexas.edu/users/lfredrickson/Attachments/TempleLectures.pdf</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | |||

+ | Witten had the idea, that you could achieve the same results much simpler, if you used instead the now called "Seiberg-Witten equation". This equation is the dual analogue of the self-duality equations: | ||

+ | |||

+ | <blockquote> | ||

+ | He went to Cambridge to give a talk about his work with Seiberg to the physicists at MIT on 6 October 1994. Noticing that several mathematicians were in the audience, at the end of the talk he mentioned that this work might be related to Donaldson theory and wrote down an equation that he thought should be the dual analogue of the ones mathematicians had been studying so far (the so-called self-duality equations). | ||

+ | |||

+ | <cite>page 139 in Not Even Wrong by Peter Woit</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | <blockquote> | ||

+ | In 1992, Ed Witten gave a talk at Harvard and Cliff Taubes was in the audience. After the talk Taubes walked up to talk with Witten. Witten told Taubes about some equations, the Seiberg-Witten equations, that he suspected that contained all the topological 4-manifold invariants that Donaldson theory was extracting from the self-dual Yang-Mills equations. Taubes went home and wrote his shortest paper–just over 15 pages!– on that. So a physicist walks up to a you as a mathematician, and says “You should be doing this,” then you go home and it works! And you have no idea why it works or why you should be doing it. We have 30 years of this pattern. Somehow the physicists know the interesting equations! | ||

+ | |||

+ | <cite>http://www.ma.utexas.edu/users/lfredrickson/Attachments/TempleLectures.pdf</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | This idea turned out to be correct and lead to "dramatic events": | ||

+ | |||

+ | <blockquote> | ||

+ | If Witten's idea is really correct, the Yang-Mills equations are no longer | ||

+ | needed to study the topology of 4-manifolds. | ||

+ | |||

+ | <cite>http://ugrad.math.ubc.ca/openhse/mail/mail3.html</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | <blockquote> | ||

+ | So after that physics seminar on October 6, some Harvard and MIT mathematicians who attended the lecture communicated the remark [about the new equation] by electronic mail to their friends in Oxford, in California, and in other places. Answers soon began to emerge at break-neck speed. Mathematicians in many different centers gained knowledge and lost sleep. They reproved Donaldson's major theorems and established new results almost every day and every night. As the work progressed, stories circulated about how young mathematicians, fearful of the collapse of their careers, would stay up night after night in order to announce their latest achievement electronically, perhaps an hour, or even a few minutes before some competing mathematician elsewhere. This was a race for priority, where sleep and sanity were sacrificed in order to try to keep on top of the deluge of results pouring in. Basically ten years of Donaldson theory were re-established, revised, and extended during the last three weeks of October 1994. | ||

+ | |||

+ | <cite>page 140 in Not Even Wrong by Peter Woit</cite> | ||

+ | </blockquote> | ||

+ | |||

+ | ---- | ||

+ | |||

* [[https://arxiv.org/pdf/hep-th/9709135.pdf|Topology and Physics—a historical essay]] by CHARLES NASH | * [[https://arxiv.org/pdf/hep-th/9709135.pdf|Topology and Physics—a historical essay]] by CHARLES NASH | ||

+ | |||

</tabbox> | </tabbox> | ||

advanced_tools/topology.1512374469.txt.gz · Last modified: 2017/12/04 08:01 by 127.0.0.1

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International