Expected transversality conjecture for incidence loci of complete quasimaps

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 pCp\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,,pnCp_1,\ldots,p_n\in C and Λ1,,ΛnX\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(rdim(Λ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.

Sources & referencesView supporting material

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.