The three-family conjecture for standard homomorphisms from I2(N)I_2(N) to AnA_n

About 2 years old · traced to

Let 1≤b≤a<n−11\le b\le a<n-1 and a>1a>1. Let w∘[r,s]w_\circ^{[r,s]} denote the longest element associated with the interval [r,s][r,s]. Three-family conjecture for I2(N)I_2(N) homomorphisms. The assignments

T^1↦Tw∘[1,a],T^2↦Tw∘[b,n−1]\widehat T_1\mapsto T_{w_\circ^{[1,a]}},\qquad \widehat T_2\mapsto T_{w_\circ^{[b,n-1]}}

define a homomorphism Br⁡+(I2(N))→Br⁡n+\operatorname{Br}^+(I_2(N))\to\operatorname{Br}^+_n if one of the following holds: N=2n/(n+b−a−2)∈2Z>0N=2n/(n+b-a-2)\in2\mathbb Z_{>0}; a+b=na+b=n and N=n/(b−1)∈1+2Z>0N=n/(b-1)\in1+2\mathbb Z_{>0}; or a+1=2(b−1)a+1=2(b-1), a+b<na+b<n, and N=6N=6. These are among the conjectural families introduced in the paper, which reports verification for n≤15n\le15; their general status remains open.

References

Primary source

Arkady Berenstein, Jacob Greenstein and Jian-Rong Li, “Hecke and Artin monoids and their homomorphisms”, arXiv:2405.18821 (2024).

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.