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.
Bottom supported Bloch groups on a codimension two curve
PDF p. 16: Supported leading weight two
Statement
Assume AC. Let be a smooth finite-type scheme of pure dimension three over a field , and let be an integral closed curve of codimension two. In the supported Bloch complexes, for and every . Moreover with the positive generator represented by the integral reduced curve. Restriction to any open containing its generic point sends this generator to and is an isomorphism of these degree-zero groups. No smoothness or normality of is assumed.
Facts & Assumptions
Given: AC, , and as above. is the free abelian group on the single cycle , not its image in an ambient Chow group.
Goal: Compute the two lower supported complexes and the bottom weight-two supported group, with its sign.
Supported Bloch groups are free on admissible integral codimension- subschemes contained in ; boundaries are alternating face restrictions with quotient-length coefficients. Cycle complexes with fixed support
The finite-type dimension formula computes dimensions and codimensions on each smooth ambient component. Its use retains AC. The dimension formula for affine domains, The Axiom of Choice
Proof
The ambient has pure dimension and has dimension . Every integral closed subscheme contained in the latter therefore has codimension at least two in its ambient component. Thus none is a generator of for , proving the first assertion in every degree.
In degree zero, an integral codimension-two subscheme contained in must have dimension one, hence equals with its reduced structure. Thus . In degree one the generators have dimension two in and are contained in the integral two-dimensional scheme . The only such integral closed subscheme is the whole product, which is admissible. At each endpoint its generic local quotient length is one, so its boundary is , with either overall orientation.
The complex is concentrated in nonnegative homological degrees, so its zeroth homology is its degree-zero group modulo the image of the degree-one boundary. Step 1.2 makes that image zero. On an open containing the same calculation applies to the integral curve and restriction takes to without changing its coefficient. Hence it is the asserted isomorphism.
Depends on
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.