Относительно эндотривиальные комплексы

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

• ID статьи: 2402.08042
• Название: Relatively endotrivial complexes
• Автор: Sam K. Miller
• Классификация: math.GR (Теория групп), math.RT (Теория представлений)
• Дата публикации: 10 января 2025 г. (версия v3)
• Ссылка на статью: https://arxiv.org/abs/2402.08042

Аннотация

Пусть $G$ — конечная группа, $k$ — поле характеристики $p > 0$. На основе предыдущих исследований автора об эндотривиальных комплексах (обратимых объектах в ограниченной гомотопической категории $K^b({}_{kG}\mathbf{triv})$ $p$-перестановочных $kG$-модулей) в статье, используя концепцию проективности относительно $kG$-модулей, определяется понятие "относительных" эндотривиальных цепных комплексов, аналогично конструкции Лассёра для относительных эндотривиальных $kG$-модулей. Получены эквивалентные характеризации относительной эндотривиальности, найдены локальные когомологические данные, почти полностью определяющие классы изоморфизма относительно эндотривиальных комплексов, доказано, что эти локальные данные должны частично удовлетворять условиям Бореля-Смита, и исследовано поведение при ограничении на подгруппы, содержащие силовскую $p$-подгруппу $S$.

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

Предпосылки проблемы

1. Теория эндотривиальных модулей: В модульной теории представлений эндотривиальные модули являются обратимыми объектами в стабильной модульной категории $kG\text{stmod}$. Они играют центральную роль в модульной теории представлений группы, особенно при изучении группы Дейда.
2. Относительная проективность: Концепция проективности относительно модуля, введённая Окуямой и глубоко изученная Карлсоном и др., обеспечила основу для конструкции Лассёра относительных эндотривиальных модулей, обобщив группу Дейда на произвольные конечные группы.
3. Эндотривиальные комплексы: Автор в предыдущей работе 21 ввёл эндотривиальные комплексы, являющиеся обратимыми объектами гомотопической категории $K^b({}_{kG}\mathbf{triv})$ и индуцирующие блестящие автоэквивалентности Рикарда.

Мотивация исследования

1. Теоретическое обобщение: Распространить теорию Лассёра об относительных эндотривиальных модулях на уровень цепных комплексов, установив более общую структуру.
2. Необходимость множественных определений: В случае цепных комплексов "относительная эндотривиальность" имеет несколько разумных определений (слабая, сильная, эндосплит-тривиальная), требующих систематического изучения их взаимосвязей и свойств.
3. Локально-глобальная связь: Охарактеризовать относительно эндотривиальные комплексы через локальные когомологические данные (h-метки), установив связь между локальной информацией и глобальной структурой.
4. Проблема классификации: Понять образ и ядро гомоморфизма ограничения, с конечной целью свести проблему классификации эндотривиальных комплексов к случаю $p$-групп.

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

1. Определение трёх классов относительно эндотривиальных комплексов:
   • Слабо $V$-эндотривиальные комплексы (weakly $V$-endotrivial complexes)
   • Сильно $V$-эндотривиальные комплексы (strongly $V$-endotrivial complexes)
   • $V$-эндосплит-тривиальные комплексы ($V$-endosplit-trivial complexes)
2. Теоремы эквивалентной характеризации (Theorem 7.2, 8.4): Даны эквивалентные характеризации на основе локальных когомологических условий, использующих конструкцию Брауэра.
3. Гомоморфизм h-меток: Построен гомоморфизм h-меток $h: xE^V_k(G) \to \text{CF}(G, X_V)$, доказано, что соответствующая группа является конечно порождённой абелевой группой (Theorem 9.3, 9.7).
4. Условия Бореля-Смита: Доказано, что h-метки должны частично удовлетворять условиям Бореля-Смита (Theorem 10.3, Corollary 10.6).
5. Теорема ограничения (Theorem 1.3, 12.6): Для силовской $p$-подгруппы $S \in \text{Syl}_p(G)$ гомоморфизм ограничения $\text{Res}^G_S: E_k(G) \to E_k(S)^G$ является эпиморфизмом, и получена расщепляющаяся точная последовательность: $0 \to \text{Hom}(G, k^\times) \to E_k(G) \xrightarrow{\text{Res}^G_S} E_k(S)^G \to 0$
6. Характеризация эндосплит $p$-перестановочных разрешений (Theorem 1.4): Даны эквивалентные условия для определения, когда объект является эндосплит $p$-перестановочным разрешением, и необходимые и достаточные условия для сохранения этого свойства при индукции.

Подробное описание методов

Определение основных понятий

1. Относительная проективность (Definition 3.1)

Пусть $V$ — $kG$-модуль, $M$ называется $V$-проективным (проективным относительно $V$) тогда и только тогда, когда существует $N$ такой, что $M$ является прямым слагаемым $V \otimes_k N$.

Ключевые свойства:

• Когда $V$ является $p$-перестановочным модулем, $V$-проективность эквивалентна проективности относительно семейства подгрупп (Theorem 3.7)
• Абсолютная $p$-делимость (absolutely $p$-divisible): все неразложимые прямые слагаемые $V$ имеют $k$-размерность, делящуюся на $p$, — необходимое условие для хорошего поведения относительной проективности

2. Три класса относительно эндотривиальных комплексов (Definition 6.1)

Пусть $C \in \text{Ch}^b({}_{kG}\mathbf{triv})$, $V$ — абсолютно $p$-делимый $kG$-модуль:

• Слабо $V$-эндотривиальный: $\text{End}_k(C) \cong C^* \otimes_k C \simeq k[0] \oplus D$, где $D$ — ограниченный цепной комплекс $V$-проективных модулей
• Сильно $V$-эндотривиальный: $\text{End}_k(C) \cong C^* \otimes_k C \simeq k[0] \oplus D$, где $D$ — ограниченный $V$-проективный цепной комплекс
• $V$-эндосплит-тривиальный: $\text{End}_k(C) \cong C^* \otimes_k C \simeq k[0] \oplus M[0]$, где $M$ — $V$-проективный $kG$-модуль

Взаимосвязь: $V$-эндосплит-тривиальный $\Rightarrow$ сильно $V$-эндотривиальный $\Rightarrow$ слабо $V$-эндотривиальный

Метод локальной характеризации

Конструкция Брауэра и h-метки

Для $p$-подгруппы $P \leq G$ конструкция Брауэра $-{(P)}: {}_{kG}\mathbf{mod} \to {}_{k[N_G(P)/P]}\mathbf{mod}$ предоставляет локальную информацию.

Определение h-меток (Definition 9.1, 9.6):

• Для слабо $V$-эндотривиального комплекса $C$ и $P \in X_V := \{P \in \text{sp}(G) \mid V(P) = 0\}$:
  • $h_C(P)$ — единственная степень $i$, для которой $H_i(C(P)) \neq 0$
  • $H_C(P) \in \text{Hom}(N_G(P)/P, k^\times)$ — соответствующая когомология
• Для $V$-эндосплит-тривиального комплекса $C$ и всех $P \in \text{sp}(G)$:
  • $h_C(P)$ определяется аналогично
  • $H_C(P) \in T_{k,V}(N_G(P)/P)$ — соответствующий класс относительного эндотривиального модуля

Ключевые технические теоремы

Theorem 7.2 (Эквивалентная характеризация слабо $V$-эндотривиальных комплексов)

Пусть $C \in \text{Ch}^b({}_{kG}\mathbf{triv})$, $V$ — абсолютно $p$-делимый $p$-перестановочный $kG$-модуль, $X_V = \{P \in \text{sp}(G) \mid V(P) = 0\}$. Тогда:

$C \text{ слабо } V\text{-эндотривиален} \Longleftrightarrow \forall P \in X_V, \, \text{ненулевая когомология } C(P) \text{ сосредоточена в одной степени, и } \dim_k H_i(C(P)) = 1$

Схема доказательства:

1. Прямое направление: используя $C \otimes_k C^* \simeq k[0] \oplus D$, применяем конструкцию Брауэра к $P \in X_V$, получаем $C(P) \otimes_k C(P)^* \simeq k[0]$
2. Обратное направление: строим отображение $\phi: k[0] \to C^* \otimes_k C$ (через сопряжённость тензор-хом), его конус отображения $D$ удовлетворяет условию, что для всех $P \in X_V$, $D(P)$ стягиваем, по Theorem 7.1 получаем, что $D$ гомотопически эквивалентен $V$-проективному комплексу

Theorem 12.3 (Формула Макки для индукции и конструкции Брауэра)

Это ключевая техническая лемма, устанавливающая коммутативность функтора индукции и конструкции Брауэра:

$(\text{Ind}^G_H M)(P) \cong \bigoplus_{x \in [N_G(P)\backslash G/H], P \leq {}^xH} \text{Ind}^{N_G(P)}_{N_G(P) \cap {}^xH}(({}^xM)(P))$

Эта формула обобщает классическую формулу Макки на уровень конструкции Брауэра и является основой для изучения сохранения относительной эндотривиальности при индукции.

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

Примечание: Данная статья — чистая математическая теория, не содержащая вычислительных экспериментов. Все результаты — строгие математические доказательства. Статья проверяет теорию следующими способами:

Методы теоретической верификации

1. Конструктивные примеры (Example 11.5):
   • Для полудиэдральной группы $SD_{2^n}$ ($n \geq 4$) строятся конкретные $V$-эндотривиальные комплексы
   • Демонстрируется возможность существования элементов кручения в $E^1_k(G)/E_k(G)$
2. Верификация частных случаев:
   • Классификация для $p$-групп (см. 21, Section 6)
   • Случай нормальной силовской подгруппы (Theorem 12.13)
   • Полная характеризация случая $V = kG$ (Section 11)
3. Совместимость с известной теорией:
   • При $V = 0$ теория сводится к предыдущей работе автора об эндотривиальных комплексах 21
   • Случай одноточечного комплекса $M[0]$ сводится к теории относительных эндотривиальных модулей Лассёра 12,13

Результаты экспериментов

Основные теоретические результаты

1. Конечная порождённость (Theorem 9.3, 9.7)

Theorem 9.3: Ядро гомоморфизма h-меток $\ker(h_w) \cong T_{k,V}(G,S)$ где $T_{k,V}(G,S)$ — группа относительных эндотривиальных модулей с тривиальным источником, являющаяся конечной группой. Поэтому:

• $\ker(h_w)$ — подгруппа кручения группы $wE^V_k(G)$
• $wE^V_k(G)$ — конечно порождённая абелева группа

Аналогично, $eE^V_k(G)$ также является конечно порождённой абелевой группой.

Следствие: Получена расщепляющаяся точная последовательность $0 \to T_{k,V}(G,S) \to xE^V_k(G) \to \text{im}(h_x) \to 0$

2. Полное описание теоремы ограничения

Theorem 12.6 (один из основных результатов): Пусть $S \in \text{Syl}_p(G)$, тогда:

1. $\text{Res}^G_S: E_k(G) \to E_k(S)^G$ — эпиморфизм
2. Существует расщепляющаяся точная последовательность: $0 \to \text{Hom}(G, k^\times) \to E_k(G) \xrightarrow{\text{Res}^G_S} E_k(S)^G \to 0$ где отображение сечения задаётся формулой $[C] \mapsto H_{h_C(1)}(C) \in \text{Hom}(G, k^\times)$

Значение: Проблема классификации эндотривиальных комплексов полностью сводится к случаю $p$-групп.

3. Условия Бореля-Смита (Theorem 10.3)

Theorem 10.3: Если $C$ — эндотривиальный комплекс, то $h_C \in \text{CF}^b(G,p)$ (суперклассовая функция, удовлетворяющая условиям Бореля-Смита).

Условия Бореля-Смита включают:

• Если $p$ — нечётное простое число, $H \trianglelefteq L \leq G$, $L/H \cong \mathbb{Z}/p\mathbb{Z}$, то $h_C(H) - h_C(L)$ чётно
• Если $p=2$, $H \trianglelefteq L \trianglelefteq N$, $L/H \cong \mathbb{Z}/2\mathbb{Z}$, $N/H \cong Q_8$, то $h_C(H) - h_C(L)$ делится на 4
• Если $L/H \cong \mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}$, то выполняются определённые суммовые соотношения

Обобщение (Corollary 10.6): h-метки $V$-эндосплит-тривиального комплекса удовлетворяют условиям Бореля-Смита в точке $V$.

4. Условия стабильности при индукции (Corollary 12.4)

Theorem 1.4(b) / Corollary 12.4(c): Пусть $H \leq G$, $N$ — $kH$-модуль с эндосплит $p$-перестановочным разрешением $C$, тогда:

$\text{Ind}^G_H C \text{ — эндосплит } p\text{-перестановочное разрешение} \Longleftrightarrow C \text{ — } G\text{-стабилен}$

где $G$-стабильность означает: для всех $G$-сопряжённых $P, Q \in \text{sp}(H)$, если $C(P)$, $C(Q)$ оба нестягиваемы, то их ненулевые когомологии сосредоточены в одной степени.

Полные результаты для частных случаев

Случай $V = kG$ (Section 11)

Theorem 11.1: Когда $V = kG$, $eE^{kG}_k(G) = sE^{kG}_k(G)$ то есть сильно $kG$-эндотривиальный комплекс обязательно является $kG$-эндосплит-тривиальным.

Theorem 11.4: $\iota: eE^{kG}_k(G) \to wE^{kG}_k(G) \text{ — эпиморфизм}$ и $\ker(\iota)$ порождается усечённым проективным разрешением тривиального модуля $k$.

Случай нормальной силовской подгруппы (Theorem 12.13)

Если $S \in \text{Syl}_p(G)$ нормальна в $G$, то: $\text{Res}^G_S: eE^V_k(G) \to eE^{\text{Res}^G_S V}_k(S)^G \text{ — эпиморфизм}$

Это использует теорему поднятия Дейда (Theorem 12.10).

Анализ примеров

Example 11.5(a): Полудиэдральная группа $G = SD_{2^n}$ ($n \geq 4$)

Пусть $H$ — единственная нецентральная подгруппа порядка 2, $X = G/H$. Определим: $C_E: kG \to kX \to k$ где $k$ находится в степени 0, это $kG$-эндотривиальный комплекс, удовлетворяющий:

• $h_{C_E}(1) = 2$
• $h_{C_E}(H) = 1$
• $h_{C_E}(K) = 0$, $K \neq 1, H$

Через вычисление $[C_E \otimes_k C_E]$ показывается, что в $E^1_k(G)/E_k(G)$ могут существовать элементы кручения.

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

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

1. Теория эндотривиальных модулей:
   • Дейд (1978): Первое систематическое исследование эндотривиальных модулей и группы Дейда
   • Пюиг (1990, 24): Доказательство того, что группа Дейда $T_k(G)$ для $p$-групп конечно порождена
   • Карлсон-Теваназ (2000-2010s): Завершение классификации эндотривиальных модулей для $p$-групп
2. Относительная проективность:
   • Окуяма (неопубликовано): Введение относительной проективности относительно модуля
   • Карлсон-Пэн (1996, 6): Глубокое исследование относительной проективности
   • Лассёр (2011-2013, 12,13,14): Развитие теории относительных эндотривиальных модулей, обобщение группы Дейда
3. Эндотривиальные комплексы:
   • Рикард (1996, 25): Введение эндосплит $p$-перестановочных разрешений для доказательства частных случаев гипотезы Броэ
   • Балмер (2013, 2): Топологический подход к исследованию эндотривиальных модулей
   • Гродал (2023, 10): Гомотопический метод исследования эндотривиальных модулей
   • Миллер (2024, 21): Систематическое исследование эндотривиальных комплексов, установление локально-глобальной теории
4. Группа Дейда в системах слияния:
   • Линкельманн-Маццa (2009, 17): Определение группы Дейда системы слияния
   • Лассёр доказал согласованность её конструкции с методом систем слияния

Позиция данной статьи

Данная статья находится на пересечении двух направлений:

• Вертикальное: эндотривиальные модули → эндотривиальные комплексы
• Горизонтальное: абсолютная теория → относительная теория (проективность относительно модуля $V$)

Образуя матрицу $2 \times 2$:

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

1. vs. Лассёр 12,13:
   • Сходство: обе используют относительную проективность, строят относительную группу Дейда
   • Различие: данная статья работает с цепными комплексами, имеет три определения разной силы, технически сложнее
2. vs. Миллер 21:
   • Сходство: обе исследуют эндотривиальные комплексы, используют h-метки
   • Различие: данная статья обобщает на относительный случай, требует работы с $V$-стабильностью и другими новыми понятиями
3. vs. Рикард 25:
   • Связь: $V$-эндосплит-тривиальные комплексы — обобщение эндосплит $p$-перестановочных разрешений
   • Вклад: полная локальная характеризация (Theorem 8.3) и необходимые и достаточные условия сохранения при индукции

Выводы и обсуждение

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

1. Теоретическая структура: Успешно установлена полная теория относительно эндотривиальных комплексов, включая три определения разной силы и их взаимосвязи.
2. Локально-глобальный принцип: Через h-метки установлено соответствие между локальными когомологическими данными и глобальной структурой, доказана конечная порождённость соответствующих групп.
3. Редукция классификации: Для (нереlatивных) эндотривиальных комплексов проблема классификации полностью сведена к случаю $p$-групп (Theorem 12.6).
4. Условия Бореля-Смита: Выявлены числовые ограничения, которым должны удовлетворять h-метки, связывающие с теорией сферических гомотопических представлений в топологии.

Ограничения

1. Сильно $V$-эндотривиальные комплексы: Статья в основном сосредоточена на слабо и эндосплит случаях, исследование сильно $V$-эндотривиальных комплексов (но не эндосплит) менее полно. Автор указывает в Remark 6.2, что это направление для будущих исследований.
2. Ограничение на общие подгруппы: Для подгрупп $H$, не содержащих силовскую $p$-подгруппу, полное описание образа и ядра гомоморфизма ограничения $\text{Res}^G_H$ остаётся нерешённым.
3. Конструктивные проблемы:
   • Conjecture 10.7: Является ли каждая функция, удовлетворяющая условиям Бореля-Смита, h-меткой некоторого относительно эндотривиального комплекса?
   • Содержит ли каждый класс слабо $V$-эндотривиального комплекса представителя, являющегося $V$-эндосплит-тривиальным?
4. Ненормальные силовские подгруппы: Когда $S$ ненормальна, условия Theorem 12.8 (сохранение $V$-эндотривиальности при соответствии Грина) сложнее проверить.
5. $G$-стабильность: Определение, является ли относительно эндотривиальный комплекс $G$-стабильным, может быть сложным на практике, особенно для больших групп.

Направления будущих исследований

Статья явно или неявно предлагает следующие направления:

1. Доказательство Conjecture 10.7:
   • Доказать, что функции Бореля-Смита полностью характеризуют образ h-меток
   • Это обеспечит полную классификацию относительно эндотривиальных комплексов
2. Полная теория сильно $V$-эндотривиальных комплексов:
   • Классификация всех сильно $V$-эндотривиальных комплексов
   • Определение структуры $sE^V_k(G)$
3. Общая проблема ограничения:
   • Для произвольного $H \leq G$ полное описание образа и ядра $\text{Res}^G_H: xE^V_k(G) \to xE^{\text{Res}^G_H V}_k(H)$
4. Вычислительные методы:
   • Развитие методов вычисления для конкретных групп
   • Обобщение результатов классификации $p$-групп из 21, Section 6 на относительный случай
5. Приложения к гипотезе Броэ:
   • Использование теории относительных эндотривиальных комплексов для исследования более общих случаев гипотезы Броэ об абелевой дефектной группе
6. Связь с системами слияния:
   • Глубокое исследование связи с группой Дейда систем слияния Линкельманна-Маццы 17
   • Особенно случай $V = V(FG)$ (Remark 12.16)

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

Достоинства

1. Теоретическая глубина и полнота

• Систематичность: От определений, эквивалентных характеризаций, структуры групп, числовых ограничений до поведения при ограничении — установлена полная теоретическая система
• Техническая инновация: Theorem 12.3 (формула Макки для индукции и конструкции Брауэра) — ключевой технический прорыв, обеспечивающий основу для последующих результатов
• Множественные определения: Три определения (слабо/сильно/эндосплит) отражают глубокое понимание автором сущности проблемы

2. Методологический вклад

• Техника h-меток: Кодирование локальной когомологической информации в суперклассовые функции — мощный инструмент для исследования цепных комплексов
• Условие стабильности: Концепция $G$-стабильности элегантно характеризует сохранение относительной эндотривиальности при индукции
• Применение соответствия Грина: Умелое использование соответствия Грина для цепных комплексов 8 решает проблемы ограничения

3. Связь с существующей теорией

• При $V = 0$ сводится к теории 21
• При рассмотрении одноточечных комплексов сводится к теории Лассёра 12,13
• Устанавливает явную связь с разрешениями Рикарда 25
• Связывает с функциями Бореля-Смита и топологией

4. Качество изложения

• Ясная структура: первые 5 разделов — предварительные знания, последние 7 — основные результаты
• Систематическая нотация: использование $kG\mathcal{C}$ для единого обращения с модулями и цепными комплексами
• Достаточно примеров: Example 11.5 предоставляет конкретные вычисления
• Ясная мотивация: каждое определение и теорема имеют чёткую мотивацию

Недостатки

1. Техническая сложность

• Три различных определения увеличивают сложность теории, хотя это необходимо, но может запутать читателя
• Некоторые доказательства (например, Theorem 12.3) технически сложны, требуют глубокого понимания конструкции Брауэра

2. Нерешённые проблемы

• Conjecture 10.7 — центральная проблема, но не решена
• Теория сильно $V$-эндотривиальных комплексов неполна (Remark 6.2 это признаёт)
• Взаимосвязь между слабо и эндосплит случаями (Theorem 11.4 верна только для $V=kG$)

3. Вычислительная осуществимость

• Теоретическая структура полна, но отсутствуют конкретные алгоритмы вычисления для групп
• Определение $G$-стабильности на практике может быть сложным
• Для неабелевых групп полная классификация остаётся далёкой целью

4. Недостаточно примеров приложений

• Хотя упоминается связь с гипотезой Броэ, новых приложений не даётся
• Example 11.5 хотя и иллюстрирует проблему, но можно было бы больше конкретных примеров

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

Академическое влияние

1. Полнота теории: Заполняет пробел в теории "относительных эндотривиальных комплексов", завершая пазл от модулей к комплексам, от абсолютного к относительному
2. Методологический вклад: Техники h-меток и $G$-стабильности могут быть приняты другими исследователями
3. Потенциал цитирования: Как фундаментальная работа в этой области, предположительно будет цитироваться в последующих исследованиях относительной проективности и производных эквивалентностей

Практическая ценность

1. Модульная теория представлений: Предоставляет новые инструменты для исследования производных эквивалентностей и гипотезы Броэ
2. Вычислительные методы: Хотя данная работа теоретическая, обеспечивает математическую основу для разработки вычислительного программного обеспечения
3. Обобщаемость: Методы могут быть обобщены на другие алгебраические структуры (например, алгебры Хопфа)

Воспроизводимость

• Как чистая математическая работа, все результаты — доказательства, в принципе полностью воспроизводимы
• Доказательства детальны и логически ясны, удобны для проверки читателем
• Цитирование литературы полно, облегчает поиск фоновых знаний

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

1. Теоретические исследования:
   • Исследователи модульной теории представлений, изучающие относительную проективность
   • Исследователи гомотопической теории, изучающие классификацию цепных комплексов
   • Исследователи теории систем слияния
2. Конкретные вычисления:
   • Вычисление группы Дейда или её обобщений для конкретных групп
   • Определение, является ли конкретный комплекс относительно эндотривиальным
   • Проверка гипотезы Броэ для частных случаев
3. Образовательные цели:
   • Как продвинутый учебный материал по теории относительной проективности
   • Как пример систематического развития математической теории

Общая оценка

Это высокого качества чистая математическая работа, вносящая важный вклад на пересечении модульной теории представлений и гомотопической теории. Статья систематически устанавливает теорию относительно эндотривиальных комплексов, получает глубокие структурные результаты (особенно Theorem 12.6), и предлагает ясные направления будущих исследований (Conjecture 10.7).

Сильные стороны — полнота теории, инновационность техники (особенно Theorem 12.3), хорошая связь с существующей теорией. Слабые стороны — некоторые центральные проблемы (Conjecture 10.7) не решены, недостаточно конкретных вычислительных примеров.

Статья предназначена для специалистов в этой области, имеет важное справочное значение для понимания относительной теории в модульной теории представлений и методов цепных комплексов. Предположительно станет фундаментальной литературой в этом направлении и вдохновит последующие исследования.

Избранная библиография

1. 12,13 C. Lassueur: Relative projectivity and relative endotrivial modules (2011-2012) — прямая теоретическая основа данной работы
2. 21 S. K. Miller: Endotrivial complexes (2024) — предыдущая работа автора о нереlatивном случае
3. 24 L. Puig: Affirmative answer to a question of Feit (1990) — доказательство конечной порождённости группы Дейда $p$-групп
4. 25 J. Rickard: Splendid equivalences (1996) — введение эндосплит $p$-перестановочных разрешений
5. 8 J. F. Carlson, L. Wang, J. Zhang: Relatively projectivity and the Green correspondence for complexes (2020) — соответствие Грина для цепных комплексов
6. 17 M. Linckelmann, N. Mazza: The Dade group of a fusion system (2009) — группа Дейда систем слияния

Оценка статьи (максимум 10 баллов):

• Теоретическая инновативность: 9/10
• Техническая глубина: 9/10
• Полнота: 8/10
• Ясность изложения: 8/10
• Потенциал влияния: 8/10

Общая оценка: 8.4/10 — Отличная теоретическая работа, вносящая важный вклад в теорию относительной проективности и теорию цепных комплексов.