Nombre de Grassmann

Modèle:Redirect Un nombre de Grassmann, ou supernombre, est un élément de l'algèbre extérieure (ou algèbre de Grassmann) d'un espace vectoriel, le plus souvent sur les nombres complexes. Dans le cas particulier où cet espace est une droite vectorielle réelle, un tel nombre est appelé nombre dual. Le nom Grassmann fait référence au mathématicien et indianiste prussien Hermann Günther Grassmann, à l'origine de ces concepts.

Les nombres de Grassmann sont utilisés en physique mathématique, d'abord en théorie quantique des champs pour exprimer les champs de fermions dans les intégrales de chemins, puis pour décrire le Modèle:Lien sur lequel on définit une supersymétrie.

Définition

Soit V un espace vectoriel, muni d'une base privilégiée dont les vecteurs ${\theta }_i$ sont appelés les « variables de Grassmann » ou « directions de Grassmann » ou « supercharges ». Le corps K des scalaires est généralement ℂ ou parfois ℝ. L'algèbre extérieure de V s'écrit

$\mathrm{\Lambda }=K\oplus V\oplus (V\wedge V)\oplus (V\wedge V\wedge V)\oplus \cdots$

où le symbole $\wedge$ (couramment omis dans ce contexte) désigne le produit extérieur (qui est bilinéaire et alterné) et $\oplus$ la somme directe.

Plus concrètement, $\mathrm{\Lambda }$ est la K-algèbre associative et unifère engendrée par les ${\theta }_i$, soumis aux seules relations :

${\theta }_i{\theta }_j=-{\theta }_j{\theta }_i\text{et}{\theta }_i^2=0$.

En particulier, ${\theta }_{i_1}{\theta }_{i_2}\cdots {\theta }_{i_k}=0$ si et seulement si deux indices $i_p,i_q$ (avec $p\ne q$) sont égaux.

Un nombre de Grassmann est un élément $z$ de cette algèbre :

$z=\sum _{k=0}^{\mathrm{\infty }}\sum _{i_1,i_2,\cdots ,i_k}{c}_{i_1{i}_2\cdots i_k}{\theta }_{i_1}{\theta }_{i_2}\cdots {\theta }_{i_k}$

où les Modèle:Math sont des scalaires et sont tous nuls sauf un nombre fini d'entre eux.

Dimension

Si V est de dimension finie n, la somme directe ci-dessus est finie :

$\mathrm{\Lambda }=K\oplus {\mathrm{\Lambda }}^{1}V\oplus {\mathrm{\Lambda }}^{2}V\oplus \cdots \oplus {\mathrm{\Lambda }}^{n}V.$

La Modèle:Math-ième puissance alternée ${\mathrm{\Lambda }}^{k}V$ admet alors pour base les ${\theta }_{i_1}{\theta }_{i_2}\cdots {\theta }_{i_k}$ avec $1\le i_1<i_2<\dots i_k\le n$ donc sa dimension est égale au coefficient binomial $(\genfrac{}{}{0ex}{}{n}{k})$ et (d'après la formule du binôme) la dimension de $\mathrm{\Lambda }$ est égale à Modèle:Math.

Deux types distincts de supernombres apparaissent couramment dans la littérature : ceux de dimension finie, typiquement n = 1, 2, 3 ou 4, et ceux de dimension infinie dénombrable. Ces deux situations sont plus reliées qu'il n'y paraît. D'abord, dans la définition d'une Modèle:Lien, une variante utilise un ensemble infini dénombrable de générateurs, mais emploie ensuite une topologie si grossière qu'elle réduit la dimension à un nombre fini petit. Inversement, on peut commencer avec un nombre fini de générateurs puis, au cours de la seconde quantification, avoir besoin d'un nombre infini de générateurs : un pour chaque moment possible que peut porter un fermion.

De façon générale, il est couramment plus facile de définir les analogues supersymétriques des entités mathématiques ordinaires en travaillant avec des nombres de Grassmann sur une infinité de générateurs : la plupart des définitions deviennent immédiates et peuvent être reprises des définitions bosoniques correspondantes. Par exemple, on peut Modèle:Pas clair ; un espace vectoriel, le superespace de dimension m, Modèle:Pas clair. On peut démontrer que ceci est essentiellement équivalent à une algèbre à m générateurs.

Involution, choix du corps

Si l'on choisit comme scalaires les complexes plutôt que les réels, cela évite des bizarreries lorsqu'on définit (sur les générateurs) l'involution d'algèbre *, appelée conjugaison, par la convention de DeWitt :

${\theta }_j^{*}={\theta }_j.$

Un supernombre z est ensuite dit réel si z* = z et imaginaire si z* = –z. Avec ces définitions, on évite de prendre comme scalaires les réels parce que beaucoup de coefficients seraient obligatoirement nuls s'il y a moins de 4 générateurs.

Avec comme scalaires les complexes, d'autres conventions sont possibles, comme celle de Rogers, qui pose ${\theta }_j^{*}=\mathrm{i}{\theta }_j$. Avec cette convention, les coefficients des supernombres réels sont tous réels, tandis qu'avec la convention de DeWitt, ils peuvent être imaginaires purs. Malgré cela, la convention de DeWitt est souvent plus commode.

Analyse

L'algèbre de Grassmann est naturellement graduée (et a fortiori ℤModèle:Ind-graduée, donc ${\mathrm{\Lambda }}^{\text{pair}}$ est une sous-algèbre de $\mathrm{\Lambda }$, et ${\mathrm{\Lambda }}^{\text{impair}}$ est un sous-espace vectoriel).

Elle est Modèle:Lien, c'est-à-dire que $\mathrm{\forall }z\in {\mathrm{\Lambda }}^{p}V\mathrm{\forall }{z}^{\prime }\in {\mathrm{\Lambda }}^{q}Vz{z}^{\prime }=(-1{)}^{pq}{z}^{\prime }z$. Tout produit d'un nombre impair (resp. pair) de variables de Grassmann anticommute (resp. commute) et un tel produit est souvent appelé un a-nombre (resp. un c-nombre). Par abus de terminologie, un a-nombre est parfois appelé un c-nombre anticommutant. La symétrie que l'on perçoit est que la multiplication par une variable de Grassmann intervertit la ℤModèle:Ind-graduation qui distingue les fermions des bosons.

On peut munir l'algèbre de Grassmann d'une structure d'Modèle:Lien, ce qui généralise la dérivation décrite dans l'article sur les nombres duaux. On peut alors pratiquer sur les supernombres de l'analyse analogue à celle sur les nombres complexes, en définissant par exemple les fonctions superholomorphes, les dérivées, ainsi que les intégrales.

Intégration

Modèle:Voir L'intégration sur les nombres de Grassmann est connue sous le nom d'intégrale de Modèle:Lien. Pour représenter les intégrales de chemin pour un champ de fermions, elle doit posséder les propriétés suivantes :

• linéarité :Modèle:Retrait
• formule d'intégration partielle :Modèle:Retraiten particulier $\int 1\mathrm{d}\theta =0$ ;
• $\int \theta \mathrm{d}\theta =1$ (les opérations d'intégration et de différentiation d'un nombre de Grassmann sont donc identiques).

Dans la formulation par intégrales de chemins de la théorie quantique des champs, on a besoin, pour des champs fermioniques anticommutants, de l'intégrale de Gauss suivante de nombres de Grassmann :

$\int \exp [-{\theta }^{𝖳}A\eta ]\mathrm{d}\theta \mathrm{d}\eta =\det A$

où A est une matrice carrée N×N.

Représentation matricielle

Les nombres de Grassmann peuvent être représentés par des matrices carrées. Par exemple, l'algèbre de Grassmann à deux générateurs ${\theta }_1$ et ${\theta }_2$ peut être représentée par des matrices 4×4, avec

${\theta }_1=\left(\begin{array}{cccc}0& 0& 0& 0\\ 1& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 1& 0\end{array}\right){\theta }_2=\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\\ 1& 0& 0& 0\\ 0& -1& 0& 0\end{array}\right).$

En général, une algèbre de Grassmann à n générateurs peut être représentée par des matrices carrées 2Modèle:Exp×2Modèle:Exp.

• Physiquement, on peut considérer ces matrices comme des opérateurs de création agissant sur un espace de Hilbert de n fermions identiques sur la base du nombre d'occupation. Comme ce nombre pour chaque fermion est 0 ou 1, il y a 2Modèle:Exp états de base possibles.
• Mathématiquement, cette représentation est la représentation régulière gauche de l'algèbre de Grassmann.

Articles connexes

• Forme différentielle
• Grassmannienne
• Hyperdéterminant
• Principe d'exclusion de Pauli
• Superalgèbre de Lie
• Supergravité