Courbe elliptique, fonction Weierstrass...
Pour $K = \mathbb{C}$ voici une construction de la fonction de Weierstrass $\wp$ qui montre un isomorphisme entre la courbe elliptique $E(K)= \{ (x,y)\in K^2, y^2=4x^3-ax-b\}$ et un tore $K/(\omega_1\mathbb{Z}+\omega_2 \mathbb{Z})$ :
Question : Est-il possible de généraliser cette "méthode transcendantale de résolution d'un problème algébrique" à un autre corps $K$ ? Je vois que l'analyse complexe ne se généralise pas bien aux autres corps, et que les fonctions analytiques ne se généralisent qu'aux corps normés. Mais j'ai du mal à imaginer pourquoi cette simple construction n'aurait aucune chance de se généraliser à d'autres corps d'une certaine manière.
Soit $4x^3-ax-b = 4(x-e_1)(x-e_2)(x-e_3) \in K[x]$ un polynôme cubique séparable. On pose $h'(x) = (4x^3-ax-b)^{-1/2}$ et $h(x) = \int h'(x)dx$ l'intégrale elliptique, et $\wp(z) = h^{-1}(z)$ sa fonction réciproque. Alors $\wp'(z) = \frac{1}{h'(\wp(z))}$ et $$\wp'(z)^2 = 4 \wp(z)^3 - a \wp(z) - b \tag{1}$$ Soit $\gamma$ un contour $x_0 \to x_0$ qui encercle une des racines $e_1$. Quand $h$ est continuée analytiquement sur $\gamma$, $h(\gamma(0))\ne h(\gamma(1))$ donc $h\circ \gamma$ est une courbe $z_0 \to z_0+\omega_1$ ( $z_0= h(x_0)$) et $0 =\int_\gamma dx = \int_{h \circ \gamma} d\wp(z) = \wp(z_0+\omega_1) -\wp(z_0)$.
$(1)$ implique $\wp'(z_0) = \pm \wp'(z_0+\omega_1)$ (si le signe est négatif on pourrait doubler $\omega_1$) donc on obtient $\wp(z_0)=\wp(z_0+\omega_1),\wp'(z_0) = \wp'(z_0+\omega_1)$ qui donne avec l'équation différentielle $(1)$ que $\wp$ est $\omega_1$-periodique. En refaisant la même chose avec un contour encerclant une autre racine on obtient une seconde période $\omega_2$ qui est $\mathbb{R}$-linéairement indépendante de $\omega_1$ (...) et donc $\wp$ est doublement $\omega_1,\omega_2$-périodique. À partir de ça, il n'est pas très difficile de montrer que ça donne un isomorphisme $\varphi : \mathbb{C}/(\omega_1\mathbb{Z}+\omega_2 \mathbb{Z}) \to E(\mathbb{C}), \ \ \varphi(z) = (\wp(z),\wp'(z))$.
Question : Est-il possible de généraliser cette "méthode transcendantale de résolution d'un problème algébrique" à un autre corps $K$ ? Je vois que l'analyse complexe ne se généralise pas bien aux autres corps, et que les fonctions analytiques ne se généralisent qu'aux corps normés. Mais j'ai du mal à imaginer pourquoi cette simple construction n'aurait aucune chance de se généraliser à d'autres corps d'une certaine manière.
Réponses
-
Voir ceci: https://en.m.wikipedia.org/wiki/Tate_curve
-
Et peut-être aussi le "principe de Lefschetz" qui dit vaguement que "ce qui est valable sur $\mathbb C$ en géométrie algébrique est valable sur tout corps alg. clos de caractéristique 0". https://mathoverflow.net/questions/90551/what-does-the-lefschetz-principle-in-algebraic-geometry-mean-exactly
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 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