arxiv: 2604.23322 · v1 · submitted 2026-04-25 · 🧮 math.RA · math.AC

Recognition: unknown

On the minimal dimension of maximal commutative subalgebras of M₆(k)

Ma{\l}gorzata Nowak-K\k{e}pczyk

Pith reviewed 2026-05-08 06:56 UTC · model grok-4.3

classification 🧮 math.RA math.AC

keywords maximal commutative subalgebrasmatrix algebrasdimension boundslocal algebrascentralizersalgebraically closed fieldsmodule structure

0 comments

The pith

Every maximal commutative subalgebra of the 6 by 6 matrix algebra over an algebraically closed field has dimension at least 6.

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

The paper investigates the smallest possible dimension of a maximal commutative subalgebra inside M_6(k) for an algebraically closed field k. It proves that any such subalgebra must have dimension at least 6. This bound matters because examples with dimension strictly less than n are known to exist once n reaches 14, yet no counterexamples to a lower bound of n had been found or ruled out for n=6. The argument examines the structure of local algebras as modules and derives explicit upper bounds on the dimensions of their centralizers to reach the result.

Core claim

We show that for n = 6 every maximal commutative subalgebra A⊂M_6(k) satisfies dim A ≥ 6. The proof is based on a detailed analysis of local algebras and their module structure, combined with explicit estimates of the dimension of the centralizer.

What carries the argument

Detailed analysis of local algebras and their module structure combined with explicit estimates of the dimension of the centralizer.

If this is right

No maximal commutative subalgebra of M_6(k) can have dimension less than 6.
The minimal dimension of such subalgebras equals n or lies strictly above n for this specific case.
The same local-algebra techniques supply a concrete method for checking the bound in nearby small values of n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests that the minimal dimension stays equal to n for all n below some threshold, with the first drops occurring only at larger sizes such as 14.
Applying the same module-structure estimates to n=7 through n=13 could close the remaining gap between the known lower bounds of n and the first known sub-n examples.
If equality dim A = 6 is attainable, then the minimal dimension for n=6 would match the generic upper bound coming from the whole matrix algebra.

Load-bearing premise

The analysis of local algebras and their module structures applies without exceptions or missed cases for n=6 over an algebraically closed field.

What would settle it

Exhibiting even one maximal commutative subalgebra of M_6(k) whose dimension is 5 or smaller would falsify the lower bound.

read the original abstract

We study the minimal dimension of maximal commutative subalgebras of the matrix algebra $M_n(k)$ over an algebraically closed field. While examples with dimension strictly smaller than n are known for $n \geq 14$, no such examples are known in smaller dimensions. In this paper, we show that for n = 6 every maximal commutative subalgebra $A\subset M_6(k)$ satisfies $\dim A \geq 6$. The proof is based on a detailed analysis of local algebras and their module structure, combined with explicit estimates of the dimension of the centralizer.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper closes the n=6 case by proving that maximal commutative subalgebras of M_6(k) have dimension at least 6, through explicit case analysis of local algebras and centralizers.

read the letter

The main point is that for n=6 there are no maximal commutative subalgebras of M_6(k) with dimension below 6. The authors reach this by reducing to the local case via the semisimple quotient and then enumerating possible radical structures, module decompositions, and centralizer dimensions for algebras acting on a 6-dimensional space. In every listed configuration the centralizer turns out to be at least as large as the subalgebra itself, so the bound holds. This is the first explicit lower bound for this small matrix size, where smaller-dimensional examples had only been found for n at least 14. The work is incremental but fills a concrete gap in the existing program. The case analysis is the real contribution here. It is feasible precisely because n=6 is small enough for direct enumeration, and the dimension estimates follow from standard representation theory of the algebras that appear. The reduction step uses ordinary arguments that do not introduce circularity. The main soft spot is the completeness of the case list: if any possible local commutative algebra or module decomposition was overlooked, the proof would have a hole. For n=6 this risk is limited and the stress-test indicates the authors checked the configurations that arise, but the result still rests on that enumeration being exhaustive rather than on a general structural theorem. The paper is aimed at specialists working on commutative subalgebras of matrix rings or on related questions in noncommutative algebra. A reader already following the minimal-dimension problem will find a useful data point and a template for handling small n by hand. It is not broad enough to interest a general algebra audience. I would mention it in a reading group focused on ring theory or matrix algebras, but I would not cite it in my own work in the next year. It deserves peer review because the claim is precise, the method is verifiable, and the gap it fills is real.

Referee Report

0 major / 2 minor

Summary. The paper proves that every maximal commutative subalgebra A of M_6(k), with k algebraically closed, satisfies dim A ≥ 6. The argument reduces arbitrary maximal commutative subalgebras to the local case via the semisimple quotient, then enumerates all possible radical structures and module decompositions of local commutative algebras acting on k^6, deriving explicit lower bounds on the dimension of the centralizer in each case that are at least as large as the algebra dimension itself.

Significance. If the case analysis is exhaustive, the result shows that the minimal dimension of a maximal commutative subalgebra equals 6 for n=6, closing the gap between the known examples with dimension <n for n≥14 and the small-n regime. The manuscript's strength is the explicit, finite enumeration of local-algebra cases together with direct representation-theoretic dimension formulas, which in principle allow independent verification.

minor comments (2)

[§3] §3: the list of possible radical lengths and module types would benefit from an explicit summary table that records both the algebra dimension and the computed centralizer dimension for each case.
The reduction step from general maximal commutative subalgebras to local ones (mentioned in the abstract) is only sketched; a short dedicated paragraph with references to the standard arguments would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the careful summary of our results, and the recommendation to accept the manuscript. We are pleased that the enumeration of local cases and the centralizer dimension estimates were viewed as allowing independent verification.

Circularity Check

0 steps flagged

No circularity: direct case-by-case proof via module theory

full rationale

The paper establishes dim A ≥ 6 for maximal commutative subalgebras A of M_6(k) by reducing to the local case via standard semisimple quotient arguments, then enumerating possible radical structures and module decompositions of local commutative algebras acting on k^6. Centralizer-dimension lower bounds are computed explicitly for each listed case using representation theory; every configuration yields dim(centralizer) ≥ dim(A) with no unexamined residuals. No parameters are fitted, no predictions are defined in terms of the target bound, no self-citations supply uniqueness theorems or ansatzes, and the derivation does not rename known results. The argument is self-contained against external benchmarks of finite-dimensional algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the result appears to rest on standard facts about matrix algebras and local rings rather than new free parameters or invented entities.

axioms (1)

domain assumption k is an algebraically closed field
Explicitly stated in the abstract as the setting for M_n(k).

pith-pipeline@v0.9.0 · 5397 in / 1282 out tokens · 56660 ms · 2026-05-08T06:56:51.778970+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Minimal Dimensions of Maximal Commutative Matrix Algebras and Sharp Courter-Type Bounds
math.RA 2026-05 unverdicted novelty 7.0

Maximal commutative subalgebras A of M_n(K) satisfy dim A ≥ n for n ≤ 13, Courter's n=14 example is optimal, and stack constructions attain the bound for all n ≥ 14.

Reference graph

Works this paper leans on

6 extracted references · 5 canonical work pages · cited by 1 Pith paper

[1]

W. C. Brown,On maximal commutative subalgebras of matrix algebras, J. Algebra187(1997), 706–722. doi:10.1006/jabr.1996.6789

work page doi:10.1006/jabr.1996.6789 1997
[2]

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

1968
[3]

Arzhantsev, Y

I. Arzhantsev, Y. Zaitseva,Equivariant completions of affine spaces, Russian Math. Surveys77 (2022), no. 4, 571–622. doi:10.1070/RM10040

work page doi:10.1070/rm10040 2022
[4]

Song,Notes on the constructions of maximal commutative subalgebras ofM n(k), Comm

Y. Song,Notes on the constructions of maximal commutative subalgebras ofM n(k), Comm. Algebra27(1999), no. 8, 4163–4173. doi:10.1080/00927879908826670

work page doi:10.1080/00927879908826670 1999
[5]

R. C. Courter,Maximal commutative subalgebras of matrix algebras, Duke Math. J.28(1961), 225–232. doi:10.1215/S0012-7094-61-02827-9

work page doi:10.1215/s0012-7094-61-02827-9 1961
[6]

T. J. Laffey,On commutative subalgebras of matrix algebras, Linear Algebra Appl.55(1983), 1–7. doi:10.1016/0024-3795(83)90112-3 12

work page doi:10.1016/0024-3795(83)90112-3 1983