Bases seminormales des algèbres de Hecke-Clifford cyclotomiques

Informations fondamentales

• ID de l'article: 2502.15170
• Titre: Bases seminormales des algèbres de Hecke-Clifford cyclotomiques
• Auteurs: Shuo Li (Beijing Institute of Technology), Lei Shi (Max-Planck-Institut für Mathematik)
• Classification: math.RT (Théorie des représentations), math.GR (Théorie des groupes)
• Date de soumission: 31 mars 2025 (version v3)
• Lien de l'article: https://arxiv.org/abs/2502.15170

Résumé

Cet article décrit l'action des générateurs standards sur certaines bases des modules simples des superalgèbres de Hecke-Clifford cyclotomiques semi-simples. En application, nous construisons explicitement l'ensemble complet des idempotents primitifs de ces algèbres et les bases seminormales.

Contexte et motivation de la recherche

Contexte du problème

1. Théorie des représentations projectives du groupe symétrique: Schur a introduit le revêtement double S̃ₙ du groupe symétrique Sₙ lors de l'étude de la théorie des représentations projectives, transformant l'étude des représentations projectives en théorie des représentations linéaires. Cela a conduit à l'étude de l'algèbre du groupe de rotation CS⁻ₙ.
2. Limitations de la théorie existante: Bien que les algèbres de Hecke cyclotomiques possèdent une « théorie cellulaire » bien développée, les algèbres de Hecke-Clifford cyclotomiques ne disposent pas de structure cellulaire correspondante en raison de l'absence de « bases cellulaires ».
3. Importance des bases seminormales: Dans EM, HM1, HM2, des bases cellulaires (graduées) ont été construites pour les algèbres de Hecke cyclotomiques et les algèbres de Hecke quiver cyclotomiques de type A et C via des déformations semi-simples et des bases seminormales.

Motivation de la recherche

Pour fournir une structure « cellulaire » aux algèbres de Hecke-Clifford cyclotomiques, il est naturel de considérer les déformations semi-simples et de construire les bases seminormales des algèbres de Hecke-Clifford cyclotomiques. Ceci constitue la motivation principale de ce travail.

Contributions principales

Les trois théorèmes principaux de cet article constituent les contributions fondamentales:

1. Théorème 1.1: Construction d'une K-base explicite pour le module simple D(λ) et formules explicites pour l'action des générateurs de H^f_c(n) sur cette base.
2. Théorème 1.2: Sous la condition de séparation P^•_n(q²,Q) ≠ 0, construction de l'ensemble complet des idempotents orthogonaux (super)primitifs et des idempotents centraux (super)primitifs de H^f_c(n).
3. Théorème 1.3: Construction de deux bases seminormales du bloc Bλ de H^f_c(n) et formules de multiplication pour les éléments de base.
4. Applications généralisées: Les résultats s'appliquent aux algèbres de Hecke-Clifford cyclotomiques générales H^f_c(n), aux algèbres de Hecke-Clifford H(n) et aux algèbres de Sergeev dans le cas dégénéré.

Détails de la méthode

Définition de la tâche

Étude de la théorie des représentations des superalgèbres de Hecke-Clifford cyclotomiques semi-simples H^f_c(n), en particulier:

• Construction de bases explicites pour les modules simples
• Détermination de l'action des générateurs standards
• Construction des idempotents primitifs
• Établissement de la théorie des bases seminormales

Cadre théorique

1. Structure algébrique

L'algèbre de Hecke-Clifford cyclotomique H^f_c(n) est définie par les générateurs et relations suivants:

• Générateurs pairs: T₁,...,Tₙ₋₁, X±₁,...,X±ₙ
• Générateurs impairs: C₁,...,Cₙ
• Satisfaisant des relations de superalgèbre spécifiques

2. Fondements combinatoires

Selon les différentes formes du polynôme f, correspondent différentes combinatoires:

• f = f^(0)_Q: correspondant à P^(0,m)_n = P^m_n (m-partitions)
• f = f^(s)_Q: correspondant à P^(s,m)_n (mélange de partitions strictes et m-partitions)
• f = f^(ss)_Q: correspondant à P^(ss,m)_n (mélange de deux partitions strictes et m-partitions)

3. Condition de séparation

La condition technique clé P^•_n(q²,Q) ≠ 0 assure la semi-simplicité de l'algèbre, ce qui équivaut à ce que pour tous λ ∈ P^(•,m)_n, la q-séquence du tableau standard t satisfasse la propriété de séparation.

Points d'innovation technique

1. Construction explicite des modules simples

• Utilisation de la théorie des représentations du sous-algèbre Aₙ de l'algèbre de Hecke-Clifford affine Hc(n)
• Construction de bases via la décomposition en idempotents de l'algèbre de Clifford Cₙ
• Établissement de la connexion entre le module simple D(λ) et les tableaux standards et représentations de l'algèbre de Clifford

2. Construction des idempotents primitifs

Pour T = (t, αt, βt) ∈ Tri₀(λ), définir:

FT = (Cᵅᵗγt(Cᵅᵗ)⁻¹) · ∏ᵏ⁼¹ⁿ ∏_{b∈B(k), b≠b₊(rest(k))} (X^{νβt(k)}_k - b)/(b₊(rest(k)) - b)

3. Double construction des bases seminormales

Fourniture de deux constructions de bases seminormales:

• Construction par « factorisation » en fixant w ∈ Std(λ)
• Construction directe via expressions réduites

Configuration expérimentale

Vérification théorique

Cet article est un travail purement théorique, principalement vérifié par:

1. Vérifications de cohérence: Vérification que les idempotents construits satisfont l'idempotence et l'orthogonalité
2. Calculs de dimension: Vérification que la dimension des bases construites correspond aux prédictions théoriques
3. Vérification des formules d'action: Confirmation de la correction des formules d'action des générateurs

Vérification des cas particuliers

• Lorsque f = x-1, H^f_c(n) dégénère en algèbre de Hecke-Clifford H(n)
• Lorsque q = 1, correspondant à l'algèbre de Sergeev Cₙ ⋊ CSₙ
• Vérification de la correction des résultats dans ces cas particuliers

Résultats expérimentaux

Résultats théoriques principaux

1. Structure des modules simples (Théorème 4.7)

D(λ) possède une K-base:

⊔_{t∈Std(λ)} {CᵝᵗCᵅᵗvt | βt ∈ Z₂([n]\Dt), αt ∈ Z₂(ODt)}

Formules d'action des générateurs:

• Xi · CᵝᵗCᵅᵗvt = b^{-νβt(i)}_{t,i} CᵝᵗCᵅᵗvt
• Formules détaillées d'action de Ci et Ti

2. Idempotents primitifs (Théorème 4.15)

• {FT | T ∈ Tri₀(P^{•,m}_n)} constituent l'ensemble complet des idempotents orthogonaux (super)primitifs
• {Fλ | λ ∈ P^{•,m}_n} constituent l'ensemble complet des idempotents centraux (super)primitifs

3. Formules de multiplication des bases seminormales

Pour le cas dλ = 0:

f^w_{S,T} f^w_{U,V} = δT,U c^w_T f^w_{S,V}

Pour le cas dλ = 1:

f^w_{S,Ta} f^w_{U,Vb} = δT₀,U (-1)^{|αt|>d(t,t^λ)(it)} c^w_T f^w_{S,Va+b}

Résultats d'application

1. Analyse des sous-algèbres

Construction et analyse de la chaîne de sous-algèbres suivante:

Z(H^f_c(n))₀ ⊂ G^f_n ⊂ P^f_n ⊂ C_{H^f_c(n)}(P^f_n) ⊂ A^f_n ⊂ H^f_c(n)

2. Action de l'anti-involution

Calcul de l'action de l'anti-involution * sur les bases seminormales, fournissant des formules de transformation explicites.

Travaux connexes

Développement historique

1. Travaux de Schur: Établissement de la connexion entre les représentations projectives du groupe symétrique et l'algèbre du groupe de rotation
2. Nazarov et al.: Développement de la théorie des représentations de l'algèbre de Sergeev
3. Jones-Nazarov: Étude des algèbres de Hecke-Clifford
4. Brundan-Kleshchev: Établissement de la théorie des algèbres de Hecke-Clifford cyclotomiques

Comparaison des méthodes existantes

• Avantages: Première théorie complète des bases seminormales pour les algèbres de Hecke-Clifford cyclotomiques
• Innovation: Méthodes de construction explicites et formules de calcul
• Généralisation: Traitement unifié des cas non dégénéré et dégénéré

Conclusions et discussion

Conclusions principales

1. Construction réussie des bases seminormales des algèbres de Hecke-Clifford cyclotomiques
2. Fourniture d'un ensemble complet d'idempotents primitifs
3. Établissement de connexions avec les algèbres de Hecke-Clifford et de Sergeev
4. Fondation pour la théorie future des « bases cellulaires »

Limitations

1. Exigence de la condition de séparation P^•_n(q²,Q) ≠ 0
2. Traitement uniquement du cas semi-simple
3. Théorie des bases cellulaires pas encore complètement établie

Directions futures

1. Développement de la théorie complète des bases cellulaires
2. Étude du cas non semi-simple
3. Exploration des connexions avec les superalgèbres de Hecke quiver
4. Application à l'étude des règles de branchement modulo

Évaluation approfondie

Avantages

1. Complétude théorique: Fourniture d'un cadre théorique complet de la construction fondamentale aux applications
2. Explicité des calculs: Toutes les constructions possèdent des formules et algorithmes explicites
3. Unité: Traitement unifié de plusieurs algèbres connexes
4. Innovation technique: Combinaison ingénieuse de la théorie des algèbres de Clifford et de Hecke

Insuffisances

1. Seuil technique élevé: Nécessite une formation approfondie en théorie algébrique des représentations
2. Complexité de calcul: Certaines formules sont relativement complexes, rendant les calculs pratiques difficiles
3. Portée d'application: Résultats principalement théoriques, applications pratiques limitées

Impact

1. Contribution théorique: Comble le vide dans la théorie des bases seminormales des algèbres de Hecke-Clifford cyclotomiques
2. Valeur méthodologique: Les techniques fournies peuvent être généralisées à d'autres superalgèbres
3. Recherches ultérieures: Fournit des outils importants pour la théorie des bases cellulaires et la théorie des représentations modulo

Domaines d'application

1. Recherche en théorie algébrique des représentations
2. Théorie des représentations du groupe symétrique et groupes connexes
3. Groupes quantiques et théorie de la catégorification
4. Théorie des fonctions symétriques en mathématiques combinatoires

Références bibliographiques

L'article contient 68 références bibliographiques, couvrant les travaux importants dans les domaines connexes de la théorie algébrique des représentations, des algèbres de Hecke et des algèbres de Clifford, reflétant la profondeur et l'ampleur de la recherche.

Évaluation générale: Cet article est un travail théorique de haute qualité en théorie algébrique des représentations, comblant un vide important dans la théorie des bases seminormales des algèbres de Hecke-Clifford cyclotomiques. Les techniques sont approfondies et les résultats complets, jouant un rôle important dans l'avancement du domaine.