Ulrich sheaves, the arithmetic writhe and algebraic isotopies of space curves

Resumo Técnico: Feixes de Ulrich, o Enrolamento Aritmético e Isotopias Algébricas de Curvas Espaciais

Enunciado do Problema
O artigo aborda dois problemas interligados no campo emergente da geometria enumerativa $\mathbb{A}^1$. Primeiro, busca estabelecer condições sob as quais o grau $\mathbb{A}^1$ de um morfismo entre variedades projetivas seja bem definido (isto é, constante no alvo), particularmente em casos onde o alvo não é $\mathbb{A}^1$-conexo por cadeias. Segundo, visa generalizar invariantes topológicos de nós, especificamente o enrolamento (writhe) de curvas espaciais, para um contexto aritmético sobre corpos arbitrários. Enquanto a teoria clássica de nós depende de movimentos de Reidemeister e projeções planas, o análogo aritmético requer uma definição que seja invariante sob deformações algébricas e independente do centro de projeção, mesmo quando nós reais (singularidades isoladas) aparecem nas projeções.

Metodologia
Os autores fazem a ponte entre a teoria dos feixes de Ulrich e a teoria da homotopia $\mathbb{A}^1$. Sua metodologia procede em três etapas principais:

1. Feixes de Ulrich e Grau $\mathbb{A}^1$: Os autores utilizam as propriedades dos feixes de Ulrich — especificamente aqueles que são "f-Ulrich" (cujo pushforward é um fibrado trivial) — para construir orientações relativas para morfismos. Eles provam que, se uma orientação relativa é induzida por um feixe de Ulrich, os graus locais $\mathbb{A}^1$ somam-se a uma classe global no grupo de Grothendieck–Witt $GW(K)$ que é independente do ponto do alvo. Isso permite o cálculo dos graus $\mathbb{A}^1$ por meio das resoluções livres desses feixes, especificamente através de matrizes simétricas de formas lineares cujos determinantes produzem formas de Chow.

2. Variedades Secantes e Enrolamento Aritmético: Para definir um enrolamento aritmético para uma curva $C \subset \mathbb{P}^3$, os autores constroem um feixe de Ulrich simétrico específico de posto um na variedade secante $\Sigma$ da curva. Essa construção depende da existência de uma característica theta não efetiva $\alpha$ na curva. O enrolamento aritmético é então definido como o grau $\mathbb{A}^1$ do mapa de projeção da variedade secante para $\mathbb{P}^3$. Esse grau conta as linhas secantes que passam por um ponto em $\mathbb{P}^3$ com multiplicidade aritmética.

3. Isotopias Algébricas: Os autores definem "isotopias algébricas" como famílias de mergulhos parametrizadas pela reta afim $\mathbb{A}^1$. Eles investigam a classificação de mergulhos de curvas racionais em $\mathbb{P}^3$ até essas isotopias. Ao analisar as componentes conexas ingênuas do espaço de mergulhos (vistas como subconjuntos abertos de espaços projetivos via sistemas lineares), eles relacionam as classes de isotopia ao enrolamento aritmético e a outros invariantes derivados de feixes de Ulrich de posto superior.

Principais Contribuições e Resultados

• Bem-definição do Grau $\mathbb{A}^1$ (Teorema A): O artigo estabelece que, se a orientação relativa de um morfismo finito sobrejetivo $f: X \to Y$ é induzida por um feixe $f$-Ulrich, e $H^0(Y, \mathcal{O}_Y) = K$, então o grau $\mathbb{A}^1$ de $f$ é bem definido. Isso fornece uma condição para a bem-definição que não exige que o alvo $Y$ seja $\mathbb{A}^1$-conexo por cadeias.

• Cálculo Explícito via Formas de Chow (Teorema B): Para uma variedade projetiva mergulhada $X$ que suporta um feixe de Ulrich simétrico de posto um, os autores mostram que o grau $\mathbb{A}^1$ de qualquer projeção linear finita pode ser lido diretamente da matriz simétrica $\Lambda$ que aparece na representação determinantal da forma de Chow de $X$. A classe $[\Lambda(s_0 \wedge \dots \wedge s_k)] \in GW(K)$ é precisamente o grau $\mathbb{A}^1$.

• Construção do Enrolamento Aritmético (Teorema C e Definição): Os autores constroem um feixe de Ulrich simétrico de posto um na variedade secante de uma curva $C$ usando uma característica theta não efetiva $\alpha$. Isso permite a definição do enrolamento aritmético $w(\psi(C), \alpha) \in GW(K)$. Este invariante é uma contagem aritmeticamente enriquecida dos nós de projeções planas. Para curvas reais, isso recupera o enrolamento encomplexado de Viro.

• Classificação de Curvas Racionais (Teorema D): O artigo classifica as classes de isotopia algébrica de curvas racionais de baixo grau em $\mathbb{P}^3$:

  • Grau 1 e 2: Todos os mergulhos são algebricamente isotópicos.
  • Grau 3: As classes de isotopia estão em bijeção com $K^\times / (K^\times)^4$.
  • Grau 4: Dois mergulhos são algebricamente isotópicos se e somente se compartilham o mesmo enrolamento aritmético. Isso fortalece um resultado de Björklund sobre isotopia rígida sobre $\mathbb{R}$.
  • Grau 5 e 6: O enrolamento aritmético é insuficiente para distinguir todas as classes de isotopia para grau 5 (desconhecido) e grau 6. Para grau 6, os autores constroem um feixe de Ulrich de posto superior na variedade secante de uma curva normal racional, gerando um novo invariante que distingue mergulhos com o mesmo enrolamento aritmético.

Significado
O artigo afirma fornecer o primeiro invariante de nó definido dentro do contexto $\mathbb{A}^1$. Ao ligar feixes de Ulrich à teoria da homotopia $\mathbb{A}^1$, oferece uma estrutura robusta para problemas enumerativos onde invariantes topológicos clássicos são insuficientes ou onde o corpo base não é algebricamente fechado. O enrolamento aritmético serve como uma ponte entre a geometria algébrica e a teoria de nós, generalizando o trabalho de Viro para corpos arbitrários. Além disso, os resultados sobre isotopias algébricas demonstram que, embora o enrolamento aritmético seja um invariante poderoso para curvas de baixo grau, a geometria das variedades secantes e os feixes de Ulrich de posto superior são necessários para capturar a complexidade completa das classes de isotopia para graus mais altos. O trabalho sugere que o enrolamento aritmético é um invariante completo para curvas racionais de grau até quatro, mas provavelmente não para graus superiores sem invariantes adicionais.