Charakterystyczna odmiana

W analizie matematycznej charakterystyczna rozmaitość operatora mikroróżnicowego P jest rozmaitością algebraiczną , która jest zbiorem zerowym głównego symbolu P w wiązce kostycznej . Jest niezmienny w skwantowanej transformacji kontaktowej.

Pojęcie to jest również zdefiniowane bardziej ogólnie w algebrze przemiennej . Podstawowe twierdzenie mówi, że rozmaitość charakterystyczna jest inwolucyjna .