samedi 11 septembre 2021

Comment Grothendieck n'est pas devenu physicien...

... mais mathématicien, (faute de moyen matériel ?)

 

Surtout après l’expérience de la guerre et du camp de concentration, en butte à des discriminations et préjugés qui semblaient défier la raison même la plus rudimentaire, ce qui me fascinait surtout dans l’activité mathématique ...c’était ce pouvoir qu’elle donnait, par la vertu d’une simple démonstration, d’emporter l’adhésion même la plus réticente, de forcer l’assentiment d’autrui en somme, qu’il soit bien disposé ou non — pour peu seulement qu’il accepte avec moi les “règles du jeu” mathématique. 
... plus tard, séduit par le prestige soudain de la physique atomique, c’est pourtant pour des études de physique que je me suis d’abord inscrit à l’ Université de Montpellier, avec l’idée de m’initier aux mystères de la structure de la matière et de la nature de l’énergie. Mais j’ai vite compris que si je voulais m’initier à des mystères, ce n’était pas en suivant les cours de la Fac que j’y arriverais, mais en travaillant par mes propres moyens, seul, avec ou sans livres. Comme je n’avais pas le flair, ni l’appareillage, pour apprendre la physique de cette façon-là ; j’ai renvoyé la chose à des temps plus propices, me suis alors mis à faire des maths, tout en suivant "de loin" quelques cours, dont aucun ne pouvait me satisfaire, ni m’apporter rien au delà de ce que je pouvais trouver dans les manuels courants.
Source

 


vendredi 10 septembre 2021

What is the role of Mathematics?

The role of the mathematician is to create concepts and...

 

Let me take one instance, the notion of truth, in order to illustrate what I mean. We all have in mind that something is either true or false. If we attend a debate on politics or another controversial topic, we are prone to say that this guy is right and that guy is wrong and that’s our way of making a judgement. Now, it turns out that probably we should be more advanced at the level of the formalisation of the idea of truth. In fact, there is a mathematical concept which has been created by A. Grothendieck which is the concept of topos and which has, thanks to contributions of F.W. Lawvere, a far more sophisticated notion of truth [read transcript of the video below about topos]. Technically the “truth values” form an object of the topos and this object classifies sub-objects exactly like the characteristic function (which takes values in the two point set “True, False”) of a subset does in the case of the topos of sets. Thus for this simplest topos something is true or false. But as soon as you take a slightly more involved topos, such as the topos of quivers, you get a much more refined notion of truth values and in the case of quivers it involves "making mistakes, corrections, checking" as fundamental parts of the structure. From this example, you witness that mathematics is a factory of concepts which are extremely rich, which are subtle and which of course are hard to grasp by the public in general due to their mathematical precise and involved formulation. This lack of grasp by the public holds at a certain time in the history of civilisation but I believe that in later years these concepts will become common. This sophisticated notion of truth has, by the way, nothing to do with probabilities. It’s a very beautiful and precise notion developed by a great genius of mathematics.to me, this is the role of mathematics: fabricate concepts and facilitate the process by which the public acquires them. That’s it.

Alain Connes mathematcian, interviewed by a theoretical physicist Jay Armas in Conversations on Quantum Gravity




Transcription of an extract in French:




 

mardi 8 juin 2021

Is [doing mathematics, doing physics]?


I try to use the information from physics as very sophisticated computations that physicists do that are tested by experiments and that somehow reveal if one looks at them carefully enough from a matehmatical point of view reveal amazinsingly beautiful structure

 Alain Connes (online.kitp.ucsb.edu/online/strings05/connes/rm/jwvideo.html)


-Do you have a preference for mathematics over physics?
-“My heart lies with both.”

dimanche 18 mars 2018

De quantum natura quidem Tractatus logo-physicus

18 Février 2018 : Bon anniversaire Roland Omnès !


Je découvre par hasard aujourd'hui (avec un mois de retard) que le merveilleux professeur (aujourd'hui émérite) et chercheur reconnu encore actif  avec qui j'ai eu le privilège de découvrir la mécanique quantique en première année de magistère de physique fondamentale d'Orsay vient de fêter cette année ses 2²+3²+5²+7² printemps !

J'espère avoir le temps un jour d'approfondir la lecture de ses dernières réflexions sur l'ambitieux programme de démontrer l'unicité de la réalité physique macroscopique par une approche quantique

Pour évoquer ses qualités de chercheur et de professeur sans verser dans la flagornerie je laisse la parole à un autre physicien qui fait ci-dessous une recension d'un des livres d'Omnès les plus importants directement écrit en anglais.  

The Interpretation of Quantum Mechanics. By Roland Omnès. Princeton University Press, Princeton, New Jersey, 1994, 
This monograph is the first book-length treatment of the consistent histories approach to the interpretation of quantum mechanics which I initiated in 1984, and to which Omn`es (starting in 1987) and Gell-Mann and Hartle (starting in 1990) have made major contributions. While consistent historians do not agree on every detail, there is a common core of ideas which can be summarized as follows. A closed quantum system (the universe, if one is ambitious) is represented by a Hilbert space, and anything that can sensibly be said about it at a particular time is represented by some subspace of this Hilbert space; in other words, there are no hidden variables. A history consists of a sequence of subspaces E1, E2, . . . associated with times t1, t2, . . ., understood as events occurring, or properties which are true, at these times. Provided the history is a member of a consistent family of histories, it can be assigned a probability, and within a given consistent family these probabilities function in the same way as those of a classical stochastic theory (imagine a sequence of coin tosses): one and only one of them occurs, and the theory assigns a probability to each possibility. Inconsistent histories, those which do not belong to a consistent family, are meaningless. The unitary time evolution generated by the Schrödinger equation, without any stochastic or nonlinear modifications, is used both for determining the consistency conditions which define consistent families, and for calculating the probabilities of histories belonging to a particular family. 
Measurements play no fundamental role in the consistent history interpretation; they simply correspond to sequences of events inside a closed system in which the measurement apparatus, along with everything else, is treated quantum mechanically. Thus a possible history for a closed system in which there is an apparatus for measuring the z component of the spin of a particle might include an initial state, a value of S z at a time shortly before the particle reaches the apparatus, and the position of a pointer on the apparatus at some later time. Using conditional probabilities one can show, under suitable conditions, that the particle earlier had the property indicated later by the pointer position. In this and various other ways the consistent history approach replaces the smoky dragons which inhabit textbook and other treatments of “measurement” with precise mathematical and logical rules yielding results which are often much closer to the intuition of experimental physicists than to what one finds in the literature on quantum foundations... 
While it does have defects, I nevertheless admire this book as a bold attempt to give substance to a vision common to consistent historians, namely that our current scientific understanding of the physical world, macroscopic phenomena as well as microscopic, can be linked to a firm foundation of quantum mechanical principles by appropriate and precise rules of sound reasoning. There is no need to add hidden variables to the Hilbert space, or tinker with the Schrödinger equation, or restrict ourselves to talk about “measurements” in order to construct a coherent interpretation of quantum mechanics which overcomes the well-known conceptual problems which have given such trouble to those who have been attempting to understand the subject for the past seventy years. We are indebted to Omnès for showing how much of this program can actually be carried out within the consistent histories framework. Some imperfections are inevitable in a pioneering effort, and those portions of the book which I find problematical are nonetheless useful as indications of what needs to be better understood, or more clearly explained, or perhaps both.
Robert B. Griffiths (Carnegie-Mellon)
(Submitted on 16 May 1995)

Pour goûter toute la saveur de la pensée d'Omnès exposée en termes non techniques, il vaut sûrement mieux le lire quand il écrit dans sa langue maternelle. Etudiant, je me souviens avoir beaucoup apprécié Alors l'un devint deux en particulier son chapitre sobrement intitulé conclusions. (Mon indécrottable romantisme péri-germanique m'inciterait à proposer comme autres titres : Tractatus logo-physicus ou bien De quantum natura pour évoquer le caractère philosophique et analytique mais aussi l'élégance et la simplicité de l'exposition). 
 
Voici ce qu'annonce la quatrième de couverture :  

Que sont donc les mathématiques ? Après Platon et Russell ou Gödel, cette grande question suscite toujours plus de débats et de controverses et elle attend encore sa réponse. Il s’agirait d’un pur jeu formel pour les uns, de l’image d’une réalité immatérielle pour les autres... Et voici que les acquis récents de la physique des particules invitent à explorer une troisième voie. Car les lois qui gouvernent les quarks et autres constituants de la matière, la manière dont elles furent découvertes et les modes de pensée par lesquels il fallut passer sont autant de révélateurs d’une parenté intimement profonde entre physique et mathématique. Pourtant, si l’on pénètre davantage les rapports complexes qui s’exercent entre la physis – la réalité empirique – et le logos – la réalité des formes –, force est de constater aussi qu’un irréductible hiatus les sépare. Alors, l’un devient deux...   
What is mathematics? After Plato and Russell or Gödel, this fundamental question is still the subject of more debate and controversy and is still waiting for an answer. It would be a pure formal game for some, the image of an immaterial reality for others... And now recent achievements in particle physics invite us to explore a third way. Because the laws that govern the quarks and other constituents of matter, the way they were discovered and the ways of thinking through which they had to pass are all revealing of a profound relationship between physics and mathematics. However, if we penetrate more deeply into the complex relationships between the physis - the empirical reality - and the logos - the reality of forms - we must also note that they are separated by an irreducible hiatus. So, one becomes two...

(Translated with the help of www.DeepL.com/Translator)

 

Dans ma thèse j'ai choisi la citation suivante :

Proposition 32 
La connaissance de la physis ne peut provenir que d'une forme d'expérience. La disjonction de nature entre physis et logos se laisse voir dans la philosophie traditionnelle comme l'impossibilité de construire la science par pure induction
Knowledge of physis can only come from a form of experiment. The natural disjunction between physis and logos can be seen in traditional philosophy as the impossibility of building science by pure induction.


dimanche 17 décembre 2017

Adventures in math of a quantum thinker

...once one took String Theory seriously, one soon found a lot of reasons that physicists would have to pay attention to previously unfamiliar topics in more or less modern mathematics. For example, at a basic level, a string moving in spacetime sweeps out a two-dimensional surface with the property of what mathematicians call a Riemann surface. Riemann surfaces are an important topic in the mathematics of the last century, and they became important for physicists primarily because of String Theory. 

From my vantage point, all this made the interaction of physics with more or less contemporary mathematics far more robust and significant. Opportunities to apply physics-based insights to “purely mathematical” problems stopped seeming like exceptions. 

In my own work in the years just after 1984, the development that is most worth mentioning here involves topological quantum field theory. This was partly motivated by hints and suggestions by the mathematician Michael Atiyah, who pointed to mathematical developments that he suggested should be better understood using physical insight. Other hints came from developments in physics.


Each problem here involved applying physics ideas to a problem that traditionally would have been viewed as a math problem, not a physics problem. These were all problems that I would not have seriously considered working on until String Theory broadened our horizons concerning the relations between mathematics and physics. In each case, the aim of my work was to try to show how a problem that naively is “purely mathematical” could be approached by methods of physicists. 

I will just tell you about one of these problems. It involved knots in ordinary three-dimensional space. A tangled piece of string is a familiar thing in everyday life, but probably most of us are not aware that in the 1900's, mathematicians built a deep and subtle theory of knots. By the time I became involved, which was in 1987-8, there was a puzzle, which Atiyah helped me appreciate. The mathematician Vaughn Jones had discovered a marvelous new way of studying knots – for which he later received the Fields Medal. Vaughn Jones had proved that his formulas worked, but “why they worked was mysterious. 
It may be hard for someone who does not work in mathematics or science to fully appreciate the difference between understanding “what” is true and understanding “why” it is true. But this difference is an important part of the fascination of physics and mathematics, and I guess all of science. I will say, however, that the difference between “what” and “why” depends on the level of understanding one has at a given level of time. One generation may be satisfied with the understanding of “why” something is true, and the next generation may take a closer look.  
Anyway, getting back to knots, I was able to get a new explanation of Vaughn Jones's formulas by thinking of a knot as the trajectory followed by an elementary particle in a three-dimensional spacetime. There were a few tricks involved, but many of the ideas were standard ideas of physicists. Much of the novelty was just to apply the techniques of physicists to a problem that physicists were not accustomed to thinking about. 
This work became one of my best-known contributions, among both mathematicians and physicists. But it is also an excellent illustration of something I said in my acceptance speech the other night. No matter how clever we are, what we can accomplish depends on the achievements of our predecessors and our contemporaries and the input we get from our colleagues. My ability to do this work depended very much on clues I got from work of other scientists. In several cases, I knew of these clues because colleagues pointed out the right papers to me or because the work was being done right around the corner from me by colleagues at the Institute for Advanced Study in Princeton. It also helped at a certain point to remember some of what I had learned from Sidney Coleman back when I had been at Harvard, involving yet another insight of Albert Schwarz.



Edward Witten


En 1979, j'étais à une conférence sur les théorie de jauge à Cargèse où l'un des vedettes était ... Ed Witten. Il se trouve qu'on était dans le même hôtel et que j'ai eu donc souvent l'occasion de l'écouter ; et il y a une chose qui m'a beaucoup frappé. Tandis que les autres physiciens ... parlaient toujours en termes de phénomènes, éventuellement en termes de modèles concrets testés sur ordinateurs, Witten jonglait tout le temps avec les théories ellees-mêmes, leur manière d'intéragir, de se compléter ou tout simplement d'exploser. Il me semble qu'il y a un lien direct entre cette manière de penser et la M-théorie d'aujourd'hui. 
In 1979, I was at a lecture on gauge theory at Cargèse where one of the stars was ... Ed Witten. It turns out we were in the same hotel and so I often had the opportunity to listen to him ; and there is one thing that struck me a lot. While other physicists ... always spoke in terms of phenomena, possibly in terms of concrete models tested on computers, Witten juggled all the time with theories themselves, their way of interacting, of complementing each other or simply of exploding. It seems to me that there is a direct link between this way of thinking and today's M-theory. (blogger's translation)

Valentin Poénaru 

mercredi 6 décembre 2017

Physics, Mathematics, Calculation, Experiment


As a mathematician and outsider to the world of physics, I feel that gives me a perspective which to some extent is above the fray which is taking place in theoretical physics. Experience shows that successful physical theories follow a fairly well defined sequence of major steps. The first step is the elucidation of the essential physical ideas in purely physical terms which one needs to describe the theory. The second step is to describe mathematically a system which corresponds with the physical ideas resulting from the first step. The third step is to use the mathematical system resulting in step two to make calculations which make predictions of physically interesting quantities. The fourth step is to experimentally test the predictions resulting from the third step. One might introduce a fifth step which is to modify physical ideas in step one and go through the sequence of steps again in order to make improvements in the theory. In short, the steps which can be considered as a cycle, are  
(1) Physics
(2) Mathematics
(3) Calculation
(4) Experiment 
Some comments on these steps are now in order. It is important that the physical ideas of (1) not be overly influenced by mathematics. In step one, physics must be the main consideration. In (2) on the other hand, the level of rigour should not be too high as it can prevent progress and get in the way of progress to step three. Likewise, in (3), for calculations, similarly sometimes physical ideas can be used to aid in calculation where it would not be permitted in pure mathematics. For instance, if the Weierstrass level of rigour had been required of Newton, it could have prevented the development of Newtonian mechanics. The reason that the requirements of rigour can be relaxed here is due to the final step (4) which will be the final arbiter of success. Notice that this means that if (1), (3), and (4) are omitted, all that remains is sloppy mathematics... 
Maurice J. Dupré, Department of Mathematics New Orleans, LA 70118 
18 September 2013

vendredi 24 février 2017

A propos du (pseudo) paradoxe de Banach-Tarski

Il n'y a guère de paradoxe sans utilité
Leibniz in Lettre à l'Hospital, M. S. II p302



L'axiome du choix permet de casser une boule en un nombre fini de morceaux, puis de réajuster tous ces morceaux pour former exactement une boule de rayon différent ! Ce théorème connu sous le nom de paradoxe de Banach-Tarski... semble contredire que ces deux boules ont des volumes différents ! Mais ce n'est pas ainsi qu'il faut le comprendre ; ce résultat est en effet motivé par son corollaire, à savoir qu'il est impossible de parler du volume d'une partie arbitraire de l'espace, dès lors qu'on impose à la fonction volume de satisfaire aux trois propriétés suivantes : deux parties de l'espace exactement superposables ont même volume, le volume de la réunion d'une famille finie de parties disjointes est la somme des parties de ces parties, et deux boules de rayons différents ont des volumes différents. Ce paradoxe n'en est donc pas un, car les morceaux de boules dont il énonce l'existence sont si irréguliers qu'on ne peut pas parler de leur volume : celui-ci n'est ni nul ni non nul, il n'est tout simplement pas défini. Et bien entendu cette fraction des boules n'a pas de sens physique ...

L'aventure des nombres
Gilles Godefroy
Ed. Odile Jacob






The axiom of choice allows you to break a ball into a finite number of pieces, then readjust all these pieces to form exactly one ball of different radius! This theorem known as Banach-Tarski's paradox... seems to contradict that these two balls have different volumes! But this is not the way to understand it; this result is indeed motivated by its corollary, namely that it is impossible to speak of the volume of an arbitrary part of space, if the volume function is required to satisfy the following three properties: two exactly superposable parts of space have the same volume, the volume of the reunion of a finite family of disjoined parts is the sum of the parts of these parts, and two balls of different radii have different volumes. This paradox is therefore not a paradox, because the pieces of balls whose existence it states are so irregular that it is impossible to talk about their volume: it is neither zero nor non-zero, it is simply not defined. And of course this fraction of the balls has no physical meaning...
Translated with www.DeepL.com/Translator

mardi 9 février 2016

There is plenty of room in four dimensional spacetime

... for wandering through exotic smoothness
Progress in theoretical physics has often come as a result of questioning old assumptions, e.g., 
1. spacetime should be an absolute product, time × space, 
2. spacetime should be geometrically flat, 
3. spacetime should have trivial topology, and many others. 
Questioning these natural assumptions obviously has led to many rich discoveries. The Galilean structure of space and time in Newtonian physics was based on 1), which certainly seems “natural” from everyday experience. Of course, we now know from special relativity that such a product structure is not absolute but relative to the state of motion of the observer. Even granted such special relativistic insights, the geometric triviality of space, if not of spacetime, also seems to be an inevitable consequence of experience. The questioning of 2) however, led to the magnificent theory of general relativity. In hindsight, questioning of assumption 3) now seems to be part of a natural progression, and indeed, much work in modern theoretical physics calls on non-trivial topological models. In this questioning spirit then, it would seem to be well worthwhile to explore the recent discovery of exotic differentiable structures on topologically trivial spaces, especially R4. Almost all widely investigated physical theories make use of differential equations which of necessity require a manifold with such a structure. Of course, locally, all such structures are equivalent, so that the form of the equations and the local behavior of their solutions will be unchanged. Nevertheless, globally, the differentiable structures are not equivalent, so neither is the underlying physics. That is, such studies lead to fields that cannot be globally physically equivalent to any studied to date, and may offer a rich resource of new physical possibilities.
...
From the principle of general relativity as generally defined, we learn that two different smooth manifolds can represent the same physics, merely presented in different coordinate representation, if and only if they are diffeomorphic to each other. Until recently, this diffeomorphism class has been regarded by physicists as relatively trivial and the construction of “new” spacetime models seemed to require changes of the basic topology. From this review, however, it is apparent that this is not the case, that there are an infinity of physically inequivalent representations of spacetime all having the trivial topology of the first model, ℝ4.
It would seem very surprising, and contrary to much historical precedent, to have the sudden and unexpected discovery of the richness of mathematical models for four dimensional spacetime to be of no physical significance at all. 
(Submitted on 4 May 1994)

 

The existence of... exotic structures is a strikingly counter-intuitive result. It means that although each of these manifolds is topologically equivalent to ℝ4, there is no local coordinate patch structure in which the global topological coordinates, ordered sets of four numbers, are everywhere smooth... The path to the discovery of such manifolds... is ... circuitous and mathematically involved ... 𝕊⁷. The bad news then is that following the argument in detail requires a great deal of mastery of many branches of mathematics. The good news, from our viewpoint, is that this wandering journey involves mathematical excursions touching on such strongly physics-based topics as Dirac spinors, moduli spaces of Yang-Mills instantons and even an intersection form, E8, identical to the Cartan form for the exceptional group recently studied in superstring theory...

 [Submitted on 3 Dec 1992]



... contemplating quantum gravity speculations
In this article we will ... develop a new approach to quantum gravity called smooth quantum gravity by using smooth 4-manifolds with an exotic smoothness structure. In particular we discuss the appearance of a wildly embedded 3-manifold which we identify with a quantum state. Furthermore, we analyze this quantum state by using foliation theory and relate it to an element in an operator algebra. Then we describe a set of geometric, non-commutative operators, the skein algebra, which can be used to determine the geometry of a 3-manifold. This operator algebra can be understood as a deformation quantization of the classical Poisson algebra of observables given by holonomies. The structure of this operator algebra induces an action by using the quantized calculus of Connes. The scaling behavior of this action is analyzed to obtain the classical theory of General Relativity (GRT) for large scales. This approach has some obvious properties: there are non-linear gravitons, a connection to lattice gauge field theory and a dimensional reduction from 4D to 2D. Some cosmological consequences like the appearance of an inflationary phase are also discussed. At the end we will get the simple picture that the change from the standard R4 to the exotic R4 is a quantization of geometry. 
... the model of a smooth manifold is not suitable to describe quantum gravity, but there is no sign for a discrete spacetime structure or higher dimensions in current experiments [41]. Therefore, we conjecture that the model of spacetime as a smooth 4-manifold can be used also in a quantum gravity regime, but then one has the problem to represent QFT by geometric methods (submanifolds for particles or fields etc.) as well to quantize GR. In particular, one must give meaning to the quantum state by geometric methods. Then one is able to construct the quantum theory without quantization. Here we implicitly assumed that the quantum state is real, i.e. the quantum state or the wave function has a real counterpart and is not a collection of future possibilities representing some observables. Experiments [75, 28, 83] supported this view. Then the wave function is not merely representing our limited knowledge of a system but it is in direct correspondence to reality! Then one has to go the reverse way: one has to show that the quantum state is produced by the quantization of a classical state. It is, however, not enough to have a geometric approach to quantum gravity (or the quantum field theory in general). What are the quantum fluctuations? What is the measurement process? What is decoherence and entanglement? In principle, all these questions have to be addressed too. Here, the exotic smoothness structure of 4-manifolds can help finding a way. A lot of work was done in the last decades to fulfill this goal. It starts with the work of Brans and Randall [32] and of Brans alone [29, 30, 31] where the special situation in exotic 4-manifolds (in particular the exotic R4) was explained. One main result of this time was the Brans conjecture: exotic smoothness can serve as an additional source of gravity. I will not present the whole history where I refer to Carl’s article.  
Here I will list only some key results which will be used in the following 
• Exotic smoothness is an extra source of gravity (Brans conjecture is true), see Asselmeyer [5] for compact manifolds and Sladkowski [86, 87] for the exotic R4. Therefore an exotic R4 is always curved and cannot be flat! 
• The exotic R4 cannot be a globally hyperbolic space (see [40] for instance), i.e. represented by M×R for some 3-manifold. Instead it admits complicated foliations [17]. Using non-commutative geometry, we are able to study these foliations (the leaf space) and get relations to QFT. For instance, the von Neumann algebra of a codimension one foliation of an exotic R4 must contain a factor of type III1 used in local algebraic QFT to describe the vacuum [11, 13, 19]. 
• The end of R4 (the part extending to infinity) is S3×R. If R4 is exotic then S3×R admits also an exotic smoothness structure. Clearly, there is always a topologically embedded 3-sphere but there is no smoothly embedded one. Let us assume the well known hyperbolic metric of the spacetime S3×R using the trivial foliation into leafs S3×{t} for all t ∈ R. Now we demand that S3×R carries an exotic smoothness structure at the same time. Then we will get only topologically embedded 3-spheres, the leafs S3×{t}. These topologically embedded 3-spheres are also known as wild 3-spheres. In [14], we presented a relation to quantum D-branes. Finally we proved in [16] that the deformation quantization of a tame embedding (the usual embedding) is a wild embedding. Furthermore we obtained a geometric interpretation of quantum states: wild embedded submanifolds are quantum states. Importantly, this construction depends essentially on the continuum, because wild embedded submanifolds admit always infinite triangulations. 
• For a special class of compact 4-manifolds we showed in [20] that exotic smoothness can generate fermions and gauge fields using the so-called knot surgery of Fintushel and Stern [51]. In the paper [10] we presented an approach using the exotic R4 where the matter can be generated (like in QFT). • The path integral in quantum gravity is dominated by the exotic smoothness contribution (see [65080] or by using string theory [12]). 
(Submitted on 24 Jan 2016)


... initiating a long march through Grothendieck theory of topoï
Currently it is a bit of a folklore to say that dimension 4 is exceptional both in physics and mathematics. On the one hand this is the dimension where Einstein theories of relativity were formulated, where the physics of particles and quantum fields found their marvelous realization on (curved) Minkowski spacetimes, and where the cosmological evolution of our world is to be described. On the other hand, many curious mathematical facts, like the existence of exotic R4, or in fact, of a continuum many of them, take place exactly in this dimension. It was a big effort of many mathematicians in 1980’s like Donaldson, Freedman, Gompf, Taubes and many others whose work on topology and geometry of manifolds in dimension 4 opened our eyes on the unique 4-dimensional topological and ‘smooth’ world and help in its understanding. However, taking seriously advanced and technical mathematical findings as applicable to physics, required much scientific imagination and courage in those days. It was Carl Brans who took the step in a series of papers [8, 9, 10, 11]. Soon after, there appeared the work of Torsten Asselmeyer-Maluga (e.g. [1]) and Jan S ladkowski (e.g. [42, 43]) who approached the role of exotic R4’s in physics from various perspectives. Carl’s Brans ideas and the papers above were an inspiration to me and I have been lucky as a researcher to work together with Torsten and Jan within the recent years. It is a big honor and pleasure to me to contribute to the volume celebrating the work of Carl Brans. 
Exotic smoothness structures on R4 are just Riemannian, curved smooth 4-manifolds (exotic R4) which topologically are (homeomorphic to) R4. In this chapter, I will show that the perspective of set theory and Grothendieck toposes, hence foundations of mathematics, is the right one when considering physical applications of exotic, open 4-smoothness. Even though this is neither obvious nor widely accepted approach, the use of model and set-theoretic methods in physics has a firm and vivid tradition arisen from the foundations of mathematics (e.g. [39, 12, 44, 29]). That was developed substantially further in recent years (e.g. [13, 14, 18, 25, 23, 31]).
...
Corollary 6 The renormalization problem of some perturbative QFT can be translated into the geometry of some (Euclidean) exotic R4 background which complements the Minkowski flat spacetime.  
One can restate the corollary as: Ultraviolet (UV) divergencies in some perturbative QFT determine exotic smoothness of the Euclidean R4 background. We expect that ultraviolet divergencies counterterms of some perturbative QFT’s on Minkowski spacetime are expressible in terms of the Riemannian (sectional) curvature of R4 1,2 . This Euclidean curved 4-background complements the Minkowski’s one. Recall that exotic R4’s are just Riemannian smooth 4-manifolds which can not be flat. Thus the Corollary 6 indicates that a curvature in spacetime, hence nonzero density of gravitational energy emerges, when renormalization problem is solved geometrically. This connection with gravity is a rather universal, non-perturbative phenomenon of different perturbative QFT’s and it is an important feature of the approach.
(Submitted on 8 Feb 2016)

mercredi 25 novembre 2015

Qu'est ce qu'on fête aujourd'hui ?

La magie des mathématiques naturellement!
Today is November 25th 2015. I have decided to celebrate here the 100th anniversary of the publication of the last of the four papers Einstein wrote the same month about the general theory of relativity. In this paper he overcame the remaining central tension in the relation between mathematical formalism and physical interpretation. This fits nicely with the theme of this blog thus let's go a little further quoting the interesting book "The road to relativity" by Hanoch Gutfreund and Jürgen Renn:

The tension expressed itself either in a physically meaningless coordinate restriction (in the case of the theory of November 4th [a coordinate restriction followed from the {energy-momentum} conservation principle requirement]) or in a speculative hypothesis about the structure of matter (in the case of the theory presented ... on November 11th {a gravitational field equation based on the Ricci tensor was derived from the assumption that the only fields occurring as sources of gravitation are electromagnetic ones})... All that was required to achieve this final version was to change the way in which the sources of the gravitational field were inserted on the right-hand side of the gravitational field equation. If the trace of the energy-momentum tensor... is appropriately added to the source term on the right-hand side of the field equation then all the additional conditions become superfluous. In particular, the conservation principle is also satisfied as an automatic consequence of the modified field equation... 
In his latter writings Einstein frequently emphasized that the new solution of the problem of gravitation is a natural consequence of the mathematical theory centered on the Riemann tensor... So he himself described the breakthrough of late 1915 not as the result of a convergence of physical and mathematical strategies but an exclusive success of the latter. Even in his first November paper, Einstein was fascinated by the power of mathematical formalism to lead to the correct theory: "Nobody who really grasped  [the general theory of relativity] can escape from its charm, because it signifies a real triumph of the general differential calculus as founded by GAUSS, RIEMANN, CHRISTOFFEL, RICCI AND LEVI-CIVITA"

Here is the original quotation in German of the last sentence from the wonderful website The collected papers of Albert Einstein
Dem Zauber dieser Theorie wird sich kaum jemand entziehen können, der sie wirklich erfasst hat; sie bedeutet einen wahren Triumph der durch GAUSS, RIEMANN, CHRISTOFFEL, RICCI AND LEVI-CIVITA begründeten Methode des allgemeinen Differentialkalküls.
Submitted 4 November 1915, Published 11 November 1915

vendredi 14 novembre 2014

A long goodbye to mathematics (a secret hello to physics?) /

A sad day's post
Grothendieck did not derive his inspiration from physics and its mathematical problems. Not that his mind was incapable of grasping this area—he had thought about it secretly before 1967—but the moral principles that he adhered to relegate physics to the outer darkness, especially after Hiroshima. It is surprising that some of Grothendieck’s most fertile ideas regarding the nature of space and symmetries have become naturally wed to the new directions in modern physics. It is this unexpected marriage—and its occasionally comical aspects—that I would like to talk about here. “A mad day’s work”, as you know, is the subtitle given to The Marriage of Figaro by Beaumarchais. From a certain distance there is less cause for astonishment; the concepts of space and symmetry are so fundamental that they are necessarily central to any serious scientific reflection. Mathematicians as influential as Bernhard Riemann or Hermann Weyl, to name only a few, have undertaken to analyze these concepts on the dual levels of mathematics and physics...
Grothendieck’s broken dream was to develop a theory of motives, which would in particular unify Galois theory and topology. At the moment we have only odd bits of this theory, but I would like to conclude with a magnificent, quite unexpected development, in which physics and mathematics come together again...
Drinfeld has introduced a group GRT1 called the (graded) Grothendieck{Teichmuller group. It is a scheme of groups over the field Q, and it therefore has a Lie algebra, denoted grt1. To describe this Lie algebra would require me to give precise information on the Knizhnik/Zamolodchikov equations, which play a fundamental role in the theory of conformal elds. It is conjectured that the Lie algebra grt1 is a free Lie algebra with generators ψ3, ψ5, ψ7 ... corresponding in a natural way to the numbers ζ (3), ζ (5), ζ (7) ... Moreover, GRT1 plays the role of the Galois group for transcendental numbers of the form ζ (k1... kr), since it acts (conjecturally) on the algebra A by automorphisms.  
At almost the same time, at the institute, Connes and Kontsevich had just discovered a natural occurrence of the group GRT1 in fundamental problems of physics:
1. Connes and Kreimer [3] discovered how to make the Lie algebra grt1 (and other similar Lie algebras) act on the algebra corresponding to Feynman diagrams. It represents a new type of symmetry, not acting on any particular model of eld theory, but sweeping away a whole class of possible Lagrangians.
2. Kontsevich [9] has recently solved the problem of quantization by deformation for Poisson manifolds. The set of possible quantizations has a symmetry group, and Kontsevich conjectures that it is isomorphic to GRT .
In both problems the numbers ζ (k1... kr) arise as the values of certain integrals...
PIERRE CARTIER
Article electronically published on July 12, 2001


(Version française du texte de Cartier disponible ici)


Last words to Alexander Grothendieck himself

... séduit par le prestige soudain de la physique atomique, c’est pourtant pour des études de physique que je me suis d’abord inscrit à l’ Université de Montpellier, avec l’idée de m’initier aux mystères de la structure de la matière et de la nature de l’énergie. Mais j’ai vite compris que si je voulais m’initier à des mystères, ce n’était pas en suivant les cours de la Fac que j’y arriverais, mais en travaillant par mes propres moyens, seul, avec ou sans livres. Comme je n’avais pas le flair, ni l’appareillage, pour apprendre la physique de cette façon-là ; j’ai renvoyé la chose à des temps plus propices, Je me suis alors mis à faire des maths, tout en suivant "de loin" quelques cours, dont aucun ne pouvait me satisfaire, ni m’apporter rien au delà de ce que je pouvais trouver dans les manuels courants.
Récoltes et semailles , p. 495
Le petit enfant découvre le monde comme il respire - le flux et le reflux de sa respiration lui font accueillir le monde en son être délicat, et le font se projeter dans le monde qui l’accueille. L’adulte aussi découvre, en ces rares instants où il a oublié ses peurs et son savoir, quand il regarde les choses ou lui-même avec des yeux grands ouverts, avides de connaître, des yeux neufs - des yeux d’enfant.
Récoltes et semailles , p. 128 (version Yves Pocchiola?)

//last edit 6 june 2016

dimanche 12 octobre 2014

Poser un problème mathématique et le résoudre à la physicienne

Le mathématicien adulte et l'enfant physicien?

To demonstrate the cardinal difference between the ways problems are posed and solved by physicists and by mathematicians, Arnold provides the following problem for children: “On a bookshelf there are two volumes of Pushkin’s poetry. The thickness of the pages of each volume is 2 cm and that of each cover 2 mm. A worm holes through from the first page of the first volume to the last page of the second, along the normal direction to the pages. What distance did it cover?” Usually kids have no problems to find the unexpected correct answer, 4 mm, in contrast to adults. For example, the editors of the highly respectable physics journal initially corrected the text of the problem itself into: “from the last page of first volume to the first page of the second” to “match” the answer given by Arnold [1, 17]. The secret of kids lies in the experimental method used by them: they simple go to the shelf and see how the first page of the first volume and the last page of the second are situated with respect to each other...
(Submitted on 16 Mar 2010)
Le lecteur est évidemment invité à découvrir dans l'article en question ce que cette parabolle peut illustrer. Dans la même veine ...

mercredi 18 juin 2014

Expansion de la physique et consolidation des mathématiques (et réciproquement)

“The trouble with physics” is the title of an interesting and well-informed polemic by Lee Smolin against String Theory and present main stream physics at large. He notices a stagnation in physics, so much promise, so little fulfillment [Sm06, p. 313], a predominance of anti-foundational spirit and contempt for visions, partly related to the mathematization paradigm of the 1970s, according to Smolin: Shut up and calculate. Basically, Smolin may be right. Børge Jessen, the Copenhagen mathematician and close collaborator of Harald Bohr once suggested to distinguish in sciences and mathematics between periods of expansion and periods of consolidation. Clearly physics had a consolidation period in the first half of the 20th century with relativity and quantum mechanics... while, to me, the mathematics of that period is characterized by an almost chaotic expansion in thousands of directions. Following that way of looking, mathematics of the second half of the 20th century is characterized by an enormous consolidation, combining so disparate fields like partial differential equations and topology in index theory, integral geometry and probability in point processes, number theory, statistical mechanics and cryptography, etc. A true period of consolidation for mathematics, while - at least from the outside - one can have the impression that physics ... of the second half of the 20th century were characterized merely by expansion, new measurements, new effects - and almost total absence of consolidation or, at least failures and vanity of all trials in that direction. Indeed, there have been impressive successes in recent physics, in spite of the absence of substantial theoretical progress in physics: perhaps the most spectacular and for applications most important discovery has been the High Temperature Superconducting property of various ceramic materials by Bednorz and Muller - seemingly without mathematical or theoretical efforts but only by systematic combinatorial variation of experiments - in the tradition of the old alchemists, [BeMu87].

The remarkable advances in fluid dynamics, weather prediction, oceanography, climatic modelling are mainly related to new observations and advances in computer power while the equations have been studied long before. Nevertheless, I noticed a turn to theory among young experimental physicists in recent years, partly related to investigating the energy landscapes in material sciences, partly to the re-discovery of the interpretational difficulties of quantum mechanics in recent quantum optics.

La gravitation quantique : (péril physique ou) promesse mathématique (?)


When we write... of “unprecedented challenges, where the achievements of spacetime physics and quantum field theory are called into question” we are aware that large segments of the physics community actually are questioning the promised unified quantum gravity. We shall not repeat the physicists’ skepticism which was skillfully gathered and elaborated, e.g., by Lee Smolin in [92]. Here we shall only add a skeptical mathematical voice, i.e., a remark made by Yuri Manin in a different context [76], elaborated in [77], and then try to draw a promising perspective out of Manin’s remark. The Closing round table of the International Congress of Mathematicians (Madrid, August 22–30, 2006) was devoted to the topic "Are pure and applied mathematics drifting apart?" As panelist, Manin subdivided the mathematization, i.e., the way mathematics can tell us something about the external world, into three modes of functioning (similarly Bohle, Booß and Jensen 1983, [10], see also [13]):
  • (i) An (ad-hoc, empirically based) mathematical model “describes a certain range of phenomena, qualitatively or quantitatively, but feels uneasy pretending to be something more”. Manin gives two examples for the predictive power of such models, Ptolemy’s model of epicycles describing planetary motions of about 150 BCE, and the standard model of around 1960 describing the interaction of elementary particles, besides legions of ad-hoc models which hide lack of understanding behind a more or less elaborated mathematical formalism of organizing available data. 
  • (ii) A mathematically formulated theory is distinguished from an ad-hoc model primarily by its “higher aspirations. A theory, so to speak, is an aristocratic model.” Theoretically substantiated models, such as Newton’s mechanics, are not necessarily more precise than ad-hoc models; the coding of experience in the form of a theory, however, allows a more flexible use of the model, since its embedding in a theory universe permits a theoretical check of at least some of its assumptions. A theoretical assessment of the precision and of possible deviations of the model can be based on the underlying theory. 
  • (iii) A mathematical metaphor postulates that “some complex range of phenomena might be compared to a mathematical construction”. As an example, Manin mentions artificial intelligence with its “very complex systems which are processing information because we have constructed them, and we are trying to compare them with the human brain, which we do not understand very well – we do not understand almost at all. So at the moment it is a very interesting mathematical metaphor, and what it allows us to do mostly is to sort of cut out our wrong assumptions. If we start comparing them with some very well-known reality, it turns out that they would not work.”
Clearly, Manin noted the deceptive formal similarity of the three ways of mathematization which are radically different with respect to their empirical foundation and scientific status. He expressed concern about the lack of distinction and how that may “influence our value systems”. In the words of [13, p. 73]: “Well founded applied mathematics generates prestige which is inappropriately generalized to support these quite different applications. The clarity and precision of the mathematical derivations here are in sharp contrast to the uncertainty of the underlying relations assumed. In fact, similarity of the mathematical formalism involved tends to mask the differences in the scientific extra-mathematical status, in the credibility of the conclusions and in appropriate ways of checking assumptions and results... Mathematization can – and therein lays its success – make existing rationality transparent; mathematization cannot introduce rationality to a system where it is absent ...or compensate for a deficit of knowledge.” 
Asked whether the last 30 years of mathematics’ consolidation raise the chance of consolidation also in phenomenologically and metaphorically expanding sciences, Manin hesitated to use such simplistic terms. He recalled the notion of Kolmogorov complexity of a piece of information, which is, roughly speaking, “the length of the shortest programme, which can be then used to generate this piece of information ...Classical laws of physics – such phantastic laws as Newton’s law of gravity and Einstein’s equations – are extremely short programmes to generate a lot of descriptions of real physical world situations. I am not at all sure that Kolmogorov’s complexity of data that were uncovered by, say, genetics in the human genome project, or even modern cosmology data ...is sufficiently small that they can be really grasped by the human mind.” In spite of our admiration of and sympathy with Manin’s thoughtfulness, the authors of this review shall reverse Manin’s argument and point to the astonishing shortness in the sense of Kolmogorov complexity of main achievements in one exemplary field of mathematics, in spectral geometry to encourage the new unification endeavor.
Some of the great unifications in physics were preceded by mature mathematical achievements (like John Bernoulli’s unification of light and particle movement after Leibniz’ and Newton’s infinitesimals and Einstein’s general relativity after Riemann’s and Minkowski’s geometries). Other great unifications in physics were antecedent to comprehensive mathematical theory (like Maxwell’s equations for electro- magnetism long before Hodge’s and de Rham’s vector analysis of differential forms). A few great unifications in physics paralleled mathematical break-throughs (like Newton’s unification of Kepler’s planetary movement with Galilei’s fall low paralleled calculus and Einstein’s 1905 heat explanation via diffusion paralleled the final mathematical understanding of the heat equation via Fourier analysis, Lebesgue integral and the emerging study of Brownian processes). In this section, we shall argue for our curiosity about the new unification, nourished by the remarkable shortness of basic achievements of spectral geometry and the surprisingly wide range of induced (inner-mathematical) explanations.
Bernhelm BOOSS-BAVNBEK, Giampiero ESPOSITO et Matthias LESCH,

vendredi 3 janvier 2014

Quand (est-ce que) le physicien passe la main au mathématicien (?)

Voici une réponse possible tirée d'une conférence d'un grand physicien américain :
[According to an idea from quantum chromodynamics*] the gluons are in fact massless, but we don't see them for the same reason that we don't see the quarks, which is what, as a result of the peculiar infrared properties of non-Abelian gauge theories, color is trapped; color particles like quarks and gluons can never be isolated. This has never been proved. There is now a million dollar prize offered by the Cray Foundation to anyone who succeeds in proving it rigorously, but since it is true [this is a matter settled by experiment*] I for one am happy to leave the proof to the mathematician. 
[Selon une argumentation tirée de la chromodynamique quantique*] les gluons sont en fait dépourvus de masse, mais nous ne pouvons pas les voir pour la même raison que nous ne pouvons voir les quarks,  à savoir que, en raison de certaines propriétés infrarouges particulières des théories de jauge non-abéliennes, la couleur est confinée, les particules avec une charge de couleur telles que les quarks et les gluons ne peuvent jamais être isolés. Or cela n'a jamais été démontré. Il y a d'ailleurs un prix d'un million de dollars offert par la Fondation Cray à toute personne qui réussira à prouver cela rigoureusement, mais puisque cette [idée*] est vraie [de par les preuves expérimentales*] je suis pour ma part heureux de laisser la démonstration au mathématicien. 
S. Weinberg, The making of the Standard Model 2003

* les textes entre crochets ont été ajoutés par moi pour faciliter la compréhension du texte, ils visent à expliciter au mieux la pensée de Weinberg mais ils dépendent naturellement de ma propre compréhension. J'invite le lecteur à se reporter à l'ensemble du texte original pour se faire une idée éventuellement plus juste.


Pour illustrer la différence entre la notion de preuve en physique et en mathématique, voici, sur le même sujet, un extrait tiré de la page 199 d'un récent livre d'Edward Shuryak "Quantum Many-Body Physics in a Nutshell" (livre qui a l'originalité à mon goût de discuter de façon très pédagogique la chromodynamique dans le cadre de la physique quantique à N-corps) : 



mardi 12 novembre 2013

Le plus court chemin de la physique vers les maths passerait-il par la normale tandis que la route la plus sûre des maths à la physique consisterait à prendre la tangente?

//Bilan personnel de l'été et de la rentrée 2013

Duel virtuel autour du réel (entre deux théories duales ou énantiomères ?) 
Des lectures récentes (1,2,3) de textes portant respectivement sur l'histoire de l'élaboration du Modèle Standard (article de S. Weinberg), la construction de modèles supersymétriques (article de F. Wilzcek) ainsi que sur l'émergence d'une possible théorie de grande unification non commutative de la physique des particules (article de A. Devastato et al.) ont conduit le blogueur à s'interroger à nouveau sur les destins respectifs de la physique des cordes ou M-théorie promue par E. Witten et la géométrie non commutative élaborée par A. Connes. 

Force est de constater que la première théorie, née dans le champs de la physique spéculative pourrait bien ne pas avoir l'incarnation phénoménologique défendue par Witten, c'est-à-dire ne permettrait pas de progresser - au moins pour le moment - dans notre compréhension de la physique aux échelles d'énergie accessibles expérimentalement. Au contraire la seconde théorie, née dans le chateau des mathématiques abstraites est en passe de trouver une incarnation phénoménologique sérieuse dans la nouvelle ère de la physique après la découverte du boson de Higgs. 
La comparaison entre ces deux constructions et aventures intellectuelles peut se poursuivre de façon duale, de la sphère physique du réel vers son pendant mathématique. Elle nous tend alors une sorte de miroir où succès et échec seraient inversés tels deux énantiomères chimiques. Il est en effet admis que les travaux de Witten ont déjà permis des avancées majeures dans le territoire mathématique alors que les progrès de Connes pour défricher par exemple une nouvelle voix d'accès à l'une des plus fameuse conjecture mathématique (celle de Riemann) n'ont pas encore été jugés suffisamment significatifs par tous ses pairs. 

Il reste à espérer que les physiciens sauront entendre la musique de la nouvelle géométrie promue par Connes laquelle fait résonner le champ des possibles de la physique post-Higgs, comme les mathématiciens ont déjà appris à tirer profit des outils forgés par Witten pour élargir leur vision du jardin des merveilles mathématiques. En attendant, le blogueur a décidé de chroniquer sa lutte personnelle pour progresser dans la compréhension du monde quantique à l'aide de l'outil heuristique que représente le programme de la géométrie non commutative dans un nouveau blog : Quantumostinato.  


Bien qu'[Edward Witten] soit avant tout un physicien (comme le montre clairement la liste de ses publications), sa maîtrise des mathématiques surpasse de loin la plupart des mathématiciens. Il a chaque fois surpris la communauté mathématique par la brillante application de sa perspicacité physique et a ainsi mené à de nouveaux et profonds théorèmes mathématiques... Il a eu un profond impact sur les mathématiques contemporaines. Entre ses mains la physique constitue à nouveau une riche source d'inspiration et de compréhension des mathématiques. 
Michael Atiyah, On the work of edward Witten, 1990 
[in 1999] Connes proved that his prime-based quantum system has energy levels corresponding to all the Riemann zeros that lie on the critical line. He will win the fame [...] if he can make one last step: prove that there aren't any extra zeros hanging around, unaccounted for by his energy levels.
That last step is a formidable one. Has Connes simply replaced the Riemann hypothesis with an equally difficult question? Some experts advise caution. "I still think that some major new idea is needed here," says Bombieri. Berry, for his part, doesn't flinch at the mathematical peculiarity of Connes's system. "I'm absolutely sure that if he's right, someone will find a clever way to make it in the lab. Then you'll get the Riemann zeros out just by observing its spectrum."
Errica Klarreich , Prime Time, 11/11/00

//Modification du titre et ajout de la dernière phrase le 15/12/13.
//Ajout des deux citations le 07/01/14

mardi 27 août 2013

René Thom, Vladimir Arnold et Michael Berry

La théorie des catastrophes : des mathématiques abstraites à la physique phénoménologique
Conseil de lecture : http://royalsociety.org/library/moments/catastrophe-optics/ puis conseil de visite associé : la bibliothèque en ligne des articles écrits par ce formidable physicien-mathématicien M. Berry. Puisse comme moi l'amateur curieux apprécier la clarté avec laquelle nous est donnée à voir cette théorie mathématique des catastrophes développée par R. Thom et V. Arnol, illustrant si remarquablement les perles naturelles de mathématique révélées par la physique expérimentale et nous faisant rêver sur les diamants bruts de structures mathématiques qui sont toujours à extraire des mines parfois très noires de la physique théorique. 
Copyright: Michael Berry

dimanche 26 mai 2013

Donner à voir et entendre l'espace-chant du théâtre quantique mais pas seulement...

Donner à voir et entendre ...
Ce n'est pas un secret pour le lecteur régulier de ce blog ci (et d'autres), je suis tombé amoureux il y a fort longtemps d'une certaine vision non-commutative du monde, celle initiée par Alain Connes en particulier qui offre un point de vue passionnant sur la physique quantique et ses extensions possibles. Elle m'a indirectement mise sur la voie de mon sujet de thèse, elle est l'un de mes guides favoris pour voyager dans la jungle des publications en ligne de physique théorique. C'est aussi un prisme précieux pour analyser les enjeux conceptuels qui se cachent derrières le formalisme mathématique... 
Découvrant hier par hasard l'existence conjointe et d'une très récente émission radiophonique ayant pour invité le fameux mathématicien et d'un roman écrit par lui avec deux proches et sortant ce mois-ci, mon esprit  se met à bouillir à l'évocation du terme "théâtre quantique", et se fend d'un premier commentaire , quant-à moi je tente ici une première distillation personnelle d'idées en train de condenser ...

L'espace-chant du théâtre quantique
La physique quantique est née de l'observation et de la tentative de modélisation des phénomènes de l'infiniment petit, inaccessibles aux microscopes ordinaires, ceux qui utilisent la lumière visible, mais dont la phénoménologie est née d'abord de l'analyse des spectres de lumière émis par les atomes; analyse rendue possible par la construction des spectroscopes à partir du dix-neuvième siècle. 
Il est frappant de voir à quel point la géométrie noncommutative de Connes s'appuie sur cette dimension spectrale des phénomènes. 
Il faut noter aussi la dualité entre un espace directe qui repère des positions de particules et l'espace réciproque qui décrit leur dynamique à travers des impulsions.
Il est indispensable enfin de souligner que cette vision d'un espace infiniment sécable et d'une dynamique mesurable à toute échelle est pour ainsi dire un fantasme pour reprendre la terminologie d'un texte du mathématicien Thierry Paul. 
L'expression espace-chant se voudrait être une évocation des possibilités offertes par la géométrie noncommutative, le terme chant résonnerait à la fois avec la notion de champs employée dans les théories quantiques du même nom, et avec la notion de temps musical beaucoup plus polysémique que le temps de la mécanique pour distiller des métaphores aptes à mieux éclairer sa nature spectrale.

L'espace-temps du théâtre moderne
La physique moderne est née en résumé de l'analyse du mouvement initiée par Galilée grâce à l'étude comparée de mesures précises de l'espace et du temps, étude qui permettra de forger la notion effective de vitesse instantanée puis d'accélération et aboutissant à la dynamique de Newton. Elle est née aussi de l'étude comparée des mouvements des objets sur Terre et de ceux qui peuplent le Ciel, cet infiniment grand désacralisé par l'observation à la lunette puis au télescope de la Lune, du Soleil, des Comètes...

L'espace-écran du théâtre classique 
Que doit la géométrie classique, axiomatisée par (le mathématicien?) Euclide entre le IV et III siècles avant J.C., à cette autre science grecque parmi les plus anciennes : l'optique, "la science de la vision", pour laquelle le même (physicien?) Euclide a laissé probablement le traité le plus ancien connu à ce jour?
Sans revenir sur les débats philologiques concernant la paternité de ces théories, rappelons quand même l'extraordinaire originalité de leurs présentations axiomatiques-déductives. Soulignons aussi que contrairement à ce qu'on peut encore trop souvent lire, cette optique géométrique d'Euclide ne se réduit probablement pas à une naïve description de rayons émanant de l’œil pour aller vers la surface palpable des choses vues. Elle est plus vraisemblablement une subtile modélisation du flux lumineux capturé par l’œil, à travers les notions de cône visuel et de faisceaux de rayons, ces derniers étant discrétisés pour tenir compte d'une donnée anatomique : la structure filamenteuse de la rétine, connue et décrite par Herophile de Calcédoine, possible contemporain d'Euclide! C'est du moins ce que suggère Lucio Russo dans son livre The Forgotten Revolution (p149).

vendredi 24 mai 2013

A propos d'obstructions cohomologiques ou comment dessiner de merveilleuses figures impossibles qui ne peuvent pas être réelles ...

En cherchant des informations suffisamment précises sur un sujet a priori très perché : les obstructions cohomologiques, le blogueur, qui avait en tête cette célèbre figure impossible : 
Triangle de Penrose ou tripoutre (tribar en anglais)

imaginée par le mathématicien Roger Penrose dans les années 50, a eu la joie de découvrir un peu par hasard (et donc de partager avec son lecteur) ce texte du même Penrose, en anglais et en français. Le célèbre mathématicien y présente le formalisme permettant de décrire l'obstruction du passage de la tripoutre du plan à l'espace tridimensionnel, autrement dit ce qui empêche cette figure bidimensionnelle d'être la projection plane d'un objet tridimensionnel ...

//ajout 25/05/13
Cette recherche est partie d'une autre figure impossible (voir ci-dessous), dont j'ignore l'origine et le nom, figure employée par le physicien Jean-Marc Lévy Leblond dans les années 70 pour illustrer les limites de la dualité onde-corpuscule en mécanique quantique ...

Triapason ?
(pour sonner le glas de la dualité onde-corpuscule ;-)

Le lecteur curieux, qui n'a pas peur des mathématiques et de l'anglais, peut suivre les traces de la cohomologie dans la vie de tous les jours à travers cette entrée du blog The n-Category Café ou en lisant les contributions à cette problématique sur le site collaboratif mahtoverflow


lundi 20 mai 2013

Le Réel, le Possible et le Merveilleux


En écho à la fin du précédent billet, voici une évocation du platonisme moderne incarné par la pensée du même auteur que précédemment et qui s'inscrit parfaitement dans la problématique de notre blog :
... c'est une erreur de vouloir réduire les mathématiques à un langage, parce que justement, quand on fait des mathématiques, on s'aperçoit d'une chose qui est miraculeuse, c'est que c'est l'inverse de ce que l'on pense. C'est-à-dire que le pouvoir explicatif des mathématiques dans le réel, dans la réalité de la physique, est tel qu'au bout d'un moment, on a vraiment l'impression qu'au lieu que les mathématiques soient justement une création de l'esprit humain, autoréférentielle, c'est l'inverse qui se produit : c'est-à-dire qu'on peut arriver à situer la physique à l'intérieur des mathématiques… et le monde réel, presqu'à l'intérieur des mathématiques. On parlait tout à l'heure de nombres ; mais les mathématiques c'est quelque chose d'infiniment plus 
complexe, d'infiniment plus riche, c'est un peu comme Alice au pays des merveilles ! Il y a une partie des mathématiques qui a effectivement émergé du monde réel, de la physique. Mais lorsqu'on se pose les bonnes questions, et lorsqu'on suit une trajectoire qui est assez naturelle, on est un peu comme Alice au pays des merveilles : on ouvre des portes sur des mondes qui ne sont pas des mondes connectés au monde physique, qui sont des mondes merveilleux. Et qui sont merveilleux non pas seulement par leur propre cohérence interne, mais par les surprises qu'ils nous réservent, et par la résistance qu'ils ont. Exactement comme la réalité extérieure qui résiste (et qui donc nous répond quand on lui pose des questions), le monde mathématique a cette qualité extraordinaire, qu'on n'a pas, justement, contrairement à ce qui a été dit avant, on n'a pas cette liberté. On a une liberté pour créer des instruments de pensée qui nous permettent de voir le monde mathématique, mais le monde mathématique, lui, il est parfaitement résistant. Les mathématiciens explorent un territoire, ils ne le créent pas. Ils créent des instruments, pour y voir dans ce monde-là : c'est un monde qu'ils découvrent. Il est présent et on ne peut pas le modifier : il est tel qu'il est.
Alain Connes, Entretien avec Anne Segal & Gérard Cartier, Revue Secousse, mars 2012 

Le Nombre, le Poids et la Mesure (ou l'algèbre, la géométrie et l'analyse)

Ange de la géométrie ...
Les mathématiques fonctionnent sur deux registres complémentaires, le « visuel », qui perçoit instantanément le sens d’un théorème sur une figure géométrique, et l’ « écrit », qui s’appuie sur le langage, sur l’algèbre, et s’inscrit dans le temps. Selon Hermann Weyl, « l’ange de la géométrie et le diable de l’algèbre » se partagent la scène, ce qui illustre bien les difficultés respectives des deux domaines.
Communiqué à l'occasion de la médaille d'Or 2004 du CNRS attribué à Alain Connes

... ou ange de la topologie?
En cherchant la source de cette citation de Hermann Weyl, le blogueur tombe sur une autre mieux documentée :
In these days the angel of topology and the devil of abstract algebra fight for the soul of every individual discipline of mathematics
Hermann Weyl, Topology and Abstract Algebra as two Roads of Mathematical Comprehension, 1935

Le diable est dans les détails ... de la géométrie algébrique?
Approfondissons donc cette question du rapport précisément entre diable de l'algèbre abstraite et ange de la topologie, à travers la tentative de réponse suivante (à une question posée sur le site physicsforum.com) :
If you are a geometer, and have much experience with learning sheaf theory, and cohomology, you will understand what he is saying. Tthere are even geometric topoologists who dislike algebraic topology. I have tried to teach toric varieties to geometers and topologists who after seeing the definitions via spectra of various rings, asked, "OK, but where is the geometry? how do you get your HANDS on them?"
  • There is a feeling that algebraic methods take away intuition and render simple arguments too abstract. e.g. do you believe an irreducible non singular affine algebraic curve is really an integrally closed integral domain of krull dimension one?
  • or that the tangent bundle to a variety is really the set of k[e] valued points where k[e] = k[t](t^2) is the dual numbers? (actually this is fermat's original definition, almost.)
  • or that a universal family of geometric objects should be regarded as a representable functor?
  • or that the right way to view a sheaf on a topological space is as a contravariant functor on category defined by the toopology where inclusions are the only morphisms?

You should, as this gives rise to the observation that one can generalize them to categories with more than one map between two objects, leading to the etale topology, and "stacks" where even single points have automorphisms.
These are needed to deal appropriately with local quotient spaces by groups acting with fixed points.
Topologists tend to prefer homotopy to homology for this reaon, it is more geometric. Ed Brown Jr. considered his representation thoerem for cohomology as showing that cohomology was better than homology because being representable via homotopy showed that "it occurs in nature".
Mathwonk (alias d'un professeur émérite d'une université américaine), What is Hermann Weyl point? 03/05/07

Mais diable et ange existent-ils vraiment pour le mathématicien?
Le français André Weil, non moins célèbre et géomètre algébriste que le précédent mathématicien allemand dont il est le quasi-homonyme, a cette réponse :
Dieu existe comme les mathématiques sont conséquentes et le Démon existe comme nous ne pouvons pas le prouver.
André Weil
Si oui, est-ce Dieu le géomètre?
Ce point de vue a une longue tradition :
Dans le Timée, Platon décrit la création du cosmos sous forme d'une mise en ordre harmonieuse d'un état initialement indifférencié avec l'idée que le processus de création doit être guidé par les principes supérieurs de la géométrie. Cette thèse s'illustre au Moyen Âge par un Dieu géomètre, muni d'un compas, qui ordonne la création : "Dieu a créé toutes choses selon le Nombre, le Poids, la Mesure" dit le Livre de la sagesse de Salomon (XI, 21).
Au XVIIIe siècle, à mesure que la science se construit, la notion de création sur le mode mathématique se précise : les modèles cosmogoniques, tel celui développé par Laplace dans son traité sur la Mécanique céleste (1798-1825), font l'économie d'un créateur.
Didier Müller, Dieu le géomètre, 04/06/07

Quid de l'Analyse ?
Si Dieu est géomètre et le Diable est un algébriste, l'Homme est peut-être un analyste qui ne peut que comparer les infinis à défaut de pouvoir les mesurer à cause du temps qui lui est compté ...
Voici justement pour finir les propos d'un célèbre analyste et géomètre, platonicien convaincu, digne successeur de Poincaré. Il parle de ce qui est, je pense, sa langue de prédilection : l'algèbre.
L'algèbre cela n'a rien de visuel, en revanche cela a une temporalité, ça s'inscrit dans le temps! C'est le calcul, etc. C'est quelque chose qui évolue, et c'est quelque chose qui est très proche du langage et qui donc a la précision diabolique du langage.
 Alain Connes, L'impitoyable réalité, dans Les Déchiffreurs, 2008.