Exponencial pletístico

En matemáticas , la exponencial pletística es un operador definido sobre series de potencias (formales) que, al igual que la función exponencial habitual , traduce la adición en multiplicación. Este operador exponencial aparece de forma natural en la teoría de funciones simétricas , como una relación concisa entre las series generadoras de polinomios simétricos homogéneos de múltiples variables, elementales , completos y sumas de potencias . Su nombre proviene de la operación denominada pletismo , definida en el contexto de los llamados anillos lambda .

En combinatoria , la exponencial pletística es una función generadora de muchas secuencias de números enteros , polinomios o series de potencias bien estudiadas, como el número de particiones de números enteros . También es una técnica importante en la combinatoria enumerativa de grafos no etiquetados y muchos otros objetos combinatorios. ^{[1] [2]}

En geometría y topología , la exponencial pletística de un determinado invariante geométrico/topológico de un espacio, determina el invariante correspondiente de sus productos simétricos. ^[3]

Sea un anillo de series de potencias formales en la variable , con coeficientes en un anillo conmutativo . Denote por ${\displaystyle R[[x]]}$${\estilo de visualización x}$${\estilo de visualización R}$

${\displaystyle R^{0}[[x]]\subconjunto R[[x]]}$

El ideal que consiste en series de potencias sin término constante. Entonces, dado , su exponencial pletístico está dado por ${\displaystyle f(x)\en R^{0}[[x]]}$${\displaystyle {\text{PE}}[f]}$

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

donde es la función exponencial habitual. Se comprueba fácilmente que (escribiendo de forma sencilla cuando se entiende la variable): ${\displaystyle \exp(\cdot )}$${\displaystyle {\text{PE}}[f]}$

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

Algunos ejemplos básicos son:

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

En este último ejemplo, es el número de particiones de . ${\displaystyle p(n)}$${\displaystyle n\in \mathbb {N}}$

La exponencial pletística también se puede definir para anillos de series de potencias en muchas variables.

La exponencial pletística se puede utilizar para proporcionar innumerables identidades de suma de productos. Esto es una consecuencia de una fórmula de producto para las propias exponenciales pletísticas. Si denota una serie de potencias formales con coeficientes reales , entonces no es difícil demostrar que: La expresión de producto análoga también se cumple en el caso de muchas variables. Un caso particularmente interesante es su relación con las particiones enteras y con el índice de ciclo del grupo simétrico . ^[4]${\displaystyle f(x)=\sum _{k=1}^{\infty }a_{k}x^{k}}$$Estilo de visualización ak$$${\displaystyle {\text{PE}}[f](x)=\prod _{k=1}^{\infty }(1-x^{k})^{-a_{k}}}$$

Trabajando con variables , denotamos por el polinomio simétrico homogéneo completo , que es la suma de todos los monomios de grado  k en las variables , y por los polinomios simétricos elementales . Entonces, y se relacionan con los polinomios de suma de potencias: por las identidades de Newton , que pueden escribirse sucintamente, utilizando exponenciales pletísticos, como: ${\displaystyle x_{1},x_{2},\ldots ,x_{n}}$$estilo de visualización h_ {k}}$$Estilo de visualización x_{i}}$$Estilo de visualización e_ {k}}$$estilo de visualización h_ {k}}$$Estilo de visualización e_ {k}}$${\displaystyle p_{k}=x_{1}^{k}+\cdots +x_{n}^{k}}$

${\displaystyle \sum _{n=0}^{\infty }h_{n}\,t^{n}={\text{PE}}[p_{1}\,t]={\text{PE}}[x_{1}t+\cdots +x_{n}t]}$

${\displaystyle \sum _{n=0}^{\infty }(-1)^{n}e_{n}\,t^{n}={\text{PE}}[-p_{1}\,t]={\text{PE}}[-x_{1}t-\cdots -x_{n}t]}$

Sea X un complejo CW finito , de dimensión d , con polinomio de Poincaré donde es su k ésimo número de Betti . Entonces el polinomio de Poincaré del n ésimo producto simétrico de X , denotado , se obtiene a partir del desarrollo en serie:$${\displaystyle P_{X}(t)=\sum _{k=0}^{d}b_{k}(X)\,t^{k}}$$$Estilo de visualización bk(X)$${\displaystyle \operatorname {Sym} ^{n}(X)}$$${\displaystyle {\text{PE}}[P_{X}(-t)\,x]=\prod _{k=0}^{d}\left(1-t^{k}x\right)^{(-1)^{k+1}b_{k}(X)}=\sum _{n\geq 0}P_{\operatorname {Sym} ^{n}(X)}(-t)\,x^{n}}$$

En una serie de artículos, un grupo de físicos teóricos, entre ellos Bo Feng, Amihay Hanany y Yang-Hui He , propusieron un programa para contar sistemáticamente operadores invariantes de calibre de traza única y múltiple de teorías de calibre supersimétricas . ^[5] En el caso de las teorías de calibre de carcaj de D-branas que investigan las singularidades de Calabi-Yau , este conteo está codificado en el exponencial pletístico de la serie de Hilbert de la singularidad.