Generalized log-local conjecture for normal crossing divisors

At least 5 years old · documented by

Let XX be a smooth projective variety and let D=D1+⋯+DnD=D_1+\cdots+D_n be an effective reduced normal crossing divisor with each DiD_i smooth, irreducible, and nef. Let I1,…,ImI_1,\ldots,I_m be disjoint subsets partitioning {1,2,…,n}\{1,2,\ldots,n\}, with ⋂i∈IjDi≠∅\bigcap_{i\in I_j}D_i\neq\varnothing for every jj. Let M‾0,0,{(di)}i∈I1,…,{(di)}i∈Im(X/D,β)\overline{\mathcal M}_{0,0,\{(d_i)\}_{i\in I_1},\ldots,\{(d_i)\}_{i\in I_m}}(X/D,\beta) denote the moduli space of basic stable log maps with mm marked points, where the jjth marking has maximal contact with every divisor DiD_i for i∈Iji\in I_j. For a curve class β\beta, set di:=Di⋅β>0d_i:=D_i\cdot\beta>0. Generalized log-local conjecture.

[(⋃j=1mev⁡j∗(⋃i∈IjDi))∩M‾0,m(⨁i=1nOX(−Di),β)]vir⁡=(∏i=1n(−1)di−1)F∗[M‾0,0,{(di)}i∈I1,…,{(di)}i∈Im(X/D,β)]vir⁡.\left[\left(\bigcup_{j=1}^m\operatorname{ev}_j^*\left(\bigcup_{i\in I_j}D_i\right)\right)\cap\overline{\mathcal M}_{0,m}\left(\bigoplus_{i=1}^n\mathcal O_X(-D_i),\beta\right)\right]^{\operatorname{vir}} =\left(\prod_{i=1}^n(-1)^{d_i-1}\right)F_*[\overline{\mathcal M}_{0,0,\{(d_i)\}_{i\in I_1},\ldots,\{(d_i)\}_{i\in I_m}}(X/D,\beta)]^{\operatorname{vir}}.

The original log-local conjecture is the special case ∣Ij∣=1|I_j|=1 for all jj. The paper presents this as a generalization; it notes that additional interior markings may also be allowed, while no general logarithmic mirror theorem is known.

References

Primary source

Hsian-Hua Tseng and Fenglong You, “A mirror theorem for multi-root stacks and applications”, arXiv:2006.08991 (2022).

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.