Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-11-05 (gpt-6.1-sol)
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.

Identity and zero transitions obstruct a diagram comparison

Statement

Let I be the category with objects 0,1, identities, and one further arrow u:0→1. In any category D, fix an object c and an endomorphism z:c→c. Define functors A,B:I→D with both object values c, with A(u)=id⁡c and B(u)=z. There is a natural isomorphism A⇒B if and only if z is invertible. Here a natural isomorphism has invertible components Fi satisfying B(u)F0=F1A(u).

In particular, let D be the localization of small C-linear dg categories at quasi-equivalences, in a fixed ambient size convention. A quasi-equivalence induces quasi-isomorphisms on all morphism complexes and an essentially surjective functor on H0; H0 retains the objects and takes degree-zero cohomology of each morphism complex. Let c be the dg category of bounded complexes of finite-dimensional coordinate vector spaces Cn, with the usual differential on morphisms, and let z be its zero dg functor, sending every complex to the zero complex. The two diagrams just specified have identical fibres and admit no natural isomorphism in D. This is an obstruction for arbitrary transition diagrams, with no assertion about which transitions arise from geometric mirror families.

Facts & Assumptions

Given: The walking-arrow category, object, endomorphism and size convention in the Statement.

[F1]

A natural isomorphism has a two-sided inverse natural transformation. Evaluating the inverse equations at an object makes its components inverse morphisms. Naturality is the equation displayed in the Statement. Exact supplier: Natural isomorphism.

[F2]

A functor that sends all inverted arrows to isomorphisms factors through the specified localization. Exact supplier: Localization of a category at a class of morphisms.

[F3]

Small dg categories have sets of objects, cochain morphism complexes and closed degree-zero identities. For complexes V,W, the morphism complex has degree-r part ∏iHom⁡(Vi,Wi+r) and differential d(f)=dWf−(−1)rfdV. Exact supplier: Small dg categories, perfect modules, and Morita deformation.

Proof

technique · direct
1.1F1givenconstructalgebra

If F:A⇒B is a natural isomorphism, its components are invertible by [F1]. Naturality on u says zF0=F1, hence z=F1F0−1 is invertible. Conversely, if z is invertible, choose F0=id⁡c and F1=z. The only nonidentity naturality equation is then satisfied, and the inverse components id⁡c,z−1 satisfy the reverse equation. Thus these components give inverse natural transformations.

1.2F2F3givenconstructalgebra

For a small dg category C, let S(C) be the set of isomorphism classes of objects of H0(C). A dg functor induces a function on these sets, preserving identities and composition, so S is a functor to sets in the ambient larger size convention. A quasi-equivalence induces a bijection: essential surjectivity gives surjectivity, and an isomorphism between two image objects lifts by fullness on H0 to inverse arrows, whose inverse equations follow by faithfulness. Therefore [F2] factors S through D. In particular an invertible arrow of D must induce a bijection on S.

2.1F3step 1.1step 1.2givenalgebra∎

The complex C concentrated in degree zero and the zero complex have distinct classes in S(c): its degree-zero endomorphism cohomology is C, with nonzero identity, whereas every map to or from the zero complex is zero. The map S(z) sends both classes to the zero-complex class, so it is not injective. Step 1.2 shows that z is not invertible in D. The two diagrams are genuine functors since the only compositions to check involve identities; their fibres agree literally. Step 1.1 now rules out a natural isomorphism, as claimed.

Depends on

Dependency tree · 2 levels

Sources