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

Let 1ba<n11\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^1Tw[1,a],T^2Tw[b,n1]\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))Brn+\operatorname{Br}^+(I_2(N))\to\operatorname{Br}^+_n if one of the following holds: N=2n/(n+ba2)2Z>0N=2n/(n+b-a-2)\in2\mathbb Z_{>0}; a+b=na+b=n and N=n/(b1)1+2Z>0N=n/(b-1)\in1+2\mathbb Z_{>0}; or a+1=2(b1)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 n15n\le15; their general status remains open.

Sources & referencesView supporting material

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.