Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-adaptedPipeline-generatedprecheck pass
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.

At the singular SL2 twist global sections is not conservative

Statement refuted

The global-sections functor is conservative for every antidominant twist, including singular twists, and the corresponding simple-parabolic pushforward detects every nonzero module.

Facts & Assumptions

Given: G=SL2, X=P1, ρ with ρ(h)=1, κ=0, and the standard two-chart cover.

[F1]

D0=Diff⁡(OX(ρ))=Diff⁡(OP1(−1)) (PBW and integral line-bundle twisting for flag TDOs).

[F2]

The ordered Cech complex of a finite affine cover computes cohomology of a quasi-coherent sheaf on the separated scheme P1 (Cech cohomology computes quasi-coherent cohomology on a separated scheme).

[F3]

For SL2, the unique simple parabolic is Pα=G and G/Pα is a point (Complex semisimple algebraic group, Borel, and flag variety, A minimal-parabolic flag projection is a projective-line bundle).

Proof

1.1F1given

The twist parameter is κ=0, so ⟨κ,α∨⟩=0: it is antidominant and singular under the definitions in Flag-variety twisted differential operators and their modules. The line bundle O(−1) is nonzero and is a D0-module by [F1].

1.2F2algebra

Let z=y/x on U0 and w=x/y on U1, with frames related by e1=z−1e0. The Cech complex has C0=C[z]e0⊕C[w]e1,C1=C[z,z−1]e0, and differential (f0,f1)↦z−1f1(1/z)−f0(z). A global section would identify a polynomial in nonnegative powers of z with a sum of strictly negative powers, so H0=0. In degree one the image contains all nonnegative powers from f0 and all negative powers from z−1f1(1/z); these span the Laurent polynomials, so H1=0.

2.1F2F3step 1.1step 1.2∎

By [F3], pα:X→G/Pα is the map to a point. Hence pα∗O(−1)=H0(X,O(−1))=0, while O(−1)≠0. The global-sections kernel and the parabolic-pushforward kernel are therefore nonzero, contradicting the refuted assertion. This is the singular Serre-kernel branch, not a counterexample to exactness: the antidominant global-sections functor remains exact by Antidominant twists are D-affine and regular ones are conservative.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

45 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