On higher Du Bois singularities and $K$-regularity

Resumo Técnico: Sobre Singularidades de Du Bois de Ordem Superior e K-Regularidade

Enunciado do Problema
O artigo aborda o problema de caracterizar a $K$-regularidade para variedades algébricas, especificamente a extensão em que os grupos K-algébricos $K_m(X)$ falham em ser $\mathbb{A}^1$-invariantes. Um esquema $X$ é definido como $K_m$-regular se os mapas naturais $K_m(X) \to K_m(X \times \mathbb{A}^r)$ são isomorfismos para todo $r \geq 0$. Esquemas regulares são $K_m$-regulares para todo $m$, mas o comportamento de esquemas singulares é mais complexo. O problema central é estabelecer uma relação precisa entre a natureza geométrica das singularidades (especificamente singularidades de Du Bois de ordem superior) e a propriedade algébrica de $K$-regularidade. Isso inclui investigar a conjectura de Vorst, que postula que para esquemas afins de dimensão $d$, a regularidade é equivalente à $K_{d+1}$-regularidade, e buscar versões fortalecidas desta conjectura para classes específicas de singularidades.

Metodologia
O autor emprega uma síntese de métodos da teoria de Hodge e K-teoria algébrica. O principal arcabouço técnico envolve:

1. Complexos de Du Bois e diferenciais cdh: Utilização dos complexos de Du Bois $\underline{\Omega}^p_{X/F}$ (derivados da teoria de Hodge mista de Deligne) e sua relação com os diferenciais cdh $\Omega^p_{cdh, X/F}$. O artigo baseia-se no isomorfismo entre esses objetos estabelecido por Cortiñas, Haesemeyer, Schlichting, Walker e Weibel (CHSW).
2. Singularidades de Du Bois de Ordem Superior: Extensão da noção clássica de singularidades de Du Bois para análogos de "ordem superior". Um interseção completa local (lci) $X$ possui singularidades $m$-Du Bois se os mapas naturais $\Omega^p_{X/F} \to \underline{\Omega}^p_{X/F}$ são isomorfismos para $p \leq m$. Para variedades gerais, o artigo utiliza a noção de singularidades "pré-$m$-Du Bois", definida pelo desaparecimento dos feixes de cohomologia $H^i\underline{\Omega}^p_{X/F}$ para $i > 0$ e $p \leq m$.
3. Teoremas de Desaparecimento (Vanishing): As provas dependem fortemente de teoremas de desaparecimento para a cohomologia de complexos de Du Bois (ex: desaparecimento de Steenbrink, limites de codimensão de Mustat¸˘a-Popa) e resultados sobre a torção e reflexividade de diferenciais de Kähler para esquemas lci (Graf, Miller-Vassiliadou).
4. K-Regularidade via Grupos NK: O estudo da $K$-regularidade é reduzido ao estudo dos grupos $NK$ de Bass via a sequência espectral local-para-global. O artigo utiliza a decomposição dos grupos $NK$ em termos da cohomologia dos cones dos mapas $L^p_{X/\mathbb{Q}} \to \Omega^p_{X/\mathbb{Q}}$, onde $L$ é o complexo cotangente.

Contribuições Principais e Resultados

• Relação entre Du Bois de Ordem Superior e K-Regularidade (Teorema C):
  O artigo estabelece uma relação bidirecional entre singularidades de Du Bois de ordem superior e $K$-regularidade.

  • Se uma variedade $X$ de dimensão $d$ possui singularidades de Du Bois, ela é $K_{-d+1}$-regular.
  • Se $X$ é pré-$m$-Du Bois, ela é $K_{-t}$-regular para limites específicos de $t$ dependendo da dimensão do lugar singular.
  • Inversamente, para variedades afins (sejam lci ou que satisfaçam condições de profundidade sobre diferenciais de Kähler), a $K$-regularidade implica singularidades pré-$m$-Du Bois.

• Caracterização Numérica via Expoente Mínimo (Teorema A):
  Para uma hipersuperfície complexa $X$ de dimensão $d$ com singularidades isoladas, o artigo fornece um critério numérico para $K_m$-regularidade usando o expoente mínimo $\tilde{\alpha}_X$ de Saito:
  $$X \text{ é } K_m\text{-regular} \iff \tilde{\alpha}_X \geq \left\lceil \frac{m+d}{2} \right\rceil.$$
  Isso permite a detecção explícita de $K$-regularidade para singularidades específicas, como a hipersuperfície $x^2 + y^3 + z^7 = 0$.

• Conjectura de Vorst Fortalecida (Teorema B):
  O artigo prova que, para uma interseção completa local afim, a $K_2$-regularidade implica regularidade. Isso fortalece a conjectura original de Vorst (que exigia $K_{d+1}$-regularidade) e extensões anteriores (que exigiam $K_2$-regularidade apenas para variedades normais ou limites de codimensão específicos). A prova utiliza o limite de codimensão no lugar singular para singularidades $m$-Du Bois ($\text{codim } X_{\text{sing}} \geq 2m+1$) combinado com os critérios de regularidade derivados do desaparecimento de grupos NK.

• Variedades Projetivas e Regularidade Local vs. Global (Teorema D):
  O artigo caracteriza a $K_m$-regularidade para variedades projetivas via a degeneração da sequência espectral de Hodge-para-de Rham. Especificamente, $X$ é $K_m$-regular se, e somente se, os mapas $H^i(X, L^p_{X/F}) \to H^i(X, \Omega^p_{X/F})$ são isomorfismos para $i-p \geq -m+1$.
  Este resultado é usado para construir exemplos (Exemplo 7.4) mostrando que a $K_m$-regularidade local não implica $K_m$-regularidade global, destacando uma distinção não presente no caso afim.

• Questão de Bass e Invariantes de Du Bois (Seção 6):
  O artigo classifica os invariantes de Du Bois ($b_{p,q} = \dim H^q \underline{\Omega}^p$) para superfícies e usa estes para abordar a questão de Bass: se $K_m(X) \cong K_m(X \times \mathbb{A}^1)$ implica $K_m(X) \cong K_m(X \times \mathbb{A}^2)$.

  • Para superfícies, a resposta é positiva se, e somente se, $b_{0,1}$ e $b_{1,1}$ são ambos zero ou ambos não nulos.
  • O artigo constrói exemplos de superfícies com valores inteiros não negativos arbitrários para $b_{0,1}$ e $b_{1,1}$, fornecendo novos casos onde a questão de Bass tem uma resposta positiva ou negativa.
  • Para hipersuperfícies homogêneas com singularidades isoladas, o artigo prova que a questão de Bass tem uma resposta positiva para grupos K não positivos.

Significância
O artigo afirma fornecer uma "forma fortalecida da conjectura de Vorst" para interseções completas locais em característica zero, reduzindo o limiar de regularidade de $K_{d+1}$ para $K_2$. Ao unir a teoria de Hodge (via complexos de Du Bois e expoentes mínimos) com a K-teoria algébrica, o trabalho oferece novas ferramentas para construir exemplos de variedades $K$-regulares e para compreender a falha da $\mathbb{A}^1$-invariância. Os resultados refinam a compreensão de como a geometria das singularidades (especificamente a codimensão do lugar singular e o comportamento dos diferenciais) dita as propriedades K-teóricas algébricas de um esquema. O artigo conclui levantando novas questões sobre $K_2$-regularidade para variedades não afins e a relação entre a F-injetividade de ordem superior e a $K$-regularidade em característica positiva.