14 problems

Let $P$ be a convex $d$-polytope with $f$-vector $(f_0,f_1,\ldots,f_{d-1})$, where $f_k$ is the number of $k$-dimensional faces. The face-number lower-bound conjecture. For every…

The algebraic $g$-conjecture. Every rational homology sphere has Lefschetz property.

The $g$-conjecture. The $g$-vector of a rational homology sphere is an $M$-vector.

Let $\Delta$ be a simplicial complex of dimension $d$. Assume that $\Delta$ admits a PL embedding into $\mathbb{R}^{2d}$. GrunbaumKalaiSarkaria conjecture. Then … This conjecture s…

Let $\Delta$ be a simplicial sphere or a rational homology sphere. Its $h$-vector is subject to the $g$-theorem conditions: Dehn–Sommerville symmetry, unimodality up to the middle,…

Let $J_m^*(n)$ be the suspension of a join of $m$ balanced cycles as defined in the source, and let $\mathcal{J}_m^*(n)$ be the family of joins $S*C_2*\cdots*C_m$ with $S$ a flag 2…

Let $J_m(n)$ be the simplicial $(2m-1)$-sphere on $n$ vertices obtained as the join of $m$ cycles, each having either $\lfloor n/m\rfloor$ or $\lceil n/m\rceil$ vertices. Flag uppe…

Let $h(\Delta)$ denote the $h$-vector of a simplicial complex and $f(\Delta)$ its $f$-vector. Flag Cohen–Macaulay h-vector conjecture. The set of $h$-vectors of flag Cohen–Macaulay…

A simplicial complex is balanced if its graph is properly $d$-colorable when it has dimension $d-1$. Kalai's flag Cohen–Macaulay conjecture. The $f$-vector of any flag Cohen–Macaul…

Let $\Delta$ be a flag homology $(d-1)$-sphere, and let $g_i(\Delta)$ denote its $g$-numbers. Flag lower bound conjecture. … Equality holds if and only if $\Delta$ is the boundary…

Let $\Delta$ be an orientable simplicial $\Bbbk$-homology $d$-manifold without boundary, and let…

Let $(P,A,\mathbf{\lambda})$ be a marked poset, and let $(U_1,U_2)$ and $(V_1,V_2)$ be different admissible decompositions of $P\setminus A$, meaning that each pair partitions…

Let $(P,A,\mathbf{\lambda})$ be a marked poset. For an $N$-dimensional polytope $Q$, let $f_i(Q)$ denote the number of its $i$-dimensional faces, and write…

Let $(P,A,\mathbf{\lambda})$ be a regular marked poset, and let $\operatorname*{St}(P)$ denote the set of star elements. An admissible decomposition of $P\setminus A$ is a pair…