Level algebras and \(\boldsymbol{s}\)-lecture hall polytopes (Q2200429)

For a given \(\mathbf{s}\in {\mathbb Z}_{\geq 1}^n\), the \(\mathbf{s}\)-lecture hall polytope is the simplex defined by \[ \mathbf{P}_{n}^{(\mathbf{s})}= \{\mathbf{\lambda}\in {\mathbb R}^n : 0\leq \frac{\lambda_1}{s_1}\leq \frac{\lambda_2}{s_2}\leq\dots \leq \frac{\lambda_n}{s_n}\leq 1 \}. \] A convex lattice polytope \(P\) is said to be a Gorenstein polytope if the associated semigroup algebra of \(P\) is Gorenstein. The authors determine a classification of the Gorenstein and level properties in \(\mathbf{s}\)-lecture hall polytopes. One of the main results is: \(\mathbf{P}_{n}^{(\mathbf{s})}\) is Gorenstein if and only if there exists \(\mathbf{c}\in {\mathbb Z}^{n+1}\) satisfying \(c_1=1\), \(c_js_{j-1}=c_{j-1}s_j+ \gcd(s_{j-1}, s_{j})\) for \(j>1\), and \(c_{n+1}s_n=1+c_n\).