Fano sort

  I algebraisk geometri är en Fano-variant , introducerad av Gino Fano i ( Fano 1934 , 1942 ), en komplett variant X vars antikanoniska bunt K X * är riklig . I denna definition skulle man kunna anta att X är slät över ett fält, men det minimala modellprogrammet har också lett till studiet av Fano-varieteter med olika typer av singulariteter, såsom terminal- eller klt -singulariteter. Nyligen har tekniker inom differentialgeometri använts för att studera Fano-varietet över de komplexa talen, och framgång har funnits med att konstruera moduliutrymmen för Fano-varieteter och bevisa existensen av Kähler–Einstein-mått på dem genom studiet av K-stabilitet hos Fano sorter .

Exempel

  • Det grundläggande exemplet på Fano-varianter är de projektiva utrymmena : det antikanoniska linjeknippet av P n över ett fält k är O ( n +1), vilket är mycket gott (över de komplexa talen är dess krökning n+1 gånger Fubini– Studera symbolisk form).
  • Låt D vara en jämn kodimension-1 undervarietet i P n . Adjunktionsformeln innebär att K D = ( K X + D ) | D = (-( n +1) H + deg( D )H)| D , där H är klassen för ett hyperplan. Överytan D är därför Fano om och endast om deg( D ) < n +1.
  • Mer generellt är en jämn fullständig skärning av hyperytor i n -dimensionell projektiv rymd Fano om och endast om summan av deras grader är som mest n .
  • 000 Vägt projektivt utrymme P ( a ,..., a n ) är en singular ( klt ) Fano-variant. Detta är det projektiva schemat associerat med en graderad polynomring vars generatorer har graderna a ,..., a n . Om detta är välformat, i den meningen att inget n av talen a har en gemensam faktor som är större än 1, så är varje fullständig skärning av hyperytor så att summan av deras grader är mindre än a +...+ a n är en Fano sort.
  • Varje projektiv variation i karakteristisk noll som är homogen under en linjär algebraisk grupp är Fano.

Vissa fastigheter

Förekomsten av en riklig linjebunt på X motsvarar att X är en projektiv variant , så en Fano-variant är alltid projektiv. För en Fano-variant X över de komplexa talen, innebär Kodairas försvinnande sats att kärvkohomologigrupperna } av strukturen försvinner för . I synnerhet Todd-släktet automatiskt lika med 1. fall av detta försvinnande uttalande också berätta att den första Chern-klassen inducerar en isomorfism .

Enligt Yaus lösning av Calabi-förmodan , medger en jämn komplex variant Kähler-mått för positiv Ricci-kurvatur om och bara om det är Fano. Myers teorem säger oss därför att det universella höljet på ett Fano-grenrör är kompakt, och det kan därför bara vara ett ändligt hölje. Vi har dock nyss sett att Todd-släktet i ett Fano-grenrör måste vara lika med 1. Eftersom detta också skulle gälla för grenrörets universella täckning, och eftersom Todd-släktet är multiplikativt under ändliga täckblad, följer det att vilket Fano-grenrör helt enkelt är anslutet .

Ett mycket lättare faktum är att varje Fano-variant har Kodaira-dimension −∞.

Campana och Kollár Miyaoka Mori visade att en jämn Fano-variant över ett algebraiskt stängt fält är rationellt kedjekopplad ; det vill säga två stängda punkter kan kopplas samman med en kedja av rationella kurvor . Kollár–Miyaoka–Mori visade också att de släta Fano-varianterna med en given dimension över ett algebraiskt slutet fält med karakteristisk noll bildar en avgränsad familj, vilket betyder att de klassificeras av ändligt många algebraiska varianter. I synnerhet finns det bara ändligt många deformationsklasser av Fano-varianter av varje dimension. I denna mening är Fano-sorter mycket mer speciella än andra sorters sorter, såsom sorter av allmän typ .

Klassificering i små dimensioner

Följande diskussion gäller jämna Fano-varianter över de komplexa talen.

En Fano-kurva är isomorf till den projektiva linjen .

En Fano-yta kallas även en del Pezzo-yta . Varje del Pezzo-yta är isomorf till antingen P 1 × P 1 eller till det projektiva planet uppblåst i högst 8 punkter, som måste vara i allmänt läge. Som ett resultat är de alla rationella .

I dimension 3 finns släta komplexa Fano-varianter som inte är rationella, till exempel kubisk 3-faldig i P 4 (av Clemens - Griffiths ) och kvarts 3-faldig i P 4 (av Iskovskikh - Manin ). Iskovskih ( 1977 , 1978 , 1979 ) klassificerade den jämna Fano 3-falden med andra Betti nummer 1 i 17 klasser, och Mori & Mukai (1981) klassificerade de jämna med andra Betti nummer minst 2, och hittade 88 deformationsklasser. En detaljerad sammanfattning av klassificeringen av slät Fano 3-veck ges i Iskovskikh & Prokhorov (1999) .

Se även

Anteckningar

externa länkar

  • Fanografi - Ett verktyg för att visuellt studera klassificeringen av tredimensionella Fano-sorter.