Построение простых $\mathbb{Q}$-многообразий Фано размерности три коразмерности четыре через ключевые многообразия, связанные с $\mathbb{P}^2\times \mathbb{P}^2$-расслоениями

Основная информация

• ID статьи: 2407.06200
• Название: Constructing prime $\mathbb{Q}$-Fano threefolds of codimension four via key varieties related with $\mathbb{P}^2\times \mathbb{P}^2$-fibrations
• Автор: Хиромити Такаги (Математический факультет, Университет Гакусюин)
• Классификация: math.AG (алгебраическая геометрия)
• Дата публикации: июль 2024 г. (arXiv v2: 31 октября 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2407.06200

Аннотация

В данной работе на основе ранее построенных автором аффинных многообразий $\Sigma_{\mathbb{A}}^{13}$ и $\Pi_{\mathbb{A}}^{14}$ (части проективизаций которых допускают $\mathbb{P}^2\times\mathbb{P}^2$-расслоения с относительным числом Пикара, равным 1) в взвешенных проективных пространствах строятся простые квазигладкие $\mathbb{Q}$-многообразия Фано размерности три с антиканоническим вложением коразмерности четыре. Эти многообразия принадлежат соответственно 23 классам (из $\Sigma_{\mathbb{A}}^{13}$) и 8 классам (из $\Pi_{\mathbb{A}}^{14}$ или его конуса) в базе данных Graded Ring Database. Кроме того, доказано, что общий элемент антиканонической линейной системы общего простого $\mathbb{Q}$-многообразия Фано размерности три является квазигладкой K3-поверхностью, имеющей только особенности типа Дю Валя.

Исследовательский контекст и мотивация

Основная проблема

Данная работа посвящена центральной проблеме алгебраической геометрии: классификации $\mathbb{Q}$-многообразий Фано размерности три. Конкретно, она сосредоточена на:

1. Существовании и построении простых $\mathbb{Q}$-многообразий Фано размерности три (антиканонический дивизор которых порождает численный класс группы дивизоров Вейля)
2. Случае антиканонического вложения коразмерности 4 (это наиболее сложный случай в классификации)

Значимость проблемы

• Классификация $\mathbb{Q}$-многообразий Фано является центральной задачей теории Мори для проективных трёхмерных многообразий
• База данных Graded Ring Database (GRDB) предоставляет огромную таблицу кандидатов, требующих проверки их фактического существования
• Случаи коразмерности ≤2 полностью классифицированы, коразмерность 3 имеет систематические конструкции (Altınok с использованием кососимметричных матриц 5×5), но коразмерность 4 содержит множество нерешённых случаев

Ограничения существующих методов

1. Метод Type I unprojection (Brown-Kerber-Reid): построены примеры для 116 из 143 классов, но не проверено, равно ли число Пикара единице
2. Метод кластерных многообразий (Coughlan-Ducat): использованы $C_2$- или $G_2^{(4)}$-кластерные многообразия для построения некоторых примеров, но охват ограничен
3. Type II unprojection (Taylor): построены некоторые примеры, но несколько классов остаются непокрытыми

Исследовательская мотивация

В предыдущих работах автор построил более общие ключевые многообразия $H_{\mathbb{A}}^{13}$ и $U_{\mathbb{A}}^{14}$, которые включают кластерные многообразия как частные случаи. В настоящей работе эта идея развивается дальше через новые ключевые многообразия $\Sigma_{\mathbb{A}}^{13}$ и $\Pi_{\mathbb{A}}^{14}$ (части проективизаций которых допускают специальные структуры расслоений), позволяя систематически построить новые примеры и заполнить пробелы в классификации.

Основные вклады

1. Систематический метод построения: через взвешенные полные пересечения в взвешенных проективизациях ключевых многообразий $\Sigma_{\mathbb{A}}^{13}$ и $\Pi_{\mathbb{A}}^{14}$ построены 31 класс простых $\mathbb{Q}$-многообразий Фано размерности три (23 класса из $\Sigma_{P}^{12}$, 8 классов из $\Pi_{P}^{13}$ или $\Pi_{P}^{14}$)
2. Проверка существования: доказано, что эти конструкции действительно дают квазигладкие простые $\mathbb{Q}$-многообразия Фано размерности три, согласованные с численными данными в GRDB
3. Свойства K3-поверхностей: доказано, что общий элемент антиканонической системы является квазигладкой K3-поверхностью, имеющей только особенности типа A Дю Валя
4. Прогресс в классификации: в сочетании с предыдущими работами, существование 141 класса из 143 подтверждено (остаются только классы No.166 и No.12960, последний решён в последующей работе)
5. Новые примеры: построенные примеры включают несколько новых классов, недостижимых предыдущими методами (например, No.308, 393, 642, 644 и др.)

Описание методов

Определение задачи

Цель: для заданных численных данных в GRDB (полином Гильберта, корзина особенностей, веса координат) построить трёхмерное многообразие $X$, удовлетворяющее следующим условиям:

• Входные данные: численный триплет (a,b,c)
• Выходные данные: трёхмерное простое $\mathbb{Q}$-многообразие Фано с антиканоническим вложением коразмерности 4
• Ограничения:
  1. $X$ квазигладко (аффинный конус гладок вне вершины)
  2. $X$ имеет только терминальные особенности
  3. Число Пикара $X$ равно 1
  4. Антиканонический дивизор $X$ примитивен

Построение ключевых многообразий

Определение $\Sigma_{\mathbb{A}}^{13}$

В 18-мерном аффинном пространстве $A_{\Sigma}$ с координатами: $p = \begin{pmatrix} p_1 \\ p_2 \\ p_3 \end{pmatrix}, \quad p_4, \quad q = \begin{pmatrix} q_1 \\ q_2 \\ q_3 \end{pmatrix}, \quad r, \quad u, \quad S = \begin{pmatrix} s_{11} & s_{12} & s_{13} \\ & s_{22} & s_{23} \\ & & s_{33} \end{pmatrix}, \quad t = \begin{pmatrix} t_1 \\ t_2 \\ t_3 \end{pmatrix}$

$\Sigma_{\mathbb{A}}^{13}$ определяется 9 полиномиальными уравнениями $F_1,\ldots,F_9$ (на гиперплоскости $s_{33}=1$):

• $F_1 = {}^t p q$
• ${}^t(F_2, F_3, F_4) = (rI + A_q S)p + p_4 A_q t$
• $F_5 = {}^t p S p + p_4 {}^t p t$
• ${}^t(F_6, F_7, F_8) = up - (rI - A_q S)A_q t$
• $F_9 = up_4 + (r^2 + {}^t q S^\dagger q)$

где $A_q$ — кососимметричная матрица, определяемая $q$, а $S^\dagger$ — присоединённая матрица к $S$.

Определение $\Pi_{\mathbb{A}}^{14}$

В 19-мерном аффинном пространстве $A_{\Pi}$ с координатами: $p_1, p_2, p_3, p_4, u_1, u_2, s_1, s_2, s_3, t_1, t_2, t_{123}, t_{124}, t_{125}, t_{126}, t_{135}, t_{136}, t_{245}, t_{246}$

$\Pi_{\mathbb{A}}^{14}$ определяется 9 полиномиальными уравнениями $G_1,\ldots,G_9$ (на гиперплоскости $t_{246}=1$), включающими квадратичные и кубические члены этих координат.

Стратегия построения

Построение через взвешенные полные пересечения

Для каждого класса трёхмерное многообразие $X$ строится как: $X = K \cap (a_1)^{m_1} \cap \cdots \cap (a_k)^{m_k}$ где:

• $K = \Sigma_P^{12}$ или $\Pi_P^{13}$ (взвешенная проективизация ключевого многообразия)
• $(a_i)$ обозначает общую гиперповерхность веса $a_i$
• $m_1 + \cdots + m_k = \dim K - 3$

Ключевое наблюдение: для каждого веса $a_i$ количество координат веса $a_i$ не менее $m_i$, поэтому можно выбрать уравнения сечения в виде: $\text{(координата веса }a_i\text{)} = \text{(полином веса }a_i\text{ от других координат)}$

Построение K3-поверхностей

Сечение антиканонического дивизора $T$ определяется как: $T = K \cap (b_1)^{n_1} \cap \cdots \cap (b_l)^{n_l}$ где веса $b_i$ подходящим образом выбраны для включения сечения веса 1.

Стратегия проверки

Статья использует трёхшаговую стратегию проверки, доказывая следующие три ключевых утверждения:

Утверждение (A): $X$ — квазигладкое трёхмерное многообразие, $T$ — квазигладкая поверхность

• То есть $X_A^o$ — гладкое четырёхмерное многообразие, $T_A^o$ — гладкое трёхмерное многообразие

Утверждение (B): анализ особенностей

• $\text{Sing } X = \text{Sing } T$
• $X$ и $T$ имеют только особенности заданного типа циклических факторов

Утверждение (C): граница — простой дивизор

• $X \cap \{b=0\}$ — простой дивизор (где $b=p_1$ для $\Sigma_P^{12}$, $b=p_3^2+t_1p_4^2+p_4u_2$ для $\Pi_P^{13}$)

Технические инновации

1. Вычисление линейной части (LPC)

Это основная техника проверки типа особенности:

• В особой точке $t$ выбирается ненулевая координата $x$, локализуются уравнения
• Вычисляется линейная часть локализованных уравнений
• Проверяется, что линейная часть натягивает 4-мерное подпространство в кокасательном пространстве
• Определяются веса локальных координат относительно действия стабилизирующей группы
• Прямо получается тип особенности (например, $1/\alpha(\beta, \alpha-\beta)$)

Преимущества: в отличие от метода Якобиана, LPC не только проверяет гладкость, но и прямо определяет тип особенности.

2. Стратегия редукции

Упрощение проверки через следующие редукции:

• Утверждение (A) для $T$ влечёт для $X$: так как $\text{Sing } X_A^o \subset \text{Sing } T_A^o$
• Утверждение (B) редуцируется к $T$: так как нелокально свободное место $X$ содержится в $T$
• Утверждение (C) редуцируется к оценке размерности: нужно только доказать $\dim \text{Sing}(T \cap \{b=0\}) \leq 0$

3. Анализ через диаграммы

Анализ $T$ разбивается на:

• $p_1$-диаграмма: обычно полное пересечение или аффинное пространство
• $p_2$-диаграмма: предполагается $p_1=0$ для упрощения вычислений
• Локус $\{p_1=p_2=0\}|_T$: обычно конечное множество точек, проверяется LPC

4. Вычислительная стратегия

Для разных уровней сложности используются разные подходы:

• $h^0(\mathcal{O}_{P_X}(1))=1$: прямой анализ уравнений $T$
• $h^0(\mathcal{O}_{P_X}(1))=2$: анализ кривой $C=T\cap T'$
• $h^0(\mathcal{O}_{P_X}(1))\geq 3$: нужна только информация о базисном локусе

Экспериментальная установка

Источники данных

• База данных Graded Ring Database (GRDB): предоставляет 143 класса кандидатов простых $\mathbb{Q}$-многообразий Фано коразмерности 4
• Исключены два класса: No.29374 (гладкое многообразие Фано рода 6, классифицировано Гушелем) и No.26989 (рода 5 с одной особенностью $1/2(1,1,1)$, классифицировано)
• Из оставшихся 141 класса в данной работе рассмотрены 31 класс

Вычислительные инструменты

1. Magma: для проверки образующих идеалов, вычисления исключающих идеалов якобиана
2. Mathematica: для символических вычислений, вычисления линейной части, преобразований локальных координат
3. Полный код: автор предоставил код на Mathematica (CodeQFano.nb) на GitHub

Процедура проверки

Для каждого класса (например, No.360, 1185, 577 и т.д.):

1. Определяются веса сечений и количество параметров
2. Записывается вложение $T$ или $C$
3. Определяются места особенностей (через анализ весов)
4. На различных диаграммах проверяется гладкость (метод Якобиана или LPC)
5. В специальных точках проверяется тип особенности (LPC)
6. Проверяется неприводимость границы

Экспериментальные результаты

Основные результаты (Теорема 1)

Часть (1): для каждого набора численных данных в таблице 1 (23 класса) и таблице 3 (8 классов) существует квазигладкое простое $\mathbb{Q}$-многообразие Фано размерности три $X$, удовлетворяющее:

• антиканоническому вложению коразмерности 4
• построению как взвешенное полное пересечение в $\Sigma_P^{12}$ (или $\Pi_P^{13}$/$\Pi_P^{14}$)
• согласованности численных данных с GRDB

Часть (2): для общего $X$ общий элемент $|{-K_X}|$ — это $T$ — квазигладкая K3-поверхность, удовлетворяющая:

• наличию только особенностей типа A Дю Валя
• $\text{Sing } T = \text{Sing } X$
• если $X$ имеет в некоторой точке особенность $1/\alpha(\beta,-\beta,1)$, то $T$ имеет в этой точке особенность $1/\alpha(\beta,-\beta)$

Анализ конкретных примеров

Случай No.360

• Вложение: $T \subset \mathbb{P}(4,5,6,7^2,8,9)$
• Параметры: 6 комплексных параметров $a_3,\ldots,b_0$
• Особенности:
  • 2 особенности типа $1/4(1,3)$ (на $T\cap\mathbb{P}(t_2,p_2)$)
  • 1 особенность типа $1/6(1,5)$ ($p_4$-точка)
  • 1 особенность типа $1/7(2,5)$ ($p_1$-точка)
• Метод проверки:
  • $p_1$-диаграмма: полное пересечение, проверяется методом Якобиана
  • $p_2$-диаграмма: после удаления сечения веса 8 становится гиперповерхностью, легко проверяется гладкость
  • Конечные точки: LPC определяет тип особенности

Случай No.1185

• Вложение: $T \subset \mathbb{P}(2,3,4,5^2,6,8)$
• Параметры: 17 комплексных параметров
• Особенности:
  • 3 особенности типа $1/2(1,1)$
  • 1 особенность типа $1/5(1,4)$
  • 1 особенность типа $1/8(3,5)$ ($u$-точка)
• Специальная обработка: анализ $\{p_1=p_2=0\}|_T$ требует проверки свободности действия $Z_8$

Случай No.577 (наиболее сложный)

• Вложение: $T \subset \mathbb{P}(3,4,5^2,6^2,7)$
• Параметры: 8 комплексных параметров
• Особенности:
  • 1 особенность типа $1/2(1,1)$
  • 3 особенности типа $1/3(1,2)$
  • 2 особенности типа $1/5(1,4)$
• Техническая сложность: требуется доказать, что три открытых подмножества изоморфны открытым подмножествам аффинного 9-пространства, использован тонкий локальный анализ

Статистические результаты

Прогресс в классификации

• 141 класс из 143 теперь имеют построенные примеры
• Остаются только 2 класса:
  • No.166: существование остаётся неизвестным (если существует, то является бирационально супержёстким)
  • No.12960: решено в последующей работе Tak10

Связанные работы

Исторический контекст

1. Фано (1942): классификация гладких простых трёхмерных многообразий Фано
2. Исковских-Мори-Мукаи: развитие теоретического аппарата теории Мори
3. База данных Graded Ring Database: предоставление систематического списка кандидатов

Случаи коразмерности ≤3

• Коразмерность ≤2: классификация Фано-Исковских завершена (квазигладкий случай)
• Коразмерность 3: систематическое построение Алтынока с использованием кососимметричных матриц 5×5

Предыдущие работы по коразмерности 4

Brown-Kerber-Reid (2012)

• Метод: Type I unprojection (типы Tom и Jerry)
• Охват: 116 из 143 классов
• Ограничение: не проверено число Пикара, равное 1

Coughlan-Ducat (2020)

• Метод: кластерные многообразия ранга 2 ($C_2$ и $G_2^{(4)}$)
• Вклад: первое использование метода ключевых многообразий
• Ограничение: ограниченный охват

Предыдущие работы автора

• $H_{\mathbb{A}}^{13}$: включает $C_2$-кластерные многообразия, построены No.20652 и др.
• $U_{\mathbb{A}}^{14}$: включает $G_2^{(4)}$-кластерные многообразия, построены No.20544 и др.
• Ключевое наблюдение: структура расслоения частичной проективизации гарантирует число Пикара, равное 1

Taylor (2020)

• Метод: Type II unprojection
• Вклад: построение 14-мерного аффинного многообразия $\Upsilon_{\mathbb{A}}^{14}$
• Связь: вдохновило построение $\Pi_{\mathbb{A}}^{14}$ в данной работе

Преимущества данной работы

1. Систематичность: единый каркас ключевых многообразий для обработки нескольких классов
2. Новые примеры: получены классы, недостижимые предыдущими методами
3. Теоретическая гарантия: использование структуры расслоения автоматически гарантирует число Пикара, равное 1
4. Проверяемость: предоставлен полный вычислительный код

Заключение и обсуждение

Основные выводы

1. Полнота построения: через два ключевых многообразия $\Sigma_{\mathbb{A}}^{13}$ и $\Pi_{\mathbb{A}}^{14}$ систематически построены 31 класс простых $\mathbb{Q}$-многообразий Фано размерности три
2. Прогресс в классификации: в сочетании с предыдущими работами 141 класс из 143 теперь имеют построения, остаётся только No.166
3. Свойства K3-поверхностей: общее сечение антиканонического дивизора — это квазигладкая K3-поверхность, имеющая только особенности типа A Дю Валя
4. Эффективность метода: метод "построения через ключевые многообразия" доказан как мощный инструмент для систематического построения $\mathbb{Q}$-многообразий Фано размерности три

Ограничения

1. Вычислительная сложность:
   • Некоторые случаи (например, No.577) требуют очень тонкого локального анализа
   • Зависимость от компьютерных систем алгебры (Magma и Mathematica)
   • Ручная проверка практически невозможна
2. Охват:
   • Рассмотрены только 31 класс, хотя в сочетании с другими работами охвачены 141 класс
   • Существование No.166 остаётся открытым вопросом
3. Общие вопросы:
   • Построение зависит от выбора "общих" параметров
   • Не обсуждены вырождения при специальных параметрах
4. Уникальность:
   • Не обсуждена классификация различных топологических типов в одном классе
   • Хотя упоминается, что различные взвешенные проективизации дают различные топологические типы

Будущие направления

Автор явно указывает следующие направления:

1. Дальнейшее применение $U_{\mathbb{A}}^{14}$:
   • Ожидается получение дополнительных примеров коразмерности 4
   • Планируется исследование в будущих работах
2. Существование No.166:
   • Это единственный оставшийся нерешённый класс
   • Если существует, известно, что является бирационально супержёстким (Okada)
3. Альтернативные построения No.12960:
   • Уже построено в Tak10 через другие ключевые многообразия
   • Частичная проективизация допускает 5-мерный конус над $\mathbb{P}^2\times\mathbb{P}^2$-расслоением
4. Обобщение на большие размерности:
   • Метод ключевых многообразий может обобщаться на многообразия Фано большей размерности
   • Связь между структурой расслоения и числом Пикара заслуживает глубокого изучения

Теоретическое значение

1. Теория Мори: предоставляет систематический инструмент для классификации $\mathbb{Q}$-многообразий Фано размерности три
2. Теория модулей:
   • Различные топологические типы в одном классе соответствуют различным компонентам пространства модулей
   • Различные взвешенные проективизации ключевых многообразий дают систематическую параметризацию
3. Метод расслоений:
   • Структура расслоения частичной проективизации — эффективный инструмент контроля числа Пикара
   • Относительное число Пикара 1 + число Пикара общего слоя ≥2 → число Пикара всего пространства = 1

Глубокая оценка

Достоинства

1. Методологическая инновативность (★★★★★)

• Каркас ключевых многообразий: систематизирует метод ключевых многообразий, обобщая от кластерных многообразий к более общим структурам
• Геометрическое понимание расслоений: глубокое использование геометрических свойств $\mathbb{P}^2\times\mathbb{P}^2$-расслоений для контроля числа Пикара
• Технические инструменты: метод LPC более эффективен при проверке типов особенностей, чем традиционный метод Якобиана

2. Теоретическая строгость (★★★★★)

• Полные доказательства: хотя и зависят от вычислений, логический каркас ясен и полон
• Стратегия редукции: систематическая редукция $X \to T \to C$ упрощает проверку
• Поддержка предложений: свойства ключевых многообразий (неприводимость, нормальность, UFD-свойство) имеют полные доказательства

3. Вычислительная проверяемость (★★★★☆)

• Открытый код: полный код на Mathematica доступен на GitHub
• Полные данные: таблицы 1-4 содержат полные данные для всех 31 классов
• Репрезентативные примеры: полные вычислительные процессы для No.360, 1185, 577
• Недостаток: некоторые вычисления остаются сложными, воспроизведение требует специальных знаний

4. Научная ценность (★★★★★)

• Прогресс в классификации: продвижение от 116 известных классов к 141 (в сочетании с другими работами)
• Новые примеры: 8 полностью новых классов при первом построении
• Методологический вклад: предоставляет систематический каркас для будущих исследований

5. Качество изложения (★★★★☆)

• Ясная структура: раздел стратегии (раздел 2) подробно объясняет логику проверки
• Технические детали: приложение содержит обзор определений ключевых многообразий
• Читаемость: для специалистов по алгебраической геометрии статья легко следуется
• Пространство для улучшения: для неспециалистов может оставаться слишком технической

Недостатки

1. Зависимость от вычислений (★★★☆☆)

• Чёрный ящик: многие проверки зависят от встроенных команд Magma/Mathematica
• Проблема воспроизводимости: хотя код доступен, полное воспроизведение всех 31 классов требует значительного времени
• Теория vs вычисления: строгость некоторых утверждений (например, "общие параметры") зависит от вычислительной проверки

2. Охват (★★★☆☆)

• Частичный охват: рассмотрены только 31/143 класса (хотя в сочетании с другими работами достаточно)
• Ограничения метода: $\Sigma_{\mathbb{A}}^{13}$ и $\Pi_{\mathbb{A}}^{14}$ не могут охватить все случаи
• No.166: остаётся нерешённым, может потребовать принципиально новый подход

3. Обсуждение общих вопросов (★★☆☆☆)

• Пространство параметров: не обсуждена подробно структура модулей параметров
• Вырождения: поведение при специальных параметрах не анализировано
• Топологические типы: различные топологические типы в одном классе не полностью классифицированы

4. Ограничения применения (★★★☆☆)

• Специализированность: метод высоко специализирован, в основном для специалистов по алгебраической геометрии
• Обобщаемость: обобщение на многообразия Фано большей размерности или других типов не очевидно

Оценка влияния

Вклад в область (★★★★★)

• Вехи прогресса: классификация $\mathbb{Q}$-многообразий Фано размерности три близка к завершению
• Методология: метод ключевых многообразий становится стандартным инструментом
• Совершенствование базы данных: предоставляет проверку существования для кандидатов в GRDB

Практическая ценность (★★★☆☆)

• Теоретические инструменты: предоставляет конкретные примеры для изучения геометрических свойств многообразий Фано
• Бирациональная геометрия: некоторые примеры (например, No.308) доказаны бирационально супержёсткими
• Область применения: в основном ограничена чистой математикой

Воспроизводимость (★★★★☆)

• Доступный код: код на Mathematica доступен на GitHub
• Полные данные: таблицы содержат все необходимые численные данные
• Документация: статья подробно объясняет стратегию проверки
• Вызов: полное воспроизведение требует профессионального фона и вычислительных ресурсов

Применимые сценарии

1. Исследования в алгебраической геометрии:
   • Классификация многообразий Фано
   • Бирациональная геометрия
   • Приложения теории Мори
2. Теория модулей:
   • Изучение пространства модулей $\mathbb{Q}$-многообразий Фано размерности три
   • Понимание параметризации различных топологических типов
3. Вычислительная алгебраическая геометрия:
   • Разработка новых методов символических вычислений
   • Проверка теоретических предсказаний существования
4. Образовательные цели:
   • Использование в качестве примера в продвинутых курсах алгебраической геометрии
   • Демонстрация современных вычислительных методов в алгебраической геометрии

Избранные ссылки

1. GRDB Altınok et al., The Graded Ring Database (база данных кандидатов $\mathbb{Q}$-многообразий Фано размерности три)
2. BKR Brown-Kerber-Reid (2012), Fano 3-folds in codimension 4, Tom and Jerry (метод Type I unprojection)
3. CD Coughlan-Ducat (2020), Constructing Fano 3-folds from cluster varieties (метод кластерных многообразий)
4. Tak9 Takagi, Key varieties related with $\mathbb{P}^2\times\mathbb{P}^2$-fibration (построение $\Sigma_{\mathbb{A}}^{13}$)
5. Tak6 Takagi, Key varieties defined by Jordan algebras, Part II (построение $\Pi_{\mathbb{A}}^{14}$)
6. Tay Taylor (2020), Type II unprojections (вдохновило $\Pi_{\mathbb{A}}^{14}$)
7. O Okada (2020), Birationally superrigid Fano 3-folds (бирациональная супержёсткость No.308 и No.166)

Общая оценка: это высококачественная исследовательская статья по алгебраической геометрии, достигающая значительного прогресса в центральной проблеме классификации $\mathbb{Q}$-многообразий Фано размерности три. Методологические инновации (ключевые многообразия + расслоения), теоретическая строгость, вычислительная проверяемость делают её важным справочником для этой области. Хотя техническая сложность и зависимость от вычислений ограничивают аудиторию специалистами по алгебраической геометрии, основная ценность работы заключается в методологическом вкладе и продвижении классификации, а не в построении отдельных примеров.