On convex bodies with constant non-central sections

1. Énoncé du problème

L'article aborde une question fondamentale en tomographie géométrique connue sous le nom de conjecture de Barker–Larman. La conjecture demande si un corps convexe $C_1$ dans $\mathbb{R}^n$ est uniquement déterminé par les volumes de ses sections par des hyperplans tangents à la boule euclidienne unité $B_n$, à condition que $C_1$ contienne $B_n$.

Plus précisément, si $C_1$ et $C_2$ sont des corps convexes contenant $B_n$, et que pour tout hyperplan $H$ tangent à $B_n$, le volume $(n-1)$-dimensionnel des sections est égal ($|C_1 \cap H|_{n-1} = |C_2 \cap H|_{n-1}$), en découle-t-il que $C_1 = C_2$ ?

Bien que le problème soit résolu pour les sections centrales (hyperplans passant par l'origine) via la transformée de Radon, le cas non central reste largement ouvert. Les auteurs se concentrent sur un cas spécifique, hautement symétrique :

• Dimension : $n=4$.
• Symétrie : Le corps $C$ est un corps de révolution symétrique autour d'un axe.
• Condition : Le corps contient la boule unité $B_4$, et toutes les sections par des hyperplans tangents à $B_4$ ont une aire constante $A$.

La question centrale : Si un tel corps $C$ a une aire de section constante $A$, $C$ doit-il être une boule euclidienne ?

2. Méthodologie

Les auteurs emploient une approche multi-étapes combinant la géométrie convexe, le calcul et la théorie des nombres (spécifiquement l'approximation diophantienne et les fractions continues).

A. Réduction géométrique

1. Réduction dimensionnelle : Puisque $C$ est un corps de révolution dans $\mathbb{R}^4$, il est déterminé par son profil 2D $K$ dans le plan $\langle e_1, e_2 \rangle$. Le problème se réduit à déterminer si $K$ est un disque euclidien.
2. Équation d'aire : Les auteurs dérivent une équation intégrale reliant l'aire $A$ de la section 3D à la fonction de profil $f(x)$ de $K$. En différentiant cette équation par rapport à la pente $s$ de la droite tangente, ils éliminent la fonction $f$ et dérivent une relation polynomiale impliquant les points d'intersection de la droite tangente avec la frontière $\partial K$.
3. L'application « Point suivant » : Ils définissent une application $T_K$ qui prend un point $p$ sur la frontière de $K$ et le mappe au « prochain » point d'intersection de la droite tangente passant par $p$ avec $\partial K$. Pour une boule euclidienne $R B_2$, cette application est explicite. L'objectif est de montrer que si l'aire de section est constante, $T_K$ doit coïncider avec l'application d'une boule euclidienne.

B. Systèmes dynamiques et rotations irrationnelles

Les auteurs transforment le problème géométrique en un problème concernant les rotations irrationnelles sur un cercle.

1. Ils définissent un nombre de rotation $\gamma_A = \frac{1}{\pi} \arctan\left( (A/\omega_3)^{1/3} \right)$, où $\omega_3$ est le volume de la boule unité 3D.
2. Ils construisent une séquence de points $u_k$ sur le cercle $S_R$ (rayon $R$) générée par une rotation de l'angle $\pi \gamma_A$.
3. L'argument de l'intervalle rétrécissant : Ils définissent une séquence d'intervalles « interdits » $I_k$ sur le cercle qui rétrécissent vers un point lorsque $k \to \infty$. Ces intervalles représentent la plage d'angles où l'unicité géométrique du « point suivant » échoue (c'est-à-dire là où l'équation polynomiale pour le point d'intersection a plusieurs solutions valides).
4. Condition d'unicité : Ils prouvent que si l'orbite de la rotation $u_k$ ne tombe jamais dans les intervalles rétrécissants $I_k$, alors le profil $K$ doit être un disque euclidien.

C. Analyse arithmétique (Fractions continues)

La condition selon laquelle l'orbite évite les intervalles rétrécissants est une propriété arithmétique du nombre de rotation $\gamma_A$.

1. Les auteurs analysent le développement en fraction continue de $\gamma_A = [a_0, a_1, a_2, \dots]$.
2. Ils relient la vitesse de convergence de la rotation (la proximité de $u_k$ à la « zone de danger ») au taux de croissance des coefficients de la fraction continue $a_j$.
3. Ils établissent le Théorème 14, qui fournit un ensemble fini d'inégalités impliquant les coefficients $a_j$ garantissant que l'orbite évite les intervalles interdits pour tout $k$.
   • Plus précisément, ils exigent des conditions de parité spécifiques sur les coefficients (par exemple, $a_1=2$, $a_3$ impair, $a_k$ pair pour $k \ge 4$) pour s'assurer que les dénominateurs des convergents se comportent d'une manière permettant à l'induction de tenir.

3. Contributions et résultats clés

Théorème principal (Théorème 1)

Les auteurs prouvent qu'il existe un ensemble infini $\mathcal{A} \subset \mathbb{R}$ de dimension de Hausdorff positive tel que si l'aire de section constante $A \in \mathcal{A}$, alors tout corps convexe symétrique de révolution dans $\mathbb{R}^4$ contenant $B_4$ avec une aire de section constante $A$ est nécessairement une boule euclidienne.

L'ensemble $\mathcal{A}$

• Définition : $\mathcal{A}$ est composé de valeurs $A$ pour lesquelles le nombre de rotation associé $\gamma_A$ est irrationnel et satisfait les inégalités spécifiques de fraction continue dérivées dans le Théorème 14.
• Taille : L'ensemble $\mathcal{A}$ est non dénombrable et possède une dimension de Hausdorff positive.
• Exemples explicites : L'article fournit des exemples numériques explicites (par exemple, $A_0 \approx 81,58$) où les conditions sont vérifiées, prouvant que l'ensemble n'est pas vide.

Innovations techniques

• Réduction à l'arithmétique : L'article comble avec succès le fossé entre un problème d'unicité géométrique et les propriétés arithmétiques des nombres irrationnels, en utilisant spécifiquement la théorie des fractions continues pour contrôler la densité des orbites.
• Gestion des sections non centrales : Contrairement aux sections centrales où l'analyse de Fourier fonctionne, les sections non centrales nécessitent cette nouvelle approche par systèmes dynamiques pour gérer l'absence de symétrie dans la projection.

4. Signification et implications

• Progrès sur Barker-Larman : Il s'agit d'une étape significative vers la résolution de la conjecture de Barker-Larman en dimension 4. Bien que le cas général reste ouvert, ce résultat prouve l'unicité pour une grande classe de corps symétriques sous des conditions arithmétiques spécifiques sur le volume de section.
• Pont méthodologique : Ce travail démontre une nouvelle technique puissante pour la tomographie géométrique : traduire les contraintes géométriques en problèmes d'approximation diophantienne. Cela suggère que des paramètres « bizarres » (comme ceux du théorème d'Ungar mentionné dans l'introduction) jouent un rôle crucial dans les problèmes d'unicité.
• Dimension de Hausdorff vs mesure : Les auteurs montrent que l'ensemble des paramètres valides a une dimension de Hausdorff positive, mais laissent ouverte la question de savoir s'il possède une mesure de Lebesgue positive (Question 15). Cela met en lumière la nature délicate des conditions arithmétiques requises pour l'unicité.
• Hypothèse de symétrie : Les auteurs notent que l'hypothèse de symétrie n'est probablement pas essentielle au résultat, mais simplifie considérablement la preuve. La supprimer constituerait un défi majeur pour l'avenir.

Conclusion

Haddad et Ryabogin fournissent une preuve rigoureuse démontrant que dans $\mathbb{R}^4$, un corps de révolution symétrique avec une aire de section non centrale constante est une boule euclidienne, à condition que la valeur de l'aire satisfasse des conditions arithmétiques spécifiques liées au développement en fraction continue d'un nombre de rotation dérivé. Cela établit l'existence d'un ensemble « grand » (en termes de dimension) de telles valeurs, faisant passer la conjecture de Barker-Larman d'une question purement géométrique à une question profondément imbriquée avec la théorie des nombres.