[论文解读] Torus actions, combinatorial topology and homological algebra

Victor Matveevich Buchstaber, Taras Panov|ArXiv.org|Oct 7, 2000

Advanced Combinatorial Mathematics参考文献 2被引用 6

一句话总结

本文引入了 момента-угловые комплексные многообразия как объединяющую конструкцию, связывающую действия тора, комбинаторную топологию и гомологическую алгебру. Сопоставляя каждому симплициальному комплексу $K$ пространство $\mathcal{Z}_K$ с действием тора $T^m$, авторы устанавливают, что двойная градуированная кohомология $\mathcal{Z}_K$ кодирует ключевые инварианты $K$, что позволяет решать классические задачи в топологии и комбинаторике, включая вычисление кohомологий дополнений к комплексам подпространств через модули Tor над кольцами Стэнли–Райснера.

ABSTRACT

The paper surveys some new results and open problems connected with such fundamental combinatorial concepts as polytopes, simplicial complexes, cubical complexes, and subspace arrangements. Particular attention is paid to the case of simplicial and cubical subdivisions of manifolds and, especially, spheres. We describe important constructions which allow to study all these combinatorial objects by means of methods of commutative and homological algebra. The proposed approach to combinatorial problems relies on the theory of moment-angle complexes, currently being developed by the authors. The theory centres around the construction that assigns to each simplicial complex $K$ with $m$ vertices a $T^m$-space $\zk$ with a special bigraded cellular decomposition. In the framework of this theory, the well-known non-singular toric varieties arise as orbit spaces of maximally free actions of subtori on moment-angle complexes corresponding to simplicial spheres. We express different invariants of simplicial complexes and related combinatorial-geometrical objects in terms of the bigraded cohomology rings of the corresponding moment-angle complexes. Finally, we show that the new relationships between combinatorics, geometry and topology result in solutions to some well-known topological problems.

研究动机与目标

• Унифицировать комбинаторную топологию, действия тора и гомологическую алгебру через новое геометрическое построение.
• Разработать моменто-угловые комплексные многообразия $\mathcal{Z}_K$ как инструмент для перевода комбинаторных данных в топологические и алгебраические инварианты.
• Решить классические задачи в топологии, выражая инварианты симплициальных комплексов через двойную градуированную кohомологию $\mathcal{Z}_K$.
• Установить изоморфизмы между кольцами кohомологий дополнений к комплексам подпространств и модулями Tor над кольцами Стэнли–Райснера.

提出的方法

• Построить моменто-угловое комплексное многообразие $\mathcal{Z}_K$ как пространство с действием $T^m$ с канонической двойной градуированной клеточной структурой для каждого симплициального комплекса $K$ на $m$ вершинах.
• Использовать построение Бореля и пространство Стэнли–Райснера для связи кohомологий $\mathcal{Z}_K$ с модулями Tor $\mathop{\rm Tor}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})$.
• Применить спектральную последовательность Эйленберга–Мура для вычисления кohомологий петлевых пространств над $\mathcal{Z}_K$ и установить связь с алгеброй Tor.
• Свести вычисление кohомологий дополнений к координатным и диагональным комплексам подпространств к кohомологиям $\mathcal{Z}_K$ через многоградуированные структуры на кольцах Стэнли–Райснера.
• Использовать минимальные свободные разрешения поля $\mathbf{k}$ над кольцом Стэнли–Райснера $\mathbf{k}(K)$ для вычисления многоградуированных компонент модулей Tor.
• Установить биективное, сохраняющее порядок соответствие между симплициальными комплексами $K$ и дополнениями к диагональным комплексам подпространств $M(K)$.

实验结果

研究问题

• RQ1 Как действия тора и комбинаторные структуры, такие как симплициальные комплексы, могут систематически связываться с гомологической алгеброй?
• RQ2 Какие топологические инварианты симплициальных комплексов могут быть восстановлены из кohомологий сопряжённых моменто-угловых комплексных многообразий?
• RQ3 Могут ли кольца кohомологий дополнений к комплексам подпространств быть вычислены с помощью алгебраических инвариантов симплициальных комплексов?
• RQ4 Каково отношение между кohомологиями петлевого пространства $\mathcal{Z}_K$ и алгеброй Tor над кольцом Стэнли–Райснера?
• RQ5 В какой степени моменто-угловые комплексные многообразия предоставляют топологическую реализацию комбинаторных данных в алгебраической топологии?

主要发现

• Кольцо кohомологий дополнения к координатному комплексу подпространств изоморфно двойно градуированному модулю Tor $\mathop{\rm Tor}^{-(m-i)}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})_{(2,\ldots,2)}$.
• Кohомологии петлевого пространства $\Omega B_T \mathcal{Z}_K$ изоморфны полной алгебре Tor $\mathop{\rm Tor}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})$.
• Существует канонический изоморфизм $H^*(\Omega B_T \mathcal{Z}_K; \mathbf{k}) \cong H^*(\Omega \mathcal{Z}_K; \mathbf{k}) \otimes \Lambda[u_1, \ldots, u_m]$.
• Отображение $K \mapsto M(K)$, где $M(K)$ — дополнение к диагональному комплексу подпространств, определяет биективное, сохраняющее порядок соответствие между симплициальными комплексами и такими дополнениями.
• Двойная градуированная кohомология $\mathcal{Z}_K$ удовлетворяет свойству, напоминающему дуальность Пуанкаре, обобщая уравнения Де Гона–Соммервилля для симплициальных многообразий.
• Теория предоставляет решение проблемы Гирцебруха для квазиторических многообразий через комбинаторные формулы для родов, используя построение моменто-угловых комплексных многообразий.