Suites spectrales, produits de Massey et homologie des espaces de revêtement

Informations fondamentales

• ID de l'article: 2511.11893
• Titre: Spectral sequences, Massey products and homology of covering spaces
• Auteurs: Yongqiang Liu, Laurentiu Maxim, Botong Wang
• Classification: math.AT (Topologie algébrique)
• Date de publication: 18 novembre 2025 (soumis à arXiv)
• Lien de l'article: https://arxiv.org/abs/2511.11893

Résumé

Cet article réexamine la suite spectrale équivariante considérée par Papadima-Suciu et démontre que toutes ses différentielles peuvent être calculées via des produits de Massey d'ordre supérieur. Comme première application, les auteurs généralisent le résultat de Pajitnov reliant la taille des blocs de Jordan de la partie de valeur propre 1 du module d'Alexander à la longueur des produits de Massey non nuls en cohomologie, à des coefficients dans un corps arbitraire. L'article fournit également des bornes calculables pour les nombres de Betti mod p des revêtements cycliques de puissances premières et pour les rangs des groupes de cohomologie à coefficients dans des systèmes locaux de rang un d'ordre premier. Sous des conditions appropriées, ces bornes améliorent les résultats de Papadima-Suciu. L'article spécialise également ces résultats aux compléments d'arrangements d'hyperplans, démontrant que l'annulation des produits de Massey d'ordre supérieur implique que les nombres de Betti mod p des revêtements cycliques de tours de nombres premiers sont déterminés par la structure combinatoire.

Contexte et motivation de la recherche

Contexte du problème

1. Problème central: Étudier la relation entre les propriétés homologiques des espaces de revêtement et la structure algébrique en cohomologie de l'espace de base, en particulier les produits de Massey.
2. Théorie classique: Pour les revêtements cycliques infinis $X_\nu$ (déterminés par un homomorphisme de groupes $\nu: \pi_1(X) \twoheadrightarrow \mathbb{Z}$), le module d'Alexander $H_i(X_\nu, K)$ est un $R = K[t^{\pm 1}]$-module de type fini. Lorsque $\nu$ est induit par une fibration $f: X \to S^1$, de nombreux travaux étudient la relation entre la taille des blocs de Jordan de l'action de monodromie sur $H_*(F,\mathbb{C})$ et les produits de Massey de $X$.
3. Résultats antérieurs:
   • Fernández-Gray-Morgan: Relation entre les produits de Massey de longueur 2 non nuls et les blocs de Jordan de taille supérieure à 1
   • Papadima-Suciu: Cas des espaces 1-formels, où $H^1(F,\mathbb{C})$ de la partie de valeur propre 1 est semi-simple
   • Bazzoni-Fernández-Muñoz: Les blocs de Jordan de taille 2 impliquent des produits de Massey triples non nuls
   • Pajitnov: Identification de la relation entre la longueur des produits de Massey d'ordre supérieur non nuls et la taille des blocs de Jordan de la partie de valeur propre 1 (coefficients complexes)

Motivation de la recherche

Motivation centrale: Généraliser les résultats de Pajitnov à des coefficients dans des corps de caractéristique positive. Cette généralisation est cruciale car:

1. Défaut de formalité: Les variétés compactes de Kähler et les compléments d'arrangements d'hyperplans ne sont généralement pas formels sur $\mathbb{F}_p$ (bien qu'ils le soient sur $\mathbb{C}$)
2. Lacune théorique: La théorie des suites spectrales existante concernant la partie de torsion du module d'Alexander se concentre principalement sur les coefficients complexes
3. Invariance combinatoire: Pour les arrangements d'hyperplans, comprendre les produits de Massey en caractéristique positive est essentiel pour déterminer l'invariance combinatoire des nombres de Betti des espaces de revêtement

Contributions principales

Les contributions principales de cet article incluent:

1. Caractérisation complète de la suite spectrale et des produits de Massey: Démonstration que toutes les différentielles de la suite spectrale équivariante de Papadima-Suciu sont calculées par des produits de Massey d'ordre supérieur (Proposition 2.2)
2. Généralisation du théorème de Pajitnov: Extension de la relation entre la taille des blocs de Jordan et la longueur des produits de Massey à des coefficients dans un corps arbitraire (Théorème 1.1)
3. Bornes pour les blocs de Jordan des variétés algébriques: Bornes explicites pour la taille des blocs de Jordan satisfaisant des conditions de poids pour les variétés algébriques complexes (Corollaire 1.2)
4. Bornes pour les nombres de Betti des revêtements cycliques de puissances premières: Établissement de bornes calculables pour les nombres de Betti mod p des revêtements $p^r$-ples $X_r$ (Proposition 1.3): $b_i(X_r, \mathbb{F}_p) \leq b_i(X, \mathbb{F}_p) + (p^r - 1) \cdot \beta_i(X, \eta_p)$
5. Bornes améliorées pour les systèmes locaux de rang un: Sous la condition d'absence de $p$-torsion, bornes plus fines que celles de Papadima-Suciu (Théorème 1.5)
6. Déterminabilité combinatoire pour les arrangements d'hyperplans: Démonstration que lorsque les produits de Massey d'ordre supérieur s'annulent, les nombres de Betti mod p des revêtements cycliques de tours de nombres premiers sont déterminés par la structure combinatoire

Explication détaillée des méthodes

Cadre technique fondamental

La ligne technique centrale de cet article consiste à construire une "suite spectrale de type Massey" et à démontrer son dualité avec la suite spectrale J-adique de Papadima-Suciu.

Caractérisation en algèbre de chaînes du module d'Alexander

Configuration: Soit $X$ un complexe cellulaire fini connexe, $\nu: \pi_1(X) \twoheadrightarrow \mathbb{Z}$ un épimorphisme de groupes. Fixons un corps $K$ et notons $R = K[\mathbb{Z}] \cong K[t^{\pm 1}]$.

Construction clé (Section 2):

1. Système local: Considérons le système local $L_\nu$ sur $X$ de fibre $R$, avec la représentation du groupe fondamental induite par $\nu$. On a l'isomorphisme: $H_i(X, L_\nu) \cong H_i(X_\nu, K)$
2. Complexe de chaînes tordu: Pour tout $m \in \mathbb{Z}_{>0}$, définissons le complexe de chaînes tordu de $R/(s^{m+1})$-modules (où $s = t-1$): $C_*(X, \eta, m) = (C_*(X) \otimes_K R/(s^{m+1}), \partial + s\eta)$ où la différentielle est définie par: $(\partial + s\eta)(\Delta) = \partial\Delta + s(\Delta \cap \eta)$
3. Isomorphisme clé (Proposition 2.2): On démontre que $(\partial + s\eta)^2 = 0$ et on établit l'isomorphisme: $H_i(X, L_\nu \otimes_R R/(s^{m+1})) \cong H_i(C_*(X, \eta, m))$

Technique de preuve: Via une construction explicite sur les complexes simpliciaux, utilisant le diagramme cartésien:

X_ν ----f'_ν----> R
 |                |
 p                q
 |                |
 v                v
 X  -----f_ν----> S¹

on construit un isomorphisme de complexes de chaînes $\Phi$ et on vérifie sa compatibilité avec les différentielles.

Construction de la suite spectrale

Structure de bicomplexe (Section 3):

On considère le complexe de cochaînes $(C^*(X,K) \otimes_K \widehat{R}, \delta \otimes \text{id} + (\eta \cup -) \otimes s)$ comme un bicomplexe: $A^{i,j} := C^{i+j}(X,K) \otimes_K s^i \cong C^{i+j}(X,K)$

• Applications verticales: $\delta \otimes \text{id}$
• Applications horizontales: produit cup à gauche $\eta \cup -$

Pages de la suite spectrale:

1. Page $E_1$: $E_1^{i,j} = H^{i+j}(X,K)$ avec différentielle $d_1^{i,j}(\alpha) = [\eta] \cup \alpha$
2. Page $E_2$: $E_2^{i,j} = H^{i+j}(H^*(X,K), [\eta] \cup -)$ c'est-à-dire la cohomologie d'Aomoto, dont la dimension définit le nombre de Betti d'Aomoto: $\beta_i(X, \eta_p) := \dim_{\mathbb{F}_p} H^i(H^*(X,\mathbb{F}_p), [\eta_p] \cup -)$
3. Différentielles des pages d'ordre supérieur: Pour $k \geq 2$, la différentielle $d_k$ est calculée par des produits de Massey $(k+1)$-ples

Définition des produits de Massey

Définition 3.4: Pour $\omega \in H^i(X,K)$ et $k \geq 1$, le produit de Massey $(k+1)$-ple $\langle[\eta], \omega\rangle_k$ est défini comme:

Étant donné un système de définition $\{\alpha_1, \ldots, \alpha_k\}$ satisfaisant:

• $\delta\alpha_1 = 0, [\alpha_1] = \omega$
• $\delta\alpha_2 = \eta \cup \alpha_1$
• $\vdots$
• $\delta\alpha_k = \eta \cup \alpha_{k-1}$

le produit de Massey $(k+1)$-ple est la classe de cohomologie de $\eta \cup \alpha_k$ modulo l'indétermination.

Propriétés clés:

• Lorsque $k=2$, on obtient le produit de Massey triple classique $\langle[\eta], [\eta], \omega\rangle$
• La différentielle $d_k$ de la suite spectrale calcule précisément ces produits de Massey $(k+1)$-ples

Théorèmes principaux et esquisse de leurs preuves

Théorème 1.1 (Caractérisation de la taille des blocs de Jordan)

Énoncé: Pour $i \geq 0$, la taille maximale des blocs de Jordan de la partie de valeur propre 1 de $H_i(X_\nu, K)$ est inférieure d'une unité à la longueur du produit de Massey d'ordre supérieur non nul le plus élevé en cohomologie $i$-ème associé à $\eta$. En particulier, si tous les produits de Massey d'ordre supérieur sont triviaux, alors la partie de valeur propre 1 est semi-simple.

Esquisse de preuve:

1. Utilisation du fait que $\widehat{R} = K[[s]]$ est un anneau principal
2. Tout complexe de $\widehat{R}$-modules de type fini et borné est quasi-isomorphe à une somme directe de complexes de la forme $0 \to \widehat{R} \to 0$ ou $0 \to \widehat{R} \xrightarrow{\cdot s^j} \widehat{R} \to 0$
3. Le complexe du second type a une suite spectrale qui dégénère à la page $(j+1)$, tandis que le module $\widehat{R}/(s^j)$ a des blocs de Jordan de taille $j$
4. Par conséquent, la taille maximale des blocs de Jordan = $\min_k\{d_k^{p,q} = 0 \text{ pour tout } p+q=i\} - 1$
5. Par l'interprétation en produits de Massey des différentielles de la suite spectrale, ceci est exactement la longueur du produit de Massey non nul le plus élevé moins 1

Corollaire 1.2 (Application aux variétés algébriques)

Énoncé: Soit $X$ une variété algébrique complexe de dimension $n$ (possiblement singulière), supposons que $W_0H^1(X,\mathbb{C}) = 0$ (filtration par poids). Alors pour tout $\nu: \pi_1(X) \twoheadrightarrow \mathbb{Z}$:

• La taille des blocs de Jordan de la partie de valeur propre 1 de $H_i(X_\nu, \mathbb{C})$ est $\leq \min\{2i+2, 2n\}$
• Pour $H^1$, la borne peut être améliorée à 3
• Si de plus $W_1H^1(X,\mathbb{C}) = 0$, la borne devient $\min\{i+1, n\}$

Points clés de la preuve: Utilisation du fait que la cdga de de Rham-Sullivan d'une variété algébrique complexe porte une filtration par poids que les différentielles préservent. L'hypothèse $W_0H^1 = 0$ implique que le poids de $d_k(\alpha)$ augmente d'au moins $k$, donc $d_k(\alpha) = 0$ lorsque $k > \min\{2i+2, 2n\}$.

Propositions 1.3 et 1.4 (Nombres de Betti des revêtements de puissances premières)

Proposition 1.3: Pour un revêtement $p^r$-ple $X_r \to X$, on a l'inégalité: $b_i(X_r, \mathbb{F}_p) \leq b_i(X, \mathbb{F}_p) + (p^r - 1) \cdot \beta_i(X, \eta_p)$

Preuve: Utilisation d'une suite spectrale tronquée (ayant $p^r$ colonnes), estimation à partir de la page $E_2$: $b_i(X_r, \mathbb{F}_p) \leq \sum_{k=i-p^r+1}^{i} \dim E_2^{i-k,k}$ En développant et utilisant la structure de la page $E_2$, on obtient l'inégalité désirée.

Proposition 1.4: Pour $p^r > 2$, l'égalité vaut si et seulement si la suite spectrale dégénère à la page $E_2$. En particulier, s'il existe un produit de Massey $k$-ple non trivial ($3 \leq k \leq p^r$), alors l'inégalité en degré $i$ est stricte.

Théorème 1.5 (Bornes améliorées pour les systèmes locaux de rang un)

Énoncé: Soit $\lambda \in \mathbb{C}^*$ une racine primitive $p$-ème de l'unité, $L_\lambda$ le système local de rang un correspondant. Alors: $b_i(X, L_\lambda) \leq \beta_i(X, \eta_p) + \frac{b_i(X,\mathbb{F}_p) - b_i(X,\mathbb{C})}{p-1}$

Si $H^*(X,\mathbb{Z})$ est sans $p$-torsion, alors: $b_i(X, L_\lambda) \leq \beta_i(X, \eta_p)$

S'il existe un produit de Massey $k$-ple non trivial ($3 \leq k \leq p$), l'inégalité est stricte.

Esquisse de preuve:

1. Considération du revêtement $p$-ple $Y \to X$, utilisation de $b_i(Y,\mathbb{C}) = b_i(X,\mathbb{C}) + (p-1)b_i(X,L_\lambda)$
2. Par le théorème des coefficients universels et la Proposition 1.3: $b_i(Y,\mathbb{C}) \leq b_i(Y,\mathbb{F}_p) \leq b_i(X,\mathbb{F}_p) + (p-1)\beta_i(X,\eta_p)$
3. Combinaison pour obtenir l'inégalité désirée
4. Lorsqu'il n'y a pas de $p$-torsion, $b_i(Y,\mathbb{C}) = b_i(Y,\mathbb{F}_p)$, donnant la borne améliorée

Applications aux arrangements d'hyperplans

Problème de formalité

Contexte: Le complément d'un arrangement d'hyperplans $X$ est formel sur $\mathbb{C}$ (au sens de la théorie de l'homotopie rationnelle de Sullivan), mais généralement non formel sur $\mathbb{F}_p$.

Exemple de Matei (Exemple 5.1): L'arrangement $A(p,1,3)$ dans $\mathbb{C}^3$ défini par: $z_1 \cdot z_2 \cdot z_3 \cdot \prod_{1 \leq i < j \leq 3}(z_i^p - z_j^p)$

Pour $p > 2$, Matei démontre que son complément $X$ possède un produit de Massey triple non trivial sur $H^2(X,\mathbb{F}_p)$.

Vérification numérique: Pour $p=3$, via le calcul du calcul de Fox, on obtient: $b_1(X, L_\lambda) = 1 < \beta_1(X, \eta_3) = 2$ ce qui est cohérent avec l'inégalité stricte du Théorème 1.5.

Application du théorème de Cirici-Horel

Théorème 5.2 (Cirici-Horel): Soit $X$ le complément d'un arrangement d'hyperplans, l'arrangement étant défini sur un corps $\ell$-adique $K$ ($\ell \neq p$), de corps résiduel de cardinal $q = \ell^m$. Soit $h$ l'ordre de $q$ dans $\mathbb{F}_p^*$. Si $(k-2)/h \notin \mathbb{Z}$, alors tous les produits de Massey $k$-ples sont triviaux dans $H^*(X,\mathbb{F}_p)$.

Corollaire: Pour les arrangements graphiques (graphic arrangement), en prenant $\ell = q = 2$:

• Pour $p = 3$, $h = 2$, tous les produits de Massey $k$-ples avec $k \neq 2$ sont triviaux
• Pour $p = 5$, $h = 4$, tous les produits de Massey $k$-ples avec $k \not\equiv 2 \pmod{4}$ sont triviaux

Par conséquent, par la Proposition 1.4, les nombres de Betti du revêtement $p$-ple $Y$: $b_i(Y,\mathbb{F}_p) = b_i(X,\mathbb{F}_p) + (p-1) \cdot \beta_i(X,\eta_p)$ sont entièrement déterminés par les données combinatoires.

Points d'innovation technique

1. Observation de dualité

Innovation: L'isomorphisme établi par la Proposition 2.2 révèle une relation de dualité entre la suite spectrale de type Massey et la suite spectrale J-adique de Papadima-Suciu. Cette observation est cruciale car:

• La version cohomologique est mieux adaptée au traitement des produits cup et des produits de Massey
• La version chaînes est mieux adaptée à la compréhension de l'homologie des espaces de revêtement

2. Construction explicite

Via une construction explicite sur les complexes simpliciaux (plutôt que des arguments de théorie des catégories abstraite), l'article fournit:

• La signification géométrique de l'opérateur de bord tordu $\partial + s\eta$
• Une méthode concrète de calcul des différentielles de la suite spectrale
• Une relation explicite avec l'action des transformations de revêtement

3. Traitement technique de la généralisation en caractéristique positive

Points techniques clés:

• Conventions de signes: Traitement détaillé des signes dans les produits cap et cup (Remarque 2.1), particulièrement important en caractéristique positive
• Règle de Leibniz: La vérification de $(\partial + s\eta)^2 = 0$ nécessite un suivi soigneux des signes
• Structure simpliciale: Utilisation de la structure simpliciale spéciale de $S^1$ pour simplifier la preuve

4. Raffinement des bornes

Par rapport à la borne générale de Papadima-Suciu $b_i(X,L_\lambda) \leq \beta_i(X,\eta_p)$ (pour tous les $\lambda$ d'ordre $p^r$), cet article:

• Fournit des bornes explicites pour les revêtements de puissances premières (Proposition 1.3)
• Retrouve la borne de Papadima-Suciu sous l'hypothèse d'absence de torsion (Théorème 1.5)
• Démontre que les produits de Massey non triviaux impliquent des inégalités strictes (Propositions 1.4, Théorème 1.5)

Travaux connexes

Contexte historique

1. Théorie des espaces d'applications:
   • Fernández-Gray-Morgan (1991): Produits de Massey et variétés de Kähler
   • Papadima-Suciu (2010): Formalité 1 et semi-simplicité
   • Bazzoni-Fernández-Muñoz (2015): Blocs de Jordan et produits de Massey triples
2. Théorie du module d'Alexander:
   • Papadima-Suciu (2010): Suite spectrale J-adique
   • Pajitnov (2017, 2019): Produits de Massey et blocs de Jordan (coefficients complexes)
   • Budur-Liu-Wang (2018): Théorème de monodromie pour variétés de Kähler compactes et variétés quasi-projectives
3. Arrangements d'hyperplans:
   • Matei (2006): Exemples de non-formalité en caractéristique positive
   • Yoshinaga (2020): Déterminabilité combinatoire des revêtements doubles
   • Cirici-Horel (2022): Cohomologie étale et formalité

Positionnement de cet article

Par rapport à Pajitnov:

• Généralisation à des coefficients dans un corps arbitraire (en particulier caractéristique positive)
• Utilisation de méthodes de suites spectrales plutôt que de cohomologie de Novikov

Par rapport à Papadima-Suciu:

• Identification explicite des différentielles comme produits de Massey
• Fourniture de bornes améliorées sous des conditions spécifiques
• Connexion aux propriétés combinatoires des arrangements d'hyperplans

Par rapport à Cirici-Horel:

• Application des résultats de formalité au calcul des nombres de Betti des espaces de revêtement
• Fourniture de bornes numériques explicites

Limitations et directions futures

Limitations

1. Complexité de calcul: Le calcul effectif des produits de Massey d'ordre supérieur reste difficile, particulièrement lorsque $k$ est grand
2. Indétermination: L'indétermination des produits de Massey peut affecter la précision des bornes
3. Cas particuliers: De nombreux résultats nécessitent des hypothèses supplémentaires (absence de $p$-torsion, conditions de poids, etc.)
4. Caractérisation combinatoire: Pour les arrangements d'hyperplans généraux, il reste flou de déterminer quand les produits de Massey sont déterminés par les données combinatoires

Directions futures

1. Problème de Rybnikov (Remarque 5.5): Étude de la question de savoir si la structure de l'anneau de cohomologie des revêtements doubles sur $\mathbb{F}_2$ est combinatoirement déterminée
2. Invariance combinatoire des produits de Massey d'ordre supérieur:
   • Extension des résultats de formalité de Cirici-Horel
   • Compréhension de quelles classes d'arrangements possèdent des produits de Massey d'ordre supérieur triviaux
3. Systèmes locaux plus généraux: Généralisation aux systèmes locaux de rang supérieur
4. Variétés singulières: Extension de la méthode de filtration par poids à des variétés algébriques singulières plus générales
5. Algorithmes effectifs: Développement d'algorithmes effectifs pour calculer les produits de Massey d'ordre supérieur et les bornes correspondantes sur les nombres de Betti

Évaluation approfondie

Points forts

1. Profondeur théorique:
   • Unification de plusieurs directions de recherche (module d'Alexander, produits de Massey, espaces de revêtement)
   • L'observation de dualité (Proposition 2.2) fournit une nouvelle perspective théorique
   • Connexion entre la théorie abstraite des suites spectrales et les objets géométriques concrets
2. Rigueur technique:
   • Les constructions explicites évitent l'imprécision des arguments abstraits
   • Traitement détaillé des conventions de signes (Remarque 2.1)
   • Preuves complètes et vérifiables
3. Universalité des résultats:
   • La généralisation à des coefficients dans un corps arbitraire a une valeur théorique importante
   • Hiérarchie claire allant des espaces topologiques généraux aux variétés algébriques puis aux arrangements d'hyperplans
   • Fourniture de bornes calculables plutôt que de résultats d'existence
4. Valeur applicative:
   • La déterminabilité combinatoire pour les arrangements d'hyperplans a une signification pratique
   • Connexion aux résultats récents de formalité de Cirici-Horel
   • Fourniture d'exemples concrets (arrangement de Matei, arrangements graphiques)

Insuffisances

1. Exemples de calcul limités:
   • Seule une vérification numérique de l'arrangement de Matei est donnée
   • Manque d'exemples de calcul plus nombreux montrant l'acuité des bornes
2. Calculabilité des produits de Massey:
   • Bien que la caractérisation théorique soit donnée, le calcul effectif des produits de Massey d'ordre supérieur reste un goulot d'étranglement
   • Absence d'algorithme systématique de calcul
3. Optimalité des bornes:
   • Il n'est pas clair dans quelle mesure les bornes fournies sont optimales
   • Manque de caractérisation complète des conditions nécessaires et suffisantes pour l'égalité
4. Limitations de la généralisation:
   • De nombreux résultats dépendent de $[\eta] \cup [\eta] = 0$ (provenant de $S^1$)
   • L'extension à des $\nu: \pi_1(X) \to G$ plus généraux ($G \neq \mathbb{Z}$) n'est pas évidente

Évaluation de l'impact

Contributions théoriques:

• Fourniture de nouveaux outils pour la théorie du module d'Alexander (suite spectrale de type Massey)
• Établissement d'un nouveau pont entre la topologie en caractéristique positive et la géométrie algébrique
• Avancement de la compréhension de l'homologie des espaces de revêtement

Valeur pratique:

• Fourniture d'une méthode viable pour le calcul des nombres de Betti des arrangements d'hyperplans
• Sous des conditions spécifiques (comme les conditions de Cirici-Horel), fourniture d'un algorithme combinatoire
• Nouvelle perspective sur l'application de la filtration par poids aux variétés algébriques

Reproductibilité:

• Les résultats théoriques sont rigoureux et complets
• Les constructions explicites facilitent la vérification
• Cependant, le calcul des produits de Massey d'ordre supérieur nécessite des outils spécialisés de topologie algébrique computationnelle

Impact prévisible:

• Stimulation de recherches ultérieures sur la cohomologie en caractéristique positive des arrangements d'hyperplans
• Possible impulsion au développement d'outils de calcul pour les produits de Massey
• Fourniture de nouvelles méthodes pour l'étude des propriétés arithmétiques des espaces de revêtement

Domaines d'application

1. Théorie des arrangements d'hyperplans:
   • Étude des invariants topologiques des compléments d'arrangements
   • Détermination de la déterminabilité combinatoire des nombres de Betti
   • Compréhension des phénomènes en caractéristique positive
2. Topologie algébrique:
   • Étude de l'homologie des espaces de revêtement
   • Calcul de la cohomologie à coefficients dans des systèmes locaux
   • Analyse des conditions de dégénérescence des suites spectrales
3. Géométrie algébrique:
   • Utilisation de la filtration par poids pour l'étude de la topologie des variétés
   • Compréhension de la décomposition de Jordan de l'action de monodromie
   • Étude des propriétés arithmétiques des revêtements cycliques
4. Topologie computationnelle:
   • Situations nécessitant des bornes explicites sur les nombres de Betti
   • Vérification de conjectures de formalité
   • Conception d'algorithmes pour les invariants topologiques

Références clés

1. Papadima-Suciu (2010): The spectral sequence of an equivariant chain complex - Référence principale de cet article, source originale de la suite spectrale J-adique
2. Pajitnov (2017): Massey products in mapping tori - Travail précurseur pour le cas des coefficients complexes
3. Cirici-Horel (2022): Étale cohomology, purity and formality with torsion coefficients - Outil clé fournissant la formalité
4. Matei (2006): Massey products of complex hypersurface complements - Exemple classique de non-formalité
5. Budur-Liu-Wang (2018): The monodromy theorem for compact Kähler manifolds - Contexte pour les applications en géométrie algébrique

Résumé: Ceci est un article de haute qualité en topologie algébrique théorique qui unifie avec succès plusieurs directions de recherche dans le cadre des suites spectrales et des produits de Massey. Sa contribution principale réside dans la généralisation des résultats de Pajitnov à la caractéristique positive et l'application à la théorie des arrangements d'hyperplans. L'article est techniquement rigoureux, les résultats sont profonds, et il fournit des outils théoriques importants et de nouvelles directions de recherche pour les domaines connexes. Bien que le calcul effectif des produits de Massey d'ordre supérieur reste un défi, le cadre théorique et les bornes calculables fournis par l'article possèdent une valeur théorique et pratique importante.