{"id":"02f89268-aa8f-4885-bd4c-e1ef0e9c1d8c","arxiv_id":"2411.17055","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The spherical Hall algebra of Spec(O_K) for class-number-one K is isomorphic to the Paley-Wiener shuffle algebra of the Hecke L-function L_K.","lead":"For any number field K whose ring of integers is a principal ideal domain, the paper proves that the spherical Hall algebra built from vector bundles on Spec(O_K) is isomorphic to a shuffle algebra defined by the Hecke L-function of K. It extends the Kapranov-Schiffmann-Vasserot theorem from the integers to all class-number-one number fields, giving a new link between arithmetic vector bundles and automorphic L-functions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Missing |d_K|^{s/2} in the completed Hecke L-function makes the stated shuffle kernel inconsistent with the paper's own intertwiner computation.","rationale":"The reader's weakest assumption was the class-number-one hypothesis, which is a real restriction but is explicitly assumed and not a point where the paper's internal logic breaks within its stated scope. My stress-test instead found a concrete normalization error in the completed L-function: the paper's own computation in §6.2 produces an extra disc(O_K)^{-1/2} factor, so the stated Φ_K is not the kernel that actually appears from the intertwiner calculation, and the functional equation used to justify its symmetry is false for nontrivial discriminants. This is load-bearing because Φ_K is the multiplication kernel of the shuffle algebra SH(Φ_K)^PW; if the kernel is off by a constant, the proof that Ch is an algebra homomorphism to that specific target cannot hold. The issue is fixable by redefining L*_K to include the standard |d_K|^{s/2} factor, which changes Φ_K by the constant |d_K|^{-1/2} and matches the §6.2 computation. I therefore keep the reader's CONDITIONAL verdict, but for a different and more specific reason than the one stated in the verdict. The concrete test directly checks whether the omitted factor is present in Prop 6.6 and whether the functional equation holds numerically; either check would settle the concern.","tokens_in":24663,"tokens_out":24363,"duration_ms":241949,"concrete_test":"Recompute the n=2, w=(12) intertwiner for K=Q(√2) (disc=8, λ*=0) following §6.2. The displayed formula before the final line contains the explicit factor disc(O_K)^{-1/2}; verify whether it is present in the claimed equality of Prop 6.6. Separately, numerically compute L*_K(0,s)=π^{-s}Γ(s/2)^2ζ_K(s) at, say, s=3 and compare with L*_K(0,1-s)=L*_K(0,-2) using the stated functional equation; the ratio is |d_K|^{s-1/2}, not 1. This single constant decides whether the shuffle kernel is the one generated by the Hall-algebra computation.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim depends on the exact expression for Φ_K in §3, defined as L*_K(λ*,s)/L*_K(λ*,s+1) with L*_K(λ*,s)=π^{-(r1/2)s}(2π)^{-r2 s}Γ_K(λ*,s)L_K(λ*,s). This omits the standard |d_K|^{s/2} factor. For a number field K with nonzero discriminant, the stated functional equation L*_K(-λ*,1-s)=L*_K(λ*,s) is false: for λ*=0 it would assert that π^{-(r1/2)s}(2π)^{-r2 s}Γ_K(s)ζ_K(s) is invariant under s↦1-s, whereas the completed Dedekind zeta function requires an additional factor |d_K|^{s/2}. Consequently the derived identity Φ_K(-λ*,-s)=Φ_K(λ*,s)^{-1}, used in Prop 4.1 and Lemma 6.14, is not valid with the stated normalization. The problem is not merely formal: the computation in §6.2 makes it explicit. After combining the local contributions, the author obtains disc(O_K)^{-1/2}·π^{r1/2}(2π)^{r2}·(Gamma ratio)·(finite L-ratio), which equals disc(O_K)^{-1/2} times the stated Φ_K, and then the last line 'As a result...' silently drops the discriminant factor. Thus Prop 6.6 and, through it, Prop 6.16 and the proof that Ch is an algebra homomorphism are incorrect for any K with disc(O_K)≠1, unless Φ_K is redefined using L*_K with |d_K|^{s/2} inserted. Since Φ_K is the kernel of the shuffle product, the theorem as stated does not follow; the construction is repairable by making the standard completion, which changes Φ_K by the constant |d_K|^{-1/2}.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the Kapranov–Schiffmann–Vasserot theorem from Spec(Z) to Spec(O_K) for number fields K of class number one. It defines vector bundles over Spec(O_K), constructs the spherical Hall algebra SH generated by rank-one bundles, defines a Hecke L-function L_K(λ*,s) and a shuffle kernel Φ_K(λ*,s)=L*_K(λ*,s)/L*_K(λ*,s+1), and then constructs an explicit map Ch = F ∘ ~CT from SH to the associated Paley–Wiener shuffle algebra. The main theorem (Theorem 0.2) asserts that Ch is an isomorphism of algebras. The proof follows [KSV12] closely: the key new ingredient is the computation in §6.2 of the principal-series intertwiner of the exponential function, which produces Euler factors whose product is claimed to equal Φ_K.","tokens_in":25015,"tokens_out":5509,"duration_ms":59039,"significance":"If the main theorem is correct, the paper gives a natural and valuable extension of the spherical Hall algebra realization to class-number-one number fields, with the shuffle kernel expressed through Hecke L-functions. The paper is commendably explicit: the intertwiner computation in §6.2 gives a concrete local formula, the map Ch is defined canonically rather than fitted, and the overall architecture follows a known benchmark. However, the stated Theorem 0.2 is not established as written, because the normalization of the completed Hecke L-function is missing the discriminant factor and the final comparison in Proposition 6.6 silently drops the discriminant factor that appears in the same computation. The issue is repairable by using the standard completed L-function, which changes Φ_K by the constant |d_K|^{-1/2}, but the repair must be made consistently through §3, §4, §6, and §7 before the isomorphism claim can be accepted.","major_comments":[{"comment":"The completed Hecke L-function is defined as L*_K(λ*,s)=π^{-(r1/2)s}(2π)^{-r2 s}Γ_K(λ*,s)L_K(λ*,s), with no discriminant factor. The paper then cites [Neu99] for the functional equation L*_K(-λ*,1-s)=L*_K(λ*,s). That functional equation is not satisfied by the displayed function unless |d_K|=1; the standard completion requires an additional factor |d_K|^{s/2}. Consequently the identity Φ_K(-λ*,-s)=Φ_K(λ*,s)^{-1}, used in Proposition 4.1 and in Lemma 6.14, is false with the stated normalization. This is not a cosmetic issue, because Φ_K is the kernel of the shuffle product and enters the final proof that Ch is an algebra homomorphism.","section":"§3, definition of L*_K"},{"comment":"After combining the local contributions, the displayed formula contains the explicit factor disc(O_K)^{-1/2} arising from the Tamagawa measure. The following line, 'As a result, for Re(s2-s1)>1...', identifies the product with Φ_K(λ*_2-λ*_1,s_2-s_1), but the paper's Φ_K does not contain this factor. With the standard completion of L*_K, the factor is exactly what is needed, so the intended identity holds for Φ_K^{std}=|d_K|^{-1/2}Φ_K, not for the Φ_K defined in §3. Since Proposition 6.16 and the final verification that Ch is an algebra homomorphism depend on Proposition 6.6, Theorem 0.2 is not established as stated for any K with d_K≠1, including the paper's own examples K=Q(i) and K=Q(√2).","section":"§6.2, end of the n=2 computation"},{"comment":"The orbifold structure on Bun_n and the associativity of the Hall product are load-bearing for the definition of SH, but the proofs are given only as 'very similar' to [KSV12]. The present setting has a product of r1 real and r2 complex Archimedean places and a general class-number-one ring O_K, so the transfer is not literally automatic. The authors should either supply the missing arguments or cite precise statements in [KSV12] that cover this case; without this support the algebra structure underlying the main theorem is not fully established.","section":"§2, Propositions 2.1 and 2.2"}],"minor_comments":[{"comment":"The Fourier transform is denoted M in the introduction and F from §5 onward; the displayed definition Ch = M ∘ ~CT should be reconciled with the later notation Ch = F ∘ ~CT.","section":"§0 and §5"},{"comment":"The formula f(γg) = |det(γg')|^{n''/2}|det(γg'')|^{-n'/2} f'(γg') f''(γg'') uses g=(g',g'') but the domain of f is not explained; please clarify the pullback and the definition of the auxiliary function f on GL_n.","section":"§2, Proposition 2.3"},{"comment":"The Euler product for L_K(λ*,s) is written with exp(-2πi⟨λ*, log |p|⟩), but the sign convention should be checked against the functional equation in §4.1; with the sign used in the finite-place computation, the local factor at p contains |ι(p)|^{2πiλ*} rather than its inverse, and the two conventions should be made visibly consistent.","section":"§3"},{"comment":"The text contains several LaTeX artifacts, such as '/llbracket1,n/rrbracket' and 'disc( OK)−1/2', which should be cleaned up before publication.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is an SPUR report with a clearly stated and interesting goal. The discriminant-factor issue in the completion of L*_K is real and affects the central theorem, but it is also local and repairable: replacing L*_K by |d_K|^{s/2}L*_K changes Φ_K by the constant |d_K|^{-1/2}, and the computation in §6.2 already contains the required discriminant factor. I would encourage the editor to request a revision rather than reject, provided the authors also address the unsupported transfer of orbifold and associativity arguments from [KSV12]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a look if you care about KSV12 and arithmetic Hall algebras. The new content is a genuine extension: for any class-number-one K, spherical Hall algebra of Spec(O_K) is claimed isomorphic to a shuffle algebra built from the Hecke L-function of K. The proof follows KSV12 closely, and the heavy lifting—the local intertwiner computation in §6.2—is done in detail. Credit where due: the finite-place computation, the real/complex Archimedean computations, and the reduction to Φ_K are mostly correct and not just copied.\n\nBut there is a real bug. The completed L-function in §3 is defined as L*_K = π^{-r1 s/2}(2π)^{-r2 s} Γ_K L_K, which omits the standard |d_K|^{s/2}. With that normalization the claimed functional equation L*_K(-λ*,1-s)=L*_K(λ*,s) is false for any K with nontrivial discriminant. The paper uses that functional equation to derive Φ_K(-λ*, -s)=Φ_K(λ*,s)^{-1}, which then feeds into Props 4.1 and 6.16 and the proof that Ch is an algebra homomorphism. The problem surfaces explicitly in §6.2: after combining local contributions they get a factor disc(O_K)^{-1/2}, and the last line silently drops it when identifying the result with Φ_K. So the shuffle kernel as stated is off by a constant, and the theorem as written does not follow.\n\nI think it is repairable. Insert |d_K|^{s/2} into L*_K; the functional equation becomes correct and Φ_K acquires the |d_K|^{-1/2} constant, which should match the finite-place computation. The authors may have normalized Tamagawa measures in a way that cancels the constant, but they do not say so, and as written it is a mistake, not a matter of taste.\n\nOther soft spots: several structural facts (orbifold structure on Bun_n, associativity of the Hall product, support of the constant term, well-definedness of Ch) are deferred to KSV12 with “the proof is very similar.” Those are probably addressable, but they are load-bearing. The notation has clashes and typos, and the class-number-one hypothesis is genuinely used in the double-coset identifications.\n\nWho is this for? People working on Hall algebras of arithmetic curves; they will want to see the correction. It deserves a serious referee—the idea is right and the main computation is mostly there—but the referee should require the normalization fix and at least sketches of the transferred proofs.","headline":"A genuine but flawed generalization: the main theorem is repairable, but the completed L-function is missing the |d_K|^{s/2} factor and the proof as written does not go through.","tokens_in":25546,"tokens_out":3495,"would_cite":false,"duration_ms":34717,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11R42","11R56","14G40","14H60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For number fields with class number one, the spherical Hall algebra of $\\operatorname{Spec}(\\mathcal{O}_K)$ is isomorphic to the Paley–Wiener shuffle algebra built from the Hecke $L$-function ratio $L_K^*(\\lambda^*,s)/L_K^*(\\lambda^*,s+1)$.","keywords":["spherical Hall algebra","number fields","class number one","Hecke L-function","Paley-Wiener shuffle algebra","vector bundles on Spec(O_K)","constant term","intertwining operators"],"falsifier":"A direct check of the $n=2$ intertwiner formula for $K=\\mathbb{Q}(i)$ at a nontrivial character $\\lambda^*$ would settle it: the finite-place integral and the complex-place integral must multiply to $\\Phi_K(\\lambda^*_2-\\lambda^*_1, s_2-s_1)$, and any missing Euler factor at a ramified prime would give a concrete counterexample to the theorem.","tokens_in":24390,"feed_emoji":"🧮","tokens_out":9988,"duration_ms":90217,"temperature":0.7,"pith_summary":"With class number one and principal ideal ring $\\mathcal{O}_K$, the paper proves that the spherical Hall algebra $SH$ of vector bundles over $\\operatorname{Spec}(\\mathcal{O}_K)$ is isomorphic, as a graded algebra, to the Paley–Wiener shuffle algebra $SH(\\Phi_K)^{PW}$. The shuffle algebra is defined from the ratio $\\Phi_K(\\lambda^*,s)=L_K^*(\\lambda^*,s)/L_K^*(\\lambda^*,s+1)$ of completed Hecke $L$-functions of $K$. The isomorphism $Ch$ is explicit: twisted constant term followed by Fourier transform on the group of rank-one bundles $B=\\mathcal{O}_K^\\times\\backslash\\prod_{\\nu\\in S}\\mathbb{R}_+^\\times$. This extends the $\\operatorname{Spec}(\\mathbb{Z})$ theorem of [KSV12] to every number field whose ring of integers is a PID, and it shows the multiplicative structure of rank-one vector bundles is governed by the field's $L$-function.","feed_headline":"Hall algebra of Spec(O_K) is an L-function shuffle algebra","feed_subtitle":"For class-number-one fields, rank-one bundles on Spec(O_K) generate an algebra governed by a Hecke L-function.","key_machinery":"The central object is the ratio $\\Phi_K(\\lambda^*,s) = L_K^*(\\lambda^*,s)/L_K^*(\\lambda^*,s+1)$, called here the Hecke $L$-ratio. It enters the shuffle product through the factor $\\Phi_{K,w}(z)=\\prod_{i<j,\\ w(i)>w(j)}\\Phi_K(\\lambda^*_j-\\lambda^*_i,\\ s_j-s_i)$, and its inversion symmetry under $(\\lambda^*,s)\\mapsto(-\\lambda^*,-s)$ is exactly what makes the algebra associative and the intertwiner calculus consistent. The other load-bearing mechanism is the adelic bijection $B^n \\cong U_n(\\mathbb{A}_K)A_n(K)\\backslash GL_n(\\mathbb{A}_K)/\\hat{K}_n$; it lets the twisted constant term $\\widetilde{CT}$, adjoint to Hall multiplication, be unfolded into a sum of principal-series intertwiners $M_w$. Chaining $\\widetilde{CT}$ with the Fourier transform gives the isomorphism.","core_discovery":"The paper's central claim is that the map $Ch: SH \\to SH(\\Phi_K)^{PW}$ is an isomorphism of algebras. The construction models each vector bundle $E=(L,V,q)$ by an adelic double coset $GL_n(\\mathcal{O}_K)\\backslash GL_n(\\mathbb{R})/K_n$; rank-one bundles form $B=\\mathcal{O}_K^\\times\\backslash\\prod_{\\nu} \\mathbb{R}_+^\\times$, and the Fourier transform $F$ on $B^n$ lands in Paley–Wiener functions on $(\\Lambda^*\\times\\mathbb{C})^n$, where $\\Lambda^*$ is the dual of the unit lattice $\\mathcal{O}_K^\\times$. The proof reduces Hall multiplication to the shuffle product through an operator identity for principal-series intertwiners $M_w$: on the rank-one exponential function $C(\\lambda^*,s)$, $M_w$ multiplies by the permutation factor $\\Phi_{K,w}$, and the functional equation of $L_K^*$ supplies the symmetry $\\Phi_K(-\\lambda^*, -s)=\\Phi_K(\\lambda^*,s)^{-1}$ that makes these factors compose. In the end every element of $SH$ is characterized by its image under $Ch$, and the image is exactly the Paley–Wiener shuffle algebra generated by one-variable functions.","pith_inferences":["Beyond the paper: outside class number one, one would expect $\\operatorname{Bun}_n$ to split according to ideal classes; a natural extension would replace $\\mathcal{O}_K^\\times$ by the full idèle class group and twist $L_K$ by class-group characters, but the present proof does not address that case.","Beyond the paper: the same local intertwiner computation suggests a version for $\\operatorname{Spec}(\\mathcal{O}_K[1/S])$ with finitely many deleted places, where finite Euler factors are replaced by partial $L$-ratios; this could connect to $L$-functions of punctured arithmetic curves.","Beyond the paper: if the isomorphism is read as a presentation, computing explicit Hall products of rank-one functions with nontrivial $\\lambda^*$ would give concrete shifted values of $L_K^*$, and those could be checked numerically."],"forward_implications":["The spherical Hall algebra of $\\operatorname{Spec}(\\mathcal{O}_K)$ is generated, as an algebra, by the one-variable Paley–Wiener functions $PW(\\Lambda^*\\times\\mathbb{C})$, with the full multiplication law determined by $\\Phi_K$.","Hall multiplication in every rank is computed by symmetrizing over permutations and weighting each term by $\\Phi_{K,w}$, so the Hecke $L$-function ratio completely controls the algebra structure.","For $K=\\mathbb{Q}$ the theorem reduces to the $\\operatorname{Spec}(\\mathbb{Z})$ result, with $\\Phi$ the completed zeta ratio.","The Fourier transform gives a spectral realization: $SH$ is realized as the Paley–Wiener shuffle algebra inside $\\bigoplus_n PW((\\Lambda^*\\times\\mathbb{C})^n)$.","The map $Ch$ is injective on all of $SH$, so vector-bundle invariants can be recovered from their constant terms."],"supporting_citations":[{"why":"This is the $\\operatorname{Spec}(\\mathbb{Z})$ case being generalized; it supplies the proof architecture: Hall product, constant-term adjunction, intertwiner identities, and shuffle-algebra comparison.","marker":"[KSV12]"},{"why":"It defines Hecke $L$-functions over number fields and supplies the meromorphic continuation and functional equation used to define $L_K^*$ and $\\Phi_K$.","marker":"[Neu99]"},{"why":"It provides the unit-rank theorem that $\\mathcal{O}_K^\\times$ is a free abelian group of rank $r_1+r_2-1$, giving the identification $B\\cong(\\mathbb{R}^{r_1+r_2-1}/\\Lambda)\\times\\mathbb{R}_+^\\times$.","marker":"[Mil20]"},{"why":"It establishes associativity of the shuffle product, which makes $\\bigoplus_n Mer((\\Lambda^*\\times\\mathbb{C})^n)$ into a graded algebra.","marker":"[FO95]"},{"why":"It supplies the Paley–Wiener theorem used to show the Fourier transform on $B$ is an isomorphism onto $PW(\\Lambda^*\\times\\mathbb{C})$.","marker":"[RS75]"},{"why":"It gives the Haar-measure normalization on fundamental domains for unipotent quotients used in the intertwiner computation.","marker":"[OV99]"}],"fun_headline_variants":["Class-one fields: Hall algebra is L-function shuffle algebra","Hecke L-function shuffle algebra from class-number-one fields","Hall algebra is L-function shuffle algebra for class-one fields","Spherical Hall algebra equals Hecke L-function shuffle algebra","Generalizing Kapranov-Schiffmann-Vasserot: Hall algebra is L-function shuffle algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the class-number-one assumption on $\\mathcal{O}_K$; most of the bijections that define the Hall algebra and reduce it to adelic double cosets require every ideal of $\\mathcal{O}_K$ to be principal.","fun_headline_variants_meta":{"raw":{"variants":["Class-one fields: Hall algebra is L-function shuffle algebra","Hecke L-function shuffle algebra from class-number-one fields","Hall algebra is L-function shuffle algebra for class-one fields","Spherical Hall algebra equals Hecke L-function shuffle algebra","Generalizing Kapranov-Schiffmann-Vasserot: Hall algebra is L-function shuffle algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002514,"raw_usage":{"total_tokens":9617,"prompt_tokens":900,"completion_tokens":8717,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":8628}},"tokens_in":516,"tokens_out":8717,"duration_ms":56790,"temperature":1.0,"reasoning_tokens":8628,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:36:46.704391+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check of the $n=2$ intertwiner formula for $K=\\mathbb{Q}(i)$ at a nontrivial character $\\lambda^*$ would settle it: the finite-place integral and the complex-place integral must multiply to $\\Phi_K(\\lambda^*_2-\\lambda^*_1, s_2-s_1)$, and any missing Euler factor at a ramified prime would give a concrete counterexample to the theorem.","supporting_citations":[],"review_version":1}