Alphabeta Math
TheoremStatement: Literature-sourcedProof: Literature-sourced
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.

External EM multiplicative motivic complexes and actual Chern map

PDF p. 2: Motivic projective bundle property; PDF p. 8: Orientation for the splitting principle

Statement

Let F=Q or Fp. The supplied EM complexes Cb(X)=Z(b)mot(X) on qcqs F-schemes are the shifted graded pieces of the specified multiplicative filtration. In the terminology of EM §2.2, the graded spectra Gb=Cb[2b] form a natural commutative algebra object for graded Day convolution: there are coherent associative symmetric unital products Gb∧Gd→Gb+d and unit S→G0, and pullbacks preserve this data. Equivalently these induce the usual motivic cup products, with even weight shifts. The negative graded pieces vanish, so Cb=0 for b<0. There is the actual natural map of complex-valued presheaves c1:RΓNis(X,Gm)[−1]⟶C1(X) of Lemma5.1/Definition5.2. Its degree-two source is Pic⁡(X) with tensor-product group law. It agrees with the classical class on smooth F-schemes. The maps denoted c1(O(1))mπ∗ in §5 are defined using this class and the multiplication just specified. EM writes PXlin(V) for the projectivization classifying rank-one subbundles of V, with tautological subbundle O(−1) and its dual O(1).

External input

These are the stated construction and conventions at the exact locators in the source reference, restricted to the completed motivic-complex supplier. Definitions4.9/4.23 take pullbacks in filtered E∞-algebras; §2.2 gives the symmetric monoidal associated-graded construction. Definition5.2 supplies the complex map, rather than a class chosen from group agreement. Import those established foundations. Restriction along the prime-field forgetful functor supplies the same interface on qcqs schemes over any field. No replacement of the supplied motivic theory or K-theory model is made.

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.

External dependencies

Elden Elmanto and Matthew Morrow, Motivic cohomology of equicharacteristic schemes (arXiv v1) · §2.2, pp.11–12; Definitions4.9/4.23, pp.21/27–28; Theorems4.10(1)/4.24(1); Lemma5.1 and its proof and Definition5.2, pp.33–34; multiplication and (5.2), p.34; line convention immediately before Theorem5.24, p.43

Multiplicative means coherent unital commutative algebra object, not a bare binary pairing. The graded pieces G_b=Z(b)_mot[2b] carry their actual induced graded products. There is the natural complex-valued first Chern map RΓ_Nis(G_m)[−1]→Z(1)_mot, inducing Pic→H²; multiplying with it defines the explicit maps used in the projective bundle theorem.

Hypotheses: F is a prime field Q or F_p; X any qcqs F-scheme; weights nonnegative, with negative pieces zero. No Noetherianity, finite dimension, regularity, reducedness or algebraic closure assumption.

Reading limits: Directly read §2.2 multiplicativity conventions, Definitions4.9/4.23, Theorems4.10/4.24 negative-weight assertions and their relevant proofs, full Lemma5.1 proof/Definition5.2 and displayed map(5.2), and line-convention paragraph p43. Trace filtrations, all higher-category constructions and the full P¹ theorem foundations are imported rather than reconstructed.

Sources