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.
Classical smooth critical-rank classifications
PDF p. 1: Introduction, first paragraph
Statement
Assume AC and the article's universes. Over an algebraically closed field of arbitrary characteristic, the ordinary integral Chow Chern maps are bijections for every smooth affine surface , and for every smooth affine threefold . In each case every tuple is realized, and its realizing bundle is unique up to isomorphism. These are the classical surface classification of Murthy–Swan and threefold classification of N. Mohan Kumar–M. P. Murthy. Here denotes bundle isomorphism classes, and is the coefficient of the standard quotient-projective-bundle Chern relation, with .
Facts & Assumptions
Given: The data and hypotheses in the statement.
Goal: Establish the stated conclusion.
The exact all-characteristic rank-three classification is imported in Mohan Kumar–Murthy rank-three Chow classification.
The ordinary Chow Chern interface, cylinder geometry and stabilized Chern data are supplied by The ordinary Chow Chern map on isomorphism classes, Cylinder and zero section of a smooth affine surface, Chern data survive addition of trivial bundles.
The local cylinder reductions establish surface uniqueness subject to line cancellation and surface existence subject to cylinder rank-three existence. Surface uniqueness from the cylinder and cancellation, Surface existence from rank-three existence on the cylinder
The module cancellation theorem and its local bundle/K-zero interface establish cancellation on any affine surface at rank two. Suslin cancellation over affine algebras, Local application interface for a critical-rank cancellation theorem
Proof
The threefold assertion, including both realization of every tuple and uniqueness for that tuple, is exactly [F1] with its actual Chern map as in [F2].
Let be a smooth affine surface. Its cylinder is a smooth affine threefold by [F2], so [F1] supplies every rank-three Chern triple there. The surface-existence reduction in [F3] consequently realizes every pair on by a rank-two bundle.
For rank-two on with identical pairs, the surface-uniqueness reduction in [F3] reduces their isomorphism to cancellation of a common trivial line. The algebra has dimension two and is finite type over algebraically closed ; [F4] therefore gives cancellation at rank two. More explicitly a common line stabilization gives equal K-zero classes, and the local interface applies the module theorem to produce . Thus is injective.
Steps 1.2 and 1.3 prove surface bijectivity; step 1.1 proves threefold bijectivity. In both cases isomorphisms preserve Chern tuples by [F2], so these bijections have exactly the existence and uniqueness interpretation asserted.
Source notes
The surface attribution is retained from Fasel–Yakerson, Vector bundles on singular surfaces and threefolds, p. 1, citing Murthy–Swan, Vector bundles over affine surfaces, Invent. Math. 36 (1976), 125–165, DOI 10.1007/BF01390007. The original Murthy–Swan proof was not read. The local proof uses a cylinder, the completed Serre splitting supplier and a separately namespaced cancellation import. Consequently the patch is independent of the uncompleted native cancellation target. Ordinary Chow classes are the interface here; no unnamed motivic comparison is assumed. The two smooth schemes are understood equidimensional, as surfaces and threefolds in the article; finitely many disjoint equidimensional components can equally be handled componentwise.
Depends on
- The ordinary Chow Chern map on isomorphism classes
- Cylinder and zero section of a smooth affine surface
- Chern data survive addition of trivial bundles
- Surface uniqueness from the cylinder and cancellation
- Surface existence from rank-three existence on the cylinder
- Local application interface for a critical-rank cancellation theorem
- Suslin cancellation over affine algebras
- Mohan Kumar–Murthy rank-three Chow classification
- The Axiom of Choice
- Aravind Asok and Jean Fasel, A cohomological classification of vector bundles on smooth affine threefolds · p. 2, Introduction, paragraph beginning For context, immediately after Theorem 1; compare v1 p. 2 opening paragraph
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
For a smooth affine threefold X over an algebraically closed field, the map assigning the ordinary Chow Chern triple to a rank-three bundle is a bijection onto CH^1(X) x CH^2(X) x CH^3(X); this is attributed there to N. Mohan Kumar and M. P. Murthy [KM82].
Hypotheses: X a smooth affine threefold over an algebraically closed field, with no characteristic exclusion in the recalled classical result. Bundles have rank three. The nearby Theorem 1 has characteristic unequal to two for rank-two bundles on threefolds, and is not the theorem imported here.
Reading limits: Read v5 p. 2 introduction, including the exact displayed rank-three map and the surrounding distinction from rank-two Theorem 1; also read v1 p. 2 introduction, which starts with arbitrary algebraically closed k and states unique rank-three existence for given Chern classes. The Mohan Kumar–Murthy original paper, Ann. Math. 116 (1982), 579–591, DOI 10.2307/2007024, Theorem 2.1(iii), was not accessed beyond its publisher metadata. No original proof or obstruction-theory reconstruction is claimed.
Sources
- Fasel–Yakerson, Vector bundles on singular surfaces and threefolds · p. 1 introduction, MS76 and KM82
- Aravind Asok and Jean Fasel, A cohomological classification of vector bundles on smooth affine threefolds · p. 2, Introduction, paragraph beginning For context, immediately after Theorem 1; compare v1 p. 2 opening paragraph