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 be a finite-dimensional complex semisimple Lie algebra with Killing form , let , and let be finite-dimensional complex vector spaces. A representation here is a complex-linear Lie algebra homomorphism , so . Let be the ordered configuration space and put in the indicated factor order. For any pair of -dual bases define , where each superscript means that the operator acts on that tensor factor and as the identity on all other factors. For put , a globally defined complex-valued one-form on . For , the Casimir Knizhnik–Zamolodchikov connection on the trivial vector bundle is
Here a connection on this trivial bundle is a complex-linear operator on smooth -valued sections satisfying for every smooth scalar function and section . The associated quadratic Casimir is in the universal enveloping algebra; with the Killing-form convention above it is central, and is its tensor-level Casimir counterpart.
Definition references
Facts & Assumptions
Given: The finite-dimensional complex semisimple Lie algebra, its Killing form and dual bases, the ordered configuration space with , finite-dimensional representations , and as in the Definition.
Ordered configuration spaces : is the subspace of consisting of ordered tuples with pairwise distinct coordinates; here .
The Killing form of a semisimple Lie algebra: on the finite-dimensional vector space .
The quadratic Casimir element is independent of the choice of dual bases: is independent of the selected -dual bases.
The quadratic Casimir element: the product image defines the quadratic Casimir in the universal enveloping algebra.
The quadratic Casimir element is central: for complex semisimple with its Killing-form Casimir, lies in the center of the universal enveloping algebra.
Proof
Given: [F1]–[F5], finite-dimensional representations , and .
For each , the sum defining is a finite endomorphism sum. Changing the -dual bases leaves unchanged by [F3], and applying and identities on the other factors therefore leaves unchanged. Thus every is well-defined.
On the scalar is never zero by [F1]. Hence its reciprocal is smooth, so is a globally defined smooth one-form; the finite sum is a smooth -valued one-form.
For a smooth section and smooth scalar function , , because each endomorphism coefficient in acts -linearly on . Thus 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].