Expected transversality conjecture for incidence loci of complete quasimaps

About 1 year old · traced to

Let CC be a curve, let Q~β(C,X)\widetilde{Q}_\beta(C,X) be the moduli space of complete quasimaps, and for a point p∈Cp\in C and a linear subspace Λ⊂X\Lambda\subset X let Inc(p,Λ)⊂Q~β(C,X)\mathsf{Inc}(p,\Lambda)\subset \widetilde{Q}_\beta(C,X) denote the corresponding proper-transform incidence locus. Let p1,…,pn∈Cp_1,\ldots,p_n\in C and Λ1,…,Λn⊂X\Lambda_1,\ldots,\Lambda_n\subset X be general points and general linear spaces, respectively, and set

I=⋂i=1nInc(pi,Λi)⊂Q~β(C,X).I=\bigcap_{i=1}^{n}\mathsf{Inc}(p_i,\Lambda_i)\subset \widetilde{Q}_\beta(C,X).

Expected transversality conjecture. The intersection II is generically smooth and pure of codimension

∑i=1n(r−dim⁡(Λi)),\sum_{i=1}^{n}(r-\dim(\Lambda_i)),

the expected codimension. Furthermore, any general point of II lies in the non-degenerate open locus Mβ∘(C,X){\mathcal{M}}^\circ_\beta(C,X). This conjecture asserts that the blow-ups defining complete quasimaps remove the excess-intersection phenomena occurring on low bi-rank strata, so general incidence conditions recover the expected enumerative geometry.

References

Primary source

Alessio Cela and Carl Lian, “Complete quasimaps to Bl_P^s(P^r)”, arXiv:2505.14672 (2026).

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.