Algebraicity of exterior Cauchy transforms of algebraic ovals: a homological formulation

Résumé Technique : Algebraicité des transformations de Cauchy extérieures d'ovales algébriques

Énoncé du Problème
Le document étudie les conditions sous lesquelles la transformée de Cauchy extérieure d'un domaine borné $\Omega \subset \mathbb{C}$, dont la frontière $\Gamma = \partial \Omega$ est un ovale d'une courbe algébrique réelle, est une fonction algébrique. La transformée est définie par :
$$C_\Omega(z) = \frac{1}{\pi} \int_\Omega \frac{dA(\zeta)}{z - \zeta}, \quad z \in \mathbb{C} \setminus \Omega.$$
Cette question est distincte de, et plus faible que, le problème classique des domaines de quadrature, où la transformée est requise d'être rationnelle. Bien que la rationalité implique l'algebraicité, la réciproque n'est pas vraie (par exemple, l'ellipse possède une transformée algébrique mais non rationnelle). Les auteurs visent à caractériser quand $C_\Omega(z)$ est algébrique, particulièrement dans les cas où la courbe frontière possède un genre positif ou plusieurs composantes.

Méthodologie et Cadre Homologique
Les auteurs emploient une approche homologique ancrée dans la théorie des correspondances de Schwarz et des surfaces de Riemann.

1. Correspondance de Schwarz et Normalisation : Si la frontière $\Gamma$ repose sur une courbe algébrique réelle $P(z, \bar{z}) = 0$, les auteurs considèrent la courbe complexe $P(z, w) = 0$. Ils posent $X$ comme la normalisation de la composante irréductible pertinente de cette courbe. La frontière $\Gamma$ se relève en un contour $\gamma \subset X$. La transformée de Cauchy est exprimée comme une intégrale de bord sur $X$ :
   $$C_\Omega(z) = \frac{1}{2\pi i} \int_\gamma \frac{\eta d\pi}{z - \pi},$$
   où $\pi$ et $\eta$ sont des fonctions méromorphes sur $X$ induites par $z$ et $w$ (avec $\eta = \bar{\pi}$ sur le lieu réel).
2. Normalisation Fixe vs Pôles Mobiles : Une intuition méthodologique centrale est la distinction entre la variation de la surface et la variation de l'intégrande. La surface $X$ est fixe ; seul le diviseur des pôles $F_z = \pi^{-1}(z)$ varie avec $z$.
3. Analyse de la Monodromie : Les auteurs analysent la monodromie de l'intégrale lorsque $z$ se déplace. Ils soutiennent que la monodromie naturelle est de type « point-pushing » (monodromie de tressage) sur une surface ponctuée fixe. Crucialement, ils prouvent (Lemme 3.1) qu'après avoir comblé les ponctuations mobiles, cette monodromie agit trivialement sur l'homologie absolue $H_1(X, \mathbb{Z})$.
   • Implication : Le mécanisme habituel de transvection de Picard–Lefschetz, qui génère typiquement des comportements non algébriques via des cycles absolus dans des familles variables, ne s'applique pas ici. L'non-algebraicité ne peut être inférée simplement par l'existence d'une homologie absolue non triviale ; elle doit provenir de termes logarithmiques authentiques ou d'obstructions de périodes abéliennes spécifiques.

Contributions Clés et Résultats

1. Le Critère de Résidu pour l'Algebraicité
Le principal résultat positif est un critère basé sur les résidus (Théorème 4.1). La transformée de Cauchy extérieure est algébrique si la frontière relevée $\gamma$ est séparante sur la normalisation $X$.

• Définition : Un ovale relevé $\gamma$ est séparant s'il délimite une 2-chaîne intégrale $\Sigma$ sur $X$ (c'est-à-dire $[\gamma] = 0$ dans $H_1(X, \mathbb{Z})$).
• Mécanisme : Si $\gamma = \partial \Sigma$, l'intégrale peut être évaluée via le théorème des résidus sur la chaîne $\Sigma$. Le résultat est une somme finie de résidus aux pôles fixes du différentiel et aux pôles mobiles $\pi^{-1}(z)$. Puisque les résidus sont des fonctions algébriques de $z$, la somme est algébrique.
• Conséquences :
  • Courbes Rationnelles : Tout ovale lisse sur une courbe algébrique réelle rationnelle possède une transformée de Cauchy extérieure algébrique (Corollaire 4.4).
  • Courbes Divisibles : Si une courbe réelle est de Type I (divisible) et que le domaine est délimité par le lieu réel complet, la transformée est algébrique.
  • Genre Positif : Le genre positif n'est pas intrinsèquement un obstacle à l'algebraicité ; les ovales séparants en genre positif produisent des transformées algébriques.

2. Ovales Non-Séparants et Obstructions de Périodes
Pour les ovales non-séparants (où $[\gamma] \neq 0$), le théorème des résidus ne s'applique pas directement. Le document pose que l'algebraicité n'est pas garantie et est probablement non vérifiée de manière générique.

• L'Obstruction : Dans le cas non-séparant, l'intégrale peut contenir une composante de période abélienne non nulle qui ne peut être réduite à des résidus.
• Test du Rang de Période : Les auteurs proposent un « test du rang de période » (Section 6) pour détecter une potentielle non-algebraicité. Cela consiste à vérifier si la classe d'homologie de l'ovale est invisible pour le sous-espace des différentiels holomorphes générés par la famille $\eta \pi^n d\pi$. Si la classe n'est pas invisible, une contribution abélienne non algébrique est attendue.
• Conjectures :
  • Conjecture 6.2 : Les ovales séparants produisent des transformées algébriques ; les ovales non-séparants sont génériquement non algébriques.
  • Conjecture 6.4 : Pour une courbe plane réelle non singulière de degré pair $2k \ge 4$ possédant exactement un ovale réel, la transformée de Cauchy extérieure n'est pas algébrique. Ceci est dû au fait que de telles courbes sont nécessairement non-divisibles (Proposition 5.4), rendant l'ovale unique non-séparant.

3. Distinction par rapport aux Domaines de Quadrature
Le document clarifie la relation entre l'algebraicité et les domaines de quadrature.

• Les domaines de quadrature ont des transformées de Cauchy rationnelles.
• La classe des domaines ayant des transformées algébriques est strictement plus large.
• Les auteurs construisent des exemples conditionnels (Proposition 5.6, Corollaire 5.8) de domaines simplement connexes avec des frontières de genre positif qui possèdent des transformées algébriques (mais non rationnelles). Ce sont des exemples séparants qui se situent strictement en dehors de la classe des domaines de quadrature.

4. Exemples Spécifiques et Contre-Exemples

• Ellipse : Démontre une transformée algébrique (de degré 2) mais non rationnelle.
• Cubique Nodale : Montre que même sur une normalisation rationnelle, si le contour relevé n'est pas fermé (c'est-à-dire avec des extrémités relatives aux singularités), des termes logarithmiques survivent, rendant la transformée non algébrique.
• Cubique de Weierstrass Lisse : Sert de cas de test pour l'obstruction de période elliptique. La transformée se réduit à une intégrale elliptique impliquant des quasi-périodes ($\zeta$-fonctions). Les auteurs conjecturent que pour des cubiques lisses génériques, ces termes ne s'annulent pas algébriquement, résultant en une transformée non algébrique.

Signification et Revendications
Le document affirme fournir une « formulation homologique » qui corrige les malentendus précédents concernant le rôle de la monodromie de Picard–Lefschetz dans ce problème spécifique. En établissant que la normalisation est fixe, les auteurs déplacent l'attention de la monodromie topologique vers le statut homologique spécifique de la frontière relevée (séparante vs non-séparante).

• Résultat Positif : Les frontières séparantes (incluant tous les ovales rationnels et les lieux réels complets de courbes divisibles) garantissent l'algebraicité via une somme de résidus.
• Résultat Négatif (Conjectural) : Les frontières non-séparantes mènent généralement à des transformées non algébriques en raison de la survie de périodes abéliennes ou de termes logarithmiques, bien qu'une preuve rigoureuse pour tous les cas (spécifiquement pour les courbes planes lisses de degré $\ge 4$) demeure un problème ouvert.
• Nuance : Le document souligne que l'algebraicité est une propriété de la classe d'homologie du contour relevé spécifique par rapport au différentiel, et non simplement une propriété du genre de la courbe ou de l'existence d'une paramétrisation rationnelle.

Les auteurs concluent en présentant le cas non-séparant comme un programme de recherche, offrant le test du rang de période comme un outil pour isoler les potentielles contributions abéliennes, tout en reconnaissant que prouver la non-algebraicité nécessite de démontrer l'échec de la monodromie finie ou la persistance de termes logarithmiques/quasi-périodiques.