Action d'un groupe de Grothendieck
dans Shtam
Bonjour à tous
Soit $ A $ une $ C^* $-algèbre.
Soit $ \mathrm{Aut} (A) $ le groupe des $ * $-automorphismes de $ A $ dans $ A $.
Soit $ U \mathrm{Rep} (A) $ le groupe de Grothendieck de la catégorie des classes d'équivalences des $ * $ - représentations unitaires de la $ C^* $-algèbre $ A $.
Est-ce qu'il est possible de définir une action du groupe $ U \mathrm{Rep} (A) $ sur $ A $ ?
Autrement dit, est-ce que l'action : $ U \mathrm{Rep} (A) \times A \to A ,$ où l'homomorphisme de groupes $ U \mathrm{Rep} (A) \to \mathrm{Aut} (A) $ existe ?
Merci d'avance.
Soit $ A $ une $ C^* $-algèbre.
Soit $ \mathrm{Aut} (A) $ le groupe des $ * $-automorphismes de $ A $ dans $ A $.
Soit $ U \mathrm{Rep} (A) $ le groupe de Grothendieck de la catégorie des classes d'équivalences des $ * $ - représentations unitaires de la $ C^* $-algèbre $ A $.
Est-ce qu'il est possible de définir une action du groupe $ U \mathrm{Rep} (A) $ sur $ A $ ?
Autrement dit, est-ce que l'action : $ U \mathrm{Rep} (A) \times A \to A ,$ où l'homomorphisme de groupes $ U \mathrm{Rep} (A) \to \mathrm{Aut} (A) $ existe ?
Merci d'avance.
Réponses
-
Oui, et il permet de résoudre le problème inverse de Galois, tout en montrant que la théorie de Galois est fausse.
-
Voir ce message.
-
Voici comment je compte résoudre ce problème,
Pour définir l'action $ \rho \ : \ \mathrm{URep} (A) \times A \to A $, il suffit de définir l'homomorphisme de groupes, $ \psi \ : \ \mathrm{URep} (A) \to \mathrm{Aut} (A) $.
Pour définir l'homomorphisme de groupes $ \psi \ : \ \mathrm{URep} (A) \to \mathrm{Aut} (A) $, il suffit de définir l'homomorphisme de groupes $ \psi \ : \ \mathrm{URep} (A) \to \mathrm{Aut} ( \mathrm{Aut} (A) ) $, en montrant en meme temps que $ \mathrm{Aut} ( \mathrm{Aut} (A) ) \cong \mathrm{Aut} (A) $.
D'où, définir l'action $ \rho \ : \ \mathrm{URep} (A) \times A \to A $ s'identifie à définir l'action $ \rho \ : \ \mathrm{URep} (A) \times \mathrm{Aut} (A) \to \mathrm{Aut} (A) $.
Pour définir l'action $ \rho \ : \ \mathrm{URep} (A) \times \mathrm{Aut} (A) \to \mathrm{Aut} (A) $, il suffit de choisir un point quelconque de $ A $, alors $ \rho = \rho_a $ est définie par, $ \rho_a ( \sigma , \varphi ) = \sigma (a) \circ \varphi \in \mathrm{Aut} (A) $, pour tout $ ( \sigma , \varphi ) \in \mathrm{URep} (A) \times \mathrm{Aut} (A) $.
Il reste à montrer que, $ \mathrm{Aut} ( \mathrm{Aut} (A) ) \cong \mathrm{Aut} (A) $.
Qu'est ce que vous pensez ?
Merci d'avance. -
Et pour montrer que, $ \mathrm{Aut} (\mathrm{Aut} (A)) \cong \mathrm{Aut} (A) $, on applique le théorème de Cayley qu'on trouve en théorie des groupes.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 26
+19 Invités