2025-11-16T20:46:12.362257

Schur multiplier and Schur covers of relative Rota-Baxter groups

Belwal, Rathee, Singh
Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of the Hochschild-Serre exact sequence for central extensions of relative Rota-Baxter groups. We introduce the Schur multiplier $M_{RRB}(\mathcal{A})$ of a relative Rota-Baxter group $\mathcal{A} =(A,B,β,T)$, and prove that the exponent of $M_{RRB}(\mathcal{A})$ divides $|A||B|$ when $\mathcal{A}$ is finite. We define weak isoclinism of relative Rota-Baxter groups, introduce their Schur covers, and prove that any two Schur covers of a finite bijective relative Rota-Baxter group are weakly isoclinic. The results align with recent results of Letourmy and Vendramin for skew left braces.
academic

Multiplicateur de Schur et revêtements de Schur des groupes de Rota-Baxter relatifs

Informations fondamentales

  • ID de l'article: 2311.12384
  • Titre: Schur multiplier and Schur covers of relative Rota-Baxter groups
  • Auteurs: Pragya Belwal, Nishant Rathee, Mahender Singh
  • Classification: math.QA (Algèbre Quantique), math.GR (Théorie des Groupes)
  • Date de publication: 21 novembre 2023 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2311.12384

Résumé

Cet article étudie le multiplicateur de Schur et les revêtements de Schur des groupes de Rota-Baxter relatifs. Les groupes de Rota-Baxter relatifs constituent une généralisation des groupes de Rota-Baxter et entretiennent des liens étroits avec les crochets gauches asymétriques (skew left braces), structures qui jouent un rôle important dans les solutions ensemblistes bijectifs non dégénérés de l'équation de Yang-Baxter. En s'appuyant sur la théorie des extensions récemment introduite pour les groupes de Rota-Baxter relatifs et la cohomologie de basse dimension, l'article établit des résultats analogues à la suite exacte de Hochschild-Serre pour les extensions centrales de groupes de Rota-Baxter relatifs, introduit le multiplicateur de Schur MRRB(A)M_{RRB}(\mathcal{A}) pour un groupe de Rota-Baxter relatif A=(A,B,β,T)\mathcal{A} = (A,B,β,T), et démontre que lorsque A\mathcal{A} est fini, l'exposant de MRRB(A)M_{RRB}(\mathcal{A}) divise AB|A||B|.

Contexte et motivation de la recherche

Contexte du problème

  1. Solutions ensemblistes de l'équation de Yang-Baxter: L'équation de Yang-Baxter est une équation fondamentale en physique mathématique, et la classification de ses solutions ensemblistes est un problème important posé par Drinfel'd. Les groupes de Rota-Baxter relatifs et les crochets gauches asymétriques fournissent des structures algébriques essentielles pour ces solutions.
  2. Théorie des extensions de structures algébriques: En théorie classique des groupes, le multiplicateur de Schur et les revêtements de Schur sont des outils importants pour étudier les extensions centrales des groupes. L'extension de ces concepts aux groupes de Rota-Baxter relatifs constitue un développement naturel et important.
  3. Développement de la théorie cohomologique: La théorie cohomologique des groupes de Rota-Baxter relatifs vient d'être établie et nécessite un développement ultérieur de sa théorie profonde, en particulier les connexions avec la cohomologie classique des groupes.

Motivation de la recherche

  1. Perfectionnement théorique: Établir la théorie de Schur pour les groupes de Rota-Baxter relatifs et perfectionner leur théorie de structure algébrique
  2. Cadre unifié: Unifier la théorie des groupes et la théorie des crochets gauches asymétriques dans le cadre des groupes de Rota-Baxter relatifs
  3. Extension des applications: Fournir de nouveaux outils algébriques pour l'étude des solutions de l'équation de Yang-Baxter

Contributions principales

  1. Établissement de la suite exacte de Hochschild-Serre: Démonstration de la suite exacte de Hochschild-Serre pour les extensions centrales de groupes de Rota-Baxter relatifs (Théorème 4.2)
  2. Introduction du concept de multiplicateur de Schur: Définition du multiplicateur de Schur MRRB(A)M_{RRB}(\mathcal{A}) pour les groupes de Rota-Baxter relatifs et démonstration de ses propriétés d'exposant (Théorème 5.2)
  3. Établissement du concept d'isoclinie faible: Introduction du concept d'isoclinie faible (weak isoclinism) pour les groupes de Rota-Baxter relatifs, généralisant la théorie classique d'isoclinie
  4. Construction des revêtements de Schur: Définition et construction des revêtements de Schur pour les groupes de Rota-Baxter relatifs, démonstration des résultats d'existence et d'unicité
  5. Unification théorique: Unification des résultats avec les résultats récents de Letourmy et Vendramin concernant les crochets gauches asymétriques

Détail des méthodes

Concepts et définitions fondamentaux

Groupes de Rota-Baxter relatifs

Un groupe de Rota-Baxter relatif est un quadruplet (H,G,φ,R)(H,G,φ,R) où:

  • HH, GG sont des groupes
  • φ:GAut(H)φ: G → \text{Aut}(H) est un homomorphisme de groupes
  • R:HGR: H → G est une application satisfaisant la condition de Rota-Baxter relative: R(h1)R(h2)=R(h1φR(h1)(h2))R(h_1)R(h_2) = R(h_1φ_{R(h_1)}(h_2))

Théorie cohomologique

L'article s'appuie sur les travaux antérieurs des auteurs 3, utilisant le groupe de cohomologie de degré deux HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K}) pour classifier les extensions centrales, où les 2-cocycles sont composés de quadruplets (τ1,τ2,ρ,χ)(τ_1, τ_2, ρ, χ) satisfaisant des conditions de compatibilité.

Méthodes techniques principales

1. Suite exacte de Hochschild-Serre

Pour une extension centrale: 1(K,L,α,S)(H,G,φ,R)(A,B,β,T)11 → (K,L,α,S) → (H,G,φ,R) → (A,B,β,T) → 1

Construction de la suite exacte: 1HomRRB(A,M)HomRRB(H,M)HomRRB(K,M)HRRB2(A,M)HRRB2(H,M)1 → \text{Hom}_{RRB}(A,M) → \text{Hom}_{RRB}(H,M) → \text{Hom}_{RRB}(K,M) → H^2_{RRB}(A,M) → H^2_{RRB}(H,M)

2. Construction du multiplicateur de Schur

Définition du multiplicateur de Schur comme: MRRB(A)=HRRB2(A,C)M_{RRB}(\mathcal{A}) = H^2_{RRB}(\mathcal{A}, \mathcal{C})C=(C×,C×,α0,S0)\mathcal{C} = (C^×, C^×, α^0, S^0) est le groupe de Rota-Baxter relatif trivial.

3. Démonstration de la borne d'exposant

Par la construction de 2-cocycles spéciaux et l'utilisation des propriétés des groupes finis, démonstration que: exp(MRRB(A))AB\exp(M_{RRB}(\mathcal{A})) \mid |A||B|

La technique clé consiste à construire les applications A(x)=aAτ1(x,a)A(x) = \prod_{a∈A} τ_1(x,a) et B(y)=bBτ2(y,b)B(y) = \prod_{b∈B} τ_2(y,b), puis à démontrer l'existence de θ1:AC×θ_1: A → C^× et θ2:BC×θ_2: B → C^× satisfaisant les relations de cobord correspondantes.

Résultats principaux

Théorème 5.2 (Borne d'exposant du multiplicateur de Schur)

Si A=(A,B,β,T)\mathcal{A} = (A,B,β,T) est un groupe de Rota-Baxter relatif fini, alors l'exposant de MRRB(A)M_{RRB}(\mathcal{A}) divise AB|A||B|.

Théorème 5.7 (Existence des revêtements de Schur)

Tout groupe de Rota-Baxter relatif fini possède au moins une extension centrale telle que l'application de transgression correspondante soit un isomorphisme.

Théorème 6.7 (Isoclinie faible)

Soit A\mathcal{A} un groupe de Rota-Baxter relatif fini. Si les applications de transgression de deux extensions centrales sont toutes deux des isomorphismes, alors les groupes d'extension correspondants sont faiblement isoclines.

Corollaires 6.11 et 6.12 (Propriétés des revêtements de Schur)

  • Tout groupe de Rota-Baxter relatif bijectif fini possède au moins un revêtement de Schur
  • Deux revêtements de Schur quelconques sont faiblement isoclines

Points d'innovation technique

1. Théorie cohomologique multi-niveaux

L'article établit les connexions entre trois niveaux de théorie cohomologique:

  • Cohomologie des groupes HGp2(A,K)H^2_{Gp}(A,K)
  • Cohomologie des crochets gauches asymétriques HSLB2(M,I)H^2_{SLB}(M,I)
  • Cohomologie des groupes de Rota-Baxter relatifs HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K})

2. Introduction du concept d'isoclinie faible

Contrairement au concept classique d'isoclinie, l'isoclinie faible permet des conditions d'isomorphisme plus flexibles, particulièrement adaptées aux caractéristiques structurelles des groupes de Rota-Baxter relatifs.

3. Cadre théorique unifié

Par le foncteur AAT\mathcal{A} ↦ \mathcal{A}_T (crochet gauche asymétrique induit), unification de la théorie des groupes de Rota-Baxter relatifs avec la théorie des crochets gauches asymétriques.

Travaux connexes

Fondements de la théorie classique des groupes

  • Travaux classiques de Schur 16,17 établissant la théorie du multiplicateur de Schur des groupes
  • Théorie cohomologique des groupes de Brown 4 et Passi et al. 13

Développements récents

  • Théorie d'isoclinie et revêtements de Schur des crochets gauches asymétriques par Letourmy et Vendramin 11,12
  • Travaux sur les groupes de Rota-Baxter par Bardakov et Gubarev 1,2
  • Travaux antérieurs des auteurs 3 établissant la théorie des extensions des groupes de Rota-Baxter relatifs

Conclusions et discussion

Conclusions principales

  1. Établissement réussi de la théorie de Schur pour les groupes de Rota-Baxter relatifs, incluant le multiplicateur de Schur et les revêtements de Schur
  2. Démonstration des propriétés fondamentales dans le cas fini, telles que les bornes d'exposant et les théorèmes d'existence
  3. Établissement de connexions profondes avec la théorie des crochets gauches asymétriques, vérifiant la cohérence théorique

Limitations

  1. Les résultats principaux se concentrent sur le cas fini; le cas des groupes infinis nécessite une recherche ultérieure
  2. L'isoclinie faible n'est pas une relation d'équivalence; la structure théorique n'est pas aussi complète que l'isoclinie classique
  3. Les exemples de calculs concrets sont peu nombreux; les applications pratiques nécessitent un développement ultérieur

Directions futures

  1. Étude de la théorie de Schur pour les groupes de Rota-Baxter relatifs infinis
  2. Développement d'une théorie de classification plus fine
  3. Exploration des connexions concrètes avec les solutions de l'équation de Yang-Baxter
  4. Étude des propriétés de la cohomologie de dimension supérieure

Évaluation approfondie

Points forts

  1. Profondeur théorique: Établissement d'un cadre complet de théorie de Schur avec un traitement technique sophistiqué
  2. Unification: Unification réussie de la théorie des groupes, des crochets gauches asymétriques et des groupes de Rota-Baxter relatifs
  3. Innovativité: L'introduction du concept d'isoclinie faible résout les difficultés techniques
  4. Complétude: Système théorique complet, des définitions fondamentales aux résultats profonds

Insuffisances

  1. Complexité computationnelle: Les méthodes de calcul concret du multiplicateur de Schur ne sont pas suffisamment explicites
  2. Orientation applicative: Les connexions concrètes avec l'équation de Yang-Baxter nécessitent un renforcement
  3. Manque d'exemples: Absence d'exemples non triviaux concrets pour illustrer la puissance de la théorie

Impact

  1. Contribution théorique: Établissement de fondations importantes pour la théorie des groupes de Rota-Baxter relatifs
  2. Méthodologie: Fourniture d'un paradigme pour l'étude de nouvelles structures algébriques
  3. Connectivité: Renforcement des connexions entre différentes branches des mathématiques

Domaines d'application

  1. Étude des groupes quantiques et de l'équation de Yang-Baxter
  2. Problèmes de classification de structures algébriques
  3. Recherche sur les applications de la théorie cohomologique

Références bibliographiques

L'article cite 29 références importantes couvrant plusieurs domaines incluant la théorie des groupes, la théorie cohomologique, les opérateurs de Rota-Baxter et les crochets gauches asymétriques, reflétant une base de recherche large et une nature avant-gardiste.


Évaluation globale: Cet article est un travail mathématique théorique de haute qualité qui établit des fondations théoriques importantes dans le domaine émergent des groupes de Rota-Baxter relatifs. Le traitement technique est sophistiqué, les résultats sont profonds, et il pose des bases solides pour le développement ultérieur du domaine. Bien qu'il y ait de la place pour l'amélioration dans les applications concrètes et les calculs, les contributions théoriques sont significatives.