Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicable
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.

Rank-two uniqueness on singular threefolds

PDF p. 3: Following Corollary D

Open problem

Assume the Axiom of Choice and the suitable universes used by the supplied constructions. Let k be an algebraically closed field and let X be a normal singular affine threefold of finite type over k. For rank-two vector bundles E and F on X, do the equalities c1(E)=c1(F) in Hmot2,1(X,Z) and c2(E)=c2(F) in Hmot4,2(X,Z) imply E≅F?

Here an affine threefold of finite type over k is a scheme Spec⁡A, with A a finitely generated commutative k-algebra, of Krull dimension three. Normal means that every local ring is an integrally closed domain; singular means that at least one local ring is not regular. A rank-two vector bundle is an OX-module locally isomorphic to OX2, and E≅F means an invertible OX-linear map. The supplied construction assigns to such a bundle its first and second integral motivic Chern classes in the indicated motivic cohomology groups, invariant under isomorphism. Equivalently, the question asks whether the map (c1,c2) from the set of isomorphism classes of rank-two bundles to the product of these two groups is injective.

Status

Fasel and Yakerson state this uniqueness question as open immediately after Corollary D. At that location they state surjectivity of (c1,c2) for normal affine threefolds over algebraically closed fields; surjectivity alone does not settle injectivity. This entry records the article's status as of its cited 2026 version, not an exhaustive assessment of subsequent work. No solution is asserted.

The Choice assumption is inherited from the supplied bundle-class and motivic Chern-class constructions used to formulate the question.

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.

Sources