Historical question about MacMahon theorem, Wronski relation etc

Question

Seemingly the same fact goes under several names: MacMahon master theorem, Wronski relation, unnamed fact about symmetric functions - I wonder what is history and what should be ``correct name'' ?

Let me remind the facts and formulate questions more precisely:

Denote by $e_k$ elementary and $S_k$ complete symmetric functions, then it is well-known that

Fact (with NO name (e.g. Wikipedia) ): $\sum_i (-1)^iS_{k-i} e_i = 0 $ or in terms of generating functions: $ (\sum_{i=0...\infty} (-t)^i S_i ) (\sum_{i=0...n} t^i e_i ) = 1 $.

Proof: $1/(\sum_{i=0...n} t^i e_i )= 1/\prod_i (1+t\lambda_i)$ and using expansion in the geometric progression we get $(\sum_{i=0...\infty} (-t)^i S_i ) $.

Question 1 It seems this relation is too simple to bear someone's name, correct ? Nevertheless is its history known? Who was (were) the first to mention?

Let $A$ be a matrix.

Fact (MacMahon Master theorem or Wronski relation). $det(1-tM)(\sum_i Tr t^i S^i(M)) =1 $, where $S^i$ are symmetric tensor power of $M$.

Proof. Assume $A$ is diagonalizible, then it is can be proved in the eigenbasis and is exactly the previous fact. Any complex matrix can be approximated by diagonalizble and since it is algebraic identity this is enough.

It is clear how MacMahon enters this story - he found combinatorial application and describes them in his book, see e.g. Wikipedia

The name of Wronski is used e.g. in papers:

Toru Umeda Application of Koszul complex to Wronski relations for U(gl)

or in many papers by Russian authors on quantum groups e.g. A. Isaev, O. Ogievetsky, P. Pyatov, On quantum matrix algebras satisfying the CayleyHamilton-Newton identities page 9.

Question 2: How Wronski enters the story ? Should the relation for complete and elementary symmetric functions be also called "MacMahon" or "Wronski" relation, since it is equivalent to their theorem ?

PS

The motivation for asking is writting some Wikipedia article (by the way comments are welcome) as well proper refering in my own articles.

Answer 1

I will answer only the second question. Full disclosure: I wrote much of the WP MacMahon Master Theorem article.

No, you should not call a trivial symmetric function identity after MacMahon (which was already used by Euler and Newton, see e.g. Newton's identities). His theorem is much deeper than you make it seem, due to its relations to combinatorics. This linear algebra proof which you view as trivial is in fact a relatively recent observation, which (to my knowledge) appeared in print only when the MMT was generalized to various non-commutative rings, etc.

To make a general point, the history of mathematics is complicated and should be treated in context rather than with the present day hindsight. My favorite example is Cayley's formula which was originally proved by Carl Borchardt (i.e. before Cayley) as an elementary consequence of Kirchhoff's determinant formula. This is also how we teach it these days. So, should we rename Cayley's formula after Kirchhoff or Borchardt? The best way is to leave things as is - it was Cayley's paper (which references Borchardt's), which, after all, made a major impact on the developments of combinatorics.

More egregiously so, Cauchy's identities for symmetric functions appear in the same setting as the product formulas you mention. Richard Stanley told me that he checked every page of Cauchy's collected papers and is now convinced that Cauchy never proved these. So, should we rename them? No, I say keep the name. We are used to it by now. Same with "MacMahon" and "Wronski". There is really no need to name and re-name things unless the current terminology leads to some kind of confusion... (see here for a story of one such renaming which possibly saved lives).