Ein Funktor von einer Kategorie der Schemata (oder anderen algebraischen Objekten) zu Mengen oder Gruppoiden, der nicht isomorph zu dem Punktefunktor irgendeines Schemas oder algebraischen Raums ist; er signalisiert, dass ein gewünschtes Modulproblem nicht allein durch Schemata erfasst werden kann.

Prinzip

Darstellbarkeit bedeutet, dass ein Funktor durch ein universelles Objekt realisiert wird, dessen T-Punkte den Funktor reproduzieren; das Versagen der Darstellbarkeit zeigt das Fehlen eines universellen parametrisierenden Objekts in der zugelassenen Kategorie an, oft wegen Automorphismen, unendlich-dimensionaler Familien oder nichtgetrennten Verhaltens.

Demonstration

Moduli-Probleme, die eine stackartige Struktur erfordern, liefern Beispiele: der Funktor, der T auf Isomorphieklassen von Objekten mit nichttrivialen Automorphismen abbildet, kann nicht durch ein Schema darstellbar sein (z. B. Familien mit in T variierenden Stabilisatoren), was den Übergang zu algebraischen Stacks oder Gruppoidquotienten erzwingt.

Fehlanwendung

Einen nichtdarstellbaren Funktor so zu behandeln, als wäre er durch ein Schema darstellbar, oder Stabilisatorgruppen zu ignorieren, führt zu falschen universellen Familien, fehlerhaft gezählten Deformationsräumen oder der Unfähigkeit, Isomorphieklassen korrekt zu parametrieren.

Konsequenz

Die Feststellung der Nichtdarstellbarkeit leitet zur weiteren Umgebung (algebraische Räume, Stacks, formale Moduli oder abgeleitete Moduli) über, die den Funktor erfassen können, macht klar, welche universellen Objekte existieren, und erklärt Modulpathologien wie Nichttrennung oder das Fehlen eines groben Moduli-Raums.

Umkehrung

Darstellbare Funktoren sind die Umkehr: Es existiert ein Schema (oder ein algebraischer Raum), dessen Punktefunktor dem gegebenen Funktor entspricht und der eine universelle Familie und einen klassischen geometrischen Parameterraum liefert.

Abgrenzung

Betrifft Funktoren auf Kategorien von Schemata, Ringen oder Gruppoiden; schließt mengentheoretische Parametrisierungen aus, die kategorische Struktur ignorieren, und behauptet nicht Darstellbarkeit innerhalb einer unangemessen restriktiven Umgebung (z. B. Bestehen auf Schemata, wenn algebraische Räume oder Stacks notwendig sind).

Semantische Spannung

Spannung zwischen dem Funktor-von-Punkten-Standpunkt (flexibel, aber manchmal nicht darstellbar) und dem Wunsch nach konkreten geometrischen Parameteräumen (Schemata); ebenso Spannung zwischen groben Moduli und stackartigen oder abgeleiteten Erweiterungen, die zur Darstellung nötig sind.

Synthese

Ein nichtdarstellbarer Funktor ist eine Modulzuordnung ohne repräsentierendes Schema oder algebraischen Raum wegen Automorphismen, nichtgetrenntem Verhalten oder unendlicher Dimension; seine Anerkennung motiviert den Übergang zu Stacks, formalen oder abgeleiteten Methoden zur korrekten Parametrisierung.