The two-endomorphism nilpotency conjecture for Schur-finite objects

About 16 years old · traced to

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

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

and

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

Assume also that

tr⁡(π1∘i∘π2∘j)=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.

References

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.