On the Riemann-Hilbert problem for hyperplane arrangements with a good line

Resumo Técnico: Sobre o Problema de Riemann-Hilbert para Arranjos de Hipersuperfícies com uma Boa Linha

Enunciação do Problema
Este artigo aborda uma variante do problema de Riemann-Hilbert no complemento $M(\mathcal{A})$ de um arranjo de hipersuperfícies afins $\mathcal{A}$ em $\mathbb{C}^\ell$. A questão central é saber se um dado sistema local $\mathcal{L}$ em $M(\mathcal{A})$ pode ser realizado como o feixe solução de um sistema de Pfaffiano logarítmico com coeficientes constantes. Ao contrário do caso clássico onde o divisor é de cruzamento normal, um arranjo geral de hipersuperfícies define um divisor que não é de cruzamento normal, tornando o problema não trivial. Os autores visam caracterizar a imagem essencial do funtor de de Rham restrito à categoria de tais sistemas de Pfaffiano logarítmico, denotada $\text{Pf}(\log \mathcal{A})$.

Metodologia
Os autores empregam uma abordagem funtorial, generalizando o conceito de convolução média para o cenário de arranjos de hipersuperfícies. A metodologia procede através das seguintes etapas:

1. Configuração Geométrica (Boas Linhas): Os autores introduzem a noção de uma "boa linha" $Y$ para um arranjo afim $\mathcal{A}$. Uma linha $Y$ passando pela origem é "boa" se, para cada elemento $X$ de posto 2 no conjunto parcialmente ordenado de interseções $L(\mathcal{A})$, a soma $X + Y$ permanece em $L(\mathcal{A})$. Esta condição assegura que a projeção $\pi_Y: M(\mathcal{A}) \to M(\mathcal{A}_Y)$ (onde $\mathcal{A}_Y$ consiste em hipersuperfícies paralelas a $Y$) admite uma estrutura de fibrado com fibras isomórficas a $\mathbb{C}$ menos um conjunto finito de pontos. Isso generaliza os resultados de Terao para arranjos centrais ao caso afim.

2. Construção do Funtor para Sistemas Locais: Utilizando a estrutura de fibrado induzida por uma boa linha, os autores definem um funtor de convolução média $MC_\chi$ na categoria de sistemas locais $\text{Loc}(M(\mathcal{A}), \mathbb{C})$. Isso é construído como uma generalização da convolução média de Katz em $\mathbb{C} \setminus \{n \text{ pontos}\}$. O funtor é definido via a imagem de um morfismo entre imagens diretas derivadas ($R^1 pr_{2!}$ e $R^1 pr_{2*}$) de um produto tensorial externo envolvendo um sistema local de posto 1 associado a um caractere $\chi$.

3. Construção do Funtor para Conexões: Paralelamente à construção para sistemas locais, os autores utilizam a definição de Haraoka de um funtor de convolução média $mc_\lambda$ atuando na categoria de sistemas de Pfaffiano logarítmico com coeficientes constantes, $\text{Pf}(\log \mathcal{A})$. Este funtor opera modificando as matrizes de coeficientes das formas de conexão ao longo da direção da boa linha $Y$.

4. Análise de Compatibilidade: O esforço técnico central envolve provar a compatibilidade entre estes dois funtores sob a correspondência de de Rham. Os autores estabelecem um isomorfismo entre a convolução média de um sistema local e o funtor de de Rham aplicado à convolução média do sistema de Pfaffiano correspondente. Isso requer uma análise cuidadosa de aplicações de período, seções multivaloradas e a cohomologia das fibras, especificamente sob a Hipótese 4.3, que impõe condições de não ressonância nos autovalores das matrizes de coeficientes.

Principais Contribuições e Resultados

• Generalização da Bondade: O artigo estende a caracterização de Terao de estruturas de fibrado para arranjos afins de hipersuperfícies, definindo "boas linhas" e provando que a existência de tal linha implica uma estrutura de fibrado localmente trivial no complemento (Teorema 1.8).
• Definição de $MC_\chi$: Os autores definem o funtor de convolução média $MC_\chi$ para sistemas locais em complementos de hipersuperfícies com uma boa linha (Definição 2.3) e provam que satisfaz uma lei de composição análoga ao caso clássico (Teorema 2.12).
• Teorema de Compatibilidade: O resultado principal é o Teorema 4.8, que estabelece um isomorfismo de sistemas locais:
  $$MC_\chi \circ DR_{Pf}(\nabla_\mathcal{A}) \cong DR_{Pf} \circ mc_\lambda(\nabla_\mathcal{A})$$
  onde $\chi(1) = \exp(2\pi i \lambda)$ e $\nabla_\mathcal{A}$ satisfaz a Hipótese de não ressonância 4.3. Isso generaliza resultados anteriores de Haraoka (para arranjos de trança) e Dettweiler–Reiter (para $\mathbb{C} \setminus \{n \text{ pontos}\}$).
• Preservação da Solubilidade: Como corolário direto, o Teorema 5.2 demonstra que o funtor de convolução média preserva a solubilidade do problema de Riemann-Hilbert para sistemas de Pfaffiano logarítmico. Especificamente, se um sistema local $\mathcal{L}$ admite uma solução $\nabla_\mathcal{A}$ satisfazendo as hipóteses necessárias, então $MC_\chi(\mathcal{L})$ também admite uma solução. Reciprocamente, se o sistema convoluído admite uma solução, o sistema original também o faz (desde que o sistema satisfaça a propriedade $\wp$).

Significado
O artigo afirma fornecer uma ferramenta estrutural para investigar o problema de Riemann-Hilbert no contexto de arranjos de hipersuperfícies. Ao mostrar que o funtor de convolução média preserva a propriedade de ser realizável como solução de um sistema de Pfaffiano logarítmico com coeficientes constantes, os autores oferecem um método para gerar novos sistemas locais solúveis a partir de conhecidos. Isso estende a aplicabilidade das técnicas de convolução média, anteriormente limitadas a arranjos centrais ou configurações específicas, a uma classe mais ampla de arranjos afins que possuem uma "boa linha". Os resultados unificam a perspectiva geométrica de fibrados em complementos de arranjos com a manipulação algébrica dos coeficientes de conexão.