Generalized log-local conjecture for normal crossing divisors

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 iIjDi\bigcap_{i\in I_j}D_i\neq\varnothing for every jj. Let M0,0,{(di)}iI1,,{(di)}iIm(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 iIji\in I_j. For a curve class β\beta, set di:=Diβ>0d_i:=D_i\cdot\beta>0. Generalized log-local conjecture.

[(j=1mevj(iIjDi))M0,m(i=1nOX(Di),β)]vir=(i=1n(1)di1)F[M0,0,{(di)}iI1,,{(di)}iIm(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.

Sources & referencesView supporting material

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.