Naive gluing conjecture for the comparison map

About 7 years old · traced to

Let (S,M,A)(S,M,A) be a graded marked surface with a full arc system AA. Say that it has enough marked intervals when

S\A=⨆k=1N(Dk2,Mk)S\backslash A=\bigsqcup_{k=1}^N(D^2_k,M_k)

and, for each kk, the inclusion ιk:(Dk2,Mk)→(S,M)\iota_k:(D^2_k,M_k)\to(S,M) is injective on connected components, equivalently

(ιk)∗:π0(Mk)→π0(M)(\iota_k)_*: \pi_0(M_k)\to\pi_0(M)

is injective. Let γA:n(S,A)↠Alg⁡(S,A)\gamma_A:\mathbf n(S,A)\twoheadrightarrow\operatorname{Alg}(S,A) be the comparison map determined by γA(a)=a\gamma_A(a)=a for every a∈Aa\in A. Naive gluing conjecture. If (S,M,A)(S,M,A) has enough marked intervals, then γA\gamma_A is an isomorphism. This refines the stated surjectivity theorem: the conjecture asserts that the naive algebra has no further relations beyond the prescribed gluing relations, while the source gives no resolution status.

References

Primary source

Benjamin Cooper and Peter Samuelson, “The Hall Algebras of Annuli”, arXiv:1902.10576 (2020).

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.