The two-endomorphism nilpotency conjecture for Schur-finite objects

Let AA be an object with endomorphisms π1\pi_1 and π2\pi_2. Set

a:=tr(π1)=tr(π1i)for all i,a:=\operatorname{tr}(\pi_1)=\operatorname{tr}(\pi_1^{\circ i})\quad\text{for all }i,

and

b:=tr(π2)=tr(π2j)for all j.b:=\operatorname{tr}(\pi_2)=\operatorname{tr}(\pi_2^{\circ j})\quad\text{for all }j.

Assume also that

tr(π1iπ2j)=0\operatorname{tr}(\pi_1^{\circ i}\circ\pi_2^{\circ j})=0

for all ii and jj. Let ν\nu be the hook partition occurring in the definition of the polynomial yy, and let λ\lambda be a partition. The two-endomorphism nilpotency conjecture. If Sλ(A)=0S_\lambda(A)=0 and λ⊅(b+2)a+2\lambda\not\supset (b+2)^{a+2}, then

y(λν;α1π1+α2π2)0y(\lambda\setminus\nu;\alpha_1\pi_1+\alpha_2\pi_2)\not =0

as a polynomial in α1\alpha_1 and α2\alpha_2, and consequently N¸(A)\c{N}(A) is nilpotent. This is a proposed strengthening of the theorem proved immediately before it; the source gives numerical evidence but no resolution.

Sources & referencesView supporting material

Primary source

Alessio Del Padrone and Carlo Mazza, “Schur finiteness and nilpotency”, arXiv:1010.3922 (2010).

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.