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

Resumen Técnico: El complejo de El Zein-Steenbrink-Zucker bifiltrado p-ádico zariskiano

Planteamiento del Problema
Este artículo aborda la formulación y la verificación parcial de la conjetura del monodromía-peso relativa log p-ádica. Esta conjetura sirve como una generalización de la famosa conjetura de monodromía-peso p-ádica (estudiada previamente por Mokrane y el autor) al entorno de esquemas log SNCL (simples normales cruzados logarítmicos) equipados con un divisor relativo SNCD (simples normales cruzados logarítmicos relativos).

El problema central consiste en construir un marco cohomológico adecuado para esquemas SNCL propios $(X, D)$ sobre una base $S_0$ en característica $p > 0$ que incorpore simultáneamente:

1. La filtración de peso que surge de la estructura SNCL de $X$.
2. La filtración de monodromía relativa que surge del SNCD relativo $D$.
3. El operador de monodromía $N$ actuando sobre la cohomología cristalina logarítmica.

El autor pretende definir un complejo bifiltrado que capture estas estructuras y demostrar que el operador de monodromía inducido actúa como un isomorfismo entre piezas graduadas específicas de las filtraciones de peso y de monodromía relativa, módulo torsión.

Metodología
El artículo emplea una construcción rigurosa dentro del marco de la cohomología cristalina logarítmica y los envolventes PD (de división perfecta), extendiendo el trabajo previo sobre filtraciones de peso para esquemas SNCL.

1. Construcción del Complejo:
   El autor construye el complejo de El Zein-Steenbrink-Zucker bifiltrado p-ádico zariskiano, denotado como $(Azar((X, D)/S), P^D, P)$. Este es un complejo bifiltrado en la categoría derivada $D^+F_2(f^{-1}(\mathcal{O}_S))$.

   • La construcción se basa en embeber el esquema en un esquema formal semiestable estricto simplicial y utilizar envolventes log PD.
   • Utiliza filtraciones de pre-peso definidas sobre las formas diferenciales logarítmicas, distinguiendo específicamente entre filtraciones relacionadas con la estructura SNCL ($P$) y el SNCD relativo ($P^D$).
   • El complejo se define mediante un doble complejo cosimplicial de formas diferenciales logarítmicas sobre el envolvente PD, cocienteado por pasos de filtración específicos.

2. Functorialidad y Cambio de Base:
   El artículo establece la functorialidad contravariante de este complejo bajo morfismos de esquemas log, manejando cuidadosamente el "giro de grado" (giro-D) requerido cuando el grado de la morfismo es divisible por $p$. También demuestra un teorema de cambio de base bifiltrado, asegurando que el complejo se comporte bien bajo el cambio de base del ensanchamiento log PD.

3. Operadores de Monodromía:
   El autor recuerda el operador de monodromía $N$ definido en trabajos previos (H. Kato y el autor) y demuestra que induce un endomorfismo bien definido en el complejo bifiltrado construido. Se muestra que este operador desplaza la filtración de peso $P$ por $-2$ y preserva la filtración relativa $P^D$.

4. Secuencias Espectrales:
   Se derivan dos nuevas secuencias espectrales del complejo bifiltrado:

   • Una secuencia espectral de Poincaré relativa al divisor $D$.
   • Una secuencia espectral de peso (análoga a la degeneración en $E_1$ de la secuencia espectral de peso para esquemas SNCL).

Contribuciones Clave y Resultados

1. El Teorema Principal (Teorema 1.4):
   El artículo demuestra la existencia del complejo bifiltrado $(Azar((X, D)/S), P^D, P)$ con un isomorfismo canónico a la cohomología cristalina logarítmica $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$. Las piezas graduadas de las filtraciones se describen explícitamente en términos de la cohomología cristalina logarítmica de las intersecciones de los componentes suaves de $X$ y $D$, torcidas por haces de orientación cristalina.

2. La Conjetura de Monodromía-Peso Relativa (Conjetura 1.5):
   El autor formula la conjetura de que para un esquema SNCL propio proyectivo con un SNCD relativo, el morfismo inducido
   $$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)$$
   es un isomorfismo módulo torsión. Esto es equivalente a la existencia de una filtración de monodromía relativa $M$ que coincide con la filtración de peso $P$ en la cohomología racional.

3. Prueba en Casos Específicos (Teorema 1.6 y Corolarios):

   • Teorema 1.6: Si la conjetura de monodromía-peso log p-ádica (para el esquema $D(k)/S$ sin la estructura de divisor relativo) es cierta, entonces la conjetura de monodromía-peso log p-ádica relativa es cierta.
   • Corolario 1.7: La conjetura se demuestra verdadera si la dimensión relativa de $X$ sobre $S$ es $\le 2$, aprovechando resultados conocidos para casos de baja dimensión.
   • Corolario 1.8: La conjetura se cumple si las fibras del esquema son fibras especiales log de familias semiestables estrictas propias sobre anillos de valoración discreta completa de la misma característica.

4. Degeneración $E_2$:
   El artículo demuestra la degeneración $E_2$ de la secuencia espectral de peso p-ádica módulo torsión (Sección 10), un paso crucial para establecer la compatibilidad de las filtraciones.

Significado y Reivindicaciones
El artículo afirma proporcionar el análogo p-ádico de los complejos bifiltrados construidos por El Zein, Steenbrink y Zucker en el entorno analítico complejo (específicamente para familias semiestables estrictas sobre el disco unidad).

• Generalización: Generaliza el trabajo previo del autor sobre filtraciones de peso para esquemas SNCL (sin divisores relativos) y la filtración de monodromía relativa $l$-ádica construida en [N6].
• Expectativa Motívica: El autor señala que se espera que la filtración de monodromía relativa sea "motívica", y esta construcción p-ádica proporciona una realización concreta de esta expectativa en el contexto de la cohomología cristalina logarítmica.
• Fundamento Técnico: La construcción del "complejo de El Zein-Steenbrink-Zucker bifiltrado p-ádico zariskiano" se presenta como la herramienta fundamental requerida para formular e investigar la conjetura de monodromía-peso relativa en característica $p$.

El artículo no pretende demostrar la conjetura en su total generalidad, sino que establece su validez en casos significativos (baja dimensión relativa, tipos de deformación específicos) y reduce el problema general a la validez de la conjetura no relativa para los componentes del divisor. El trabajo se enmarca como una continuación necesaria de la teoría de la cohomología cristalina logarítmica para manejar singularidades relativas (SNCDs relativos).