Pith. sign in

REVIEW 3 major objections 5 minor 49 references

Zeta and L functions of Voevodsky motives

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2412.08437 v1 pith:2EGFDZFY submitted 2024-12-11 math.NT math.AG

Bruno Kahn This is my paper · ORCID
classification math.NTmath.AG MSC 11M4111G09
keywords nearbyL-functiongeometricmotiveszetafunctionssixfunctorsformalismcategoricaltracesWeilnumbersfunctionalequationstriangulatedcategories
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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$.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

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.

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 (3)
  1. [§9.7, Eq. (9.5)] 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.
  2. [§10, derivation before Theorem 10.1] 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).
  3. [§3.A and §3.D] 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.
minor comments (5)
  1. [§5.2] 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.
  2. [§9.6, Definition 9.6] 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.
  3. [§10] 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).
  4. [§9.7 and §10] 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.
  5. [Abstract and Introduction] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Lnear is canonically defined and its properties follow from external six-functor theorems, not from its own definition.

full rationale

The derivation chain is not circular. Lnear is introduced in Definition 9.6 as the unique solution of Lnear_v(s)/Lnear_v(s+1)=Ltot_v(s) via Lemma 5.2; this is a definition, not a fitted input. Theorem 9.7 identifies this solution with zeta(Υ_vM,s) by invoking Ayoub's exact triangle (9.5); the rationality and Weil-number properties then follow from the finite-field zeta theory of Section 2, not from the definition of Lnear. No parameter is fitted to a subset and then renamed a prediction; multiplicativity and the functional equation are derived from categorical traces, May's additivity theorem, Bondarko's K0 isomorphism, and Ayoub's six-functor theorems. Self-citations [25], [29], [27] supply published finite-field zeta results and category comparisons; they are used as lemmas, not as the source of the target L-function. The skeptic's worries—that the six-functor formalism on DMgm(K,Q) is assumed rather than proved, and that Υ_x(M^*) ≃ Υ_x(M)^* is quoted from [3]—are correctness risks contingent on Ayoub's theorems, not circular reductions; if those theorems fail the conclusions collapse, but they are not the paper's own outputs recycled as inputs. Hence score 2 only for non-load-bearing self-citations.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central definition is formal and canonical once the six-functor machinery is accepted. There are no free parameters fitted to data and no new postulates motivated only by the paper's needs. All inputs are standard or prior published results, though some are very heavy.

assumptions (6)
  • domain assumption Existence of a triangulated category D(S) of motives over a base scheme with six operations and an l-adic realisation functor commuting with them
    Invoked in Section 3.A and used throughout. The category is provided by Ayoub's DA_et or Cisinski-Deglise DMB; Voevodsky's original DMgm over a base lacks six operations. Failure of this formalism would make the zeta functions over base schemes and the nearby L-function undefined.
  • standard math Bondarko's theorem identifying K0(Chow(k,Q)) with K0(DMgm(k,Q))
    Used in Theorem 2.21 and Section 4 to reduce zeta and Gamma factors to Chow motives. See Bondarko [5].
  • standard math Deligne's proof of the Riemann hypothesis for varieties over finite fields
    Used in Theorems 2.8 and 2.26 to bound zeroes and poles as Weil numbers.
  • standard math Resolution of singularities: Hironaka in characteristic 0, de Jong alterations in positive characteristic
    Used in Proposition 1.4, Theorem 2.17 and Theorem 6.1 for constructibility and reductions.
  • standard math The l-adic trace formula of SGA5
    Used in the proof of Proposition 3.6 to get the trace formula for f_!M, because the motive-theoretic computation hits an idempotent problem. The author flags this l-adic input explicitly.
  • standard math The l-adic monodromy theorem for finite inertia quotients (Serre-Tate)
    Used in Remark 9.9 to compute local factors through semisimplification of the inertia action.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Zeta and L functions of Voevodsky motives." pith.science (2026). https://pith.science/paper/2EGFDZFY

@misc{pith2026241208437,
  author       = {Pith},
  title        = {Pith review of: Zeta and L functions of Voevodsky motives},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2EGFDZFY}},
  note         = {Machine review of arXiv:2412.08437}
}
abstract

We associate an $L$-function $L^{\mathrm{near}}(M,s)$ to any geometric motive over a global field $K$ in the sense of Voevodsky. This is a Dirichlet series which converges in some half-plane and has an Euler product factorisation. When $M$ is the dual of $M(X)$ for $X$ a smooth projective variety, $L^{\mathrm{near}}(M,s)$ differs from the alternating product of the zeta functions defined by Serre in 1969 only at places of bad reduction; in exchange, it is multiplicative with respect to exact triangles. If $K$ is a function field over $\mathbf{F}_q$, $L{\mathrm{near}}(M,s)$ is a rational function in $q^{-s}$ and enjoys a functional equation. The techniques use the full force of Ayoub's six (and even seven) operations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 48 canonical work pages

  1. [3]

    A youb La réalisation étale et les opérations de Grothendieck , Ann

    J. A youb La réalisation étale et les opérations de Grothendieck , Ann. sci. Éc. norm. sup. 47 (2014), 1–145

    work page 2014

  2. [9]

    Cisinski, F

    D.-C. Cisinski, F. Déglise Triangulated categories of motives , Springer Monographs in Math. 2019, xlii+406 pp

    work page 2019

  3. [25]

    Kahn Zeta functions and motives , Pure Appl

    B. Kahn Zeta functions and motives , Pure Appl. Math. Quarterly 5 (2009), 507–570 [2008]

    work page 2009

  4. [29]

    Kahn Zeta and L-functions of varieties and motives, London Math

    B. Kahn Zeta and L-functions of varieties and motives, London Math. Soc. Lect. Notes Ser. 462, Cambridge Univ. press, 2018. ZETA AND L FUNCTIONS OF VOEVODSKY MOTIVES 43

    work page 2018

  5. [1]

    André, B

    Y . André, B. Kahn Nilpotence, radicauxet structures monoïdales (with an appendix by P . O’SUllivan), Rendiconti Math. Univ. Padova108 (2002),108– 291

    work page 2002

  6. [2]

    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

    J. 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

    work page 2008

  7. [4]

    Barbieri-Viale, B

    L. Barbieri-Viale, B. Kahn On the derived category of 1-motives, Astérisque 381 (2016), 1–254

    work page 2016

  8. [5]

    M. V . Bondarko Differential graded motives: weight comp lex, weight filtra- tions and spectral sequences for realizations; V oevodsky versus Hanamura. J. Inst. Math. Jussieu 8 (2009), 39–97

    work page 2009

Show all 49 references
  1. [6]

    M. V . Bondarko W eight structures vs. t-structures; weight filtrations, sp ec- tral sequences, and complexes (for motives and in general) , J. of K-theory 6 (2010), 387–504

    2010

  2. [7]

    Cisinski Cohomological methods in intersection theory, Homotopy the- ory and arithmetic geometry–motivic and Diophantine aspec ts, 49–105, Lect

    D.-C. Cisinski Cohomological methods in intersection theory, Homotopy the- ory and arithmetic geometry–motivic and Diophantine aspec ts, 49–105, Lect. Notes in Math. 2292, Springer, 2021. 42 BRUNO KAHN

    2021

  3. [8]

    Cisinski, F

    D.-C. Cisinski, F. Déglise Étale motives, Compositio Math. 152 (2016) 556– 666

    2016

  4. [10]

    Colmez, J.-P

    P . Colmez, J.-P . Serre Correspondance Grothendieck-Serre, Documents math- ématiques 2, SMF, 2001

    2001

  5. [11]

    Deligne La conjecture de W eil, I, Publ

    P . Deligne La conjecture de W eil, I, Publ. Math. IHÉS 43 (1974), 273–307

    1974

  6. [12]

    Deligne La conjecture de W eil, II, Publ

    P . Deligne La conjecture de W eil, II, Publ. Math. IHÉS 52 (1980), 137–252

    1980

  7. [13]

    Le groupe fondamental de la droite projective moins trois po ints, in Galois groups over Q, Math. Sci. Res. Inst. Publ., 16, Springer, 1989, 79–297

    1989

  8. [14]

    Deninger L-functions of mixed motives , in Motives (U

    C. Deninger L-functions of mixed motives , in Motives (U. Jannsen, S. Kleiman, J.-P . Serre, eds.), Proc. Symposia pure Math. 55 (I), AMS, 1994, 517–525

    1994

  9. [15]

    Ekedahl On the adic formalism, in The Grothendieck Festschrift (P

    T. Ekedahl On the adic formalism, in The Grothendieck Festschrift (P . Cartier et al., eds.), V ol. II, Birkhäuser 1990, 197–218

    1990

  10. [16]

    Fontaine, B

    J.-M. Fontaine, B. Perrin-Riou Autour des conjectures de Bloch et Kato: co- homologie galoisienne et valeurs de fonctions L, in Motives (U. Jannsen, S. Kleiman, J.-P . Serre, eds.), Proc. Symposia pure Math. 55 (I), AMS, 1994, 599–706

    1994

  11. [17]

    Guletskii Zeta functions in triangulated categories , Mat

    V . Guletskii Zeta functions in triangulated categories , Mat. Zametki 87 (2010), 369–381; translation in Math. Notes 87 (2010), 345–354

    2010

  12. [18]

    T. Hemo, T. Richarz, J. Scholbach Con- structible sheaves on schemes , preprint, 2023, https://doi.org/10.48550/arXiv.2305.18131

    2023 doi arXiv

  13. [19]

    Huber, B

    A. Huber, B. Kahn the slice filtration and mixed T ate motives , Compositio Math. 142 (2006), 907–936

    2006

  14. [20]

    Illusie Constructibilité générique et uniformité en ℓ

    L. Illusie Constructibilité générique et uniformité en ℓ. Tunis. J. Math. 4 (2022), 159–181

    2022

  15. [21]

    Ivorra Réalisation l-adique des motifs triangulés géométriques

    F. Ivorra Réalisation l-adique des motifs triangulés géométriques. I , Doc. Math. 12 (2007), 607–671

    2007

  16. [22]

    Jannsen Mixed motives and algebraic K-theory, Lect

    U. Jannsen Mixed motives and algebraic K-theory, Lect. Notes 1400, Springer, 1990

    1990

  17. [23]

    de Jong Smoothness, semi-stability and alterations, Publ

    A.J. de Jong Smoothness, semi-stability and alterations, Publ. Math. IHÉS 83 (1996), 51–93

    1996

  18. [24]

    de Jong Families of curves and alterations , Ann

    A.J. de Jong Families of curves and alterations , Ann. Inst. Fourier 47 (1997), 599–621

    1997

  19. [26]

    Kahn Zeta and L-functions of triangulated motives , slides of a talk at the workshop Algebraic cycles and L-functions, Regensburg, Feb

    B. Kahn Zeta and L-functions of triangulated motives , slides of a talk at the workshop Algebraic cycles and L-functions, Regensburg, Feb. 27 – March 2, 2012, https://webusers.imj-prg.fr/~bruno.kahn/preprints/z etaL-Regensburg.pdf

    2012

  20. [27]

    Kahn The full faithfulnees conjectures in characteristic p, in Autour des motifs (II), Panoramas et synthèses 41, SMF, 2013, 187–244

    B. Kahn The full faithfulnees conjectures in characteristic p, in Autour des motifs (II), Panoramas et synthèses 41, SMF, 2013, 187–244

    2013

  21. [28]

    Kahn Motifs et adjoints , Rendiconti Sem

    B. Kahn Motifs et adjoints , Rendiconti Sem. Mat. Univ. Padova 139 (2018), 77–128

    2018

  22. [30]

    B. Kahn, R. Sujatha Birational motives, I: pure birational motives , Ann. K- Theory 1 (2016), 379–440

    2016

  23. [31]

    B. Kahn, R. Sujatha Birational motives, II: triangulated birational motives , IMRN 2017, no. 22, 6778–6831

    2017

  24. [32]

    Karpenko W eil transfer for algebraic cycles , Indag

    N. Karpenko W eil transfer for algebraic cycles , Indag. Math. (N.S.) 11 (2000), 73–86

    2000

  25. [33]

    Kelly V oevodsky motives and ldh-descent, Astérisque 391, SMF, 2017

    S. Kelly V oevodsky motives and ldh-descent, Astérisque 391, SMF, 2017

    2017

  26. [34]

    Kleiman Motives, Algebraic geometry, Oslo 1970, Proc

    S. Kleiman Motives, Algebraic geometry, Oslo 1970, Proc. Fifth Nordic Sum- mer School in Math., Wolters-Noordhoff, Groningen, 1972, 5 3–82

    1970

  27. [35]

    J. P . May The additivity of traces in triangulated categories , Adv. Math. 163 (2001), 34–73

    2001

  28. [36]

    Mazza, V

    C. Mazza, V . V oevodsky, C. Weibel, Lecture notes on moti vic cohomology, Clay Mathematics Monographs 2, American Mathematical Society, Provi- dence, RI; Clay Mathematics Institute, Cambridge, MA, 2006

    2006

  29. [37]

    Pacheco A note on relations between the zeta-functions of Galois coverings of curves over finite fields , Canad

    A. Pacheco A note on relations between the zeta-functions of Galois coverings of curves over finite fields , Canad. Math. Bulletin 33 (1990), 282–285

    1990

  30. [38]

    Raynaud Caractéristique d’Euler-Poincaré d’un faisceau et cohomo logie des variétés abéliennes, Sém

    M. Raynaud Caractéristique d’Euler-Poincaré d’un faisceau et cohomo logie des variétés abéliennes, Sém. Bourbaki 1964-66, exp. n° 286, 129–147, SMF

    1964

  31. [39]

    Riou Dualité de Spanier-Whitehead en géométrie algébrique , C

    J. Riou Dualité de Spanier-Whitehead en géométrie algébrique , C. R. Math. Acad. Sci. Paris 340 (2005), no. 6, 431–436

    2005

  32. [40]

    Saavedra Rivano Catégories tannakiennes, Lect

    N. Saavedra Rivano Catégories tannakiennes, Lect. Not es in Math. 265, Springer, 1972

    1972

  33. [41]

    Saito The characteristic cycle and the singular support of a constructible sheaf , Invent

    T. Saito The characteristic cycle and the singular support of a constructible sheaf , Invent. Math 207 (2) (2017), 597–695. Cor- rection: ibid., bf 216 (3) (2019), 1005–1006. Correction 2: https://www.ms.u-tokyo.ac.jp/~t-saito/CCcor2.pdf

    2017

  34. [42]

    A. J. Scholl Remarks on special values of L functions, in L-functions and arithmetic, London Math. Soc. Lect. Notes Ser. 153, Cambridge Univ. Press, 1991, 373–392

    1991

  35. [43]

    Serre Cohomologie galoisienne (5th edition), Le ct

    J.-P . Serre Cohomologie galoisienne (5th edition), Le ct. Notes in Math. 5, Springer, 1994

    1994

  36. [44]

    Serre Facteurs locaux des fonctions zêta des variétés algébrique s (défi- nitions et conjectures), Sém

    J.-P . Serre Facteurs locaux des fonctions zêta des variétés algébrique s (défi- nitions et conjectures), Sém. DPP 1969/70, exp. 19

    1969

  37. [45]

    Serre Lectures on NX (p), Research Notes in Math

    J.-P . Serre Lectures on NX (p), Research Notes in Math. 11, CRC Press, 2012

    2012

  38. [46]

    Serre, J

    J.-P . Serre, J. Tate Good reduction of abelian varieties , Ann. of Math. 88 (1968), 492–517

    1968

  39. [47]

    Suslin Motivic complexes over nonperfect fields , Ann

    A. Suslin Motivic complexes over nonperfect fields , Ann. of K-theory 2 (2017), 277–302

    2017

  40. [48]

    Terasoma Monodromy weight filtration is independent of l, preprint, 1998, https://arxiv.org/abs/math/9802051

    T. Terasoma Monodromy weight filtration is independent of l, preprint, 1998, https://arxiv.org/abs/math/9802051

    1998 arXiv

  41. [49]

    V oevodskyTriangulated categories of motives over a field , in Cycles, trans- fers and motivic cohomology theories, Ann

    V . V oevodskyTriangulated categories of motives over a field , in Cycles, trans- fers and motivic cohomology theories, Ann. of Math. Studies . 143, Princeton Univ. press, 2000, 188–238. ACRONYMS [SGA1] Revêtements étales et groupe fondamental (SGA 1) (A. Grothendieck et al), r...

    2000

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.