Regularity of the volume function

O artigo prova a regularidade ótima $C^{1,1}$ da função de volume no cone grande de uma variedade projetiva e investiga sua regularidade quando restrita a segmentos que se movem em direções amplas.

O essencial

Imagine que você está explorando uma paisagem matemática gigante, chamada Variedade Projetiva. Neste mundo, existem "terrenos" especiais chamados Divisores. Cada terreno tem um "tamanho" ou "volume" associado a ele, que mede quão rico e complexo ele é.

Os autores deste artigo, Junyu Cao e Valentino Tosatti, estão interessados em entender a suavidade dessa paisagem. Eles querem saber: se eu mudar levemente o meu terreno, o volume muda de forma suave e previsível, ou ele dá "saltos" e "quebras"?

Aqui está a explicação do que eles descobriram, usando analogias do dia a dia:

1. O Mapa do Tesouro (A Função Volume)

Pense no "Volume" como um mapa que diz o tamanho de um terreno.

• O Grande Cone: Existe uma área especial neste mapa chamada "Cone Big" (Grande). Se você estiver dentro dessa área, seu terreno tem um volume positivo (é um terreno real e útil). Se você sair dessa área, o volume é zero (é como tentar medir o tamanho de um ponto ou de uma linha no espaço 3D; o volume é zero).
• O Problema: Matemáticos já sabiam que esse mapa era "contínuo" (sem buracos) e que, dentro da área grande, ele era suave o suficiente para ter uma inclinação definida (diferenciável uma vez). Mas eles não sabiam o quão perfeitamente suave ele era. Será que a inclinação muda de forma constante, ou ela treme e oscila?

2. A Descoberta Principal: "Suavidade de Concreto" (Regulamento C1,1)

Os autores provaram que o mapa do volume é optimalmente suave. Eles chamam isso de regularidade C1,1.

A Analogia do Asfalto:
Imagine que você está dirigindo um carro em uma estrada que representa o volume.

• C1 (Diferenciável): Significa que a estrada não tem buracos e você pode saber exatamente para onde o carro está apontando (a inclinação).
• C2 (Duas vezes diferenciável): Significa que a estrada é tão suave que você não sente nenhuma vibração na suspensão; a mudança de curvatura é perfeitamente fluida.
• C1,1 (O que eles provaram): É o "ponto ideal". A estrada é tão suave que você pode saber a inclinação em qualquer ponto, e essa inclinação muda de forma muito controlada. Ela não dá "pulos" bruscos (como uma estrada de terra com pedras), mas também não é necessariamente um vidro polido perfeito (C2). É como um asfalto de alta qualidade: você pode dirigir confortavelmente, e a mudança de direção é previsível e segura, mas se você olhar muito de perto, pode ver que a textura não é perfeitamente lisa como um espelho.

Por que isso importa?
Antes, eles sabiam que a estrada era asfaltada, mas não sabiam se era de "concreto" ou de "terra batida". Agora, eles provaram que é asfalto de primeira linha. Isso é crucial para engenheiros (matemáticos) que precisam construir estruturas complexas sobre esse terreno, pois sabem exatamente quão estável é o chão.

3. A Exceção: Quando você chega na borda

O artigo também olha para a borda desse "Grande Cone".

• Imagine que você está dirigindo em direção à beira de um penhasco (o limite onde o volume vira zero).
• Eles provaram que, mesmo chegando perto da borda, o mapa continua "seguro" (Lipschitz). Você não vai cair de um penhasco de repente; o terreno desce de forma controlada.
• No entanto, na borda exata, a estrada pode ter uma "quina" (não é perfeitamente lisa), mas ainda é segura para andar.

4. O Experimento: Subindo e Descendo Colinas

Os autores fizeram um teste interessante:

• Cenário A (Subindo): Eles pegaram um terreno e começaram a adicionar "adubo" (uma classe de Kähler, que é como adicionar fertilizante rico). Eles descobriram que, mesmo começando em um terreno "pobre" (na borda), ao adicionar adubo, o volume cresce de forma muito suave (C1,1), mas não é perfeitamente lisa (C2). É como uma rampa que é boa, mas tem uma leve irregularidade na textura.
• Cenário B (Descendo): Eles testaram o oposto: pegar um terreno rico e começar a remover adubo. Aqui, a conjectura é que a estrada seria perfeitamente lisa (suave como seda, até analítica). É como se, ao remover coisas, a paisagem se tornasse mais regular do que ao adicionar coisas.

Resumo da Ópera

Este artigo é como um relatório de engenharia de precisão sobre a "topografia" do mundo algébrico.

1. O que eles fizeram: Mediram a suavidade da função que calcula o volume de terrenos matemáticos.
2. O que descobriram: A função é perfeitamente "asfaltada" (C1,1) em todo o território útil. Ela não tem buracos, nem saltos bruscos na inclinação.
3. A lição: Isso dá aos matemáticos a confiança de que podem fazer cálculos complexos e derivar fórmulas nessas áreas sem se preocupar com "quebras" inesperadas na matemática subjacente.

Em suma, eles transformaram uma dúvida sobre a "textura" do universo matemático em uma certeza: é uma textura sólida, confiável e perfeitamente controlável.

Resumo técnico

Resumo Técnico: Regularidade da Função de Volume

1. O Problema

O artigo investiga a regularidade analítica da função de volume $\text{Vol}(\alpha)$ definida no cone de classes "big" (grandes) de uma variedade projetiva ou de Kähler compacta $X$.

• Contexto: O volume de um divisor (ou classe de cohomologia $(1,1)$) é um invariante fundamental na geometria biracional. Embora se saiba que a função é contínua e localmente Lipschitz, e que é diferenciável de classe $C^1$ no interior do cone big, a questão da regularidade ótima permanecia aberta.
• Questão Central: A função de volume é de classe $C^{1,1}$ (diferenciável com derivada Lipschitz) no interior do cone big? E qual é o comportamento da regularidade nas fronteiras do cone ou ao longo de segmentos específicos (como $\alpha + t\omega$)?
• Motivação: Exemplos conhecidos (como o blow-up de $\mathbb{P}^2$ em um ponto) sugerem que a função não é $C^2$ globalmente, mas a questão de saber se ela é $C^{1,1}$ (o que implicaria que a Hessiana é limitada) era uma questão em aberto, formulada recentemente na literatura (ex: [12, Questão 1.4.4]).

2. Metodologia

Os autores utilizam uma combinação de técnicas de geometria complexa, análise convexa e propriedades de produtos positivos de classes de cohomologia.

• Fórmula do Gradiente: A prova depende crucialmente da fórmula conhecida para o gradiente do volume (estabelecida por Boucksom-Favre-Jonsson, Lazarsfeld-Mustaţă e Witt Nyström):
  $$\frac{d}{dt}\bigg|_{t=0} \text{Vol}(\alpha + t\beta) = n \beta \cdot \langle \alpha^{n-1} \rangle$$
  onde $\langle \cdot \rangle$ denota o produto positivo (ou volume não-pluripolar).
• Concavidade e Aproximação de Fujita: Na primeira prova do Teorema 1.1, os autores demonstram que a função $\alpha \mapsto (\omega \cdot \langle \alpha^{n-1} \rangle)^{\frac{1}{n-1}}$ é côncava no cone big. Isso é feito utilizando o método de aproximação de Fujita para classes de cohomologia, reduzindo o problema a classes nef em variedades modificadas, onde se aplicam as desigualdades de Khovanskii-Teissier.
• Lema de Regularidade Abstrata: Na segunda prova, eles estabelecem um lema geral para funções em cones convexos que são homogêneas, não decrescentes nas direções do cone e localmente limitadas, provando que tais funções são localmente Lipschitz.
• Construção de Contraexemplos: Para analisar a regularidade ao longo de segmentos, os autores constroem uma variedade específica (um fibrado $\mathbb{P}^1$ sobre uma hipersuperfície geral em $(\mathbb{P}^1)^4$) e utilizam uma fórmula de integração de volume de Wolfe para relacionar o volume na variedade total com o volume na base, explorando a falta de regularidade conhecida na base.

3. Principais Contribuições e Resultados

O artigo estabelece os seguintes teoremas principais:

• Teorema 1.1 (Regularidade $C^{1,1}$ Ótima no Interior):
  Se $X$ é uma variedade projetiva (ou uma variedade de Kähler satisfazendo a Conjectura BDPP), então a função de volume $\text{Vol}$ é de classe $C^{1,1}_{\text{loc}}$ no interior do cone big $B_X$.

  • Significado: Isso significa que a função é diferenciável e sua derivada é Lipschitz contínua. Consequentemente, a Hessiana da função de volume é uma função limitada (mas possivelmente descontínua) quase em toda parte.
  • Implicação: A regularidade $C^{1,1}$ é ótima, pois existem exemplos onde a função não é $C^2$.

• Teorema 1.2 (Regularidade Lipschitz Global):
  Sob as mesmas hipóteses, a função de volume é localmente Lipschitz em todo o espaço $H^{1,1}(X, \mathbb{R})$.

  • Significado: Isso estende o resultado clássico de Lazarsfeld (que era válido apenas para a classe de Neron-Severi racional) para todo o espaço real de cohomologia, incluindo a fronteira do cone big, onde a função deixa de ser diferenciável.

• Teorema 1.4 (Regularidade ao Longo de Segmentos):
  Considerando um caminho $\alpha + t\omega$, onde $\alpha$ é uma classe big e $\omega$ é uma classe de Kähler:

  • A função $t \mapsto \text{Vol}(\alpha + t\omega)$ é $C^{1,1}$ no intervalo $[0, 1]$.
  • No entanto, existem exemplos onde essa função não é $C^{2,\gamma}$ para qualquer $\gamma > 0$ em vizinhanças de $t=0$.
  • Contraste: O artigo discute a conjectura de Lazarsfeld de que a função $t \mapsto \text{Vol}(\alpha - t\omega)$ (movendo-se em direção oposta, para dentro do cone nef) possa ser suave (ou até analítica real), o que contrasta com o comportamento "ruim" na direção de Kähler.

4. Significado e Impacto

1. Resolução de uma Questão Aberta: O trabalho responde afirmativamente à questão sobre a regularidade $C^{1,1}$ ótima da função de volume, fechando um ciclo de investigações que vinham desde os trabalhos de Lazarsfeld e Boucksom.
2. Limites da Regularidade: Ao provar que a função é $C^{1,1}$ mas não necessariamente $C^2$, o artigo define os limites precisos da suavidade esperada em geometria algébrica e complexa. Isso tem implicações para a compreensão da estrutura do cone big e das paredes (walls) na decomposição de Zariski.
3. Diferenciação entre Direções: O resultado destaca uma assimetria fundamental no comportamento do volume: a regularidade é garantida ao se mover com uma direção de Kähler ($\alpha + t\omega$), mas a suavidade infinita é apenas conjecturada para o movimento oposto ($\alpha - t\omega$).
4. Ferramentas Novas: A prova do Teorema 1.1 fornece duas abordagens distintas (uma baseada em concavidade e outra puramente analítica/algebraica), enriquecendo o arsenal de técnicas para o estudo de funções de volume e produtos positivos.
5. Conexão com a Conjectura BDPP: Os resultados são condicionados à Conjectura BDPP (Boucksom-Demailly-Păun-Peternell) para o caso de variedades de Kähler gerais, reforçando a importância dessa conjectura na estrutura da geometria complexa.

Em suma, o artigo estabelece que a função de volume é o mais suave possível dado o contexto geométrico ($C^{1,1}$), mas que a suavidade infinita falha em geral, mesmo em direções "seguras" como as definidas por classes de Kähler.