Подразделения нижних эйлеровых посетов и теория KLS

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

• ID статьи: 2511.16612
• Название: Subdivisions of lower Eulerian posets and KLS theory
• Автор: Alan Stapledon
• Классификация: math.CO (комбинаторика)
• Дата публикации: 21 ноября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2511.16612

Аннотация

В данной работе на основе канонического биективного соответствия, установленного автором в сопутствующей статье, которое связывает сильные формальные подразделения нижних эйлеровых посетов с тройками, состоящими из нижнего эйлерова посета, соответствующей ранг-функции и неминимального связуемого элемента, основной целью является установление связи между локальными h-полиномами сильных формальных подразделений и инвариантами Каждана-Люстига-Стэнли (KLS) соответствующего нижнего эйлерова посета при данном биективном соответствии. В качестве приложения в работе доказано, что относительный g-полином Брейдена и Макферсона является альтернативным кодированием соответствующего локального h-полинома. Кроме того, в работе дополнительно развита эквивариантная теория KLS, предоставлены эквивариантные обобщения основных результатов и применены к эквивариантной теории Эрхарта.

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

Проблемный контекст

1. Основная проблема: Установление точного соотношения между комбинаторными инвариантами подразделений посетов (локальные h-полиномы) и абстрактными алгебраическими инвариантами (инварианты KLS).
2. Значимость:
   • Геометрический смысл: Локальные h-полиномы имеют глубокий геометрический смысл в двух различных контекстах:
     • Связь с собственными отображениями торических многообразий, пучками на вееров и теоремой о разложении
     • Связь с действием монодромии на когомологиях слоя Милнора неособых гиперповерхностных особенностей
   • Алгебраический смысл: Теория KLS введена Стэнли для абстрактного вычисления пересечения когомологий в контексте посетов
   • Унифицирующая структура: Предоставляет единую перспективу для понимания инвариантов в различных математических областях (комбинаторика, алгебраическая геометрия, пересечение когомологий)
3. Ограничения существующих методов:
   • Локальные h-полиномы и инварианты KLS ранее рассматривались как независимые объекты исследования
   • Отсутствовал систематический метод преобразования комбинаторных свойств подразделений в алгебраические инварианты
   • Теория в эквивариантном случае (при наличии группового действия) была неполной
4. Исследовательская мотивация:
   • Использование биективного соответствия (Теорема 1.3), установленного в сопутствующей статье, в качестве моста
   • Унифицированная обработка подразделений и посетов через конструкцию отображающего цилиндра
   • Развитие полной эквивариантной теории для работы с симметриями

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

1. Установление явного соотношения между локальными h-полиномами и инвариантами KLS (Теорема 3.10, Следствие 3.13, 3.15):
   • Предоставлены точные формулы между $\Delta\ell_\sigma$, $g_\Gamma$, $f_\Gamma$, $Z_\Gamma$
   • Доказано, что $g_\Gamma$ полностью определяется $g_X$, $g_Y$ и локальными h-полиномами
2. Новая интерпретация относительного g-полинома Брейдена-Макферсона (Следствие 1.6):
   • Относительный g-полином $g(Q,F)$ равен $\Delta\ell_\sigma(0̂_X, 1̂_Y)$ соответствующего сильного формального подразделения
   • Его неотрицательность сводится к известному результату Кару
3. Систематическое развитие эквивариантной теории KLS (Раздел 4):
   • Введена структура для вычисления class functions (Раздел 4.3)
   • Установлена основная теорема в эквивариантном случае (Теорема 4.18)
   • Предоставлена конструкция естественных эквивариантных ядер (Пример 4.6, 4.21-4.23)
4. Приложения к эквивариантной теории Эрхарта (Раздел 4.5):
   • Предоставлены формулы подразделения для эквивариантных h*-полиномов и локальных h*-полиномов (Предложение 4.27)
   • Установлена связь между эквивариантной теорией Эрхарта и эквивариантной теорией KLS

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

Основная теоретическая структура

1. Базовые определения

Нижний эйлеров посет: Содержит единственный минимальный элемент $\hat{0}_B$, имеет ранг-функцию $\rho_B$, и для любого интервала $[z,z']$ количество элементов четного ранга равно количеству элементов нечетного ранга.

Сильное формальное подразделение $\sigma: X \to Y$ удовлетворяет:

• Сохранение порядка: $x \leq x'$ влечет $\sigma(x) \leq \sigma(x')$
• Увеличение ранга: $\rho_X(x) \leq \rho_Y(\sigma(x))$
• Сильная сюръективность
• Условие характеристики Эйлера: $\sum_{x \leq x' \in X, \sigma(x')=y} (-1)^{\rho_Y(y)-\rho_X(x')} = 1$

2. Конструкция отображающего цилиндра (центральный мост)

Для сильного формального подразделения $\sigma: X \to Y$ строится не-хаусдорфов отображающий цилиндр $\Gamma = \text{Cyl}(\sigma)$:

• Как множество: $\Gamma = X \sqcup Y$
• Отношение частичного порядка: наследует порядок из $X$ и $Y$, и для $x \in X, y \in Y$, если $\sigma(x) \leq y$, то $x \leq y$
• Ранг-функция: $\rho_\Gamma(z) = \begin{cases} \rho_X(z) & z \in X \\ \rho_Y(z) + 1 & z \in Y \end{cases}$

Это дает биективное соответствие (Теорема 1.3): $\{\text{сильные формальные подразделения}\} \leftrightarrow \{(\Gamma, \rho_\Gamma, q): q \text{ — связуемый элемент}\}$

3. Структура ассоциативной алгебры

Ассоциативная алгебра $I(B)$: функции из интервалов в $\mathbb{Z}[t]$ с операцией свертки: $(p \cdot p')(z,z') = \sum_{z \leq z'' \leq z'} p(z,z'')p'(z'',z')$

Слабая ранг-функция $r_B \in I(B)$: ранговое назначение, удовлетворяющее условию аддитивности.

Ядро (kernel) $\kappa_B \in I(B)$: удовлетворяет $\kappa_B^{-1} = \kappa_B^{\text{rev}}$, где $p^{\text{rev}}(z,z';t) = t^{r_B(z,z')}p(z,z';t^{-1})$

4. Инварианты KLS

Для ядра $\kappa_B$ существуют единственные $f_B, g_B \in I_{1/2}(B)$, удовлетворяющие:

• $f_B^{\text{rev}} = \kappa_B \cdot f_B$ (правая KLS-функция)
• $g_B^{\text{rev}} = g_B \cdot \kappa_B$ (левая KLS-функция)
• $Z_B = g_B \cdot \kappa_B \cdot f_B$ (Z-функция)

Важный пример (эйлерово ядро): $\kappa_B(z,z') = (t-1)^{\rho_B(z,z')}$

Определение локальных h-полиномов

Для сильного формального подразделения $\sigma: X \to Y$, соответствующего $(\Gamma, \rho_\Gamma, q)$, определяются:

h-полиномы и локальные h-полиномы (Определение 3.1): $(t-1) \cdot h_\sigma = g_\Gamma \cdot \kappa_\Gamma|_{(X/Y)^\circ}$$\ell_\sigma = h_\sigma \cdot g_\Gamma^{-1}$

где $\kappa_\Gamma|_{(X/Y)^\circ}$ ненулевой только на интервалах вида $[x, \sigma(x)]$.

Симметрия (Предложение 3.7): $\ell_\sigma(x,y;t) = t^{r_\Gamma(x,y)-1}\ell_\sigma(x,y;t^{-1})$

Это позволяет определить $\Delta\ell_\sigma \in I_{1/2}(\Gamma)$ как альтернативное кодирование $\ell_\sigma$.

Основные теоремы

Теорема 3.10 (центральный результат): Для $x \in X, y \in Y$ с $\sigma(x) \leq y$: $g_\Gamma(x,y) = \sum_{\sigma(x) \leq y' \leq y} \Delta\ell_\sigma(x,y')g_Y(y',y)$

Следствие 3.13 (двойственный результат): $f_\Gamma(x,y) = \sum_{x \leq x' \in X, \sigma(x') \leq y} (-1)^{\rho_Y(y)-\rho_X(x')}f_X(x,x')\Delta\ell_\sigma(x',y)$

Следствие 3.15 (Z-функция): $Z_\Gamma(x,y) = \sum_{x \leq x' \in X, \sigma(x') \leq y} (-1)^{\rho_Y(y)-\rho_X(x')}Z_X(x,x')\Delta\ell_\sigma(x',y) + \sum_{\sigma(x) \leq y' \leq y} (\Delta\ell_\sigma)^{\text{rev}}(x,y')Z_Y(y',y)$

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

1. Техника ограничения операторов: Через определение $p|_S$ ограничиваются элементы ассоциативной алгебры на подмножество $S \subset \text{Int}(\Gamma)$, достигая точного разделения информации подразделения.
2. Использование симметрии: Доказано, что $(t-1)\cdot\ell_\sigma$ антисимметричен, поэтому $\Delta\ell_\sigma$ полностью кодирует информацию $\ell_\sigma$.
3. Структура вычисления для эквивариантного обобщения (инновация Раздела 4.3):
   • Для группового действия $W$ на $B$ множество неподвижных точек $B^w$ является нижним эйлеровым
   • Отображение вычисления $\text{ev}_w: I^W(B) \to I(B^w)_\mathbb{C}$ является алгебраическим гомоморфизмом (Лемма 4.8)
   • Элемент $p \in I^W(B)$ полностью определяется $\{\text{ev}_w(p): w \in W\}$
4. Конструкция естественного эквивариантного ядра: Для веера $\Sigma$ в $V$, группового представления $\psi: W \to GL(V)$, сохраняющего $\Sigma$, определяется: $\kappa_{F(\Sigma)}(z,z') = \det(tI - \psi_{z,z'})$ где $\psi_{z,z'}: W_{z,z'} \to GL(V_{z'}/V_z)$ — индуцированное представление.

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

Данная работа является чистой математической теоретической статьей и не включает традиционные эксперименты. Однако содержит множество вычислительных примеров для верификации теории:

Примеры данных

1. Булева алгебра $B_n$ (Пример 2.18):
   • $f(B_n) = g(B_n) = 1$
   • $Z(B_n) = (1+t)^n$
   • $h(B_n) = 1$
2. Многоугольники и подразделения интервалов (Пример 3.17):
   • $Q$ — многоугольник с $s+3$ вершинами, $F$ — вершина
   • $P = [0,1]$, $S$ — подразделение с $s$ внутренними вершинами
   • Результаты вычисления: $h_\sigma(\Gamma) = g(\Gamma) = f(\Gamma) = 1+st$, $\ell_\sigma(\Gamma) = st$
3. Случай симплекса (Пример 4.25):
   • Предоставлены комбинаторные формулы для $h^*(P,\psi;t)$ и $\ell^*(P,\psi;t)$
   • Коэффициенты являются представлениями перестановок

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

1. Сравнение с известными результатами:
   • Пример 3.16 доказывает, что $g(Q,F) = \Delta\ell_\sigma(\Gamma)$ согласуется с определением Брейдена-Макферсона
   • Примеры 3.18-3.19 верифицируют частные случаи с результатами из литературы
2. Верификация формул произведения (Пример 3.21):
   • Доказано $\ell_{\sigma \times \sigma'}((x,x'),(y,y')) = \ell_\sigma(x,y)\ell_{\sigma'}(x',y')$
   • Верифицирована внутренняя согласованность теории
3. Проверка эквивариантного случая:
   • Пример 4.29 верифицирует унимодулярное триангулирование с известными формулами

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

Верификация основных теоретических результатов

1. Относительный g-полином Брейдена-Макферсона (Пример 3.16):
   • Определяется через рекурсивное соотношение $\sum_{F \subset E \subset Q} g(E,F)g(Q/E) = g(Q)$
   • Верификация: Используя Теорему 3.10, доказано $\bar{g} \cdot g_\Gamma = g_\Gamma|_{X/Y}$, откуда следует $g(Q,F) = \Delta\ell_\sigma(\Gamma)$
   • Значение: Неотрицательность относительного g-полинома сводится к результату унимодальности Кару
2. Формула произведения (Пример 3.21):
   • Результат: Для $\sigma: X \to Y$ и $\sigma': X' \to Y'$, $\ell_{\sigma \times \sigma'}((x,x'),(y,y')) = \ell_\sigma(x,y)\ell_{\sigma'}(x',y')$
   • Следствие: Локальные h-полиномы мультипликативны относительно декартова произведения
   • Согласуется с формулами произведения в теории Эрхарта
3. Вычисления в частных случаях (Пример 3.17):
   • Многоугольник $Q$ с $s+3$ вершинами, вершина $F$
   • Подразделение интервала $[0,1]$ с $s$ внутренними вершинами
   • Результаты вычисления:
     • $h_\sigma(\Gamma) = 1 + st$
     • $\ell_\sigma(\Gamma) = \Delta\ell_\sigma(\Gamma) = st$
     • $Z(\Gamma) = 1 + (2s+3)t + (2s+3)t^2 + t^3$
   • Верифицирована вычислимость теоретических формул

Приложения эквивариантной теории

Предложение 4.27 (эквивариантная теория Эрхарта): Пусть $P$ — решеточный многогранник, $\psi: W \to \text{Aff}(N)$ сохраняет $P$, $S$ — $W$-инвариантное решеточное подразделение многогранника. Если действие на $S$ полиномиально, то: $h^*(P,\psi;t) = \sum_{z \in F(S)} \frac{|W_z|}{|W|} \text{Ind}_W^{W_z}(\ell^*(F_z,\psi_z;t)h_\sigma(z,\hat{1}_\Gamma))$

Верификация (Пример 4.29):

• Для $W$-инвариантного унимодулярного триангулирования: $h^*(P,\psi;t) = h_\sigma(\Gamma)$, $\ell^*(P,\psi;t) = \ell_\sigma(\Gamma)$
• Согласуется с 49, Замечание 4.41 и 17, Теорема 5.2

Ключевые находки

1. Эквивалентность кодирования: $\Delta\ell_\sigma$ полностью кодирует информацию $\ell_\sigma$ и эквивалентен относительному g-полиному.
2. Определяющее соотношение: $g_\Gamma$ полностью определяется $(g_X, g_Y, \{\ell_\sigma(x,y)\})$ (Замечание 3.11).
3. Естественность эквивариантной теории: Отображение вычисления $\text{ev}_w$ сохраняет алгебраическую структуру, позволяя выводить эквивариантные результаты из неэквивариантного случая.
4. Геометро-алгебраическое соответствие:
   • Геометрическая сторона: морфизмы вееров, подразделения многогранников
   • Алгебраическая сторона: инварианты KLS, ассоциативные алгебры
   • Мост: конструкция отображающего цилиндра и локальные h-полиномы

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

Систематизация основных направлений исследований

1. Основы теории KLS:
   • Stanley 38, 1992: Введение локальных h-векторов и основ теории KLS
   • Brenti 10, 1999: Скрученные ассоциативные алгебры и KLS-функции
   • Proudfoot 33, 2018: Алгебро-геометрический взгляд на полиномы KLS
2. Пересечение когомологий и торическая геометрия:
   • Braden-MacPherson 8, 1999: Относительные g-полиномы и пересечение когомологий торических многообразий
   • Karu 28, 2019: Относительная теорема Лефшеца для вееров
   • de Cataldo-Migliorini-Mustaţă 18, 2018: Комбинаторика и топология собственных торических отображений
3. Теория слоев Милнора:
   • Saito 35, 2020, Saito-Takeuchi 36, 2023: Смешанные структуры Ходжа на слоях пересечения когомологий
   • Larson-Payne-Stapledon 31, 2023: Гипотеза локальной мотивной монодромии для простых неособых особенностей
   • Автор 49, 2023: Эквивариантная теория Эрхарта и инвариантные триангулирования многогранников

Отношение данной работы к связанным работам

1. Относительно Stanley 38:
   • Установлено явное соотношение между локальными h-полиномами и инвариантами KLS
   • Унифицирована обработка подразделений и посетов через отображающий цилиндр
2. Относительно Braden-MacPherson 8:
   • Доказано, что относительный g-полином является альтернативным выражением $\Delta\ell_\sigma$
   • Предоставлено новое теоретическое объяснение
3. Относительно Proudfoot 34, 2021:
   • Систематически развита структура для вычисления class functions (Раздел 4.3 — новый вклад)
   • Предоставлена более полная эквивариантная теория KLS
4. Относительно Karu 28:
   • Использован результат унимодальности Кару для объяснения неотрицательности Брейдена-Макферсона
   • Предоставлена более алгебраизированная обработка

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

1. Унифицирующая структура: Через отображающий цилиндр унифицирована обработка подразделений и посетов
2. Явные формулы: Предоставлены формулы вычисления всех инвариантов KLS
3. Эквивариантное обобщение: Полная эквивариантная теория, включая конструкции естественных ядер
4. Широкие приложения: Связь теории Эрхарта, пересечения когомологий, слоев Милнора и других областей

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

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

1. Центральная теорема: Установлено точное соотношение между локальными h-полиномами $\ell_\sigma$ и инвариантами KLS $(f_\Gamma, g_\Gamma, Z_\Gamma)$ через формулы:
   • $g_\Gamma|_{X/Y} = \Delta\ell_\sigma \cdot g_\Gamma|_Y$
   • $f_\Gamma|_{X/Y} = -f_\Gamma|_X \cdot \Delta\hat{\ell}_\sigma$
   • Формула разложения для $Z_\Gamma|_{X/Y}$
2. Новая интерпретация теории Брейдена-Макферсона: Относительный g-полином $g(Q,F) = \Delta\ell_\sigma(\Gamma)$, предоставляющий мост между комбинаторикой и алгеброй.
3. Совершенствование эквивариантной теории:
   • Структура отображения вычисления (Лемма 4.8)
   • Конструкция естественного эквивариантного ядра (Примеры 4.21-4.23)
   • Приложение к эквивариантной теории Эрхарта (Предложение 4.27)
4. Теоретическая унификация: Морфизмы вееров, подразделения многогранников, теория KLS и теория Эрхарта объединены в единую структуру.

Ограничения

1. Технические предположения:
   • Требуется свойство нижней эйлеровости, ограничивающее область применения
   • Эквивариантный случай требует эйлеровского действия (Определение 4.10), что удовлетворяется не всеми групповыми действиями (Пример 4.12)
   • Приложения к теории Эрхарта требуют условия "полиномиального действия" (Определение 4.26)
2. Вычислительная сложность:
   • Формулы включают суммирование по всем промежуточным элементам
   • Для больших посетов прямое вычисление может быть непрактичным
   • Отсутствует обсуждение эффективных алгоритмических реализаций
3. Геометрическая интерпретация:
   • Хотя установлены алгебраические связи, геометрический смысл некоторых формул остается неполным
   • Особенно в эквивариантном случае геометрическая реализация виртуальных представлений (упомянута в конце статьи, но не решена)
4. Направления обобщения:
   • Рассматривается только нижний эйлеров случай
   • Для более общих посетов (например, неэйлеровых) теория неприменима

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

1. Геометрическая реализация (явно указано в статье):
   • Ожидается, что коэффициенты $h_\sigma(z,\hat{1}_\Gamma)$ и $\ell_\sigma(z,\hat{1}_\Gamma)$ являются классами представлений
   • Должны происходить из канонически определенных $W$-действий на векторных пространствах
2. Алгоритмическая реализация:
   • Разработка эффективных алгоритмов вычисления инвариантов KLS
   • Оптимизация вычислений с использованием структуры подразделений
3. Обобщение на более общие посеты:
   • Ослабление условия эйлеровости
   • Исследование других типов подразделений
4. Углубление приложений:
   • Дальнейшее исследование связи с мотивным интегралом
   • Приложения к другим геометрическим/топологическим инвариантам
5. Развитие эквивариантной теории:
   • Обработка неполиномиальных действий
   • Исследование инвариантов при более общих групповых действиях

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

Достоинства

1. Теоретическая инновативность:
   • Перспектива отображающего цилиндра: Использование биективного соответствия из сопутствующей статьи как центрального инструмента предоставляет новую парадигму обработки подразделений
   • Структура вычисления (Раздел 4.3): Через $\text{ev}_w$ установлена связь между эквивариантной и неэквивариантной теориями — важная техническая инновация
   • Унификация нескольких областей: Связь комбинаторики, алгебраической геометрии, теории представлений и теории Эрхарта
2. Строгость методов:
   • Все теоремы имеют полные доказательства (Разделы 3.3, 4.4)
   • Использование алгебраической структуры ассоциативных алгебр дает простые и элегантные доказательства
   • Редукция эквивариантных результатов к неэквивариантному случаю через отображение вычисления (высокое мастерство)
3. Глубина результатов:
   • Следствие 1.6: Объясняет результат Брейдена-Макферсона двадцатилетней давности
   • Теорема 3.10: Предоставляет полностью явные вычислительные формулы
   • Предложение 4.27: Предоставляет новые инструменты для эквивариантной теории Эрхарта
4. Богатство примеров:
   • От булевых алгебр до многогранников, охватывает множество случаев
   • Примеры 3.16-3.21 систематически верифицируют теорию
   • Примеры 4.21-4.29 демонстрируют мощь эквивариантной теории
5. Качество изложения:
   • Четкая структура: контекст → неэквивариантная теория → эквивариантная теория → приложения
   • Подробное изложение основных результатов во введении (Теоремы 1.5, 1.10)
   • Многочисленные замечания и примеры помогают пониманию

Недостатки

1. Высокий технический уровень:
   • Требуется фоновое знание теории посетов, ассоциативных алгебр, теории представлений, теории Эрхарта
   • Сложная система обозначений ($I^W(B)$, $\text{ev}_w$, различные операторы ограничения)
   • Недостаточно доступно для неспециалистов
2. Недостаток геометрической интуиции:
   • Хотя присутствуют геометрические примеры (веера, многогранники), основная обработка алгебраическая
   • Геометрический смысл формул иногда неясен
   • Отсутствуют иллюстрации для помощи в понимании конструкции отображающего цилиндра
3. Практическая вычислимость:
   • Не обсуждается сложность алгоритмов
   • Отсутствует программная реализация
   • Для практических приложений (вычисление инвариантов больших многогранников) может быть непрактичным
4. Полнота эквивариантной теории:
   • Условие эйлеровского действия довольно строго (Пример 4.12 показывает ограничения)
   • Недостаточная обработка неполиномиальных действий
   • Геометрическая реализация виртуальных представлений не решена (признано в конце статьи)
5. Связь с другими теориями:
   • Связь с мотивным интегралом только кратко упомянута
   • Глубокие связи с теорией Ходжа не полностью развиты
   • Возможны неисследованные связи с другими математическими областями

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

1. Вклад в область:
   • Значительный теоретический прогресс: Впервые систематически установлено соотношение между локальными h-полиномами и инвариантами KLS
   • Унифицирующая структура: Предоставляет общий язык для нескольких подобластей
   • Новые направления исследований: Структура отображения вычисления может вдохновить исследования других эквивариантных теорий
2. Практическая ценность:
   • Средняя: Основной вклад теоретический, прямые приложения ограничены
   • Предоставляет новый метод вычисления относительных g-полиномов
   • Формула эквивариантного Эрхарта (Предложение 4.27) имеет потенциал практического применения
3. Воспроизводимость:
   • Высокая: Все теоремы имеют полные доказательства
   • Примеры вычислений подробны и могут быть проверены
   • Отсутствие кода реализации нормально для чистой математики
4. Долгосрочное влияние:
   • Вероятно станет стандартной справочной работой в области
   • Структура эквивариантной теории KLS может быть широко принята
   • Может вдохновить исследования других инвариантов посетов

Сценарии применения

1. Теоретические исследования:
   • Исследователи комбинаторной алгебраической геометрии
   • Ученые, изучающие пересечение когомологий торических многообразий
   • Исследователи теории Эрхарта
2. Конкретные вычисления:
   • Вычисление относительных g-полиномов многогранников
   • Анализ инвариантов морфизмов вееров
   • Задачи эквивариантного подсчета решеточных точек
3. Направления обобщения:
   • Как шаблон для исследования других инвариантов посетов
   • Эквивариантная теория в других областях (например, эквивариантная K-теория)
   • Возможные связи с физическими задачами симметрии
4. Неприменимые сценарии:
   • Неэйлеровы посеты
   • Задачи, требующие быстрых численных вычислений (сложные формулы)
   • Общие посеты без структуры подразделения

Ключевые ссылки

8 Tom Braden and Robert MacPherson, Intersection homology of toric varieties and a conjecture of Kalai, Comment. Math. Helv. 74 (1999), 442–455.

28 Kalle Karu, Relative hard Lefschetz theorem for fans, Adv. Math. 347 (2019), 859–903.

29 E. Katz and A. Stapledon, Local h-polynomials, invariants of subdivisions, and mixed Ehrhart theory, Adv. Math. 286 (2016), 181–239.

33 Nicholas Proudfoot, The algebraic geometry of Kazhdan-Lusztig-Stanley polynomials, EMS Surv. Math. Sci. 5 (2018), 99–127.

34 Nicholas Proudfoot, Equivariant incidence algebras and equivariant Kazhdan-Lusztig-Stanley theory, Algebr. Comb. 4 (2021), 675–681.

38 R. Stanley, Subdivisions and local h-vectors, J. Amer. Math. Soc. 5 (1992), 805–851.

48 Alan Stapledon, Subdivisions of lower Eulerian posets, 2025 (сопутствующая статья).

49 Alan Stapledon, Equivariant Ehrhart theory, commutative algebra and invariant triangulations of polytopes, arXiv:2311.17273, 2023.

Общая оценка: Это высококачественная чистая математическая теоретическая работа, вносящая значительный вклад в область комбинаторной алгебраической геометрии. Через введение перспективы отображающего цилиндра и структуры отображения вычисления систематически установлено соотношение между локальными h-полиномами и инвариантами KLS, и совершенствована эквивариантная теория. Работа теоретически строга, результаты глубоки, хотя технический уровень высок, она имеет значительную ценность для исследователей в этой области. Основные ограничения касаются геометрической интуитивности и практической вычислимости, а также того, что некоторые вопросы эквивариантной теории остаются нерешенными.