Self-duality conjecture for finite Grassmann algebras

Let BL{\mathfrak{B}}_{{L}} be the Grassmann algebra with LL generators, and write BL,ev{\mathfrak{B}}_{{L},\mathrm{ev}} and BL,od{\mathfrak{B}}_{{L},\mathrm{od}} for its even and odd parts. Let LBL,ev(BL,od:BL){\bf{L}}_{{\mathfrak{B}}_{{L},\mathrm{ev}}}({\mathfrak{B}}_{{L},\mathrm{od}}:{\mathfrak{B}}_{{L}}) denote the set of continuous BL,ev{\mathfrak{B}}_{{L},\mathrm{ev}}-linear maps from BL,od{\mathfrak{B}}_{{L},\mathrm{od}} to BL{\mathfrak{B}}_{{L}}, meaning that f(λX)=λf(X)f(\lambda X)=\lambda f(X) for λBL,ev\lambda\in {\mathfrak{B}}_{{L},\mathrm{ev}} and XBL,odX\in {\mathfrak{B}}_{{L},\mathrm{od}}.

Self-duality conjecture. For every fLBL,ev(BL,od:BL)f\in {\bf{L}}_{{\mathfrak{B}}_{{L},\mathrm{ev}}}({\mathfrak{B}}_{{L},\mathrm{od}}:{\mathfrak{B}}_{{L}}), there exists ufBLu_f\in {\mathfrak{B}}_{{L}} such that

f(X)=X ⁣uff(X)=X\!\cdot u_f

for every XBL,odX\in {\mathfrak{B}}_{{L},\mathrm{od}}.

The claim is motivated by the expected self-duality of the odd part of a Grassmann algebra, but the paper states that Kazuo Masuda supplied a counterexample when L=2L=2: the map defined by f(X1σ1+X2σ2)=X1σ2f(X_1\sigma_1+X_2\sigma_2)=X_1\sigma_2 is continuous and B2,ev{\mathfrak{B}}_{2,\mathrm{ev}}-linear, yet no such ufu_f exists. Thus the conjecture is refuted for finite LL, while the paper suggests that self-duality may require countably many Grassmann generators.

Sources & referencesView supporting material

Primary source

Atsushi Inoue, “Definition and characterization of supersmooth functions on superspace based on Fréchet-Grassmann algebra”, arXiv:0910.3831 (2014).

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.