Logaritmiskt par
I algebraisk geometri består ett logaritmiskt par av en variation , tillsammans med en divisor längs vilken man tillåter milda logaritmiska singulariteter. De studerades av Iitaka (1976) .
Definition
En gräns Q-divisor på en sort är en Q -divisor D av formen Σ d i D i där D i är de distinkta irreducerbara komponenterna av D och alla koefficienter är rationella tal med 0≤ d i ≤1.
Ett logaritmiskt par , eller förkortat logpar , är ett par ( X , D ) som består av en normalvariant X och en gräns Q -delare D .
Den log kanoniska divisorn för ett log par ( X , D ) är K + D där K är den kanoniska divisorn av X.
En logaritmisk 1-form på ett logpar ( X , D ) tillåts ha logaritmiska singulariteter av formen d log( z ) = d z / z längs komponenter av divisorn som ges lokalt av z =0.
- Iitaka, Shigeru (1976), "Logarithmic former of algebraic varieties", Journal of the Science and Faculty. Tokyos universitet. Avsnitt IA. Mathematics , 23 (3): 525–544, ISSN 0040-8980 , MR 0429884
- Matsuki, Kenji (2002), Introduktion till Mori-programmet , Universitext, Berlin, New York: Springer-Verlag , ISBN 978-0-387-98465-0 , MR 1875410