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

Problema e Motivação

As categorias tangentes fornecem um arcabouço semântico mínimo para o estudo do raciocínio geométrico diferencial, originalmente desenvolvido por Rosický e posteriormente expandido por Cockett e Crittenden. Embora a teoria tenha sido aplicada com sucesso a variedades suaves, geometria algébrica, álgebra comutativa e categorias diferenciais cartesianas (CDCs), carecia-se de uma compreensão sistemática de como as classes fundamentais de morfismos — especificamente imersões, submersões, difeomorfismos locais e aplicações não ramificadas — se comportam através desses diversos contextos.

Trabalhos anteriores estabeleceram definições para submersões e difeomorfismos locais no contexto de variedades suaves, mas sua caracterização em outras categorias tangentes críticas, como esquemas afins ou álgebras comutativas, permanecia incerta. Além disso, a relação entre essas classes e o conceito de aplicações "não ramificadas" (que coincidem com imersões em geometria diferencial, mas podem diferir em categorias tangentes gerais) exigia um tratamento categórico unificado. O artigo aborda a necessidade de formalizar esses conceitos dentro do arcabouço abstrato das categorias tangentes, estudar suas propriedades de estabilidade e permanência, e elucidar suas realizações concretas em domínios matemáticos específicos.

Metodologia

Os autores empregam uma abordagem sistemática, de base categórica, fundamentada nos axiomas das categorias tangentes. A metodologia central envolve:

1. Descida Horizontal: Uma ferramenta técnica central introduzida é a "descida horizontal" $\theta_f$ de um morfismo $f: X \to Y$. Esta é definida como o mapa único do feixe tangente $TX$ para o pullback do feixe tangente $TY$ ao longo de $f$ (o "feixe horizontal"), desde que o pullback exista. O artigo investiga extensivamente as propriedades de $\theta_f$, utilizando-a para simplificar as definições e caracterizações de várias classes de morfismos.
2. Morfismos Carráveis: O estudo baseia-se na noção de morfismos "carráveis" (mapas que admitem pullbacks ao longo de projeções de feixes diferenciais que são preservados pelo funtor tangente). Especificamente, os autores focam em morfismos $p$-carráveis (pullback ao longo da projeção tangente) e $0$-carráveis (pullback ao longo da seção zero) para garantir a existência de estruturas necessárias como o feixe horizontal e o feixe tangente relativo.
3. Sequência Cotangente Relativa: Ao combinar a descida horizontal com o feixe tangente relativo (definido via um pullback $0$-carrável), os autores constroem uma "sequência cotangente relativa" em uma categoria tangente arbitrária. Esta sequência generaliza a clássica sequência exata de diferenciais de Kähler encontrada na geometria algébrica.
4. Linearização: Os autores distinguem entre definições "fortes" (baseadas em propriedades categóricas gerais como pré-pullbacks) e definições "lineares" (baseadas na categoria de feixes diferenciais, $DBun(X)$). Eles utilizam o enriquecimento de $DBun(X)$ em monoides comutativos (e grupos Abelianos em categorias tangentes de Rosický) para relacionar monomorfismos a núcleos triviais.

Contribuições e Resultados Principais

O artigo fornece uma classificação e caracterização abrangente de quatro classes primárias de morfismos em categorias tangentes:

• T-Imersões:

  • T-Imersões Fortes: Definidas como mapas onde o quadrado de naturalidade da projeção tangente é um "T-pré-pullback". Em variedades suaves ($SMan$), elas correspondem a imersões padrão. Em geometria algébrica ($CAlg_R^{op}$), correspondem a morfismos formalmente não ramificados.
  • T-Imersões (Lineares): Definidas como mapas $p$-carráveis onde a descida horizontal $\theta_f$ é um T-monomorfismo linear em $DBun(X)$.
  • Resultado Chave: Em uma categoria tangente de Rosický (uma com negação), as noções de T-imersão forte, T-imersão e morfismo T-não ramificado coincidem. Em categorias tangentes gerais sem negação, essas classes são distintas (por exemplo, em a categoria de monoides comutativos, um mapa pode ser T-não ramificado mas não uma T-imersão forte).

• T-Submersões:

  • Definidas como mapas $p$- e $0$-carráveis onde a descida horizontal $\theta_f$ é um T-coequalizador linear (T-epimorfismo regular) em $DBun(X)$. Isso captura a ideia de uma "derivada localmente sobrejetora".
  • T-Submersões Partidas (Split): Definidas via o quadrado de naturalidade sendo um "T-weak pullback". O artigo prova que, para mapas $p$-carráveis, ser uma T-submersão partida é equivalente a $\theta_f$ admitir uma seção.
  • Resultado Chave: Em categorias tangentes de Rosický e categorias de esquemas, uma T-submersão partida admite uma seção linear, não apenas uma seção de conjuntos. Isso conecta a definição categórica à quebra (splitting) da sequência cotangente relativa.

• Morfismos T-Étales (Difeomorfismos Locais):

  • Definidos como mapas onde o quadrado de naturalidade da projeção tangente é um T-pullback.
  • Resultado Chave: Um mapa é T-étale se, e somente se, for tanto uma T-imersão forte quanto uma T-submersão partida. Para mapas $p$-carráveis, isso é equivalente à descida horizontal $\theta_f$ ser um isomorfismo.
  • Distinção: O artigo esclarece que mapas T-étales em geometria algébrica não são idênticos a mapas formalmente étales. Embora morfismos formalmente étales sejam T-étales, existem T-étales (por exemplo, certas imersões fechadas em esquemas) que não são formalmente étales.

• A Sequência Cotangente Relativa:

  • O artigo constrói uma sequência cotangente relativa de de Rham $X \to TX/Y \to TX \to f^*(TY)$ em qualquer categoria tangente onde $f$ seja $0$- e$p$-carrável.
  • Mostra-se que esta sequência é exata em $DBun(X)$, fornecendo um arcabouço unificado que recupera as sequências cotangentes clássicas para variedades suaves e esquemas.

Caracterizações Concretas

O artigo mapeia explicitamente estas definições abstratas para categorias específicas:

• Variedades Suaves ($SMan$): T-imersões são imersões padrão; T-submersões são submersões padrão; T-étales são difeomorfismos locais.
• Álgebras Comutativas ($CAlg_R$): T-imersões são homomorfismos de álgebras injetivos; T-submersões são homomorfismos sobrejetivos com seções lineares; T-étales são isomorfismos.
• Esquemas Afins ($CAlg_R^{op}$): T-imersões são morfismos formalmente não ramificados; T-submersões correspondem a morfismos formalmente suaves em relação à base; T-étales correspondem a morfismos formalmente não ramificados e formalmente suaves (distintos de formalmente étales).
• Categorias Diferenciais Cartesianas (CDCs): T-imersões são mapas com derivadas (e derivadas superiores) injetivas; T-submersões são mapas com derivadas sobrejetivas (retratos); T-étales são mapas com derivadas invertíveis.

Significância e Alegações

Os autores alegam que este trabalho fornece um "estudo profundo e sistemático" que unifica a compreensão de conceitos de geometria diferencial através da geometria algébrica, geometria diferencial e ciência da computação. A significância reside em:

1. Unificação: Demonstra como o mesmo maquinário categórico (descida horizontal, sequências cotangentes relativas) produz as definições conhecidas e corretas em contextos específicos, enquanto revela distinções sutis em configurações gerais (por exemplo, a divergência entre imersões e aplicações não ramificadas em categorias não-Rosický).
2. Novas Ferramentas: A introdução da descida horizontal como ferramenta primária simplifica a verificação de propriedades de submersão e imersão, substituindo condições complexas de weak pullback por condições de seção ou monomorfismo em $\theta_f$.
3. Fundamentação para Trabalhos Futuros: O artigo posiciona estes resultados como pré-requisitos essenciais para pesquisas futuras, mencionando especificamente um projeto iminente para definir e estudar "esquemas" em categorias tangentes e a existência de uma topologia de Zariski para famílias de categorias tangentes. Os autores observam que a compreensão destas classes de morfismos é crítica porque imersões abertas em geometria algébrica são, em particular, T-mônicas T-étales.

O artigo não propõe novas aplicações experimentais ou implicações futuras além dos objetivos teóricos declarados de refinar a teoria das categorias tangentes e permitir o estudo de esquemas dentro deste arcabouço. Permanece como uma contribuição teórica rigorosa para a teoria das categorias e suas aplicações à geometria.