As if to celebrate in an original way the fifty year anniversary of Bernstein and Robinson’s solution to (a generalization of) the Smith-Halmos conjecture (briefly, that if is an operator such that is compact for some polynomial , then has an invariant subspace), several notable mathematicians posted a interesting and very nonstandard (as they say) paper on the arxiv.
This paper briefly tells the story regarding the publication of this paper, in which Bernstein and Robinson use Robinson’s new theory of non-standard analysis (NSA) to prove the above mentioned conjecture in operator theory. This was one of the first major successes of NSA, and perhaps one would think that all of the operator theory community should have accepted the achievement with nothing but high praise. Instead, it was received somewhat coldly: Halmos went to work immediately to translate the NSA proof and published a paper proving the same result, with a proof in “standard” operator theoretic terms. (See the paper, I am leaving out the juicy parts). And then, since 1966 until 2000 (more or less), Halmos has been apparently at “war” with NSA (in the paper the word “battle” is used), and has also had criticism of logic; for example, it is implied in his book that he did not always consider logic to be a part of mathematics, worse, it seems that he has not always considered logicians to be mathematicians. (When I wrote about Halmos’s book a few months ago, I wrote that I do not agree with all the opinions expressed in the book, and I remember having the issue with logic and logicians in my mind when writing that).
In the paper that appeared on the arxiv today, the authors take revenge on Halmos. Besides a (convincing) rebuttal of Halmos’s criticisms, the seven authors hand Halmos at least seven blows, not all of them below the belt. The excellent and somewhat cruel title says it all: A non-standard analysis of a cultural icon: the case of Paul Halmos.
Besides some feeling of uneasiness in seeing a corpse being metaphorically stabbed (where have you been in the last thirty years?), the paper raises interesting issues (without wallowing too much on either one), and may serve as a lesson to all of us. There is nothing in this story special to operator theory versus model theory, or NSA, or logic. The real story here is the suspicion and snubbish-ness of mathematicians towards fields in which they do not work, and towards people working in these fields.
I see it all the time. Don’t kid me: you have also seen quite a lot of it. It is possible, I confess, that I have exercised myself a small measure of suspicion and contempt to things that I don’t understand. As the authors of the paper hint, these things are worse than wrong – they might actually hurt people.
Anyway, many times people who are ignorantly snobbish to other fields end up looking like idiots. Stop doing that, or thirty years from now a mob of experts will come and tear you to shreds.
P.S. – It seems that the question of who was the referee of the Bernstein-Robinson paper is not settled, though some suspect it was Halmos. Well, if someone could get their hands on the (anonymous!) referee report (maybe Bernstein or Robinson kept the letter?), I am quite sure that if it was Halmos, it would be clear. In other words, if Bernstein or Robinson suspected that it was him on account of the style, then I bet it was.
P.P.S. – regarding the theorem starting this discussion the quickest way to understand it is via Lomonosov’s theorem. The invariant subspace theorem proved by Bernstein and Robinson (polynomially compact operator has an invariant subspace) is now superseded by Lomonosov’s theorem (google it for a simple proof), which says that every bounded operator on a Banach space that commutes with a nonzero compact operator has a non-trivial invariant subspace.