Naive gluing conjecture for the comparison map

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 aAa\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.

Sources & referencesView supporting material

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.