Phénomène par lequel un ensemble de vecteurs, de sections ou d'applications linéaires qui sont indépendants pour des paramètres génériques devient linéairement dépendant en des valeurs de paramètres ou des fibres spéciales. Équivalemment, le rang d'une matrice ou d'un faisceau de sections décroît en certains points de l'espace des paramètres.

Principe

L'indépendance linéaire est souvent une condition ouverte (par ex. sur des corps ou dans des familles plates) ; la perte se produit quand des relations apparaissent, souvent détectées par la nullité de mineurs ou l'apparition de torsion. Géométriquement elle correspond à une spécialisation vers un lieu où l'enveloppe a une dimension plus petite.

Démonstration

Considérer v1(t)=(1,t) et v2(t)=(t,t^2) dans K^2 dépendant de t. En t=1 coïncident et deviennent dépendants ; plus globalement, des sections d'un fibré de rang n qui forment une trame sur la fibre générique peuvent ne plus engendrer la fibre spéciale lorsque certains mineurs s'annulent, entraînant une chute de rang.

Mauvaise application

Supposer qu'un ensemble choisi de générateurs reste une base après spécialisation, ou utiliser une telle famille pour construire un isomorphisme sans vérifier les fibres. En contextes numériques, traiter des vecteurs presque dépendants comme indépendants sans contrôles d'erreur est une autre mauvaise application.

Conséquence

Une fois reconnue, il faut adapter en passant à un ensemble générateur plus petit, en prenant des quotients, en résolvant des singularités ou en reparamétrant la famille. En géométrie cela peut signifier remplacer un fibré par sa saturation, éliminer la torsion ou enregistrer le lieu de dépendance dans une description de module.

Inversion

Indépendance linéaire stable : la famille reste indépendante sur tout l'espace des paramètres, les mineurs restent non nuls et les trivialisations locales ou bases persistent. Dans le cas inverse il n'y a pas de chute de rang et les constructions dépendantes d'une base se comportent de façon uniforme.

Limite

S'applique à vecteurs, sections et applications linéaires sur corps, anneaux et schémas ; sur bases non réduites ou en présence de torsion la notion d'indépendance demande des précautions. Le phénomène est local sur la base mais peut se globaliser en stratifications par rang.

Tension sémantique

« Perte d'indépendance » concurrence des descriptions comme « spécialisation », « dégénérescence » ou « chute de rang ». La tension porte sur le fait de voir l'événement comme une défaillance ponctuelle ou comme partie d'une déformation continue de relations linéaires.

Synthèse

La Perte d'Indépendance Linéaire est l'apparition concrète de relations dans une famille, traduite par l'annulation de mineurs et des chutes de rang qui imposent des changements structurels (quotients, saturations, changement de base). Elle se diagnostique algébriquement par des déterminants nuls et géométriquement par une spécialisation vers une enveloppe de dimension inférieure ; la réponse consiste à adapter les générateurs aux nouvelles strates de rang.