bibkey: li2010pseudoderivations authors: Haisheng Li year: 2010 title: Twisted modules and pseudo-endomorphisms doi: null url: https://arxiv.org/abs/1004.0864v1 claim: Pseudo-derivations and pseudo-endomorphisms express translated-parameter covariance for vertex operators. strata_touched: [] license: citation-only triage: anchor

Polynomial Fock deformation conventions

Definition 3.2 fixes the pseudo-endomorphism identity with a translated parameter in the first state of a vertex product. Proposition 3.6 relates pseudo-derivations and pseudo-endomorphisms to derivations and endomorphisms of the tensor product vertex algebra. Lemma 3.10 concerns exponentiation under its completeness hypotheses; Proposition 3.11 constructs pseudo-derivations from field modes. Proposition 3.15 deforms module fields by a pseudo-endomorphism. The logarithmic extension is discussed on printed page 16.

This is classical context for a concrete polynomial Fock substitution. The unrestricted coefficient identity for the independently defined substitution is a realization calculation in this repository, not a literal published formula or a novelty claim. This reference supplies conventions, not compiled Lean proof terms.

PDF: https://arxiv.org/pdf/1004.0864v1

SHA-256: a050c6bf387a9c7bf0a47584a67f9daf414664134fbc608c6d0f20836b39f5a3.

Verified locator

• https://arxiv.org/abs/1004.0864v1: printed p. 10, Definition 3.2; p. 12, Proposition 3.6; p. 13, Lemma 3.10 and Proposition 3.11; p. 15, Proposition 3.15; p. 16, logarithmic extension.
• Source convention only; no exact concrete coefficient-theorem attribution.