What are some famous rejections of correct mathematics?

Question

Dick Lipton has a blog post that motivated this question. He recalled the Stark-Heegner

Theorem: There are only a finite number of imaginary quadratic fields that have unique factorization. They are $\sqrt{d}$ for $d \in \{-1,-2,-3,-7,-11,-19,-43,-67,-163 \}$.

From Wikipedia (link in the theorem statement above):

It was essentially proven by Kurt Heegner in 1952, but Heegner's proof had some minor gaps and the theorem was not accepted until Harold Stark gave a complete proof in 1967, which Stark showed was actually equivalent to Heegner's. Heegner "died before anyone really understood what he had done".

I am also reminded of Grassmann's inability to get his work recognized.

What are some other examples of important correct work being rejected by the community?

NB. There was a complementary question here before.

Answer 1

Tarski ran into some trouble when he tried to publish his result that the Axiom of Choice is equivalent to the statement that an infinite set $X$ has the same cardinality as $X \times X$.

From Mycielski:
"He tried to publish his theorem in the Comptes Rendus but Frechet and Lebesgue refused to present it. Frechet wrote that an implication between two well known propositions is not a new result. Lebesgue wrote that an implication between two false propositions is of no interest. And Tarski said that after this misadventure he never tried to publish in the Comptes Rendus."

Answer 2

From Wikipedia: Higher homotopy groups were first defined by Eduard Čech in 1932 (Čech 1932, p. 203). (His first paper was withdrawn on the advice of Pavel Sergeyevich Alexandrov and Heinz Hopf, on the grounds that the groups were commutative so could not be the right generalizations of the fundamental group.)

Answer 3

The Mordell-Weil theorem, when submitted by Mordell to the London mathematical society's journal, was rejected.

This theorem was the start of the whole set of investigations on elliptic curves, and indeed on arithmetic geometry. Andre Weil in his Ph. D. thesis created the subject of arithmetic of algebraic varieties and Galois cohomology, to prove his strengthened version of this theorem and to understand Mordell's calculations. I also believe that for him the motivation to re-write the foundations of algebraic geometry was also motivated by the desire to give the Mordell-Weil theorem a cleaner form, thoughs the officially stated motivation is for putting his proof of Riemann hypothesis for function fields over finite fields on a firm ground. And, the subject grew, flowered, through greats like Grothendieck, and one must remark the work of Faltings on Mordell conjecture on the same direction proposed in the same paper, which could be proved only so many years later, after Weil failed in his Ph. D. time. Indeed, Fermat's last theorem proof also belongs to the same subject. Looking back, rejection of Mordell's groundbreaking paper is so unbelievable.

Excerpt from source:

Mordell submitted his subsequent work on indeterminate equations of the third and fourth degree when he became a candidate for a Fellowship at St John's College, but he was not successful. His paper on this topic was rejected for publication by the London Mathematical Society but accepted by the Quarterly Journal. Mordell was bitterly disappointed at the way his paper had been received. He wrote at the time on an offprint of the paper:-

This paper was originally sent for publication to the L.M.S. in 1913. It was rejected ... Indeterminate equations have never been very popular in England (except perhaps in the 17th and 18th centuries); though they have been the subject of many papers by most of the greatest mathematicians in the world: and hosts of lesser ones ...

Such results as [those in the paper] ... marks the greatest advance in the theory of indeterminate equations of the 3rd and 4th degrees since the time of Fermat; and it is all the more remarkable that it can be proved by quite elementary methods. ... We trust that the author may be pardoned for speaking thus of his results. But the history of this paper has shown him that in his estimation, it has not been properly appreciated by English mathematicians.

The details of Weil's work can be found in his autobiography, "Apprenticeship of a mathematician"..

Answer 4

Galois theory, maybe?

Quoting Wikipedia:

Galois returned to mathematics after his expulsion from Normale, although he was constantly distracted in this by his political activities. After his expulsion from Normale was official in January 1831, he attempted to start a private class in advanced algebra which did manage to attract a fair bit of interest, but this waned as it seemed that his political activism had priority. Simeon Poisson asked him to submit his work on the theory of equations, which he submitted on January 17. Around July 4, Poisson declared Galois' work "incomprehensible", declaring that "[Galois'] argument is neither sufficiently clear nor sufficiently developed to allow us to judge its rigor"; however, the rejection report ends on an encouraging note: "We would then suggest that the author should publish the whole of his work in order to form a definitive opinion." While Poisson's rejection report was made before Galois' Bastille Day arrest, it took some time for it to reach Galois, which it finally did in October that year, while he was imprisoned. It is unsurprising, in the light of his character and situation at the time, that Galois reacted violently to the rejection letter, and he decided to forget about having the Academy publish his work, and instead publish his papers privately through his friend Auguste Chevalier. Apparently, however, Galois did not ignore Poisson's advice and began collecting all his mathematical manuscripts while he was still in prison, and continued polishing his ideas until he was finally released on April 29, 1832.

Answer 5

Wigner's (motivated by quantum mechanics) classification of the irreducible unitary representations of the Poincaré group (the group of automorphisms of R⁴ with the Lorentz metric) was not accepted by the "American Journal of mathematics" on the ground of not being mathematically interesting. Later it was published by "Annals of mathematics" on von Neumann's suggestion. In this work Wigner introduced the method of induced representations and “normal subgroup analysis”. Both became very important building blocks in the representation theory of Lie groups.

Answer 6

Smale's eversion of the 2-sphere was first thought to be an "obvious counterexample" to a result he proved in his 1958 thesis. See the Wikipedia article "Smale's paradox" for further information.

Answer 7

Ross Street's groundbreaking paper on higher categorical descent and higher nerves

R. Street, The algebra of oriented simplexes, J. Pure Appl. Algebra 49 (1987) 283-335

was first submitted to Topology but Greame Segal rejected it without review. Street had expected that Segal would appreciate a paper on higher categorical nerve, in view of the fundamental work of Segal on nerves and classifying spaces published in Topology and Publ. IHES. But curiously, Segal considered Street's work on higher nerves of little relevance to topology. The contemporary merger of homotopy theory and higher category theory in the works of Joyal, Simpson, Lurie, Rezk, Cisinski, Jardine and others has of course proven Segal to be wrong in that statement.

Answer 8

Ludwig Schläfli discovered the regular polytopes in $\mathbb{R}^4$, including the 24-cell, 120-cell, and 600-cell, among many results of n-dimensional geometry, between 1850 and 1852. He wrote up his results in a big manuscript, Theorie der vielfachen Kontinuität, which was rejected by the Vienna Akademie, and also in Berlin. It was finally published after his death, in 1901. In the meantime, the regular polytopes had been rediscovered by Stringham in 1880. See Coxeter's Regular Polytopes and the Wikipedia article on Schläfli.

Answer 9

Qiaochu Yuan already mentioned in a comment Kronecker's negative impact on Cantor's first paper on set theory which was ahead of its time about 20 years, when published in 1874, and which had been delayed several months, unusually long (for that time) such that Cantor considered to withdraw it. Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Crelles Journal f. Mathematik Bd. 77, S. 258 - 262 (1874).

But it is less well known that Cantor's paper PRINCIPIEN EINER THEORIE DER ORDNUNGSTYPEN, ERSTE MITTHEILUNG had to be withdrawn from Mittag-Leffler's Acta in 1884 and had to wait for publication until Ivor Grattan-Guinness published it in Acta Mathematica 124 (1970) 65 - 107. This paper contains a tremendous richness of proposed applications of set theory. Its enforced withdrawal seems to have given Cantor the first really hard stroke.

Answer 10

You all know about the journal of rejected math papers: http://www.rejecta.org

Answer 11

René Schoof once told me that when he submitted his PhD Thesis, the chapter containing his algorithm to compute the number of points of elliptic curves over finite fields did not appeal at all to the referee, who wondered whether such questions had some interest at all... History decided otherwise!

Answer 12

Ostrogradsky rejected Lobachevsky's paper "A concise outline of the foundations of geometry".

Answer 13

I just remembered Apery's theorem:

Due to the wholly unexpected nature of the result and Apéry's blasé and very sketchy approach to the subject many of the mathematicians in the audience dismissed the proof as flawed.

Answer 14

What about deBranges' proof of the Bieberbach conjecture:

https://en.wikipedia.org/wiki/Louis_de_Branges_de_Bourcia

Answer 15

According to the nLab category theory entry, Eilenberg and Mac Lane's paper introducing category theory, General theory of natural equivalences, was originally rejected before being published.

Answer 16

Abel's work on elliptic functions was unappreciated by the referee Fourier. I think this is the Abel part of the famous Abel-Jacobi theorem.

All in all, Abel could not find appreciation in his lifetime, and by the time he got a decent job, he was ill with tuberculosis and died in obscurity, without even money for a treatment, and without being able to marry his sweetheart Christina.

I remember all this from E. T. Bell. I am however unable to dig up an online reference.

Answer 17

Gelfand-Mazur — every real unital Banach algebra where every non-zero element is invertible is isomorphic to either $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$ — was first published without proof by Mazur. Mazur had a (rather short) proof, but the editor demanded he shortened it further. He refused to shorten it, and so it was published without proof.

Later Gelfand published a proof of a weaker version (only for complex commutative Banach algebras), probably without knowing about Mazur's result.

Answer 18

Gauss essentially invented the Fast Fourier Transform in 1805, but the importance of his work was not understood for a century.

"A 1965 paper by John Tukey and John Cooley [2] is generally credited as the starting point for modern usage of the FFT. However, a paper by Gauss published posthumously in 1866 [3] (and dated to 1805) contains indisputable use of the splitting technique that forms the basis of modern FFT algorithms.

"Gauss was interested in the problem of computing accurate asteroid orbits from observations of their positions. His paper contains 12 data points on the position of the asteroid Pallas, through which he wished to interpolate a trigonometric polynomial with 12 coefficients. Instead of solving the resulting 12-by-12 system of linear equations by hand, Gauss looked for a shortcut. He discovered how to separate the equations into three subproblems that were much easier to solve, and then how to recombine the solutions to obtain the desired result. The solution is equivalent to estimating the DFT of the data with an FFT algorithm."

http://www.mathworks.com/access/helpdesk/help/techdoc/math/brentm1-1.html

"Recent studies of the history of the fast Fourier transform (FFT) algorithm, going back to Gauss[1], provide an example of exactly the opposite situation. After having been published and used over a period of 150 years without being regarded as having any particular importance, the FFT was re-discovered, developed extensively, and applied on electronic computers in 1965, creating a revolutionary change in the scale and types of problems amenable to digital processes."

Link

Answer 19

The Monty hall problem, surely?

Answer 20

Riemann's work with curved spaces, particularly their applications to physics was at least 40 years ahead of it's time. He pushed forward ideas that space is perhaps curved and that forces such as gravity could be thought of as bending in space. He gave a few lectures on these ideas, but fellow mathematicians and physicists didn't really know what good could come of them and didn't pay much attention. Of course, Einstein finally solved the puzzle many years later.

Also, Joseph Fourier was laughed at when he proposed the notion of Fourier series for solving the heat equation, particularly at the lack of rigor and the overall scope of it's applications. Opinions on the matter changed a decade or two later when the theory began to root itself in rigor thanks to Dirichlet.

Answer 21

Supposedly Vizing had some difficulty publishing what is now known as Vizing's theorem (the result that every degree-d graph can be edge-colored with at most d+1 colors) leading to it eventually being published in a very obscure journal, Akademiya Nauk SSSR. Sibirskoe Otdelenie. Institut Matematiki. Diskretny˘ı Analiz. Sbornik Trudov. Soifer recounts the story in The Mathematical Coloring Book, pages 136–137.

Answer 22

This does not fit the original poster's question but is vaguely related:

I have heard it said that Carleson did not get the Fields Medal in '66 because his proof of Carleson's Theorem was too difficult to read and verify at the time. (Granted, the result was only published in '66.)

And alas, he was too old to get it in '70.

Answer 23

It is only a slight exaggeration to say that the collected works of Hannes Alfven would fit this description.

Answer 24

The idea of Van Kampen diagrams in group theory was developed by Van Kampen in the 1930s but no one really used them until the 1960s when they were rediscovered independently by Lyndon and Ol'shanskii. Today they are an important tool in geometric group theory.

Answer 25

This is somehow related to, yet it is not about a specific result, but it's about a life.

Namely, according to these sources: https://en.wikipedia.org/wiki/Nikolai_Luzin#The_Luzin_affair_of_1936, and https://mathshistory.st-andrews.ac.uk/Extras/Luzin/, it was claimed in "Pravda", in the summer of '36, that Nikolai Luzin published "would-be scientific papers", within foreign journals (!). Also, he was accused of "praising weak work" (!!). And this accusation was certified by some sort of court, AFAIK. Great shame on these former students of Luzin!

Answer 26

Regarding Carleson's theorem, one of the Fields committee member is supposed to have said that "it would be an insult for Carleson, to give him the Fields medal for that". (I remember the anecdote from Paul Koosis's class, but I might have distorted it in details). To this day, I'm puzzled by what the committee member really meant.