Graded module

Vacuum space

Let ๐ด be a โ„ค-graded ๐•‚-monoid1 and ๐‘‰ be a graded ๐ด-module with the action denoted by ( โŠ™). A nonzero vector ๐‘ฃ โˆˆ๐‘‰ is called a vacuum vector iff ๐ด+ โŠ™๐‘ฃ =0. #m/def/ralg The vacuum space ฮฉ๐‘‰ consists of all vacuum vectors and zero

ฮฉ๐‘‰={๐‘ฃโˆˆ๐‘‰:๐ด+โŠ™๐‘ฃ=0}=โจ๐‘–โˆˆโ„คฮฉ๐‘‰๐‘–

and is a graded vector subspace, i.e. all vacuum vector are linear combinations of homogenous vacuum vectors.2

Proof

Let ๐‘ฃ โˆˆ๐‘‰ be a vacuum vector. Then for any ๐‘ฅ โˆˆ๐ด+ and ๐‘– โˆˆโ„ค

๐œ‹๐‘–(๐‘ฅโŠ™๐‘ฃ)=โˆžโˆ‘๐‘—=1๐œ‹๐‘—(๐‘ฅ)โŠ™๐œ‹๐‘–โˆ’๐‘—(๐‘ฃ)=0

so ๐œ‹๐‘—(๐‘ฅ) โŠ™๐œ‹๐‘–(๐‘ฃ) =0 for all ๐‘— >1 and ๐‘– โˆˆโ„ค.


#state/tidy | #lang/en | #SemBr

Footnotes

  1. Or Graded Lie algebra via the Universal enveloping algebra. โ†ฉ

  2. 1988. Vertex operator algebras and the Monster, ยง1.7, p. 23 โ†ฉ