Ensemble de résultats en topologie équivariante et topologie algébrique qui analysent la structure homologique (en particulier modulo p) des ensembles de points fixes de transformations périodiques et d'actions de p‑groupes sur des espaces, fournissant des contraintes fortes sur l'homologie des ensembles de points fixes par rapport à l'espace ambiant.

Principe

Pour une action d'un groupe cyclique d'ordre p (ou plus généralement d'un p‑groupe) sur un complexe CW fini ou une variété, l'homologie modulo p de l'ensemble de points fixes est fortement contrainte — par exemple, si l'espace ambiant est mod p acyclique alors l'est aussi l'ensemble fixe ; le mécanisme organisateur est le transfert, les suites spectrales et la localisation au premier p.

Démonstration

Si Z/p agit cellulaires sur un complexe CW fini X avec H_*(X; Z/p) ≅ 0 (acyclique modulo p), la théorie de Smith implique que l'ensemble des points fixes X^{Z/p} satisfait H_*(X^{Z/p}; Z/p) ≅ 0 également ; dans le cas classique d'un p‑groupe agissant sur une sphère, l'ensemble fixe a l'homologie modulo p d'une sphère d'une certaine dimension (éventuellement vide).

Mauvaise application

Tirer des conclusions sur l'homologie ou la cohomologie entière à partir d'énoncés modulo p de la théorie de Smith, appliquer des conclusions propres aux actions de p‑groupes à des actions dont l'ordre comporte plusieurs facteurs premiers, ou ignorer les hypothèses de finitude/tamisation conduit à des inférences invalides.

Conséquence

La théorie de Smith fournit des contraintes puissantes sur les actions de groupes possibles sur variétés et complexes, limite la topologie des ensembles de points fixes et alimente des résultats de classification et d'obstruction en théorie des transformations et topologie équivariante ; elle motive aussi des techniques de localisation équivariante.

Inversion

Lorsque les actions sont libres (sans points fixes), les contraintes de Smith sont vaines ; l'inversion souligne la dichotomie entre actions libres (conduisant à structures quotient) et actions périodiques avec des ensembles fixes potentiellement riches et contraints.

Limite

S'applique principalement aux actions de p‑groupes (ou groupes cycliques d'ordre p) sur complexes CW finis ou variétés et aux conclusions concernant l'homologie à coefficients Z/p ; elle n'apporte pas directement d'information entière et ne s'applique pas sans conditions de finitude, tamisation ou propreté.

Tension sémantique

Il existe une tension entre la théorie de Smith et d'autres outils équivariants tels que la localisation de Borel, la cohomologie équivariante et les suites spectrales : la théorie de Smith fournit des contraintes homologiques localisées au premier p qui peuvent sembler en tension avec des énoncés formulés intégralement ou dans d'autres théories cohomologiques.

Synthèse

La Théorie de Smith donne des contraintes algébriques localisées au premier p sur les ensembles fixes d'actions périodiques et de p‑groupes en reliant l'homologie modulo p de l'espace ambiant à celle de l'ensemble fixe via transfert et localisation, et restreint ainsi fortement les topologies de points fixes admissibles en situation équivariante.