Para logarytmiczna

W geometrii algebraicznej para logarytmiczna składa się z rozmaitości wraz z dzielnikiem, wzdłuż którego dopuszcza się łagodne osobliwości logarytmiczne. Zostały one zbadane przez Iitakę (1976) .

Definicja

Graniczny dzielnik Q _na rozmaitości to Q -dzielnik D postaci Σ d _i D _i gdzie Di są różnymi nieredukowalnymi składnikami D , a wszystkie współczynniki są liczbami wymiernymi z 0≤ d _i ≤1.

Para logarytmiczna , w skrócie para logarytmiczna , to para ( X , D ) składająca się z normalnej rozmaitości X i granicznego dzielnika Q D .

Logarytmiczny dzielnik kanoniczny pary logarytmicznej ( X , D ) to K + D , gdzie K jest kanonicznym dzielnikiem X .

Logarytmiczna 1-forma na parze logarytmów ( X , D ) może mieć logarytmiczne osobliwości postaci d log( z ) = d z / z wzdłuż składowych dzielnika danego lokalnie przez z = 0.

•    Iitaka, Shigeru (1976), „Formy logarytmiczne odmian algebraicznych”, Journal of the Faculty of Science. Uniwersytet Tokio. Sekcja I.A. Matematyka , 23 (3): 525–544, ISSN 0040-8980 , MR 0429884
•    Matsuki, Kenji (2002), Wprowadzenie do programu Mori , Universitext, Berlin, Nowy Jork: Springer-Verlag , ISBN 978-0-387-98465-0 , MR 1875410