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 one

PDF p. 4: Property (2) and equation (2.3)

Statement

Assume the Axiom of Choice and the site-size bounds of Low-degree consequences of a weight-one comparison. Let k be a field and X a quasi-compact quasi-separated k-scheme. There is a natural map RΓNis(X,Gm)[−1]⟶Z(1)mot(X) that is an equivalence in degrees at most three: it induces an isomorphism on cohomology in every degree i≤3. Here Gm is the sheaf of invertible regular functions on the small Nisnevich site, and Z(1)mot(X) is the complex of Motivic complexes and cohomology. Consequently, for i≤2, Hmoti,1(X,Z)≅HNisi−1(X,Gm)≅{0i≤0,Γ(X,OX)×i=1,Pic⁡(X)i=2. The Picard group is the group of isomorphism classes of line bundles, meaning locally free rank-one OX-modules, under tensor product.

Facts & Assumptions

Given: k, X, Choice, and the stated site-size bounds.

Goal: Construct the comparison and establish its degree range and the displayed groups.

[F1]

Passing to the prime subfield preserves the underlying scheme, the small Nisnevich units, and the value of the restricted motivic functor (Restriction of the base field for weight one).

[F2]

The Elmanto–Morrow external input supplies the natural comparison with cofiber supported in degrees >3 for qcqs schemes over a prime field (Elmanto–Morrow weight-one comparison input).

[F3]

Under Choice and the specified size bounds, such a comparison yields the stated low-degree identifications (Low-degree consequences of a weight-one comparison).

Proof

1.1F1F2given

Let F be the prime subfield of k. By [F1], X is a qcqs F-scheme, and the source and target of the comparison over F are the displayed objects for X over k. Apply [F2] to obtain the natural map with cofiber supported in degrees greater than three. Naturality on k-schemes follows by restricting naturality on F-schemes.

2.1F3step 1.1∎

Apply [F3] to this map. It gives an isomorphism in every degree at most three and the zero, units and Picard identifications through degree two. These are the claimed equivalence range and formula.

Reading limits

The article's property (2) and equation (2.3) were read. The comparison is used through the explicitly identified external input; its underlying proof is not reconstructed here.

Depends on

Used by · 9

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