# Weyl Lie Conformal Algebra¶

Given a commutative ring $$R$$, a free $$R$$-module $$M$$ and a non-degenerate, skew-symmetric, bilinear pairing $$\langle \cdot,\cdot\rangle: M \otimes_R M \rightarrow R$$. The Weyl Lie conformal algebra associated to this datum is the free $$R[T]$$-module generated by $$M$$ plus a central vector $$K$$. The non-vanishing $$\lambda$$-brackets are given by:

$[v_\lambda w] = \langle v, w\rangle K.$

This is not an H-graded Lie conformal algebra. The choice of a Lagrangian decomposition $$M = L \oplus L^*$$ determines an H-graded structure. For this H-graded Lie conformal algebra see the Bosonic Ghosts Lie conformal algebra

AUTHORS:

• Reimundo Heluani (2019-08-09): Initial implementation.

class sage.algebras.lie_conformal_algebras.weyl_lie_conformal_algebra.WeylLieConformalAlgebra(R, ngens=None, gram_matrix=None, names=None, index_set=None)

The Weyl Lie conformal algebra.

INPUT:

• R – a commutative ring; the base ring of this Lie conformal algebra.

• ngens: an even positive Integer (default $$2$$); The number of non-central generators of this Lie conformal algebra.

• gram_matrix: a matrix (default: None); A non-singular skew-symmetric square matrix with coefficients in $$R$$.

• names – a list or tuple of str; alternative names for the generators

• index_set – an enumerated set; alternative indexing set for the generators

OUTPUT:

The Weyl Lie conformal algebra with generators

$$\alpha_i$$, $$i=1,...,ngens$$ and $$\lambda$$-brackets

$[{\alpha_i}_{\lambda} \alpha_j] = M_{ij} K,$

where $$M$$ is the gram_matrix above.

Note

The returned Lie conformal algebra is not $$H$$-graded. For a related $$H$$-graded Lie conformal algebra see BosonicGhostsLieConformalAlgebra.

EXAMPLES:

sage: lie_conformal_algebras.Weyl(QQ)
The Weyl Lie conformal algebra with generators (alpha0, alpha1, K) over Rational Field
sage: R = lie_conformal_algebras.Weyl(QQbar, gram_matrix=Matrix(QQ,[[0,1],[-1,0]]), names = ('a','b'))
sage: R.inject_variables()
Defining a, b, K
sage: a.bracket(b)
{0: K}
sage: b.bracket(a)
{0: -K}

sage: R = lie_conformal_algebras.Weyl(QQbar, ngens=4)
sage: R.gram_matrix()
[ 0  0| 1  0]
[ 0  0| 0  1]
[-----+-----]
[-1  0| 0  0]
[ 0 -1| 0  0]
sage: R.inject_variables()
Defining alpha0, alpha1, alpha2, alpha3, K
sage: alpha0.bracket(alpha2)
{0: K}

sage: R = lie_conformal_algebras.Weyl(QQ); R.category()
Category of finitely generated Lie conformal algebras with basis over Rational Field
False
sage: R.inject_variables()
Defining alpha0, alpha1, K
sage: alpha0.degree()
Traceback (most recent call last):
...
AttributeError: 'WeylLieConformalAlgebra_with_category.element_class' object has no attribute 'degree'

gram_matrix()

The Gram matrix that specifies the $$\lambda$$-brackets of the generators.

EXAMPLES:

sage: R = lie_conformal_algebras.Weyl(QQbar, ngens=4)
sage: R.gram_matrix()
[ 0  0| 1  0]
[ 0  0| 0  1]
[-----+-----]
[-1  0| 0  0]
[ 0 -1| 0  0]
{"ft_lang_label":"__label__en","ft_lang_prob":0.5433364,"math_prob":0.9946077,"size":3024,"snap":"2022-27-2022-33","text_gpt3_token_len":958,"char_repetition_ratio":0.18741722,"word_repetition_ratio":0.15860215,"special_character_ratio":0.2853836,"punctuation_ratio":0.2077206,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9992748,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-06T03:35:37Z\",\"WARC-Record-ID\":\"<urn:uuid:77e96d16-b7cc-4bf1-9f10-b27c1cdccfbd>\",\"Content-Length\":\"23831\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:d4c4e60f-7c00-4a81-afbf-726141bcab4a>\",\"WARC-Concurrent-To\":\"<urn:uuid:dfe45c6b-6916-487b-b17b-1ea0d28c1b7a>\",\"WARC-IP-Address\":\"104.26.10.200\",\"WARC-Target-URI\":\"https://doc.sagemath.org/html/en/reference/algebras/sage/algebras/lie_conformal_algebras/weyl_lie_conformal_algebra.html\",\"WARC-Payload-Digest\":\"sha1:QXGMDH6Q4Q42V7YPUMDWD4FH6TWTBJJX\",\"WARC-Block-Digest\":\"sha1:EG5SQSVEJQ2UOK6V2NIVPBPS4ZDN3VDM\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104660626.98_warc_CC-MAIN-20220706030209-20220706060209-00309.warc.gz\"}"}