Le "Tate twist"
dans Algèbre
Bonsoir à tous
En théorie des cohomologies $ \ell $ - adiques, on définit pour $ m \in \mathbb{Z} $, le Tate twist $ ( \mathbb{Z} / n \mathbb{Z} ) (m) $ comme un faisceau sur $ X_{ \mathrm{et} } $, un schéma étale, défini comme suit,
$$ ( \mathbb{Z} / n \mathbb{Z} ) (m) : = \begin{cases} \mathbb{Z} / n \mathbb{Z} &\mathrm{si} \ \ m= 0 \\ ( \mu_n )^{ \otimes \ m }&\mathrm{si} \ \ m > 0 \\ \mathrm{Hom} ( ( \mu_n )^{ \otimes \ - m } , \mathbb{Z} / n \mathbb{Z} ) & \mathrm{si} \ \ m < 0 \end{cases}
$$ Pouvez-vous s'il vous plaît me dire comment peut-il être défini un morphisme (de groupes ?) $ f \in \mathrm{Hom} ( ( \mu_n )^{ \otimes \ - m } , \mathbb{Z} / n \mathbb{Z} ) $, surtout que, $ ( \mu_n )^{ \otimes \ - m } $ et $ \mathbb{Z} / n \mathbb{Z} $ sont incompatibles, surtout que le premier est sans torsion, et le second est de torsion ?
Je précise que, $ \mu_n $ est le groupe algébrique défini par $ \mu_n (R) = \{ \ t \in R \ | \ t^n = 1 \ \} $.
Merci d'avance.
En théorie des cohomologies $ \ell $ - adiques, on définit pour $ m \in \mathbb{Z} $, le Tate twist $ ( \mathbb{Z} / n \mathbb{Z} ) (m) $ comme un faisceau sur $ X_{ \mathrm{et} } $, un schéma étale, défini comme suit,
$$ ( \mathbb{Z} / n \mathbb{Z} ) (m) : = \begin{cases} \mathbb{Z} / n \mathbb{Z} &\mathrm{si} \ \ m= 0 \\ ( \mu_n )^{ \otimes \ m }&\mathrm{si} \ \ m > 0 \\ \mathrm{Hom} ( ( \mu_n )^{ \otimes \ - m } , \mathbb{Z} / n \mathbb{Z} ) & \mathrm{si} \ \ m < 0 \end{cases}
$$ Pouvez-vous s'il vous plaît me dire comment peut-il être défini un morphisme (de groupes ?) $ f \in \mathrm{Hom} ( ( \mu_n )^{ \otimes \ - m } , \mathbb{Z} / n \mathbb{Z} ) $, surtout que, $ ( \mu_n )^{ \otimes \ - m } $ et $ \mathbb{Z} / n \mathbb{Z} $ sont incompatibles, surtout que le premier est sans torsion, et le second est de torsion ?
Je précise que, $ \mu_n $ est le groupe algébrique défini par $ \mu_n (R) = \{ \ t \in R \ | \ t^n = 1 \ \} $.
Merci d'avance.
Réponses
-
Non, je suis un peu étourdi. En fait, meme $ \mu_n $ est de torsion. C'est évident. Je ne sais pas ce qui m'a pris.
Comment construit-on un morphisme de groupes, $ f \ : \ \mu_n \to \mathbb{Z} / n \mathbb{Z} $ ?
Merci d'avance.
Edit,
$ f $ est défini par la donnée de, $ f( a ) = 1 $, avec, $ \mu_n = \langle a \rangle = \{ \ e , a , \dots , a^{n-1} \ \} $. N'est ce pas ? -
Bonsoir.
Je pensais te donner une indication quand j'ai vu ton deuxième message, bien vu, l'évidence.
Au fait, $\mu_n$, c'est pas censé être le groupe des racines n ième de l'unité ?
Cordialement.Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
-
Bonsoir Dreamer,Dreamer, a écrit:Au fait, $\mu_n$, c'est pas censé être le groupe des racines n ième de l'unité ?
C'est ce que je me suis dit au début, mais, il semble que, $ \mu_n (R ) = \{ \ t \in R \ | \ t^n = 1 \ \} $ est un groupe cyclique engendré par un élément $ a $ de l'anneau $ R $, pour une loi $ \times $ notée multiplicativement, et de neutre noté aussi $ 1 $. -
Dans ce cas, je n'ai rien à ajouter.
Bonne continuation.Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
-
Salut,
Une remarque en passant : il me semble que $\mu_2(\mathbb{F}_3\times \mathbb{F_3})$ n'est pas un groupe cyclique ;-) -
-
Hello Pablo ! $2^2 = 1 [3]$
-
Oui, j'ai corrigé avant que tu ait posté @noobey. ;-)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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