Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(This question was posted on math.stackexchange a week ago at http://math.stackexchange.com/questions/187315/definitive-source-about-dirichlet-finally-proving-the-unit-theorem-in-the-sistinbut and still has received no answers there, so I hope it's okay to post it here too.)

In a few books or survey articles (e.g., page 49 of Helmut Koch's "Number Theory: Algebraic Numbers and Algebraic Functions") it is said that Dirichlet figured out a proof of the unit theorem while listening to an Easter concert in the Sistine Chapel. My question is: what is the evidence for this story?

From an internet search I found that Kummer wrote on p. 343 of volume 2 of Dirichlet's collected works that Dirichlet could work on math in all kinds of situations, and then Kummer says "Als Beispiel hierfür kann ich anführen, dass er die Lösung eines schwierigen Problems der Zahlentheorie, womit er sich längere Zeit vergeblich bemüht hatte, in der Sixtinischen Kapelle in Rom ergründet hat, während des Anhörens der Ostermusik, die in derselben aufgeführt zu werden pflegt" (translation: "As an example I can say that he found the solution to a difficult problem in number theory, which he had worked on for a considerable amount of time without success, in the Sistine Chapel in Rome while he was listening to the Easter music that tends to be played there.")

Notice Kummer does not say precisely what the "difficult problem" was. Maybe it is just an oral tradition that the problem is the unit theorem, but I would like a more definitive source.

I don't read German well, but if you do then Kummer's essay on Dirichlet can be read online. It starts on http://archive.org/stream/glejeunedirichl00dirigoog#page/n323/mode/1up and page 343 is http://archive.org/stream/glejeunedirichl00dirigoog#page/n355/mode/1up.

share|improve this question
4  
I just up-voted this question, but I want to say that I don't understand why it's appropriate on MO when this what-is-the-evidence-for-what-the-historians-say-about-the-life-of-a-great-mathe‌​matician question got closed in a hot second: mathoverflow.net/questions/66526/… –  David Feldman Sep 3 '12 at 2:39
4  
The referred-to question refers to a mathematician's non-mathematical life, this question asks about the circumstances surrounding the proof of a significant theorem, so this question is certainly MORE appropriate. –  Igor Rivin Sep 3 '12 at 2:42
2  
@David: I first posted the question on math.stackexchange since I thought that was a more appropriate first place. Nothing definitive came of that, so after a week I thought it would be okay to try it out here. –  KConrad Sep 3 '12 at 3:15
2  
Igor, my question was relevant to the intellectual life of a mathematician; in fact what I really wanted to know is whether Eisenstein's musical creations seem informed in any way by his mathematical mind. I could have asked that, but knowing whether a single example survives seemed more basic. –  David Feldman Sep 3 '12 at 3:56
4  
Just a gentle reminder: meta discussions go to meta and not the comments, in particular if the discussion is about a question other then the one at hand. –  quid Sep 3 '12 at 4:01
add comment

2 Answers 2

Kummer's remark is from his 1860 obituary of Dirichlet, so it is an early source; a recent reference that identifies the unit theorem is page 472 of "Geschichte der Universität Unter den Linden, 1810-2010: Genese der Disziplinin : die Konstitution der Universität". I made a screen shot of the text. A reference is given to Dedekind 1871. This text is online and searchable; I did not find any mention of the story there.

Franz von Krbek describes what seems to be a different story on page 11 of his 1964 book "Über Zahlen und Überzahlen", which he attributes to Frigyes [Friedrich] Riesz, stating that Dirichlet discovered his pigeonhole principle during the Easter mass in the Sixtine Chapel: Professor Dirichlet aus Berlin 1843 gerade während der Ostermesse in der sixtinischen Kapelle in Rom die Tragweite des Schufächerprinzips in der Zahlentheorie erkannte. He also writes that he attempted to find evidence for this story in Mrs. Dirichlet's correspondence to her sister, without success.

Krbek expresses doubt about the reliability of Riesz's statement, which might just be another interpretation of Kummer's 1860 remark. That seems to be the earliest source, subject to various interpretations on what the problem might have been.


For the record, here is the full quote from Krbek, with translation:

In der Antrittsrede des ungarischen Mathematikers Friedrich Riesz in Szeged aus dem Jahr 1925 heisst es, dass der Professor Dirichlet aus Berlin 1843 während der Ostermesse in der sixtinischen Kapelle in Rom die Tragweite des Schubfächerprinzips in der Zahlentheorie erkannte. Woher Riesz das hat, weiss ich nicht. In den ausführlichen Briefen der Frau Dirichlet an die Schwester steht lediglich, dass, sobald die Kirchenmusik aussetzte, ein störendes Hustenkonzert einsetzte.

In the inaugural lecture of the Hungarian mathematician Friedrich Riesz in Szeged from the year 1925 it is written, that Professor Dirichlet from Berlin realized, during the 1843 Easter mass in the Sistine chapel in Rom, the range [of applicability] of the pigeonhole principle in number theory. I do not know from where Riesz got this. In the extensive correspondence of Mrs. Dirichlet to her sister it only says that, after the church music stopped, an annoying coughing concert started.

share|improve this answer
2  
The line quoted from Krbek doesn't say that Dedekind discovered the pigeonhole principle in the Sistine chapel but that he recognized its range of applicability (Tragweite). Might that range include the unit theorem? –  Andreas Blass Sep 3 '12 at 1:09
    
@Andreas: That's Dirichlet, not Dedekind. :) –  KConrad Sep 3 '12 at 1:19
    
But it would be quite confusing if it where to refer to the unit theorem, since I assume most people will think of Dirichlet approximation theorem when hearing Dirichlet and pigeonhole. –  quid Sep 3 '12 at 4:13
    
Dirichlet proved his unit theorem using the pigeonhole principle. Minkowski came later. –  Franz Lemmermeyer Sep 3 '12 at 5:03
    
@KConrad: Thanks for the correction; too bad comments can't be edited. –  Andreas Blass Sep 3 '12 at 14:09
add comment

Just a quick remark: a couple of sources cite Minkowski's 1905 Jahrsberichte essay on Dirichlet. I don't have access to the text, so don't know if he just copies the claim from Kummer.

share|improve this answer
    
OK, I looked there. It is "Peter Gustav Lejeune Dirichlet und seine Bedeutung für die heutige Mathematik.", pp. 149--163 of vol. 14 of Jahresbericht der Deutschen Mathematiker-Vereinigung. On the bottom of p. 165 Minkowski writes "Es wird erzählt, daß nach langjährigen vergeblichen Bemühungen um das schwierige Problem Dirichlet die Lösung in Rom in der Sixtinischen Kapelle während des Anhörens der Ostermusik ergründet hat. Inwieweit dieses Faktum für die von manchen behauptete Wahlverwandtschaft zwischen Mathematik und Musik spricht, wage ich nicht zu erörtern." It seems like another [contd.] –  KConrad Sep 3 '12 at 3:32
    
second hand comment, although it does link the unit theorem with the Sistine Chapel. A direct link to the text is gdz.sub.uni-goettingen.de/dms/load/img/…. I got a translation by putting it into Google translate. Anyone who knows German want to comment? (Edit: I meant p. 156 in my previous comment, not p.165.) –  KConrad Sep 3 '12 at 3:38
4  
My translation of the German: "The story is told that after many years of attempts in vain to solve the difficult problem, Dirichlet explored/found the solution in Rome in the Sistine Chapel while listening to the Easter-music. To what extent this fact supports the affinity between mathematics and music proclaimed by some, I do not dare to discuss." Some direct commentary: this is interesting in that it is in fact rather weak "es wird erzählt" is not a strong assertion, leaving open the option is is just some sort of legend. –  quid Sep 3 '12 at 3:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.