Quantum Field Theory and Mathematics
Total Page:16
File Type:pdf, Size:1020Kb
F EATURE Yuji Tachikawa Kavli IPMU Professor Research Area: Theoretical Physics Quantum Field Theory and Mathematics What are we made of? This is a long-standing as difcult subjects, but in fact they are rather well question for human beings. Our body is made of understood as theoretical frameworks, by physicists cells, which are made of molecules. Molecules are and mathematicians. First, there are many textbooks made of atoms, which, in turn, are made of electrons aimed at physics students, which can be read alone and nuclei. The latter are made of neutrons and in principle. Second, it is possible to express these protons, which are nally made of quarks. Electrons frameworks to mathematicians in single sentences: and quarks are known as elementary particles, and we can just say“: general relativity is about studying cannot be further subdivided as far as we know at the Einstein equation on Riemannian manifolds” present. The forces between these particles include and“ quantum mechanics is the study of self-adjoint the electromagnetic force, about which you are operators on Hilbert spaces.” The point here is not probably familiar, and the strong force*1 which about whether or not you can understand these binds quarks into protons and neutrons. Elementary two sentences, but the fact that there is a way to particles and the forces among them are described tell mathematicians what they are in a concise way. by a framework called quantum eld theory in Now, what is the situation with quantum eld theoretical physics. theory? There are many textbooks for physics As I will explain soon below, the computations students, but they are rather difcult to study alone. based on quantum eld theory reproduce many Furthermore, there is no way to tell mathematicians experimental results extremely well. At the same in a few sentences what quantum eld theory time, our understanding of quantum eld theory is. There might be no need for every physics is quite incomplete. Still, quantum eld theory has theory to be understood by mathematicians, been stimulating the development of various areas but the fact that physicists cannot communicate of mathematics. I would like to say something it in a straightforward way to mathematicians about this mysterious gap in our understanding of should suggest that physicists themselves do not quantum eld theories. understand it well enough. But then, what do I think quantum eld theory is?*2 For me, the framework called quantum eld Quantum eld theory is incomplete theory is merely a random collection of calculational What do I mean when I say quantum eld theory techniques and results which I learned through is incomplete? Let us compare the situation of textbooks and various original papers. I do not quantum eld theory with that of general relativity have a logical, uniform and straightforward and quantum mechanics, both of which appeared in understanding of it. And it seems it is not just a the early twentieth century. You might know them problem unique to me. For example, when you 4 Kavli IPMU News No. 37 March 2017 open a textbook on quantum eld theory and start This procedure is now carried out using the world’s studying it, you often encounter strange statements fastest supercomputers. In the last ten years, the such as“: the explanation given in the last chapter output of the computation started to show good to the concept X was not quite right. In fact the agreement with experimental results.*4 correct statement is the following.” You continue One of the Clay Millennium Problems*5 is reading and then nd“: in the last chapter we said essentially equivalent to proving that this limiting that the correct interpretation of the concept X procedure converges. We now know that the was such and such. But that is not perfectly true numerical value, before actually taking the limit, either. In reality it is...” These things rarely happen already agrees quite well with reality. in the textbooks on general relativity and quantum There are many other cases where the mechanics. computations done using quantum eld theory agree well with experimental results, although there is no satisfactory formulations of quantum eld Quantum eld theory works very well theory. It is expected, therefore, that some well- Still, computations done using quantum eld dened mathematics would be extracted from theory reproduce experimental results quite well. quantum eld theory, just as Euclidean geometry For example, the anomalous magnetic moment of was abstracted from various technical progresses in an electron, which is the strength of an electron ancient Egypt and Babylonia. as a magnet, can be computed in terms of the expansion in the ne structure constant, which is Various exiting formulations of the basic strength of the electromagnetic force. Its quantum eld theory theoretically computed value and the experimentally Of course, there have been many researchers observed value are in extremely good agreement.*3 who thought exactly in the same way. After all, Feature Let us next discuss the case of the strong force. quantum eld theory itself has been studied for For theoretical physicists, this is dened in terms about one hundred years already. A very early effort of the so-called path integral, which is an innite- in the 1950s is now known as axiomatic quantum dimensional integral. Various physical quantities can eld theory, which successfully axiomatized the be computed by performing this process. However, aspects of quantum eld theory then known. it is impossible to perform the integration an innite Unfortunately, not much of the later developments *6 number of times in practice. Instead, the result is on the physics side have been incorporated. Then computed by rst making an approximation by a in the 1980s, a couple of formulations were given nite sum and then taking the limit numerically. to subclasses of quantum eld theory which are 5 Math Hopefully unied soon... 2017 Topological QFT Vertex algebras 1980s Operator algebraic 1960s QFT QFT in condensed Axiomatic QFT matter physics 1950s QFT in high Physics energy physics Figure 1: Existing formulations of quantum eld theory amenable to rigorous mathematical treatment, theory is that we need to justify and make rigorous such as topological quantum eld theory and this integral. This approach is known as constructive vertex algebras. These cannot, however, deal with quantum eld theory. However, in the last ten years, the quantum eld theory which describes our it is recognized on the physics side that there are microscopic world. Also, these formulations, once many examples of quantum eld theories*7 which mathematical denitions are given, became separate do not seem to be described by the path integral. subdisciplines of mathematics and had their own This means that the completion of the program developments, with not much communications of the constructive quantum eld theory does not between them. Happily, we are starting to see mean a successful mathematical formulation of fruitful interactions among them in the last ten quantum eld theory. years. I summarized the interrelationship of these formulations in Figure 1. Mathematical applications of quantum In addition, the quantum eld theory which eld theory actually describes the real-world elementary So far I emphasized that we do not know how particles is usually described in physics textbooks to formulate quantum eld theory mathematically. in terms of the path integral, which is innite- Still, there have already been many rigorous dimensional. Therefore, a long-standing idea on the mathematical results inspired by the research in proper mathematical formulation of quantum eld quantum eld theory. For example, from the study 6 Kavli IPMU News No. 37 March 2017 spacetime M quantity a(M) quantum eld theory A(M) compute a quantity p should be For physicists: the same compute the same a quantity p quantum eld theory B(W) spacetime W quantity b(W) spacetime M quantity a(M) process a mathematicians are told to do mysteriously For mathematicians: the same process b mathematicians are told to do spacetime W quantity b(W) Figure 2: Mathematicians do not understand the area within the dotted line. of two-dimensional quantum eld theory in the application to mathematics of quantum eld early 1990s, there arose a subarea of mathematics theory. However, these mathematical works known as mirror symmetry. Also, stimulated by the are usually done quite independently from the physics results of Seiberg and Witten concerning mathematical sub-disciplines which deal with four-dimensional quantum eld theory, our formulations of quantum eld theory. Why is there understanding of the topology of four-dimensional such a mismatch? The reason can be understood manifold was greatly improved around 1995. by looking more closely at how these applications This is called the Seiberg-Witten theory in the arose. Let us take mirror symmetry as an example. mathematical literature.*8 In my own collaboration Feature in theoretical physics with Luis F. Alday and Davide How mathematical applications are Gaiotto around 2010, we nd that there should be extracted a relation between the geometry of the instanton In superstring theory, there are two types of moduli space and the representation theory of strings, called type IIA and type IIB. The motion of innite dimensional algebras. This conjecture was these strings within a spacetime M is described soon mathematically formulated, which got other by a quantum eld theory depending on the type, mathematicians interested and inspired them to A(M) and B(M). Slightly later, it was realized that rigorously prove it. there is a duality where a type IIA string moving In a sense, these can all be considered as an in a spacetime M is equivalent to a type IIB string 7 The interior might It can be quite interesting at the surface! ?? !! Figure 3: Interesting things can happen at the surface even when the interior is not that interesting.