Comments on Faut-il communiquer sur l'intuition en mathématiques ? — ici : le corps de classes

Deux passages de Grothendieck : un abscons pour qui n'est pas mathématicien (comme moi !) : "Ce "lit à deux places" est apparu (comme par un coup de baguette magique. . . ) avec l’idée du topos. Cette
idée englobe, dans une intuition topologique commune, aussi bien les traditionnels espaces (topologiques),
incarnant le monde de la grandeur continue, que les (soi-disant) "espaces" (ou "variétés") des géomètres
algébristes abstraits impénitents, ainsi que d’innombrables autres types de structures, qui jusque là avaient
semblé rivées irrémédiablement au "monde arithmétique" des agrégats "discontinus" ou "discrets" ";
Or, ce que je trouve assez fascinant, c'est que dans l'esprit de Grothendieck, cette intuition paraît être dans le droit fil d'une très simple sur le volume dont il dit, toujours dans le même livre un peu frappadingue par endroits: "Il n’y avait aucun doute en moi que je ne pourrai manquer d’y arriver, de trouver le fin mot des choses, pour
peu seulement que je me donne la peine de les scruter, en mettant noir sur blanc ce qu’elles me disaient, au
fur et à mesure. L’intuition du volume, disons, était irrécusable. Elle ne pouvait qu’être le reflet d’une réalité,
élusive pour le moment, mais parfaitement fiable. C’est cette réalité qu’il s’agissait de saisir, tout simplement
- un peu, peut-être, comme cette réalité magique de "la rime" avait été saisie, "comprise" un jour."

Il y a la question de savoir dans quelle mesure il faut s'efforcer de communiquer son intuition mathématique et, ce qui est très différent, il y a des situations où cette intuition se donne à voir dans ses effets assez sidérants pour le commun des mortels (je pense par exemple à des cas de figure comme le rapport particulier de Ramanujan aux nombres). Je me demande vraiment si on peut appréhender ces intuitions simplement comme le produit d'une extrême familiarité, un peu comme avec les joueurs d'échecs façonnant leur jeune cerveau sur des combinaisons au point qu'ils développent un jeu très "naturel" à la capablanca ou fischer (naturel, ce serait l'équivalent du paradigme réaliste en mathématique) ou bien plus radicalement comme une vraie intuition au sens radical du mot qui les met en contact, moyennant bien sûr la maîtrise du langage approprié (Ramanujan avait lu des livres de maths !), plus ou moins directement avec des vérités mathématiques et donc un domaine mathématique objectif. J 'ai l'impression que c'est en grande partie l'incommunicabilité de l'intuition qui laisse à penser qu'il des mathématiques réelles que certains sont aptes à saisir. Dans le livre vraiment allumé Récoltes et semailles, Grothendieck a des passages comme ça très beaux où tout se passerait comme s'il s'agissait de "voir" des vérités mathématiques et le fait qu'ils émanent d'un mathématicien aussi génialement intuitif, ben, c'est difficile à prendre en compte et à se dire qu'il a raison … puisqu'apparemment c'est comme ça qu'il vit son rapport aux mathématiques. En gros, on aboutit un peu paradoxalement à une justification par l'ineffable communicatif autre que de l'évocation à parfum poétique articulé à la fertilité effective des résultats de certains qui parlent ainsi.

Ruxor: Je ne sais pas si je comprends beaucoup mieux avec ces explications (mes cours d'algebre sont loin), mais merci neanmoins neanmoins d'avoir pris le temps de repondre!

Bonjour David

Merci pour ces explications sur les idèles, je n'avais encore jamais rencontré ces bêtes-là. Je trouve que ton texte est plutôt bien écrit, au regard de ton introduction. Cependant, j'aurais aimé connaître les raisons de l'introduction de ce concept, je suppose qu'il a une raison d'être autre que le calcul du groupe de Galois d'une extension, qu'on peut faire sans lui. Une généralisation, peut-être ?

J'aurais envie de te reprocher exactement ce dont tu te plains: apres avoir vu definis une famille de corps Q_p ainsi qu'un corps Q_\\infty = R, la question qu'une partie de ton lectorat (en tout cas, moi) doit se poser, c'est de savoir s'il existe un concept naturel de limite expliquant la notation ci-dessus. Mais, a mon niveau de maths, je n'ai vu nulle part dans ton texte un indice qui me permette d'y repondre. Si toi ou un de tes lecteurs a plus de details, ca m'interesse!

Merci pour cette entrée qui vient compléter un manque du Coursera "Intro to Galois.." de l'ENS qui finalement n'a pas présenté ce corps de classe initialement annoncé!

J'approuve ton lapsus "qui est beaucoup plus intéressante et profonde que la théorie globale"!