 ##  [Pathologischer Basiswechsel](/de/node/63690) 

 Definition

Ein Phänomen, bei dem eine natürliche Konstruktion (Normalisierung, Bildung der Fasern, höhere direkte Bilder, schematischer Abschluss usw.) nicht mit dem Basiswechsel entlang eines Morphismus von Schemata kommutiert und dadurch unerwartete oder schlechtartige Fasern erzeugt oder Eigenschaften bricht, die unter Basiswechsel erhalten bleiben sollten.

 

 

 

 

 

 





## Prinzip

Prinzip

Die Kommutation mit Basiswechseln wird durch Voraussetzungen wie Endlichkeit, Flachheit, Eigentlichkeit und Kohärenz gesteuert. Wenn diese Voraussetzungen fehlen oder subtile Torsions-/eingebettete Primprobleme auftreten, kann der naive Austausch von Konstruktion und Basiswechsel pathologisch sein: die faserweise Konstruktion weicht von der globalen nach Basiswechsel ab.

 

 

 

 

 





## Demonstration

Demonstration

Anschauliches Beispiel: Die Normalisierung muss nicht mit beliebigen Basiswechseln kommutieren. Man kann eine Familie X→S haben, deren Normalisierung über S, zurückgezogen auf eine Faser, nicht mit der Normalisierung der Faser nach Basiswechsel übereinstimmt — Zweige können sich nicht gleichmäßig trennen. Ein weiterer häufiger Fall sind höhere direkte Bilder R^i f_* F, deren Bildung mit dem Basiswechsel nicht kommutiert, wenn f nicht eigentlich ist oder F nicht kohärent, was zu Sprüngen in den Kohomologiedimensionen der Fasern führt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Die Annahme, dass alle sinnvollen Konstruktionen ohne Prüfung von Voraussetzungen wie Flachheit oder Eigentlichkeit mit dem Basiswechsel kommutieren; etwa indem man faserweise argumentiert, um globale Aussagen über Normalisierung oder Kohomologie herzuleiten, ohne die Basiswechseltheoreme zu prüfen, was zu falschen Schlüssen führt.

 

 

 

 

 





## Konsequenz

Konsequenz

Pathologischer Basiswechsel erzeugt Fasern mit abweichender Geometrie, macht Deszendenz- oder Deformationsargumente ungültig, kann die Halbkontinuität brechen und die Kompatibilität von Invarianten (Picardgruppen, Kohomologie, Singularitätstypen) mit Basiserweiterungen zerstören. Er erzwingt zusätzliche Prüfungen oder den Einsatz abgeleiteter bzw. korrigierter Verfahren.

 

 

 

 

## Umkehrung

Umkehrung

Guter Basiswechsel tritt auf, wenn Voraussetzungen (Kohärenz, Flachheit, Eigentlichkeit, endliche Präsentation) erfüllt sind und Theoreme garantieren, dass die Bildung mit dem Basiswechsel kommutiert; dann stimmen faserweise und globale Konstruktionen überein und Invarianten verhalten sich vorhersagbar bei Basiserweiterung.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Dieses Problem tritt in Familien von Schemata und Morse von Schemata auf; es ist am stärksten außerhalb der Klasse der flachen, eigentlichen und endlich präsentierten Morphismen mit kohärenten Garben. Abgeleitete und stack-theoretische Rahmen können Pathologien manchmal kontrollieren, doch die klassische Betrachtung verlangt, vor dem Behaupten der Kommutation standardmäßige Voraussetzungen zu prüfen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Die Spannung liegt zwischen der formalen Operation des Zurückziehens und den algebraisch/geometrischen Feinheiten (Torsion, eingebettete Prime, Nicht-Flachheit), die die Kommutation verhindern. Praktiker verwechseln mitunter naive faserweise Argumente mit echten Basiswechseleigenschaften, die nur unter präzisen Voraussetzungen garantiert sind.

 

 

 

 

 





## Synthese

Synthese

Pathologischer Basiswechsel benennt den Zusammenbruch, wenn die Bildung geometrischer oder algebraischer Konstruktionen nicht mit dem Basiswechsel kommutiert: er markiert das Versagen des faserweisen Schlussfolgerns und signalisiert die Notwendigkeit von Flachheits-/Endlichkeitsprüfungen oder des Arbeitens in der abgeleiteten Kategorie, um ein kontrolliertes Verhalten wiederherzustellen.