Problèmes de Cousin
En mathématiques, les problèmes de Cousin sont deux questions d'analyse complexe à plusieurs variables, concernant l'existence de fonctions méromorphes globales étant donné des expressions locales. Ils ont été introduits dans des cas particuliers par Pierre Cousin en 1895. Ils sont maintenant posés et résolus, pour toute variété complexe M, en termes de conditions sur M.
Pour les deux problèmes, on se donne un recouvrement ouvert de M par des ensembles Ui, ainsi qu'une fonction méromorphe fi sur chaque Ui.
Premier problème de Cousin
On suppose que chaque différence est une fonction holomorphe, là où elle est définie, c'est-à-dire sur l'intersection de Ui et Uj. Existe-t-il une fonction méromorphe f sur M telle que est holomorphe sur Ui ? En d’autres termes, f partage-t-elle le comportement singulier de la fonction locale donnée ? La condition donnée sur le est nécessaire ; le problème revient donc à se demander si c'est suffisant. Le cas d'une variable est le théorème de Mittag-Leffler, lorsque M est un ouvert du plan complexe. La théorie des surfaces de Riemann montre qu'une certaine restriction sur M sera nécessaire. Le problème peut toujours être résolu sur une variété de Stein.
Le premier problème Cousin admet une interprétation en termes de cohomologie de faisceau. Soit K le faisceau des fonctions méromorphes et O le faisceau des fonctions holomorphes sur M. Une section globale de K passe à une section globale du faisceau quotient K/O. La question inverse est le premier problème de Cousin : étant donné une section globale de K/O, existe-t-il une section globale de K dont elle est l'image ? Le problème est donc de caractériser l'image de l'application
Par la suite exacte de cohomologie,
le premier problème de Cousin admet une solution à condition que le premier groupe de cohomologie H1(M, O) s'annule. En particulier, d'après le théorème de Cartan B, le problème de Cousin est toujours résoluble si M est une variété de Stein.
Second problème de Cousin
On suppose que chaque quotient est une fonction holomorphe ne s'annulant pas sur l'intersection de Ui et Uj. Existe-t-il une fonction méromorphe f sur M telle que chaque quotient soit holomorphe et ne s'annule pas ? Le deuxième problème de Cousin est une généralisation multidimensionnelle du théorème de Weierstrass sur l'existence de fonctions holomorphes d'une variable complexe avec zéros prescrits.
L'attaque de ce problème au moyen du logarithme, pour le réduire au problème additif, se heurte à un obstacle sous la forme de la première classe de Chern. En termes de théorie des faisceaux, on considère le faisceau des fonctions holomorphes qui ne s'annulent pas, et le faisceau de fonctions méromorphes qui ne sont pas identiquement nulles. Ce sont alors tous deux des faisceaux en groupes abéliens, et le faisceau quotient est bien défini. Le problème multiplicatif de Cousin cherche alors à identifier l'image de l'application quotient
- .
La suite exacte longue de cohomologie associée est
donc le deuxième problème de Cousin peut être résolu à condition que Le faisceau quotient est le faisceau de germes des diviseurs de Cartier sur M. La question de savoir si chaque section globale est générée par une fonction méromorphe équivaut donc à déterminer si chaque fibré de droites sur M est trivial.
Le groupe de cohomologie pour la structure multiplicative sur peut être comparé au groupe de cohomologie avec sa structure additive en prenant un logarithme. Autrement dit, il existe une séquence exacte de faisceaux
où le faisceau de gauche est localement constant de fibre . L'obstacle à la définition d'un logarithme au niveau de H 1 réside dans , à partir de la suite exacte longue
- .
Lorsque M est une variété Stein, la flèche du milieu est un isomorphisme car pour de sorte qu'une condition nécessaire et suffisante dans ce cas pour que le problème du second cousin soit toujours résoluble est que .
Article connexe
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cousin problems » (voir la liste des auteurs).
- Henri Cartan, « Idéaux et modules de fonctions analytiques de variables complexes », Bulletin de la Société Mathématique de France, vol. 2, , p. 29–64 (DOI 10.24033/bsmf.1409
)
- (en) « Problèmes de Cousin », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, (ISBN 978-1556080104, lire en ligne).
- P. Cousin, Sur les fonctions de n variables, vol. 19, , 1–62 p. (DOI 10.1007/BF02402869
, lire en ligne).
- Sin Hitotumatu, « Cousin problems for ideals and the domain of regularity », Kodai Mathematical Seminar Reports, vol. 3, nos 1–2, , p. 26–32 (DOI 10.2996/kmj/1138843066)
- Kiyoshi Oka, « Sur les fonctions analytiques de plusieurs variables. I. Domaines convexes par rapport aux fonctions rationnelles », Journal of Science of the Hiroshima University, vol. 6, , p. 245–255 (DOI 10.32917/hmj/1558749869
)
- Kiyoshi Oka, « Sur les fonctions analytiques de plusieurs variables. II–Domaines d'holomorphie », Journal of Science of the Hiroshima University, vol. 7, , p. 115–130 (DOI 10.32917/hmj/1558576819
)
- Kiyoshi Oka, « Sur les fonctions analytiques de plusieurs variables. III–Deuxième problème de Cousin », Journal of Science of the Hiroshima University, vol. 9, , p. 7–19 (DOI 10.32917/hmj/1558490525
)
- Robert C. Gunning et Hugo Rossi, Analytic Functions of Several Complex Variables, Prentice Hall, .
- Renaud Chorlay, « From Problems to Structures: the Cousin Problems and the Emergence of the Sheaf Concept », Archive for History of Exact Sciences, vol. 64, no 1, , p. 1–73 (DOI 10.1007/s00407-009-0052-3, JSTOR 41342411, S2CID 73633995)
Portail des mathématiques