POP909_M: Motivic Annotation Approach

• POP909_M is a framework that extends motivic cohomology to singular schemes by enriching complexes with algebraic, homotopical, and sheaf-theoretic annotations.
• It operationalizes two constructions—the pro-cdh sheafified Bloch–Levine complex and the Elmanto–Morrow complex—to resolve nil-invariance issues in classical motivic methods.
• The approach underpins practical computations in K-theory spectral sequences and cycle class maps, enabling coherent treatment of non-smooth schemes.

POP909_M (Motivic Annotation) refers to a technical program for extending, refining, and comparing motivic complexes and invariants—usually in the context of singular or non-smooth schemes—by means of explicit algebraic, homotopical, and sheaf-theoretic annotation mechanisms. This program focuses on developing and comparing different constructions of motivic complexes (notably those of Elmanto–Morrow and Kelly–Saito) and formalizing how geometric, cohomological, or orientation-theoretic data (such as quadratic forms, intersection properties, or periods) are systematically added as "annotations" in complex and categorical settings. POP909_M thus stands at the intersection of classical motivic cohomology, motivic homotopy theory, and recent advances in derived/motivic algebraic geometry.

1. Motivic Cohomology Beyond Smooth Schemes: Structural Barriers and New Topologies

Classical motivic cohomology, as developed by Voevodsky, Friedlander–Suslin, and others, is robust over smooth $k$-schemes: for $X/k$ smooth, $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$ obeys strong formal properties (Atiyah–Hirzebruch spectral sequence, compatibility with étale cohomology, well-behaved cycle class maps). However, extending these definitions via naive cdh-sheafification to singular or non-smooth schemes $Y$ leads to fundamental issues:

• The cdh-motivic complex $\mathbb{Z}(i)^{\rm cdh}:=L_{\rm cdh}L_{\A^1}\mathbb{Z}_{\rm tr}(\mathbb{P}^1)^{\otimes i}[-2i]$ is nil-invariant: motivic cohomology becomes insensitive to nilpotent thickenings, in sharp contrast with algebraic $K$-theory, and the spectral sequence to $K$-theory can fail to converge (Kelly, 2024).

To address these deficiencies, new Grothendieck topologies have been introduced:

Topology	Covering Data	Key Feature
Nisnevich	Standard Nisnevich covers	Local purity, descent for smooth morphisms
cdh	Nisnevich covers + abstract blow-up squares $$(Z \hookrightarrow X, Y \to X; Y \setminus p^{-1}(Z) \cong X \setminus Z)$$	Excision for closed/generic loci
pro-cdh	Nisnevich covers + families $\{Z_n \to X\}_{n\ge1} \cup \{Y \to X\}$ with infinitesimal thickenings	Captures fiber sequences for thickenings

The pro-cdh topology, in particular, formalizes excision for infinitesimal neighborhoods and addresses the obstacles presented by nilpotent thickenings [(Kelly, 2024), Def. 19].

2. New Complexes: Pro-cdh Sheafified Bloch–Levine and the Elmanto–Morrow Construction

2.1 The pro-cdh Sheafified Bloch–Levine Complex (Kelly–Saito)

For non-smooth schemes, Kelly–Saito define an extension of the classical Bloch–Levine complex via pro-cdh sheafification:

$$\mathbb{Z}(i)_{\rm pcdh} := L_{\rm pcdh}(L_{\rm Kan}\mathbb{Z}(i)) \in D(\mathrm{Shv}_{\rm pcdh}(\mathrm{Sch}_k))$$

where $X/k$0 denotes left Kan extension from smooth to all finite-type $X/k$1-schemes, and $X/k$2 denotes pro-cdh sheafification.

This complex is built by:

• Starting from the classical complex on $X/k$3
• Extending to all separated finite-type $X/k$4-schemes via $X/k$5
• Sheafifying in the pro-cdh topology

2.2 The Elmanto–Morrow Trace-Corrected Complex

Elmanto–Morrow introduced a motivic complex (for $X/k$6) that corrects the cdh-motivic complex by "gluing in" the missing topological contribution from topological cyclic homology (TC):

$X/k$7

with:

• $X/k$8 (cdh sheafified motivic complex)
• $X/k$9 is built from relative differential forms in characteristic zero or Hodge–Witt sheaves in characteristic $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$0.

The construction exploits trace maps ($H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$1) and cyclotomic spectra to restore excision.

Significance: The Elmanto–Morrow complex is not nil-invariant and satisfies pro-cdh excision, aligning better with the behavior of $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$2-theory and fitting the requirements for a motivic cohomology theory on singular schemes (Kelly, 2024).

3. Comparison and Equivalence: Main Theorem and Proof Outline

The fundamental result is the canonical equivalence of the two complexes—$H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$3—in the derived category of pro-cdh sheaves (Kelly, 2024):

$H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$4

Proof Outline:

• Both complexes are pro-cdh sheaves.
• The pro-cdh topos has enough points; thus, it suffices to check the equivalence on pro-cdh-local rings.
• On henselian valuation rings and their thickenings, both complexes recover the classical complexes, as nilpotents do not interfere.
• The local computations are pasted globally using pro-cdh excision and Mayer–Vietoris techniques.

This equivalence shows that both the trace-supplemented and the sheafified approaches yield the same motivic invariants for non-smooth schemes (Kelly, 2024).

4. Applications: Spectral Sequences, Realizations, Motives

4.1 K-theory Spectral Sequence

Both complexes fit into an Atiyah–Hirzebruch–style spectral sequence converging to (non-connective) $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$5-theory:

$H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$6

This reduces to Friedlander–Suslin’s spectral sequence in the smooth case, preserving the expected functorial connections between motivic cohomology and $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$7-theory (Kelly, 2024).

4.2 Cycle Class Maps

Relevant realization maps: $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$8 These extend the classical cycle class morphisms to singular schemes, matching expectations from the theory of mixed motives.

4.3 Categorical Implications: Motives for Singular Schemes

Since $H^j_{\rm mot}(X,\mathbb{Z}(i)) \cong CH^i(X,2i-j)$9 is a pro-cdh sheaf satisfying key formulae and excision properties, it is representable in the $Y$0-non-invariant motivic spectrum category $Y$1 (Annala–Hoyois–Iwasa). This supports the potential construction of a “singular” motivic category by considering modules over the graded ring spectrum $Y$2 (Kelly, 2024).

5. Motivic Annotation: Frameworks and Generalizations

The POP909_M methodology formalizes the process of “annotating” motivic and cohomological data:

• Homotopy-Theoretic Annotation: In motivic derived algebraic geometry, objects like vector bundles, morphisms, or cycles are systematically equipped (“annotated”) with additional structures—characteristic classes, $Y$3-theory classes, or traces—in a way that is functorial and compatible with derived/categorical operations (Kato, 2017).
• Quadratic-Form Annotation: The MW-motivic complex of Déglise–Fasel extends classical motivic complexes by enriching cycles with quadratic form coefficients, yielding a theory closer to the $Y$4-homotopy invariants of Morel and Voevodsky (Déglise et al., 2017).

Annotation Type	Mathematical Realization	References
$Y$5-classes, orientation	Functors into motivic $Y$6, $Y$7	(Kato, 2017)
Quadratic data	MW-motivic complexes, Chow–Witt	(Déglise et al., 2017)
Periods (Hodge, etc.)	Matrix coefficients in Tannakian categories	(Brown, 2015)

The core idea is that motivic complexes and their invariants, in both cohomological and categorical settings, can be functorially and structurally “decorated” with refined data, allowing for a systematic extension of classical theories to singular or more general geometric contexts.

6. Examples, Computational Tools, and Further Directions

Example (Nodal Cubic): For $Y$8 a projective plane cubic with a node,

$Y$9

These cohomology groups are computed using Mayer–Vietoris for the normalization and the singular locus, demonstrating compatibility with classical invariants even beyond the smooth case (Kelly, 2024).

Computational Impact: The theory enables the systematic calculation of higher motivic invariants, spectral sequence terms, and comparison maps for singular and non-smooth schemes, interfacing with ongoing developments in equivariant and synthetic motivic homotopy theory (Déglise, 20 Oct 2025).

Outlook: The equivalence of the trace-based and sheafification approaches, as well as the formalism of motivic annotation, creates a pathway for unified treatments of motivic cohomology, $\mathbb{Z}(i)^{\rm cdh}:=L_{\rm cdh}L_{\A^1}\mathbb{Z}_{\rm tr}(\mathbb{P}^1)^{\otimes i}[-2i]$0-theory, and categories of motives in both smooth and singular algebraic geometry, with deep connections to power operations, higher category theory, and refined enumerative invariants.

---

References:

• "Two new motivic complexes for non-smooth schemes" (Kelly, 2024)
• "Motivic model categories and motivic derived algebraic geometry" (Kato, 2017)
• "MW-motivic complexes" (Déglise et al., 2017)
• "Notes on Motivic Periods" (Brown, 2015)
• "Motivic homotopy theory and stable homotopy groups" (Déglise, 20 Oct 2025)