The conjectural families of standard homomorphisms to Dn+1D_{n+1}

Use the displayed labeling of the Coxeter graph of type Dn+1D_{n+1}, let K1,K2[0,n]K_1,K_2\subset[0,n], and let wKw_\circ^K denote the longest element associated with KK. Conjectural Dn+1D_{n+1} families. The following assignments define standard homomorphisms. First, T^iTwKi(2i+4Z0)\widehat T_i\mapsto T_{w_\circ^{K_i\setminus(2i+4\mathbb Z_{\ge0})}} for i{1,2}i\in\{1,2\} defines a standard homomorphism Br+(I2(n+1))Br+(Dn+1)\operatorname{Br}^+(I_2(n+1))\to\operatorname{Br}^+(D_{n+1}) for the three listed pairs: K1=[1,n]K_1=[1,n], K2={0}[2,n2]K_2=\{0\}\cup[2,n-2] if n1+4Z>0n\in1+4\mathbb Z_{>0}; K1=[1,n]K_1=[1,n], K2={0}[2,n]K_2=\{0\}\cup[2,n] if n1+2Z>0n\in1+2\mathbb Z_{>0}; or K1=[1,n2]K_1=[1,n-2], K2={0}[2,n]K_2=\{0\}\cup[2,n] if n3+4Z0n\in3+4\mathbb Z_{\ge0}. Second, T^iTwKi(2i1+4Z0)\widehat T_i\mapsto T_{w_\circ^{K_i\setminus(2i-1+4\mathbb Z_{\ge0})}} defines a standard homomorphism Br+(I2(2n))Br+(Dn+1)\operatorname{Br}^+(I_2(2n))\to\operatorname{Br}^+(D_{n+1}) for the three listed pairs: K1=[0,n]K_1=[0,n], K2={1}[4,n2]K_2=\{1\}\cup[4,n-2] if n4Z>0n\in4\mathbb Z_{>0}; K1=[0,n]K_1=[0,n], K2={1}[4,n]K_2=\{1\}\cup[4,n] if n2Z>1n\in2\mathbb Z_{>1}; or K1=[0,n2]K_1=[0,n-2], K1={1}[4,n]K_1=\{1\}\cup[4,n] if n2+4Z>0n\in2+4\mathbb Z_{>0}. The paper presents these as conjectural families and reports verification for n15n\le15; no general proof or disproof is supplied here.

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.