{"id":"bc2e829c-3a6c-4d92-8a3d-1fc1ccc1b238","arxiv_id":"2603.14881","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Improved Kobayashi hyperbolicity bounds: generic surfaces in P^3 of degree >=17 and curve complements in P^2 of degree >=12, via vanishing of negatively twisted invariant 2-jet differentials.","lead":"This paper proves that very generic surfaces of degree at least 17 in projective 3-space are Kobayashi hyperbolic and that complements of generic curves of degree at least 12 in the plane are Kobayashi hyperbolic. These results lower longstanding degree thresholds using new vanishing theorems for invariant 2-jet differentials proved via algebraic reduction and computer algebra.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Computer-algebra verification of vanishing for negatively twisted invariant 2-jet differentials at the claimed degrees","rationale":"The reader's weakest assumption correctly isolates the computational verification as the single load-bearing step. The abstract gives no indication of other gaps (e.g., no hidden analytic estimates or unproven lemmas), so the only concrete risk is whether the reported vanishing is accurate. Verifying the computation independently would either confirm the result or falsify the degree improvement.","tokens_in":1825,"tokens_out":340,"duration_ms":17818,"concrete_test":"Re-implement the algebraic reduction and the subsequent Gröbner-basis or linear-algebra step for the (m,t)=(3,1) case at degree 17 in an independent computer-algebra system (e.g., Macaulay2 instead of the original package); if the computed dimension of the space of sections is nonzero, the claimed vanishing fails and the hyperbolicity bound cannot be deduced.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The hyperbolicity statements require that the space of invariant 2-jet differentials with the stated negative twist vanishes for generic hypersurfaces of degree 17 (compact) and 12 (logarithmic). The paper obtains this vanishing by an algebraic reduction followed by a computer-algebra check. If that check either (a) fails to detect a nonzero section that exists or (b) the reduction omits some monomial classes that survive the relations, then the required vanishing does not hold and the degree bounds do not follow. No independent re-implementation or formal certificate is supplied, so the computational step is the least secure link in the chain.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to establish new vanishing theorems for negatively twisted invariant 2-jet differentials on generic hypersurfaces in P^3 (compact case) and on the complement of generic curves in P^2 (logarithmic case). These vanishings are obtained via an algebraic reduction to a finite-dimensional space of monomials followed by computer-algebra verification, and are used to prove that a very generic surface in P^3 of degree at least 17 is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree at least 12 is Kobayashi hyperbolic, improving the previous records of 18 and 14.","tokens_in":1962,"tokens_out":672,"duration_ms":37194,"significance":"If the computational verification is reliable, the results would constitute a meaningful advance in the 2-jet approach to the Kobayashi conjecture in dimension two, lowering the known thresholds for hyperbolicity and providing explicit vanishing statements at degrees closer to the conjectural limits (d=15 compact, d=11 logarithmic). The byproduct concerning nonzero sections for hyperelliptic-type equations at lower degrees also supplies concrete geometric information about the jet differential spaces.","major_comments":[{"comment":"The central vanishing statements (used to derive the hyperbolicity bounds): the algebraic reduction plus computer-algebra check is the sole evidence that the space of invariant 2-jet differentials with the stated negative twist is zero for generic hypersurfaces of degree 17 (compact) and 12 (logarithmic). No explicit computational certificate, Gröbner-basis output, or dimension table is supplied, and no independent re-implementation is referenced, so it is impossible to confirm that every monomial class surviving the relations has been checked and that no nonzero section was missed.","section":"proof of the main vanishing theorem"},{"comment":"The byproduct claim that nonzero negatively twisted invariant 2-jet differentials exist for (m,t)=(3,1) when the equation is of hyperelliptic type and degree at least 15 (compact) or 11 (logarithmic): this is presented as an unexpected output of the same computational pipeline, yet no sample nonzero section or explicit basis element is exhibited, leaving the geometric interpretation of these special differentials unsupported by concrete data.","section":"computational results section"}],"minor_comments":[{"comment":"The abstract and introduction refer to 'the thresholds for the existence of such differentials' as d=15 and d=11; a brief sentence recalling the precise statement of these classical thresholds (with citation) would help readers unfamiliar with the 1995 Santa Cruz lectures.","section":"introduction"},{"comment":"Notation for the twisting parameter t and the jet order m is introduced without a consolidated table; adding a short table of the pairs (m,t) for which vanishing is claimed would improve readability.","section":"notation subsection"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's reliance on a single, non-certified computer-algebra run for the load-bearing vanishing statements raises a reproducibility concern that is appropriate to flag for the editor; the authors should be asked to deposit the source code and raw output files in a public repository as a condition of acceptance."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments, which highlight important aspects of the computational verification in our work. We address each major comment below and commit to revisions that will improve transparency and verifiability without altering the main results.","responses":[{"response":"We agree that the absence of explicit computational certificates limits independent verification. In the revised manuscript we will add a dedicated subsection (new Section 4.3) that includes: (i) the precise Macaulay2 code for the Gröbner-basis computations on the reduced monomial spaces, (ii) a dimension table listing the vector-space dimensions before and after imposing the relations for both the compact (d=17) and logarithmic (d=12) cases, and (iii) a link to a supplementary file containing the full scripts and output logs. The algebraic reduction itself is already spelled out in Section 3; the added material will confirm that the surviving monomial classes are empty.","revision_made":"yes","referee_comment":"The central vanishing statements (used to derive the hyperbolicity bounds): the algebraic reduction plus computer-algebra check is the sole evidence that the space of invariant 2-jet differentials with the stated negative twist is zero for generic hypersurfaces of degree 17 (compact) and 12 (logarithmic). No explicit computational certificate, Gröbner-basis output, or dimension table is supplied, and no independent re-implementation is referenced, so it is impossible to confirm that every monomial class surviving the relations has been checked and that no nonzero section was missed."},{"response":"We concur that an explicit example would strengthen the geometric discussion. In the revision we will insert a new Example 5.2 that exhibits a concrete nonzero section for the hyperelliptic-type case at the lowest degree (logarithmic d=11). The section is given explicitly as a linear combination of monomials in the 2-jet coordinates with coefficients in the base ring; its nonvanishing can be checked by direct substitution into the defining equation. This concrete data will support the claimed geometric interpretation.","revision_made":"yes","referee_comment":"The byproduct claim that nonzero negatively twisted invariant 2-jet differentials exist for (m,t)=(3,1) when the equation is of hyperelliptic type and degree at least 15 (compact) or 11 (logarithmic): this is presented as an unexpected output of the same computational pipeline, yet no sample nonzero section or explicit basis element is exhibited, leaving the geometric interpretation of these special differentials unsupported by concrete data."}],"tokens_in":1598,"tokens_out":552,"duration_ms":35409,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper improves the known degree thresholds for Kobayashi hyperbolicity in dimension two. A very generic surface in P^3 of degree at least 17 is now shown to be hyperbolic, and the complement of a generic curve in P^2 of degree at least 12 is hyperbolic. These beat the prior records of 18 (Paun) and 14 (Rousseau) and move closer to the d=15 and d=11 limits that Demailly identified in 1995 as the natural stopping points for 2-jet methods.","headline":"They push the explicit 2-jet hyperbolicity bounds to 17 for surfaces and 12 for complements by getting vanishing via algebraic reduction plus computer algebra.","tokens_in":2479,"tokens_out":187,"would_cite":false,"duration_ms":23309,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Jet-differential vanishing for hyperbolicity bounds unrelated to RS cost or forcing","alignment":"orthogonal","rationale":"The paper's core machinery (Demailly-Semple tower, invariant 2-jet differentials, algebraic reduction to finite linear systems, Maple verification of vanishing for specific (m,t) pairs, slanted vector fields) operates entirely within complex/algebraic geometry. It never invokes a recognition cost J(x), golden-ratio fixed points, 8-tick periodicity, or any parameter-free derivation of constants. No RS theorem (e.g., reality_from_one_distinction, Jcost positivity, phi-ladder, AlexanderDuality D=3 forcing) is paralleled or contradicted.","tokens_in":66526,"confidence":"high","tokens_out":162,"duration_ms":8521,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A very generic surface in projective 3-space of degree at least 17 is Kobayashi hyperbolic.","keywords":["Kobayashi hyperbolicity","invariant 2-jet differentials","negatively twisted differentials","algebraic surfaces","projective space","vanishing theorems","computer algebra","degree bounds"],"falsifier":"Explicit construction of a nonzero negatively twisted invariant 2-jet differential on a very generic surface of degree 16 in P^3 would falsify the vanishing claim and thereby the hyperbolicity bound.","tokens_in":2729,"feed_emoji":"","tokens_out":752,"duration_ms":46223,"temperature":0.7,"pith_summary":"The paper establishes improved degree thresholds for Kobayashi hyperbolicity in dimension two by proving the vanishing of negatively twisted invariant 2-jet differentials. It shows that a very generic surface in P^3 of degree 17 or higher is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree 12 or higher is also Kobayashi hyperbolic. These results improve long-standing bounds of 18 and 14 respectively. The proofs rest on a combination of algebraic reduction and computer algebra verification that reaches the theoretical thresholds long recognized for 2-jet techniques. The work also identifies nonzero sections of such differentials in certain hyperelliptic cases at lower degrees.","feed_headline":"Generic surfaces of degree 17 in P^3 are Kobayashi hyperbolic","feed_subtitle":"Vanishing of negatively twisted 2-jet differentials improves the bound from 18 to 17 for surfaces and from 14 to 12 for curve complements.","key_machinery":"Negatively twisted invariant 2-jet differentials, whose vanishing is established by algebraic reduction combined with computer algebra verification.","core_discovery":"By proving the vanishing of negatively twisted invariant 2-jet differentials for degrees at least 17 in the compact case and at least 12 in the logarithmic case, the authors conclude that a very generic surface in P^3 of degree at least 17 is Kobayashi hyperbolic and that the complement of a generic curve in P^2 of degree at least 12 is Kobayashi hyperbolic. These vanishing statements are obtained through algebraic reduction followed by computer algebra verification. The same method additionally detects the existence of nonzero sections with weight pair (3,1) for hyperelliptic-type equations starting at degree 15 in the compact case and degree 11 in the logarithmic case.","pith_inferences":["The computational verification technique could be applied to test vanishing statements for jet differentials on threefolds or other higher-dimensional varieties.","Refinements of the same algebraic-computational pipeline might close the remaining gap to the full Kobayashi conjecture in dimension two.","The existence of nonzero sections in the hyperelliptic cases may indicate special geometric features of those jet spaces that warrant separate study."],"forward_implications":["A very generic surface in P^3 of degree 17 or higher is Kobayashi hyperbolic.","The complement of a generic curve in P^2 of degree 12 or higher is Kobayashi hyperbolic.","The thresholds long recognized since 1995 for 2-jet techniques are now attained.","Nonzero negatively twisted invariant 2-jet differentials exist for hyperelliptic-type equations of degree at least 15 in the compact case and at least 11 in the logarithmic case."],"fun_headline_variants":["Very generic surfaces in P3 hyperbolic for degree 17 and above","New vanishing results tighten hyperbolicity to degree 12 for curve complements","Improved Kobayashi bounds via invariant 2-jet differential vanishing","Degree thresholds drop to 17 for surfaces and 12 for P2 curve complements"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The algebraic reduction together with the computer algebra verification correctly detects the vanishing of all relevant negatively twisted invariant 2-jet differentials at the stated degrees without missing any nonzero sections.","fun_headline_variants_meta":{"raw":{"variants":["Very generic surfaces in P3 hyperbolic for degree 17 and above","New vanishing results tighten hyperbolicity to degree 12 for curve complements","Improved Kobayashi bounds via invariant 2-jet differential vanishing","Degree thresholds drop to 17 for surfaces and 12 for P2 curve complements"]},"model":"grok-4.3","cost_usd":0.005864,"raw_usage":{"total_tokens":2795,"prompt_tokens":845,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":58640500,"prompt_tokens_details":{"text_tokens":845,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1882,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":845,"tokens_out":68,"duration_ms":31557,"temperature":1.0,"reasoning_tokens":1882,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-15T10:50:01.813936+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Explicit construction of a nonzero negatively twisted invariant 2-jet differential on a very generic surface of degree 16 in P^3 would falsify the vanishing claim and thereby the hyperbolicity bound.","supporting_citations":[],"review_version":1}