{"id":"a6b068fc-d33a-47a3-b315-a35dc907acce","arxiv_id":"2412.08437","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every Voevodsky motive over a global field now has a canonical L-function that is multiplicative on exact triangles, with a functional equation in characteristic p.","lead":"Bruno Kahn constructs a canonical L-function for every geometric motive over a number field or function field, using categorical traces and Ayoub's six operations. The new function multiplies over exact triangles, matches classical zeta functions at good reduction, and satisfies a functional equation in positive characteristic.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 9.7's identification of Lnear_v with ζ(Υ_vM,s) rests on an unverified exact triangle and an unproved duality compatibility; if either fails on DMgm(K,Q), local rationality and the functional equation collapse.","rationale":"The reader's weakest_assumption already identifies the Ayoub six-functor machinery and the exact triangle (9.5) as the critical input, and I agree that this is the main soft spot. My read sharpens it: the exact triangle is doing the work of converting a generally transcendental infinite product into a rational Euler factor, and Theorem 10.1 needs an additional duality compatibility that the paper only attributes to the same cited theorem. This is a verification gap rather than a demonstrated contradiction: the construction is coherent, the categorical-trace formalism is largely formal, and the convergence arguments are plausible. The paper would be acceptable conditionally on a precise check of Ayoub's hypotheses and on the duality statement. Since the reader's verdict is already CONDITIONAL, my read does not move the verdict; it only sharpens the condition.","tokens_in":30409,"tokens_out":14453,"duration_ms":147225,"concrete_test":"Open Ayoub [3, Th. 11.13 and 11.16] and verify: (1) Υ_v is defined on the chosen D(K) and takes values in D(κ(v)) for all M ∈ D(K); (2) the exact triangle (9.5) holds as a triangle in D(κ(v)), not merely after applying the l-adic realization R_l; (3) the isomorphism Υ_x(M^*) ≃ Υ_x(M)^* used in Theorem 10.1 follows from [3, Th. 11.16] or from a cited companion statement. If any of these fails or is restricted, determine the subclass of DMgm(K,Q) for which it holds and check whether Theorem 9.7, Corollary 9.8, and Theorem 10.1 are still asserted for that subclass. Also check that the comparison D(K) = DMgm(K,Q) is compatible with Υ_v.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Most load-bearing is the step where the infinite-product solution Lnear_v of Lemma 5.2 is identified with ζ(Υ_vM,s). Without Theorem 9.7, Lnear_v would generally be transcendental in N(v)^{-s}, as the paper itself notes, so local rationality, the Weil-number property, and the functional equation of Theorem 10.1 would not follow. Theorem 9.7 is proved solely by invoking Ayoub [3, Th. 11.16] for the exact triangle (9.5). But §3.A concedes that Voevodsky's own DMgm over a base is not known to admit a six-functor calculus; the paper switches to Ayoub's DA^ét or Cisinski-Déglise DMB and assumes a category D(S) agreeing with DMgm on fields. It is not shown that the functor Υ_v preserves the geometric subcategory, nor that (9.5) is a triangle in D(κ(v)) rather than only in the étale or l-adic derived category. Theorem 10.1 additionally uses Υ_x(M^*) ≃ Υ_x(M)^* \"by [3, Th. 11.16]\", but only the exact triangle is quoted from that theorem, so the duality compatibility is an unverified, load-bearing input for the functional equation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper associates to every object M of Voevodsky's triangulated category DMgm(K,Q) of geometric motives over a global field K a Dirichlet series L^near(M,s), called the nearby L-function. It claims that this series converges in a half-plane, admits an Euler product whose local factors are rational functions in N(v)^{-s} with Weil-number zeros and poles, is multiplicative on exact triangles, satisfies Tate-twist and induction formulas, and agrees at good reduction with the usual zeta function of the special fibre for motives of smooth projective varieties. When K has positive characteristic, the paper further claims that L^near(M,s) is rational in q^{-s} and satisfies the functional equation L^near(M^*,1-s)=A(-q)^{-Bs}L^near(M,s). The construction proceeds through a 'total' L-function L^tot and a canonical extraction of L^near by the unique factor g with f(s)=g(s)/g(s+1); the local factors are then identified with zeta functions of Ayoub's unipotent specialisation functor.","tokens_in":30672,"tokens_out":10577,"duration_ms":118586,"significance":"If the main theorems are correct, this is a substantial advance: it gives the first unconditional L-function on all geometric motives over a global field that is compatible with exact triangles, while retaining the expected Euler-product, convergence, and functional-equation features in positive characteristic. The paper contains detailed proofs of the finite-field trace-counting results, of the Dirichlet-series lemmas, and of the six-functor formalism input, and it is transparent about its reliance on Ayoub's machinery and on the l-adic realisation in the trace formula of Proposition 3.6. There are no fitted parameters in the definition of L^near; the construction is canonical. The author also explicitly flags the preliminary status of the paper and isolates the conductor-independence question as open, which is helpful. The main reservation is that the identification with Ayoub's unipotent specialisation functor, which is load-bearing for local rationality and the functional equation, is invoked rather than verified in the specific categories used in the paper.","major_comments":[{"comment":"The identification L^near_v(M,s)=zeta(Upsilon_v M,s) is the only point in the paper from which local rationality and the Weil-number property of the Euler factors are deduced. The proof cites Ayoub [3, Th. 11.16] for the exact triangle (9.5), but the paper does not verify the hypotheses of that theorem in the setting of §3.A, where the category D(S) is only assumed to agree with DMgm over fields and is not Voevodsky's own over-base category. In particular, it is not shown that Upsilon_v M lies in the geometric subcategory D(kappa(v)) or that (9.5) is an exact triangle in that category rather than in the larger etale or l-adic derived category. This matters because, as the paper itself notes after Corollary 9.8, without Theorem 9.7 the function produced by Lemma 5.2 is in general not rational in N(v)^{-s}. The author should state Ayoub's theorem precisely and prove that its hypotheses hold for the categories and objects under consideration.","section":"§9.7, Eq. (9.5)"},{"comment":"The functional equation uses the compatibility Upsilon_x(M^*) is isomorphic to Upsilon_x(M)^*, with the citation '[3, Th. 11.16]'. As quoted in §9.7, that theorem is used only for the exact triangle (9.5); the duality compatibility is a separate property and is not proved in the present text. This is a load-bearing step: it identifies the local factors of L^near(M^*,1-s) with duals of those of L^near(M,s), and without it the displayed ratio in Theorem 10.1 does not follow. The author should give the full statement of [3, Th. 11.16], including any duality assertion, and verify that it applies to the objects M=(j'_U)_* M_U in D(C).","section":"§10, derivation before Theorem 10.1"},{"comment":"The paper works with a six-functor category D(S) that 'agrees with DMgm(k,Q) when S=Spec k' rather than with Voevodsky's DMgm over a base, because the latter is not known to admit a six-functor calculus. The trace formula of Proposition 3.6 is then proved using the l-adic realisation and the SGA5 trace formula. This is a transparent limitation, but it means the unconditional claim is conditional on the existence and compatibility of the chosen D(S) with the l-adic realisation functor; the paper should state explicitly which published comparison results guarantee that all objects and functors used in Sections 9 and 10, especially Ayoub's Upsilon_v, are defined on the geometric subcategory. The current text asserts this compatibility rather than documenting it.","section":"§3.A and §3.D"}],"minor_comments":[{"comment":"In the proof of Lemma 5.2 there is a typographical error '|bn]' where a bracket is mismatched; also the displayed Fourier-type expression for u(s) should write c_n - c_n/n with clear subscripts, since the argument depends on n being different from 1 for n>1.","section":"§5.2"},{"comment":"After defining L^near_v as the unique Dirichlet series with f_v(s)=g_v(s)/g_v(s+1), it would be helpful to state explicitly that the resulting product over v is independent of the auxiliary choice of the model M_U, since this independence is only implicit in the uniqueness part of Lemma 5.2.","section":"§9.6, Definition 9.6"},{"comment":"The notation M^* is used both for the dual in D(K) and for the dual in D(C) after the identification M^*=(j'_U)_! M_U^*. The two duals should be distinguished notationally, because the functional equation of Theorem 3.9 applies to objects of D(C).","section":"§10"},{"comment":"The citation '[3, Th. 11.16]' is used for at least two different statements: the exact triangle (9.5) and the duality compatibility. The author should give precise theorem statements and, where necessary, proposition numbers in Ayoub's paper so that the reader can verify the hypotheses directly.","section":"§9.7 and §10"},{"comment":"The manuscript is labelled 'Preliminary version' in the abstract and the introduction states 'This version is preliminary' and describes the functional equation as 'honest'. For a journal submission the status should be clarified: either the missing conductor-independent formulation is explicitly deferred to future work, or the preliminary label is removed if the authors consider the present theorems final.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"This is a serious and original contribution, but the central comparison with Ayoub's unipotent specialisation functor is currently invoked rather than verified. The paper is unusually dependent on a single reference, Ayoub's long paper [3], and the exact content and hypotheses of Theorem 11.16 of that paper must be checked carefully; if the author can supply the missing verifications, the result appears very likely to be correct and important. The heavy reliance on the author's own previous work is not inappropriate here, since the L-functions in [29] and the trace calculations in [25] are directly relevant. The paper's length and preliminary status are acceptable for a major revision provided the load-bearing gaps identified above are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a real advance. Kahn associates to any M in DMgm(K,Q) a Dirichlet series L^near(M,s) with convergence, Euler product, multiplicativity on exact triangles, Tate twist, induction, and, in characteristic p, rationality plus a functional equation. The key move—defining L^tot from six-functor zeta functions, solving g(s)/g(s+1)=L^tot by the infinite product of Lemma 5.2, and identifying the solution with Ayoub's unipotent specialisation functor—is new and convincing. The finite-field zeta function for triangulated motives existed, but the global construction and its properties do not. The paper is also honest: it flags the l-adic input in the trace formula (Prop. 3.6), the preliminary status of the functional equation, and the missing conductor interpretation (Question 10.2). That transparency earns credit.\n\nSoft spots, in order of real concern. First, the edifice sits on the assumption, stated in §3.A, that there is a six-functor category D(S) agreeing with DMgm(k,Q) on fields and compatible with Ayoub's unipotent specialisation. The paper points to Ayoub [3] and Cisinski–Déglise [9], but does not prove that Υ_v preserves the geometric/constructible subcategory or that the exact triangle (9.5) lives there. This is likely true and probably in [3, Th. 11.16], but a referee should verify it, because if Υ_vM is only defined in the larger étale category, ζ(Υ_vM,s) is not the zeta function of Section 2. The stress-test note is right to flag this; it is not a fatal flaw, but it is the load-bearing citation. Second, the functional equation in Theorem 10.1 is 'honest' but not in the Grothendieck–Serre form: the constants involve χ and det of Frobenius, and B is not identified with a conductor. The author says so. That is a limitation, not a defect. Third, the l-adic realisation is used essentially in the trace formula, so the claim of being 'purely motivic' is qualified; again, the author admits it.\n\nThe citation pattern is heavy on self-citation ([25], [29]), but those are the prior works where the finite-field zeta functions and Serre local factors are developed; it is not gratuitous. The mathematics is careful and the main theorems are proven in detail.\n\nWho is this for: anyone working on motivic L-functions, Beilinson conjectures, or the six-functor formalism. It is an expert paper, not an introduction. It deserves a serious referee; the open questions it leaves are the right kind of open questions.\n\nRecommendation: send to a good journal, with a referee who knows Ayoub's formalism. The stress-test concern about Th. 9.7 should be explicitly checked but is likely resolvable.","headline":"Kahn constructs a canonical nearby L-function for all geometric motives over global fields, with multiplicativity and a char-p functional equation; the main risk is the unverified fit of Ayoub's machinery, not the idea.","tokens_in":31190,"tokens_out":6105,"would_cite":true,"duration_ms":61060,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M41","11G09"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that every geometric motive over a global field carries a canonically defined Dirichlet series with an Euler product and exact-triangle multiplicativity.","keywords":["nearby L-function","geometric motives","zeta functions","six functors formalism","categorical traces","Weil numbers","functional equations","triangulated categories"],"falsifier":"Take an elliptic curve over $\\mathbb{Q}$ with split multiplicative reduction at $p$: the paper's Section 9.D.2 predicts $L^{\\mathrm{near}}_p(h^1(E),s)=(1-p^{-s})^{-1}(1-p^{1-s})^{-1}$, whereas the classical 1969 factor is $(1-p^{-s})^{-1}$. Computing the unipotent specialisation functor on a model at $p$ and comparing its zeta function to this prediction would settle whether the exact-triangle identification holds; a mismatch, or an irrational ratio, would falsify the construction.","tokens_in":30200,"feed_emoji":"🔢","tokens_out":9321,"duration_ms":94237,"temperature":0.7,"pith_summary":"The paper claims that every geometric motive over a global field $K$ — every object of the triangulated category of geometric motives with rational coefficients — carries a canonically defined Dirichlet series $L^{\\mathrm{near}}(M,s)$, called its nearby $L$-function, whose definition is independent of any auxiliary prime. This series converges in some right half-plane, admits an Euler product over the finite places, and is multiplicative with respect to exact triangles: if $M'\\to M\\to M''\\to M'[1]$ is an exact triangle, then $L^{\\mathrm{near}}(M,s)=L^{\\mathrm{near}}(M',s)L^{\\mathrm{near}}(M'',s)$. For a smooth projective variety $X$ it agrees with the classical alternating zeta product at places of good reduction, and where the classical factors disagree at bad places, the new factor is a 'multiplicative average' that restores multiplicativity. Over a function field of positive characteristic, $L^{\\mathrm{near}}(M,s)$ is a rational function of $q^{-s}$ and satisfies an explicit functional equation relating $s$ and $1-s$. If the construction is correct, it gives the first unconditional $L$-function for all geometric motives over global fields that behaves additively on exact triangles, removing a long-standing obstruction to formulating motivic special-value conjectures.","feed_headline":"Every geometric motive now has an L-function","feed_subtitle":"It converges, multiplies on exact triangles, and satisfies a functional equation over function fields.","key_machinery":"The central machinery is the rigid tensor-triangulated category $\\mathrm{DM}_{\\mathrm{gm}}(k,\\mathbb{Q})$ of geometric motives over a field, together with its extension to a six-functor category over base schemes; the argument repeatedly uses the trace of Frobenius endomorphisms in this category and the resulting zeta function $Z(M,t)$. The decisive tool is the unipotent specialisation functor $\\Upsilon_v$, a nearby-cycle functor attached to a closed point $v$, with exact triangle $i^*_v(j_v)_*M\\to\\Upsilon_vM\\to\\Upsilon_vM(-1)\\to{+1}$, where $j_v$ is the inclusion of the generic point into the local ring at $v$. This triangle lets the unwieldy total local factor $L^{\\mathrm{tot}}_v(M,s)=L^{\\mathrm{near}}_v(M,s)/L^{\\mathrm{near}}_v(M,s+1)$ be solved for the nearby factor, and Lemma 5.2 guarantees uniqueness and convergence. In finite characteristic, the trace formula $\\sharp^*_n(f_!M)=\\sum_{x\\in S^{(0)}}\\sharp^*_n(\\mathrm{sp}_xM)$ carries rationality and Weil estimates from points of a base scheme to the pushed-forward motive.","core_discovery":"On the paper's own terms, the discovery is a definition with a theorem. Starting from the zeta function $Z(M,t)=\\exp(\\sum_{n\\ge 1}\\operatorname{tr}(F_M^{-n})\\,t^n/n)$ defined by categorical traces of Frobenius powers in $\\mathrm{DM}_{\\mathrm{gm}}(k,\\mathbb{Q})$ over a finite field, the construction extends to motives over schemes by multiplying the resulting Euler factors over closed points. The total $L$-function $L^{\\mathrm{tot}}(M,s)$ is then converted by the unique Dirichlet-series solution of $L^{\\mathrm{tot}}(M,s)=L^{\\mathrm{near}}(M,s)/L^{\\mathrm{near}}(M,s+1)$ into the nearby $L$-function. The load-bearing identification is $L^{\\mathrm{near}}_v(M,s)=\\zeta(\\Upsilon_vM,s)$, where $\\Upsilon_v$ is the unipotent specialisation functor and $\\zeta$ is the finite-field zeta function constructed by traces; the exact triangle $i^*_v(j_v)_*M\\to\\Upsilon_vM\\to\\Upsilon_vM(-1)\\to{+1}$ makes this identification formal. From it follow rationality of the local factors, Weil-number estimates for their zeros and poles, multiplicativity on exact triangles, and, in positive characteristic, the functional equation $L^{\\mathrm{near}}(M^*,1-s)=A(-q)^{-Bs}L^{\\mathrm{near}}(M,s)$ with explicit constants $A$ and $B$.","pith_inferences":["A consequence the paper leaves implicit is that, if the construction is correct, Beilinson-style special-value statements can now be attempted for arbitrary triangulated motives rather than only pure or mixed ones, because multiplicativity removes the exact-sequence obstruction that blocked a single $L$-function for all motives.","Since the definition is purely categorical once the six-functor formalism is in place, the paper's recovery of classical Artin $L$-functions in the Artin-motive case suggests a natural test: require $L^{\\mathrm{near}}$ to be compatible with arbitrary cones of morphisms, not just geometric exact triangles, which would yield new identities among $L$-values.","The paper's own Question 10.2 asks whether the constant $B$ in the functional equation is an $l$-independent conductor; a testable extension is to compute $B$ for families of curves with bad reduction and compare it with the Artin conductor of their $l$-adic realisations.","Because the construction works with any rigid six-functor motivic category, it could plausibly be adapted to define $L$-functions for relative motives over higher-dimensional bases, but the paper does not claim this."],"forward_implications":["Every geometric motive over a global field has a Dirichlet series with finite abscissa of convergence, not just smooth projective varieties.","Exact triangles give product formulas, so $L^{\\mathrm{near}}$ descends to a group homomorphism from $K_0(\\mathrm{DM}_{\\mathrm{gm}}(K,\\mathbb{Q}))$ to Dirichlet series, making it a computable invariant in triangulated situations.","At good-reduction places, $L^{\\mathrm{near}}_v(M(X)^*,s)=\\zeta(X(v),s)$, the zeta function of the special fibre, so the new series extends the classical Hasse-Weil-Serre zeta function wherever multiplicativity is not at stake.","Over a function field, $L^{\\mathrm{near}}(M,s)$ is rational in $q^{-s}$ and satisfies the explicit functional equation $L^{\\mathrm{near}}(M^*,1-s)=A(-q)^{-Bs}L^{\\mathrm{near}}(M,s)$, with constants $A$ and $B$ expressed through Euler characteristics and determinants of Frobenius.","Tate twists shift the variable, $L^{\\mathrm{near}}(M(1),s)=L^{\\mathrm{near}}(M,s+1)$, and finite extension induction gives $L^{\\mathrm{near}}(M,s)=L^{\\mathrm{near}}(f_!M,s)$."],"supporting_citations":[{"why":"Defines the triangulated category of geometric motives over a field and its basic generators and dualities, the home category for the whole construction.","marker":"[49]"},{"why":"Supplies the six-functor formalism for motivic categories over schemes, which the base-extension and trace-formula arguments rely on.","marker":"[2]"},{"why":"Provides the unipotent specialisation functor and the exact triangle used to identify the nearby local factor with a zeta function.","marker":"[3]"},{"why":"Introduces zeta functions of endomorphisms via categorical traces and proves their rationality in categories of homological origin.","marker":"[25]"},{"why":"Supplies the zeta functions of varieties and motives, including the approximate zeta function and the classical local factors used for normalisation.","marker":"[29]"},{"why":"Gives the classical local factor definition for smooth projective varieties that the new nearby $L$-function matches at good-reduction places.","marker":"[44]"},{"why":"Proves the Weil conjectures, giving the absolute-value estimates needed for Weil-number statements and convergence bounds.","marker":"[11]"},{"why":"Provides the $l$-adic trace formula used in the proof of the motivic trace formula over schemes of finite type.","marker":"[SGA5]"}],"fun_headline_variants":["L-functions for every Voevodsky motive, with Euler products","Near L-function extends Serre zeta to all motives","Motive L-functions: multiplicative on exact triangles","Rational functional equation for function-field motives"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction depends on a very heavy piece of categorical machinery: geometric motives must live inside motivic categories over schemes that come with all six standard operations and a nearby-cycle functor satisfying a fixed exact triangle, together with an $l$-adic realisation commuting with these operations; if any part of that machinery fails, the local factors and their rationality are unsupported.","fun_headline_variants_meta":{"raw":{"variants":["L-functions for every Voevodsky motive, with Euler products","Near L-function extends Serre zeta to all motives","Motive L-functions: multiplicative on exact triangles","Rational functional equation for function-field motives"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1363,"prompt_tokens":1011,"completion_tokens":352,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":627,"completion_tokens_details":{"reasoning_tokens":287}},"tokens_in":627,"tokens_out":352,"duration_ms":16510,"temperature":1.0,"reasoning_tokens":287,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T17:51:19.518830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take an elliptic curve over $\\mathbb{Q}$ with split multiplicative reduction at $p$: the paper's Section 9.D.2 predicts $L^{\\mathrm{near}}_p(h^1(E),s)=(1-p^{-s})^{-1}(1-p^{1-s})^{-1}$, whereas the classical 1969 factor is $(1-p^{-s})^{-1}$. Computing the unipotent specialisation functor on a model at $p$ and comparing its zeta function to this prediction would settle whether the exact-triangle identification holds; a mismatch, or an irrational ratio, would falsify the construction.","supporting_citations":[{"cited_title":"V oevodskyTriangulated categories of motives over a field , in Cycles, trans- fers and motivic cohomology theories, Ann","cited_arxiv_id":null,"evidence_quote":"Defines the triangulated category of geometric motives over a field and its basic generators and dualities, the home category for the whole construction."},{"cited_title":"A youb Les six opérations de Grothendieck et le formali sme des cycles évanescents dans le monde motivique, I, II, Astérisque 314–315 , SMF, 2008","cited_arxiv_id":null,"evidence_quote":"Supplies the six-functor formalism for motivic categories over schemes, which the base-extension and trace-formula arguments rely on."},{"cited_title":"A youb La réalisation étale et les opérations de Grothendieck , Ann","cited_arxiv_id":null,"evidence_quote":"Provides the unipotent specialisation functor and the exact triangle used to identify the nearby local factor with a zeta function."},{"cited_title":"Kahn Zeta functions and motives , Pure Appl","cited_arxiv_id":null,"evidence_quote":"Introduces zeta functions of endomorphisms via categorical traces and proves their rationality in categories of homological origin."},{"cited_title":"Kahn Zeta and L-functions of varieties and motives, London Math","cited_arxiv_id":null,"evidence_quote":"Supplies the zeta functions of varieties and motives, including the approximate zeta function and the classical local factors used for normalisation."},{"cited_title":"Serre Facteurs locaux des fonctions zêta des variétés algébrique s (défi- nitions et conjectures), Sém","cited_arxiv_id":null,"evidence_quote":"Gives the classical local factor definition for smooth projective varieties that the new nearby $L$-function matches at good-reduction places."},{"cited_title":"Deligne La conjecture de W eil, I, Publ","cited_arxiv_id":null,"evidence_quote":"Proves the Weil conjectures, giving the absolute-value estimates needed for Weil-number statements and convergence bounds."}],"review_version":1}