Une opération sur un complexe cellulaire, un graphe ou un complexe simplicial qui identifie les deux extrémités d'une arête et supprime cette arête (ainsi que les cellules dégénérées résultantes), produisant un nouveau complexe avec une structure combinatoire et éventuellement topologique modifiée.

Principe

Simplifier la structure combinatoire en écrasant une arête en un point, réduisant ainsi le nombre de cellules tout en contrôlant la façon dont les relations d'incidence changent et en suivant les effets sur l'homotopie ou l'homologie lorsque c'est permis.

Démonstration

Dans un complexe simplicial, contracter une arête dont le lien satisfait la condition de lien (de sorte qu'aucun simplexe ne crée d'identifications illégales) donne un complexe homotopiquement équivalent ; en théorie des graphes, contracter une arête fusionne ses deux sommets et met à jour l'adjacence, utilisé dans les opérations de mineur.

Mauvaise application

Contracter une arête sans vérifier les conditions locales peut créer des identifications qui changent la topologie (introduire des boucles, points de pincement ou modifier le type d'homotopie) ou produire des structures non simpliciales ; contracter à l'aveugle en catégories PL ou lisses peut détruire des propriétés de variété.

Conséquence

Quand elle est appliquée en respectant les conditions combinatoires ou de lien, la contraction d'arête fournit des modèles plus simples préservant le type d'homotopie ou les mineurs de graphe, facilitant les preuves inductives et les réductions algorithmiques ; mal appliquée elle peut modifier des invariants de façon irréversible.

Inversion

L'opération inverse est une subdivision d'arête ou une expansion stellaire, qui n'est pas unique : de nombreuses expansions peuvent restaurer des arêtes de manières différentes, donc la contraction perd du détail combinatoire et n'est généralement pas inversible de manière unique.

Limite

Définie pour des complexes combinatoires et des graphes avec des conditions locales rigoureuses ; exclut les contractions dans des espaces topologiques quelconques sans contrôle combinatoire, ainsi que les contractions qui violent les restrictions de variété ou PL lorsqu'il faut préserver ces structures.

Tension sémantique

Proche de l'effondrement élémentaire et du collapse mais distinct : l'effondrement est une équivalence d'homotopie supprimant une face libre, tandis que la contraction peut identifier des sommets et s'emploie en théorie des mineurs ; tension entre simplification algorithmique et préservation d'une structure géométrique fine.

Synthèse

La contraction d'arête est l'opération combinatoire consistant à identifier les extrémités d'une arête et à enlever les dégénérescences résultantes pour simplifier des complexes ou des graphes, puissante pour la réduction et la formation de mineurs lorsque des conditions locales de lien et de structure garantissent la conservation des invariants topologiques souhaités.