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.
Excess intersection computes the A1 Hecke coefficients
Statement
Use and from Arbitrary-framing A1 varieties and their conormal Hecke correspondence. All Chow groups have rational coefficients. Intersect the fundamental cycle with the source zero section by its refined Gysin map, keeping support on , and push along . The result is For the reversed correspondence, intersection with the other zero section and push along gives These are supported intersection calculations; they do not replace supported classes by their potentially noninjective pushforward into . The excess and Euler sequences used below are equivariant for , although the asserted coefficient formulas are in ordinary Chow groups.
Facts & Assumptions
Given: and , the cotangent and incidence models, and the ordinary supported Chow convention in the statement.
The models and projective projections, including their dimensions, are proved in Arbitrary-framing A1 varieties and their conormal Hecke correspondence.
A regular embedding after arbitrary base change has the refined excess formula, with top Chern class of the quotient normal bundle (Refined Gysin pullback for regular embeddings, Zero-section Gysin and excess intersection for vector subbundles).
Operational Chern classes satisfy Whitney and the splitting principle; projective-bundle pushforward kills hyperplane powers below the fiber dimension and sends the power of that dimension to the base class (Operational Chern classes and the Whitney formula, The projective bundle formula for Chow groups).
Proof
The source zero-section embedding has codimension and normal bundle . Its pullback to is the zero section , with normal bundle of rank . The normal map is the fiber inclusion of common into . There is a canonical exact sequence Indeed tangent vectors to an -fiber move inside fixed ; restriction of cotangent forms is the surjection dual to . Its kernel consists exactly of annihilating , namely . Thus the excess has rank . The excess formula [F2] gives the first intersection class, of dimension .
For any quotient projective bundle of rank , put . Its relative Euler sequence is The middle map evaluates the tautological quotient after tensoring by its inverse line; its kernel is the relative cotangent bundle, as one checks on a chart where one quotient coordinate is . Thus [F3] gives : on the splitting tower the roots are , and in choosing a monomial with roots the remaining choices can be made in ways. Pushforward kills every term, since its hyperplane exponent is below , and sends to . Consequently . This also covers .
In the other direction the same restriction to tangent vectors of a -fiber gives A tangent vector moves while fixing ; annihilating all these variations forces the cotangent endomorphism with kernel to have image in . This is again . Its excess rank is , giving the second intersection class of dimension . Neither exact sequence presumes a global splitting.
Apply step 1.2 first to , the quotient projective bundle of the rank- tautological bundle on , with ; then apply it to , the bundle of lines in , equivalently the quotient projective bundle of , with . Steps 1.1–1.2 give exactly the two asserted coefficients. All maps in the normal and Euler sequences are canonical restrictions, evaluations or differentials of equivariant projections, hence are -equivariant. No equivariant Chern parameter has been specialized silently: all pushforward identities just used are ordinary Chow identities.
Depends on
Used by
Dependency tree · two levels
31 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
- Hiraku Nakajima, Introduction to quiver varieties—for ring and representation theorists (standard reference, not scraped)
- The Stacks Project, Chow Homology and Chern Classes (standard reference, not scraped)