Rational Homotopy Type of Complements of Submanifold Arrangements

Resumo Técnico: Tipo de Homotopia Racional de Complementos de Arranjos de Subvariedades

Enunciado do Problema
O artigo aborda o problema de determinar o tipo de homotopia racional do complemento $U = X - \bigcup_{i \in N} Z_i$, onde $X$ é uma variedade algébrica suave e compacta sobre $\mathbb{C}$ e $\{Z_i\}$ é uma coleção de subvariedades tais que todas as interseções set-teóricas $Z_I = \bigcap_{i \in I} Z_i$ são suaves. Embora o tipo de homotopia racional de complementos de divisores de cruzamento normal (NCD) seja bem compreendido via o trabalho de J. Morgan (usando a sequência espectral de Leray), um modelo de álgebra com diferenciais comutativa (cdga) unificado e explícito para arranjos suaves arbitrários (onde as interseções podem ter codimensão $>1$) era inexistente. As abordagens existentes frequentemente dependem da redução do problema ao caso NCD via resoluções de singularidades (por exemplo, resolução de Hironaka ou a compactificação maravilhosa de De Concini-Procesi), o que pode ser computacionalmente intratável ou obscurecer a estrutura combinatória do arranjo.

Metodologia
O autor desenvolve uma abordagem homológica que evita resoluções geométricas explícitas. A metodologia baseia-se na teoria de Diagramas de Hodge Mistos (MHD) e Complexos de Hodge Mistos (MHC), utilizando especificamente o arcabouço funcional estabelecido por Cirici e Horel.

1. Formalismo de Reticulado: O artigo introduz um formalismo para objetos $(L, \leq)$ e álgebras de cadeias $(L, \leq)$, onde $L$ é um poset (especificamente um reticulado local superior ou reticulado geométrico) representando a estrutura de interseção do arranjo. Isso inclui a construção de álgebras de Orlik-Solomon (OS) como álgebras de cadeias $(L, \leq)$.
2. Resolução de Mayer-Vietoris: Um "complexo de Mayer-Vietoris" $MV^\circ$ é construído como uma convolução de um feixe sobre o arranjo com a álgebra OS; este complexo modela o pushforward derivado $Rj_* j^* \mathbb{Q}$, mas é inicialmente não comutativo.
3. Construção de Čech: Para obter um modelo comutativo, o autor aplica uma construção de Čech para elevar o complexo de Mayer-Vietoris não comutativo a uma cdga genuína.
4. Diagramas de Hodge Mistos: A principal inovação técnica é a construção de um Diagrama de Hodge Misto (MVHD) baseado nesta resolução. Ao aplicar o teorema de Cirici-Horel (Teorema 1.2.13), que afirma que o termo $E_1$ de um diagrama de Hodge misto (em relação à filtração de peso) é quase-isomorfo à cdga racional subjacente de maneira functorial, o autor extrai um modelo racional diretamente da cohomologia das interseções.

Principais Contribuições e Resultados

• Modelo de Morgan Generalizado (Teorema 0.1.2): O artigo constrói uma sequência espectral multiplicativa de segundo quadrante $(E_r, d_r)$ que converge para o tipo de homotopia racional do complemento $U$.

  • O termo $E_1$ é dado por $E_1^{pq} = \bigoplus_{|I|=-p} H^q_{Z_I}(X) \otimes \mathbb{Z} \cdot d\nu_I$, onde $H^q_{Z_I}(X)$ é a cohomologia relativa da interseção $Z_I$.
  • A diferencial $d_1$ é definida via aplicações naturais induzidas por inclusões e derivações na álgebra de Grassmann.
  • Crucialmente, $E_2 = E_\infty$, e existe uma quase-isomorfia functorial $E_1 \xrightarrow{\sim} A_{PL}(U)$. Isso generaliza o resultado de Morgan para NCDs para arranjos suaves arbitrários sem a necessidade de redução ao caso NCD.

• Modelo de Reticulado para Arranjos Geometricamente Locais (Teorema 0.1.6): Para arranjos onde o poset de interseção é um reticulado localmente geométrico (uma condição que generaliza interseções limpas), o autor fornece um modelo mais econômico.

  • Este modelo utiliza a álgebra de Orlik-Solomon $OS(L)$ associada ao reticulado.
  • Ele recupera o tipo de homotopia racional via uma quase-isomorfia $E_1 \xrightarrow{\sim} A_{PL}(U)$, onde o termo $E_1$ envolve a cohomologia das interseções tensornada com os componentes graduados da álgebra OS.
  • Este resultado implica que o modelo "cubico" (Teorema 0.1.2) é um corolário formal do modelo de reticulado.

• Cohomologia e Estrutura de Hodge (Teorema 0.1.3): O artigo estabelece uma sequência espectral multiplicativa para a cohomologia do complemento que respeita a estrutura de Hodge mista. Ele prova que o termo $E_2$ é isomorfo à álgebra graduada associada da cohomologia em relação à filtração de peso (após decalage), fornecendo uma divisão natural da estrutura de álgebra.

Aplicações
O artigo demonstra a utilidade destes modelos recuperando e generalizando vários resultados conhecidos de maneira uniforme:

1. Arranjos de Subespaços Afins: Generaliza o modelo atomístico relativo de Yuzvinsky para o caso afim. Prova que os complementos de arranjos de codimensão $c$-igual são formais (Teorema 0.2.1).
2. Espaços de Configuração Cromáticos: Generaliza o modelo de Kriz-Totaro para espaços de configuração $F(M, n)$ para espaços de configuração cromáticos $F(M, G)$ associados a um grafo $G$ (Teorema 0.2.4). O artigo fornece uma cdga explícita envolvendo geradores correspondentes às arestas de $G$ e relações derivadas de ciclos em $G$, sendo esta equivariante sob o grupo de automorfismo do grafo.

Significância e Alegações
O artigo alega fornecer um método uniforme, functorial e explícito para computar o tipo de homotopia racional de complementos de arranjos de subvariedades suaves.

• Evitação de Resoluções: Uma significância primária é a evitação de resoluções geométricas explícitas (como compactificações maravilhosas) que são difíceis de manipular em exemplos. A abordagem é puramente homológica e combinatória.
• Functorialidade: Os modelos construídos são functoriais em relação a morfismos de arranjos, permitindo o estudo de ações de grupos sobre o tipo de homotopia racional.
• Unificação: O arcabouço unifica modelos anteriormente díspares (Morgan para NCDs, Yuzvinsky para arranjos lineares, Kriz-Totaro para espaços de configuração) sob um único guarda-chuva teórico baseado em diagramas de Hodge mistos e combinatória de reticulados.
• Estrutura de Hodge: A construção incorpora naturalmente a estrutura de Hodge mista do complemento, mostrando que o tipo de homotopia racional pode ser modelado por um complexo de Hodge puro no sentido da sequência espectral, mesmo quando a própria cohomologia não é pura.

O trabalho é apresentado como um desenvolvimento da teoria de diagramas de Hodge mistos de Cirici-Horel, aplicado ao contexto geométrico específico de complementos de arranjos, oferecendo uma ferramenta robusta para a teoria de homotopia racional em geometria algébrica.