{"id":"215960cb-10dc-4417-9d49-f9dbe0f62f02","arxiv_id":"1908.03170","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For several graph families of stable curves built from rational components, the associated conic is non-split, which implies the universal genus g curve has period and index 2g-2.","lead":"This paper studies conics attached to degenerate curves made of rational curves, and shows these conics fail to split in several cases. This yields a proof that the period and index of the universal genus g curve both equal 2g-2, a result previously obtained conditionally.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 8.2 base changes Theorem 1.2 to k'^τ without justification; non-splitness over kΓ does not imply non-splitness over a finite subextension of the splitting field.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing gap: Proposition 8.2 asserts a base change of non-splitness without proof. A non-split conic over a field can become split over a finite extension, and k'^τ is a finite extension of kΓ of degree g−1; no invariance under this extension is established. The central theorem 9.1 depends on Proposition 8.2 through the specialization argument in Section 9, so this is not a cosmetic issue. I found no independent machinery in the paper that repairs the step: Lemma 3.1 only says the associated conic commutes with base change, not that non-splitness is preserved, and Theorem 1.2 has no clause covering intermediate fixed fields. Other weaknesses, such as the citation to the unpublished [Ma19] for per(α)=g−1 and the informal 'one can explicitly check', are real but secondary; the base-change step is the minimal point on which the advertised application turns. A direct computation of the conic's Brauer class and its restriction to k'^τ would settle the matter in at least one of the listed graph families.","tokens_in":9839,"tokens_out":16431,"duration_ms":176450,"concrete_test":"For Γ the Theorem 1.2(3) circulant graph with g=5 (so [k'^τ:kΓ]=g−1=4), compute the Brauer class α=[CΓ] in Br(kΓ)[2] explicitly from the Stein factorization or from the construction in Corollary 5.4. Determine whether Res_{k'^τ/kΓ}(α)=0 in Br(k'^τ), e.g. by representing α as a quaternion algebra (a,b) and testing whether the quadratic extension kΓ(√a) (or the analogous splitting field) embeds into k'^τ. A Magma computation of the restriction map on the relevant global Brauer group can decide this directly. If the restriction is zero, the conic splits over k'^τ and Proposition 8.2's key premise fails; if nonzero, the step survives in this case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.2 proves only that the universal conic CΓ has no rational point over KΓ = kΓ. Proposition 8.2 needs the base change CΓ ×_{kΓ} k'^τ to be non-split, where k'/kΓ is the Galois splitting field of XΓ and τ is the reflection fixing v0. Non-splitness is not stable under base change: a conic over K becomes split over an extension L exactly when the associated quaternion algebra vanishes in Br(L), equivalently when its degree-2 splitting field embeds into L. The paper gives no argument that the conic's splitting field is not contained in the index-2 subfield k'^τ of k'. Whether this holds depends on the Galois character of the Brauer class of CΓ, which is never computed. The concern is not merely formal: since [k'^τ:kΓ] = g−1, for odd g this is an even-degree extension, precisely the situation in which a period-2 Brauer class can be killed. The proof simply cites Theorem 1.2 for a statement about a different field. Since Section 9's contradiction is built on Proposition 8.2's conclusion that Pic^1_{XΓ/kΓ} has no rational point, this unjustified base change is load-bearing: if CΓ splits over k'^τ, Lemma 8.1 cannot be applied and the no-rational-point conclusion for the special fiber collapses. Section 9 also relies on the unpublished thesis [Ma19, 4.3.4] for per(α)=g−1 and on an unproved 'explicit check', but these are secondary to the base-change gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces, for a stable totally degenerate curve over a field, the conic obtained as the Stein factorization of its normalization. It proves (Theorem 1.2) that this conic is non-split for four explicit families of dual graphs, using reductions to global fields and a clutching construction. It then applies this to the universal genus-g curve: Theorem 9.1 asserts that the Pic^1-torsor over Pic^0 has order 2g−2, and Theorem 9.2 concludes that period and index of the universal curve both equal 2g−2.","tokens_in":10206,"tokens_out":15113,"duration_ms":161753,"significance":"The reduction to global fields (Proposition 4.1), the clutching construction (Section 5), and the class-field theory lemma (Lemma 6.1) are useful tools and are mostly clearly presented. The claimed application to the period and index of the universal curve is significant and gives a route to a Franchetta-type statement. However, the link from the non-split conic theorem to the non-triviality of Pic^1 is not established in the written proof, and the final numerical computation relies on an unpublished thesis and an unproved assertion. As it stands, the advertised application is not proven.","major_comments":[{"comment":"The proof states that 'the conic X^ν_Γ/k'^τ is non-split by Theorem 1.2'. Theorem 1.2 is a statement about the conic CΓ over KΓ, not about the base change to the intermediate field k'^τ. Non-splitness of a conic is not stable under base change: a quaternion algebra can split over an even-degree extension, and [k'^τ : kΓ] = g−1 is even for odd g. The paper gives no computation of the Galois character of the Brauer class of CΓ that would rule out this splitting. Since Lemma 8.1 and the contradiction in Section 9 depend on having a non-split conic over k'^τ, this is a load-bearing gap.","section":"§8, Proposition 8.2"},{"comment":"The sentence 'One can explicitly check that the class of the torsor [Pic^1_{X/k}] ... maps to the obstruction class α' is an unproved assertion, and the subsequent 'per(α)=g−1' is cited to [Ma19, 4.3.4], an unpublished thesis. Both facts are necessary to conclude that the period is a multiple of g−1 and hence that the order of the torsor is 2g−2. The reader is left without a verifiable proof of this key step.","section":"§9"},{"comment":"The proof of Theorem 1.2 says 'One verifies Lemma 6.1 holds for all cases in Theorem 1.2', but the construction that follows explicitly produces only the complete-graph case K5. Cases (1), (3), and (4) are not given the same explicit treatment; in particular the relevant subgroups G2 and G3 and the element g0 from Lemma 6.1 are not identified for those cases. As a result, Theorem 1.2 is not proved as stated.","section":"§7"}],"minor_comments":[{"comment":"The notation k'^τ is used without definition; it should be explicitly identified as the fixed subfield of the reflection τ.","section":"§8"},{"comment":"The proof of Lemma 8.1 is terse: the construction of the isomorphism A and its descent to k are asserted rather than shown, making the lemma harder to check than necessary.","section":"§8, Lemma 8.1"},{"comment":"In the diagram of Lemma 6.1, the notation for the invariant maps and the restriction map ρ is compressed; naming the maps explicitly would improve readability.","section":"§6, Lemma 6.1"},{"comment":"The abstract contains typographical artifacts such as 'T otally' and 'associa ted' that should be corrected.","section":"Abstract"}],"recommendation":"reject","confidential_remarks":"The manuscript requires substantial revision before it can be accepted. The reliance on an unpublished thesis for a central numerical input is a serious concern; the author should either include a proof of per(α)=g−1 or supply an independent verification. The base-change step in Proposition 8.2 appears not merely unproved but generally false for the stated reason, since non-splitness of a conic can disappear over an even-degree extension. This gap is load-bearing for the main application, so I recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Qixiao Ma's paper introduces a genuinely new construction: the conic associated to a totally degenerate curve via Stein factorization of its normalization. The non-splitness results for the specific graph families (circulant, K5, etc.) appear to be new, and the K5 case is argued in a way that looks sound. The reductions via global fields and clutching are standard but cleanly executed. If Theorem 1.2 stands, it is a solid contribution.\n\nThe soft spot is in Section 8. Proposition 8.2 needs the conic X^ν_Γ / k'^τ to be non-split, but Theorem 1.2 only proves non-splitness over the original function field kΓ. Non-splitness of a conic is not preserved under base change: it fails exactly when the extension contains the conic's degree-2 splitting field. The paper never computes that splitting field nor shows it is not contained in k'^τ. This is not a technicality. For odd g, [k'^τ : kΓ] = g−1 is even, precisely the situation where a period-2 Brauer class can be killed. The stress-test note is right that this is load-bearing, because the contradiction in Section 9 relies on Pic^1 having no rational point after this base change.\n\nThere is also a secondary reliance on the unpublished thesis [Ma19, 4.3.4] for per(α)=g−1 and on an 'explicit check' that the torsor class maps to the obstruction class. These are at least references to the author's own work, but they leave the preprint incomplete.\n\nThe conic method is interesting and may be salvageable. The period-index application as written is not established. This paper is for a specialist in Franchetta-type problems or Brauer groups of function fields. It deserves a serious referee rather than a desk rejection; if the missing base-change argument can be supplied and the thesis result made available, the result would be a meaningful advance. I recommend sending it to peer review with the expectation of major revision.","headline":"A promising new conic method with a real proof gap in the advertised period-index application.","tokens_in":10690,"tokens_out":5049,"would_cite":false,"duration_ms":48383,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H10","14F22","14H40"],"pacs":[],"model":"deepseek-v4-flash","headline":"For $g\\ge3$, the period and index of the universal genus-$g$ curve both equal $2g-2$, proved by showing the conic extracted from a totally degenerate curve is non-split.","keywords":["totally degenerate curves","stable curves","associated conic","Brauer group","class field theory","Picard torsor","period and index","universal curve"],"falsifier":"For one of the listed graphs, say the circulant graph with $g=7$, let $k'$ be the splitting field with dihedral Galois group and compute whether the conic $X^\\nu_\\Gamma$ has a rational point over the fixed field $k'^\\tau$ of a reflection; if it does, Proposition 8.2 and the period-index conclusion collapse, and equivalently the Brauer class of this conic would vanish after restriction to $k'^\\tau$.","tokens_in":9597,"feed_emoji":"📐","tokens_out":14671,"duration_ms":136537,"temperature":0.7,"pith_summary":"This paper studies stable curves whose geometric components are all smooth rational curves—totally degenerate curves—and extracts a conic from each by taking the Stein factorization of the normalization. The central claim is that for four specific dual graphs, this associated conic cannot be split, meaning it has no rational point. From that geometric fact the paper derives the exact arithmetic conclusion that for every genus $g\\ge3$ the universal genus-$g$ curve has period and index both equal to $2g-2$. These invariants measure the smallest degree of a rational zero-cycle and the order of the Picard torsor, so the equality gives the sharpest possible general bound for the universal curve and reproves the value predicted by the strong Franchetta conjecture.","feed_headline":"Universal genus-g curve has period and index 2g−2","feed_subtitle":"A conic built from the curve's normalization reveals the Brauer class that fixes both invariants.","key_machinery":"The central object is the associated conic $C_\\Gamma=\\operatorname{Spec}((f^\\nu)_*\\mathcal{O}_{X^\\nu_\\Gamma})$ obtained by Stein factorization of the normalized universal curve. Its splitting behaviour is controlled by a Brauer class, and the proof machinery combines a reduction showing that splitting of the universal conic implies splitting for every curve with the same dual graph over a global field; a clutching construction that reverse-engineers a totally degenerate curve from a given conic and a double cover; and a class-field-theoretic criterion guaranteeing an index-two Brauer class whenever some element of the automorphism group has all its orbits on the relevant coset space of even size. The conic is load-bearing because its non-splitness is what later rules out rational points on $\\operatorname{Pic}^1_{X_\\Gamma/k_\\Gamma}$.","core_discovery":"The paper's central discovery is that a purely combinatorial datum—the dual graph $\\Gamma$ of a totally degenerate curve—can force the associated conic $C_\\Gamma$ to be non-split. The conic is obtained by normalizing the universal curve $X_\\Gamma$ and taking the Stein factorization of the structure morphism, so its base is the field $K_\\Gamma$ of global sections of the normalization. By reducing the splitting question to curves over global fields, the paper identifies a Brauer class of index two coming from class-field-theoretic orbit data in the automorphism group of $\\Gamma$, and uses clutching to build a totally degenerate curve whose associated conic realizes exactly that class. The same non-split conic is then fed into the Picard scheme, producing a torsor $\\operatorname{Pic}^1_{X_\\Gamma/k_\\Gamma}$ without a rational point; specialization shows that $[\\operatorname{Pic}^1_{X/k}]\\in H^1(k,\\operatorname{Pic}^0_{X/k})$ has order $2g-2$ for the universal genus-$g$ curve, and hence the period and index both equal $2g-2$.","pith_inferences":["The orbit-size criterion behind Lemma 6.1 might extend to any admissible graph whose automorphism group contains an element of $2$-power order not contained in the stabilizer of a vertex; the four listed graphs could be instances of a wider combinatorial rule.","Because the reduction passes through global fields, explicit computation of the associated Brauer class for small $g$ would give a concrete Hasse invariant that could be checked locally, offering a direct test of the non-splitting step.","The same conic machinery could be used to study higher-degree components $\\operatorname{Pic}^d$ and to detect rational points of degree below $2g-2$ on other moduli spaces of curves, extending the method beyond the universal family.","One could try to prove the missing base-change step directly: if the conic splits over the reflection fixed field $k'^\\tau$, Proposition 8.2 would fail, so a computation of the conic's Brauer class over that subfield is the natural next experiment."],"forward_implications":["For the four graph families in Theorem 1.2, every totally degenerate curve with one of those dual graphs has a non-split associated conic, independent of the base field.","For every $g\\ge3$, the universal genus-$g$ curve has no line bundle of degree $g-1$ defined over the base field, so the torsor $[\\operatorname{Pic}^1_{X/k}]$ has exact order $2g-2$.","The index of the universal genus-$g$ curve is exactly $2g-2$, meaning the smallest degree of a closed subscheme is $2g-2$.","Any smooth curve that specializes to one of the totally degenerate curves constructed here inherits the absence of rational points on the corresponding Picard component.","The result confirms the period-index value for the universal curve predicted by the strong Franchetta conjecture."],"supporting_citations":[{"why":"Supplies the Stein factorization theorem that defines the associated conic and the section-closure argument used for specializing sections.","marker":"[Har77]"},{"why":"Provides the push-out/clutching construction that turns a conic and a double cover into a totally degenerate curve with a prescribed dual graph.","marker":"[Sch05]"},{"why":"Gives the local-global principle for Brauer groups used in Lemma 6.1 to produce the index-two Brauer class.","marker":"[CF86]"},{"why":"Supplies Chebotarev and the decomposition-group orbit bijections used to find places of even residue degree.","marker":"[Neu99]"},{"why":"States that period equals index for Brauer classes over global fields, converting the period-two class into a conic of index two.","marker":"[Pie82]"},{"why":"Provides the specialization of line bundles from a smooth degeneration to a totally degenerate special fiber used in Section 9.","marker":"[Bak08]"},{"why":"Gives the theorem that the period of the Picard torsor divides the index, used to turn period 2g-2 into index 2g-2.","marker":"[LT58]"},{"why":"Supplies the computation that the obstruction class has period g-1, used to pin down the period of the torsor.","marker":"[Ma19]"},{"why":"Justifies via cohomology and base change that Stein factorization and the associated conic commute with arbitrary base change.","marker":"[Mum08]"},{"why":"Provides the flat morphism from a power series ring to the moduli stack used to specialize rational points from the generic to the special fiber.","marker":"[Sta19]"}],"fun_headline_variants":["Non-split conic fixes period and index at 2g−2","Stein factorization conic gives period=index=2g−2","Conic from normalization pins both invariants to 2g−2","Universal curve's period and index equal 2g−2 via conic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the Picard torsor is nontrivial assumes that the conic $X^\\nu_\\Gamma$ remains non-split after base change to the fixed field $k'^\\tau$ of a reflection in the automorphism group, even though Theorem 1.2 only proves non-splitness over the larger function field $k_\\Gamma$; the paper gives no argument that non-splitness survives this base change.","fun_headline_variants_meta":{"raw":{"variants":["Non-split conic fixes period and index at 2g−2","Stein factorization conic gives period=index=2g−2","Conic from normalization pins both invariants to 2g−2","Universal curve's period and index equal 2g−2 via conic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000686,"raw_usage":{"total_tokens":3053,"prompt_tokens":831,"completion_tokens":2222,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":447,"completion_tokens_details":{"reasoning_tokens":2141}},"tokens_in":447,"tokens_out":2222,"duration_ms":18192,"temperature":1.0,"reasoning_tokens":2141,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:23:44.850316+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For one of the listed graphs, say the circulant graph with $g=7$, let $k'$ be the splitting field with dihedral Galois group and compute whether the conic $X^\\nu_\\Gamma$ has a rational point over the fixed field $k'^\\tau$ of a reflection; if it does, Proposition 8.2 and the period-index conclusion collapse, and equivalently the Brauer class of this conic would vanish after restriction to $k'^\\tau$.","supporting_citations":[],"review_version":1}