Integral de Berezin

En física matemática , la integral de Berezin , llamada así por Felix Berezin (también conocida como integral de Grassmann , por Hermann Grassmann ), es una forma de definir la integración para funciones de variables de Grassmann (elementos del álgebra exterior ). No es una integral en el sentido de Lebesgue ; la palabra "integral" se utiliza porque la integral de Berezin tiene propiedades análogas a la integral de Lebesgue y porque extiende la integral de trayectoria en física, donde se utiliza como una suma sobre historias para fermiones .

Sea el álgebra exterior de polinomios en elementos anticonmutativos sobre el cuerpo de números complejos. (El orden de los generadores es fijo y define la orientación del álgebra exterior).$Estilo de visualización: lambda ^{n}}$${\displaystyle \theta _{1},\puntos ,\theta _{n}}$${\displaystyle \theta _{1},\puntos ,\theta _{n}}$

La integral de Berezin sobre la única variable de Grassmann se define como una función lineal.${\displaystyle \theta =\theta _{1}}$

${\displaystyle \int [af(\theta )+bg(\theta )]\,d\theta =a\int f(\theta )\,d\theta +b\int g(\theta )\,d\theta ,\quad a,b\in \mathbb {C} }$

donde definimos

${\displaystyle \int \theta \,d\theta = 1,\qquad \int \,d\theta = 0}$

de modo que :

${\displaystyle \int {\frac {\parcial }{\parcial \theta }}f(\theta )\,d\theta =0.}$

Estas propiedades definen la integral de manera única e implican

${\displaystyle \int (a\theta +b)\,d\theta =a,\quad a,b\in \mathbb {C} .}$

Tenga en cuenta que es la función más general porque las variables de Grassmann elevan al cuadrado cero, por lo que no pueden tener términos distintos de cero más allá del orden lineal.${\displaystyle f(\theta )=a\theta +b}$${\estilo de visualización \theta}$${\displaystyle f(\theta )}$

La integral de Berezin se define como la única funcional lineal con las siguientes propiedades:$Estilo de visualización: lambda ^{n}}$${\displaystyle \int _{\Lambda ^{n}}\cdot {\textrm {d}}\theta }$

${\displaystyle \int _{\Lambda ^{n}}\theta _{n}\cdots \theta _{1}\,\mathrm {d} \theta =1,}$

${\displaystyle \int _{\Lambda ^{n}}{\frac {\partial f}{\partial \theta _{i}}}\,\mathrm {d} \theta =0,\ i=1,\dots ,n}$

Para cualquier punto, se entiende la derivada parcial izquierda o derecha. Estas propiedades definen la integral de forma única.${\displaystyle f\in \Lambda ^{n},}$${\displaystyle \parcial /\parcial \theta _{i}}$

Obsérvese que existen diferentes convenciones en la literatura: algunos autores definen en cambio ^[1]

${\displaystyle \int _{\Lambda ^{n}}\theta _{1}\cdots \theta _{n}\,\mathrm {d} \theta :=1.}$

La fórmula

${\displaystyle \int _{\Lambda ^{n}}f(\theta )\,\mathrm {d} \theta =\int _{\Lambda ^{1}}\left(\cdots \int _{\ Lambda ^{1}}\left(\int _{\Lambda ^{1}}f(\theta )\,\mathrm {d} \theta _{1}\right)\,\mathrm {d} \theta _{2}\cdots \right)\mathrm {d} \theta _{n}}$

expresa la ley de Fubini. En el lado derecho, la integral interior de un monomio se establece en donde ; la integral de se anula. La integral con respecto a se calcula de manera similar y así sucesivamente.${\displaystyle f=g(\theta ')\theta _{1}}$${\displaystyle g(\theta '),}$${\displaystyle \theta '=\left(\theta _{2},\ldots ,\theta _{n}\right)}$${\displaystyle f=g(\theta ')}$$estilo de visualización {\theta_{2}}$

Sean polinomios impares en algunas variables antisimétricas . El jacobiano es la matriz${\displaystyle \theta _{i}=\theta _{i}\left(\xi _{1},\ldots ,\xi _{n}\right),\ i=1,\ldots ,n,}$${\displaystyle \xi _{1},\ldots ,\xi _{n}}$

${\displaystyle D=\left\{{\frac {\partial \theta _{i}}{\partial \xi _{j}}},\ i,j=1,\ldots ,n\right\},}$

donde se refiere a la derivada derecha ( ). La fórmula para el cambio de coordenadas se lee${\displaystyle \parcial /\parcial \xi _{j}}$${\displaystyle \parcial (\theta _{1}\theta _{2})/\parcial \theta _{2}=\theta _{1},\;\parcial (\theta _{1}\theta _{2})/\parcial \theta _{1}=-\theta _{2}}$

${\displaystyle \int f(\theta )\,\mathrm {d} \theta =\int f(\theta (\xi ))(\det D)^{-1}\,\mathrm {d} \xi .}$

Consideremos ahora el álgebra de funciones de variables reales conmutativas y de variables anticonmutativas (que se denomina superálgebra libre de dimensión ). Intuitivamente, una función es una función de m variables pares (bosónicas, conmutativas) y de n variables impares (fermiónicas, anticonmutativas). Más formalmente, un elemento es una función del argumento que varía en un conjunto abierto con valores en el álgebra Supóngase que esta función es continua y se anula en el complemento de un conjunto compacto La integral de Berezin es el número${\displaystyle \Lambda ^{m\mid n}}$${\displaystyle x=x_{1},\ldots ,x_{m}}$${\displaystyle \theta _{1},\ldots ,\theta _{n}}$${\estilo de visualización (m|n)}$${\displaystyle f=f(x,\theta )\en \Lambda ^{m\mid n}}$${\displaystyle f=f(x,\theta )\en \Lambda ^{m\mid n}}$${\displaystyle x}$${\displaystyle X\subset \mathbb {R} ^{m}}$${\displaystyle \Lambda ^{n}.}$${\displaystyle K\subset \mathbb {R} ^{m}.}$

${\displaystyle \int _{\Lambda ^{m\mid n}}f(x,\theta )\,\mathrm {d} \theta \,\mathrm {d} x=\int _{\mathbb {R} ^{m}}\,\mathrm {d} x\int _{\Lambda ^{n}}f(x,\theta )\,\mathrm {d} \theta .}$

Sea una transformación de coordenadas dada por donde son polinomios pares e impares de que dependen de variables pares. La matriz jacobiana de esta transformación tiene la forma de bloque:${\displaystyle x_{i}=x_{i}(y,\xi ),\ i=1,\ldots ,m;\ \theta _{j}=\theta _{j}(y,\xi ),j=1,\ldots ,n,}$${\displaystyle x_{i}}$${\displaystyle \theta _{j}}$${\displaystyle \xi }$${\displaystyle y.}$

${\displaystyle \mathrm {J} ={\frac {\partial (x,\theta )}{\partial (y,\xi )}}={\begin{pmatrix}A&B\\C&D\end{pmatrix}},}$

donde cada derivada par conmuta con todos los elementos del álgebra ; las derivadas impares conmutan con elementos pares y anticonmutan con elementos impares. Las entradas de los bloques diagonales y son pares y las entradas de los bloques fuera de la diagonal son funciones impares, donde nuevamente significa derivadas derechas .${\displaystyle \partial /\partial y_{j}}$${\displaystyle \Lambda ^{m\mid n}}$${\displaystyle A=\partial x/\partial y}$${\displaystyle D=\partial \theta /\partial \xi }$${\displaystyle B=\partial x/\partial \xi ,\ C=\partial \theta /\partial y}$${\displaystyle \partial /\partial \xi _{j}}$

Cuando la función es invertible en${\displaystyle D}$${\displaystyle \Lambda ^{m\mid n},}$

${\displaystyle \mathrm {J} ={\frac {\partial (x,\theta )}{\partial (y,\xi )}}={\begin{pmatrix}A&B\\C&D\end{pmatrix}}={\begin{pmatrix}I&B\\0&D\end{pmatrix}}{\begin{pmatrix}A-BD^{-1}C&0\\D^{-1}C&I\end{pmatrix}}}$

Así que tenemos el bereziniano (o superdeterminante ) de la matriz , que es la función par${\displaystyle \mathrm {J} }$

${\displaystyle \operatorname {Ber} \mathrm {J} =\det \left(A-BD^{-1}C\right)(\det D)^{-1}}$

Supongamos que las funciones reales definen una función invertible suave de conjuntos abiertos en y la parte lineal de la función es invertible para cada uno. La ley de transformación general para la integral de Berezin se lee${\displaystyle x_{i}=x_{i}(y,0)}$${\displaystyle F:Y\to X}$${\displaystyle X,Y}$${\displaystyle \mathbb {R} ^{m}}$${\displaystyle \xi \mapsto \theta =\theta (y,\xi )}$${\displaystyle y\in Y.}$

${\displaystyle {\begin{aligned}&\int _{\Lambda ^{m\mid n}}f(x,\theta )\,\mathrm {d} \theta \,\mathrm {d} x=\int _{\Lambda ^{m\mid n}}f(x(y,\xi ),\theta (y,\xi ))\varepsilon \operatorname {Ber} \mathrm {J} \,\mathrm {d} \xi \,\mathrm {d} y\\[6pt]={}&\int _{\Lambda ^{m\mid n}}f(x(y,\xi ),\theta (y,\xi ))\varepsilon {\frac {\det \left(A-BD^{-1}C\right)}{\det D}}\,\mathrm {d} \xi \,\mathrm {d} y,\end{aligned}}}$

donde ) es el signo de la orientación del mapa La superposición se define de la forma obvia, si las funciones no dependen de En el caso general, escribimos donde son elementos nilpotentes pares de y conjunto${\displaystyle \varepsilon =\mathrm {sgn} (\det \partial x(y,0)/\partial y}$${\displaystyle F.}$${\displaystyle f(x(y,\xi ),\theta (y,\xi ))}$${\displaystyle x_{i}(y,\xi )}$${\displaystyle \xi .}$${\displaystyle x_{i}(y,\xi )=x_{i}(y,0)+\delta _{i},}$${\displaystyle \delta _{i},i=1,\ldots ,m}$${\displaystyle \Lambda ^{m\mid n}}$

${\displaystyle f(x(y,\xi ),\theta )=f(x(y,0),\theta )+\sum _{i}{\frac {\partial f}{\partial x_{i}}}(x(y,0),\theta )\delta _{i}+{\frac {1}{2}}\sum _{i,j}{\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}(x(y,0),\theta )\delta _{i}\delta _{j}+\cdots ,}$

donde la serie de Taylor es finita.

Las siguientes fórmulas para integrales gaussianas se utilizan a menudo en la formulación de integral de trayectoria de la teoría cuántica de campos :

• ${\displaystyle \int \exp \left[-\theta ^{T}A\eta \right]\,d\theta \,d\eta =\det A}$

siendo una matriz compleja.${\displaystyle A}$${\displaystyle n\times n}$

• ${\displaystyle \int \exp \left[-{\tfrac {1}{2}}\theta ^{T}M\theta \right]\,d\theta ={\begin{cases}\mathrm {Pf} \,M&n{\mbox{ even}}\\0&n{\mbox{ odd}}\end{cases}}}$

siendo una matriz antisimétrica compleja , y siendo el Pfaffian de , que cumple .${\displaystyle M}$${\displaystyle n\times n}$${\displaystyle \mathrm {Pf} \,M}$${\displaystyle M}$${\displaystyle (\mathrm {Pf} \,M)^{2}=\det M}$

En las fórmulas anteriores se utiliza la notación . A partir de estas fórmulas se desprenden otras fórmulas útiles (véase el Apéndice A en ^[2] ):${\displaystyle d\theta =d\theta _{1}\cdots \,d\theta _{n}}$

• ${\displaystyle \int \exp \left[\theta ^{T}A\eta +\theta ^{T}J+K^{T}\eta \right]\,d\eta _{1}\,d\theta _{1}\dots d\eta _{n}d\theta _{n}=\det A\,\,\exp[-K^{T}A^{-1}J]}$

siendo una matriz invertible. Nótese que estas integrales están todas en forma de función de partición .${\displaystyle A}$${\displaystyle n\times n}$

La integral de Berezin fue probablemente presentada por primera vez por David John Candlin en 1956. ^[3] Más tarde fue descubierta independientemente por Felix Berezin en 1966. ^[4]

Lamentablemente, el artículo de Candlin no logró atraer la atención de la gente y quedó sepultado en el olvido. El trabajo de Berezin llegó a ser ampliamente conocido y ha sido citado casi universalmente, ^{[nota al pie 1]} convirtiéndose en una herramienta indispensable para tratar la teoría cuántica de campos de los fermiones mediante la integral funcional.

Otros autores contribuyeron a estos desarrollos, incluidos los físicos Khalatnikov ^[9] (aunque su artículo contiene errores), Matthews y Salam, ^[10] y Martin. ^[11]

• Supermanifold
• Bereziniano

• Theodore Voronov: Teoría de la integración geométrica en supermanifolds , Harwood Academic Publisher, ISBN 3-7186-5199-8 
• Berezin, Felix Alexandrovich: Introducción al superanalisis , Springer Netherlands, ISBN 978-90-277-1668-2