Alphabeta Math
ExampleConstruction: AI-generatedVerification: 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.

Three marked points stabilize the constant sphere and give the point-target invariant

Example

Assume full AC for the supplied Čech/VFC convention. Let X={∗} be the one-point smooth zero-dimensional symplectic manifold with its unique two-form ω=0 and unique almost-complex structure J=0. Let β=0, g=0, and n=3. The unique isomorphism class of stable map is the constant map u:P1→{∗} with ordered markings 0,1,∞. The resulting moduli space is one regular point, its Pardon virtual class is the ordinary class [∗], and the three-point invariant is 1∈H0({∗};Q)≅Q. By contrast, the constant map from P1 with only the two markings 0,∞ is not stable.

Facts & Assumptions

Given: Full AC and the target, class, genus, and markings in the example.

[F1]

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 J-holomorphic when du∘j=J∘du.

[F2]

Stable n-pointed algebraic curves and the moduli functor: arithmetic genus is g(C)=1−χ(C,OC); an ordinary node has local model C{x,y}/(xy); and a constant rational component is stable exactly when it has at least three special points.

[F3]

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.

[F4]

Singular homology satisfies dimension and arbitrary additivity: for every abelian group G, the ordinary singular homology of a point satisfies H0(∗;G)≅G.

Verification

1.1givenF2construct

For the two-marked constant map, every automorphism z↦az with a∈C× fixes 0 and ∞ and preserves the constant map. This gives an infinite automorphism group, so the two-marked map is not stable by [F2].

2.1givenF1F2step 1.1algebra

A Möbius transformation fixing the three distinct points 0,1,∞ 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 J-holomorphic equation because both sides are the zero tangent map; its homology class is β=0.

3.1givenF1F2F3step 2.1algebra

Let C be any genus-zero nodal curve with three ordered markings; write k for its number of irreducible components, e for its number of nodes, and hv for the genus of the normalization of component v. At each node the local ring C{x,y}/(xy) embeds in the normalization C{x}⊕C{y} as the pairs with equal constant terms, whose quotient is C; away from nodes the normalization is an isomorphism. Hence the normalization sequence is 0→OC→ν∗OC~→⨁q a nodeCq→0, so χ(OC)=∑v(1−hv)−e=k−∑vhv−e and g(C)=∑vhv+e−k+1. A connected graph with k vertices and e edges has first Betti number e−k+1: the boundaries of a spanning tree generate the rank-(k−1) augmentation-zero subgroup of its vertex group. Thus all terms in the genus formula are nonnegative, so every hv=0 and the dual graph is a tree with e=k−1. Counting special points over all components counts each marking once and each node twice, giving 3+2e=2k+1. Stability of every rational component requires at least three special points, so 2k+1≥3k and k≤1. Since k≥1, k=1. Therefore the domain is a smooth projective line; an ordered triple of distinct points is carried to (0,1,∞) 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 0→0 is surjective of index zero. Hence Z={∗}, E=0, s=0 is a regular zero-dimensional chart. Orient it by the positive generator of H0({∗};Z).

4.1F3F4step 3.1algebra∎

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 a↦a(∗) on Hˇ0({∗};Q)=Q: the singleton cover is cofinal, with degree-zero cochains Q and no higher cochains. Identifying that functional with its value at 1 gives the ordinary point class. By [F4] with G=Q, this is the generator 1∈H0({∗};Q)≅Q. 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 u∘h=u. 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.

P1f¤gP1f¤guhidu

Depends on

Dependency tree · 2 levels

Sources