Some local and global properties of secant varieties of nonsingular projective curves

1. Declaração do Problema e Contexto

O artigo investiga a geometria das variedades secantes ($\Sigma_k$) de uma curva projetiva não singular $C$ embutida no espaço projetivo $\mathbb{P}^r$ via um fibrado de linha muito amplo $L$. Especificamente, aborda lacunas e questões deixadas em aberto no trabalho anterior dos autores [8].

• Definições: Seja $C$ uma curva de gênero $g \ge 0$. A $k$-ésima variedade secante $\Sigma_k$ é a união dos $k$-planos $(k+1)$-secantes a $C$.
• Pressupostos: O fibrado de linha $L$ satisfaz $\deg L \ge 2g + 2k + 1$. Sob esta condição, o embutimento é bem-comportado (especificamente, $L$ é $(2k+1)$-muito amplo) e a resolução do fibrado secante $\beta_k: B_k(L) \to \Sigma_k$ é uma resolução de singularidades.
• Questões Abertas:
  1. Uma descrição precisa dos cones tangentes de $\Sigma_k$ em pontos singulares.
  2. O cálculo explícito dos grupos de cohomologia de potências simétricas de feixes secantes em produtos simétricos de curvas (uma questão levantada em [8, Problema 6.2]).
  3. Uma prova completa e rigorosa de que $\Sigma_k$ é arimeticamente Cohen–Macaulay (ACM), corrigindo uma falha na prova fornecida em [8] relativa a um teorema específico de Mustata (Teorema 10.42 em [11]).

2. Metodologia

Os autores empregam uma combinação de geometria birracional, técnicas cohomológicas e álgebra comutativa.

• Resolução de Singularidades: A ferramenta principal é o morfismo $\beta_k: B_k(L) \to \Sigma_k$, onde $B_k(L) = \mathbb{P}(E_{k+1,L})$ é a projetivização do feixe secante sobre o produto simétrico $C^{k+1}$.
• Análise de Fibras: A geometria das fibras $F_x = \beta_k^{-1}(x)$ é analisada. Para um ponto $x \in \Sigma_m \setminus \Sigma_{m-1}$, a fibra é isomorfa a $C^{k-m}$. O fibrado conormal da fibra é decomposto usando a divisão do fibrado normal.
• Construção do Cone Tangente: Os autores utilizam o blow-up de $\Sigma_k$ ao longo de estratos singulares e o anel graduado associado do anel local para descrever o cone tangente.
• Indução Cohomológica: Para calcular grupos de cohomologia e provar teoremas de anulação, os autores usam indução na dimensão da variedade secante, aproveitando os triângulos exatos na categoria derivada e o teorema da função formal.
• Correção da Literatura: No Apêndice, eles reprovam a propriedade ACM sem depender da afirmação errônea em [11, Teorema 10.42], utilizando em vez disso argumentos diretos de anulação cohomológica derivados da estrutura do cone tangente.

3. Contribuições e Resultados Principais

A. Descrição dos Cones Tangentes (Teorema 3.2)

O artigo fornece uma descrição geométrica do cone tangente de $\Sigma_k$ em um ponto singular $x \in \Sigma_m \setminus \Sigma_{m-1}$ (onde $0 \le m < k$).

• Resultado: O cone tangente projetivizado de $\Sigma_k$ em $x$ é um cone sobre a variedade secante $\Sigma_{k-m-1}(C, L(-2\xi))$, com o vértice sendo o espaço tangente projetivizado da variedade secante inferior $\Sigma_m$ em $x$ (denotado $\mathbb{P}(T_x^*\Sigma_m)$).
• Generalização: Isso generaliza o clássico Lema de Terracini, que descreve espaços tangentes em pontos gerais.
• Implicação: Esta descrição estrutural permite uma prova rápida de que $\Sigma_k$ é Cohen–Macaulay (Corolário 3.7), porque o anel graduado associado do anel local é o anel de coordenadas deste cone, o qual é mostrado ser Cohen–Macaulay por indução.

B. Cohomologia de Feixes Secantes (Teorema 4.2)

Os autores respondem à questão de determinar a cohomologia de potências simétricas de feixes secantes ($S^\ell E_{k+1,L}$) no produto simétrico $C^{k+1}$.

• Resultado: Eles estabelecem uma fórmula relacionando a cohomologia do feixe secante em $C^{k+1}$ com a cohomologia do feixe estrutural de variedades secantes de ordem inferior:
  $$H^i(C^{k+1}, S^\ell E_{k+1,L}) \cong \bigwedge^i H^1(C, \mathcal{O}_C) \otimes H^0(\Sigma_{k-i}, \mathcal{O}_{\Sigma_{k-i}}(\ell))$$
  para $0 \le i \le k$ e $\ell > 0$.
• Fórmula Recursiva: Usando esses cálculos de cohomologia, eles derivam uma fórmula recursiva para os polinômios de Hilbert das variedades secantes (Teorema 4.4). Isso permite o cálculo do polinômio de Hilbert de $\Sigma_k$ com base nos polinômios de $\Sigma_{k-i}$.

C. Potências Externas de Feixes Secantes (Teorema 4.9)

O artigo também calcula a cohomologia das potências externas ($\bigwedge^\ell E_{k+1,L}$) dos feixes secantes, fornecendo uma resposta completa às questões estruturais relativas a esses fibrados.

D. Cohen–Macaulayness Arimética (Teorema 3.10 & Apêndice A)

• Local para Global: Os autores provam que $\Sigma_k$ é localmente Cohen–Macaulay via análise do cone tangente.
• Propriedade Global: Eles provam que $\Sigma_k$ é arimeticamente Cohen–Macaulay (ACM).
• Correção: No Apêndice, eles fornecem uma prova completa e independente da propriedade ACM. Eles identificam explicitamente um erro de digitação em um teorema anteriormente citado ([11, Teorema 10.42]) relativo a singularidades de Du Bois e anulação de cohomologia, e substituem o argumento falho por uma prova indutiva rigorosa usando o triângulo exato de complexos dualizantes.
• Cones e Singularidades: Eles mostram que qualquer cone sobre uma variedade secante (e o próprio cone afim) possui singularidades normais Cohen–Macaulay de Du Bois. Isso responde a uma questão específica levantada por Karen Smith sobre a natureza das singularidades em cones afins sobre variedades secantes.

4. Significado

• Insight Geométrico: A descrição dos cones tangentes como cones sobre variedades secantes inferiores fornece uma compreensão estrutural profunda das singularidades das variedades secantes, ligando a geometria local em um ponto à geometria global de variedades secantes de dimensão inferior.
• Poder Computacional: A fórmula recursiva para polinômios de Hilbert e os cálculos explícitos de cohomologia fornecem ferramentas práticas para calcular invariantes de variedades secantes, que são notoriamente difíceis de calcular diretamente.
• Resolução de Problemas Abertos: O artigo responde definitivamente à questão de cohomologia levantada em [8] e corrige a prova da propriedade ACM, solidificando a fundação teórica para o estudo de variedades secantes de curvas.
• Teoria de Singularidades: A confirmação de que essas variedades (e seus cones) possuem singularidades de Du Bois coloca-as em uma classe bem-comportada de singularidades, o que é crucial para aplicações na teoria de Hodge e teoria de deformação.

Em resumo, este artigo une a análise de singularidades locais com propriedades cohomológicas globais, oferecendo um quadro abrangente e corrigido para entender a geometria das variedades secantes de curvas algébricas.