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 be a normal affine finite-type -scheme of pure dimension three over an algebraically closed field of arbitrary characteristic, and let be a smooth closed point, with closed immersion . With the actual support operations constructed above, is multiplication by . More precisely, and , where 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 is multiplication by on each residue-sheaf point generator of the third image filtration. This conclusion also holds on a normal affine finite-type -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 of the three-dimensional components, and its global point class is extended by zero.
Facts & Assumptions
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.
An integral P³ test fixes the supported RR coefficient as positive two fixes the supported RR integer and sign; The actual supported third edge sends the positive point class to its residue object supplies the actual supported edge and its normalization.
Supported RR and the actual support-to-global application gives the calculation on all integer multiples and the two actual support-to-global squares.
Normal dimension strata and the actual residue class model and Finite clopen restrictions split the actual motivic image filtration give the pure clopen union , 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 on its three-dimensional clopen part.
Goal: Prove the precise factor and its global application.
Apply [F1] under the stated Choice premise in [F4]. In the pure case every supported K-zero class is for a unique integer . By [F2]–[F3], and , so their composite is . This also fixes the two requested generator formulas with their positive signs.
Apply the commutative support-to-global squares in [F3]. The image of is the actual perfect residue-sheaf class in 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 as stated, use [F4] and the extension in [F3]: the pure calculation on 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 . 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
- Positive supported coordinates at a smooth threefold point
- Actual supported Chern operation and its smooth comparison
- An integral P³ test fixes the supported RR coefficient as positive two
- The actual supported third edge sends the positive point class to its residue object
- Supported RR and the actual support-to-global application
- Third edge homomorphism
- The Axiom of Choice
- Normal dimension strata and the actual residue class model
- Finite clopen restrictions split the actual motivic image filtration
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
- Fasel and Yakerson, Vector bundles on singular surfaces and threefolds · Section 6, Corollary 6.9, page 17