{"id":"7c809016-dce3-4592-a12e-0a39df6b22fb","arxiv_id":"2506.23671","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A point of the intersection of two quadrics is very stable exactly when the polynomial p(z) built from its coordinates has distinct roots.","lead":"This paper recasts a known integrable system on the intersection of two quadrics as a rank-2 Higgs bundle system on a projective line. It gives a sharp criterion for 'very stable' points and connects the system to moduli of Spin(2g) bundles and the geometric Langlands program.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 1 fails when p has a root at infinity: for μ=(0,1,2,3), x=(i,√3,i√3,1), p=6 but all integrable-system functions vanish on T^*_x X.","rationale":"The reader's weakest assumption (distinct μ_i for smoothness) is not the most dangerous issue: the paper explicitly assumes smoothness and states μ_i are distinct. My concern is the root-at-infinity case in Prop. 1. The proof of the 'if' direction uses the finite roots a_i to build the basis of H^0(P^1,O(n-1)); when p has degree < n there are no such roots, and the PGL(2) move changes the marked points and hence the variety, so the reduction is not an isomorphism of integrable systems. The example is minimal (n=1) and explicitly verifiable: all four Beauville functions s_i vanish on the entire cotangent fiber at x, so x is not very stable, directly contradicting Prop. 1. This is an internal inconsistency, not a disagreement with consensus. Since the central assertion is false as stated, the verdict should be REJECT, or at minimum CONDITIONAL with the theorem restricted to p having no root at infinity.","tokens_in":8254,"tokens_out":57432,"duration_ms":555013,"concrete_test":"For the displayed x and μ, compute s_1,...,s_4 from Eq. (3) on the family y(β) above and verify each is the zero polynomial in β. If confirmed, Prop. 1 is falsified. As a control, perturb x slightly so p has a finite simple root and check the same s_i are not all identically zero on the fiber, confirming the degeneracy is tied to the root at infinity.","verdict_should_be":"REJECT","load_bearing_attack":"The central criterion (Prop. 1) is false as stated. The proof's PGL(2)-invariance step is not justified: a Möbius transformation moves the marked points μ_i, so it changes X and the integrable system; no isomorphism preserving very-stability is exhibited. The 'including z=∞' clause is the failure point. Concrete n=1 counterexample: N=4, μ=(0,1,2,3), x=(i,√3,i√3,1) (squares (-1,3,-3,1)) lies on Q∩Q1, and p(z)=6 is constant, so Prop. 1 declares x very stable. But direct evaluation of the four functions s_i in Eq. (3) on the full cotangent fiber—parametrized by y=(1, -i√3/2+β√3, 2i√3β, i/2+3β), β∈C, which covers all classes modulo span{x,μx}—gives s_i(y)=0 identically for i=1,2,3,4. Hence every cotangent vector at x lies in the zero fiber of the integrable system, so x is maximally wobbly, not very stable. The root at infinity should be excluded or handled separately; the correct condition appears to be that p have exactly n distinct finite roots.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper interprets the Beauville–Hörng–Liu–Voisin integrable system on the cotangent bundle of the intersection X of two quadrics in terms of quasi-parabolic rank-2 Higgs bundles on P^1. It characterizes very stable points by the roots of the polynomial p(z) (Proposition 1), constructs commuting second-order differential operators on a square root of the canonical bundle, and identifies X with a moduli space of invariant Spin(2g) bundles following Ramanan and Benedetti–Hörng–Liu. The central claim is that a point x in Q∩Q1 is very stable if and only if p has distinct roots, including a possible root at infinity.","tokens_in":8534,"tokens_out":16786,"duration_ms":187954,"significance":"The paper is clearly written and valuable for its explicit formulas and for the reinterpretation in terms of parabolic Higgs bundles and Spin(2g) bundles; if the very-stability criterion were correct, it would give a concrete model of the wobbly locus as a discriminant, useful in geometric Langlands. The paper also makes a genuine link between the quadric intersection and recent work of Benedetti, Hörng, and Liu. However, the central criterion in Proposition 1 is false as stated; the explicit counterexample given in the report shows that a point with only a root at infinity is not necessarily very stable. This affects the main theorem and the proof's PGL(2)-invariance step. The remaining sections may be salvageable, but the central characterization requires substantial revision.","major_comments":[{"comment":"The criterion is false as stated. Take N=4, μ=(0,1,2,3), and x=(i,√3,i√3,1). Then Σ x_i^2=0 and Σ μ_i x_i^2=0, so x lies on Q∩Q1, and p(z)=6 is constant, i.e. p has only the simple root at infinity in the sense of the statement. The proposition therefore declares x very stable. But the cotangent fiber is one-dimensional and is covered by y(β)=(1, -i√3/2+β√3, 2i√3β, i/2+3β), β∈C; one checks x·y(β)=μx·y(β)=0 and substitution into Eq. (3) gives s_i(y(β))=0 for i=1,2,3,4 and every β. Hence every cotangent vector at x lies in the zero fiber of the integrable system, so x is maximally wobbly, not very stable. The flaw is in the PGL(2)-reduction in the proof: a Möbius transformation changes the marked points μ_i and the Hecke modification at infinity, and no isomorphism preserving very-stability is exhibited. The 'including z=∞' clause is exactly the failure point and needs a separate argument.","section":"Section 5, Proposition 1"},{"comment":"The determinant evaluation is asserted without proof and is load-bearing for the linear independence of the ℓ_i used in Proposition 1. The displayed formula also has an index typo: the last product should involve μ_ℓ−μ_m rather than μ_ℓ−μ_n. Since the argument must handle degeneracies such as x_i=0 or a_i=μ_j, this computation, with its precise hypotheses, needs to be supplied or replaced by a reference.","section":"Section 4, Eq. (8)"},{"comment":"The proof for a repeated root is only sketched. After choosing the basis of H^0(P^1,O(n−1)) by evaluation at a1,a3,...,an and derivative at a1, the text asserts that trΦ^2=(z−a1)^2(d0+…) makes all functions of the integrable system vanish; this needs an explicit statement of how the corresponding section of O(n−1) is zero, and the modification for several multiple zeros is not given. The argument should be completed, since this is the key step proving that points with multiple finite roots are not very stable.","section":"Section 5, converse in Proposition 1"}],"minor_comments":[{"comment":"The product in the determinant evaluation is written as ∏_{ℓ<m}(μ_ℓ−μ_n); the index should be m, not n, and the range of the product should be stated consistently.","section":"Section 4, determinant formula"},{"comment":"The claim that O(k) with k=−(N−4)/2 is a square root of the canonical bundle requires the existence of such a line bundle on X. For a smooth intersection of two quadrics with n≥3, Pic(X)=Z, and when N−4 is odd no such square root exists; for example, N=7 gives K_X=O(−3), which is not divisible by two in Pic(X). The differential-operator construction therefore needs an additional hypothesis or a spin-structure discussion.","section":"Section 6"},{"comment":"The statement that the complement of the very stable points is the inverse image of the discriminant hypersurface should be revisited after the correction to Proposition 1, since points with a root at infinity are not captured by the resultant of p and p′ in the usual affine sense.","section":"Section 5, Remark 2"}],"recommendation":"major_revision","confidential_remarks":"The counterexample to Proposition 1 is elementary and should be communicated to the authors promptly. It does not appear to invalidate the reinterpretation in Sections 2–3 or the link in Section 7, so revision rather than rejection seems appropriate, but the main theorem must be corrected and the missing determinant proof supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this is a solid research note, and the headline result, Proposition 1, looks right. The stress-test counterexample does not survive contact with the paper: the parametrized y is a linear combination of x and μx, so it represents the zero vector in the cotangent fiber. Evaluating s_i on it proves nothing. You need a y not in span{x, μx} to test wobbliness, and the paper's criterion handles the rest.\n\nWhat's genuinely new: the very-stable criterion for arbitrary n (previously only n=3 in [5]), the clean reinterpretation of the Beauville–Höring–Liu–Voisin system as a rank-2 quasi-parabolic Higgs system on P^1, and the differential-operator perspective in Section 6. The link to Benedetti et al. in Section 7 is mostly expository but useful — it makes the rank-2 nature of the Spin(2g) Higgs field visible.\n\nSoft spots, in proportion:\n\n1. Section 4's determinant evaluation is asserted without proof and has a typo ('μ_n' should be 'μ_m'). It's a standard Cauchy-like computation, so this is a cosmetic flaw, not a substantive one.\n\n2. Section 6 silently assumes the canonical bundle has a square root. The formula k = -(N-4)/2 gives an integer only for N even. For odd N, O(k) is not a line bundle on P^{N-1}, so the analytic-Langlands analogy only applies to even N (odd-dimensional X). That should be stated.\n\n3. The proof of Proposition 1 leans on a PGL(2) invariance claim that is asserted, not proved. I believe it's true — reparametrizing the pencil does not change X or the integrable system up to isomorphism — but a reader has to fill that in. The 'including z=∞' clause is handled by moving infinity, and the stress-test worry about that step is unfounded, as I said.\n\nThe paper is for people who work on integrable systems or geometric Langlands and want a concrete computable example. It deserves a serious referee. I'd want the typo fixed and the parity/PGL(2) issues clarified before publication.","headline":"A solid research note with a genuinely new very-stable criterion and a clean parabolic Higgs reinterpretation; the stress-test counterexample is wrong, but two or three spots need tightening.","tokens_in":9058,"tokens_out":12684,"would_cite":true,"duration_ms":136971,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H60","14H70","14N05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the intersection of two quadrics, a point is very stable exactly when one natural polynomial has distinct roots.","keywords":["intersection of two quadrics","integrable systems","Higgs bundles","quasi-parabolic bundles","very stable points","wobbly locus","geometric Langlands","hyperelliptic curves"],"falsifier":"On a smooth intersection with $N=5$ and distinct $\\mu_i$, take a point where $p$ has a double root, compute the resultant $\\operatorname{Res}(p,p')$, and solve the linear system $\\ell_i(y)=0$ for a nonzero cotangent vector $y$; if the resultant vanishes but no such $y$ exists, or vice versa, Proposition 1's criterion fails.","tokens_in":8044,"feed_emoji":"📐","tokens_out":12948,"duration_ms":115430,"temperature":0.7,"pith_summary":"This paper takes the explicit formula for the integrable system on the cotangent bundle of an intersection $Q\\cap Q_1$ of two quadrics and reinterprets it as the quasi-parabolic rank-2 Higgs bundle system on the projective line. In this language a point of the quadric intersection is very stable, meaning no nonzero cotangent vector makes all conserved quantities vanish, precisely when a single polynomial $p(z)=\\sum_i x_i^2\\prod_{j\\neq i}(z-\\mu_j)$ has distinct roots, counting $z=\\infty$ as a possible root. The payoff is a concrete description of the wobbly locus, the complement of the very stable points, as a discriminant hypersurface, together with a bridge from the classical geometry of quadrics to the geometric and analytic Langlands programmes.","feed_headline":"One polynomial's distinct roots flag very stable points on quadrics","feed_subtitle":"The result links the quadric integrable system to Higgs bundles and identifies the wobbly locus as a discriminant.","key_machinery":"The central object is the quasi-parabolic rank-2 Higgs bundle on $\\mathbb{P}^1$ with Higgs field $\\Phi=\\sum_{i=1}^N v_i\\otimes v_i/(z-\\mu_i)\\,dz$, where the $v_i$ live in a two-dimensional symplectic space and the $\\mu_i$ are the parameters of the pencil of quadrics. From it one forms the polynomial $p(z)=\\sum_i x_i^2\\prod_{j\\neq i}(z-\\mu_j)$, whose degree $n=N-3$ is the dimension of $X$; its roots $a_k$ are the points at which $\\Phi$ preserves the trivial subbundle. The Poisson-commuting functions of the system become $\\lambda_k^2=\\left(\\sum_i x_i y_i/(a_k-\\mu_i)\\right)^2$, so the integrable-system map factors as a linear isomorphism followed by a sum of squares. The determinant of the matrix linking these coordinates is a product of $x_i$, values $p(\\mu_i)$, and Vandermonde factors, so it is nonzero when all $x_i\\neq 0$ and the $\\mu_i$ and $a_k$ are distinct; the cases with $x_i=0$ are folded in by induction on $n$, and nilpotence is detected by the matrix form of $\\Phi$.","core_discovery":"The paper's central claim, Proposition 1, is that for a smooth intersection $X=Q\\cap Q_1$ of two quadrics, a point $(x_1,\\dots,x_N)$ of $X$ is very stable with respect to the integrable system if and only if the polynomial $p(z)=\\sum_{i=1}^N x_i^2\\prod_{j\\neq i}(z-\\mu_j)$ has distinct roots, with $z=\\infty$ counted as a root. The proof translates the system into a meromorphic Higgs field $\\Phi=\\sum_i v_i\\otimes v_i/(z-\\mu_i)\\,dz$ on the rank-2 bundle $O\\oplus O(-1)$ over $\\mathbb{P}^1$, whose degree-$n=N-3$ polynomial $p$ records the points where $\\Phi$ preserves the distinguished trivial subbundle. When all roots of $p$ are distinct, the map from the cotangent bundle to the base of the integrable system is a linear isomorphism followed by a sum of squares, hence proper, so the point is very stable; when $p$ has a multiple zero, a nonzero nilpotent Higgs field exists, so the point is wobbly. The paper then identifies the wobbly locus with the discriminant of $p$ and connects this rank-2 picture to $\\tau$-invariant $\\operatorname{Spin}(2g)$ bundles on a hyperelliptic curve.","pith_inferences":["The resultant criterion gives a direct computational test for very stability: evaluate $\\operatorname{Res}(p,p')$ at any point of $X$ with all $x_i\\neq 0$, and the point is wobbly exactly when the resultant vanishes, without needing to solve for cotangent vectors.","The roots $a_1,\\dots,a_n$ of $p$ provide separation-of-variables coordinates, so on the open set where they are distinct they should give action-angle coordinates for the integrable system and simplify the integration of its flows.","The formula for $p$ is algebraic in the coordinates $x_i$ and the parameters $\\mu_i$, so one could test numerically whether the discriminant locus varies continuously as the quadrics degenerate and whether the limiting wobbly locus matches the singular intersection case."],"forward_implications":["The wobbly locus is the inverse image of the discriminant hypersurface defined by the resultant of $p$ and $p'$ under the map $X\\to\\mathbb{P}^n$ sending $x$ to the squares $x_i^2$.","For $n=3$, the criterion recovers the known description of wobbly bundles on a genus-2 curve as a discriminant, matching the twistor Hecke eigensheaf picture in that case.","The same data define commuting second-order differential operators on a square root of the canonical bundle of $X$, giving a concrete model for the analytic Langlands correspondence.","Through the identification with $\\tau$-invariant $\\operatorname{Spin}(2g)$ bundles on a hyperelliptic curve, the rank-2 description provides a moduli space in which the nilpotent cone of the Higgs-bundle integrable system is compactified."],"supporting_citations":[{"why":"Supplies the explicit formula for the Poisson-commuting functions on $T^*X$ that the paper reinterprets as a Higgs bundle system.","marker":"[2]"},{"why":"Defines the parabolic integrable system on the cotangent bundle of a moduli space of bundles that this paper specializes to quadrics.","marker":"[9]"},{"why":"Introduces very stable points and the nilpotent cone, the concept Proposition 1 characterizes concretely.","marker":"[12]"},{"why":"Gives the equivalence between very stability and properness of the cotangent-to-base map used in Remark 1 after Proposition 1.","marker":"[14]"},{"why":"Identifies the genus-2 moduli space of stable bundles with the intersection of two quadrics, the $n=3$ case.","marker":"[13]"},{"why":"Treats the wobbly locus in genus 2 and observes the discriminant description that the paper recovers from its polynomial.","marker":"[5]"},{"why":"Shows the quadric intersection system is the $\\tau$-invariant $\\operatorname{Spin}(2g)$ Higgs bundle system on a hyperelliptic curve, linked in Section 7.","marker":"[3]"},{"why":"Provides the correspondence between $\\tau$-invariant orthogonal bundles and degenerate orthogonal bundles on $\\mathbb{P}^1$ used to construct the $\\operatorname{Spin}(2g)$ Higgs field.","marker":"[4]"},{"why":"Supplies the analytic Langlands correspondence setting that motivates the commuting differential operators on $K_X^{1/2}$.","marker":"[6]"},{"why":"Identifies odd-dimensional quadric intersections with moduli of $\\operatorname{Spin}(2g)$ bundles on hyperelliptic curves, upstream of the Section 7 link.","marker":"[15]"}],"fun_headline_variants":["Distinct roots flag very stable points on two quadrics","Very stable vs wobbly: a polynomial test on quadrics","Quadric stability: polynomial roots decide the fate","From quadrics to Higgs bundles: discriminant equals wobbly","Roots of a polynomial classify stability on quadric intersection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction presupposes that the two quadrics meet smoothly, so the parameters $\\mu_1,\\dots,\\mu_N$ are mutually distinct; the proof does not extend to singular intersections in which two of them coincide.","fun_headline_variants_meta":{"raw":{"variants":["Distinct roots flag very stable points on two quadrics","Very stable vs wobbly: a polynomial test on quadrics","Quadric stability: polynomial roots decide the fate","From quadrics to Higgs bundles: discriminant equals wobbly","Roots of a polynomial classify stability on quadric intersection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000251,"raw_usage":{"total_tokens":1543,"prompt_tokens":917,"completion_tokens":626,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":533,"completion_tokens_details":{"reasoning_tokens":544}},"tokens_in":533,"tokens_out":626,"duration_ms":6432,"temperature":1.0,"reasoning_tokens":544,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:35:21.071983+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a smooth intersection with $N=5$ and distinct $\\mu_i$, take a point where $p$ has a double root, compute the resultant $\\operatorname{Res}(p,p')$, and solve the linear system $\\ell_i(y)=0$ for a nonzero cotangent vector $y$; if the resultant vanishes but no such $y$ exists, or vice versa, Proposition 1's criterion fails.","supporting_citations":[{"cited_title":"doi:10.1112/mod.2024.3","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit formula for the Poisson-commuting functions on $T^*X$ that the paper reinterprets as a Higgs bundle system."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the parabolic integrable system on the cotangent bundle of a moduli space of bundles that this paper specializes to quadrics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces very stable points and the nilpotent cone, the concept Proposition 1 characterizes concretely."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the equivalence between very stability and properness of the cotangent-to-base map used in Remark 1 after Proposition 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identifies the genus-2 moduli space of stable bundles with the intersection of two quadrics, the $n=3$ case."},{"cited_title":"Twistor Hecke eigensheaves in genus 2","cited_arxiv_id":"2403.17045","evidence_quote":"Treats the wobbly locus in genus 2 and observes the discriminant description that the paper recovers from its polynomial."},{"cited_title":"Intersection of two quadrics: modular interpretation and Hitchin morphism","cited_arxiv_id":"2506.04707","evidence_quote":"Shows the quadric intersection system is the $\\tau$-invariant $\\operatorname{Spin}(2g)$ Higgs bundle system on a hyperelliptic curve, linked in Section 7."},{"cited_title":"Bhosle-Desale, Degenerate symplectic and orthogonal bundles on P1, Math","cited_arxiv_id":null,"evidence_quote":"Provides the correspondence between $\\tau$-invariant orthogonal bundles and degenerate orthogonal bundles on $\\mathbb{P}^1$ used to construct the $\\operatorname{Spin}(2g)$ Higgs field."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the analytic Langlands correspondence setting that motivates the commuting differential operators on $K_X^{1/2}$."},{"cited_title":"Indian Acad","cited_arxiv_id":null,"evidence_quote":"Identifies odd-dimensional quadric intersections with moduli of $\\operatorname{Spin}(2g)$ bundles on hyperelliptic curves, upstream of the Section 7 link."}],"review_version":1}