Изучаются глобальные логканонические пороги общих гиперповерхно-стей в P(1, a1, a2, a3, a4) степени 4 i=1 ai, имеющих терминальные особен-ности.Библиография: 13 наименований.Ключевые слова: многообразие Фано, логканонический порог, аль-фа-инвариант Тиана, метрика Кэлера-Эйнштейна. § 1. Введение Пусть X -многообразие Фано 1 , имеющее не более чем логтерминальные особенности.Определение 1.1. Глобальный логканонический порог многообразия X есть число lct(X) = sup λ ∈ Q логпара (X, λD) имеет логканонические особенности для каждого эффективного Q-дивизора D ≡ −K X
0.Число lct(X) играет важную роль в кэлеровой геометрии. Пример 1.2. Если X имеет не более чем факторособенности и выполнено неравенство lct(X) > dim(X) dim(X) + 1 , то многообразие X обладает орбифолдной метрикой Кэлера-Эйнштейна [1].Предположим теперь дополнительно, что X является многообразием Фано, которое имеет Q-факториальные и терминальные особенности, и rk Pic(X) = 1. Определение 1.3. Многообразие Фано X бирационально сверхжестко, ес-ли для каждой линейной системы M на многообразии X, не имеющей непо-движных компонент, особенности логпары (X, λM) канонические, где λ -такое рациональное число, что K X + λM ≡ 0.Пусть X 1 , . . . , X r -многообразия Фано, имеющие Q-факториальные терми-нальные особенности, и rk Pic(X i ) = 1 при всех i = 1, . . . , r. В работе [2] доказан следующий результат.1 Рассматриваемые многообразия считаются проективными, нормальными и определен-ными над C.а для каждого рационального доминантного отображения ρ : X 1 × · · · × X r Y , общий слой которого является рационально связным многообразием, суще-ствуют некоторое подмножество {i 1 , . . . , i k } ⊆ {1, . . . , r} и коммутативная диаграммаПокажем, как обобщить утверждение теоремы 1.4 на случай многообразий Фано, имеющих небирегулярные бирациональные автоморфизмы (см. [3]). Определение 1.6. Многообразие X называется бирационально жестким, если для каждой непустой линейной системы M на многообразии X, не имеющей неподвижных компонент, существует бирациональный автоморфизм ξ ∈ Bir(X) такой, что логпара (X, λξ(M)) имеет канонические особенности, где λ -такое рациональное число, что K X + λξ(M) ≡ 0.Из бирациональной жесткости многообразия X следуют утверждения: 1) не существует рационального отображения ρ : X Y такого, что общий слой отображения ρ рационально связен, и выполнено неравенство dim(Y ) 1;2) не существует бирационального отображения ρ :Определение 1.7. Подмножество Γ ⊂ Bir(X) откручивает все максималь-ные особенности на многообразии X, если для каждой линейной системы M на многообразии X, не имеющей неподвижных компонент, существует элемент ξ ∈ Γ такой, что логпара (X, λξ(M)) имеет канонические особенности, где λ -такое рациональное число, что K X + λξ(M) ≡ 0.Из существования подмножества Γ ⊂ Bir(X), которое откручивает все мак-симальные особенности, следует, что Bir(X) порождена Γ и бирегулярными автоморфизмами (см.[4]). Определение 1.8. Многообразие X называется универсально бирациональ-но жестким, если для любого конечно порожденного расширения полей C ⊆ K многообра...