Reference request: Examples of research on a set with interesting properties which turned out to be the empty set I've seen internet jokes (at least more than 1) between mathematicians like this one here about someone studying a set with interesting properties. And then, after a lot of research (presumably after some years of work), find out such set couldn't be other than the empty set, making the work of years useless (or at least disappointing), I guess.
Is this something that happens commonly? Do you know any real examples of this?
EDIT: I like how someone interpreted this question in the comments as "are there verifiably true examples of this well-known 'urban legend template'?"
 A: The odd-order theorem states that every finite group of odd order is solvable, and the proof involves developing a very large theory explaining what the smallest counterexample looks like, and to ultimately deduce that it cannot exist.
The odd-order theorem has been formalised (pdf) in Coq, a computer theorem prover, and the formalisation is to date one of the largest bodies of formalised mathematics. This makes it appealing to AI researchers, who go and train their deep learning networks using the collection of theorems proved in the formalisation, hoping that one day computers will start to be able to compete with humans in the realm of theorem-proving.
I find it amusing that, as a consequence, these networks are being trained to recognise a whole bunch of facts about an object which doesn't exist.
A: I do not know whether this applies to the spirit of the question. However for me one of the high points of an undergraduate algebra class was seeing Witt's elegant proof of Wedderburn's theorem: There are no finite non-commutative division rings.
I recall discussing this with a professor in graduate school who expressed slight regret about this theorem. He felt that algebra would be richer if there were finite non-commutative division rings.
A: Jonathan Borwein, page 10 of Generalisations, Examples and Counter-examples in Analysis and Optimisation, wrote,

Thirty years ago I was the external examiner for a PhD thesis on Pareto optimization by a student in a well-known Business school. It studied infinite dimensional Banach space partial orders with five properties that allowed most finite-dimensional results to be extended. This surprised me and two days later I had proven that those five properties forced the space to have a norm compact unit ball – and so to be finite-dimensional. This discovery gave me an even bigger headache as one chapter was devoted to an infinite dimensional model in portfolio management.
The seeming impass took me longer to disentangle. The error was in the first sentence which started “Clearly the infimum is ...”. So many errors are buried in “clearly, obviously” or “it is easy to see”. Many years ago my then colleague Juan Schäffer told me “if it really is easy to see, it is easy to give the reason.” If a routine but not immediate calculation is needed then provide an outline. Authors tend to labour the points they personally had difficulty with; these are often neither the same nor the only places where the reader needs detail!
My written report started “There are no objects such as are studied in this thesis.” Failure to find a second, even contrived example, might have avoided what was a truly embarrassing thesis defence.

A: While Siegel zeros are not currently an example, they will hopefully become one in the future.
A: At the beginning of XX century, Hilbert and his students were actively investigating the properties that a consistent, complete and effective axiomatization of arithmetic should have.
As we all know, this line of research was unexpectedly wiped out (at least, in his initial formulation) by Gödel's First Incompleteness Theorem (1931), saying that no such axiomatization can exist.
A: What about:
There are no infinite order polynomially complete lattices, after all by Goldstern and Shelah.
A: So, I remember my teacher telling the following story:
Erik Zeeman was trying, for 7 years, to prove that it was impossible to untie a knot in a 4-sphere. He kept trying and, one day he decided to prove the opposite: That was indeed possible to untie the knot - It took him only a few hours to do so
A: Not exactly the empty set, and not years of work, but Milne told the following story about some research he and a colleague were doing in ring theory. They proved a few theorems; then, they made some assumptions on the ring, and proved some stronger theorems; then, they made some more assumptions on the ring, and proved some even stronger theorems; then, they made a few more assumptions, and were amazed at the strength of the results they were getting – until they realized that any ring satisfying all those assumptions had to be a field.
A: "The next two chapters [Chapters 9 and 10] show more recent technology which was developed to replace the unproven Riemann hypothesis in applications to the distribution of prime numbers. We are talking about [zero density] estimates for the number of zeros of $L$-functions in vertical strips which are positively distanced from the critical line. Hopefully in a future one will say we were wasting time on studying the empty set."
Henryk Iwaniec and Emmanuel Kowalski, Analytic Number Theory, page 2
A: The following two paragraphs are the last footnote on p. 69 of [1]. I found this such good advice that I began the first chapter of my 1993 Ph.D. dissertation, on p. 6, with this quote.
[1] William Henry Young, On the distinction of right and left at points of discontinuity, Quarterly Journal of Pure and Applied Mathematics 39 (1908), pp. 67−83. (Also here.)

Mark the importance of testing not only the accuracy but also the scope of one's results by constructing examples. To quote an instance which has come under my notice in the course of my present work, Dini (p. 307) states that if a left-hand derivate and a right-hand derivate both exist and are finite and different at every point of an interval $\ldots$ $\ldots$ certain results follow.


The reader might well imagine not only that such a case could occur, but that Dini knew of a case where it did occur. As a matter of fact, however, the hypthesis [sic] is an impossible one. In default of an example it could, in such a case, only stimulate research to state that an example had not been found.

Incidentally, I don’t know whether “p. 307” is for the 1878 Italian original of his real functions book or for the 1892 German translation of his real functions book. Young’s previous footnote appears to cite the 1878 Italian original, but p. 307 of the German translation seems more likely (based on math symbols appearing; I can’t read German or Italian).
For some more context about the fact that no such function exists, see B. S. Thomson’s answer to If $f$ is bounded and left-continuous, can $f$ be nowhere continuous? and my answers to A search for theorems which appear to have very few, if any hypotheses and Real-valued function of one variable which is continuous on $[a,b]$ and semi-differentiable on $[a,b)$?
A: Arrow's impossibility theorem comes to mind. To quote Wikipedia:

In short, the theorem states that no rank-order electoral system can be designed that always satisfies these three "fairness" criteria:

*

*If  every voter prefers alternative X over alternative Y, then the group prefers X over Y.

*If every voter's preference between X and Y remains unchanged, then the group's preference between X and Y will also remain unchanged (even if voters' preferences between other pairs like X and Z, Y and Z, or Z and W change).

*There is no "dictator": no single voter possesses the power to always determine the group's preference.


More in the spirit of the question: The set of fair rank-ordered electoral systems is empty.
