En mathématiques, le problème de Schottky, du nom de Friedrich Schottky, est une question classique de géométrie algébrique, qui consiste à caractériser les variétés jacobiennes parmi les variétés abéliennes.

Plus précisément, on considère les courbes algébriques ${\displaystyle C}$ de genre ${\displaystyle g}$ donné et leurs jacobiennes ${\displaystyle \operatorname {Jac} (C)}$. On a un espace de modules ${\displaystyle {\mathcal {M}}_{g}}$ pour ces courbes, et un espace de modules ${\displaystyle {\mathcal {A}}_{g}}$ de variétés abéliennes (en) de dimension ${\displaystyle g}$ qui sont principalement polarisées. On dispose de plus d'un morphisme

${\displaystyle \operatorname {Jac} :{\mathcal {M}}_{g}\to {\mathcal {A}}_{g}}$

qui, au niveau des points (plus précisément des points géométriques) envoie la classe d'isomorphisme ${\displaystyle [C]}$ d'une courbe sur celle ${\displaystyle [\operatorname {Jac} (C)]}$ de sa jacobienne. Le théorème de Torelli (en) signifie que l'application ${\displaystyle \operatorname {Jac} }$ est injective (du moins, sur les points). Le problème de Schottky consiste à décrire l'image de ${\displaystyle \operatorname {Jac} }$, notée ${\displaystyle {\mathcal {J}}_{g}=\operatorname {Jac} ({\mathcal {M}}_{g})}$^[1].

La dimension de ${\displaystyle {\mathcal {M}}_{g}}$ est ${\displaystyle 3g-3}$^[2] pour ${\displaystyle g\geq 2}$, alors que celle de ${\displaystyle {\mathcal {A}}_{g}}$ est g(g + 1)/2. Cela signifie que les dimensions coïncident (0, 1, 3, 6) pour g = 0, 1, 2, 3. Ainsi, le cas ${\displaystyle g=4}$ est le premier pour lequel les dimensions diffèrent. Il a été étudié par F. Schottky dans les années 1880 : Schottky a utilisé les constantes thêta (en), qui sont des formes modulaires sur le demi-espace supérieur de Siegel (en), pour définir le lieu de Schottky dans ${\displaystyle {\mathcal {A}}_{g}}$. Une version plus précise du problème consiste à déterminer si l'image de ${\displaystyle \operatorname {Jac} }$ coïncide essentiellement avec le lieu de Schottky (autrement dit, si celui-ci y est dense pour la topologie de Zariski).

Toutes les courbes elliptiques sont leur propre jacobienne donc le champ algébrique des modules de courbes elliptiques (en) ${\displaystyle {\mathcal {M}}_{1,1}}$ est un modèle de ${\displaystyle {\mathcal {A}}_{1}}$.

Dans le cas des surfaces abéliennes, il y a deux types de variétés abéliennes^[3] : les jacobiennes d'une courbe de genre 2 et les produits de jacobiennes de courbes elliptiques. Cela signifie que les espaces de modules

${\displaystyle {\mathcal {M}}_{2}\ {\text{et}}\ {\mathcal {M}}_{1,1}\times {\mathcal {M}}_{1,1}}$

s'injectent dans ${\displaystyle {\mathcal {A}}_{2}}$. On a une description similaire en dimension 3 puisqu'une variété abélienne peut être un produit de jacobiennes.

Si l'on décrit l'espace des modules ${\displaystyle {\mathcal {A}}_{g}}$ en termes intuitifs comme l'ensemble des paramètres dont dépend une variété abélienne, le problème de Schottky consiste à demander à quelle condition sur les paramètres la variété abélienne provient de la jacobienne d'une courbe. Le cas classique, sur le corps des nombres complexes, a été le plus étudié, puisque alors une variété abélienne A n'est autre qu'un tore complexe (en) d'un type particulier, provenant d'un réseau de C^g. En termes relativement concrets, il s'agit de déterminer quels réseaux sont les réseaux des périodes des surfaces de Riemann compactes.

Attention, une matrice de Riemann n'a pas grand-chose à voir avec un tenseur de Riemann.

L'une des plus grandes réussites de Bernhard Riemann est sa théorie des tores complexes et des fonctions thêta. À l'aide de la fonction thêta éponyme, Riemann donne des conditions nécessaires et suffisantes pour que le tore correspondant à un réseau de C^g se plonge dans un espace projectif complexe (en). (L'interprétation a beau avoir été donnée plus tard par Solomon Lefschetz, la théorie de Riemann était définitive.) Les données sont codées dans ce qu'on appelle maintenant une matrice de Riemann. Ainsi, le problème de Schottky sur les complexes est de caractériser les matrices des périodes (en) des surfaces de Riemann compactes de genre g, formées en intégrant une base de l'espace des intégrales abéliennes sur une base du premier groupe d'homologie, parmi toutes les matrices de Riemann. Il a été résolu par Takahiro Shiota en 1986^[4].

Le problème a été attaqué par plusieurs approches géométriques et il a été mis en évidence que la question implique l'équation de Kadomtsev-Petviashvili, liée à la théorie des solitons.

• Espace des modules de variétés abéliennes (en)

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Schottky problem » (voir la liste des auteurs).

• Arnaud Beauville, « Le problème de Schottky et la conjecture de Novikov », Astérisque, séminaire Bourbaki n^o 152,‎ 1987, p. 101-112 (ISSN 0303-1179, MR 936851, lire en ligne)
• Olivier Debarre, « The Schottky problem: an update », dans Current topics in complex algebraic geometry (Berkeley, CA, 1992/93), vol. 28, Cambridge University Press, coll. « Math. Sci. Res. Inst. Publ. », 1995 (MR 1397058, lire en ligne), p. 57-64
• Samuel Grushevsky, « The Schottky problem », dans Lucia Caporaso, James McKernan, Mihnea Popa et Mircea Mustata, Current Developments in Algebraic Geometry, vol. 59, coll. « MSRI Publications », 2011 (ISBN 978-0-521-76825-2, lire en ligne)

(en) G. van der Geer, « Schottky problem », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

• Portail de l’algèbre
• Portail de la géométrie