{"id":"f5df24da-75d4-45f8-a1f6-7c7e56d90071","arxiv_id":"2404.15873","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Computes the integral Chow ring of H_{g,n} completely for n=1,2 and up to one class in degree 2 for 3≤n≤2g+2, with partial results for n=2g+3 and applications to M_{2,n}.","lead":"The paper computes the integral Chow ring of the stack of n-pointed hyperelliptic curves of genus g for n=1 and 2 completely, and partially for higher n up to 2g+2. A smart generalist might read it to see how algebraic invariants are determined for moduli spaces of curves.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the only place where an integral computation could fail (completeness of the relation ideal over Z). The paper's explicit tracking of the remaining order shows that this is the intended boundary of the result rather than an unexamined gap. No other load-bearing assumption (e.g., properness of the stack, excision sequences, or base-change behavior) appears to be used in a way that would invalidate the integral statement.","tokens_in":1643,"tokens_out":355,"duration_ms":18933,"concrete_test":"Re-derive the degree-2 part of the presentation for n=3 (the smallest case where the order is left undetermined) by enumerating all codimension-2 classes on the universal curve and checking whether any additional integral linear dependence appears beyond the one already isolated; if the order remains exactly as stated, the claim is unaffected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a computation of the integral Chow ring of the stack H_{g,n} in specified ranges, with the result for larger n stated only up to the additive order of one degree-2 class. The argument proceeds by exhibiting an explicit presentation (generators from the hyperelliptic involution and marked points, relations pulled back from the universal curve) and verifying that this presentation is complete over Z in the stated degrees. Because the paper works directly with integral coefficients and tracks the precise additive order of the remaining generator, the computation does not rest on a hidden rational-to-integral extension or on an unverified vanishing of torsion. No internal inconsistency or missing step in the relation-checking is visible from the structure of the argument.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript computes the integral Chow ring of the moduli stack H_{g,n} of n-pointed smooth hyperelliptic curves of genus g. Complete presentations (generators and relations over Z) are obtained for n=1 and n=2; for 3 ≤ n ≤ 2g+2 the ring is determined up to the additive order of a single class in degree 2; partial results are given for n=2g+3. Specializing to g=2 recovers results for CH^*(M_{2,n}) when 1 ≤ n ≤ 7.","tokens_in":1762,"tokens_out":376,"duration_ms":18304,"significance":"If the stated presentations are correct, the work supplies explicit integral generators and relations for these Chow rings, a concrete advance in the study of moduli stacks of curves. The precise tracking of the additive order of the remaining degree-2 class, together with the direct integral approach, is a notable strength. The reduction to the case of M_{2,n} for small n connects the results to an intensively studied low-genus moduli space.","major_comments":[],"minor_comments":[{"comment":"The abstract states the ranges of n for which complete or partial results are obtained, but does not indicate the method (e.g., pullbacks from the universal curve or explicit relation-checking) used to establish completeness of the presentations; a one-sentence outline would help readers locate the key arguments.","section":null},{"comment":"Notation for the generators coming from the hyperelliptic involution and the marked points is introduced gradually; collecting the full set of generators and their degrees in a single early table or proposition would improve readability.","section":"Introduction"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were provided in the report, so we have no points requiring point-by-point response or manuscript changes at this stage.","responses":[],"tokens_in":1191,"tokens_out":60,"duration_ms":11128,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that they produce explicit generators and relations for these integral Chow rings, staying over Z the whole time. For one or two marked points the presentation is complete; beyond that they isolate exactly where one class in degree 2 has undetermined additive order. When g=2 this covers the integral Chow ring of M_{2,n} up to seven points, which fills a gap left by earlier rational computations.","headline":"This paper computes the integral Chow ring of H_{g,n} completely for n=1,2 and up to one unknown order in degree 2 for 3≤n≤2g+2, with the g=2 case giving new data on M_{2,n}.","tokens_in":2208,"tokens_out":186,"would_cite":false,"duration_ms":23752,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Chow ring computation on hyperelliptic moduli stacks has no RS overlap","alignment":"orthogonal","rationale":"Paper computes integral Chow rings of H_{g,n} via explicit generators/relations from Picard groups and universal curves (Theorems 0.2–0.8, Prop. 1.8, Lemmas 4.7–4.21). RS framework derives J-cost, φ, 8-tick period, spacetime from one distinction (reality_from_one_distinction, Cost.FunctionalEquation.washburn_uniqueness_aczel, AlexanderDuality.alexander_duality_circle_linking). No shared machinery, cost functions, or constants; pure AG domain.","tokens_in":69050,"confidence":"high","tokens_out":162,"duration_ms":6835,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The integral Chow ring of the stack of n-pointed hyperelliptic curves is computed in full for n=1 and 2, and up to one degree-2 class for 3 up to 2g+2.","keywords":["integral Chow ring","hyperelliptic curves","moduli stacks","pointed curves","tautological classes","genus g","moduli of curves"],"falsifier":"An explicit cycle on H_{g,3} for small g whose self-intersection or order in the Chow group differs from the predicted value in codimension 2.","tokens_in":2533,"feed_emoji":"","tokens_out":728,"duration_ms":18549,"temperature":0.7,"pith_summary":"The paper determines the integral Chow ring of the moduli stack H_{g,n} that classifies smooth hyperelliptic curves of genus g with n marked points. For one or two marked points the ring is presented completely in every degree. For three to 2g+2 marked points the presentation is complete except for the precise additive order of a single generator in codimension 2. When g equals 2 the statements specialize to give the integral Chow ring of the moduli stack M_{2,n} for n up to 7. These calculations supply explicit generators and relations that control all intersection products on the stacks.","feed_headline":"Chow ring of pointed hyperelliptic stacks computed integrally","feed_subtitle":"Full for n=1,2; up to one degree-2 class for n up to 2g+2, including M_{2,n} for n≤7.","key_machinery":"The stack H_{g,n} of n-pointed smooth hyperelliptic curves of genus g, equipped with its universal curve and the tautological classes it carries.","core_discovery":"The integral Chow ring of H_{g,n} admits an explicit presentation generated by classes pulled back from the hyperelliptic stack together with classes coming from the universal curve; the relations hold integrally for n=1 and 2 in all degrees, and for 3≤n≤2g+2 they determine the ring except for the order of one codimension-2 class.","pith_inferences":["The computations suggest that integral torsion in these Chow rings appears only in low degree and is controlled by the geometry of the universal curve.","One could test the result by computing the order of the degree-2 class directly via localization or via the geometry of the hyperelliptic involution for small g.","The same method may extend to other moduli stacks whose Chow rings are generated by similar tautological classes."],"forward_implications":["All intersection numbers on H_{g,1} and H_{g,2} can be computed from the given presentation.","The same holds for M_{2,n} when n≤7.","For 3≤n≤2g+2 the ring structure is known except for possible 2-torsion or higher torsion in one class.","Partial results for n=2g+3 give bounds on further relations."],"fun_headline_variants":["Integral Chow ring of H_g,n computed explicitly for n=1,2","Presentation of Chow ring for pointed hyperelliptic stacks H_g,n","Integral relations for H_g,n Chow ring hold up to n=2g+2 except one class","Chow ring of M_2,n presented integrally for n<=7","Explicit generators for integral Chow ring of pointed hyperelliptic stack"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The usual generators and relations coming from the geometry of the hyperelliptic stack and its universal curve generate the full integral Chow ring without hidden torsion or extra relations that would change the additive order of the degree-2 class.","fun_headline_variants_meta":{"raw":{"variants":["Integral Chow ring of H_g,n computed explicitly for n=1,2","Presentation of Chow ring for pointed hyperelliptic stacks H_g,n","Integral relations for H_g,n Chow ring hold up to n=2g+2 except one class","Chow ring of M_2,n presented integrally for n<=7","Explicit generators for integral Chow ring of pointed hyperelliptic stack"]},"model":"grok-4.3","cost_usd":0.006601,"raw_usage":{"total_tokens":3043,"prompt_tokens":590,"num_sources_used":0,"completion_tokens":99,"cost_in_usd_ticks":66012000,"prompt_tokens_details":{"text_tokens":590,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2354,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":590,"tokens_out":99,"duration_ms":16689,"temperature":1.0,"reasoning_tokens":2354,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T01:52:42.110186+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit cycle on H_{g,3} for small g whose self-intersection or order in the Chow group differs from the predicted value in codimension 2.","supporting_citations":[],"review_version":1}