Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (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.

Casimir KZ connection on ordered configurations

Definition

Let g be a finite-dimensional complex semisimple Lie algebra with Killing form B, let n≥2, and let V1,…,Vn be finite-dimensional complex vector spaces. A representation here is a complex-linear Lie algebra homomorphism ρi:g→End⁡C(Vi), so [ρi(x),ρi(y)]=ρi([x,y]). Let Fn(C)={(z1,…,zn)∈Cn:zi≠zj for i≠j} be the ordered configuration space and put V:=V1⊗⋯⊗Vn in the indicated factor order. For any pair of B-dual bases (xa),(xa) define Ωij:=∑aρi(xa)(i)ρj(xa)(j)∈End⁡C(V), where each superscript means that the operator acts on that tensor factor and as the identity on all other factors. For i<j put ηij:=(dzi−dzj)/(zi−zj), a globally defined complex-valued one-form on Fn(C). For κ∈C∖{0}, the Casimir Knizhnik–Zamolodchikov connection on the trivial vector bundle Fn(C)×V→Fn(C) is

∇κKZ:=d−κ−1∑i<jΩijηij.

Here a connection on this trivial bundle is a complex-linear operator on smooth V-valued sections satisfying ∇(fs)=df⊗s+f∇s for every smooth scalar function f and section s. The associated quadratic Casimir is CB:=∑axaxa in the universal enveloping algebra; with the Killing-form convention above it is central, and Ωij is its tensor-level Casimir counterpart.

Facts & Assumptions

Given: The finite-dimensional complex semisimple Lie algebra, its Killing form and dual bases, the ordered configuration space with n≥2, finite-dimensional representations ρi, and κ≠0 as in the Definition.

[F1]

Ordered configuration spaces Fn(X): Fn(X) is the subspace of Xn consisting of ordered tuples with pairwise distinct coordinates; here X=C.

[F2]

The Killing form of a semisimple Lie algebra: B(x,y)=tr⁡(ad⁡xad⁡y) on the finite-dimensional vector space g.

[F3]

The quadratic Casimir element is independent of the choice of dual bases: Ω=∑axa⊗xa is independent of the selected B-dual bases.

[F4]

The quadratic Casimir element: the product image CB=∑axaxa defines the quadratic Casimir in the universal enveloping algebra.

[F5]

The quadratic Casimir element is central: for complex semisimple g with its Killing-form Casimir, CB lies in the center of the universal enveloping algebra.

Proof

Given: [F1]–[F5], finite-dimensional representations ρi, and κ≠0.

1.1F2F3givenalgebra

For each i<j, the sum defining Ωij is a finite endomorphism sum. Changing the B-dual bases leaves Ω unchanged by [F3], and applying ρi⊗ρj and identities on the other factors therefore leaves Ωij unchanged. Thus every Ωij∈End⁡C(V) is well-defined.

1.2F1givenalgebra

On Fn(C) the scalar zi−zj is never zero by [F1]. Hence its reciprocal is smooth, so ηij=(dzi−dzj)/(zi−zj) is a globally defined smooth one-form; the finite sum A=κ−1∑i<jΩijηij is a smooth End⁡(V)-valued one-form.

2.1F3F4F5step 1.1step 1.2algebra∎

For a smooth section s:Fn(C)→V and smooth scalar function f, ∇(fs)=d(fs)−A(fs)=df⊗s+f(ds−As)=df⊗s+f∇s, because each endomorphism coefficient in A acts C-linearly on s. Thus ∇=d−A is a connection on the stated trivial bundle. The operator is the Casimir KZ connection because its coefficients are the pairwise tensor Casimirs from [F3] and the associated quadratic Casimir [F4] is central by [F5].

Depends on

Dependency tree · 2 levels

Sources