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 be the category with objects , identities, and one further arrow . In any category , fix an object and an endomorphism . Define functors with both object values , with and . There is a natural isomorphism if and only if is invertible. Here a natural isomorphism has invertible components satisfying .
In particular, let be the localization of small -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 ; retains the objects and takes degree-zero cohomology of each morphism complex. Let be the dg category of bounded complexes of finite-dimensional coordinate vector spaces , with the usual differential on morphisms, and let 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 . This is an obstruction for arbitrary transition diagrams, with no assertion about which transitions arise from geometric mirror families.
Statement references
Facts & Assumptions
Given: The walking-arrow category, object, endomorphism and size convention in the Statement.
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.
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.
Small dg categories have sets of objects, cochain morphism complexes and closed degree-zero identities. For complexes , the morphism complex has degree- part and differential . Exact supplier: Small dg categories, perfect modules, and Morita deformation.
Proof
If is a natural isomorphism, its components are invertible by [F1]. Naturality on says , hence is invertible. Conversely, if is invertible, choose and . The only nonidentity naturality equation is then satisfied, and the inverse components satisfy the reverse equation. Thus these components give inverse natural transformations.
For a small dg category , let be the set of isomorphism classes of objects of . A dg functor induces a function on these sets, preserving identities and composition, so 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 to inverse arrows, whose inverse equations follow by faithfulness. Therefore [F2] factors through . In particular an invertible arrow of must induce a bijection on .
The complex concentrated in degree zero and the zero complex have distinct classes in : its degree-zero endomorphism cohomology is , with nonzero identity, whereas every map to or from the zero complex is zero. The map sends both classes to the zero-complex class, so it is not injective. Step 1.2 shows that is not invertible in . 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.