Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedprecheck passaudited 2026-08-31
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.

A connected spherical complement forces every cycle in the domain to be null-homologous

Statement

Let Ω⊆C be a complex domain. If C^∖Ω is connected, then every cycle with trace in Ω is null-homologous in Ω.

Facts & Assumptions

Given: A complex domain Ω with connected spherical complement, and a cycle Γ whose trace lies in Ω.

[L1]

The index of a cycle is locally constant off its trace and vanishes on all sufficiently large points of the plane (The index of a cycle is locally constant off its trace and vanishes far from it).

[L2]

A cycle with trace in an open set is null-homologous there exactly when its index vanishes at every point of the complement of that open set (Null-homologous cycles and homologous cycles in an open set).

Proof

technique · direct
1.1L1givenconstruct

Since Γ∗⊆Ω, the index n(Γ,p) is defined for every p∈C∖Ω. By [L1], the function p↦n(Γ,p) is locally constant on C∖Γ∗, and there is R>0 with n(Γ,p)=0 whenever ∣p∣>R. Thus the subset E={∞}∪{p∈C∖Ω:n(Γ,p)=0} contains ∞ together with a punctured neighborhood of ∞ in the sphere.

2.1L1step 1.1algebra

The set E is open in C^∖Ω by the local constancy from [L1], and its complement in C^∖Ω is open for the same reason. Since C^∖Ω is connected and E is nonempty by step 1.1, it follows that E=C^∖Ω. Therefore n(Γ,p)=0 for every p∈C∖Ω.

3.1L2step 2.1∎

By [L2], the vanishing from step 2.1 is exactly the statement that Γ is null-homologous in Ω. [step 2.1, L2].

Depends on

Used by

Dependency tree · two levels

30 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources