Alphabeta Math
LemmaStatement: AI-generatedProof: 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.

Bottom supported Bloch groups on a codimension two curve

PDF p. 16: Supported leading weight two

Statement

Assume AC. Let U be a smooth finite-type scheme of pure dimension three over a field k, and let C⊂U be an integral closed curve of codimension two. In the supported Bloch complexes, zCj(U,n)=0 for j=0,1 and every n≥0. Moreover H0zC2(U,∙)=Z[C], with [C] the positive generator represented by the integral reduced curve. Restriction to any open V⊂U containing its generic point η sends this generator to [C∩V] and is an isomorphism of these degree-zero groups. No smoothness or normality of C is assumed.

Facts & Assumptions

Given: AC, U,C,k, and η as above. Z[C] is the free abelian group on the single cycle [C], 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.

[F1]

Supported Bloch groups are free on admissible integral codimension-j subschemes contained in C×Δn; boundaries are alternating face restrictions with quotient-length coefficients. Cycle complexes with fixed support

[F2]

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

1.1F1F2given

The ambient U×Δn has pure dimension 3+n and C×Δn has dimension 1+n. Every integral closed subscheme contained in the latter therefore has codimension at least two in its ambient component. Thus none is a generator of zCj(U,n) for j=0,1, proving the first assertion in every degree.

1.2F1F2given

In degree zero, an integral codimension-two subscheme contained in C must have dimension one, hence equals C with its reduced structure. Thus zC2(U,0)=Z[C]. In degree one the generators have dimension two in U×A1 and are contained in the integral two-dimensional scheme C×A1. 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 [C]−[C]=0, with either overall orientation.

2.1F1step 1.1step 1.2∎

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 C∩V and restriction takes [C] to [C∩V] without changing its coefficient. Hence it is the asserted isomorphism.

Depends on

Used by · 3

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.