A Proof of the Box Conjecture for Commuting Pairs of Matrices
Abstract
We prove the Box Conjecture for pairs of commuting nilpotent matrices, as formulated by Iarrobino et al [28]. This describes the Jordan type of the dense orbit in the nilpotent commutator of a given nilpotent matrix. Our main tool is the Burge correspondence between the set of all partitions and a set of binary words [15, 16]. For connection with the algebraic and geometric setup of matrices and orbits we employ some of Shayman's results on invariant subspaces of a nilpotent matrix [45, 46]. Our proof is valid over an arbitrary field.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2024
- DOI:
- 10.48550/arXiv.2403.18574
- arXiv:
- arXiv:2403.18574
- Bibcode:
- 2024arXiv240318574I
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- 15A27;
- 05A17;
- 15A21;
- 13E10;
- 14A25
- E-Print:
- minor changes from previous version