Formal distribution explained

In mathematics, a formal distribution is an infinite sum of powers of a formal variable, usually denoted

z in the theory of formal distributions. The coefficients of these infinite sums can be many different mathematical structures, such as vector spaces or rings, but in applications most often take values in an algebra over a field. These infinite sums are allowed to have infinitely many positive and negative powers, and are not required to converge, and so do not define functions of the formal variable. Rather, they are interpreted as distributions, that is, linear functionals on an appropriate space of test functions. They are closely related to formal Laurent series, but are not required to have finitely many negative powers. In particular, this means even if the coefficients are ring-valued, it is not necessarily possible to multiply two formal distributions.

They are important in the study of vertex operator algebras, since the vertex operator playing a central role in the theory takes values in a space of endomorphism-valued formal distributions.^[1]

Definition over a C-algebra

Let

R be an algebra over C , as is the case for applications to vertex algebras. An R -valued formal distribution in n variables z _{1,} … , z _{n} is an arbitrary series$$A(z\_1,\; \backslash cdots,\; z\_n)\; =\; \backslash sum\_\backslash cdots\; \backslash sum\_\; A\_z\_1^\backslash cdots\; z\_n^,$$with each A _{i _{1,} … , i _{n}} \in R . These series form a vector space, denoted R[[z _{1,} z ^{-1} _{1} , … , z _{n,} z ^{-1} _{n} ]] .^[2] While it can be possible to multiply some pairs of elements in the space of formal distributions, in general there is no product on the whole space.

In practice, the number of variables considered is often just one or two.

Products

If the variables in two formal distributions are disjoint, then the product is well-defined.

The product of a formal distribution by a Laurent polynomial is also well-defined.

Formal distributions in a single variable

For this section we consider

R[[z, z ^{-1} ]] .

Formal residue

The formal residue is a linear map

\operatorname{Res}: R[[z, z ^{-1} ]] → R , given by$$\backslash operatornamef(z)\; =\; \backslash operatorname\backslash sum\_\; f\_n\; z^n\; =\; f\_.$$The formal residue of f(z) can also be written \operatorname{Res} _{z} f(z), \operatorname{Res} _{z} f(z) or \operatorname{Res}f(z)dz . It is named after residues from complex analysis, and when f(z) is a meromorphic function on a neighborhood of zero in the complex plane, the two notions coincide.

Formal derivative

The formal derivative is a linear map

\partial _{z:} R[[z, z ^{-1} ]] → R[[z, z ^{-1} ]] . For an element a z ^{n} , its action is given by$$a\; z^n\; \backslash mapsto\; \backslash partial\_z\; a\; z^n\; =\; n\; a\; z^,$$extended linearly to give a map for the whole space.

In particular, for any formal distribution

f(z) ,$$\backslash operatorname\; \backslash partial\_z\; f(z)\; =\; 0$$

Interpretation as distribution

This then motivates why they are named distributions: considering the space of 'test functions' to be the space of Laurent polynomials, any formal distribution defines a linear functional on the test functions. If

\varphi \in C [z, z ^{-1} ] is a Laurent polynomial, the formal distribution f \in C [[z, z ^{-1} ]] defines a linear functional by$$\backslash varphi\; \backslash mapsto\; \backslash langle\; f,\; \backslash varphi\; \backslash rangle\; :=\; \backslash operatornamef(z)\backslash varphi(z).$$

Formal distributions in two variables

For this section we consider

R[[z, z ^{-1} , w, w ^{-1} ]] .

Delta distribution

One of the most important distributions is the delta function, and indeed it can be realized as a formal distribution in two variables.

It is defined$$\backslash delta(z\; -\; w)\; :=\; \backslash sum\_z^\; w^n\; =\; \backslash frac\; \backslash sum\_\backslash left(\backslash frac\backslash right)^n,$$and satisfies, for any formal distribution

f(z) $$\backslash langle\; \backslash delta(z\; -\; w),\; f(z)\; \backslash rangle\; =\; \backslash operatorname\_z\; \backslash delta(z-w)\; f(z)\; =\; f(w),$$where now, the subscript z on \operatorname{Res} _{z} is necessary to identify for which variable one reads the residue from.

Expansions of zero

A subtle point which enters for formal distributions in two variables is that there are expressions which naïvely vanish but in fact are non-zero in the space of distributions.

Consider the expression

(z - w) ^{-1} , considered as a function in two complex variables. When |z| > |w| , this has the series expansion (z - w) ^{-1} _{+} : =- (1)/(z) \sum _{n} \left( (z)/(w) \right) ^{n} , while for |z| < |w| , it has the series expansion (z - w) ^{-1} _{+} : = (1)/(z) \sum _{n} \left( (w)/(z) \right) ^{n} .

Then$$0\; =\; (z\; -\; w)^\; -\; (z\; -\; w)^\; \backslash overset=\; (z\; -\; w)^\_+\; -\; (z\; -\; w)^\_-\; =\; \backslash frac\; \backslash sum\_\backslash left(\backslash frac\backslash right)^n\; =\; \backslash delta(z\; -\; w).$$

So the equality does not hold.

See also

• Formal power series
• Vertex operator algebra

Notes and References

1. Book: Kac . Victor G. . Vertex algebras for beginners . 1998 . American Mathematical Society . Providence, R.I. . 082181396X . 17 . 2nd.
2. Book: Frenkel . Edward . Vertex algebras and algebraic curves . 2004 . Providence, Rhode Island . 9781470413156 . Second.