{"id":"dce43805-66e8-4975-bbe1-29430456d084","arxiv_id":"1908.04140","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The elliptic Grothendieck-Springer resolution gives a simultaneous log resolution for the stack of all principal G-bundles on an elliptic curve, with proofs of elliptic Chevalley and Kostant-Steinberg isomorphisms.","lead":"This paper builds a new geometric object, the elliptic Grothendieck-Springer resolution, which untangles the stack of principal bundles on an elliptic curve into a smooth family with controlled singular fibres. It extends a known resolution of semistable bundles to all bundles and proves elliptic versions of three classical theorems from Lie theory.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.1.10(3) is internally inconsistent: D°_λ is defined by rational-component degree λ, but the quoted product uses M^+_{0,1}(G/B, μ) with μ undefined, so the divisor formula Corollary 3.3.8 and condition (3) are not supported as written.","rationale":"The reader's weakest assumption pointed at the quoted boundary structure of ~BunG (NCD and D°_λ product formula). This is the same load-bearing region I identified, so my agreement is partial rather than a new objection: I found a checkable symptom inside the displayed formula. The reason this is the single most load-bearing concern is that the entire simultaneous log resolution claim reduces, at the end (Corollary 4.4.7), to three ingredients: flatness/properness (not in doubt), density of the regular locus (Proposition 4.4.6), and the divisor/NCD condition. The last ingredient is the only one that uses the arithmetic of the boundary: the multiplicities in Corollary 3.3.8 and the normal-crossings property from Proposition 2.1.10. If Proposition 2.1.10(3) is not exactly right, those multiplicities are unverified. I did not find an irreparable contradiction; the mismatch looks like a typo in the statement (μ should be 0 in the degree and λ in the stable-map stack), and the surrounding proof indicates the intended statement. Therefore the appropriate verdict remains CONDITIONAL, not REJECT: the paper should correct the display, supply the missing derivation from [C]/[AO]/[D1], or include the relevant [D1] proof so that Corollary 3.3.8 can be checked independently.","tokens_in":56046,"tokens_out":17205,"duration_ms":185325,"concrete_test":"Concrete check: for G=SL_2, λ=α^∨, compute D°_λ directly from Definition 2.1.2 as the stack of maps E ∪_{x,p} P^1 → ξ_G/B with section degree −α^∨ and rational-component degree α^∨. Verify that its fibre over Bun^{−α^∨}_B is M^+_{0,1}(G/B, α^∨) and that the isomorphism of Proposition 2.1.10(3) is the one with μ=0 and stable-map degree λ. Then recompute the coefficient of D_λ in Corollary 3.3.8 via Theorem 3.3.7; if the coefficient is not ½(λ|λ), condition (3) of Definition 1.0.2 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The simultaneous log resolution property of Theorem 1.0.1 is verified in Corollary 4.4.7 using condition (3) of Definition 1.0.2, which in turn uses the divisor formula Corollary 3.3.8: ~χ^{-1}(0_{Θ^{-1}_Y}) = Σ_{λ∈X*(T)+} ½(λ|λ)Dλ. The boundary description behind that formula is Proposition 2.1.10. As printed, Proposition 2.1.10(3) asserts D°_λ ≅ ξ^uni_{B, μ−λ} ×_B M^+_{0,1}(G/B, μ), with μ never defined in the statement. The proof of the same proposition describes the right-hand side as a section of degree μ−λ together with a 1-pointed stable map of degree λ. Since D°_λ ⊂ ~BunG is contained in the degree-zero locus [σ_u]=0, the section degree must be −λ, not μ−λ for an arbitrary μ, and the stable-map degree must be λ, not μ. Thus the displayed isomorphism, taken literally, describes the wrong boundary component. This is not merely cosmetic: Proposition 2.1.16, the blow-down formula, and the derivation of the multiplicities in Theorem 3.3.7 all rely on the corrected description. If the intended formula is ξ^uni_{B,−λ} ×_B M^+_{0,1}(G/B, λ), the argument can likely be repaired; if the external results [C], [AO], [D1] do not supply exactly that statement, the divisor computation and condition (3) are unsupported. The paper defers the proof of the closely related Proposition 2.4.5 to [D1], so the text does not resolve the mismatch.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs the elliptic Grothendieck-Springer resolution for the stack Bun_G of principal G-bundles on an elliptic curve E over a base S. The main theorem (Theorem 1.0.1) asserts the existence of a commutative diagram relating ~Bun_G, Bun_G, and the quotient (hat Y//W)/G_m, and proves that it is a simultaneous log resolution in the sense of Definition 1.0.2. The proof is built on an elliptic Chevalley isomorphism (Theorem 3.1.4), a computation of the Picard group (Corollary 3.2.10), an explicit divisor formula for the pullback of the zero section (Corollary 3.3.8), and a Friedman-Morgan section theorem (Theorem 4.3.2). The paper also proves elliptic analogues of the Chevalley, Kostant, and Steinberg theorems.","tokens_in":56409,"tokens_out":8938,"duration_ms":95412,"significance":"If the main theorem is correct, this is a substantial contribution: it extends the semistable simultaneous resolution of Ben-Zvi and Nadler to the whole stack of principal bundles, gives a clean stacky formulation of elliptic Springer theory, and provides an explicit boundary divisor. The elliptic Chevalley isomorphism and the Friedman-Morgan section theorem are independently valuable. However, the current version is not fully self-contained and contains a load-bearing inconsistency in the description of the boundary divisor, so the result must be viewed as conditional pending repair.","major_comments":[{"comment":"The displayed isomorphism D°_λ ≅ ξ^uni_{B, μ−λ} ×_B M^+_{0,1}(G/B, μ) is internally inconsistent. The locus D°_λ is defined by requiring the total degree [σ_u] = 0 in Definition 2.1.2(2), so if the rational component has degree λ — as the proof of Proposition 2.1.10(3) and Proposition 2.1.16 both state — then the section on E must have degree −λ, not μ−λ, and the stable-map degree must be λ, not μ. The symbol μ is never defined in the statement; the proof says the stable map has degree λ while the statement says μ. The corrected formula should read D°_λ ≅ ξ^uni_{B,−λ} ×_B M^+_{0,1}(G/B, λ). This is not cosmetic: the divisor computation in Theorem 3.3.7, the multiplicity formula in Corollary 3.3.8, and hence condition (3) of Definition 1.0.2 in Corollary 4.4.7 all depend on this boundary description. The author should fix the statement and proof, and confirm that the external results [C], [AO], and [D1] supply exactly the corrected product description.","section":"§2.1, Proposition 2.1.10(3)"},{"comment":"Several load-bearing statements are quoted from the author's thesis [D1] without proof: smoothness of the blow-down morphism (Proposition 2.1.15), the codimension formula for Harder-Narasimhan loci (Proposition 2.3.10), the Bruhat-cell cover criterion (Proposition 2.4.5), ramified Galois descent for good line bundles (Proposition 2.5.6), and the refinement of Atiyah's classification (Theorem 4.2.6). These are used directly in the proofs of Theorem 3.1.4, Theorem 3.3.7, and Theorem 4.3.2, and therefore in Theorem 1.0.1. Remark 1.0.11 acknowledges this dependence. For a journal submission, the author should either include the missing proofs or state the exact theorems from the thesis that are being invoked, so that the main theorem is not conditional on an unpublished document.","section":"§2.1, §2.3, §2.5, §4.2"}],"minor_comments":[{"comment":"In the verification of condition (3), the paper cites Proposition 2.1.15, which states smoothness of the blow-down morphism Bl_B, rather than directly smoothness of ~χ. The logical step from smoothness of Bl_B to smoothness of ~χ away from the zero section should be stated explicitly.","section":"§4.4, Corollary 4.4.7"},{"comment":"The proof invokes [D1, Lemma 4.5.7] to conclude flatness of the total-space morphism from the isomorphism over the semistable locus; this step should be spelled out, since it is central to the flatness of ~χ.","section":"§3.3, proof of Proposition 3.3.5"},{"comment":"The extension argument for W-linearised line bundles assumes that every irreducible divisor in the complement of ~Bun^{ss,sreg}_G is pulled back from a divisor on Y; the paper refers to the proof of Proposition 3.1.16 for this, but the statement is not explicitly formulated there and should be made precise.","section":"§3.1, proof of Proposition 3.1.19(2)"}],"recommendation":"major_revision","confidential_remarks":"The central construction appears sound and the theorem is likely repairable, but the boundary-divisor inconsistency in Proposition 2.1.10(3) is a genuine load-bearing defect. The heavy reliance on the unpublished thesis [D1] also makes independent verification difficult. I would support publication after the author supplies the corrected statements and either includes or precisely locates the missing proofs."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Three things worth knowing. First, the main theorem is genuinely new: it builds a simultaneous log resolution over all of Bun_G, not just the semistable locus or the subregular cases, and it does so in a weakened sense of log resolution that the author explicitly flags rather than hides. Second, the elliptic Chevalley isomorphism (Theorem 3.1.4) and the refined Friedman-Morgan section theorem are solid, independent contributions that people will use. Third, the paper leans heavily on the author's thesis [D1]; a referee needs the thesis open, but the dependency is disclosed and does not look circular.\n\nThe best parts of the paper are the structure of the proof and the honest packaging. The construction of the fundamental diagram, the quadratic-form computation of Pic^W(Y)_good, and the divisor formula in Theorem 3.3.7 are detailed and credible. The explicit statement that the section theorem refines [FM2, Thm 5.1.1] is the right kind of attribution. The paper also handles stacky and rigidification issues carefully, and the weakened Definition 1.0.2 is not an overclaim: the author says exactly where it is weaker than Grojnowski-Shepherd-Barron and why.\n\nThe soft spots are two. First, Proposition 2.1.10(3) is, as printed, wrong: it writes D°_λ as ξ^uni_{B,μ−λ} ×_B M^+_{0,1}(G/B,μ) with μ never defined, while the proof and Proposition 2.1.16 both point to ξ^uni_{B,-λ} ×_B M^+_{0,1}(G/B,λ). This looks like a typo rather than a structural flaw, and the corrected formula is used consistently in the divisor computation and in Corollary 3.3.8. But it is load-bearing, so it has to be fixed before publication. Second, several technical propositions are quoted from [D1] rather than proved: smoothness of the blow-down, the codimension formula for Harder-Narasimhan loci, ramified Galois descent, and the refinement of Atiyah's classification. Those are real assumptions for a referee to check, but they are not the main theorem and they do not force the conclusion. The thesis appears to be publicly available, so the check can actually be made.\n\nWho is this for? Anyone working on elliptic Springer theory, moduli of principal bundles, or singularities of invariant-theory maps. The paper deserves a serious referee. I would send it out, with instructions to verify the cited thesis statements and to require a corrected Proposition 2.1.10(3) before acceptance.","headline":"A genuinely new elliptic Grothendieck-Springer resolution over all of Bun_G, with a real but likely typographical flaw in Proposition 2.1.10(3) and a heavy but honest dependence on the author's thesis.","tokens_in":56992,"tokens_out":2432,"would_cite":true,"duration_ms":27640,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D23","14H60","14E15","14L30","14N35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The elliptic Grothendieck–Springer resolution is a simultaneous log resolution of the whole stack of principal G-bundles.","keywords":["elliptic Grothendieck-Springer resolution","simultaneous log resolution","principal G-bundles","elliptic curves","Kontsevich-Mori compactification","elliptic Chevalley isomorphism","theta bundle","Friedman-Morgan section theorem"],"falsifier":"Specialize to $G=\\mathrm{SL}_2$ over an elliptic curve over an algebraically closed field. For a regular semistable bundle whose associated $T$-bundle is not fixed by the Weyl group, the theorem predicts that $\\psi^{-1}(\\xi_G)$ has exactly two reduced points, so counting points in the corresponding Kontsevich–Mori fibre would settle the isomorphism property. Independently, at the cone point the theorem predicts that the divisor $\\tilde\\chi^{-1}(0)$ is exactly $D_{\\alpha^\\vee}$ with multiplicity one; computing the pullback of $\\Theta_Y^{-1}$ along the blow-down map and checking this multiplicity would confirm or refute the simultaneous log resolution property.","tokens_in":55785,"feed_emoji":"📐","tokens_out":15038,"duration_ms":142813,"temperature":0.7,"pith_summary":"The paper claims that the classical Grothendieck–Springer simultaneous resolutions, which resolve the conjugation maps on a group and its Lie algebra, have an elliptic analogue. For a simply connected simple algebraic group $G$ and a genus-1 curve $E$, it constructs a commutative diagram whose total space is a Kontsevich–Mori compactification $\\widetilde{\\mathrm{Bun}}_G$ of the stack of degree-0 $B$-bundles, whose base is a weighted quotient of an abelian variety $Y$, and whose vertical map lands in the stack $\\mathrm{Bun}_G$ of all principal $G$-bundles. The central assertion is that this diagram is a simultaneous log resolution of the whole family: the fibres are described uniformly, singularities occur only along a normal-crossings divisor, and the fibre over the cone point of the base is exactly the locus of unstable bundles. If correct, it extends the known semistable simultaneous resolution to the entire stack $\\mathrm{Bun}_G$, with the unstable locus accounted for as the fibre over the cone point.","feed_headline":"One resolution covers all principal G-bundles on an elliptic curve","feed_subtitle":"It extends the semistable story to unstable bundles, with the cone point marking exactly the unstable locus.","key_machinery":"The load-bearing object is the Kontsevich–Mori compactification $\\widetilde{\\mathrm{Bun}}_G$ of $\\mathrm{Bun}_B^0$, the stack of degree-0 $B$-bundles. It parametrises triples $(\\xi_G,C,\\sigma)$ with $\\xi_G$ a principal $G$-bundle on the elliptic curve, $C$ a prestable genus-1 curve, and $\\sigma$ a stable map from $C$ to the flag bundle $\\xi_G \\times_G G/B$ with degree condition $[\\sigma]=0$. This stack is smooth, has $\\mathrm{Bun}_B^0$ as a dense open substack, and its complement is a normal-crossings divisor $D_B=\\sum_{\\lambda}D_\\lambda$; each smooth piece $D^\\circ_\\lambda$ is exhibited as a product of a universal $B$-bundle and a moduli of pointed stable maps to $G/B$. The smooth blow-down morphism $\\mathrm{Bl}_B:\\widetilde{\\mathrm{Bun}}_G\\to \\mathrm{Bun}_T^0\\to Y$ extends the natural projection and, combined with the $\\theta$ bundle, defines the diagonal morphism $\\tilde\\chi$; the simultaneous log resolution property is then proved from the normal-crossings structure of $D_B$, the explicit divisor formula for $\\mathrm{Bl}_B^*\\Theta_Y$, and the section-theoretic description of a slice.","core_discovery":"At the centre of the paper is Theorem 1.0.1: there exists an ample $W$-linearised line bundle $\\Theta_Y$ on the abelian variety $Y$ such that the diagram $\\widetilde{\\mathrm{Bun}}_G \\to \\mathrm{Bun}_G$ over $\\Theta_Y^{-1}/\\mathbb{G}_m \\to (\\hat{Y}/W)/\\mathbb{G}_m$ is a simultaneous log resolution with respect to the zero section of $\\Theta_Y^{-1}/\\mathbb{G}_m$. Here $\\widetilde{\\mathrm{Bun}}_G$ is the Kontsevich–Mori compactification of the stack of degree-0 $B$-bundles, $\\psi$ is the natural proper map to $\\mathrm{Bun}_G$, and $\\chi$ is a quotient map to the weighted projective base. The proof rests on two results: an elliptic Chevalley isomorphism identifying $\\mathrm{Pic}(\\mathrm{Bun}_G)$ with the good $W$-linearised line bundles on $Y$, and the Friedman–Morgan section theorem, which constructs an affine slice $Z \\cong \\hat{Y}/W$ inside the rigidified stack $\\mathrm{Bun}_{G,\\mathrm{rig}}$ on which the resolution restricts to the total space $\\Theta_Y^{-1}$. The paper also computes the singular divisor explicitly: the preimage of the zero section is $\\sum_{\\lambda\\in X^*(T)_+} \\tfrac12(\\lambda|\\lambda)\\,D_\\lambda$, and the preimage of the cone point under $\\chi$ is exactly the unstable locus in $\\mathrm{Bun}_G$.","pith_inferences":["The quadratic multiplicities $\\tfrac12(\\lambda|\\lambda)$ suggest that the monodromy of this log resolution around the zero section should be governed by the affine Weyl group of $G$; comparing that monodromy with the classical Springer correspondence is a natural next step.","The paper leaves the cuspidal and nodal degenerations of the elliptic curve open; repeating the divisor computation over the universal elliptic curve or over these singular families would test whether the construction is genuinely a family of log resolutions rather than a single-curve phenomenon.","Because $\\chi$ is flat and the regular locus is dense in every fibre, the diagram should support nearby-cycle and vanishing-cycle sheaves relative to the zero section, and matching those sheaf-theoretic invariants with the Harder–Narasimhan stratification would give a global check of the resolution."],"forward_implications":["The unstable locus of $\\mathrm{Bun}_G$ is no longer removed: it is exactly the fibre of $\\chi$ over the cone point of the weighted quotient.","The elliptic Chevalley isomorphism gives a complete description of $\\mathrm{Pic}(\\mathrm{Bun}_G)$ as $\\mathbb{Z}[\\Theta_{\\mathrm{Bun}_G}]\\oplus \\mathrm{Pic}(S)$, so every line bundle on the stack is a theta power up to base pullback and its sections are $W$-invariant sections on $Y$.","The Friedman–Morgan section theorem yields an affine slice $Z\\cong \\hat{Y}/W$ in $\\mathrm{Bun}_{G,\\mathrm{rig}}$, from which the paper deduces that the coarse quotient $\\chi$ is flat and that $\\hat{Y}/W$ is an affine space bundle over the base.","Over the zero section of $\\Theta_Y^{-1}$, the singular fibres have the explicit normal-crossings divisor $\\sum_{\\lambda}\\tfrac12(\\lambda|\\lambda)D_\\lambda$, so the resolution records the coroot-lattice geometry in its multiplicities."],"supporting_citations":[{"why":"Supplies the stable-map theory showing that ~Bun_G is an Artin stack and that ~Bun_G → Bun_G is proper with finite relative stabilisers.","marker":"[AO]"},{"why":"Gives the normal-crossings description of the degeneration space Deg_S(E) used to prove ~Bun_G is smooth and its boundary divisor D_B = ΣD_λ has the required form.","marker":"[C]"},{"why":"Origin of the parabolic-induction construction and the section theorem that the paper refines; the affine slice Z ≅ Ŷ/W is the main tool in proving the simultaneous log resolution property.","marker":"[FM2]"},{"why":"Identifies the coarse moduli space of semistable G-bundles with Y/W, the background fact the elliptic Chevalley isomorphism refines.","marker":"[FM1]"},{"why":"Provides the earlier partial elliptic resolution at subregular unstable bundles and the stronger definition of simultaneous log resolution that the paper weakens.","marker":"[GSB]"},{"why":"Supplies the semistable elliptic Grothendieck–Springer resolution that the paper extends from Bun_G^ss to all of Bun_G.","marker":"[BZN]"},{"why":"Identifies the weighted quotient (Ŷ/W) with affine space, which the section theorem uses to identify the base of the resolution.","marker":"[L]"},{"why":"Classification of semistable vector bundles on an elliptic curve, used to describe the Levi subgroup bundles appearing in the section theorem.","marker":"[A]"},{"why":"Supplies proofs of several structural statements used throughout, including smoothness of the blow-down morphism, Bruhat-cell descriptions, and the codimension of Harder–Narasimhan loci.","marker":"[D1]"}],"fun_headline_variants":["Elliptic Grothendieck-Springer: one log resolution for all principal bundles","Simultaneous log resolution for all G-bundles on an elliptic curve","One map resolves all principal bundles on an elliptic curve","Elliptic Chevalley gives a simultaneous resolution for all bundles"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on a structural description of the boundary of the Kontsevich–Mori space—that it is a normal-crossings divisor whose smooth pieces are products of a universal bundle and a moduli of stable maps—and if that description fails, the divisor computation that produces the log resolution collapses.","fun_headline_variants_meta":{"raw":{"variants":["Elliptic Grothendieck-Springer: one log resolution for all principal bundles","Simultaneous log resolution for all G-bundles on an elliptic curve","One map resolves all principal bundles on an elliptic curve","Elliptic Chevalley gives a simultaneous resolution for all bundles"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000906,"raw_usage":{"total_tokens":3928,"prompt_tokens":1008,"completion_tokens":2920,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":624,"completion_tokens_details":{"reasoning_tokens":2843}},"tokens_in":624,"tokens_out":2920,"duration_ms":20490,"temperature":1.0,"reasoning_tokens":2843,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:49:56.718208+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Specialize to $G=\\mathrm{SL}_2$ over an elliptic curve over an algebraically closed field. For a regular semistable bundle whose associated $T$-bundle is not fixed by the Weyl group, the theorem predicts that $\\psi^{-1}(\\xi_G)$ has exactly two reduced points, so counting points in the corresponding Kontsevich–Mori fibre would settle the isomorphism property. Independently, at the cone point the theorem predicts that the divisor $\\tilde\\chi^{-1}(0)$ is exactly $D_{\\alpha^\\vee}$ with multiplicity one; computing the pullback of $\\Theta_Y^{-1}$ along the blow-down map and checking this multiplicity would confirm or refute the simultaneous log resolution property.","supporting_citations":[],"review_version":1}