Idéal (ou entier) mesurant l'écart d'un ordre à être maximal ou enregistrant l'étendue de la ramification et de la dégénérescence entre deux anneaux ou d'une représentation ; pour des anneaux d'entiers il s'agit de l'idéal maximal contenu à la fois dans l'ordre et sa clôture intégrale.

Principe

Le conducteur est le plus grand idéal commun contenu dans les deux structures (pour les ordres) ou l'idéal des éléments qui préservent un sous-module ; il synthétise où le petit objet diffère du maximal et quantifie la ramification ou le défaut.

Démonstration

Pour un ordre O dans l'anneau des entiers O_K d'un corps de nombres, le conducteur f = {x ∈ O_K : x O_K ⊆ O} est un idéal de O_K mesurant l'écart entre O et O_K ; si O est maximal, le conducteur est l'idéal unité.

Mauvaise application

Interpréter le conducteur comme identique au discriminant ou l'utiliser sans préciser la paire d'ordres ou la représentation considérée conduit à de l'ambiguïté ; conducteur et discriminant sont liés mais distincts.

Conséquence

Connaître le conducteur localise et mesure la ramification et le lieu de non-maximalité ; il intervient dans les classifications modules/ extensions et contraint les comportements locaux possibles.

Inversion

Le point de vue complémentaire porte sur le différent ou le discriminant : là où le conducteur capture l'idéal commun maximal entre ordres, le différent/discriminant encode le poids global de la ramification plutôt que le recouvrement idéal-théorique.

Limite

Défini relativement à deux anneaux (ou à une représentation versus la triviale) et typiquement dans des contextes noethériens ou intègralement clos ; plusieurs notions proches existent (conducteur d'un ordre, conducteur d'Artin d'une représentation) et le contexte doit être fixé.

Tension sémantique

Le conducteur oscille entre points de vue idéal-théorique, représentationnel et arithmétique et peut être confondu avec le discriminant ou les mesures de ramification sauvage/tamisée ; la précision sur l'objet sous-jacent dissipe cette tension.

Synthèse

Le conducteur est le plus grand idéal qui mesure le recouvrement entre un ordre et sa clôture intégrale, ou le lieu contrôlant la ramification pour une extension/ représentation ; il isole où la non-maximalité ou le défaut se concentrent et complète les invariants de type discriminant.