{"id":"f9855db2-d03f-406b-9517-a82c7a4c724e","arxiv_id":"2607.02080","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Defines parabolic Grassmann bundles and computes their Neron-Severi group and positivity cones over curves.","lead":"The paper defines the parabolic Grassmann bundle for a parabolic vector bundle over a smooth projective variety, generalizing prior parabolic projective bundles. It computes the Neron-Severi group along with the nef, pseudoeffective, and Mori cones when the base is a smooth projective curve, including for fiber products of two bundles.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the definitional step as the potential point of failure, but the construction is a routine extension of the cited reference and the subsequent cone calculations are standard once the NS basis is fixed. No load-bearing gap is visible.","tokens_in":1582,"tokens_out":322,"duration_ms":11592,"concrete_test":"Take the rank-2, degree-0 parabolic bundle on P^1 with one marked point of weight 1/2; explicitly construct the parabolic Grassmann bundle of rank-1 quotients, compute its NS group by hand, and check whether the nef cone described in the paper coincides with the cone generated by the tautological divisor and the pullback of O(1) from the base.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a direct generalization of the parabolic projective bundle construction from [BL] to the Grassmann case, followed by explicit computation of the Neron-Severi group and the three cones on the total space (and on the fiber product) when the base is a smooth projective curve. The argument proceeds by first defining the bundle via parabolic structures at marked points, then determining a basis for NS via the tautological classes and the pullbacks from the base, and finally describing the cones by positivity conditions on those classes. No internal inconsistency appears in the logical steps, and the specialization to curves reduces the problem to a surface or low-dimensional case where the Mori cone is generated by explicit curve classes.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper defines the parabolic Grassmann bundle associated to a parabolic vector bundle over a smooth projective variety, generalizing the parabolic projective bundle construction from [BL]. It determines the Neron-Severi group of this bundle and computes its nef, pseudoeffective, and Mori cones when the base is a smooth projective curve; the same cones are also computed for the fiber product of two such bundles over a curve.","tokens_in":1699,"tokens_out":345,"duration_ms":19063,"significance":"If the results hold, the explicit computation of the three cones on the total space (and on the fiber product) over curves supplies concrete, verifiable positivity data in a natural generalization of the projective-bundle case. The restriction to curves reduces the problem to low dimension where the Mori cone is generated by explicit curve classes, which is a strength of the work and may serve as a base case for higher-dimensional extensions.","major_comments":[],"minor_comments":[{"comment":"The abstract cites [BL] for the projective case; the introduction should include a brief recap of the key properties of the parabolic projective bundle that are being generalized, to make the extension self-contained.","section":"Introduction"},{"comment":"Notation for the tautological classes and the parabolic structure at marked points should be introduced with a short table or list before the NS-group computation begins.","section":null},{"comment":"The statement that the Mori cone is generated by explicit curve classes (mentioned in the reader's summary) should be accompanied by the precise curve classes in the text, even if the proof is routine.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript, the positive assessment of its significance, and the recommendation of minor revision. No major comments were listed in the report.","responses":[],"tokens_in":1051,"tokens_out":54,"duration_ms":7500,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's core move is to define the parabolic Grassmann bundle by extending the parabolic projective bundle construction from the cited reference, then compute its Neron-Severi group and the nef, pseudoeffective, and Mori cones when the base is a smooth projective curve. It repeats the exercise for the fiber product of two such bundles.\n\nThe explicit calculations are the useful part. The authors give a basis for the NS group built from tautological classes and base pullbacks, then describe the cones through positivity conditions on those classes. Specializing to curves lets them identify explicit curve classes that generate the Mori cone, which produces concrete data rather than abstract existence statements.\n\nThe limitation is the narrow scope: everything stays over curves, so the results are low-dimensional and the methods do not immediately carry over to higher-dimensional bases where the cones are harder to control. The argument rests on the new definition preserving the properties needed for the cone computations; that step looks standard but would need verification in the proofs. No circularity or internal contradictions show up in the outline.\n\nSpecialists working on parabolic bundles and positivity questions over curves would get direct value from the explicit generators and inequalities. A reader outside that niche would find the paper too specialized.\n\nIt deserves peer review. The computations are new, grounded in a direct generalization, and falsifiable enough to be worth referee time.","headline":"Defines parabolic Grassmann bundles over curves by generalizing the projective case, then computes explicit NS bases and the three cones plus the fiber-product version.","tokens_in":2157,"tokens_out":352,"would_cite":false,"duration_ms":15163,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The paper determines the Neron-Severi group and computes the nef, pseudoeffective, and Mori cones of parabolic Grassmann bundles over smooth projective curves, including for their fiber products.","keywords":["parabolic Grassmann bundle","Neron-Severi group","nef cone","pseudoeffective cone","Mori cone","fiber product","smooth projective curve","parabolic vector bundle"],"falsifier":"An explicit computation of the Mori cone for the parabolic Grassmann bundle of a rank-three parabolic vector bundle with one marked point over an elliptic curve that produces rays different from the predicted description.","tokens_in":2476,"feed_emoji":"","tokens_out":581,"duration_ms":32834,"temperature":0.7,"pith_summary":"The authors define the parabolic Grassmann bundle associated to a parabolic vector bundle over a smooth projective variety by generalizing the earlier parabolic projective bundle construction. Over a smooth projective curve they identify the Neron-Severi group and give explicit descriptions of the nef cone, the pseudoeffective cone, and the Mori cone. They repeat the calculations for the fiber product of two such bundles. These results matter because the cones classify positive divisors and possible contractions on the total space of the bundle.","feed_headline":"Parabolic Grassmann bundles over curves have explicit nef and Mori cones","feed_subtitle":"The Neron-Severi group and the three positive cones are computed for these bundles and for fiber products of two of them.","key_machinery":"The parabolic Grassmann bundle, formed by taking Grassmannians of subspaces in the fibers of a parabolic vector bundle while incorporating parabolic structures at marked points on the base.","core_discovery":"We define the parabolic Grassmann bundle associated to a parabolic vector bundle over a smooth projective variety, generalizing the construction of parabolic projective bundles. We determine its Neron-Severi group and compute its nef, pseudoeffective, and Mori cones over smooth projective curves. We also compute the corresponding cones for the fiber product of two parabolic Grassmann bundles over a smooth projective curve.","pith_inferences":["The cone descriptions could be used to study stability conditions or moduli spaces that involve parabolic Grassmann bundles.","The same generalization technique might produce cone computations for parabolic flag bundles of other types.","The results may extend to bases that are higher-dimensional varieties once the curve case is settled."],"forward_implications":["The nef and pseudoeffective cones on these bundles are described completely in terms of the parabolic data of the underlying vector bundle.","The Mori cone identifies the extremal rays along which the bundle space admits contractions.","The same explicit cone descriptions hold for the fiber product of any two parabolic Grassmann bundles over the same curve.","The Neron-Severi group computation makes intersection theory on the bundle space fully accessible."],"fun_headline_variants":["Nef and Mori cones for parabolic Grassmann bundles over curves","Positive cones computed for parabolic Grassmann bundles on curves","Cones of parabolic Grassmann bundles and fiber products over curves","Neron-Severi and Mori cones of parabolic Grassmann bundles","Explicit cones for parabolic Grassmann bundles and their products"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The parabolic structure at marked points allows the Grassmannian formation to preserve the properties needed for the cone computations to proceed exactly as in the projective bundle case.","fun_headline_variants_meta":{"raw":{"variants":["Nef and Mori cones for parabolic Grassmann bundles over curves","Positive cones computed for parabolic Grassmann bundles on curves","Cones of parabolic Grassmann bundles and fiber products over curves","Neron-Severi and Mori cones of parabolic Grassmann bundles","Explicit cones for parabolic Grassmann bundles and their products"]},"model":"grok-4.3","cost_usd":0.003136,"raw_usage":{"total_tokens":1620,"prompt_tokens":516,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":31362000,"prompt_tokens_details":{"text_tokens":516,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1023,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":516,"tokens_out":81,"duration_ms":9102,"temperature":1.0,"reasoning_tokens":1023,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T05:12:49.478667+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation of the Mori cone for the parabolic Grassmann bundle of a rank-three parabolic vector bundle with one marked point over an elliptic curve that produces rays different from the predicted description.","supporting_citations":[],"review_version":1}