Espaces de configurations généralisées

Ce mémoire présente une nouvelle approche pour l'étude de la cohomologie à supports compacts des espaces de configuration généralisés

∆≤_lM^m : = {(x₁,...,x_m) ϵ M^m\# {x₁,...,x_m} ≤ l},
∆_lM^m : = ∆≤_lM^m\∆<_lM^m et F_m (M) : = ∆_mM^m,

pour les espaces localement compacts M. L'approche comporte deux volets.

Le premier s'applique uniquement aux espaces i-acycliques, dont la classe contient les espaces contractiles non compacts, et, si X est i-acyclique, contient aussi les ouverts de X et les produits X x M par tout espace M. Pour un espace i-acyclique X, étant donnés i, mϵ N, les familles de représentations des groupes de permutations {S_m-a : H_c^i-a(F_m-a(X)) | a ∆ m} et {S_m-a : H_c^i-a(X^m-a | a ≤ m} se trouvent entrelacées par une matrice universelle de foncteurs d'induction de la catégorie de FI-modules. Cette propriété remarquable permet de transposer certaines questions sur la première famille en termes de la seconde, où elles sont, a priori, plus simples à étudier. Cela permet d'exprimer le caractère du S_m-module module par une formule universelle dépendant uniquement du quadruplet (? ,i,?,m) et des nombres de Betti compacts de X. La méthode nous permet également d'étendre les théorèmes de stabilité de Church aux familles D_?(a) : = { ∆_?m-aX^m)_{m ≥ a}.

Le deuxième volet décrit un procédé qui permet l'extrapolation des propriétés cohomologiques des espaces de configuration pour les espaces i-acycliques X aux espaces topologiques généraux M. L'outil principal est la suite spectrale basique qui converge vers H_c (F_m(M)) et dont la première page est constituée de représentations induites des divers H_c(F_m-a(M x R)), pour 0 ≤ a ≤ m. La suite spectrale a suffisamment de fonctorialité pour suivre, page après page, les différents rangs de monotonie et stabilité de ses termes, permettant ainsi l'estimation de ceux de son aboutissement. Comme application du procédé, les théorèmes de stabilité de représentations connus pour les familles {F_m(M)}_m où M est une variété topologique, sont généralisés aux familles D_?(a) : = {∆_?m-aM^m}_{m ≥ a}, où M est une pseudovariété. En particulier, les variétés algébriques complexes, qu'elles soient lisses on non, vérifient ces généralisations.

This memoir presents a new approach to generalized configuration spaces

∆≤_lM^m : = {(x₁,...,x_m) ϵ M^m\# {x₁,...,x_m} ≤ l},
∆_lM^m : = ∆≤_lM^m\∆<_lM^m et F_m (M) : = ∆_mM^m

of a locally compact space M. The approach is two-fold.

The first part applies only to i-acyclic spaces, which class contains noncompact contractible spaces, and, if X is i-acyclic, contains also the open subspaces of X and the products X x M by any space M. For an i-acyclic space X, given i, mϵ N, the families of representations of symmetric groups {S_m-a : H_c^i-a(F_m-a(X)) | a ∆ m} et {S_m-a : H_c^i-a(X^m-a | a ≤ m} are intertwined by a universal invertible matrix of induction functors in the category of FI-modules. This notable feature allows questions about the first family to be swapped to the second, where they are, a priori, more tractable. In this way we were able to express the character of the Sm-module by a universal formula depending only on the quadruplet ( ?, i, l, m) and the compact Betti numbers of X. The method also allowed us to extend Church's stability theorems to the families D_?(a) : = { ∆_?m-aX^m)_{m ≥ a}.

The second part describes a procedure which extrapolates cohomological properties of configuration spaces of i-acyclic spaces X to general topological spaces M. The main tool is the basic spectral sequence which converges to H_c (F_m(M)) and whose first page terms are induced representations of the various H_c(F_m-a(M x R)), pour 0 ≤ a ≤ m. The spectral sequence keeps track, page after page, of stability ranks, thereby giving estimates of them at the abutment. As an application, Church's representation stability theorems for the family {F_m(M)}_m where M is an oriented manifold, are generalized to the families D_?(a) : = {∆_?m-aM^m}_{m ≥ a}, where M is no more smooth. In particular, irreducible complex algebraic varieties, whether they are smooth or not, verify these generalizations.