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.

Factor two in the supported third Chern map

PDF p. 17: Corollary6.9 supported factor calculation

Statement

Assume the Axiom of Choice and the fixed site and universe bounds of the motivic and support constructions. Let X be a normal affine finite-type k-scheme of pure dimension three over an algebraically closed field k of arbitrary characteristic, and let x be a smooth closed point, with closed immersion i:Spec⁡k(x)↪X. With the actual support operations constructed above, K0,x(X)→c3,xHmot,x6,3(X,Z)→ϵ3,xK0,x(X) is multiplication by 2. More precisely, c3,x([i∗k(x)])=2δx and ϵ3,x(δx)=[i∗k(x)], where δx is the positive fundamental motivic point class. These maps commute with support-to-global maps into the current global Chern class and third edge. Consequently the global composite ϵ3c3 is multiplication by 2 on each residue-sheaf point generator of the third image filtration. This conclusion also holds on a normal affine finite-type k-scheme of dimension three that has lower-dimensional components, for every smooth closed point on a three-dimensional component: its supported groups are those on the pure clopen union X3 of the three-dimensional components, and its global point class is extended by zero.

Facts & Assumptions

[F1]

Positive supported coordinates at a smooth threefold point fixes the positive supported generators; Actual supported Chern operation and its smooth comparison supplies actual Chern support compatibility.

[F2]
[F3]

Supported RR and the actual support-to-global application gives the calculation on all integer multiples and the two actual support-to-global squares.

[F4]

Normal dimension strata and the actual residue class model and Finite clopen restrictions split the actual motivic image filtration give the pure clopen union X3, its zero-extended point classes and the augmented product decompositions. The supported and global extension in [F3] uses these actual decompositions. The Axiom of Choice is the inherited assumption used by the point-coordinate and edge suppliers.

Proof

Given: The stated field, normal affine finite-type pure threefold, smooth closed point, Choice and size hypotheses; or the stated nonpure extension with x on its three-dimensional clopen part.

Goal: Prove the precise factor and its global application.

1.1F1F2F3F4

Apply [F1] under the stated Choice premise in [F4]. In the pure case every supported K-zero class is nux for a unique integer n. By [F2]–[F3], c3,x(nux)=2nδx and ϵ3,x(δx)=ux, so their composite is nux↦2nux. This also fixes the two requested generator formulas with their positive signs.

2.1F1F3F4step 1.1∎

Apply the commutative support-to-global squares in [F3]. The image of ux is the actual perfect residue-sheaf class in K0(X) and belongs to its third image filtration. Thus the global composite on that generator is twice the same class, even if its global image is zero. For a nonpure normal affine X as stated, use [F4] and the extension in [F3]: the pure calculation on X3 gives the same supported formula, and the global class is zero on the complementary clopen factors. Pointed Chern operations, the natural edge, and the augmented product decompositions transfer the same identity to X. Thus every smooth-point generator on a three-dimensional component has the asserted factor, with no purity restriction on the global normal affine scheme.

Depends on

Used by · 1

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