Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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.

Opposite-parabolic Ringel duality on a finite ideal

Example

Use classical gl3 with Levi (2,1), I={0,1} and Λ=Λ1+Λ0, in the distinct-entry regular block of The integral parabolic category-O blocks for higher-level Schur-Weyl duality.

In target tableau order let A0=(1,0∣2),A1=(2,0∣1),A2=(2,1∣0), with highest weights (1,1,4),(2,1,3),(2,2,2). The target standard/simple matrix is D=(100110011). The reverse readings (2∣1,0),(1∣2,0),(0∣2,1) give the opposite highest weights (2,2,2),(1,3,2),(0,3,3) and the opposite matrix N=(110011001). The semiregular label shift is verified on each of the three weights, FMˉ(A)=∇(A) and FPˉ(A)=T(A) hold, and the tilting-standard row matrix is Nt, distinct from the target projective-standard rows Dt. On the genuine target lower ideal Γ={A0,A1} the tilting rows are (1011), and its Ringel dual is the opposite highest-weight Serre quotient with standard/simple rows (1101). Simples and canonical classes in the target ideal are unchanged ambient ones, whereas projective and quasi-canonical classes use the standard-flag truncation of the ambient projectives. This gives the actual three-basis finite-ideal dictionary without a false same-downset opposite restriction.

Facts & Assumptions

Given: The gl3 Levi-(2,1) distinct-entry regular block with the three displayed tableaux, their highest weights, the reverse readings, the target and opposite matrices D,N, and the finite witnesses of the semiregular and Ringel items.

[F1]

Semiregular and Ringel (Parabolic semi-regular duality and the reverse-column label map, Type-A parabolic category-O Ringel duality via the opposite parabolic): the explicit shift on each weight, FMˉ(A)=∇(A), FPˉ(A)=T(A) and (T(A):M(B))=[Mˉ(B):Lˉ(A)].

[F2]

Coefficients (Parabolic Kazhdan-Lusztig polynomials give the dual-canonical transition matrix, Simples, projectives and tiltings map to the three distinguished Fock bases, The parabolic category-O Grothendieck group is the integral Fock module): the mixed standard/simple matrix D, the opposite matrix N, and the identification of simples, projectives and tiltings with the three Fock families at s=1.

[F3]

Finite ideal transport (The Ringel dual of a finite highest weight ideal, Indecomposable tilting objects exist and are classified in parabolic category O): lower-ideal invariance of the tiltings and the corner-quotient realization of the Ringel dual.

Verification

technique · direct
1.1F2algebra

The two matrices. Finite Levi Weyl cancellation with WJ={e,s1} and WJˉ={e,s2}, together with all ordinary S3 Kazhdan-Lusztig values at 1 being 1, gives the target standard/simple matrix D and the opposite matrix N independently on the displayed labels; subtracting the scalar (2,2,2) reduces the comparison to the actual regular S3 example of the block, and the target dominant labels appear in the reverse tableau order while the reverse-side dominant labels appear in the displayed order.

2.1F1step 1.1algebra

The semiregular shift and the functor values. Applying the explicit block-offset shift of [F1] to each of the three highest weights verifies the label computation: the shifted coordinates return the original column readings, so FMˉ(A)=∇(A) and the central-character blocks match. Opposite BGG then gives the entrywise tilting-standard matrix Nt through FPˉ(A)=T(A).

3.1F3step 2.1algebra

The proper ideal and the quotient. Restricting to Γ={A0,A1}, the invariant tiltings have rows (1011), while the projective-corner Hom⁡ quotient of [F3] has standard/simple rows (1101); this is the opposite highest-weight Serre quotient by the complementary label, not the same opposite down-set subcategory. Simples and canonical classes are unchanged ambient ones, while projectives and quasi-canonical classes use the standard-flag truncation of the ambient projectives.

4.1step 1.1step 2.1step 3.1∎

Conclusion. In this finite gl3 example the semiregular label shift, the functor values FMˉ=∇ and FPˉ=T, the opposite BGG tilting matrix Nt, the distinction from the target projective rows Dt, and the two-label ideal quotient data are all verified; the three Fock families correspond to simples, projectives and tiltings exactly as stated.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

75 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