REVIEW 2 major objections 5 minor 39 references
A short way of counting maps to hypersurfaces in Grassmannians
T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For a fixed curve and a hypersurface in a Grassmannian, the virtual number of degree-d maps with Schubert incidence is a universal prefactor times a Vafa-Intriligator integral over the ambient Quot scheme.
desk verdict A clean, parameter-free virtual count for maps to hypersurfaces in Grassmannians, with a conditional enumerative half that is honestly flagged. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Quot scheme $\operatorname{Quot}_d(C,G(r,n))$, which parametrizes rank-$r$ degree-$(-d)$ subsheaves of the trivial rank-$n$ bundle on $C$; the hypersurface Quot scheme $\operatorname{Quot}_d(C,X_\ell)$ is its zero locus under a section of the vector bundle $E_\ell = \pi_*(\det E^{\vee})^{\otimes \ell}$, which has rank $d\ell-g+1$ when $d\ell>2g-2$. The load-bearing identity is the virtual class compatibility (9), imported from [CKM, Proposition 6.2.2]: $\iota_*[\operatorname{Quot}_d(C,X_\ell)]^{\mathrm{vir}} = c_{\mathrm{top}}(E_\ell) \cap [\operatorname{Quot}_d(C,G(r,n))]^{\mathrm{vir}}$. Lemma 1 evaluates $c_{\mathrm{top}}(E_\ell)$ explicitly in terms of the first Chern class $a_1$ and the pairing $\phi = \sum_{j=1}^g b^j_1 b^{j+g}_1$, and Proposition 3 evaluates pairings involving the $b$-classes as multiples of $a_1^s/n^s$. The Vafa-Intriligator formula, a finite sum over $r$-tuples of distinct $n$-th roots of unity, closes the computation by evaluating the remaining $a$-class intersections on the ambient Quot scheme.
What would settle it
Evaluate formula (12) in a case where both sides are accessible independently, for instance $C=\mathbb{P}^1$, $G(2,4)$, $\ell=1$ with $X_1=LG(2,4)$: the right side is a finite Vafa-Intriligator root-of-unity sum, and a direct count of degree-$d$ rational curves with the prescribed Schubert incidences must match it, or the virtual identity fails. On the enumerative side, a single hypersurface for which $\operatorname{Mor}_d(C,X_\ell)$ has dimension larger than expected for infinitely many $d$ would refute Theorem 2's conclusion.
Extended reading notes
Core claim
The paper's central claim is Theorem 1: for $d\ell > 2g-2$ and any monomial $P=\prod_{k=1}^t a_{i_k}$ of weighted degree $e_\ell=e-(d\ell-g+1)$, the virtual intersection on the hypersurface Quot scheme equals $$\int_{[\operatorname{Quot}_d(C,X_\ell)]^{\mathrm{vir}}} P = \frac{(n-\ell)^g\,\$ell^{{d\ell-g+1}}$}{n^g} \int_{[\operatorname{Quot}_d(C,G(r,n))]^{\mathrm{vir}}} $a_1^{{d\ell-g+1}}$ P.$$ The right-hand integral is evaluated in closed form by the Vafa-Intriligator formula. The mechanism is the virtual class compatibility $\iota_*[\operatorname{Quot}_d(C,X_\ell)]^{\mathrm{vir}} = c_{\mathrm{top}}(E_\ell) \cap [\operatorname{Quot}_d(C,G(r,n))]^{\mathrm{vir}}$, together with an explicit computation of $c_{\mathrm{top}}(E_\ell) = (\ell a_1)^{d\ell-g+1} e^{-\ell\phi/a_1}$ and a known rule that replaces powers of $\phi$ by powers of $a_1/n$. Theorem 2 then states that, under the expected-dimension conjecture for $\operatorname{Mor}_d(C,X_\ell)$, the virtual count is enumerative for all sufficiently large $d$ whenever each incidence class has codimension $i_k < n-\ell$; a complete-intersection analogue is given in Theorem 3.
Load-bearing premise
The enumerative half of the paper rests on the open expectation that for a general hypersurface in a Grassmannian, the space of degree-$d$ maps from the fixed curve has exactly the predicted dimension once $d$ is large enough; if that fails, the virtual numbers remain formal counts rather than honest maps.
Editorial extensions
If this is right
- For any hypersurface of degree $\ell$ and any fixed curve of genus $g$, the virtual count is computable in closed form once $d\ell>2g-2$; no further intersection theory is needed.
- For a hypersurface $X_\ell \subset \mathbb{P}^r$, the formula gives $\ell^{d\ell-g+1}(r+1-\ell)^g$ virtual maps meeting general codimension-$i_k$ planes, and Corollary 1 makes this an actual count under the expected-dimension hypothesis.
- For the Lagrangian Grassmannian $LG(2,4)\subset G(2,4)$, the virtual intersections reduce to $2^{2d-m_2-g+1}\,3^g$ with $m_1+2m_2=3(d-g+1)$.
- If Conjecture 1 holds, then for all sufficiently large $d$ the virtual count of Theorem 1 counts actual maps with incidence to general Schubert varieties of type $c_{i_k}(S^\vee)$ with $i_k<n-\ell$.
- The complete intersection version (Theorem 3) extends the same reduction to multidegree $(\ell_1,\dots,\ell_u)$, replacing the prefactor by $(n-\sum_j \ell_j)^g \prod_j \ell_j^{d\ell_j-g+1}/n^g$.
Reading between the lines
- The prefactor $(n-\ell)^g/n^g$ looks like a universal correction for replacing the ambient Grassmannian by a single hypersurface in a determinant representation; a natural test is whether the same prefactor shape governs hypersurfaces in other homogeneous spaces.
- The codimension bound $i_k < n-\ell$ in Theorem 2 is probably not technical: the paper's own Remark 8 exhibits a comparison with Tevelev degrees where larger incidences pick up an extra $(\ell^\ell/\ell!)^t$ factor from boundary contributions, so enumerativity should fail outside that range.
- Any proof of Conjecture 1 would immediately promote the closed virtual formula to honest counts for every genus, since the virtual class compatibility already holds in the entire range $d\ell>2g-2$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper computes virtual counts of degree-d maps from a fixed smooth projective curve C of genus g to a degree-ℓ hypersurface X_ℓ in a Grassmannian G(r,n), with pointwise incidence conditions to special Schubert subvarieties, using the Quot scheme compactification. The main result, Theorem 1, expresses the virtual intersection numbers on Quot_d(C,X_ℓ) as a Vafa-Intriligator integral on the ambient Quot_d(C,G(r,n)) times an explicit factor (n−ℓ)^g ℓ^{dℓ−g+1}/n^g. The proof combines a virtual-class compatibility (Proposition 2, imported from [CKM]) with an explicit computation of the top Chern class of the pushforward bundle E_ℓ (Lemma 1) and known b-class integrals over the Quot scheme (Proposition 3). The paper then discusses asymptotic enumerativity: Theorem 2, conditional on the expected-dimension hypothesis for Mor_d(C,X_ℓ), shows that the virtual counts are actual counts for large d and for incidence conditions of codimension < n−ℓ. A complete-intersection generalization (Theorem 3) and a projective-space specialization (Corollaries 1 and 2) are also given.
Significance. If the technical hypotheses are satisfied, the paper gives a short, explicit, and parameter-free formula for virtual counts of maps to hypersurfaces in a broad class of targets, extending the Vafa-Intriligator calculus from Grassmannians to their hypersurfaces. The derivation of Theorem 1 is transparent and checkable: Lemma 1 computes c_top(E_ℓ) via Grothendieck-Riemann-Roch, Proposition 3 supplies the required b-class integrals, and the final binomial sum is closed form. The conditional enumerativity theorem connects the virtual counts to classical enumerative geometry and to recent work on Tevelev degrees and weak convexity, with a clearly stated open conjecture. The manuscript is honest about the conditional nature of the enumerative half and about the imported virtual-class compatibility (9).
major comments (2)
- [Section 2, Proposition 2 and Eq. (9)] The main formula (12) depends entirely on the virtual-class compatibility ι_*[Quot_d(C,X_ℓ)]^{vir} = c_top(E_ℓ) ∩ [Quot_d(C,G(r,n))]^{vir}. This identity is imported from [CKM, Prop. 6.2.2] and is not re-proven in the paper. Since Quot_d(C,G(r,n)) is singular for d>0, the zero-locus formula is not automatic: one must know that the perfect obstruction theory of Quot_d(C,X_ℓ) is exactly the cone of the section E_ℓ^∨[−1] → L_{Quot_d(C,G)}, with no excess or sign corrections. The paper should either state precisely the hypotheses of [CKM, Prop. 6.2.2] under which it applies to this fixed-domain Quot-scheme setting, or give an outline of the verification (for instance via Manolache's virtual pullback, which is only mentioned in Remark 7). As it stands, Proposition 2 is a load-bearing unproven input; if it fails, all formulas in Theorems 1 and 3 and in the corollaries would change.
- [Lemma 1, Eq. (15) and the symplectic basis convention] The computation of c_top(E_ℓ) in Lemma 1 is central to Theorem 1, and it depends on a sign convention in the Künneth decomposition (14). The paper says only that {1, δ_1, …, δ_{2g}, η} is a symplectic basis, but does not specify whether δ_jδ_{j+g} = η or δ_jδ_{j+g} = −η. With the first convention the Grothendieck-Riemann-Roch calculation in the proof of Lemma 1 appears to produce (ℓa_1)^{dℓ−g+1} e^{+ℓφ/a_1} rather than e^{−ℓφ/a_1}, which would change the final factor in (12) from (n−ℓ)^g/n^g to (n+ℓ)^g/n^g. The sign convention should be fixed and the expansion leading to Eq. (15) checked against it. This is not a cosmetic issue, because the exponent of the exponential determines the genus-dependent factor in all the paper's counts.
minor comments (5)
- [Proof of Theorem 1, after Eq. (17)] The step writing ∫_{[Quot_d(C,X_ℓ)]^{vir}} P = ∫_{[Quot_d(C,G)]^{vir}} c_top(E_ℓ) · P implicitly uses the projection formula for the inclusion ι; this should be stated, since P is a pullback of a class on the ambient Quot scheme.
- [Lemma 1, proof] In the GRR calculation, the phrase 'A careful calculation further yields the total Chern class' omits the intermediate Newton-identity step; adding one line showing that c_t(E_ℓ) = (1+tℓa_1)^{dℓ−g+1} exp(−tℓ^2φ/(1+tℓa_1)) from the displayed Chern character would make the proof fully self-contained.
- [Section 4, proof of Theorem 2] The inclusion (24) and the subsequent dimension estimate are stated succinctly; a few more words explaining why the dimension of the first alternative in (23) (the case where the torsion support contains some p_k) is negligible would help the reader follow the boundary analysis.
- [Remark 4] The comparison with Tevelev degrees is interesting but the notation Tev_{g,n,β} is introduced without a precise definition of n; the authors should clarify the role of the integer n in that discussion.
- [Section 3.2, Proposition 4] In the algebraic proof of Proposition 4, the identity e_i(ζ_1,…,ζ_r) = h_i(−ζ_{r+1},…,−ζ_n) is used for i ≤ r; it would be helpful to indicate which elementary identity for the n-th roots justifies it, since the reader must otherwise reconstruct the relation from ∏(1+ζ_k t) = 1+t^n.
Circularity Check
No circularity: the central formula is a parameter-free reduction using independent prior results, not a fitted or self-referential identity.
full rationale
The derivation of Theorem 1 is not circular. The hypersurface Quot scheme Quot_d(C,X_l) is defined as the zero locus of a section of the vector bundle E_l on Quot_d(C,G(r,n)), and the main formula (12) is obtained by pushing forward the virtual class using the compatibility (9), which is imported from the external result [CKM, Proposition 6.2.2]. That compatibility is a published statement whose hypotheses (R^1 pi_*(det E^\vee)^{\otimes l}=0, satisfied when dl>2g-2) do not include Theorem 1, so it is independent support rather than a redefinition of the count. Lemma 1 computes c_top(E_l) by Grothendieck-Riemann-Roch with no fitted constants, and Proposition 3, cited from [MO], supplies the b-class replacement formula; the Vafa-Intriligator formula (11) is also cited from [MO, B, ST]. These are prior parameter-free computations whose statements do not include the hypersurface count being proved. The paper's self-citations, mainly [MO] and also [Mar] and [Si], are not load-bearing in a circular way: [MO] is an independent published computation of ambient Quot scheme integrals, and [Mar]/[Si] are used for context or comparison rather than as premises of the main derivation. The enumerative conclusion in Theorem 2 is explicitly conditional on the externally stated expected-dimension hypothesis, which is an assumption about the target variety, not a hidden reuse of the formula being derived. If the imported virtual-class compatibility (9) were incorrect, the numerical output would be wrong, but that is a correctness risk, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption Virtual class compatibility ι_*[Quot_d(C,X_ℓ)]^{vir} = c_top(E_ℓ) ∩ [Quot_d(C,G(r,n))]^{vir} (Proposition 2, cited from [CKM, Prop. 6.2.2])
- domain assumption B-class intersection formula from [MO, Proposition 2]: ∫(∏_{j} b^j_1 b^{j+g}_1) P = ∫ a_1^s P / n^s
- domain assumption Vafa-Intriligator formula (equation 11), cited from [MO, B, ST]
- domain assumption Expected dimension of Mor_d(C,X_ℓ) for all sufficiently large d (Conjecture 1)
- standard math Standard Grothendieck-Riemann-Roch and torus localization computations
Cite this review
Pith. "Pith review of A short way of counting maps to hypersurfaces in Grassmannians." pith.science (2026). https://pith.science/paper/XF4CTU4T
@misc{pith2026250610593,
author = {Pith},
title = {Pith review of: A short way of counting maps to hypersurfaces in Grassmannians},
year = {2026},
howpublished = {\url{https://pith.science/paper/XF4CTU4T}},
note = {Machine review of arXiv:2506.10593}
}
abstract
Using a Quot scheme compactification, we calculate the virtual count of maps of degree $d$ from a smooth projective curve of genus $g$ to a hypersurface in a Grassmannian, sending specified points of the curve to special Schubert subvarieties restricted to the hypersurface. We study the question of whether this virtual count is in fact enumerative under suitable conditions on the hypersurface, in the regime when the map degree $d$ is large.
Reference graph
Works this paper leans on
-
[1]
Bertram, Towards a Schubert calculus for maps from a Riemann surface to the Grassmannian, Internat
A. Bertram, Towards a Schubert calculus for maps from a Riemann surface to the Grassmannian, Internat. J. Math. 5 (1994), 811–825
work page 1994
-
[2]
A. Bertram, G. Daskalopoulos, R. Wentworth, Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians, J. Amer. Math. Soc. 9 (1996), 529–571
work page 1996
-
[3]
K. Behrend, B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), 45–88
work page 1997
-
[4]
R. Beheshti, N. M. Kumar, Spaces of rational curves on complete intersections, Compositio Math. 149 (2013), 1041-1060
work page 2013
-
[5]
R. Beheshti, B. Lehmann, C. Lian, E. Riedl, J. Starr, S. Tanimoto, On the asymptotic enumerativity property for Fano manifolds, Forum of Mathematics, Sigma 12 (2024) e112
work page 2024
-
[6]
A. Buch, R. Pandharipande, Tevelev degrees in Gromov–Witten theory , arXiv:2112.14824
-
[7]
T. Browning, P. Vishe, Rational curves on smooth hypersurfaces of low degree , Algebra Number Theory, 11(7):1657–1675, (2017)
work page 2017
-
[8]
T. Browning, P. Vishe, S. Yamagishi, Rational curves on complete intersections and the circle method , arXiv:2404.11123
Show all 39 references
-
[9]
Cela, Quantum Euler class and virtual Tevelev degrees of Fano complete intersections , Ark
A. Cela, Quantum Euler class and virtual Tevelev degrees of Fano complete intersections , Ark. Mat. 61 (2023), 301 - 322
2023
-
[10]
A. Cela, A. Doan, On the fixed domain Gromov–Witten invariants of positive symplectic manifolds, arXiv:2505.13120
-
[11]
A. Cela, C. Lian, Fixed-domain curve counts for blow-ups of projective space, arXiv:2303.03433
-
[12]
A. Cela, C. Lian, Complete quasimaps to Bl _ P^s P^r , arXiv:2505.14672
-
[13]
Cheong, I
D. Cheong, I. Choe, G.H. Hitching, Irreducibility of Lagrangian Quot schemes over an algebraic curve , Math. Z. 300, 1265–1289 (2022)
2022
-
[14]
Cheong, I
D. Cheong, I. Choe, G.H. Hitching, Isotropic Quot schemes of orthogonal bundles over a curve , Internat. J. Math. 32 (2021), no. 8, Paper No. 2150047
2021
-
[15]
Ciocan-Fontanine, M
I. Ciocan-Fontanine, M. Kapranov, Virtual fundamental classes via dg- manifolds , Geom. Topol. 13 (2009), 1779 - 1804
2009
-
[16]
Ciocan-Fontanine, B
I. Ciocan-Fontanine, B. Kim, Wall-crossing in genus zero quasimap theory and mirror maps, Algebr. Geom. 1 (2014), no. 4, 400 - 448
2014
-
[17]
Ciocan-Fontanine, B
I. Ciocan-Fontanine, B. Kim, Higher genus quasimap wall-crossing for semipositive targets, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 7, 2051–2102
2017
-
[18]
Ciocan-Fontanine, B
I. Ciocan-Fontanine, B. Kim, Quasimap wall-crossings and mirror symmetry, Publ. Math. Inst. Hautes Études Sci. 131 (2020), 201–260
2020
-
[19]
Ciocan-Fontanine, B
I. Ciocan-Fontanine, B. Kim, D. Maulik, Stable quasimaps to GIT quotients , J. Geom. Phys. 75 (2014), 17–47
2014
-
[20]
Farkas, C
G. Farkas, C. Lian, Linear series on general curves with prescribed incidence conditions, J. Inst. Math. Jussieu 22 (2023), 2857-2877
2023
-
[21]
Fulton, Intersection Theory , Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol
W. Fulton, Intersection Theory , Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 2, Springer-Verlag, Berlin, 1984
1984
-
[22]
Harris, M
J. Harris, M. Roth, J. Starr, Rational curves on hypersurfaces of low degree, J. Reine Angew. Math., 571:73–106, 2004
2004
-
[24]
Matthew Hase-Liu, A converse to geometric Manin's conjecture for general low degree hypersurfaces arXiv:2501.12506
-
[25]
B. Kim, A. Kresch, T. Pantev, Functoriality in intersection theory and a conjecture of Cox, Katz, and Lee , J. Pure Appl. Algebra, 179 (1–2) (2003), 127-136
2003
-
[26]
B. Kim, R. Pandharipande, The connectedness of the moduli space of maps to homogeneous spaces, Symplectic geometry and mirror symmetry (Seoul, 2000), 187–201
2000
-
[27]
Lian, Degenerations of complete collineations and geometric Tevelev degrees of ^r , J
C. Lian, Degenerations of complete collineations and geometric Tevelev degrees of ^r , J. Reine Angew. Math. 817 (2024), 153–212
2024
-
[28]
C. Lian, R. Pandharipande, Enumerativity of virtual Tevelev degrees , Ann. Sc. Norm. Super. Pisa Cl. Sci., (2023). To appear
2023
-
[29]
J. Li, G. Tian. Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties , J. Amer. Math. Soc. 11 (1998), 119 - 174
1998
-
[30]
Manolache, Virtual pull-backs , J
C. Manolache, Virtual pull-backs , J. Algebraic Geom. 21 (2012), 201-245
2012
-
[31]
Marian, On the intersection theory of Quot schemes and moduli of bundles with sections, J
A. Marian, On the intersection theory of Quot schemes and moduli of bundles with sections, J. Reine Angew. Math. 610 (2007), 13-27
2007
-
[32]
Marian, D
A. Marian, D. Oprea, Virtual intersections on the Quot scheme and Vafa-Intriligator formulas , Duke Math. J. 136 (2007), 81–113
2007
-
[33]
Marian, D.Oprea, R
A. Marian, D.Oprea, R. Pandharipande, The moduli space of stable quotients, Geom. Topol. 15 (2011), 1651 - 1706
2011
-
[34]
M. Popa, M. Roth, Stable maps and Quot schemes, Invent. Math. 152 (2003), no. 3, 625–663
2003
-
[35]
Rasul, R
P. Rasul, R. Sebastian, Irreducibility of some nested Quot schemes, arXiv:2404.05532
-
[36]
Riedl and D
E. Riedl and D. Yang, Kontsevich spaces of rational curves on Fano hypersurfaces, J. Reine Angew. Math. 748 (2019): 207–225
2019
-
[37]
Sawin, The asymptotic in Waring’s problem over function fields via singular sets in the circle method , arXiv:2412.14053
W. Sawin, The asymptotic in Waring’s problem over function fields via singular sets in the circle method , arXiv:2412.14053
-
[38]
Sinha, The virtual intersection theory of isotropic Quot schemes , J
S. Sinha, The virtual intersection theory of isotropic Quot schemes , J. Geom. Phys. 198 (2024), 105-128
2024
-
[39]
Siebert, G
B. Siebert, G. Tian, On quantum cohomology rings of Fano manifolds and a formula of Vafa and Intriligator , Asian J. Math. (1997), no. 4, 679–695
1997
-
[40]
Weyman, Cohomology of Vector Bundles and Syzygies , Cambridge University Press (2003)
J. Weyman, Cohomology of Vector Bundles and Syzygies , Cambridge University Press (2003). itemize Let X_ be the degree hyperplane in ^r = G(r,r+1) . The expected dimension of \( _d(C, X_ \) and \( _d(C, G(r, r+1)) \) are (r- )d+(r-1)(1-g) and (r+1)d+r(1-g) respectively. For an...
2003
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.