Spin kk-twisted double ramification conjecture

At least 3 years old · documented by

Let g,n≥0g,n\geq 0 and let kk be a positive odd integer. Let μ=(m1,…,mn)∈Zn∖kZ≥0n\mu=(m_1,\ldots,m_n)\in\mathbb{Z}^n\setminus k\mathbb{Z}^n_{\geq 0} satisfy

∑iai=k(2g−2),\sum_i a_i=k(2g-2),

with all entries of μ\mu even. Let DR⁡gspin⁡(aμ)\operatorname{DR}^{\operatorname{spin}}_g(a_\mu) be the spin kk-twisted double ramification cycle, let SG1odd⁡(μ)SG_1^{\operatorname{odd}}(\mu) be the subset of SG1(μ)SG_1(\mu) consisting of level graphs whose edge enhancements are all odd, and let κe\kappa_e, N0N_0, and ξΔ∗\xi_{\Delta*} have the meanings associated with the corresponding enhanced level graph. Spin kk-twisted double ramification conjecture. One has

DR⁡gspin⁡(aμ)=∑Δ∈SG1odd⁡(μ)∏e∈E(Δ)κekN0∣Aut⁡(Δ)∣ξΔ∗[[H‾g(v)k(μ[v],κ[v]−k)]spin⁡⋅∏v∈V(Δ⊥)[H‾g(v)(μ[v]k,κ[v]−kk)]spin⁡].\operatorname{DR}^{\operatorname{spin}}_g(a_\mu)=\sum_{\Delta\in SG_1^{\operatorname{odd}}(\mu)}\frac{\prod_{e\in E(\Delta)}\kappa_e}{k^{N_0}|\operatorname{Aut}(\Delta)|}\xi_{\Delta*}\left[\big[\overline{\mathcal{H}}_{g(v)}^k(\mu[v],\kappa[v]-k)\big]^{\operatorname{spin}}\cdot\prod_{v\in V(\Delta^\bot)}\big[\overline{\mathcal{H}}_{g(v)}\left(\frac{\mu[v]}{k},\frac{\kappa[v]-k}{k}\right)\big]^{\operatorname{spin}}\right].

This is presented as the spin analogue of the proved formula for ordinary kk-twisted double ramification cycles. The source reports agreement with computed classes only in a specified range, and gives no proof of the spin conjecture.

References

Primary source

Yiu Man Wong, “An algorithm to compute fundamental classes of spin components of strata of differentials”, arXiv:2211.16061 (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.