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.
Three marked points stabilize the constant sphere and give the point-target invariant
Example
Assume full AC for the supplied Čech/VFC convention. Let be the one-point smooth zero-dimensional symplectic manifold with its unique two-form and unique almost-complex structure . Let , , and . The unique isomorphism class of stable map is the constant map with ordered markings . The resulting moduli space is one regular point, its Pardon virtual class is the ordinary class , and the three-point invariant is . By contrast, the constant map from with only the two markings is not stable.
Example references
Facts & Assumptions
Given: Full AC and the target, class, genus, and markings in the example.
Symplectic and almost-complex curve data: a symplectic manifold is smooth with a closed pointwise nondegenerate two-form, and a map from a Riemann surface is -holomorphic when .
Stable n-pointed algebraic curves and the moduli functor: arithmetic genus is ; an ordinary node has local model ; and a constant rational component is stable exactly when it has at least three special points.
Pardon implicit atlases and virtual fundamental class package: under full AC for its Čech/VFC clauses, an oriented regular zero-obstruction atlas has virtual fundamental class equal to the ordinary fundamental class; the stable-map GW class is its pushforward under stabilization and evaluation.
Singular homology satisfies dimension and arbitrary additivity: for every abelian group , the ordinary singular homology of a point satisfies .
Verification
For the two-marked constant map, every automorphism with fixes and and preserves the constant map. This gives an infinite automorphism group, so the two-marked map is not stable by [F2].
A Möbius transformation fixing the three distinct points is the identity. Thus the three-marked constant map has trivial automorphism group, and its domain is stable by [F2]. The unique map to a point satisfies the -holomorphic equation because both sides are the zero tangent map; its homology class is .
Let be any genus-zero nodal curve with three ordered markings; write for its number of irreducible components, for its number of nodes, and for the genus of the normalization of component . At each node the local ring embeds in the normalization as the pairs with equal constant terms, whose quotient is ; away from nodes the normalization is an isomorphism. Hence the normalization sequence is , so and . A connected graph with vertices and edges has first Betti number : the boundaries of a spanning tree generate the rank- augmentation-zero subgroup of its vertex group. Thus all terms in the genus formula are nonnegative, so every and the dual graph is a tree with . Counting special points over all components counts each marking once and each node twice, giving . Stability of every rational component requires at least three special points, so and . Since , . Therefore the domain is a smooth projective line; an ordered triple of distinct points is carried to by a unique Möbius transformation. The unique map to the point makes the stable-map moduli one point. Its domain tangent space and target-map deformation/obstruction spaces are zero; the linearized section is surjective of index zero. Hence , , is a regular zero-dimensional chart. Orient it by the positive generator of .
By [F3], this oriented regular atlas has virtual class the ordinary fundamental class . The stabilization/evaluation map is the identity of the one-point space, so its pushforward remains . On the cohomology-dual convention this is the functional on : the singleton cover is cofinal, with degree-zero cochains and no higher cochains. Identifying that functional with its value at gives the ordinary point class. By [F4] with , this is the generator . This is a mathematical model calculation, not empirical evidence.
Remarks
The diagram records the reparametrization square for a constant map. Its arrows are the domain automorphism and the constant map to the target point; commutativity follows because . It illustrates the infinite symmetry in the two-marked case only; the verification above establishes the group and invariant claims without relying on the diagram.