Conjectural presentation of the extended triple affine Artin group

Let X...n\dddot{X}_n be a double affine Coxeter diagram, let B(Xn)B(X_n) be the Artin group associated to its finite subdiagram, and let 01\mho_{01}, 02\mho_{02}, and 03\mho_{03} be the finite groups of outer automorphisms associated to the three affine nodes. Let II be the set of finite labels of the images of the affine nodes, let ii^* satisfy ω01,i=ω01,i1\omega_{01,i^*}=\omega_{01,i}^{-1}, and write Tk\mathcal T_k and Twi\mathcal T_{w_{i^*}} for the corresponding elements of B(Xn)B(X_n). Conjectural presentation. The group B(X...n)e\mathbf B(\dddot{X}_n)^e is generated by B(Xn)B(X_n) and the finite groups 01\mho_{01}, 02\mho_{02}, and 03\mho_{03}, subject to

ω0j,iTkω0j,i1=Tω0j,i(k)\omega_{0j,i}\mathcal T_k\omega_{0j,i}^{-1}=\mathcal T_{\omega_{0j,i}(k)}

for 1j31\leq j\leq 3, iIi\in I, 1kn1\leq k\leq n, and kik\neq i^*, and to the condition that

Di=ω01,iω02,iω03,iTiTwi\mathcal D_i=\omega_{01,i}\omega_{02,i^*}\omega_{03,i}\mathcal T_{i^*}\mathcal T_{w_{i^*}}

is central for every iIi\in I. This is an alternative conjectural presentation of the extended double affine Artin group for diagrams of type X...n\dddot{X}_n; the supplied text does not state whether the presentation has been proved or disproved.

Sources & referencesView supporting material

Primary source

Bogdan Ion and Siddhartha Sahi, “Double affine Hecke algebras and congruence groups”, arXiv:1506.06417 (2017).

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.