The zariskian p-adic bifiltered El Zein-Steenbrink-Zucker complex of a proper SNCL scheme with a relative SNCD

Resumo Técnico: O Complexo de El Zein-Steenbrink-Zucker p-ádico Zariskiano Bifiltrado

Enunciado do Problema
Este artigo aborda a formulação e a verificação parcial da conjectura do peso-monodromia relativa p-ádica log. Esta conjectura serve como uma generalização da famosa conjectura de peso-monodromia p-ádica (estudada anteriormente por Mokrane e pelo autor) para o cenário de esquemas SNCL (simples normais cruzados log) próprios equipados com um divisor SNCD (divisor simples normal cruzado relativo).

O problema central envolve a construção de um arcabouço cohomológico adequado para esquemas SNCL próprios $(X, D)$ sobre uma base $S_0$ em característica $p > 0$ que incorpore simultaneamente:

1. A filtração de peso decorrente da estrutura SNCL de $X$.
2. A filtração de monodromia relativa decorrente do SNCD relativo $D$.
3. O operador de monodromia $N$ atuando na cohomologia cristalina log.

O autor visa definir um complexo bifiltrado que capture essas estruturas e provar que o operador de monodromia induzido atua como um isomorfismo entre partes graduadas específicas das filtrações de peso e de monodromia relativa, módulo torção.

Metodologia
O artigo emprega uma construção rigorosa dentro do arcabouço da cohomologia cristalina log e de envelopes PD, estendendo o trabalho anterior sobre filtrações de peso para esquemas SNCL.

1. Construção do Complexo:
   O autor constrói o complexo de El Zein-Steenbrink-Zucker p-ádico bifiltrado Zariskiano, denotado por $(Azar((X, D)/S), P^D, P)$. Este é um complexo bifiltrado na categoria derivada $D^+F_2(f^{-1}(\mathcal{O}_S))$.

• A construção baseia-se na imersão do esquema em um esquema formal semiestável estrito simplicial e no uso de envelopes PD log.
• Utiliza filtrações de pré-peso definidas em formas diferenciais log, distinguindo especificamente entre filtrações relacionadas à estrutura SNCL ($P$) e ao SNCD relativo ($P^D$).
• O complexo é definido via um duplo complexo cosimplicial envolvendo formas diferenciais log no envelope PD, quocientado por passos de filtração específicos.

2. Functorialidade e Mudança de Base:
   O artigo estabelece a contravariância functorial deste complexo sob morfismos de esquemas log, tratando cuidadosamente o "giro de grau" (D-twist) necessário quando o grau da morfismo é divisível por $p$. Também prova um teorema de mudança de base bifiltrado, garantindo que o complexo se comporte bem sob a mudança de base do alargamento log PD.

3. Operadores de Monodromia:
   O autor recorda o operador de monodromia $N$ definido em trabalhos anteriores (H. Kato e o autor) e demonstra que ele induz um endomorfismo no complexo bifiltrado construído. Este operador é mostrado para deslocar a filtração de peso $P$ por $-2$ e preservar a filtração relativa $P^D$.

4. Sequências Espectrais:
   Duas novas sequências espectrais são derivadas do complexo bifiltrado:

• Uma sequência espectral de Poincaré relativa ao divisor $D$.
• Uma sequência espectral de peso (análoga à degenerescência $E_1$ da sequência espectral de peso para esquemas SNCL).

Contribuições Principais e Resultados

1. O Teorema Principal (Teorema 1.4):
   O artigo prova a existência do complexo bifiltrado $(Azar((X, D)/S), P^D, P)$ com um isomorfismo canônico para a cohomologia cristalina log $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$. As partes graduadas das filtrações são explicitamente descritas em termos da cohomologia cristalina log de interseções de componentes suaves de $X$ e $D$, rotacionadas por feixes de orientação cristalina.

2. A Conjectura de Peso-Monodromia Relativa (Conjectura 1.5):
   O autor formula a conjectura de que, para um esquema SNCL próprio projetivo com um SNCD relativo, o morfismo induzido
   $$N^e: \text{gr}^P_{q+k+e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O}) \to \text{gr}^P_{q+k-e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O})(-e)$$
   é um isomorfismo módulo torção. Isso é equivalente à existência de uma filtração de monodromia relativa $M$ que coincide com a filtração de peso $P$ na cohomologia racional.

3. Prova em Casos Específicos (Teorema 1.6 e Corolários):

• Teorema 1.6: Se a conjectura de peso-monodromia p-ádica log (para o esquema $D(k)/S$ sem a estrutura de divisor relativo) for verdadeira, então a conjectura de peso-monodromia relativa p-ádica log é verdadeira.
• Corolário 1.7: A conjectura é provada verdadeira se a dimensão relativa de $X$ sobre $S$ for $\le 2$, aproveitando resultados conhecidos para casos de baixa dimensão.
• Corolário 1.8: A conjectura é válida se as fibras do esquema forem fibras especiais log de famílias semiestáveis estritas próprias sobre anéis de valor discreto completos de mesma característica.

4. Degenerescência $E_2$:
   O artigo prova a $E_2$-degenerescência da sequência espectral de peso p-ádica módulo torção (Seção 10), um passo crucial para estabelecer a compatibilidade das filtrações.

Significância e Alegações
O artigo alega fornecer o análogo p-ádico dos complexos bifiltrados construídos por El Zein, Steenbrink e Zucker no cenário analítico complexo (especificamente para famílias semiestáveis estritas sobre o disco unitário).

• Generalização: Ele generaliza o trabalho anterior do autor sobre filtrações de peso para esquemas SNCL (sem divisores relativos) e a filtração de monodromia relativa $l$-ádica construída em [N6].
• Expectativa Motívica: O autor observa que a filtração de monodromia relativa é esperada como sendo "motívica", e esta construção p-ádica fornece uma realização concreta dessa expectativa no contexto da cohomologia cristalina log.
• Fundamentação Técnica: A construção do "complexo de El Zein-Steenbrink-Zucker p-ádico bifiltrado Zariskiano" é apresentada como a ferramenta fundamental necessária para formular e investigar a conjectura de peso-monodromia relativa em característica $p$.

O artigo não alega provar a conjectura em sua totalidade geral, mas estabelece sua validade em casos significativos (baixa dimensão relativa, tipos de deformação específicos) e reduz o problema geral à validade da conjectura não relativa para os componentes do divisor. O trabalho é enquadrado como uma continuação necessária da teoria da cohomologia cristalina log para lidar com singularidades relativas (SNCDs relativos).