The motivic tt-geometry of real quadrics

1. Introducción y Problema de Investigación

El artículo se sitúa en el campo de la geometría tensor-triangular (tt-geometry), una rama que busca clasificar categorías trianguladas tensoriales mediante su espectro de Balmer. El objetivo central es entender la estructura del espectro de la categoría de motivos de Voevodsky ($DM(k)$), específicamente para el caso de motivos de cuádricas suaves proyectivas sobre un cuerpo real cerrado $F$.

El Problema:

• La clasificación completa del espectro de Balmer de la categoría de motivos geométricos $DM_{gm}(k)$ es un problema abierto y extremadamente complejo. Recientemente, Vishik demostró que sobre los números reales $\mathbb{R}$, el espectro tiene cardinalidad $2^{\mathfrak{c}}$, lo que indica una complejidad topológica enorme.
• Para navegar esta complejidad, la estrategia propuesta es estudiar subcategorías tt completas "desde abajo".
• El foco específico es la categoría $DQM_{gm}(F; \mathbb{F}_2)$, generada por los motivos de cuádricas sobre un cuerpo real cerrado $F$ con coeficientes en $\mathbb{F}_2$.
• La dificultad clave: A diferencia de los cuerpos algebraicamente cerrados (donde las cuádricas se descomponen en motivos de Tate) o los casos donde 2 es invertible (donde se relacionan con motivos Artin-Tate), en característica 2 sobre cuerpos reales, aparecen motivos de cuádricas anisotrópicas de dimensión arbitraria, enriqueciendo significativamente la estructura de la categoría.

2. Metodología

El autor emplea una combinación de técnicas de teoría de categorías trianguladas, teoría de motivos y teoría de formas cuadráticas. La metodología se divide en tres pilares principales:

A. Reducción a Categorías Celulares mediante Funtores Conservativos

El autor construye una familia de funtores geométricos $\{\pi_n\}_{n \in \mathbb{N} \cup \{\infty\}}$ que mapean la categoría grande $DQM(F; \mathbb{F}_2)$ hacia categorías celulares más manejables $K_n$:

• $\pi_1$: Base cambio al cuerpo $F$ (motivos de Tate).
• $\pi_n$ ($n \ge 2$): Base cambio al cuerpo de funciones de una cuádrica anisotrópica específica $Q_n$, seguido de una localización que elimina los motivos de cuádricas que permanecen anisotrópicas.
• $\pi_\infty$: Localización "isotrópica" que anula todos los motivos de cuádricas anisotrópicas.
• Teorema Clave: Esta familia es conjuntamente conservativa. Según un teorema de Barthel et al., esto implica que el espectro de la categoría original es una imagen continua y sobreyectiva de la unión disjunta de los espectros de las categorías $K_n$.

B. Cálculo de los Espectros de las Categorías Celulares ($K_n$)

Para cada categoría celular $K_n$, el autor calcula su espectro de Balmer utilizando estructuras de peso:

• Se construyen estructuras de peso acotadas (específicamente, estructuras de peso de Chow y sus variantes periódicas).
• Se demuestra que el anillo de endomorfismos del objeto unidad en estas categorías tiene una estructura bi-graduada específica (relacionada con la K-teoría de Milnor y símbolos puros).
• Técnica de Nilpotencia: Se utiliza la existencia de suficientes morfismos $\otimes$-nilpotentes para demostrar que ciertos objetos generan ideales primos específicos. Esto reduce el cálculo del espectro a la identificación de puntos aislados y sus relaciones de especialización.
• Resultados intermedios:
  • Para $n=1, 2$, los espectros son espacios de Sierpiński de dos puntos.
  • Para $n \ge 3$, también son espacios de Sierpiński de dos puntos, pero con generadores diferentes.
  • Para $n=\infty$ (caso isotrópico), el espectro tiene tres puntos.

C. Determinación de Relaciones de Especialización y Topología

Una vez identificados los puntos del espectro (los ideales primos tt), el autor determina:

• Generadores de los ideales primos: Se identifican explícitamente los objetos (como motivos de Rost $M_n$, motivos reducidos $\tilde{M}_n$, conos de morfismos $\text{cone}(\rho)$, etc.) que generan cada punto.
• Topología: Se caracteriza el conjunto de subconjuntos cerrados. Se demuestra que la topología no es Noetheriana y se describe explícitamente la relación de especialización (qué puntos están en la clausura de otros).

3. Contribuciones y Resultados Principales

Teorema Principal: Estructura del Espectro

El resultado central es la descripción completa del espectro de Balmer de $DQM_{gm}(F; \mathbb{F}_2)$ para un cuerpo real cerrado $F$. El espacio es:

• Cardinalidad: Infinito numerable.
• Dimensión de Krull: 2.
• Topología: No es un espacio Noetheriano.
• Estructura de Puntos: El espectro consiste en dos secuencias horizontales de puntos cerrados que convergen a un punto en el infinito, más un punto adicional en la parte superior.
  • Puntos $p_{k,0}$ y $p_{k,1}$: Para $k \in \mathbb{N}$.
  • Puntos en el infinito: $p_{\infty,0}, p_{\infty,1}, p_{\infty,2}$.
  • Relaciones de especialización: Las secuencias convergen hacia $p_{\infty,0}$. Existen relaciones verticales y diagonales específicas que conectan las dos "filas" de puntos.

Descripción Visual del Espectro:
El autor presenta un diagrama donde:

• La fila superior ($p_{k,0}$) y la inferior ($p_{k,1}$) convergen a $p_{\infty,0}$.
• $p_{\infty,0}$ es el punto genérico de la "columna" izquierda.
• $p_{\infty,1}$ y $p_{\infty,2}$ son puntos adicionales relacionados con la isotropía y la torsión.
• Los subconjuntos cerrados son aquellos cerrados bajo especialización, con la condición de que si $p_{\infty,0}$ no está en el conjunto, el conjunto debe ser finito.

Relación con Motivos Artin-Tate

El artículo establece una conexión precisa entre el espectro de las cuádricas y el espectro de los motivos Artin-Tate ($DATM_{gm}$) calculado previamente por Balmer y Gallauer.

• Existe una aplicación de restricción sobreyectiva: $Spc(DQM_{gm}(F; \mathbb{F}_2)) \twoheadrightarrow Spc(DATM_{gm}(F; \mathbb{F}_2))$.
• El espectro de Artin-Tate es un espacio de 6 puntos. El espectro de las cuádricas es una "descomposición" o refinamiento de este espacio, donde los puntos de Artin-Tate se "desdoblan" en las secuencias infinitas de puntos de cuádricas.

Puntos Isotrópicos de Vishik

El autor analiza cómo los $2^{\mathfrak{c}}$ puntos cerrados descubiertos por Vishik en el espectro general de motivos reales se restringen a la subcategoría de cuádricas.

• Se demuestra que la restricción de un punto isotrópico $a_{2,E}$ (asociado a una extensión de campo $E$) es siempre uno de los puntos $p_{k,0}$ del espectro calculado.
• El índice $k$ se determina mediante el ordenamiento parcial de Vishik basado en la isotropía de las cuádricas de Pfister sobre $E$.

Espectro Integral

Finalmente, el autor combina sus resultados con las condiciones de anulación de motivic cohomology (condición de Gallauer) para describir el espectro integral $DQM_{gm}(\mathbb{R}_{alg}; \mathbb{Z})$ sobre los números algebraicos reales.

• El espectro integral se construye "pegando" el espectro en característica 2 (calculado en el artículo) con el espectro en característica impar (donde las cuádricas se comportan como motivos Artin-Tate).
• El resultado es un espacio con una estructura similar, pero con puntos adicionales etiquetados por primos impares ($m_l, e_l$).

4. Significado e Impacto

1. Avance en la Clasificación Motívica: Este trabajo proporciona el primer cálculo explícito y completo de un espectro de Balmer para una categoría de motivos que incluye variedades de dimensión superior (cuádricas) sobre un cuerpo no algebraicamente cerrado, superando el caso de motivos de Tate o Artin-Tate.
2. Complejidad Estructural: Demuestra que la complejidad del espectro de motivos reales no es solo un fenómeno de cardinalidad alta (como sugiere Vishik), sino que posee una estructura topológica rica y no Noetheriana que puede ser descrita explícitamente mediante invariants algebraicos (K-teoría de Milnor, símbolos puros).
3. Herramientas Técnicas: Introduce y refina el uso de estructuras de peso periódicas y funtores de localización conjunta para el cálculo de espectros en contextos motivicos, ofreciendo un modelo para futuros estudios en otras subcategorías.
4. Conexión entre Teorías: Unifica la teoría de formas cuadráticas (a través de la anisotropía de cuádricas) con la geometría tensorial, mostrando cómo la teoría de formas cuadráticas sobre cuerpos reales dicta la topología del espectro motivico.

En resumen, el artículo resuelve un problema abierto significativo en la geometría motivica, proporcionando una "mapa topológico" detallado de la categoría de motivos de cuádricas reales en característica 2, y sentando las bases para la comprensión integral de estos objetos.