Conjectural presentation of the extended triple affine Artin group

About 11 years old · traced to

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 i∗i^* satisfy ω01,i∗=ω01,i−1\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,i−1=Tω0j,i(k)\omega_{0j,i}\mathcal T_k\omega_{0j,i}^{-1}=\mathcal T_{\omega_{0j,i}(k)}

for 1≤j≤31\leq j\leq 3, i∈Ii\in I, 1≤k≤n1\leq k\leq n, and k≠i∗k\neq i^*, and to the condition that

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

is central for every i∈Ii\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.

References

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.