REVIEW 3 major objections 2 minor 13 references
Motivic sheaves revisited
T0 review · 3 major / 2 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that every quasiprojective variety $S$ has a $\delta$-functor $h^*$ from motivic sheaves on $S$ to mixed motives whose Betti realization is cohomology of the base, and that this functor carries a motivic version of the…
desk verdict A genuine simplification of motivic sheaves with a clean motivic Leray spectral sequence, but the referee must verify the quoted cellular lemma before the main construction is fully load-bearing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the quiver (directed graph) $\Delta(S)$ whose vertices are triples $(X\to S,Y,i)$ standing for the relative cohomology symbol $h^i_S(X,Y)$, with type-I edges given by geometric morphisms and type-II edges by connecting maps coming from the exact sequence for a triple $Z\subset Y\subset X$. Feeding the Betti representation $H:\Delta(S)^{\mathrm{op}}\to \mathrm{Cons}(S^{\mathrm{an}},R)$ into the N+ construction—the universal way to convert a quiver representation into an abelian category with an exact faithful functor—produces the effective motivic sheaves $\mathcal{M}^{\mathrm{eff}}(S,R)$; inverting the Lefschetz motive $L=h^1_S(\mathbb{G}_{m,S},1)$ gives $\mathcal{M}(S,R)$. The proof of the main theorem rests on a cellular decomposition: an affine-bundle reduction replaces $S$ by an affine $T$, and a quoted lemma supplies a chain $T_{-1}\subset T_0\subset\cdots\subset T$ of equidimensional closed sets with $H^i(T_a,T_{a-1};F)=0$ unless $i=a$. With that vanishing, a filtered-derived-category criterion identifies the truncation filtration with the d\'ecalage of the support filtration, producing the complexes $K(i)^\bullet$ and the isomorphism $H^j(K(i)^\bullet)\cong H^j(S,h^i_S(X,Y))$; the same exact couple in $\mathcal{M}(k)$ gives the motivic Leray spectral sequence.
What would settle it
A concrete way to test the claim is to take a constructible sheaf $F$ on an affine bundle $T$ and attempt to refine a prescribed chain to a cellular chain with the vanishing $H^i(T_a,T_{a-1};F)=0$ for $i\neq a$; the first example where no such refinement exists falsifies Lemma 5.2 and therefore the construction of $h^j$. Alternatively, for a smooth projective family $f:X\to\mathbb{P}^1$, compute the motivic page $h^p(h^q_S(X))$ by the paper's prescription and check that its Betti realization equals $H^p(\mathbb{P}^1,R^qf_*\mathbb{Z})$ at every $(p,q)$.
Extended reading notes
Core claim
On its own terms, the paper claims that the category $\mathcal{M}(S)$ of motivic constructible sheaves over $S$ can be built in one step from the universal exact-faithful construction applied to a quiver of relative cohomology symbols $h^i_S(X,Y)$, and that this category admits a natural $\delta$-functor $h^*$ to the category of mixed motives over $k$ satisfying $R_B(h^j(M))\cong H^j(S,R_B(M))$ for every object $M$. The proof fixes an affine bundle $T\to S$ and a cellular chain $T_\bullet$, constructs complexes $K(i)^\bullet$ of motives whose Betti realizations are the complexes appearing in the Leray filtration, and proves a quasi-isomorphism $H^j(K(i)^\bullet)\cong H^j(S,h^i_S(X,Y))$. The same exact-couple construction, repeated inside the motivic category, produces the motivic Leray spectral sequence. The paper also derives a triangulated lift $r\Gamma$ and, in the smooth projective and curve cases, a noncanonical motivic decomposition $h^i(X)\cong\bigoplus_{p+q=i}h^q(h^p_S(X))$.
Load-bearing premise
The construction hinges on a quoted lemma from the earlier paper: every reasonably behaved sheaf of coefficients on the affine replacement $T$ admits a nested chain of algebraic closed subsets $T_{-1}\subset T_0\subset\cdots\subset T$ such that the cohomology of $T_a$ relative to $T_{a-1}$ vanishes except in degree $a$. The paper does not prove this lemma, and if this vanishing failed, the complexes that define $h^j$ would no longer compute Leray cohomology, so the whole construction would collapse.
Editorial extensions
If this is right
- For any controlled pair, the terms $h^p(h^q_S(X,Y))$ of the motivic Leray spectral sequence are genuine mixed motives, not just placeholders for cohomology groups; the classical Leray sequence is their Betti realization.
- Corollary 6.4 upgrades the $\delta$-functor to a triangulated functor $r\Gamma:D^b\mathcal{M}(S)\to D^b\mathcal{M}(k)$, so the whole derived category of motivic sheaves has a well-defined motivic cohomology of the base, with the $h^j$ as its cohomology functors.
- When $f:X\to S$ is smooth projective, or when $S$ is a smooth projective curve, the motivic Leray spectral sequence degenerates at $E_2$ and gives a noncanonical decomposition $h^i(X)\cong\bigoplus_{p+q=i}h^q(h^p_S(X))$ in $\mathcal{M}(k,\mathbb{Q})$.
- The construction is compatible with refinements of the cellular chain, so the resulting functors $h^j$ do not depend on the auxiliary affine bundle and chain chosen in the proof.
- The category is built over any commutative noetherian coefficient ring $R$, so the motivic Leray statement holds integrally and not only over a field.
Reading between the lines
- The proof's dependence on the affine-bundle reduction and on the quoted cellular vanishing suggests that quasiprojectivity of $S$ is essential; the existence of $h^*$ over non-quasiprojective bases is not settled here and may be the natural next obstruction.
- The same exact-couple method can plausibly be iterated to define motivic direct images $f_*$ for arbitrary morphisms $f:X\to S$, not only maps to a point; the paper only performs the base-field case, so a motivic six-functor formalism remains to be built on this foundation.
- Since the Betti realization is faithful but not full, several motivic spectral sequences could in principle share the same Leray shadow; the paper selects one that is compatible with refinements of the cellular chain, which raises a uniqueness question it does not address.
- A testable extension is to ask whether the noncanonical splitting in the degeneration theorem can be made functorial in the family, for instance by attaching a motivic vanishing-cycle or monodromy invariant that controls the choice of splitting.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a simplified construction of the author's category of motivic sheaves over a k-variety S. It starts from the N+ construction of Barbieri Viale and Prest, applied to a quiver Δ(S) whose vertices are triples (X→S, Y, i) satisfying a base change property, with Betti representation H^i_S(X,Y;R). Inverting the Lefschetz motive yields the category M(S,R). The main theorem (Theorem 6.1) asserts a δ-functor h^*:M(S)→M(k) compatible with Betti realization, and, for controlled pairs, a motivic spectral sequence whose Betti realization is the Leray spectral sequence. The paper also sketches a Hodge realization over a curve and derives a noncanonical decomposition for smooth projective maps and for maps over a smooth projective curve.
Significance. If the main theorem is correct, it provides a canonical motivic lift of the Leray spectral sequence and simplifies the earlier constructions of [A1] and [A2], with coefficients in an arbitrary commutative noetherian ring. The use of the N+ construction and of the de Cataldo–Migliorini criterion is a genuine simplification, and the compatibility with the Betti realization is checked through faithful exact functors. The proof is detailed and the main construction is explicit. However, the central construction leans on Lemma 5.2, quoted from earlier work, and the manuscript does not demonstrate that this lemma holds in the full generality needed here; this is the main risk to the paper's central claim.
major comments (3)
- [§5, Lemma 5.2] Lemma 5.2 is the central load-bearing input of the paper: it is used to prove Lemma 5.4 via the de Cataldo–Migliorini criterion, to identify K(i)^• with H^*(S,H^i_S(X,Y)) in Corollary 5.5, and to define the complexes K_{T•}(X,Y,i) in Proposition 6.3 and the spectral sequence in Theorem 6.1. The proof given is only a citation to [A1, Lemma 3.7]. Since the paper works with an arbitrary commutative noetherian ring R and with all k-constructible sheaves, the authors should either include a proof or state precisely the hypotheses under which [A1] proves the lemma, and confirm that [A1] covers this coefficient generality and the 'refine a given chain' clause needed for Corollary 5.3. Without this, the construction of h^* has no self-contained replacement.
- [§6, proof of Theorem 6.1] The theorem is stated for controlled pairs (f:X→S,Y), but the proof constructs the exact couple from complexes h^*(X_{T_p},Y_{T_p}∪X_{T_{p-1}}) without explicitly proving that a controlled pair is cellular with respect to the chosen chain T•. Corollary 5.3 only places the object in some Δ(S,T•); one still needs the vanishing condition (5.1) for the particular pair in order to identify the motivic spectral sequence with the Leray spectral sequence. Please add the argument that, for a controlled pair, Lemma 5.2 provides a chain with respect to which the pair is cellular, or restrict the statement and then explain the passage.
- [§5, Eq. (5.1) and Lemma 5.2] Lemma 5.2 is stated for a constructible sheaf F on T, but the cellularity condition (5.1) and the object F=π^*H_S(X,Y;R) in Lemma 5.4 involve a complex of sheaves. The paper does not spell out how the sheaf-level vanishing of Lemma 5.2 is converted into the hypercohomology vanishing needed for Lemma 5.4 and Corollary 5.5. This conversion is a nontrivial step and should be made explicit.
minor comments (2)
- [§6, Proposition 6.3] The arrows in the diagram for a type-II morphism appear to be reversed relative to (5.5): the map to be constructed is K_{T•}(Y,Z,i)→K_{T•}(X,Y,i+1), whereas the display, as written, suggests the opposite direction. Please correct the diagram and the accompanying indexing.
- [§5, Lemma 5.1 and references] The name 'Jounalou' should be 'Jouanolou' in the statement of Lemma 5.1 and in the reference [J].
Circularity Check
No circular reduction: the δ-functor is constructed from cellular motivic complexes, and the Betti-realization identity is proved via Corollary 5.5 rather than assumed; the main self-citation is technical and not circular.
full rationale
No circular step can be exhibited. Theorem 6.1 defines the δ-functor h^j concretely in Proposition 6.3: after fixing a Jouanolou affine bundle T→S, the complexes K_T•(X,Y,i) are formed from motivic cohomology groups h^*(X_{T_p}, Y_{T_p}∪X_{T_{p-1}}) and connecting maps. The desired realization identity RB(h^j(h^i_S(X,Y))) ≅ H^j(S,H^i_S(X,Y)) is then obtained from the isomorphism φ of Corollary 5.5, which is proved using Lemma 5.4 and the de Cataldo–Migliorini criterion, not from the motivic Leray spectral sequence whose existence is being proved. The motivic spectral sequence is generated from the motivic exact couple and only afterwards compared, via RB, with the Leray spectral sequence. The main self-citation is Lemma 5.2, quoted as '[A1, lemma 3.7]' and used to produce cellular chains; it is load-bearing but it is a previously published vanishing lemma whose statement does not mention h^* or the motivic Leray spectral sequence. Relying on it is a self-containment gap, not a circular reduction. There is no fitted parameter renamed as a prediction, no uniqueness theorem imported from the authors' prior work to force the construction, and no ansatz smuggled in by citation. The score reflects the absence of circularity while noting the disclosed reliance on the author's earlier technical results.
Assumptions & free parameters
assumptions (8)
- domain assumption N+ construction universal property (Theorem 1.1)
- standard math Proper base change theorem
- domain assumption Lemma 5.2: existence of a cellular chain with H^i(T_a,T_{a-1};F)=0 unless i=a
- domain assumption de Cataldo-Migliorini criterion [CM, prop 5.6.1]
- domain assumption Saito's theory of mixed Hodge modules
- domain assumption Deligne and Zucker degeneration of the Leray spectral sequence
- domain assumption Semisimplicity of Andre's category of pure motives
- standard math Jouanolou's trick (Lemma 5.1)
Cite this review
Pith. "Pith review of Motivic sheaves revisited." pith.science (2026). https://pith.science/paper/XYZQI4K6
@misc{pith2026190808262,
author = {Pith},
title = {Pith review of: Motivic sheaves revisited},
year = {2026},
howpublished = {\url{https://pith.science/paper/XYZQI4K6}},
note = {Machine review of arXiv:1908.08262}
}
read the original abstract
In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under inverse and direct images for projective and constant maps. The goal of this paper is to give a simpler definition of (a slight modification of) the category, and to give an easier proof of the direct image theorem. This paper relies on the previous article for some technical results, but is otherwise self contained.
Reference graph
Works this paper leans on
-
[1]
Arapura, The Leray spectral sequence is motivic, Invent
D. Arapura, The Leray spectral sequence is motivic, Invent. Math. (2005)
work page 2005
-
[2]
Arapura, An abelian category of motivic sheaves, Adv
D. Arapura, An abelian category of motivic sheaves, Adv. Math. (2013)
work page 2013
-
[3]
L. Barbieri Viale, L. Lafforgue, O. Carmelo, Syntactic categories of Nori motives, Selecta Math (2018)
work page 2018
-
[4]
L. Barbieri Viale, M. Prest, Definable categories and T -motives, Rend. Sem. Mat. Padova (2018)
work page 2018
-
[5]
L. Barbieri Viale, A. Huber, M. Prest, Tensor structure for Nori motives, arXiv:1803.00809
-
[6]
Deligne, Th\'eorie de Hodge I, ICM (1970)
P. Deligne, Th\'eorie de Hodge I, ICM (1970)
work page 1970
-
[7]
Deligne, La conjecture de Weil I, IHES (1974)
P. Deligne, La conjecture de Weil I, IHES (1974)
work page 1974
-
[8]
Dimca, Sheaves in topology, Springer (2004)
A. Dimca, Sheaves in topology, Springer (2004)
work page 2004
Show all 13 references
-
[9]
Huber, S
A. Huber, S. M\"uller-Stach, Periods and Nori motives, Springer (2017)
2017
-
[10]
Ivorra, Perverse Nori motives, MRL (2017)
F. Ivorra, Perverse Nori motives, MRL (2017)
2017
-
[11]
Jounalou, Un suit exacte de Mayer-Vietoris en K-theorie algebrique, Algebraic K-theory, Springer LNM 341 (1973)
J.P. Jounalou, Un suit exacte de Mayer-Vietoris en K-theorie algebrique, Algebraic K-theory, Springer LNM 341 (1973)
1973
-
[12]
Milne, \'Etale cohomology, Princeton (1980)
J. Milne, \'Etale cohomology, Princeton (1980)
1980
-
[13]
Saito, Mixed Hodge modules, RIMS (1990)
M. Saito, Mixed Hodge modules, RIMS (1990)
1990
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.