arXiv++ Combinatorics

We study the realization problem for point schemes of skew polynomial algebras. We approach this problem combinatorially by translating it into the study of certain $3$-uniform hypergraphs, which we call point hypergraphs. We first give a homological criterion characterizing point hypergraphs. Using this criterion, we study hypergraphs obtained by deleting triangles from triangulations of connected orientable closed surfaces. Deleting exactly one triangle always gives a non-point hypergraph. When the triangulation has no separating nonfacial $3$-cycles, deleting either no triangles or at least two triangles gives a point hypergraph, and the one-triangle deletions are minimal non-point hypergraphs with respect to taking induced sub-hypergraphs. It follows that point hypergraphs cannot be characterized by finitely many forbidden induced sub-hypergraphs. Next, for each point hypergraph, we construct an affine moduli variety of skew polynomial algebras realizing it, and determine its dimension. For point hypergraphs arising from the above surface construction, we obtain an explicit dimension formula in terms of the number of vertices, the Euler characteristic, and the number of deleted triangles. Finally, we characterize point hypergraphs on six vertices in terms of a four-vertex local condition together with a single exceptional obstruction.

We call a standard graded commutative $\Bbbk$-algebra cyclotomic if its $h$-polynomial has all its roots on the unit circle in the complex plane. Complete intersections provide typical examples of cyclotomic algebras, since the $h$-polynomial of any standard graded complete intersection is a product of polynomials of the form $1 + t + \cdots + t^{m-1}$. We refer to such polynomials as being of type CI. A natural question is whether there exists a cyclotomic standard graded $\Bbbk$-algebra whose $h$-polynomial is not of type CI. In this paper, we give a partial answer to this question. We show that the $h$-polynomial $h_R(t)$ of a cyclotomic standard graded $\Bbbk$-algebra $R$ is of type CI whenever $h_R(1) \in \{1, 4, 6\}$ or $h_R(1)$ is prime. On the other hand, if $n \ge 8$ and $n$ is not prime, then there exists a cyclotomic standard graded $\Bbbk$-algebra $R$ whose $h$-polynomial $h_R(t)$ is not of type CI and satisfies $h_R(1) = n$.

We introduce an operation on skew-symmetric matrices over $\mathbb{Z}/\ell\mathbb{Z}$ called switching, and also define a class of skew-symmetric matrices over $\mathbb{Z}/\ell\mathbb{Z}$ referred to as modular Eulerian matrices. We then show that these are closely related to the graded module categories over skew polynomial algebras at $\ell$-th roots of unity. As an application, we study the point simplicial complexes of skew polynomial algebras at cube roots of unity.

The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.

In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2 \in S$. We prove that the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen--Macaulay module over $S/(f)$ can be completely computed using the four graphical operations. As a consequence, $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is equivalent to the derived category $\mathsf{D^b}(\operatorname{\mathsf{mod}} k^{2^r})$, and this $r$ is obtained as the nullity of a certain matrix over ${\mathbb F}_2$. Using the properties of Stanley--Reisner ideals, we also show that the number of irreducible components of the point scheme of $S$ that are isomorphic to ${\mathbb P}^1$ is less than or equal to $\binom{r+1}{2}$.