Pith. sign in

REVIEW 56 references

Jordan types for pairs of commuting nilpotent matrices: A survey

T0 review · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper surveys results on Jordan types for pairs of commuting nilpotent matrices and reviews the proof of the Box Conjecture.

desk verdict This is a survey that organizes existing results on Jordan types for commuting nilpotents and reviews the Box Conjecture proof, with no new mathematics added. read the letter →

arxiv 2606.02026 v1 pith:OENWHYHL submitted 2026-06-01 math.AC math.AGmath.CO

Tomaž Košir This is my paper · ORCID
classification math.ACmath.AGmath.CO
keywords JordantypescommutingnilpotentmatricesBoxConjecturecommutatordenseorbitsvarietyalgebraicgeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey gathers known results on the possible Jordan canonical forms that arise for two nilpotent matrices which commute. It organizes theorems about the structure and classification of such pairs in the setting of linear algebra and algebraic geometry. The paper also reviews the recent proof of the Box Conjecture, which identifies the Jordan types that possess an equal dense orbit inside the variety of nilpotent commutators. The collected material clarifies the combinatorial conditions that govern these forms and their orbits.

What carries the argument

The Box Conjecture, the statement that identifies Jordan types of commuting nilpotent pairs having equal dense orbit in the nilpotent commutator.

What would settle it

A concrete counterexample consisting of a Jordan type that has an equal dense orbit in the nilpotent commutator but fails the combinatorial conditions stated in the Box Conjecture.

Watch

Extended reading notes

Core claim

The survey centers on the recent proof of the Box Conjecture, which characterizes the Jordan types of pairs of commuting nilpotent matrices that have equal dense orbit in the nilpotent commutator; the conjecture is resolved by showing these types satisfy a specific set of combinatorial conditions derived from the geometry of the commutator variety.

Load-bearing premise

The survey accurately presents the cited results and the recent proof of the Box Conjecture without material errors or omissions.

Editorial extensions

If this is right

  • The possible Jordan forms for commuting nilpotent pairs are now classified in a manner consistent with the geometry of their orbits.
  • The structure of the nilpotent commutator variety is determined for the cases covered by the resolved conjecture.
  • Further invariants of pairs of commuting matrices can be computed using the combinatorial conditions from the proof.
  • The survey supplies a reference point for extending classifications to related varieties of matrices.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The resolved conjecture may allow explicit algorithms to decide membership in the set of admissible Jordan types for given matrix sizes.
  • Similar orbit-density questions could be posed for triples or larger tuples of commuting nilpotents.
  • The combinatorial conditions may translate into statements about module decompositions over polynomial rings in two variables.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 0 minor

Summary. The paper is a survey on Jordan types for pairs of commuting nilpotent matrices. It reviews existing results in the field and also reviews the recent proof of the Box Conjecture on Jordan types that have equal dense orbit in the nilpotent commutator.

Significance. If the survey accurately and comprehensively represents the cited literature without material omissions or errors, it would provide a useful consolidated reference for the area of commutative algebra concerning Jordan forms of commuting nilpotents and the resolution of the Box Conjecture. The paper's explicit attribution of results to external sources, including the recent proof, is a strength in a survey context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of our survey manuscript and for recommending acceptance. The referee's summary correctly identifies the paper's focus on Jordan types for pairs of commuting nilpotent matrices and its review of the Box Conjecture proof.

Circularity Check

0 steps flagged · score 0.0 of 10

Survey paper attributes all results externally; no internal derivations or self-referential steps

full rationale

The manuscript is explicitly a survey whose aim is to review existing results on Jordan types for commuting nilpotent matrices and the recent proof of the Box Conjecture. No original theorems, equations, fittings, or predictions are advanced within the paper; every technical claim is attributed to cited external literature. Consequently, none of the enumerated circularity patterns (self-definitional, fitted-input prediction, self-citation load-bearing, etc.) can apply, as there are no derivation chains internal to the text that could reduce to their own inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The survey rests entirely on prior literature in linear algebra, commutative algebra, and algebraic geometry concerning Jordan canonical forms and nilpotent commutators. No free parameters, ad-hoc axioms, or invented entities are introduced by the survey itself.

assumptions (1)
  • standard math Classical theory of Jordan canonical forms for single nilpotent matrices
    Invoked as background for extending to pairs of commuting matrices.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Jordan types for pairs of commuting nilpotent matrices: A survey." pith.science (2026). https://pith.science/paper/OENWHYHL

@misc{pith2026260602026,
  author       = {Pith},
  title        = {Pith review of: Jordan types for pairs of commuting nilpotent matrices: A survey},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OENWHYHL}},
  note         = {Machine review of arXiv:2606.02026}
}
read the original abstract

The aim of the paper is to survey results on Jordan types for pairs of nilpotent commuting matrices. We also review recent proof of the Box Conjecture on Jordan types that have equal dense orbit in the nilpotent commutator.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 3 canonical work pages

  1. [1]

    Altafi, A

    N. Altafi, A. Iarrobino, P. Macias Marques.Jordan Type of an Artinian algebra, a survey. Springer INdAM Ser. Vol.59, Springer, Singapore, 2024, pp. 1-27

    2024

  2. [2]

    G. E. Andrews. The Theory of Partitions. Cambridge University Press, 1976

    1976

  3. [3]

    G. E. Andrews, S. Bhattacharjee, M. Dastidar.Sequences in partitions.Integers.22(2022), A#32

    2022

  4. [4]

    G. E. Andrews, D. M. Bressoud.On the Burge correspondence between partitions and binary words.Rocky Mount. J. Math.15(1985), no. 2, 225-233

    1985

  5. [5]

    G. E. Andrews, S. Chern, Z. Li.On thek-measure of partitions and distinct partitions. Algebr. Combin.5(2022), no. 6, 1353-1361

    2022

  6. [6]

    Baranovsky,The variety of pairs of commuting nilpotent matrices is irreducible,Trans- form

    V. Baranovsky,The variety of pairs of commuting nilpotent matrices is irreducible,Trans- form. Groups6(2001), no. 1, 3-8

    2001

  7. [7]

    Basili.On the irreducibility of varieties of commuting matrices.J

    R. Basili.On the irreducibility of varieties of commuting matrices.J. Pure Appl. Algebra 149(2000), 107-120

    2000

  8. [8]

    Basili.On the irreducibility of commuting varieties of nilpotent matrices.J

    R. Basili.On the irreducibility of commuting varieties of nilpotent matrices.J. Algebra268 (2003), 58-80

    2003

Show all 56 references
  1. [9]

    Basili.On the maximal nilpotent orbit that intersects the centralizer of a matrix.Trans- form

    R. Basili.On the maximal nilpotent orbit that intersects the centralizer of a matrix.Trans- form. Groups27(2022), no. 1, 1-30

    2022

  2. [10]

    Basili, A

    R. Basili, A. Iarrobino.Pairs of commuting nilpotent matrices and Hilbert function.J. Alge- bra320(2008), 1235-1254

    2008

  3. [11]

    Basili, A

    R. Basili, A. Iarrobino, L. Khatami.Commuting nilpotent matrices and Artinian algebras. J. Commut. Alg.2(2010), no. 3, 295-325

    2010

  4. [12]

    Bogdani´ c, A

    D. Bogdani´ c, A. Djuri´ c, S. Koljanˇ ci´ c, P. Oblak, K.ˇSivic.Jordan structures of nilpotent matrices in the centralizer of a nilpotent matrix with two Jordan blocks of the same size. Lin. Alg. Appl.690(2024), 59-90

    2024

  5. [13]

    M. Boij, A. Iarrobino, L. Khatami.Jordan type stratification of spaces of commuting nilpotent matrices.Lin. Alg. Appl.710(2025), 183-202

    2025

  6. [14]

    D. M. Bressoud.Lattice paths and the Rogers-Ramanujan identities.In Lecture Notes in Math.1395, Springer-Verlag, 1989, 140-172

    1989

  7. [15]

    J. R. Britnell, M. Wildon.On types and classes of commuting matrices over finite fields.J. London Math. Soc.383(2011), no. 2, 470-492

    2011

  8. [16]

    W. H. Burge.A correspondence between partitions related to generalizations of the Rogers- Ramanujan identities.Discrete Math.34(1981), 9-15

    1981

  9. [17]

    W. H. Burge.A three-way correspondence between partitions.Europ. J. Combinatorics3 (1982), 195-213

    1982

  10. [18]

    D. H. Collingwood, W. M. McGovern. Nilpotent Orbits in Semisimple Lie Algebras. Van Nostrand Reinhold Publ., 1993

    1993

  11. [19]

    Frobenius

    G. Frobenius. ¨Uber vertauschbaren Matrizen.Sitzber. Berlin. Akadem., pp. 601-614, 1896

  12. [20]

    Frobenius

    G. Frobenius. ¨Uber die mit einer Matrix vertauschbaren Matrizen.Berlin. Sitzungberichte, pp. 3-15, 1910

    1910

  13. [21]

    Ganyushkin, V

    O. Ganyushkin, V. Mazorchuk. Classical Finite Tarnsformation Semigroups. Springer, 2009

    2009

  14. [22]

    Gerstenhaber.On dominance and varieties of commuting matrices.Ann

    M. Gerstenhaber.On dominance and varieties of commuting matrices.Ann. Math.73(1961), no. 2, 324-348

    1961

  15. [23]

    Goddard.Commuting varieties and nilpotent orbits.Ph.D

    R. Goddard.Commuting varieties and nilpotent orbits.Ph.D. Thesis, University of Birming- ham, United Kingdom, 2017

    2017

  16. [24]

    Gohberg, P

    I. Gohberg, P. Lancaster, L. Rodman. Invariant Subspaces of Matrices with Applications. Wiley Interscience Publ,, 1986

    1986

  17. [25]

    R. M. Guralnick.A note on commuting pairs of matrices.Lin. Multilin. Alg.31(1992), 71-75

    1992

  18. [26]

    Iarrobino, L

    A. Iarrobino, L. Khatami.Bound on the Jordan type of a generic nilpotent matrix commuting with a given matrix.J. Algebr. Combin.38(2013), no. 4, 947-972

    2013

  19. [27]

    Iarrobino, L

    A. Iarrobino, L. Khatami, B. Van Steirtenghem, R. Zhao.Nilpotent matrices having a given Jordan type as maximum commuting nilpotent orbit.Lin. Alg. Appl.546(2018), 210-260

    2018

  20. [28]

    Irving.A generalized Burge correspondence andk-measure of partitions.Preprint on arXiv:2408.16910

    J. Irving.A generalized Burge correspondence andk-measure of partitions.Preprint on arXiv:2408.16910

  21. [29]

    Irving, T

    J. Irving, T. Koˇ sir, M. Mastnak.A proof of the Box Conjecture for pairs of commuting matrices.Preprint on arXiv:2403.18574v2. 16 T. KO ˇSIR

  22. [30]

    Khatami.The poset of the nilpotent commutator of a nilpotent matrix.Linear Algebra Appl.439(2013), no

    L. Khatami.The poset of the nilpotent commutator of a nilpotent matrix.Linear Algebra Appl.439(2013), no. 12, 3763-3776

    2013

  23. [31]

    Khatami.The smallest part of the generic partition of the nilpotent commutator of a nilpotent matrix.J

    L. Khatami.The smallest part of the generic partition of the nilpotent commutator of a nilpotent matrix.J. Pure Appl. Alg.218(2014), 1496-1516

    2014

  24. [32]

    Khatami.Commuting Jordan types: a survey.Contemp

    L. Khatami.Commuting Jordan types: a survey.Contemp. Math.805, Amer. Math. Soc., 2024, pp. 27-39

    2024

  25. [33]

    Khatami, T

    L. Khatami, T. Koˇ sir.Jordan types commuting with a hook partition.Preprint on arXiv:2605.27692

    arXiv

  26. [34]

    Konieczny.Semigroups of Transformations Commuting with Injective Nilpotents.Com- munications in Algebra32(2004), No

    J. Konieczny.Semigroups of Transformations Commuting with Injective Nilpotents.Com- munications in Algebra32(2004), No. 4, 1551-1569

    2004

  27. [35]

    Konieczny.The structure of centralizers in the finite symmetric inverse semigroup.Com- munications in Algebra,48(2020), No.12, 5181-5194

    J. Konieczny.The structure of centralizers in the finite symmetric inverse semigroup.Com- munications in Algebra,48(2020), No.12, 5181-5194

    2020

  28. [36]

    T. Koˇ sir. Commuting Matrices and Multiparameter Eigenvalue Problems. Ph.D. Thesis, Uni- versity of Calgary, Alberta, Canada, 1993

    1993

  29. [37]

    Koˇ sir, P

    T. Koˇ sir, P. Oblak.On pairs of commuting nilpotent matrices. Transform. Groups14(2009), no. 1, 175-182

    2009

  30. [38]

    M. V. Lawson. Inverse semigroups. The theory of partial symmetries. World Scientific, 1998

    1998

  31. [39]

    Lipscomb.Symmetric Inverse Semigroups.Math

    S. Lipscomb.Symmetric Inverse Semigroups.Math. Surveys and Monographs46, Amer. Math. Soc., 1996

    1996

  32. [40]

    C. C. MacDuffee. The Theory of Matrices. Springer-Verlag, 1933

    1933

  33. [41]

    T. S. Motzkin, O. Taussky.Pairs of matrices with propertyL.II. Trans. Amer. Math. Soc. 80(1955), 387–401

    1955

  34. [42]

    P. Oblak. Orbits of pairs of commuting nilpotent matrices. Ph.D. Thesis, University of Ljubl- jana, Slovenia, 2008

    2008

  35. [43]

    Oblak.The upper bound for the index of nilpotency for a matrix commuting with a given nilpotent matrix.Lin

    P. Oblak.The upper bound for the index of nilpotency for a matrix commuting with a given nilpotent matrix.Lin. Multilin. Algebra56(2008), no. 6, 701-711

    2008

  36. [44]

    Oblak.Jordan forms for mutually annihilating nilpotent pairs.Lin

    P. Oblak.Jordan forms for mutually annihilating nilpotent pairs.Lin. Alg. Appl.428(2008), no.7, 1476-1491

    2008

  37. [45]

    Oblak.On the nilpotent commutator of a nilpotent matrix.Lin

    P. Oblak.On the nilpotent commutator of a nilpotent matrix.Lin. Multilin. Algebra60 (2012), no. 5, 599-612

    2012

  38. [46]

    D. I. Panyushev.Two results on centralisers of nilpotent elements.J. Pure Appl. Algebra 212(2008), no. 4, 774-779

    2008

  39. [47]

    Plemelj.Ein Satz ¨Uber vertauschbare Matrizen und seine Anwendung in der Theorie linearer Differentialgleichnungen.Monatshefte Math

    J. Plemelj.Ein Satz ¨Uber vertauschbare Matrizen und seine Anwendung in der Theorie linearer Differentialgleichnungen.Monatshefte Math. Phys.12(1901), 82-96

    1901

  40. [48]

    Premet.Nilpotent commuting varieties of reductive Lie algebras.Invent

    A. Premet.Nilpotent commuting varieties of reductive Lie algebras.Invent. Math.154(2003), no. 3, 653-683

    2003

  41. [49]

    Schur.Zur Theorie der vertauschbaren Matrizen.J

    I. Schur.Zur Theorie der vertauschbaren Matrizen.J. reine angew. Math.130(1905), 66-76

    1905

  42. [50]

    M. A. Shayman.On the variety of invariant subspaces of a finite-dimensional linear operator. Trans. Amer. Math. Soc.274(1982), no. 2, 721-747

    1982

  43. [51]

    M. A. Shayman.Parametrization of the flags fixed by a unipotent matrix.Contemp. Math. 47(1985), 355-368

    1985

  44. [52]

    Solomon.Representations of the rook monoid.J

    L. Solomon.Representations of the rook monoid.J. of Algebra256(2002), 309-342

    2002

  45. [53]

    D. A. Suprunenko, R. I. Tyshkevich. Commutative Matrices. Academic Press, 1968

    1968

  46. [54]

    Sylvester.Sur les quantit´ es formant un groupe de nonions analogues aux quaternions de Hamilton.Acad

    M. Sylvester.Sur les quantit´ es formant un groupe de nonions analogues aux quaternions de Hamilton.Acad. des sciences Paris: Comptes rendus.98(1884), 471-478

  47. [55]

    Taber.On the Matrical EquationΦΩ = ΩΦ.Proc

    H. Taber.On the Matrical EquationΦΩ = ΩΦ.Proc. Amer. Acad. Arts Sci.26(1890-1891), 64-66

  48. [56]

    Taber.On a Theorem of Sylvester’s Relating to Non-degenerate Matrices.Proc

    H. Taber.On a Theorem of Sylvester’s Relating to Non-degenerate Matrices.Proc. Amer. Acad. Arts Sci.27(1891-1892), 46-56. University of Ljubljana, F aculty of Mathematics and Physics, Ljubljana, Slovenia, and Institute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia...

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.