Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge 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.

Hochschild homology of the rank-one Soergel bimodule

Example

Assume the Axiom of Choice (used only in step 3.1, through the polynomial Hochschild theorem). Take m=2, so that R=Q[y] with y=x1−x2, Rs1=Q[y2] and B1=Q[y]⊗Q[y2]Q[y] (The reduced type-A polynomial ring and Soergel bimodules for the HHH construction), with the left R-basis {1⊗1, 1⊗y} of degrees 0 and 2. The one-variable diagonal Koszul complex of The polynomial diagonal Koszul bimodule complex for the single element u=y⊗1−1⊗y has terms 0⟶B1{2}→ δ B1⟶0,δ(m)=ym−my, of internal degrees 2 and 0. In the displayed basis δ(1⊗1)=y⊗1−1⊗y,δ(1⊗y)=y⊗y−1⊗y2, so the matrix of δ is (y−y2−1y) and the underlying multiplication on B1 has internal degree 2; the displayed map B1{2}→B1 therefore has degree 0. Hence HH0(R,B1)=coker⁡δ=Q[y]⋅[1⊗1]≅R, HH1(R,B1)=ker⁡(δ:B1{2}→B1)=Q[y]⋅[(y⊗1+1⊗y)θ]≅R{4}, and HHh(R,B1)=0 for h≥2; the generator of HH1 is the class of the symbol times rb1(1)=y⊗1+1⊗y of Khovanov's generator complexes for the HHH construction, of total internal degree 2+2=4 because the Koszul symbol θ has internal degree 2. This is the rank-one computation used by the source's two-strand example.

Facts & Assumptions

Given: the reduced ring R=Q[y], the bimodule B1=Q[y]⊗Q[y2]Q[y], its left R-basis {1⊗1,1⊗y} with degrees 0 and 2, the diagonal element u=y⊗1−1⊗y, and AC.

[L1]

R=Q[y], Rs1=Q[y2] and B1 is free of rank two on each side with 1⊗1 of degree 0 and 1⊗y of degree 2; the balancing relation is y2⊗1=1⊗y2 (The reduced type-A polynomial ring and Soergel bimodules for the HHH construction).

[L2]

The one-variable diagonal Koszul complex has degree-one term B1{2} and degree-zero term B1, differential m↦ym−my, and no other terms; the symbol θ has internal degree 2 and the differential is internal-degree preserving (The polynomial diagonal Koszul bimodule complex).

[L3]

Under AC, HHh(R,M)≅Hh of the coefficient diagonal Koszul complex, naturally in M and internal-degree preserving (Polynomial Hochschild homology from the diagonal Koszul complex).

[L4]

rb1(1)=y⊗1+1⊗y is the degree-zero bimodule map used for the generator complex (Khovanov's generator complexes for the HHH construction).

[L5]

AC is the choice-function principle (The Axiom of Choice), used only to invoke [L3].

Verification

technique · direct
1.1L1L2givenalgebra

Compute the differential in the displayed basis. [L1, L2, given, algebra] In the left R-basis {1⊗1,1⊗y} one has y⊗1=y(1⊗1) and 1⊗y as the second basis vector, so δ(1⊗1)=y⊗1−1⊗y has coordinates (y,−1). Using the balancing relation 1⊗y2=y2⊗1=y2(1⊗1) and y⊗y=y(1⊗y), δ(1⊗y)=y⊗y−1⊗y2 has coordinates (−y2,y). The matrix is therefore (y−y2−1y), with columns the images of the two basis vectors, and both columns are homogeneous of degree 2 since y has degree 2.

2.1step 1.1algebra

Compute kernel and cokernel. [step 1.1, algebra] An element a(1⊗1)+b(1⊗y) lies in ker⁡δ exactly when ay−by2=0 and −a+by=0; since R is a domain the second equation gives a=by, and the first is then automatic. Hence ker⁡δ=Q[y]⋅(y⊗1+1⊗y), free of rank one with generator of degree 2. The first column (y,−1) generates the image, because the second column (−y2,y) equals −y times the first; the cokernel is therefore free of rank one and the class of 1⊗1 is a generator of degree 0, so coker⁡δ≅R with the class of 1⊗1 as basis element.

3.1L2L3L5step 2.1algebra

Apply the diagonal theorem and read the Hochschild groups. [L1, L2, L3, L5, step 2.1, algebra] By [L3] applied to M=B1, HH0(R,B1)≅H0=coker⁡δ≅R in degree 0, and HH1(R,B1)≅H1=ker⁡(δ:B1{2}→B1). The kernel of δ has its generator in degree 2 inside B1; the shifted term B1{2} represents the coefficient together with its single Koszul symbol θ, so its degree is 2+2=4. Thus the class [(y⊗1+1⊗y)θ] has total internal degree 4 and H1≅R{4}. For h≥2 the complex has no terms, so HHh=0. AC is used only here, in [L3].

4.1L1L4step 3.1∎

Record the normalization. [L1, L4, step 3.1] The generator of HH1 is the class of rb1(1) times the symbol, so it is the degree-2 element rb1(1) shifted by the degree-2 symbol; the resulting degree is 4, and no other normalization is asserted. The two other boundary cases are immediate: for h=0 there is no symbol and the degree is the degree of the class of 1⊗1, namely 0; the complex is empty above h=1.

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