How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Every actual motivic stage on the empty scheme is zero
PDF p. 9: Lemma 4.2 proof: empty-scheme case of eventual stage vanishing
Statement
Assume the Axiom of Choice and the fixed universes of the selected perfect-complex realization. For the empty scheme over any field, every integer stage of the actual motivic filtration is a zero spectrum: This includes the source filtration over either prime field and its restriction to any standing field, and is independent of any empty-dimension convention.
Facts & Assumptions
Given: The empty scheme, the actual unital multiplicative filtration, Choice, and fixed universes.
Goal: Prove zero stage spectra before invoking any nonempty-scheme dimension result.
Perfect complexes on schemes and their support and Nonconnective K theory of perfect complexes identify the enhanced perfect category and its nonconnective K-theory. The selected realization is used under The Axiom of Choice. Nonconnective K theory in degree zero identifies its degree-zero homotopy with the cofiber Grothendieck group for an essentially small idempotent-complete stable category, computed using an equivalent small presentation.
Motivic filtration and image groups identifies stage zero with and supplies the integer-indexed actual tower. Multiplicative filtrations and graded products supplies the unit and the unital action . Stable spectra and exact triangles identifies with homotopy classes of maps and supplies smash, its zero object and unit constraints.
Proof
A sheaf of modules on the empty scheme has only its forced zero value on the empty open set. Thus all complexes and their derived images are equivalent to zero, and the full perfect category is equivalent to the zero stable category. It is idempotent complete. Its cofiber Grothendieck group has only the generator , and the cofiber sequence imposes , so this group is zero. Applying [F1] under Choice gives .
By [F2], , so the unit is nullhomotopic. For any integer , the unit law identifies the composite with . The composite is nullhomotopic because smash preserves zero maps. Hence in the homotopy category, so the zero maps between and the zero spectrum are inverse there, and . This holds for all integers .
Depends on
- The Axiom of Choice
- Perfect complexes on schemes and their support
- Nonconnective K theory of perfect complexes
- Nonconnective K theory in degree zero
- Motivic filtration and image groups
- Multiplicative filtrations and graded products
- Stable spectra and exact triangles
- Kasprowski–Winges, Algebraic K-theory of stable infinity-categories via binary complexes · Section 2.1, formula (2.6), p.3; Section 2.2, paragraph immediately before Lemma 2.12, p.4
Dependency tree · 3 levels
Arrows run from prerequisites to the items that use them. External source nodes link directly to the cited text. The view shows up to three dependency steps; open a prerequisite to continue.
External dependencies
The cofiber Grothendieck group of the idempotent completion of a small stable infinity-category is pi_0 of its nonconnective BGT K-theory.
Hypotheses: A small stable infinity-category; for an idempotent-complete category the completion is unnecessary.
Reading limits: Read the January 29, 2019 arXiv v2 extracted PDF text, Section 2.1 formula (2.6) and Section 2.2 immediately before Lemma 2.12. The recalled general comparison is imported, not reconstructed. The existing supplier's MPG URL returned HTTP 403; no reading of that version is claimed.
Sources
- Kasprowski–Winges, Algebraic K-theory of stable infinity-categories via binary complexes · Section 2.1, formula (2.6), p.3; Section 2.2, paragraph immediately before Lemma 2.12, p.4