Superalgèbre

En mathématiques et en physique théorique, une superalgèbre est une algèbre Z2 - graduée[1]. En d'autres termes, c'est une algèbre sur un anneau ou un corps commutatif avec une décomposition en parties « paire » et « impaire » et un opérateur de multiplication qui respecte la graduation.

Le préfixe super vient de la théorie de la supersymétrie en physique théorique. Les superalgèbres et leurs représentations, les supermodules, fournissent un cadre algébrique pour formuler cette théorie. L'étude de tels objets est parfois appelée « algèbre superlinéaire ». Les superalgèbres jouent également un rôle important dans le domaine voisin de la supergéométrie où elles interviennent dans les définitions des variétés graduées, des supervariétés et des superschémas.

Définition formelle

Soit un anneau commutatif. Dans la plupart des applications, est un corps de caractéristique d'un anneau 0, tel que le corps R des nombres réels ou le corps C des nombres complexes.

Une superalgèbre sur est un -module avec une décomposition en somme directe :

et une multiplication bilinéaire telle que

où les indices se lisent modulo 2, c'est-à-dire qu'ils sont considérés comme des éléments de Z2.

Un superanneau, ou anneau Z2-gradué, est une superalgèbre sur l'anneau des entiers Z .

Les éléments de chacun des sont dits homogènes. La parité d'un élément homogène , notée , vaut 0 ou 1 selon qu'il est dans ou . Les éléments de parité 0 sont dits pairs et ceux de parité 1 impairs . Si et sont tous les deux homogènes, alors leur produit aussi est homogène et .

Une superalgèbre associative est une superalgèbre dont la multiplication est associative et une superalgèbre unitaire est une superalgèbre avec un élément neutre pour la multiplication. L'élément neutre dans une superalgèbre unitaire est nécessairement pair. Sauf indication contraire, toutes les superalgèbres sont supposées, dans la suite, associatives et unitaires.

Une superalgèbre commutative (ou algèbre supercommutative) est une superalgèbre qui vérifie une version graduée de la commutativité. Plus précisément, est commutatif si

pour des éléments homogènes et de . Il existe des superalgèbres qui sont commutatives au sens ordinaire, mais pas au sens des superalgèbres. C'est pour cette raison, que les superalgèbres commutatives sont souvent appelées supercommutatives afin d'éviter toute confusion[2].

Exemples

  • Toute algèbre sur un anneau commutatif peut être considérée comme une superalgèbre paire sur en prenant pour l'ensemble trivial.
  • En particulier, une algèbre extérieure sur est une superalgèbre. L'algèbre extérieure est l'exemple standard d'une algèbre supercommutative .
  • Les polynômes symétriques et les polynômes alternés forment ensemble une superalgèbre, dont ils sont respectivement les parties paires et impaires. Il s'agit là d'une graduation différente de la graduation par degré.
  • Les algèbres de Clifford sont des superalgèbres. Elles sont généralement non commutatives.
  • L'ensemble de tous les endomorphismes (noté ou de manière équivalente ), composé de toutes les applications linéaires d'un super espace vectoriel, est une superalgèbre pour la composition.
  • L'ensemble des supermatrices carrées à entrées dans forme une superalgèbre notée . Cette algèbre peut être identifiée à l'algèbre des endomorphismes d'un supermodule libre sur de rang et est égal à l'ensemble des endomorphises ci-dessus.
  • Les superalgèbres de Lie sont un analogue gradué des algèbres de Lie. Les superalgèbres de Lie sont non unitaire et non associatives ; cependant, on peut construire l'analogue d'une algèbre enveloppante d'une superalgèbre de Lie qui est une superalgèbre unitaire et associative.

Définitions et constructions supplémentaires

Sous-algèbre paire

Soit une superalgèbre sur un anneau commutatif . Le sous-module , constitué des éléments pairs, est fermé par multiplication et contient l'identité de et forme donc une sous-algèbre de , naturellement appelée sous-algèbre paire. Elle forme une algèbre ordinaire sur .

L'ensemble de tous les éléments impairs est un '-bimodule dont la multiplication scalaire est juste la multiplication dans . Le produit dans munit d'une forme bilinéaire

telle que

pour tous . Cela provient de l'associativité du produit dans .

Involution de graduation

Il existe un automorphisme involutif canonique sur toute superalgèbre appelé involution de graduation . Elle est donnée sur des éléments homogènes par

et sur des éléments arbitraires par

où les sont les parties homogènes de . Si n'est pas de 2-torsion (en particulier, si 2 est inversible), alors l'involution de graduation peut être utilisée pour distinguer les parties paires et impaires de  :

Supercommutativité

Le supercommutateur sur est l'opérateur binaire défini par

pour des éléments homogènes, et étendu à tout par linéarité. On dit que les éléments et de supercommutent si .

Le supercentre de est l'ensemble des éléments de qui supercommutent avec tous les éléments de  :

Le supercentre de est, en général, différent du centre de en tant qu'algèbre non graduée. Une superalgèbre commutative est une superalgèbre dont le supercentre est tout entier.

Super produit tensoriel

Le produit tensoriel gradué de deux superalgèbres et peut être considéré comme une superalgèbre avec la multiplication déterminée par :

Si ou est purement pair, cela équivaut au produit tensoriel ordinaire non gradué (sauf que le résultat est gradué). Cependant, en général, le super produit tensoriel est différent du produit tensoriel de et considérés comme des algèbres ordinaires non graduées.

Généralisations et définition catégorielle

On peut facilement généraliser la définition des superalgèbres pour inclure les superalgèbres sur un superanneau commutatif. La définition donnée ci-dessus est alors une spécialisation au cas où l'anneau de base est purement pair.

Soit un superanneau commutatif. Une superalgèbre sur est un -supermodule avec une multiplication -bilinéaire qui respecte la graduation. La bilinéarité signifie ici que

pour tous éléments homogènes et .

De manière équivalente, on peut définir une superalgèbre sur comme un superanneau avec un homomorphisme de superanneau dont l'image est contenue dans le supercentre de .

On peut aussi définir les superalgèbres dans le cadre de la théorie des catégories . La catégorie de tous les -supermodules forme une catégorie monoïdale pour le super produit tensoriel avec servant d'objet unitaire. Une superalgèbre unitaire associative sur peut alors être définie comme un monoïde dans la catégorie des -supermodules. Autrement dit, une superalgèbre est un -supermodule avec deux morphismes (pairs)

pour lesquels les diagrammes usuels commutent.

Notes et références

Bibliographie

  • Pierre Deligne et John W. Morgan, « Notes on Supersymmetry (following Joseph Bernstein) », dans Quantum Fields and Strings: A Course for Mathematicians, vol. 1, American Mathematical Society, (ISBN 0-8218-2012-5), p. 41–97
  • Victor G. Kac, Consuelo Martinez et Efim Zelmanov, Graded simple Jordan superalgebras of growth one, vol. 711, AMS Bookstore, coll. « Memoirs of the AMS Series », (ISBN 978-0-8218-2645-4, lire en ligne)
  • Yuri Manin (trad. N. Koblitz et J. R. King), Gauge Field Theory and Complex Geometry, Berlin, Springer, coll. « Grundlehren der Mathematischen Wissenschaften » (no 289), , 2e éd., xii+346 (ISBN 3-540-61378-1, zbMATH 0884.53002).— avec une appendice de S. Merkulov
  • Veeravalli S. Varadarajan, Supersymmetry for Mathematicians: An Introduction, American Mathematical Society, coll. « Courant Lecture Notes in Mathematics » (no 11), , vi+ 300 (ISBN 978-0-8218-3574-6, présentation en ligne)

Articles liés

  • Portail des mathématiques
  • Portail de la physique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.