Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)
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.

Nonzero eigenfunctions annihilate equivariant BM on their nonvanishing loci

Statement

Let T=(C×)r act algebraically on a separated finite-type complex variety X with a finite invariant affine open cover. Let U be one affine chart, let f∈O(U) be regular with a nontrivial character χ:T→C×, and fix the convention f(t⋅x)=χ(t)f(x). If D(f)={x∈U:f(x)≠0} is nonempty, then the equivariant character class uχ=c1(Lχ∣K) acts by zero on every group HjBM,T(D(f);Q). It also acts by zero on every such group for a further T-invariant open subvariety V⊆D(f). Consequently ST−1HjBM,T(D(f);Q)=ST−1HjBM,T(V;Q)=0 for all j.

Statement references

[Character-class annihilation in an equivariant theory] Edidin–Graham, Section 3

[Borel–Moore homology, proper pushforward, and intersection operations] Ginzburg, Section 1

Facts & Assumptions

Given: The algebraic torus action, the invariant affine chart U, the nontrivial character eigenfunction f, and the Borel–Moore convention of the preceding definition.

[F1]

The character line Lχ, its Chern class uχ, the Borel cap action on equivariant Borel–Moore homology, and the multiplicative set ST are defined by the localized Borel–Moore data. Localized torus-equivariant Borel–Moore classes

[F2]

For a complex line bundle, the Euler class is the first Chern class; the class is the zero-section pullback of its normalized Thom class. Euler class by zero-section pullback of the Thom class

[F3]

The six-functor and Thom construction identifies the Borel cap action with cap product by the associated line class on each finite Borel approximation. Complex-oriented diagonal Thom classes realize exceptional exchange on supports

Proof

Given: The data in the Statement.

1.1A1F1construct

The set D(f) is T-invariant because f(t⋅x)=χ(t)f(x). On its Borel construction, define s([e,x])=[e,f(x)] in the associated character line. This is well-defined: replacing (e,x) by (e⋅t,t−1⋅x) replaces f(x) by f(t−1⋅x)=χ(t)−1f(x), exactly the right equivalence (e,z)⋅t=(e⋅t,χ(t)−1z). Since f never vanishes on D(f), s is a nowhere-zero section and trivializes that line bundle. The same formula trivializes its restriction to every T-invariant open V⊆D(f). To ensure the preceding definition applies to V, write D(f)=Spec⁡Af. Its coordinate ring is graded by the character lattice Zr, and the ideal I(Z) of the invariant closed complement Z=D(f)∖V is homogeneous. For each x∈V, choose g∈I(Z) with g(x)≠0; a homogeneous component gλ∈I(Z) also satisfies gλ(x)≠0. The principal open D(gλ) is invariant, affine, contains x, and lies in V. Since D(f) is noetherian, its open subset V is quasi-compact, so finitely many such principal opens cover V. Thus V has a finite invariant affine cover.

2.1F1F2F3step 1.1

On each finite Borel approximation, the first Chern class of the trivialized line is zero. By [F2] this is the Euler class of the line, and by [F3] its cap action on the approximating Borel–Moore groups is zero. The stable comparison in [F1] therefore gives uχ∩β=0 for every β∈HjBM,T(D(f);Q), and the identical argument holds on V.

3.1F1step 2.1algebra∎

Since χ is nontrivial, uχ∈ST is invertible after localization. For any class β, its localized image satisfies β/1=(uχ∩β)/uχ=0 by step 2.1. Every homogeneous fraction is β/s=(β/1)/s, so the localized total modules, and hence all their degree pieces, vanish on both D(f) and V. If the opposite character convention is used, the class is −uχ, which is also in ST up to the unit −1 and has the same annihilation consequence.

Depends on

Dependency tree · 2 levels

Sources