Dice Question Streamline Icon: https://streamlinehq.com

Explicit q-action making the thimble isomorphism an [q]-module isomorphism

Determine the explicit [q]-module structure on H^*(M)[q] ⊕ ⊕_{w≥1} H^*(D) z^w that makes the thimble map H^*(M)[q] ⊕ ⊕_{w ≥ 1} H^*(D) z^w → SH^*_q(M,D) from Theorem 1.1 an isomorphism of [q]-modules; characterize this action in terms of enumerative invariants, presumably punctured Gromov–Witten invariants of the pair (M,D).

Information Square Streamline Icon: https://streamlinehq.com

Background

The main theorem provides a canonical isomorphism SH*_q(M,D) ≅ H*(M)[q] ⊕ ⊕_{w≥1} H*(D) zw and notes that the [q]-module structure extends uniquely to make this map an isomorphism. However, the authors do not describe this [q]-action explicitly and suggest that its detailed form is expected to be governed by punctured Gromov–Witten theory.

Clarifying the [q]-action would illuminate how the deformation by allowing intersections with the anticanonical divisor D integrates enumerative data and would strengthen the link between deformed symplectic cohomology and relative Gromov–Witten invariants.

References

We leave a number of questions unanswered, which concern the relation with the enumerative geometry of (M,D). For instance, we have not fully determined the q-action on the domain of eq:main which makes that map an isomorphism; a first piece of that is addressed by Lemma \ref{th:replace-t-by-s}, but the general answer is expected to be much more complicated, presumably involving punctured Gromov-Witten invariants (for which see e.g.).

Symplectic cohomology relative to a smooth anticanonical divisor (2408.09039 - Pomerleano et al., 16 Aug 2024) in Remark th:further (Introduction)