Duality for matrix space questions
In the authors' words
We present a new proof of a classical theorem of Dieudonn\'e: if a linear space of matrices consists entirely of singular matrices, then its dimension is at most . Our proof is based on a surprising "duality" argument: we prove this universal upper bound by exhibiting a single matrix space that serves as a lower bound for a related problem. Interestingly, this approach only works for certain fields, but we use model-theoretic arguments to obtain the same result for all fields. We hope that this approach can be generalized to provide new duality-based proofs of other classical theorems on matrix spaces, and give some preliminary results in this direction.
Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 15 pages. To appear in Amer. Math. Monthly