Profinite Borel completeness and smooth Artin motives

Resumen Técnico: Profinitud, Completitud de Borel y Motivos Árticos Suaves

Planteamiento del Problema
El artículo aborda la relación entre dos marcos matemáticos distintos: la $\infty$-categoría de motivos árticos suaves sobre una base esquemática general $S$ y la teoría de representaciones del grupo fundamental étale $\pi_1^{\text{ét}}(S)$. Mientras que Voevodsky estableció una equivalencia entre los motivos árticos sobre un cuerpo $F$ y los módulos de permutación derivados del grupo galoisiano absoluto $\text{Gal}(F^{\text{sep}}/F)$, permanecía como una pregunta abierta si esta equivalencia se extiende a esquemas de base generales $S$ donde el grupo galoisiano es reemplazado por el grupo fundamental étale profínito $\pi_1^{\text{ét}}(S)$.

Un problema secundario, de carácter fundacional, surge en la teoría de homotopía equivariante de grupos profínitos. Para grupos finitos, la subcategoría de espectros de completitud de Borel está bien comprendida como una categoría de functores (vía Mathew–Naumann–Noel). Sin embargo, para grupos profínitos, la órbita $G/1$ no es un $G$-conjunto finito, lo que complica la generalización directa de la completitud de Borel. El artículo investiga si existen múltiples y distintas nociones de "completitud de Borel" para grupos profínitos y cómo estas se relacionan con la teoría de haces y de motivos.

Metodología
El autor emplea un enfoque de dos vertientes, desarrollando primero la necesaria teoría de homotopía equivariante para luego aplicarla a la teoría de motivos.

1. Teoría de Homotopía Equivariante para Grupos Profínitos:

   • El artículo revisa la descripción de los espectros de completitud de Borel para grupos finitos, introduciendo coeficientes en un espectro de anillo conmutativo conexo $R$.
   • Para un grupo profínito $G = \lim_i G_i$, se definen dos nociones de completitud de Borel:
     • Completitud de Borel nivel por nivel ($Sp^{\text{lwBorel}}_G$): Definida como el límite de las categorías de completitud de Borel de los cocientes finitos $G_i$ a lo largo de los puntos fijos categóricos.
     • Completitud de Borel ($Sp^{\text{Borel}}_G$): Definida mediante la completitud con respecto a un objeto algebra específico $A$, construido como el colímite de los duales de las órbitas de todos los subgrupos normales abiertos.
   • El autor utiliza functores de Mackey espectrales y la teoría de categorías de módulos sobre espectros de anillos equivariantes para analizar estas estructuras. Una herramienta técnica clave es la identificación de la relación entre estas dos nociones a través de $t$-estructuras e hipercompletitud.

2. Motivos y Correspondencias:

   • El artículo construye la $\infty$-categoría de motivos de Voevodsky efectivos $DM^{\text{eff}}_{\tau}(S; R)$ (donde $\tau = \text{Nisnevich}$ o $\text{étale}$) utilizando correspondencias finitas con coeficientes.
   • Los motivos árticos suaves $DAM_{\tau}(S; R)$ se definen como la subcategoría localizante generada por los motivos de esquemas $S$-etales finitos.
   • El autor establece un puente entre estos motivos y las categorías equivariantes definidas en la primera parte utilizando la equivalencia de Grothendieck entre esquemas etales finitos y $G$-conjuntos finitos discretos (donde $G = \pi_1^{\text{ét}}(S)$).
   • Crucialmente, el artículo investiga el comportamiento de las "transferencias" (correspondencias finitas) en el contexto de haces etales sobre esquemas etales finitos, demostrando que los haces etales sobre estos esquemas admiten naturalmente transferencias.

Contribuciones Clave y Resultados

• Distinción de la Completitud de Borel: El artículo identifica que, para grupos profínitos, la completitud de Borel "nivel por nivel" y la "completitud de Borel" estándar (definida vía el álgebra $A$) son generalmente distintas.

  • Teorema 3.30: La categoría de espectros $G$ de completitud de Borel es equivalente a la hipercompletitud de la categoría de espectros $G$ de completitud de Borel nivel por nivel. Esto proporciona una relación estructural precisa entre las dos nociones.

• Equivalencia con Haces y Representaciones:

  • Proposición 4.8 y 4.13: El artículo establece un diagrama conmutativo que conecta las categorías de Borel completas de espectros equivariantes con categorías de haces sobre $G$-conjuntos finitos y categorías derivadas de módulos discretos.
  • Específicamente, la categoría de módulos de completitud de Borel nivel por nivel es equivalente a la categoría de haces sobre $G$-conjuntos finitos, mientras que la categoría de completitud de Borel corresponde a hiperesqueces (bajo condiciones específicas sobre la dimensión de cohomología virtual de $G$).

• Generalización del Teorema de Voevodsky (Caso Nisnevich):

  • Teorema 5.19: Para un esquema conexo y no noetheriano de dimensión de Krull finita, existe una equivalencia monoidal simétrica entre la $\infty$-categoría de motivos árticos suaves (topología de Nisnevich) y la categoría derivada de módulos de permutación sobre el grupo profínito $\pi_1^{\text{ét}}(S)$:
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • Este resultado confirma que la descripción clásica de los motivos árticos mediante representaciones de Galois se extiende a esquemas de base generales en la topología de Nisnevich.

• Caso Étale y Transferencias:

  • Teorema 5.34: El artículo demuestra que los haces etales sobre esquemas $S$-etales finitos poseen automáticamente transferencias. Esto identifica la categoría de haces etales con transferencias sobre esquemas etales finitos con la categoría de haces etales sobre esquemas etales finitos (sin referencia explícita a correspondencias).
  • Teorema 5.37: Se presenta un diagrama conmutativo exhaustivo que vincula los módulos de permutación derivados, los espectros de completitud de Borel y los motivos árticos suaves tanto para las topologías de Nisnevich como de étale.
  • Corolario 5.31: En el caso étale hipercompleto, bajo supuestos de que el anillo de coeficientes $R$ tiene característica positiva $n$ y las características de residuo de $S$ son coprimas con $n$, la categoría de motivos árticos suaves es equivalente a la categoría de hiperesqueces con transferencias sobre esquemas etales finitos.

Significado y Pretensiones
El artículo afirma resolver la cuestión de si la descripción de Voevodsky de los motivos árticos se mantiene para esquemas de base general. Confirma esto para la topología de Nisnevich y proporciona una respuesta matizada para la topología étale, destacando el papel de la hipercompletitud.

La significancia radica en:

1. Marco Unificador: Unifica la teoría de motivos con la teoría de homotopía equivariante para grupos profínitos, mostrando que los motivos árticos suaves están controlados por el grupo fundamental étale.
2. Clarificación de la Equivarianza Profínita: Clarifica la sutil distinción entre la completitud de Borel nivel por nivel y la de hipercompletitud en el entorno profínito, identificando esta última como la noción correcta para capturar la estructura completa de los haces etales (hiperesqueces).
3. Transferencia de Transferencias: Proporciona una prueba independiente de que los haces etales sobre esquemas etales finitos portan inherentemente transferencias, un resultado previamente conocido pero que dependía de identificaciones específicas de conjuntos hom en otra literatura.

El autor señala que, mientras que el caso de Nisnevich produce una equivalencia limpia, el caso étale requiere distinguir entre haces y hiperesqueces, y la equivalencia con los módulos de permutación en el caso étale no hipercompleto requiere un cálculo adicional de espacios de mapeo que no se realiza en este trabajo. Los resultados se presentan como un paso fundacional, apoyándose en el trabajo reciente de Balmer–Gallauer y Dubey–Gómez respecto a los espectros de Balmer de estas categorías.