{"id":"fbe381d8-665f-4627-9c17-95b9168398db","arxiv_id":"2607.07355","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The all-genus Gromov-Witten theory of the affine binary dihedral Calabi-Yau threefold is identified with the Z2-equivariant topological recursion on the type-D logarithmic Toda curve.","lead":"This paper proves a mirror symmetry theorem for a non-toric Calabi-Yau orbifold, showing that its Gromov-Witten invariants at all genera are computed by an involution-equivariant topological recursion on a type-D Toda spectral curve. It extends the remodeling conjecture beyond the toric setting for the first time.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"The gauge-fixing algebra is sound; the load-bearing concern is whether the fixed-node boundary limit (Lemma 6.8) is correctly computed. A targeted numerical check at l=4 would settle it.","rationale":"The paper's central claim (Theorems 7.10, 7.14) depends on the R-matrix comparison (Theorem 6.14), which in turn depends on removing the residual diagonal gauge D via boundary limits (Proposition 6.13). The gauge-removal argument has two layers: (1) an algebraic layer (D₊+D₋=2 and symplecticity imply D₊=D₋=1) which is correct, and (2) an analytic layer (computing the boundary limits that produce D₊+D₋=2) which is delicate.\n\nThe reader's weakest_assumption targets layer (1), but the algebra there is sound. The real soft spot is layer (2), specifically Lemma 6.8, which computes the coefficientwise parity limit for fixed-node pairs. This lemma involves Weierstrass preparation, square-root cover compatibility, and a Hessian degeneration claim — all standard tools, but composed in a way that is hard to verify purely from the text.\n\nThe rest of the argument is on firmer ground: Proposition 6.1 (B-model R-matrix solves Dubrovin equation) uses the Rauch variational formula with a direct verification of the anti-invariant projection and explicit order estimates for puncture residues — these are checkable. Proposition 6.2 (flat-unit compatibility) uses a global residue theorem argument that is standard. The genus-zero Frobenius isomorphism (Theorem 5.7) combines existing theorems [BMS25, BG08, Hu13] with a scalar third-leg normalization. The graph comparison (Section 7) follows the established pattern with a parity twist that is verified by a clean sign count (Lemma 7.8).\n\nThe paper is novel and significant: the first all-genus remodeling theorem for a non-toric CY target. The proof strategy is sound and well-motivated. The CONDITIONAL verdict is appropriate because the analytic details in Section 6 — particularly Lemma 6.8 — are difficult to fully verify without independent computation. A targeted numerical check of Lemma 6.8 at l=4 would either confirm the boundary limit or reveal a problem, and would be substantially more decisive than further textual analysis.","tokens_in":61255,"tokens_out":7574,"duration_ms":385075,"concrete_test":"Numerically verify Lemma 6.8 for the binary dihedral group with l=4 (|Γ|=8) at the fixed node r=+1. Choose a specific transverse arc γ(ε) approaching κ_orb (e.g., κ_l = exp(a₊t) with a₊=1, remaining parameters at orbifold values), compute the smooth fixed-node Morse coefficients ĥ^{r,±}_k(ε) for k=1,2,3 by solving the local Morse equation ˆx(t,a)−ˆx(t_σ(a),a)=s² numerically, and check that (ĥ^{r,+}_k(ε)+ĥ^{r,−}_k(ε))/2 converges to ĥ^{r,main}_k as ε→0. If the ratio deviates from 1/2 at any order k, the parity-even boundary limit fails and the gauge-fixing argument collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader correctly identifies Proposition 6.13 (gauge fixing) as the most fragile link, but the specific concern — that the parity-even projection along a single arc might miss diagonal entries — does not land as stated. The algebraic trick is correct: D is base-constant (Lemma 6.11), so any single arc determines it; for fixed pairs, D₊ + D₋ = 2 combined with symplecticity D₊(z)D₊(−z) = 1 yields (D₊−1)² = 0 in a domain, hence D₊ = D₋ = 1. This is clean.\n\nThe actual load-bearing concern is one level deeper: the boundary limit computation in Proposition 6.9, which feeds the gauge-fixing argument. For free main labels, the limit is ordinary and follows from Proposition 6.2 (flat-unit compatibility) and Lemma 6.7 (main thimble unit series) — both of which rest on explicit Beta-integral computations that are verifiable. For fixed pairs, the limit depends on Lemma 6.8 (coefficientwise parity limit), which is the most analytically delicate step in the paper. Lemma 6.8 uses Weierstrass preparation on the local equation F_σ(t,s,a), lifting to the logarithmic square-root cover, tracking the Hessian degeneration (smooth fixed-node Hessian → half the central full-cover Hessian), and showing coefficientwise convergence of the odd Morse germ. Each individual step is standard, but the composition is intricate: if the Hessian factor-of-½ claim fails at any order k ≥ 2, or if the square-root cover compatibility breaks, the parity-even boundary limit would be wrong, and D₊ + D₋ = 2 would not hold. The gauge would then not be fully removed, and Theorem 6.14 would fail.\n\nThe paper provides no independent computational verification of Lemma 6.8 or of the R-matrix equality at any genus. The AI-assisted development disclosure (§1.8) is transparent but reinforces the value of such a check.","agreement_with_reader":"partial"},"referee_report":{"model":"glm-5.2","summary":"This paper proves a closed-string remodeling statement for the affine binary dihedral Calabi--Yau orbifold threefold $X = [C^2/Γ × C]$, where $Γ$ is a binary dihedral subgroup of $SU(2)$. This target lies outside the toric setting of the BKMP remodeling conjecture. The authors replace the toric mirror curve by the type-$D_l$ logarithmic Toda curve of Brini--Ma--Strachan, and replace ordinary Chekhov--Eynard--Orantin topological recursion by the $Z_2$-equivariant topological recursion of Giacchetto--Kramer--Lewański, run in the sign sector of the Toda-curve involution with the Prym kernel as its two-point input. The paper identifies the equivariant orbifold quantum cohomology Frobenius manifold of $X$ with the invariant Jacobian Frobenius structure of the Toda curve (Theorem 5.7), proves that the B-model $R$-matrix defined by regularized stationary phase equals the A-side normalized canonical Givental--Teleman $R$-matrix on the smooth oscillatory chamber (Theorem 6.14), and then compares the resulting graph sums to identify the sign-sector recursion with descendant GW generating functions (Theorem 7.10) and the recursion free energies with equivariant GW free energies (Theorem 7.14). The proof follows the graph-comparison strategy of Fang--Liu--Zong, adapted to the non-toric, involution-equivariant setting.","tokens_in":61369,"tokens_out":4915,"duration_ms":264843,"significance":"This is a substantial extension of the remodeling program beyond the toric Calabi--Yau setting. The replacement of the toric mirror curve by a logarithmic Toda curve and the use of involution-equivariant topological recursion with the Prym kernel are novel and well-motivated. The A-model $R$-matrix computation (Section 2) via quantum Riemann--Roch and character theory is clean and verifiable. The semistable degeneration construction (Section 3) and the reduced B-model graph sum (Section 4) are carefully set up. The genus-zero Frobenius isomorphism (Section 5) correctly combines the Brini--Ma--Strachan surface mirror theorem, the Bryan--Gholampour and Hu ADE quantum McKay input, and the third-leg normalization. The paper produces falsifiable predictions (the free-energy and descendant equalities of Theorems 7.10 and 7.14) that could in principle be checked against explicit GW computations for small $l$.","major_comments":[{"comment":"Lemma 6.8 (coefficientwise parity limit) is the most analytically delicate step in the paper and is load-bearing for the gauge-fixing argument of Proposition 6.13, which in turn is load-bearing for Theorem 6.14. The proof uses a composition of Weierstrass preparation on $F_σ(t,s,a)$, lifting to the logarithmic square-root cover, tracking the Hessian degeneration, and showing coefficientwise convergence of the odd Morse germ. While each individual step is standard and the argument appears correct, the composition is intricate enough that a targeted verification would significantly strengthen confidence. Specifically, for $l=4$ (the smallest case, rank 5), an explicit computation of the first few coefficients $ˇh^{r,±}_k(ε)$ for $k=1,2,3$ and verification that their average converges to $ˇh^{r,main}_k$ would settle the concern. The leading-order check (Hessian ratio $4m^2/m^2$) is already在","section":null},{"comment":"§6.4, Proposition 6.13: The removability argument (Lemma 6.12) is used to pass from equality $ˆR_B = ˆR^X_A$ over the localized completed ring $K$ to analytic continuation on $Ω_B$. The argument is algebraically standard, but the paper would benefit from explicitly stating, for at least one concrete coefficient (e.g., the $z^1$ coefficient of a fixed-node entry), how the apparent pole along a pole-cancellation stratum is removed. This would make the bridge between the formal comparison over $K$ and the analytic chamber statement more transparent.","section":null}],"minor_comments":[{"comment":"§1.8: The disclosure of AI-assisted development is commendable for transparency. However, the statement that 'the mathematics of this paper was generated by a Rethlas-based system' is unusual for a mathematics journal. The authors should clarify the extent to which the proofs were verified by the human authors versus the AI system, and confirm that all mathematical arguments have been checked by the human authors.","section":null},{"comment":"§4.2, equation (4.6): The explicit upstairs form of $B^-$ is given, but the factor of 2 relative to the $Z_2$-equivariant bidifferential convention of [GKL25] is only explained in Remark 4.2. A brief parenthetical in equation (4.6) itself would help the reader.","section":null},{"comment":"§5.6, Proposition 5.10: This is a long and important proposition. The proof is divided into six steps, but the logical flow between steps could be clearer. In particular, Step 3 (modified Kodaira--Spencer map) and Step 5 (residue pairing) both involve lengthy computations that could benefit from being broken into named sub-lemmas.","section":null},{"comment":"§6.3: The notation for the fixed-node labels ($r = ±1$ for the node, $σ = ±$ for the two smooth critical points) is introduced somewhat late. Introducing it at the beginning of §6.3 would improve readability.","section":null},{"comment":"§7.3, Lemma 7.8: The parity counting argument is clean, but the sign convention for the dilaton leaf ($(-1)^{k+1}$ with $k ≥ 2$) could be stated more prominently, as it is easy to confuse with the ordinary leaf sign.","section":null},{"comment":"The paper would benefit from a summary table of the label dictionary (Definition 6.17) showing the correspondence between ramification labels, irreducible characters, and fixed-node/bubble directions, for a concrete small case such as $l=4$.","section":null},{"comment":"Several references are to very recent or forthcoming work ([BMS25], [FLYZ25], [GKL25], [JGJ+26], [LGS+26]). The authors should verify that the cited results are in their final published form and that the references are complete.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a serious and substantial piece of mathematics that extends the remodeling program to a genuinely non-toric setting. The proof strategy is well-established (following Fang--Liu--Zong), and the new features are carefully handled. My main concern is the intricacy of Lemma 6.8, which is the most analytically delicate step and is load-bearing for the central R-matrix comparison. Upon careful reading, I believe the argument is correct, but a targeted verification at $l=4$ would significantly strengthen confidence. The AI-assisted development disclosure is unusual but the authors are transparent about it; the mathematics should be judged on its own merits. I recommend minor revision with the request for a targeted verification of Lemma 6.8 and some presentation improvements."},"author_rebuttal":{"model":"glm-5.2","summary":"We thank the referee for a careful reading and for the constructive recommendation. The two major comments both request targeted verification of the most analytically delicate steps in the paper, and we agree that providing explicit checks will strengthen the manuscript. We address them in turn.","responses":[{"response":"We agree that an explicit verification for l=4 would significantly strengthen confidence in Lemma 6.8, and we will include it in the revised manuscript. The case l=4 (m=2) is the smallest binary dihedral group of order 8, with rank-5 Frobenius algebra. In this case the main component has equation λ = K(μ² + μ⁻²), the two fixed nodes are at μ = ±1, and the Hessian ratio 4m²/m² = 4 already appears in the leading-order check noted by the referee. We will add an explicit computation of the coefficients ˇh^{r,±}_k(ε) for k = 1, 2, 3 along a specific approach arc γ(ε), verifying that their average converges coefficientwise to ˇh^{r,main}_k. The computation uses the Weierstrass preparation and square-root cover lifting already described in the proof, specialized to the m = 2 cyclotomic factorization, where the relevant functions simplify enough to permit closed-form expressions for the first three Morse coefficients. We expect this to fit within approximately one page of additional text.","revision_made":"yes","referee_comment":"Lemma 6.8 (coefficientwise parity limit) is the most analytically delicate step... a targeted verification would significantly strengthen confidence. Specifically, for l=4 (the smallest case, rank 5), an explicit computation of the first few coefficients ˇh^{r,±}_k(ε) for k=1,2,3 and verification that their average converges to ˇh^{r,main}_k would settle the concern."},{"response":"We agree that illustrating the removability mechanism with a concrete coefficient would make the bridge between the formal comparison over K and the analytic chamber statement more transparent. We will add a worked example for the z¹ coefficient of a fixed-node entry of ˆR_B. Concretely, the z¹ coefficient of the regularized stationary-phase expansion is a universal polynomial in the inverse Hessian and the first Morse jet of the Prym kernel evaluation. Near a pole-cancellation stratum, the Hessian of ˆx at the smooth fixed-node critical point degenerates, producing an apparent pole. However, the same degeneration causes the first Morse jet of the evaluated Prym kernel B_β to vanish at a compensating rate, because B⁻ = B^std − (id×ι)_*B^std and the two standard kernel evaluations cancel to leading order at the coalescing ι-fixed point. The product of the inverse Hessian and the Morse jet is therefore holomorphic across the stratum. We will write out this cancellation explicitly for the z¹ coefficient at the fixed node r = +1, showing how the apparent ε⁻¹ pole is removed. This should take roughly half a page.","revision_made":"yes","referee_comment":"§6.4, Proposition 6.13: The removability argument (Lemma 6.12) is used to pass from equality ˆR_B = ˆR^X_A over the localized completed ring K to analytic continuation on Ω_B... the paper would benefit from explicitly stating, for at least one concrete coefficient (e.g., the z^1 coefficient of a fixed-node entry), how the apparent pole along a pole-cancellation stratum is removed."}],"tokens_in":60990,"tokens_out":777,"duration_ms":197604,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"This is the first all-genus remodeling theorem for a genuinely non-toric Calabi-Yau target, and the result is significant. The authors replace the toric mirror curve with the type-D_l logarithmic Toda curve of Brini–Ma–Strachan, run Z₂-equivariant topological recursion in the sign sector with the Prym kernel, and prove that the output matches the descendant GW generating functions of X = [C²/Γ × C] in the stable range, with free energies matching for g ≥ 2. The proof follows the established graph-comparison pattern of Fang–Liu–Zong, adapted with genuinely new B-model ingredients throughout. The A-model side (Section 2) is clean — the R-matrix computation via quantum Riemann–Roch and character theory is standard and well-executed. The genus-zero Frobenius isomorphism (Section 5) and the flat algebra extension across pole-cancellation strata (Section 5.6) are solid pieces of work. The semistable degeneration analysis in Section 3 is geometrically clean and well-motivated. The overall strategy is sound and the result is not circular: the A-side and B-side R-matrices are defined independently and compared through a Dubrovin equation plus boundary gauge fixing. The central comparison (Theorem 6.14) works by showing both R-matrices solve the same Dubrovin equation over a localized completed ring, leaving a diagonal symplectic gauge D, which is then removed using boundary limits at the orbifold point. The gauge-fixing algebra in Proposition 6.13 is correct: D is base-constant (Lemma 6.11), so a single analytic arc suffices, and for fixed pairs the combination D₊ + D₋ = 2 with symplecticity D₊(z)D₊(−z) = 1 yields (D₊ − 1)² = 0, hence D₊ = D₋ = 1. This is clean. The soft spot is one level deeper: Lemma 6.8, the coefficientwise parity limit for fixed-node pairs. The proof uses Weierstrass preparation on the local equation, lifts to a logarithmic square-root cover, tracks a Hessian degeneration (the smooth fixed-node Hessian tends to half the central full-cover Hessian), and shows coefficientwise convergence of the odd Morse germ. Each individual step is standard, but the composition is intricate. If the factor-of-½ claim fails at any order, or if the square-root cover compatibility breaks, the parity-even boundary limit would be wrong and the gauge would not be fully removed. The paper provides no independent computational check — not of Lemma 6.8, and not of the R-matrix equality at any genus. A targeted numerical verification at l = 4, even at genus 2, would substantially strengthen the claim. The AI-assisted development disclosure (§1.8) is transparent and does not by itself indicate a problem, but it reinforces the value of such a check. This paper is for algebraic geometers and mathematical physicists working on mirror symmetry and topological recursion. It deserves a serious referee who can carefully verify the analytic details of Section 6, particularly Lemma 6.8 and Proposition 6.9. The result is important enough that the verification effort is warranted.","headline":"First all-genus remodeling theorem for a non-toric CY target; sound strategy with one analytically delicate step in the gauge-fixing argument","tokens_in":62133,"tokens_out":1435,"would_cite":true,"duration_ms":112262,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"glm-5.2","headline":"Mirror symmetry extended beyond toric geometry","keywords":[],"falsifier":"If the parity-even boundary values along the chosen analytic arc at the orbifold point fail to determine all entries of the residual diagonal gauge D, then the R-matrix comparison would leave an undetermined gauge factor and the graph-sum identification would not hold.","tokens_in":61228,"feed_emoji":"🪞","tokens_out":952,"duration_ms":229607,"temperature":0.7,"pith_summary":"This paper proves a remodeling-type mirror symmetry theorem for the affine Calabi-Yau threefold [C^2/Gamma x C], where Gamma is a binary dihedral subgroup of SU(2). This target is not toric, so the standard toric mirror-curve machinery does not apply. The authors replace the toric mirror curve with the type-D_l logarithmic Toda curve and replace ordinary Chekhov-Eynard-Orantin topological recursion with a Z_2-equivariant version run in the sign sector of the Toda-curve involution, using the Prym kernel as its two-point input. They then show that the output of this recursion equals the Gromov-Witten generating functions of the target, in the stable range, after a parity-twisted leaf substitution. The proof proceeds by identifying the genus-zero Frobenius structures on both sides, comparing the B-model R-matrix (defined by regularized stationary phase) with the A-model Givental-Teleman R-matrix on a smooth oscillatory chamber, and then matching the resulting graph sums term by term.","feed_headline":"Mirror symmetry without toric geometry: the binary dihedral case","feed_subtitle":"An involution-equivariant topological recursion on a Toda curve computes all-genus Gromov-Witten invariants of a non-toric Calabi-Yau threef","key_machinery":"Z_2-equivariant topological recursion with Prym kernel","core_discovery":"The central object is the involution-equivariant sign-sector topological recursion on the type-D_l logarithmic Toda curve, run with the Prym kernel B^- = B^std - (id x iota)^* B^std as its two-point input. The paper's main discovery is that this recursion, after a parity-twisted leaf substitution, produces exactly the descendant Gromov-Witten generating functions of the binary dihedral Calabi-Yau threefold X = [C^2/Gamma x C] for n > 0 and 2g-2+n > 0, and that the recursion free energies equal the equivariant GW free energies for g >= 2. The key technical mechanism enabling the comparison is the proof that the B-model R-matrix (defined by regularized stationary-phase transforms of secondkind","pith_inferences":["If the same sign-sector recursion framework applies to other ADE-type Calabi-Yau threefolds [C^2/Gamma x C] with Gamma of type A or E, one would expect analogous Toda-curve B-models and analogous all-genus remodeling statements.","The parity-twisted leaf substitution that cancels the DOSS graph sign could be a general feature of involution-equivariant recursions whenever the A-model half-edge carries R(-z) while the B-model carries R(z).","The flat algebra extension across pole-cancellation strata, replacing nilpotent special fibers with stabilizer algebras, may be reusable for other mirror curves where zeros and poles of the superpotential coalesce."],"forward_implications":["Extends the remodeling conjecture beyond the toric Calabi-Yau setting to targets governed by ADE-type and Toda-type integrable structures.","The involution-equivariant sign-sector recursion with the Prym kernel provides a concrete template for mirror symmetry on other non-toric targets with discrete symmetries.","The semistable degeneration and boundary gauge-fixing technique at the orbifold point may apply to other mirror curves where the naive flat limit is non-reduced."],"fun_headline_variants":["Non-toric mirror symmetry via involution-equivariant topological recursion","Prym kernel recursion computes GW invariants of binary dihedral Calabi-Yau","Toda curve mirror symmetry beyond the toric setting","Equivariant recursion matches descendant GW theory of non-toric Calabi-Yau"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The proof that the B-model and A-model R-matrices are equal relies on showing they are two normalized canonical solutions of the same Dubrovin equation, leaving a residual diagonal symplectic gauge. This gauge is removed using boundary values along a single analytic arc approaching the orbifold point, specifically the parity-even flat-unit limit at the fixed labels. If the boundary values along this single arc do not fully capture all diagonal gauge entries, the argument that","fun_headline_variants_meta":{"raw":{"variants":["Non-toric mirror symmetry via involution-equivariant topological recursion","Prym kernel recursion computes GW invariants of binary dihedral Calabi-Yau","Toda curve mirror symmetry beyond the toric setting","Equivariant recursion matches descendant GW theory of non-toric Calabi-Yau"]},"model":"glm-5.2","effort":"low","cost_usd":0.0,"raw_usage":{"total_tokens":879,"prompt_tokens":800,"completion_tokens":79,"prompt_tokens_details":null},"tokens_in":800,"tokens_out":79,"duration_ms":70182,"temperature":1.0,"reasoning_tokens":null,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-09T13:14:07.477231+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"If the parity-even boundary values along the chosen analytic arc at the orbifold point fail to determine all entries of the residual diagonal gauge D, then the R-matrix comparison would leave an undetermined gauge factor and the graph-sum identification would not hold.","supporting_citations":[],"review_version":1}