Module localization 

Equivariant Localization via the Atiyah-Bott Fixed Point Formula

Provides the fixed-point framework for Grassmannian intersection computations. The EquivariantLocalizer computes Schubert intersection numbers by delegating to the LR coefficient machinery, while exposing the torus action structure (fixed points, tangent weights, Euler classes) for geometric analysis.

The Formula

∫_{Gr(k,n)} ω = Σ_{|I|=k} ω^T(e_I) / e_T(T_{e_I} Gr)

Contracts

• Fixed points are exactly the C(n,k) coordinate subspaces
• Tangent Euler class at each fixed point is nonzero (for distinct weights)
• Results agree with LR coefficient computation

Structs

EquivariantLocalizer

Equivariant localizer for Grassmannian intersection computations.

FixedPoint

A torus-fixed point in Gr(k, n): a k-element subset of {0, …, n-1}.

TorusWeights

Torus weights for equivariant localization.