Кіріспе

Алгебралық геометрияда Джина Фано енгізген Фано түрлілігі – алгебралық гипербеттердің толық қиылыстарының белгілі бір аспектілерін жалпылайтын алгебралық түрлілік. Олардың дәрежелерінің қосындысы ең көп дегенде қоршаған проекциялық кеңістіктің толық өлшеміне тең. Мұндай толық қиылыстар геометрия және сандар теориясында маңызды қолданыстарға ие, себебі олар әдетте рационалды нүктелерді қабылдайды, оның қарапайым жағдайы – Шевалье-Уорнинг теоремасы. Фано түрліліктері осы қарапайым мысалдардың абстрактілі жалпыламасы болып табылады, онда рационалдылық сұрақтары көбінесе қарастырыла береді. Формальды түрде, Фано түрлілігі – толық түрлілік X, оның антиканондық шоғыры KX* кең. Бұл анықтама бойынша, X өріс үстінде тегіс деп есептеуге болады, бірақ минималды модельдер бағдарламасы терминалды немесе klt сингулярлықтары бар Фано түрліліктерін зерттеуге де әкелді. Жақында дифференциалдық геометриядағы әдістер кешенді сандардағы Фано түрліліктерін зерттеуге қолданылды және Фано түрліліктерінің модульдік кеңістіктерін құруда және Фано түрліліктерінің K-тұрақтылығын зерттеу арқылы олардағы Кэлер-Эйнштейн метрикасының бар екенін дәлелдеуде сәттіліктерге қол жеткізілді.

Мысалдар

Фано түрлерінің негізгі мысалы – проекциялық кеңістіктер: Pn проекциялық кеңістігінің k өрісі бойынша антиканоникалық түйін O(n+1) болып табылады, бұл өте кең (комплекс сандар бойынша оның қисықтығы Фубини-Стади симплектілік пішінінің n+1 еселігіне тең). D болсын – Pn-дегі 1 кодименсиялы тегіс субвариант. Қосылу формуласы KD = (KX + D)|D = (−(n+1)H + deg(D)H)|D екенін білдіреді, мұнда H – гипержазықтықтың класы. Сондықтан, D гипербеті Fano болып табылады, егер және ғана егер deg(D) < n+1 болса. Көбірек айтқанда, n өлшемді проекциялық кеңістіктегі гипербеттердің тегіс толық қиылысы Fano болып табылады, егер олардың дәрежелерінің қосындысы n-нен кем немесе тең болса. Салмақты проекциялық кеңістік P(a0, ..., an) – бұл сингулярлы (klt) Fano түрі. Бұл a0, ..., an дәрежелеріндегі генераторлары бар сыныпталған полиномдық сақинаға байланысты проекциялық схема. Егер бұл жақсы қалыптасқан болса, яғни a сандарының ешқайсысының n санының ортақ бөлгіші 1-ден үлкен болмаса, онда гипербеттердің кез келген толық қиылысы, олардың дәрежелерінің қосындысы a0 + ... + an-нан кем болса, Fano түрі болады. Сызықтық алгебралық топ бойынша біртекті болатын нөлдік сипаттағы кез келген проекциялық түр Fano болып табылады.

Кіші өлшемдер бойынша жіктеу

Келесі талқылау күрделі сандардағы тегіс Фано түрлеріне қатысты. Фано қисығы проекциялық түзуге изоморфты. Фано беті дель Пеццо беті деп те аталады. Кез келген дель Пеццо беті P1 × P1 немесе ең көп дегенде сегіз нүктеде, жалпы орналасқан нүктелерде жарылған проективті жазықтыққа изоморфты. Осының нәтижесінде, олардың барлығы рационалды. 3-өлшемде рационалды емес тегіс күрделі Фано түрлері де бар, мысалы, P4-тегі кубтық 3-есе бүгілулер (Клеменс-Гриффитс бойынша) және P4-тегі квартиктік 3-есе бүгілулер (Исковских-Манин бойынша). Олар екінші Бетти саны 1-ге тең тегіс Фано 3-есе бүгілулерін 17 классқа жіктеді, ал екінші Бетти саны кем дегенде 2-ге тең тегіс түрлерін жіктеді, 88 деформация класын анықтады. Тегіс Фано 3-есе бүгілулерінің жіктелуіне толық шолу .