Симпліці йна або комбінато рна d сфе ра це симпліційний комплекс гомеоморфний d вимірній сфері Деякі симпліційні сфери з

Симпліці́йна (або комбінато́рна) d-сфе́ра — це симпліційний комплекс, гомеоморфний d-вимірній сфері. Деякі симпліційні сфери з'являються як межі опуклого багатогранника, однак у вищих розмірностях більшість симпліційних сфер не можна отримати таким чином.

Найважливіша з відкритих проблем цієї галузі — g-гіпотеза, сформульована ^[en], який поставив питання про можливе число граней різних розмірностей симпліційні сфери. У грудні 2018 ^[ru] довів гіпотезу для всіх d .

Приклади

Для будь-якого n ⩾ 3 простий n-цикл C_n є симпліційним колом, тобто симпліційною сферою розмірності 1. Ця побудова дає всі симпліційні кола.
Межа опуклого багатогранника в R³ з правильними гранями, такого як октаедр або ікосаедр, є 2-сферою.
У загальнішому випадку, межа будь-якого (d+1)-вимірного компактного (або обмеженого) симпліційного опуклого багатогранника в евклідовому просторі є симпліційною сферою.

Властивості

З формули Ейлера випливає, що будь-яка симпліційна 2-сфера з n вершини має 3n − 6 ребер і 2n − 4 граней. Випадок n = 4 реалізується у вигляді тетраедра. При повторному здійсненні легко побудувати симпліційні сфери для будь-якого n ⩾ 4. Однак ^[ru] дав опис 1-скелетів (графів ребер) опуклих багатогранників у R³, з якого випливає, що будь-яка симпліційна 2-сфера є межею опуклого багатогранника.

Бранко Ґрюнбаум побудував приклад симпліційної сфери, яка не є межею багатовимірного багатогранника. ^[en] довів, що, фактично, «більша частина» симпліційних сфер не є межами багатогранників. Найменший приклад існує в розмірності d = 4 і має f₀ = 8 вершин.

^[en] дає верхні межі для числа f_i i-граней будь-якої симпліційної d-сфери з f₀ = n вершинами. Гіпотезу довів для поліедральних сфер у 1970 ^[en], а для загальних симпліційних сфер у 1975 — ^[en].

Сформульована Макмалленом у 1970 році g-гіпотеза ставить питання про повний опис f-векторів симпліційних d-сфер. Іншими словами, які можливі набори числа граней кожної розмірності симпліційної d-сфери? Для поліедральних сфер відповідь дає g-теорема, яку довели в 1979 році Біллера і Лі (існування) і Стенлі (необхідність). Висловлено припущення, що ті самі умови необхідні для загальних симпліційних сфер.

На 2015 рік гіпотеза залишалася відкритою для d=5 і вище. У грудні 2018 довів гіпотезу для всіх d.

Див. також

Примітки

Adiprasito, 2018.
McMullen, 1971, с. 187–200.

Література

Karim Adiprasito. Combinatorial Lefschetz theorems beyond positivity. — 2018. — 16 червня. — arXiv:1812.10454v2. з джерела 16 лютого 2019. Процитовано 24 грудня 2020.
Richard P. Stanley. Combinatorics and commutative algebra. — Second edition. — Boston, MA : Birkhäuser Boston, Inc, 1996. — Т. 41. — С. x+164. — (Progress in Mathematics) — .
P. McMullen. On the upper-bound conjecture for convex polytopes // J. Combinatorial Theory. — 1971. — Вип. 10 (16 червня). — С. 187–200. — (Ser. B).

[FOOTNOTEAdiprasito2018-1] Adiprasito, 2018.

[FOOTNOTEMcMullen1971187–200-2] McMullen, 1971, с. 187–200.