Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-generated
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.

Motivic weight zero on all qcqs schemes

PDF p. 4: Property (1)

Statement

Assume the Axiom of Choice and fixed compatible site and universe size bounds for the constructions below. Let X be any qcqs k-scheme and let F be the prime subfield of k. For RΓcdh(X,Z) use the ordinary constant integer sheaf on the general qcqs F-scheme cdh site specified by the preceding qcqs-site construction, evaluated at the underlying F-scheme X. Then there is a natural equivalence Z(0)mot(X)≃RΓcdh(X,Z), and natural isomorphisms Hmoti,0(X,Z)≅Hcdhi(X,Z) for all integers i. Negative-degree groups vanish. The site convention is part of this statement and covers every qcqs X/k.

Statement references

Facts & Assumptions

[A1]

Choice and the fixed compatible site and universe bounds are retained when applying Constant integer coefficients and exact derived evaluation and Weight-zero sections and cohomology on the chosen general site in steps 1.1 and 2.1. They supply the derived constant-sheaf interpretation and its negative-degree vanishing. The Axiom of Choice

Given: The hypotheses in the statement.

Goal: Establish the displayed construction or conclusion with its actual maps.

Proof

1.1A1F1

The first three supplied lemmas fix the precise general site, ordinary constant sheaf, derived evaluation, and actual prime-field restriction. The fourth proves that the actual source projection is an equivalence. Thus all hypotheses of the fifth lemma are satisfied for the given qcqs X/k.

2.1A1F1step 1.1∎

Apply that lemma. It supplies the displayed natural map and equivalence, its cohomology isomorphisms and negative-degree vanishing. This proves the full qcqs statement using the source’s site directly; the narrower completed site supplier has not been altered or silently substituted.

Depends on

Used by · 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.

Sources