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

About 2 years old · traced to

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 w∘Kw_\circ^K denote the longest element associated with KK. Conjectural Dn+1D_{n+1} families. The following assignments define standard homomorphisms. First, T^i↦Tw∘Ki∖(2i+4Z≥0)\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,n−2]K_2=\{0\}\cup[2,n-2] if n∈1+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 n∈1+2Z>0n\in1+2\mathbb Z_{>0}; or K1=[1,n−2]K_1=[1,n-2], K2={0}∪[2,n]K_2=\{0\}\cup[2,n] if n∈3+4Z≥0n\in3+4\mathbb Z_{\ge0}. Second, T^i↦Tw∘Ki∖(2i−1+4Z≥0)\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,n−2]K_2=\{1\}\cup[4,n-2] if n∈4Z>0n\in4\mathbb Z_{>0}; K1=[0,n]K_1=[0,n], K2={1}∪[4,n]K_2=\{1\}\cup[4,n] if n∈2Z>1n\in2\mathbb Z_{>1}; or K1=[0,n−2]K_1=[0,n-2], K1={1}∪[4,n]K_1=\{1\}\cup[4,n] if n∈2+4Z>0n\in2+4\mathbb Z_{>0}. The paper presents these as conjectural families and reports verification for n≤15n\le15; no general proof or disproof is supplied here.

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.