On convex bodies with constant non-central sections

1. Formulação do Problema

O artigo aborda uma questão fundamental na tomografia geométrica conhecida como conjectura de Barker–Larman. A conjectura pergunta se um corpo convexo $C_1$ em $\mathbb{R}^n$ é unicamente determinado pelos volumes de suas seções por hiperplanos tangentes à bola euclidiana unitária $B_n$, desde que $C_1$ contenha $B_n$.

Especificamente, se $C_1$ e $C_2$ são corpos convexos contendo $B_n$, e para todo hiperplano $H$ tangente a $B_n$, o volume $(n-1)$-dimensional das seções é igual ($|C_1 \cap H|_{n-1} = |C_2 \cap H|_{n-1}$), segue-se que $C_1 = C_2$?

Embora o problema esteja resolvido para seções centrais (hiperplanos passando pela origem) via a transformada de Radon, o caso não central permanece amplamente em aberto. Os autores focam em um caso específico e altamente simétrico:

• Dimensão: $n=4$.
• Simetria: O corpo $C$ é um corpo de revolução simétrico em torno de um eixo.
• Condição: O corpo contém a bola unitária $B_4$, e todas as seções por hiperplanos tangentes a $B_4$ possuem uma área constante $A$.

A Questão Central: Se tal corpo $C$ possui área de seção constante $A$, deve $C$ ser uma bola euclidiana?

2. Metodologia

Os autores empregam uma abordagem multietapa combinando geometria convexa, cálculo e teoria dos números (especificamente aproximação diofantina e frações contínuas).

A. Redução Geométrica

1. Redução Dimensional: Como $C$ é um corpo de revolução em $\mathbb{R}^4$, ele é determinado pelo seu perfil 2D $K$ no plano $\langle e_1, e_2 \rangle$. O problema reduz-se a determinar se $K$ é um disco euclidiano.
2. Equação de Área: Os autores derivam uma equação integral relacionando a área $A$ da seção 3D à função perfil $f(x)$ de $K$. Ao diferenciar esta equação em relação à inclinação $s$ da linha tangente, eles eliminam a função $f$ e derivam uma relação polinomial envolvendo os pontos de interseção da linha tangente com a fronteira $\partial K$.
3. O Mapa "Próximo Ponto": Eles definem um mapa $T_K$ que leva um ponto $p$ na fronteira de $K$ e o mapeia para o "próximo" ponto de interseção da linha tangente passando por $p$ com $\partial K$. Para uma bola euclidiana $R B_2$, este mapa é explícito. O objetivo é mostrar que, se a área da seção for constante, $T_K$ deve coincidir com o mapa de uma bola euclidiana.

B. Sistemas Dinâmicos e Rotações Irracionais

Os autores transformam o problema geométrico em um problema sobre rotações irracionais em um círculo.

1. Eles definem um número de rotação $\gamma_A = \frac{1}{\pi} \arctan\left( (A/\omega_3)^{1/3} \right)$, onde $\omega_3$ é o volume da bola unitária 3D.
2. Eles constroem uma sequência de pontos $u_k$ no círculo $S_R$ (raio $R$) gerada pela rotação pelo ângulo $\pi \gamma_A$.
3. O Argumento do Intervalo Encolhendo: Eles definem uma sequência de intervalos "proibidos" $I_k$ no círculo que encolhem para um ponto à medida que $k \to \infty$. Esses intervalos representam a faixa de ângulos onde a unicidade geométrica do "próximo ponto" falha (ou seja, onde a equação polinomial para o ponto de interseção possui múltiplas soluções válidas).
4. Condição de Unicidade: Eles provam que, se a órbita da rotação $u_k **nunca cair nos intervalos encolhendo**$I_k$, então o perfil $K$ deve ser um disco euclidiano.

C. Análise Aritmética (Frações Contínuas)

A condição de que a órbita evite os intervalos encolhendo é uma propriedade aritmética do número de rotação $\gamma_A$.

1. Os autores analisam a expansão em fração contínua de $\gamma_A = [a_0, a_1, a_2, \dots]$.
2. Eles relacionam a velocidade de convergência da rotação (quão perto $u_k$ chega da "zona de perigo") à taxa de crescimento dos coeficientes da fração contínua $a_j$.
3. Eles estabelecem o Teorema 14, que fornece um conjunto finito de desigualdades envolvendo os coeficientes $a_j$ que garantem que a órbita evite os intervalos proibidos para todo $k$.
   • Especificamente, eles exigem condições de paridade específicas nos coeficientes (por exemplo, $a_1=2$, $a_3$ ímpar, $a_k$ par para $k \ge 4$) para garantir que os denominadores dos convergentes se comportem de maneira a permitir que a indução se mantenha.

3. Contribuições e Resultados Chave

Teorema Principal (Teorema 1)

Os autores provam que existe um conjunto infinito $\mathcal{A} \subset \mathbb{R}$ de dimensão de Hausdorff positiva tal que, se a área de seção constante $A \in \mathcal{A}$, então qualquer corpo convexo simétrico de revolução em $\mathbb{R}^4$ contendo $B_4$ com área de seção constante $A$ é necessariamente uma bola euclidiana.

O Conjunto $\mathcal{A}$

• Definição: $\mathcal{A}$ consiste em valores $A$ para os quais o número de rotação associado $\gamma_A$ é irracional e satisfaz as desigualdades específicas de fração contínua derivadas no Teorema 14.
• Tamanho: O conjunto $\mathcal{A}$ é não enumerável e possui dimensão de Hausdorff positiva.
• Exemplos Explícitos: O artigo fornece exemplos numéricos explícitos (por exemplo, $A_0 \approx 81.58$) onde as condições são verificadas, provando que o conjunto não é vazio.

Inovações Técnicas

• Redução à Aritmética: O artigo conecta com sucesso um problema de unicidade geométrica com as propriedades aritméticas de números irracionais, utilizando especificamente a teoria das frações contínuas para controlar a densidade das órbitas.
• Tratamento de Seções Não Centrais: Diferentemente das seções centrais, onde a análise de Fourier funciona, as seções não centrais exigem esta abordagem inovadora de sistemas dinâmicos para lidar com a falta de simetria na projeção.

4. Significado e Implicações

• Progresso na Conjectura de Barker-Larman: Este é um passo significativo em direção à resolução da conjectura de Barker-Larman na dimensão 4. Embora o caso geral permaneça em aberto, este resultado prova a unicidade para uma grande classe de corpos simétricos sob condições aritméticas específicas no volume da seção.
• Ponte Metodológica: O trabalho demonstra uma nova técnica poderosa para a tomografia geométrica: traduzir restrições geométricas em problemas de aproximação diofantina. Isso sugere que parâmetros "estranhos" (como os no teorema de Ungar mencionado na introdução) desempenham um papel crucial em problemas de unicidade.
• Dimensão de Hausdorff vs. Medida: Os autores mostram que o conjunto de parâmetros válidos possui dimensão de Hausdorff positiva, mas deixam em aberto a questão de se possui medida de Lebesgue positiva (Questão 15). Isso destaca a natureza delicada das condições aritméticas requeridas para a unicidade.
• Suposição de Simetria: Os autores observam que a suposição de simetria provavelmente não é essencial para o resultado, mas simplifica significativamente a prova. Removê-la seria um grande desafio futuro.

Conclusão

Haddad e Ryabogin fornecem uma prova rigorosa de que em $\mathbb{R}^4$, um corpo simétrico de revolução com área de seção não central constante é uma bola euclidiana, desde que o valor da área satisfaça condições aritméticas específicas relacionadas à expansão em fração contínua de um número de rotação derivado. Isso estabelece a existência de um conjunto "grande" (em termos de dimensão) de tais valores, movendo a conjectura de Barker-Larman de uma questão puramente geométrica para uma profundamente entrelaçada com a teoria dos números.