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

Sintesi Tecnica: Sul Problema di Riemann-Hilbert per Arrangiamenti di Iperpiani con una Buona Retta

Enunciato del Problema
Questo articolo affronta una variante del problema di Riemann-Hilbert sul complemento $M(\mathcal{A})$ di un arrangiamento di iperpiani affini $\mathcal{A}$ in $\mathbb{C}^\ell$. La questione centrale è se un dato fascio locale $\mathcal{L}$ su $M(\mathcal{A})$ possa essere realizzato come fascio soluzione di un sistema Pfaffiano logaritmico a coefficienti costanti. A differenza del caso classico in cui il divisore è a incrocio normale, un arrangiamento generale di iperpiani definisce un divisore che non è a incrocio normale, rendendo il problema non banale. Gli autori mirano a caratterizzare l'immagine essenziale del funtore di de Rham ristretto alla categoria di tali sistemi Pfaffiani logaritmici, denotata $\text{Pf}(\log \mathcal{A})$.

Metodologia
Gli autori adottano un approccio funtoriale, generalizzando il concetto di convoluzione intermedia al contesto degli arrangiamenti di iperpiani. La metodologia procede attraverso i seguenti passaggi:

1. Impostazione Geometrica (Buone Rette): Gli autori introducono la nozione di una "buona retta" $Y$ per un arrangiamento affine $\mathcal{A}$. Una retta $Y$ passante per l'origine è "buona" se per ogni elemento $X$ di rango 2 nel reticolo di intersezione $L(\mathcal{A})$, la somma $X + Y$ rimane in $L(\mathcal{A})$. Questa condizione garantisce che la proiezione $\pi_Y: M(\mathcal{A}) \to M(\mathcal{A}_Y)$ (dove $\mathcal{A}_Y$ è costituito dagli iperpiani paralleli a $Y$) ammetta una struttura di fibrato con fibre isomorfe a $\mathbb{C}$ meno un insieme finito di punti. Ciò generalizza i risultati di Terao per arrangiamenti centrali al caso affine.

2. Costruzione del Funtore per Fasci Locali: Utilizzando la struttura di fibrato indotta da una buona retta, gli autori definiscono un funtore di convoluzione intermedia $MC_\chi$ sulla categoria dei fasci locali $\text{Loc}(M(\mathcal{A}), \mathbb{C})$. Questa è costruita come una generalizzazione della convoluzione intermedia di Katz su $\mathbb{C} \setminus \{n \text{ punti}\}$. Il funtore è definito tramite l'immagine di un morfismo tra immagini dirette derivate ($R^1 pr_{2!}$ e $R^1 pr_{2*}$) di un prodotto tensoriale esterno che coinvolge un fascio locale di rango 1 associato a un carattere $\chi$.

3. Costruzione del Funtore per Connessioni: Parallelamente alla costruzione per i fasci locali, gli autori utilizzano la definizione di Haraoka di un funtore di convoluzione intermedia $mc_\lambda$ che agisce sulla categoria dei sistemi Pfaffiani logaritmici a coefficienti costanti, $\text{Pf}(\log \mathcal{A})$. Questo funtore opera modificando le matrici dei coefficienti delle forme di connessione lungo la direzione della buona retta $Y$.

4. Analisi di Compatibilità: Lo sforzo tecnico centrale consiste nel dimostrare la compatibilità tra questi due funtori sotto la corrispondenza di de Rham. Gli autori stabiliscono un isomorfismo tra la convoluzione intermedia di un fascio locale e il funtore di de Rham applicato alla convoluzione intermedia del corrispondente sistema Pfaffiano. Ciò richiede un'attenta analisi delle mappe dei periodi, delle sezioni multivalore e della coomologia delle fibre, specificamente sotto l'Assunzione 4.3, che impone condizioni di non risonanza sugli autovalori delle matrici dei coefficienti.

Contributi e Risultati Chiave

• Generalizzazione della "Buona Condizione": L'articolo estende la caratterizzazione di Terao delle strutture di fibrato agli arrangiamenti di iperpiani affini definendo le "buone rette" e dimostrando che l'esistenza di una tale retta implica una struttura di fibrato localmente banale sul complemento (Teorema 1.8).
• Definizione di $MC_\chi$: Gli autori definiscono il funtore di convoluzione intermedia $MC_\chi$ per fasci locali sui complementi di iperpiani dotati di una buona retta (Definizione 2.3) e dimostrano che soddisfa una legge di composizione analoga al caso classico (Teorema 2.12).
• Teorema di Compatibilità: Il risultato principale è il Teorema 4.8, che stabilisce un isomorfismo di fasci locali:
  $$MC_\chi \circ DR_{Pf}(\nabla_\mathcal{A}) \cong DR_{Pf} \circ mc_\lambda(\nabla_\mathcal{A})$$
  dove $\chi(1) = \exp(2\pi i \lambda)$ e $\nabla_\mathcal{A}$ soddisfa l'Assunzione 4.3 di non risonanza. Ciò generalizza risultati precedenti di Haraoka (per arrangiamenti di trecce) e Dettweiler–Reiter (per $\mathbb{C} \setminus \{n \text{ punti}\}$).
• Preservazione della Risolvibilità: Come corollario diretto, il Teorema 5.2 dimostra che il funtore di convoluzione intermedia preserva la risolvibilità del problema di Riemann-Hilbert per sistemi Pfaffiani logaritmici. Nello specifico, se un fascio locale $\mathcal{L}$ ammette una soluzione $\nabla_\mathcal{A}$ che soddisfa le ipotesi necessarie, allora anche $MC_\chi(\mathcal{L})$ ammette una soluzione. Viceversa, se il sistema convoluto ammette una soluzione, anche il sistema originale ne ammette una (purché il sistema soddisfi la proprietà $\wp$).

Significato
L'articolo afferma di fornire uno strumento strutturale per investigare il problema di Riemann-Hilbert nel contesto degli arrangiamenti di iperpiani. Dimostrando che il funtore di convoluzione intermedia preserva la proprietà di essere realizzabile come soluzione di un sistema Pfaffiano logaritmico a coefficienti costanti, gli autori offrono un metodo per generare nuovi fasci locali risolvibili a partire da quelli noti. Ciò estende l'applicabilità delle tecniche di convoluzione intermedia, precedentemente limitate ad arrangiamenti centrali o configurazioni specifiche, a una classe più ampia di arrangiamenti affini dotati di una "buona retta". I risultati unificano la prospettiva geometrica dei fibrati sui complementi di arrangiamenti con la manipolazione algebrica dei coefficienti di connessione.