Conjectural presentation of the extended double affine Artin group

Let X¨n\ddot{X}_n be a double affine Coxeter diagram with finite nodes labelled 1,,n1,\ldots,n. Let B(Xn)B(X_n) be the Artin group of the finite subdiagram, and let \mho and ˉ\bar{\mho} be the finite groups of outer automorphisms associated to the affine nodes labelled by Θ0\varTheta_0 and Φ0\varPhi_0, respectively. Let ω\omega and ϖ\varpi denote their non-identity elements. Conjectural presentation. The group B(X¨n)e\mathbf B(\ddot{X}_n)^e is generated by B(Xn)B(X_n) and the finite groups \mho and ˉ\bar{\mho}, subject to

ωTiω=Tω(i),ϖTjϖ=Tϖ(j)\omega\mathcal T_i\omega=\mathcal T_{\omega(i)},\qquad \varpi\mathcal T_j\varpi=\mathcal T_{\varpi(j)}

for 1i,jn1\leq i,j\leq n such that ω(i)\omega(i) and ϖ(j)\varpi(j) are finite nodes, and to the condition that

D=ϖT1TnωϖTnT1ω\mathcal D=\varpi\mathcal T_1\cdots\mathcal T_n\omega\varpi\mathcal T_n\cdots\mathcal T_1\omega

is central. The text presents this as the proposed presentation for the extended double affine Artin group of type X¨n\ddot{X}_n; no resolution status is supplied.

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.