The Parity of Invariant Characteristics

Resumo Técnico: A Paridade das Características Invariantes

Enunciado do Problema
O artigo aborda a determinação da paridade (par ou ímpar) de características theta em superfícies de Riemann $S$ que são invariantes sob a ação de um grupo de automorfismos finito $G \leq \text{Aut}(S)$. Uma característica theta é um fibrado de linha $L$ tal que $L^{\otimes 2} \cong K_S$ (o fibrado canônico). Sua paridade é definida como $q(L) = \dim H^0(S, L) \pmod 2$. Embora a existência de características invariantes únicas em curvas específicas (como curvas de Hurwitz e curvas modulares) tenha sido estabelecida, determinar sua paridade tem sido difícil.

A dificuldade surge de uma desconexão entre os dois métodos primários para estudar características theta:

1. Abordagem Homológica: Determinar uma base de homologia simplética e a representação induzida $G \to \text{Sp}(2g, \mathbb{Z})$. Embora isso permita o cálculo da paridade, é computacionalmente limitado a gêneros baixos.
2. Abordagem Teórica de Grupos: Utilizar a sequência exata de grupos abelianos relacionando fibrados de linha $G$-linearizados, fibrados de linha invariantes e o multiplicador de Schur $H^2(G, \mathbb{C}^\times)$. Este método é eficaz para provar a existência de características invariantes (particularmente quando $S/G \cong \mathbb{P}^1$), mas não pode, a priori, determinar sua paridade.

Metodologia
O autor propõe um método para preencher essa lacuna aproveitando a teoria de representação da cobertura dupla $\tilde{G} = 2 \cdot G$. A abordagem baseia-se em simplificações específicas em relação ao grupo $G$ e sua ação em $S$:

1. Restrições do Grupo: O método assume que $G$ é um grupo perfeito ($[G, G] = G$). Isso implica:

   • $\text{Hom}(G, \mathbb{C}^\times) = 0$.
   • $G$ possui uma extensão central universal $\tilde{G}$.
   • Qualquer fibrado de linha $G$-invariante admite uma unicamente $\tilde{G}$-linearização, resultando em uma representação linear $\rho: \tilde{G} \to \text{GL}(\Gamma(L))$.

2. Extensão Central e Paridade: O autor assume que $|H^2(G, \mathbb{C}^\times)| = 2$, tornando $\tilde{G}$ uma cobertura dupla contendo uma involução central única $z$.

   • Lema 2.1: Se $\rho(z) = -I_n$ (onde $n = \dim \rho$), então $n$ deve ser par. Como a paridade da característica theta corresponde à dimensão do espaço de seções módulo 2, provar que $\rho(z) = -I_n$ prova que a característica é par.

3. Restrições de Ação: O método assume que o mapa de quotient $\pi: S \to S/G$ possui assinatura $(0; c_1, \dots, c_r)$ (ou seja, o quotient é uma esfera).

   • O autor analisa o gerador da parte livre do grupo de fibrados $G$-linearizados. A condição para $L$ não ser $G$-linearizável (o que força o levantamento para a cobertura dupla a agir de forma não trivial) está ligada à paridade de um inteiro específico $F$ derivado das ordens dos grupos de isotropia $c_i$.
   • Especificamente, se $c_i = 2^{a_i}b_i$ (com $b_i$ ímpar) e $A = \max(a_i)$, a condição para paridade par é que $A \neq 0$ e o número de índices $i$ onde $a_i = A$ seja ímpar.

Principais Contribuições e Resultados
O artigo fornece um critério geral para provar que uma característica theta invariante é par sem recorrer a computações homológicas de baixo gênero. Os principais resultados são:

• Teorema 1.3: Se $S$ é uma curva de Hurwitz (onde $|\text{Aut}(S)| = 84(g-1)$) com um grupo de automorfismos simples e uma característica invariante única $L$, então $L$ é par.
• Prova da Conjectura 1.2: O artigo confirma a conjectura de Broughton & Disney-Hogg referente às curvas modulares $X(p)$ (onde $p \geq 7$ é um primo ímpar). Para estas curvas, a característica theta invariante única é sempre par.
• Aplicação à Curva de Bring: O método é aplicado à Curva de Bring (gênero 4, grupo de automorfismo $A_5$), verificando que sua característica invariante única é par.
• Análise de Contraexemplo: O artigo observa que, para uma superfície hiperelíptica de gênero 5 com ação $A_5$ (assinatura $(0; 3, 3, 5)$), a característica invariante única é ímpar. Isso demonstra que a condição de paridade derivada da assinatura (especificamente a paridade de $F$) é não trivial e necessária.

Significância
O artigo afirma sua significância ao resolver uma lacuna específica na classificação de características invariantes em curvas de Hurwitz. Trabalhos anteriores ([BDH25]) podiam classificar quais curvas possuíam uma característica invariante única, mas não podiam determinar sua paridade. Ao utilizar a teoria de representação da cobertura dupla $\tilde{G}$, este trabalho fornece um mecanismo puramente teórico de grupos para determinar a paridade.

O autor nota que saber a paridade dessas características tem aplicações práticas, como determinar a estabilidade de K de variedades Fano triplas associadas. O método é apresentado como suficientemente geral para se aplicar a todas as curvas de Hurwitz com grupos de automorfismos simples, completando assim a classificação da paridade de suas características invariantes únicas.