Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

Problema y Motivación

Las categorías tangentes proporcionan un marco semántico mínimo para el estudio del razonamiento geométrico diferencial, desarrollado originalmente por Rosický y expandido posteriormente por Cockert y Crittenden. Si bien la teoría se ha aplicado con éxito a las variedades suaves, la geometría algebraica, el álgebra conmutativa y las categorías diferenciales cartesianas (CDC), la comprensión sistemática de cómo se comportan las clases fundamentales de morfismos —específicamente las inmersiones, las submersiones, los difeomorfismos locales y los mapas no ramificados— a través de estos diversos entornos ha sido inexistente.

Trabajos previos establecieron definiciones para submersiones y difeomorfismos locales en el contexto de las variedades suaves, pero su caracterización en otras categorías tangentes críticas, como los esquemas afines o las álgebras conmutativas, permanecía poco clara. Además, la relación entre estas clases de mapas y el concepto de mapas "no ramificados" (que coinciden con las inmersiones en la geometría diferencial pero pueden diferir en categorías tangentes generales) requería un tratamiento categórico unificado. El artículo aborda la necesidad de formalizar estos conceptos dentro del marco abstracto de las categorías tangentes, estudiar sus propiedades de estabilidad y permanencia, y dilucidar sus realizaciones concretas en dominios matemáticos específicos.

Metodología

Los autores emplean un enfoque sistemático y categórico basado en los axiomas de las categorías tangentes. La metodología central implica:

1. Descenso Horizontal: Una herramienta técnica central introducida es el "descenso horizontal" $\theta_f$ de un morfismo $f: X \to Y$. Este se define como el mapa único del haz tangente $TX$ al producto de la base (pullback) del haz tangente $TY$ a lo largo de $f$ (el "haz horizontal"), siempre que dicho producto exista. El artículo investiga extensamente las propiedades de $\theta_f$, utilizándolo para simplificar las definiciones y caracterizaciones de diversas clases de morfismos.
2. Morfismos Carrables: El estudio se basa en la noción de morfismos "carrables" (mapas que admiten productos de base a lo largo de las proyecciones de los haces diferenciales que son preservados por el functor tangente). Específicamente, los autores se centran en los morfismos $p$-carrables (producto a lo largo de la proyección tangente) y $0$-carrables (producto a lo largo de la sección cero) para asegurar la existencia de estructuras necesarias como el haz horizontal y el haz tangente relativo.
3. Secuencia Cotangente Relativa: Al combinar el descenso horizontal con el haz tangente relativo (definido mediante un producto a lo largo de la sección cero), los autores construyen una "secuencia cotangente relativa" en una categoría tangente arbitraria. Esta secuencia generaliza la clásica secuencia exacta de los diferenciales de Kähler en la geometría algebraica.
4. Linealización: Los autores distinguen entre definiciones "fuertes" (basadas en propiedades categóricas generales como los prepullbacks) y definiciones "lineales" (basadas en la categoría de haces diferenciales, $DBun(X)$). Utilizan el enriquecimiento de $DBun(X)$ en monoides conmutativos (y grupos abelianos en las categorías tangentes de Rosický) para relacionar los monomorfismos con núcleos triviales.

Contribuciones Clave y Resultados

El artículo proporciona una clasificación y caracterización exhaustiva de cuatro clases primarias de morfismos en categorías tangentes:

• T-Inmersiones:

  • T-Inmersiones Fuertes: Definidas como mapas donde el cuadrado de naturalidad de la proyección tangente es un "T-prepullback". En las variedades suaves ($SMan$), corresponden a las inmersiones estándar. En la geometría algebraica ($CAlg_R^{op}$), corresponden a los morfismos formalmente no ramificados.
  • T-Inmersiones (Lineales): Definidas como mapas $p$-carrables donde el descenso horizontal $\theta_f$ es un T-monomorfismo lineal en $DBun(X)$.
  • Resultado Clave: En una categoría tangente de Rosický (una con negación), las nociones de T-inmersión fuerte, T-inmersión y morfismo T-no ramificado coinciden. En categorías tangentes generales sin negación, estas clases son distintas (por ejemplo, en la categoría de monoides conmutativos, un mapa puede ser T-no ramificado pero no una T-inmersión fuerte).

• T-Submersiones:

  • Definidas como mapas $p$- y $0$-carrables donde el descenso horizontal $\theta_f$ es un T-cococo lineal (T-epimorfismo regular) en $DBun(X)$. Esto captura la idea de una "derivada localmente sobreyectiva".
  • T-Submersiones Partidas (Split): Definidas mediante el cuadrado de naturalidad como un "T-weak pullback". El artículo demuestra que, para los mapas $p$-carrables, ser una T-submersion partida es equivalente a que $\theta_f$ admita una sección.
  • Resultado Clave: En las categorías tangentes de Rosický y en las categorías de esquemas, una T-submersion partida admite una sección lineal, no solo una sección de conjuntos. Esto conecta la definición categórica con el desdoblamiento de la secuencia cotangente relativa.

• Morfismos T-Etales (Difeomorfismos Locales):

  • Definidos como mapas donde el cuadrado de naturalidad de la proyección tangente es un T-pullback.
  • Resultado Clave: Un mapa es T-etale si y solo si es tanto una T-inmersión fuerte como una T-submersion partida. Para los mapas $p$-carrables, esto es equivalente a que el descenso horizontal $\theta_f$ sea un isomorfismo.
  • Distinción: El artículo aclara que los mapas T-etales en la geometría algebraica no son idénticos a los morfismos formalmente etales. Aunque los morfismos formalmente etales son T-etales, existen mapas T-etales (por ejemplo, ciertas inmersiones cerradas en esquemas) que no son formalmente etales.

• La Secuencia Cotangente Relativa:

  • El artículo construye una secuencia cotangente de de Rham $X \to TX/Y \to TX \to f^*(TY)$ en cualquier categoría tangente donde $f$ sea $0$- y$p$-carrable.
  • Se demuestra que esta secuencia es exacta en $DBun(X)$, proporcionando un marco unificado que recupera las secuencias cotangentes clásicas para variedades suaves y esquemas.

Caracterizaciones Concretas

El artículo mapea explícitamente estas definiciones abstractas hacia categorías específicas:

• Variedades Suaves ($SMan$): Las T-inmersiones son inmersiones estándar; las T-submersiones son submersiones estándar; los mapas T-etales son difeomorfismos locales.
• Álgebras Conmutativas ($CAlg_R$): Las T-inmersiones son homomorfismos de álgebras inyectivos; las T-submersiones son homomorfismos sobreyectivos con secciones lineales; los mapas T-etales son isomorfismos.
• Esquemas Afines ($CAlg_R^{op}$): Las T-inmersiones son morfismos formalmente no ramificados; las T-submersiones corresponden a morfismos formalmente suaves relativos al anillo base; los mapas T-etales corresponden a morfismos formalmente no ramificados y formalmente suaves relativos (distintos de los formalmente etales).
• Categorías Diferenciales Cartesianas (CDC): Las T-inmersiones son mapas con derivadas inyectivas (y derivadas de orden superior); las T-submersiones son mapas con derivadas sobreyectivas (retractos); los mapas T-etales son mapas con derivadas invertibles.

Significación y Reivindicaciones

Los autores afirman que este trabajo proporciona un "estudio profundo y sistemático" que unifica la comprensión de los conceptos de geometría diferencial a través de la geometría algebraica, la geometría diferencial y la ciencia de la computación. La significación reside en:

1. Unificación: Demuestra cómo el mismo aparato categórico (descenso horizontal, secuencias cotangentes relativas) produce las definiciones conocidas y correctas en contextos específicos, mientras revela sutiles distinciones en entornos generales (por ejemplo, la divergencia entre inmersiones y mapas no ramificados en categorías que no son de Rosický).
2. Nuevas Herramientas: La introducción del descenso horizontal como herramienta primaria simplifica la verificación de las propiedades de submersion y de inmersión, reemplazando las complejas condiciones de weak pullback por condiciones de sección o de monomorfismo sobre $\theta_f$.
3. Fundamento para Trabajos Futuros: El artículo posiciona estos resultados como requisitos esenciales para investigaciones futuras, mencionando específicamente un proyecto próximo para definir y estudiar "esquemas" en categorías tangentes y la existencia de una topología de Zariski para familias de categorías tangentes. Los autores señalan que la comprensión de estas clases de morfismos es crítica porque las inmersiones abiertas en la geometría algebraica son, en particular, mapas T-monos T-etales.

El artículo no propone nuevas aplicaciones experimentales ni implicaciones futuras más allá de los objetivos teóricos declarados de refinar la teoría de las categorías tangentes y permitir el estudio de los esquemas dentro de este marco. Sigue siendo una contribución teórica rigurosa a la teoría de categorías y sus aplicaciones a la geometría.