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.

A positive integral SL2 twist is regular but not D-affine

Statement refuted

Regularity of κ alone implies that Γ(X,−) is exact and conservative for Dκ-modules.

Facts & Assumptions

Given: G=SL2, X=P1, ρ with ρ(h)=1, and an integer c≥1.

[F1]

For integral κ=cρ, Dcρ=Diff⁡(OX((c+1)ρ))=Diff⁡(OP1(−c−1)) (PBW and integral line-bundle twisting for flag TDOs).

[F2]

Cech cohomology on the two affine charts of P1 computes sheaf cohomology (Cech cohomology computes quasi-coherent cohomology on a separated scheme).

[F4]

Quasi-coherence is the affine-local associated-module condition (Quasi-coherent module on a scheme).

Proof

1.1F1given

For α the unique positive root, ⟨κ,α∨⟩=c>0, so κ is regular and non-antidominant. By [F1], M=O(−c−1) is a left Dκ-module, and it is nonzero because it is locally free of rank one.

1.2F2algebra

With z=y/x, w=x/y and transition e1=zde0 for d=−c−1, the Cech differential has image spanned by nonnegative powers zn and powers zd−n for n≥0. The first summand gives every exponent n≥0, the second every exponent n≤−c−1; the quotient has basis z−c,z−c+1,…,z−1, of size c. No exponent belongs to the intersection of those two ranges, so H0=0. Thus H1(X,M)≅Cc and Γ(X,M)=0.

2.1F1F2F4step 1.2constructalgebra∎

Since M is nonzero and quasi-coherent but Γ(M)=0, the map 0→M proves failure of conservativity. For the standard chart inclusions j0,j1,j01, put E=j0∗(M∣U0)⊕j1∗(M∣U1) and F=j01∗(M∣U0∩U1). Restriction and difference give a Dκ-linear exact sequence 0→M→E→F→0: differential operators act on direct images by restriction, the kernel consists of sections that glue, and on Ui the other direct-image summand maps isomorphically onto F∣Ui. These sheaves are quasi-coherent by [F4]: on U0=Spec⁡C[z] their distinguished-open sections are the localizations of C[z]e0, (C[z]⊕C[z,z−1])e0 and C[z,z−1]e0, respectively; the same calculation holds with w,e1 on U1. The map Γ(E)→Γ(F) is exactly the computed Cech differential with nonzero cokernel. Thus global sections is not exact on quasi-coherent Dκ-modules.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

33 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