The parity of theta characteristics is preserved by infinitesimal deformations

Título: A Paridade das Características Theta é Preservada por Deformações Infinitesimais

Autores: Margarida Mendes Lopes, Rita Pardini e Roberto Pignatelli.

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria algébrica relacionado ao comportamento das características theta (feixes de linha $L$ tais que $L^{\otimes 2} \cong \omega_C$, onde $\omega_C$ é o feixe canônico) em famílias de curvas.

• Contexto Clássico: Um teorema bem conhecido, provado por Mumford ([Mu71]) e generalizado por Harris ([Ha82]), estabelece que, em uma família plana de curvas, a paridade da dimensão do espaço de seções globais $h^0(C_t, L_t)$ é constante. Ou seja, se $L_t$ é uma característica theta para cada fibra $C_t$, então $h^0(C_t, L_t) \pmod 2$ não varia com $t$.
• A Lacuna: Embora a constância da paridade seja conhecida para fibras gerais, o comportamento da paridade quando se restringe o feixe a múltiplos de uma fibra (deformações infinitesimais, ou seja, a curvas não reduzidas da forma $kC_t$) não estava totalmente esclarecido neste contexto específico.
• Motivação: Os autores desenvolveram este trabalho enquanto estudavam superfícies de tipo geral com mapa canônico de grau ímpar. A constância da paridade em famílias era crucial, mas insuficiente para descartar certos casos patológicos que surgem ao analisar a estrutura da imagem direta superior de feixes relacionados a essas superfícies.

2. Metodologia

A prova combina técnicas de cohomologia de feixes, teoria de deformações infinitesimais e álgebra linear sobre anéis locais.

1. Redução Local e Álgebra: O problema é tratado localmente em torno de um ponto $\bar{t}$ na curva base $\Delta$. O anel local $A = \mathcal{O}_{\Delta, \bar{t}}$ é usado, juntamente com os anéis de Artin $B_k = A/s^kA$ (onde $s$ é um parâmetro local), para estudar as restrições do feixe às curvas múltiplas $kC$.
2. Lemas Auxiliares de Álgebra Linear:
   • Lema 2.1: Estabelece que, para um mapa linear dado por uma matriz antissimétrica sobre um módulo livre, a dimensão da imagem sobre os anéis $B_k$ forma uma sequência não decrescente de inteiros pares.
   • Lema 2.2: Uma versão infinitesimal da permanência da paridade da dimensão da interseção de dois subespaços isotrópicos maximais. Mostra que a sequência $kq_1 - q_k$ (onde $q_k$ é a dimensão da interseção sobre $B_k$) é não decrescente e composta por números pares.
3. Construção Geométrica:
   • Os autores utilizam pontos suaves $p_1, \dots, p_N$ na fibra $C$ para definir um divisor $D$.
   • Constroem um diagrama exato relacionando cohomologias de feixes torcidos por $D$ e $-D$.
   • Demonstram que o espaço de seções $H^0(C, L)$ pode ser identificado com a interseção de dois subespaços isotrópicos maximais ($W_1$ e $W_2$) dentro de um espaço vetorial $V$ equipado com uma forma bilinear não degenerada $Q$.
   • Generalizam essa construção para o contexto relativo (sobre a família $\pi: X \to \Delta$) e aplicam o Teorema de Mudança de Base e Cohomologia (Corolário 2.4) para garantir que as propriedades algébricas se mantenham ao tensorizar com $B_k$.

3. Principais Resultados

O artigo apresenta dois resultados centrais:

Teorema 1.1 (Versão Infinitesimal)

Seja $\pi: X \to \Delta$ uma morfismo projetivo plano sobre uma curva suave $\Delta$, com fibras $C_t$ curvas reduzidas e conectadas. Seja $L$ um feixe de linha em $X$ tal que $L_t^{\otimes 2} \cong \omega_{C_t}$ para todo $t$.
Então, para todo $k \in \mathbb{N}_{>0}$ e todo $t \in \Delta$:
$$h^0(kC_t, L|_{kC_t}) \equiv k \cdot h^0(C_t, L_t) \pmod 2$$
Além disso, a sequência de números pares $k h^0(C_t, L_t) - h^0(kC_t, L|_{kC_t})$ é não decrescente em $k$.

• Significado: Este resultado estende a constância da paridade para curvas não reduzidas (infinitesimais), mostrando que a paridade da dimensão das seções em múltiplos da fibra é determinada linearmente pela paridade na fibra reduzida.

Corolário 1.2 (Estrutura do Subfeixe de Torção)

Sob as mesmas hipóteses, o subfeixe de torção da imagem direta superior $R^1\pi_*L$ é isomorfo a uma soma direta de dois feixes coerentes isomorfos:
$$\text{Tors}(R^1\pi_*L) \cong \mathcal{T} \oplus \mathcal{T}$$

• Significado: Isso revela uma estrutura simétrica oculta no feixe de cohomologia. A torção não é arbitrária; ela se duplica, o que é uma consequência direta da paridade ser preservada e das propriedades de interseção de subespaços isotrópicos.

4. Contribuições Técnicas

• Generalização Infinitesimal: O trabalho fornece uma ferramenta poderosa para analisar famílias de curvas onde a fibra especial é singular ou não reduzida, algo comum em problemas de compactificação de espaços de módulos.
• Conexão entre Álgebra e Geometria: A prova conecta elegantemente propriedades de matrizes antissimétricas sobre anéis locais (Lema 2.1) com a geometria de interseções de subespaços isotrópicos em cohomologia (Lema 2.2).
• Aplicação a Superfícies de Tipo Geral: O resultado é utilizado para resolver casos específicos na classificação de superfícies de tipo geral com mapas canônicos de grau ímpar, permitindo descartar configurações que violariam a estrutura de torção descrita no Corolário 1.2.

5. Significado e Impacto

Este artigo é significativo porque:

1. Refina Teoremas Clássicos: Transforma um resultado global de constância (Mumford/Harris) em uma ferramenta local e infinitesimal, permitindo análises mais finas em pontos de degeneração.
2. Ferramenta para Classificação: O Corolário 1.2 oferece um critério forte (a estrutura de soma direta duplicada da torção) que pode ser usado para restringir a geometria de superfícies algébricas e suas deformações.
3. Independência: Os autores argumentam que, embora motivado por um problema específico, o Teorema 1.1 e o Corolário 1.2 têm interesse independente na teoria de feixes em famílias e na geometria de curvas.

Em suma, o artigo demonstra que a "paridade" das características theta é uma propriedade robusta que sobrevive não apenas a deformações suaves, mas também a deformações infinitesimais (múltiplos de fibras), impondo restrições estruturais fortes sobre os feixes de cohomologia associados.