Plethystic exponential

In mathematics, the plethystic exponential is a certain operator defined on (formal) power series which, like the usual exponential, translates addition into multiplication. This exponential operator appears naturally in the theory of symmetric functions, as a concise relation between the generating series for elementary, complete and power sums homogeneous symmetric polynomials in many variables. Its name comes from the operation called plethysm, defined in the context of so-called lambda rings.

In combinatorics, the plethystic exponential is a generating function for many well studied sequences of integers, polynomials or power series, such as the number of integer partitions. It is also an important technique in the enumerative combinatorics of unlabelled graphs, and many other combinatorial objects.

The plethystic exponential can be viewed as an infinite form of Weierstrass elementary factors in the theory of entire functions within the classic field of complex analysis.

In geometry and topology, the plethystic exponential of a certain geometric/topologic invariant of a space, determines the corresponding invariant of its symmetric products.

Definition, main properties and basic examples

Let $R[[x]]$ be a ring of formal power series in the variable $x$, with coefficients in a commutative ring $R$. Denote by

$R^{0}[[x]]\subset R[[x]]$

be the ideal of power series without constant term. Then, given $f(x)\in R^{0}[[x]]$ its plethystic exponential, denoted $PE[f]$ is given by

$PE[f](x)=\exp \left(\sum _{k=1}^{\infty }{\frac {f(x^{k})}{k}}\right)$

where $\exp(g(x))$ is the usual exponential function. It is readily verified that (writing simply $PE[f]$ when the variable is understood):

${\begin{aligned}[ll]PE[0]&=1\\PE[f+g]&=PE[f]PE[g]\\PE[-f]&=PE[f]^{-1}\end{aligned}}$

Some basic examples are:

${\begin{aligned}[ll]PE[x]&={\frac {1}{1-x}}\\PE[x^{n}]&={\frac {1}{1-x^{n}}}\\PE\left[{\frac {x}{1-x}}\right]&=1+\sum _{n\geq 1}p(n)x^{n}\end{aligned}}$

In this last example, $p(n)$ is number of partitions of $n\in \mathbb {N}$.

The plethystic programme in Mathematical-Physics

In a series of articles, a group of mathematical physicists, including Bo Feng, Amihay Hanany and Yang-Hui He, proposed a programme for systematically counting single and multi-trace gauge invariant operators of supersymmetric gauge theories. In the case of quiver gauge theories of D-branes probing Calabi-Yau singularities, this count is codified in the plethystic exponential of the Hilbert series of the singularity.