Morphisme linéaire muni d'un Frobenius.

[Anonyme007]

Bonjour,

Soit un di-morphisme composé d'une application - linéaire où est un corps de nombres, et un Frobenius - semi-linéaire et bijectif, pour, un morphisme de corps. est le complété -adique de .

Que signifie que est surjectif en présence d'un Frobenius qui rend invariant ?

Merci d'avance.
-----

[ThM55]

Le fait que f soit surjective est une hypothèse indépendante, me semble-t-il. Non? En quoi cette invariance ou compatibilité rendrait-elle l'application surjective? Je ne vois pas.

[Anonyme007]

Bonjour,

Ce n'est pas qui est supposée être surjectif mais . Tu as raison, j'ai corrigé maintenant.

est définie comme suit :

L'image de tout élément par est invariante par .

Alors, que signifie que est surjectif ?

Merci d'avance.

[Anonyme007]

Donc, est surjectif







tel que,

Est ce que c'est ça ?

[A voir en vidéo sur Futura]

[Anonyme007]

Une autre question si je peux me permettre :
Pourquoi la donnée de s'identifie-t-elle à la donnée de ?
Merci d'avance.

[Anonyme007]

Bonjour,

J'ai demandé à Chatgpt de me fournir la réponse à ma dernière question, et voici ce que c'était sa réponse :

La donnée du di-morphisme s'identifie à , car l'ensemble des invariants est un sous-espace vectoriel sur le corps fixe par, permettant de reconstruire et de manière unique. La linéarité de et la semi-linéarité de garantissent la structure.

Identification des données : La structure sur le produit tensoriel définit un espace d'invariants . L'image , pour tout atterrit dans ce sous-espace car agit comme une "descente" vers un corps de base inférieur ou une structure fixe, rendant l'application - linéaire équivalente à une application à valeurs dans les invariants.

Structure de : est le sous-espace des éléments fixes du Frobenius , agissant comme un opérateur de descente galoisienne ou de type "Frobenius" (semi-linéaire).

Bijectivité : Comme est bijectif, la structure d'invariants est parfaitement définie, permettant de reconstruire (via la structure de ) et à partir de .

Cela revient à l'équivalence entre un espace muni d'un Frobenius et l'espace de ses points fixes, souvent utilisée dans la théorie des cristaux ou la descente galoisienne.

============================== ===========

Voila. Je n'ai pas saisi grand chose, car ce n'est pas assez détaillé. Est ce que vous pouvez me dire pourquoi la donnée de s'identifie-t-elle à la donnée de , en s'appuyant sur la réponse de Chatgpt ?

Merci d'avance.

[Anonyme007]

Voici une autre réponse de Chatgpt, reformulée autrement :

Cette identification repose sur la théorie de la descente fidèle plate (ou descente galoisienne dans ce contexte de corps), qui assure que l'on peut reconstruire un objet défini sur un corps de base à partir de sa version "déployée" munie d'une action de Frobenius.

Voici pourquoi ces deux données sont équivalentes :

1. De vers : Par définition, est la restriction de à la partie fixe de sous l'action de . Puisque est un Frobenius semi-linéaire bijectif, l'ensemble des points fixes définit une - structure de l'espace vectoriel, notée souvent . L'application est alors une application - linéaire classique.

2. De vers : Si vous disposez de , vous pouvez reconstruire l'espace total par extension des scalaires :. Le Frobenius est alors induit naturellement par l'action de \sigma sur le second facteur du produit tensoriel ( ).

3. L'identification : La donnée du couple contient une information de "recouvrement". Le Frobenius agit comme une donnée de descente. Il spécifie comment les éléments de l'espace complété doivent se comporter pour "redescendre" sur le corps de base. En vertu du théorème de descente, il y a une équivalence de catégories entre les espaces vectoriels munis d'un tel Frobenius et les espaces vectoriels sur le sous-corps des invariants.

En résumé, est simplement la forme descendue de sur le corps de base, et est l'opérateur qui permet d'identifier cette base au sein de l'espace étendu.

============================== ===============

Voila. Encore une fois, Chatgpt fournit une réponse floue qui n'a ni tête ni queue. Est ce que vous pouvez m'expliquer ce qui différencie de . Pourquoi et , c'est la même chose ?

Merci d'avance.