Domokos and Zubor's dimension conjecture for maximal commutative subalgebras of Grassmann algebras

Let FF be a field of characteristic different from two, and let G(n)G(n) be the Grassmann algebra

G(n)=F[x1,,xn]/xixj+xjxi1i,jnF.G(n)=F[x_1,\ldots,x_n]/\langle x_ix_j+x_jx_i\mid 1\leq i,j\leq n\rangle_F.

A maximal commutative subalgebra is a commutative subalgebra maximal with respect to inclusion. If n=4k+1n=4k+1 and AA is a maximal commutative subalgebra of G(n)G(n), then Domokos and Zubor's dimension conjecture.

dim(A)32n2.\dim(A)\geq 3\cdot 2^{n-2}.

For even nn, every maximal commutative subalgebra has dimension 32n23\cdot 2^{n-2}, whereas the odd-dimensional case has a less clear structure. The conjecture is refuted by the constructions described in the paper, which produce counterexamples for n=4k+1n=4k+1 with k4k\geq 4.

Sources & referencesView supporting material

Primary source

Ho-Hon Leung, “A remark on commutative subalgebras of Grassmann algebra”, arXiv:1810.08781 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.