Motivic interpretation of Albanese varieties of smooth varieties

Doosung Park

REVIEW 1 major objections 4 minor 26 references

Motivic interpretation of Albanese varieties of smooth varieties

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A derived Albanese motive recovers the Albanese variety integrally.

desk verdict A credible, careful paper that removes the p-inversion from the derived Albanese and proves the expected triangle; the load-bearing descent step (Prop 3.3) is heavy but checkable, not a gap. read the letter →

arxiv 1908.01582 v2 pith:OOJNPW3H submitted 2019-08-05 math.AG

Doosung Park This is my paper · ORCID

classification math.AG MSC 14F4214C1514K30

keywords AlbanesevarietiesDerivedEffectiveNisnevichmotivesNéron-SeverigroupPicardfunctorsHomotopyt-structureCartierdualdescent

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

Over an algebraically closed field, every smooth separated scheme $X$ is shown to carry a derived Albanese object $\mathrm{LAlb}(X)$ inside Voevodsky's triangulated category of effective Nisnevich motives. The object is defined by a truncation of the double internal Hom involving the motive of $X$ and $\mathbb{Z}(1)[2]$. The main theorem packages the Albanese variety together with the Néron–Severi group in a functorial distinguished triangle $\mathrm{NS}^*(X)[1]\to \mathrm{LAlb}(X)\to \mathrm{Alb}(X)\to \mathrm{NS}^*(X)[2]$. The definition has two features that justify it: it works with integral coefficients, without inverting the exponential characteristic of the field, and it satisfies Nisnevich descent. A careful reader should care because this gives a purely motivic, characteristic-free description of a classical birational invariant.

What carries the argument

The load-bearing machinery is the $0$-motivic (homotopy) t-structure on $\mathrm{DM}^{\mathrm{eff}}(k)$, generated by motives of smooth schemes, together with its truncation functor $\tau_{\ge 0}$. The auxiliary object $M^*_1(X)$, defined as the cocone of the map $\operatorname{Hom}(M_{\ge 1}(X),\mathbb{Z}(1)[2])\to \mathrm{NS}(X)$, is the workhorse of the proof. Two identifications carry the argument: $M^*_1(X)$ is isomorphic to the Cartier dual $(\mathrm{Alb}^0(X))^\vee$ of the Albanese variety (Theorem 8.8), and for every semi-abelian variety $G$ the truncation of $\operatorname{Hom}(G^\vee,\mathbb{Z}(1)[2])$ is isomorphic to $G$ itself (Proposition 8.3). These isomorphisms let the universal property of the Albanese be read off from Hom groups in the motivic category.

What would settle it

Exhibit a smooth $X$ over an algebraically closed field and an h-hypercover $X_\bullet\to X$ for which the induced map $\tau_{\ge 0}\operatorname{Hom}(M(X),\mathbb{Z}(1)[2])\to \tau_{\ge 0}\operatorname{Hom}(M(X_\bullet),\mathbb{Z}(1)[2])$ is not an isomorphism; equivalently, find a prime-power torsion class in the étale cohomology $H^i_{\text{\'et}}(X,\mathbb{G}_m)$ that violates h-hypercover descent. Such an example would break Proposition 3.3 and with it the structure theorem for non-proper $X$ and Theorem 8.15.

Watch

Extended reading notes

Core claim

Theorem 8.15 is the paper's central assertion: for every $X\in \mathrm{Sm}/k$, there is a functorial distinguished triangle $\mathrm{NS}^*(X)[1]\to \mathrm{LAlb}(X)\to \mathrm{Alb}(X)\to \mathrm{NS}^*(X)[2]$ in $\mathrm{DM}^{\mathrm{eff}}(k)$, where $\mathrm{LAlb}(X):=\tau_{\ge 0}\operatorname{Hom}(\operatorname{Hom}(M(X),\mathbb{Z}(1)[2]),\mathbb{Z}(1)[2])$ and $\mathrm{NS}^*(X):=\operatorname{Hom}(\mathrm{NS}(X),\mathbb{Z}(1)[1])$. In prose, the derived Albanese is the truncation of the double dual of the motive of $X$, and it differs from the classical Albanese variety only by a shift of the Néron–Severi motive. The proof shows that the auxiliary motive $M^*_1(X)$, defined by the triangle $M^*_1(X)\to \operatorname{Hom}(M_{\ge 1}(X),\mathbb{Z}(1)[2])\to \mathrm{NS}(X)\to M^*_1(X)[1]$, is isomorphic to the Cartier dual of the Albanese variety $\mathrm{Alb}^0(X)$. Feeding that identification into the double-Hom construction produces the triangle. The integrality point is that an earlier derived Albanese construction only worked after inverting the exponential characteristic, whereas this definition does not require that inversion.

Load-bearing premise

The argument's load-bearing assumption is that replacing a smooth variety by a hypercover of proper schemes does not change the truncated motive built from it; this is really a statement about how the multiplicative-group sheaf and its torsion behave under such covers, and if that statement failed for some field the conclusion for non-proper varieties would not follow.

Editorial extensions

If this is right

The Albanese variety becomes a functor of the motive $M(X)$: the double-Hom construction recovers $\mathrm{Alb}(X)$ with the Néron–Severi motive as the only correction term.
Nisnevich descent for $\mathrm{LAlb}$ makes the derived Albanese computable by Nisnevich-local glueing, so it behaves like a motivic sheaf rather than a single birational invariant.
The isomorphisms $M^*_1(X)\cong (\mathrm{Alb}^0(X))^\vee$ and $h^0(\operatorname{Hom}(G^\vee,\mathbb{Z}(1)[2]))\cong G$ give an explicit motivic model for the Cartier dual of semi-abelian varieties.
Because the construction is integral, the motivic Albanese invariant is nontrivial in positive characteristic; inverting the exponential characteristic is not needed.

Reading between the lines

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

The same definition is likely to extend from algebraically closed fields to perfect fields once the integral étale descent statements for $\mathbb{G}_m$ under h-covers are available; the algebraically closed hypothesis simplifies several sheaf-theoretic arguments but may not be essential to the triangle.
One could define $\mathrm{LAlb}$ directly on simplicial schemes and ask whether the distinguished triangle and Nisnevich descent formalize into a motivic $1$-motive whose realizations recover the classical Albanese $1$-motive; the Cartier-dual identification is a first step in that direction.
The Néron–Severi term in the triangle suggests a derived-category refinement of the classical exact sequence $0\to \mathrm{Pic}^0(X)\to \mathrm{Pic}(X)\to \mathrm{NS}(X)\to 0$, with the same truncation mechanism potentially yielding a motivic derived Picard object and a dual triangle.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Short version: this paper works. It does what the abstract promises—a derived Albanese in DM_eff(k) for smooth separated schemes over an algebraically closed field, defined without inverting the exponential characteristic, which is a known gap in Barbieri-Viale–Kahn—and the main theorem, the functorial triangle NS*(X)[1] → LAlb(X) → Alb(X) → NS*(X)[2], holds up on reading.

What is genuinely new: the definition is a double internal Hom with a τ≥0 truncation, absent from [6], and the point is that it works integrally. The proof strategy is honest: the paper flags that the Nisnevich version of L → A → Pic^0_{X/k} → 0 is not a consequence of the étale version, and builds L and A by hand via de Jong alterations. Theorem 5.6 is the technical heart—killing the G_m factor by applying Hom(G_m, −) and invoking cancellation is a nice argument. No self-citations, no fitted parameters, no circularity; the classical Albanese is the target, not an input.

Soft spots, in proportion. The proof is long and leans on heavy external machinery. The load-bearing step is Proposition 3.3, reducing arbitrary X to a proper simplicial h-hypercover; it depends on étale cohomological descent for h-hypercovers with integral coefficients on G_m and its prime-power torsion ([10, Prop. 5.3.3]). I went through the rational/finite-coefficient combination: it is the standard two-step argument, and the algebraically closed hypothesis makes the tensoring step valid. This is reliance on deep published results, not a demonstrated gap—but a referee should verify the cited descent theorems apply to the simplicial case as stated. Minor items: Proposition 2.11 cites a preprint ([16, Lemma 2.12]); Proposition 2.18 cites [1, Thm 5.1.1] for representability of the simplicial Picard functor, worth confirming; there are a couple of typos ('scheme group scheme', a missing verb in 5.4) and a few proofs compressed with 'argue as in'. I also checked the terse 'This induces a distinguished triangle' in the proof of 8.15—it is justified by the direct-sum decomposition of the cone. None of this affects the mathematics as far as I can see.

Audience: specialists in motivic homotopy theory and 1-motives. It fills a real gap without reshaping the field. It deserves a serious referee: precise claims, checkable chain, standard tools. My recommendation: send to peer review; expect acceptance after a referee pass on Propositions 3.3–3.4 and 2.18. I agree with the reader's ACCEPT at moderate confidence, and the stress-test note's read on 3.3 matches mine.

Referee Report

1 major / 4 minor

Summary. The paper defines, for every noetherian smooth and separated scheme X over an algebraically closed field k, an integral derived Albanese object LAlb(X) in Voevodsky's category DM^eff(k) by LAlb(X) := τ_{≥0} Hom(Hom(M(X), Z(1)[2]), Z(1)[2]). The central result (Theorem 8.15) asserts a functorial distinguished triangle NS*(X)[1] -> LAlb(X) -> Alb(X) -> NS*(X)[2], and Theorem 8.17 asserts Nisnevich descent for LAlb. The proof introduces auxiliary motives M_{≥1}(X) and M_1*(X), analyzes Picard functors of proper simplicial schemes, reduces general X to proper simplicial schemes via an h-hypercover argument (Proposition 3.3), proves a structure theorem for M_1*(X)[−1] (Theorem 5.6), establishes a motivic duality for semi-abelian varieties (Propositions 7.3 and 8.3), identifies M_1*(X) with the Cartier dual of Alb^0(X), and assembles the final triangle. The paper works integrally, i.e., without inverting the exponential characteristic, which is the main advertised improvement over Barbieri-Viale and Kahn.

Significance. If the proof is correct, the paper gives a canonical and functorial integral 'derived Albanese' in DM^eff(k), together with a precise relation to the classical Albanese scheme and with Nisnevich descent. The construction is explicit, contains no fitted parameters, and the main theorem is falsifiable. The proof is technically ambitious and leans on deep external results (de Jong alterations, Voevodsky vanishing theorems, representability of Picard functors, h-cohomological descent); the manuscript is not fully self-contained, but its internal architecture is coherent and the main theorems are stated with enough precision to be checked. The paper would be a useful contribution to motivic homotopy theory and to the theory of 1-motives.

major comments (1)

[Proposition 3.4, Eq. (3.4.1)] The step from cohomological descent for the sheaf F to the vanishing (3.4.1) is not justified as written. From H^i_et(X,F) ≅ H^i_et(X•,F) one obtains an isomorphism of the middle terms in the long exact sequences attached to 0 -> Gm --n-> Gm -> F -> 0; this constrains the cokernel of n-multiplication and the n-torsion in the cohomology of Gm, but it does not directly yield Hom_{D(k_et,Z)}(Z, K[i]) ⊗ Z/n = 0. Since Hom_{D}(Z, K[i]) is only known to be torsion after the rational step, the implication requires a diagram chase, a Bockstein/universal-coefficients argument, or an additional finiteness statement. This point is load-bearing: Proposition 3.3 is the only reduction from arbitrary X in Sm/k to proper simplicial schemes, and it feeds Theorem 5.6 and hence Theorem 8.15. Please expand this part of the proof.

minor comments (4)

[Proposition 6.4] In the proof of Proposition 6.4 there is an indexing mismatch: to use the t-structure one should rewrite Hom(A[i], Z(1)[2]) as Hom(A[i−1], Gm) via Z(1)[1] ≃ Gm and then use that A[i−1] is t-positive for i > 1; the displayed sentence with A[i−2] and Z(1)[1] does not directly correspond to the Hom group being considered.
[Theorem 8.15, proof of (8.15.4)] The identification of τ_{≥0} Hom(M_1*(X), Z(1)[2]) ⊕ M0(X) with Alb(X) silently uses the splitting of the exact sequence 0 -> Alb^0(X) -> Alb(X) -> π0(Alb(X)) -> 0. This splitting is standard because π0(Alb(X)) is a finitely generated free abelian group and k is algebraically closed, but it should be stated explicitly at the point where (8.15.4) is written down.
[Proposition 8.4] In the proof of Proposition 8.4 the expression 'f τ− τ f′' is missing a prime on the second τ and the notation f′ is introduced only implicitly; the intended equation is f τ = τ′ f′. Please correct the notation and add one sentence explaining why the displayed diagram forces the vanishing of the difference.
[Theorem 8.17] The phrase 'Nisnevich distinguished triangle in Sm/k' is nonstandard: the diagram displayed is a homotopy cartesian square, not a triangle. Rephrasing as 'Nisnevich distinguished square' would avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derived Albanese is defined independently, and the comparison with the classical Albanese is a proved theorem rather than an input.

full rationale

The paper defines LAlb(X) in Definition 8.14 as tau>=0 Hom(Hom(M(X), Z(1)[2]), Z(1)[2]), and Theorem 8.15 is then proved by a long chain of structural results: the distinguished triangle (2.13.1), the reduction to proper simplicial schemes via Proposition 3.3, the structure theorem Theorem 5.6, the duality theorem Theorem 8.8, and the identification of tau>=0 Hom(G^vee, Z(1)[2]) with G for semi-abelian G. None of these steps presupposes the conclusion. The classical Albanese scheme enters through its external universal property (Serre, Ramachandran), and it is used as the target of the comparison, not as a fitted or built-in part of the definition. The load-bearing descent step, Proposition 3.3, cites independent results on h-cohomological descent (Cisinski-Deglise, Conrad, de Jong); these are not authored by the present paper and do not contain the target theorem. There are no fitted parameters, no data predictions, and no self-citations carrying logical weight. The triangle is therefore not circular by construction; it is a genuine comparison between a newly defined motivic object and a classical Albanese scheme.

Assumptions & free parameters 0 free parameters · 8 assumptions · 3 invented entities

No free parameters occur. The central claim rests on the standard structure of Voevodsky's motives and on several deep theorems in algebraic geometry that are cited and not reproved. The new objects LAlb, M_1*, and RPic are formal definitions proven to satisfy the stated properties; they are not ad hoc assumptions.

assumptions (8)

domain assumption The base field k is algebraically closed.
Stated in Section 1.3. Used to ensure rational points on connected components, sections of projections in Proposition 2.4, and the decomposition Ztr(X) is isomorphic to Ztr_{>=1}(X) plus Z^{pi0(X)} in Section 2.3.
standard math Voevodsky's category DM^eff(k) carries the 0-motivic (homotopy) t-structure generated by M(X), whose heart is the category of homotopy invariant Nisnevich sheaves with transfers.
Used throughout the paper; the truncation tau_{>=0} in Definition 8.14 and the whole t-structure formalism of Section 2.6 are taken from [4] and [17].
standard math Voevodsky's cancellation theorem for motives.
Invoked in Propositions 4.9, 5.6, 8.5 and Theorem 5.6 to identify Hom(Gm, L tensor Gm) with L and to conclude L=0. Cited [25].
standard math de Jong's alterations provide, for every X in Sm/k, an h-hypercover X. -> X such that each Xi is proper and admits a smooth compactification whose complement is a strict normal crossing divisor.
Load-bearing in Proposition 5.4, where the structure of Hom(M_{>=1}(X), Z(1)[2]) is reduced to the proper simplicial case. Cited [13].
standard math Bloch's localization sequence for higher Chow groups.
Used in Proposition 2.4 to establish exactness of Pic sequences for Nisnevich squares, and in Proposition 5.2 to compute Hom(M(X/U), Z(1)[2]) as a lattice. Cited [9].
standard math Hilbert's Theorem 90 holds for the Nisnevich and etale cohomology of Gm, including the simplicial version.
Used in Section 3 to identify Nisnevich and etale hypercohomology of X and X.. Cited [7].
standard math The Picard functor of a proper scheme, and of a proper simplicial scheme, is representable by a (semi-)abelian group scheme.
Used in Propositions 2.17, 2.18 and 5.4. Cited [1], [19], [20].
standard math Voevodsky's vanishing theorem H^i_Nis(T, Gm) = 0 for i not equal to 0,1.
Used in Propositions 2.11, 3.3 and 4.5. Cited [17, Theorem 19.3].

invented entities (3)

LAlb(X) (derived Albanese of X)
purpose: Main object: a motivic functor that relates to the classical Albanese scheme without inverting p.
Defined in Definition 8.14. Its relation to Alb(X) is proven in Theorem 8.15, not assumed.
M_1*(X)
purpose: Technical motive used to prove the duality between motivic Homs and the Albanese variety.
Defined in Definition 2.13 as the cocone of the map from Hom(M_{>=1}(X), Z(1)[2]) to NS(X). Shown in Theorem 8.8 to be the Cartier dual of Alb^0(X).
RPic(X) (derived Picard of X, primitive version)
purpose: Auxiliary object used in the definition of LAlb(X).
Defined in Definition 8.13 as Hom(M(X), Z(1)[2]); it is a building block of the double-Hom construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Motivic interpretation of Albanese varieties of smooth varieties." pith.science (2026). https://pith.science/paper/OOJNPW3H

@misc{pith2026190801582,
  author       = {Pith},
  title        = {Pith review of: Motivic interpretation of Albanese varieties of smooth varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OOJNPW3H}},
  note         = {Machine review of arXiv:1908.01582}
}

read the original abstract

For every noetherian smooth and separated scheme over an algebraically closed field, we define its derived Albanese in Voevodsky's triangulated category of effective Nisnevich motives. To justify our definition, we relate the derived Albanese with the Albanese scheme. We also prove that the derived Albanese satisfies the Nisnevich descent property.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Andreatta and L

F. Andreatta and L. Barbieri-Viale , Crystalline realizations of 1-motives , Math. Ann., 331 (2005), pp. 111–172

work page 2005
[2]

Artin, A

M. Artin, A. Grothendieck, and J. L. Verdier , Th´ eorie des topos et cohomologie ´ etale des sch´ emas, vol. 269, 270, 305 of Lecture Notes in Mathematics, Springe r-Verlag, 1972–1973. S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois–Marie 1963—64

work page 1972
[6]

Barbieri-Viale and B

L. Barbieri-Viale and B. Kahn , On the derived category of 1-motives , Ast´ erisque, (2016), pp. xi+254

work page 2016
[3]

Ayoub , Les six op´ erations de Grothendieck et le formalisme des cyc les ´ evanescents dans le monde motivique

J. Ayoub , Les six op´ erations de Grothendieck et le formalisme des cyc les ´ evanescents dans le monde motivique. , Ast´ erisque, (2007)

work page 2007
[4]

Math., 226 (2011), pp

, The n-motivic t-structures for n = 0, 1 and 2, Adv. Math., 226 (2011), pp. 111–138

work page 2011
[5]

Ayoub and L

J. Ayoub and L. Barbieri-Viale , 1-motivic sheaves and the Albanese functor , J. Pure Appl. Algebra, 213 (2009), pp. 809–839

work page 2009
[7]

Barbieri-Viale and V

L. Barbieri-Viale and V. Srinivas , Albanese and Picard 1-motives , M´ em. Soc. Math. Fr. (N.S.), (2001), pp. vi+104

work page 2001
[8]

Berthelot, L

P. Berthelot, L. Breen, and W. Messing , Th´ eorie de Dieudonne cristalline. II, vol. 930, Springer, Cham, 1982

work page 1982

Show all 26 references

[9]

Bloch , The moving lemma for higher Chow groups , J

S. Bloch , The moving lemma for higher Chow groups , J. Algebr. Geom., 3 (1994), pp. 537– 568

1994
[10]

Cisinski and F

D.-C. Cisinski and F. D ´eglise, ´Etale motives , Compos. Math., 152 (2016), pp. 556–666

2016
[11]

Cisinski and F

D.-C. Cisinski and F. D ´eglise, Triangulated categories of mixed motives , Cham: Springer, 2019

2019
[12]

Conrad , Cohomological descent

B. Conrad , Cohomological descent. https://math.stanford.edu/∼ conrad/
[13]

A. J. de Jong , Smoothness, semi-stability and alterations , Inst. Hautes ´Etudes Sci. Publ. Math., (1996), pp. 51–93

1996
[14]

Deligne , Th´ eorie de Hodge

P. Deligne , Th´ eorie de Hodge. III, Publ. Math., Inst. Hautes ´Etud. Sci., 44 (1974), pp. 5–77

1974
[15]

Dieudonn ´e and A

J. Dieudonn ´e and A. Grothendieck , ´El´ ements de g´ eom´ etrie alg´ ebrique, vol. 4, 8, 11, 17, 20, 24, 28, 32, 1961–1967

1961
[16]

Mannisto , Albanese and picard 1-motives in positive characteristic , (2013)

P. Mannisto , Albanese and picard 1-motives in positive characteristic , (2013). arXiv:1308.0472v1

2013 arXiv
[17]

Mazza, V

C. Mazza, V. Voevodsky, and C. Weibel , Lecture notes on motivic cohomology , vol. 2 of Clay Mathematics Monographs, American Mathematical Soc iety, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2006

2006
[18]

Neeman , Triangulated categories, vol

A. Neeman , Triangulated categories, vol. 148, Princeton, NJ: Princeton University Press, 2001. MOTIVIC INTERPRETATION OF ALBANESE V ARIETIES OF SMOOTH V AR IETIES 33

2001
[19]

Oort , Commutative group schemes , vol

F. Oort , Commutative group schemes , vol. 15 of Lecture Notes in Mathematics, Springer- Verlag, Berlin-New York, 1966

1966
[20]

Orgogozo , Isomotifs de dimension inf´ erieure ou ´ egale ` a un , Manuscripta Math., 115 (2004), pp

F. Orgogozo , Isomotifs de dimension inf´ erieure ou ´ egale ` a un , Manuscripta Math., 115 (2004), pp. 339–360

2004
[21]

Ramachandran , Duality of Albanese and Picard 1-motives , K-theory, 22 (2001), pp

N. Ramachandran , Duality of Albanese and Picard 1-motives , K-theory, 22 (2001), pp. 271– 301

2001
[22]

Serre , Morphismes universels et diﬀ´ erentielles de troisi` eme es p` ece, S´ eminaire Claude Chevalley, 4 (1958-1959)

J.-P. Serre , Morphismes universels et diﬀ´ erentielles de troisi` eme es p` ece, S´ eminaire Claude Chevalley, 4 (1958-1959). talk:11

1958
[23]

Voevodsky , Homology of schemes , Sel

V. Voevodsky , Homology of schemes , Sel. Math., New Ser., 2 (1996), pp. 111–153

1996
[24]

143 of Ann

, Triangulated categories of motives over a ﬁeld , in Cycles, transfers, and motivic homology theories, vol. 143 of Ann. of Math. Stud., Princeto n Univ. Press, Princeton, NJ, 2000, pp. 188–238

2000
[25]

Math., (2010), pp

, Cancellation theorem, Doc. Math., (2010), pp. 671–685

2010
[26]

Pure Appl

, Homotopy theory of simplicial sheaves in completely decomp osable topologies, J. Pure Appl. Algebra, 214 (2010), pp. 1384–1398. Institut f ¨ur Mathematik, Universit ¨at Z ¨urich, Winterthurerstr. 190, 8057 Z ¨urich, Switzerland Email address : doosung,park@math.uzh.ch

2010

Pith tools

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

[1] [1]

Andreatta and L

F. Andreatta and L. Barbieri-Viale , Crystalline realizations of 1-motives , Math. Ann., 331 (2005), pp. 111–172

work page 2005

[2] [2]

Artin, A

M. Artin, A. Grothendieck, and J. L. Verdier , Th´ eorie des topos et cohomologie ´ etale des sch´ emas, vol. 269, 270, 305 of Lecture Notes in Mathematics, Springe r-Verlag, 1972–1973. S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois–Marie 1963—64

work page 1972

[3] [6]

Barbieri-Viale and B

L. Barbieri-Viale and B. Kahn , On the derived category of 1-motives , Ast´ erisque, (2016), pp. xi+254

work page 2016

[4] [3]

Ayoub , Les six op´ erations de Grothendieck et le formalisme des cyc les ´ evanescents dans le monde motivique

J. Ayoub , Les six op´ erations de Grothendieck et le formalisme des cyc les ´ evanescents dans le monde motivique. , Ast´ erisque, (2007)

work page 2007

[5] [4]

Math., 226 (2011), pp

, The n-motivic t-structures for n = 0, 1 and 2, Adv. Math., 226 (2011), pp. 111–138

work page 2011

[6] [5]

Ayoub and L

J. Ayoub and L. Barbieri-Viale , 1-motivic sheaves and the Albanese functor , J. Pure Appl. Algebra, 213 (2009), pp. 809–839

work page 2009

[7] [7]

Barbieri-Viale and V

L. Barbieri-Viale and V. Srinivas , Albanese and Picard 1-motives , M´ em. Soc. Math. Fr. (N.S.), (2001), pp. vi+104

work page 2001

[8] [8]

Berthelot, L

P. Berthelot, L. Breen, and W. Messing , Th´ eorie de Dieudonne cristalline. II, vol. 930, Springer, Cham, 1982

work page 1982