arXiv++ Combinatorics

We initiate the study of subpolytopes of the permutahedron that arise as the convex hulls of stack-sorting on permutations. We primarily focus on $Ln1$ permutations, i.e., permutations of length $n$ whose penultimate and last entries are $n$ and $1$, respectively. First, we present some enumerative results on $Ln1$ permutations. Then we show that the polytopes that arise from stack-sorting on $Ln1$ permutations are simplices and proceed to study their geometry and lattice-point enumeration. In addition, we pose questions and problems for further investigation. Particular focus is then taken on the $Ln1$ permutation $23\cdots n1$. We show that the convex hull of all its iterations through the stack-sorting algorithm shares the same lattice-point enumerator as that of the $(n-1)$-dimensional unit cube and lecture-hall simplex. Lastly, we detail some results on the real lattice-point enumerator for variations of the simplices arising from stack-sorting on the permutation $23\cdots n1$. This then allows us to show that those simplices are Gorenstein of index $2$.

This is the author's Habilitation which took place at University of Essen on July 11, 1993. The manuscript contains two parts. The first one is devoted to the author's combinatorial construction of mirrors of Calabi-Yau hypersurfaces in Gorenstein toric Fano varieties. The second one contains author's results on the variation of mixed Hodge structures of affine hypersurfaces in algebraic tori and their connection to Gelfand-Kapranov-Zelevinsky theory of generalized hypergeometric functions and their applications to the mirror symmetry for Calabi-Yau hypersurfaces in toric varieties.

We present sharp upper bounds on the volume, Mahler volume and multiplicity for Fano simplices depending on the dimension and Gorenstein index. These bounds rely on the interplay between lattice simplices and unit fraction partitions. Moreover, we present an efficient procedure for explicitly classifying Fano simplicies of any dimension and Gorenstein index and we carry out the classification up to dimension four for various Gorenstein indices.

Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.

The integer Carathéodory rank of a pointed rational cone $C$ is the smallest number $k$ such that every integer vector contained in $C$ is an integral non-negative combination of at most $k$ Hilbert basis elements. We investigate the integer Carathéodory rank of simplicial cones with respect to their multiplicity, i.e., the determinant of the integral generators of the cone. One of the main results states that simplicial cones with multiplicity bounded by five have the integral Carathéodory property, that is, the integer Carathéodory rank equals the dimension. Furthermore, we present a novel upper bound on the integer Carathéodory rank which depends on the dimension and the multiplicity. This bound improves upon the best known upper bound on the integer Carathéodory rank if the dimension exceeds the multiplicity. At last, we present special cones which have the integral Carathéodory property such as certain dual cones of Gorenstein cones.

The Quot scheme of points $\mathrm{Quot}_{d,n}(X)$ on a variety $X$ over a field $k$ parametrizes quotient sheaves of $\mathcal{O}_X^{\oplus d}$ of zero-dimensional support and length $n$. It is a rank-$d$ generalization of the Hilbert scheme of $n$ points. When $X$ is a reduced curve with only the cusp singularity $\{x^2=y^3\}$ and $d\geq 0$ is fixed, the generating series for the motives of $\mathrm{Quot}_{d,n}(X)$ in the Grothendieck ring of varieties is studied via Gröbner bases, and shown to be rational. Moreover, the generating series is computed explicitly when $d\leq 3$. The computational results exhibit surprising patterns (despite the fact that the category of finite length coherent modules over a cusp is wild), which not only enable us to conjecture the exact form of the generating series for all $d$, but also suggest a general functional equation whose $d=1$ case is the classical functional equation of the motivic zeta function known for any Gorenstein curve. As another side of the story, Quot schemes are related to the Cohen--Lenstra series. The Cohen--Lenstra series encodes the count of "commuting matrix points'' (or equivalently, coherent modules of finite length) of a variety over a finite field, about which Huang formuated a "rationality'' conjecture for singular curves. We prove a general formula that expresses the Cohen--Lenstra series in terms of the motives of the (punctual) Quot schemes, which together with our main rationality theorem, provides positive evidence for Huang's conjecture for the cusp.

The McKay correspondence has had much success in studying resolutions of 3-fold quotient singularities through a wide range of tools coming from geometry, combinatorics, and representation theory. We develop a computational perspective in this setting primarily realised through a web application to explore mutations of quivers with potential and crepant triangulations. We use this to study flops between different crepant resolutions of Gorenstein toric quotient singularities and find many situations in which the mutations of a quiver with potential classifies them. The application also implements key constructions of the McKay correspondence, including the Craw--Reid procedure and the process of associating a quiver to a toric resolution.

In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index $2$ and that its $h^\ast$-vector is unimodal.

In this paper, we study nearly Gorensteinness of Ehrhart rings arising from lattice polytopes. We give necessary conditions and sufficient conditions on lattice polytopes for their Ehrhart rings to be nearly Gorenstein. Using this, we give an efficient method for constructing nearly Gorenstein polytopes. Moreover, we determine the structure of nearly Gorenstein (0, 1)-polytopes and characterise nearly Gorensteinness of edge polytopes and graphic matroids.

We study lattice path matroid polytopes using their alcoved triangulation. We characterize Gorenstein lattice path matroid polytopes, yielding a new class of matroids satisfying the unimodality conjecture of de Loera, Haws, and K{ö}ppe. Further, we characterize matroids whose polytopes are order polytopes as a special class of lattice path matroids, called snakes. Finally, we give combinatorial interpretations of the volumes and $h^*$-vectors of lattice path matroids of rank $2$ based on their snake decomposition.

Given a simple graph, consider the polynomial ring with coefficients in a field and variables identified with the edges of the graph. Given a non-empty even cardinality Eulerian subgraph and a choice of half of its edges, consider the homogeneous binomial obtained by taking the product of these edges minus the product of the remaining edges of the subgraph. We define a homogeneous ideal by taking as generators all binomials obtained in this way, varying the Eulerian subgraph and the choice of half of its edges, together with the squares of the variables of the ring. This ideal is related to the Eulerian ideal, introduced by Neves, Vaz Pinto and Villarreal. We call the corresponding quotient the Eulerian Artinian algebra associated to the graph. The goal of the present work is to study the socle of these algebras through the lens of graph theory. Our main results include a combinatorial characterization of a monomial basis of the socle, a characterization of Gorenstein Eulerian Artinian algebras in the case of bipartite graphs and the computation of the h-vector and socle degrees in the cases of a complete graph and a complete bipartite graph.

In this article, we consider the weighted generating function of matchings in the complete graph. We define an Artinian Gorenstein algebra as the quotient ring of a polynomial ring by the annihilator of the generating function. We show the strong Lefschetz property of the algebra.

We consider standard graded toric rings $R_Δ$ whose generators correspond to the faces of a simplicial complex $Δ$. When $R_Δ$ is normal, it is shown that its divisor class group is free. For a flag complex $Δ$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_Δ$ in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of $R_Δ$ is presented. Using this fact we give combinatorial descriptions for the $a$-invariant and the Gorenstein property of $R_Δ$.

Dimer tree algebras are a class of non-commutative Gorenstein algebras of Gorenstein dimension 1. In previous work we showed that the stable category of Cohen-Macaulay modules of a dimer tree algebra $A$ is a 2-cluster category of Dynkin type $\mathbb{A}$. Here we show that, if $A$ has an admissible action by the group $G$ with two elements, then the stable Cohen-Macaulay category of the skew group algebra $AG$ is a 2-cluster category of Dynkin type $\mathbb{D}$. This result is reminiscent of and inspired by a result by Reiten and Riedtmann, who showed that for an admissible $G$-action on the path algebra of type $\mathbb{A}$ the resulting skew group algebra is of type $\mathbb{D}$. Moreover, we provide a geometric model of the syzygy category of $AG$ in terms of a punctured polygon $\mathcal{P}$ with a checkerboard pattern in its interior, such that the 2-arcs in $\mathcal{P}$ correspond to indecomposable syzygies in $AG$ and 2-pivots correspond to morphisms. In particular, the dimer tree algebras and their skew group algebras are Gorenstein algebras of finite Cohen-Macaulay type $\mathbb{A}$ and $\mathbb{D}$ respectively. We also provide examples of types $\mathbb{E}_6,\mathbb{E}_7,$ and $\mathbb{E}_8$.

Nagel and Römer introduced the class of weakly vertex decomposable simplicial complexes, which include matroid, shifted, and Gorenstein complexes as well as vertex decomposable complexes. They proved that the Stanley-Reisner ideal of every weakly vertex decomposable simplicial complex is Gorenstein linked to an ideal of indeterminates via a sequence of basic double G-links. In this paper, we explore basic double G-links between squarefree monomial ideals beyond the weakly vertex decomposable setting. Our first contribution is a structural result about certain basic double G-links which involve an edge ideal. Specifically, suppose $I(G)$ is the edge ideal of a graph $G$. When $I(G)$ is a basic double G-link of a monomial ideal $B$ on an arbitrary homogeneous ideal $A$, we give a generating set for $B$ in terms of $G$ and show that this basic double G-link must be of degree $1$. Our second focus is on examples from the literature of simplicial complexes known to be Cohen-Macaulay but not weakly vertex decomposable. We show that these examples are not basic double links of any other squarefree monomial ideals.

We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal{C} \subseteq \mathbb{A}^5$ is bounded.

In this paper we introduce the submonoids $\mathscr{R}_n$, resp. $\mathscr{C}_n$, of the monoid $\mathscr{M}_n$ of ordered score sheets of a robin-round tournament played by $n$ teams for which the order is preserved after the leader team is disqualified, resp. all principal submatrices preserve the given ordering. We study (using both theoretical and computational methods) the most important invariants of these monoids, namely the Hilbert basis, the multiplicity, the Hilbert series and the Hilbert function. In particular we give a general description of the Hilbert basis of $\mathscr{R}_n$ and we show that $\mathscr{C}_n$ is Gorenstein for $n>2$.

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties: it is not misleading to think that quasi-Gorenstein rings are to Gorenstein rings as manifolds are to spheres. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the second author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence.

In this paper we study the novel notion of thin polytopes: lattice polytopes whose local $h^*$-polynomials vanish. The local $h^*$-polynomial is an important invariant in modern Ehrhart theory. Its definition goes back to Stanley with fundamental results achieved by Karu, Borisov & Mavlyutov, Schepers, and Katz & Stapledon. The study of thin simplices was originally proposed by Gelfand, Kapranov and Zelevinsky, where in this case the local $h^*$-polynomial simply equals its so-called box polynomial. Our main results are the complete classification of thin polytopes up to dimension 3 and the characterization of thinness for Gorenstein polytopes. The paper also includes an introduction to the local $h^*$-polynomial with a survey of previous results.

If $P$ is a lattice polytope (i.e., $P$ is the convex hull of finitely many integer points in $\mathbb{R}^d$) of dimension $d$, Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|nP \cap \mathbb{Z}^d|$ is a degree-$d$ polynomial in the integer variable $n$. Equivalently, the generating function $1 + \sum_{n\geq 1} |nP \cap \mathbb{Z}^d| \, z^n$ is a rational function of the form $\frac{ h^\ast(z) }{ (1-z)^{ d+1 } }$; we call $h^\ast(z)$ the $h^\ast$-polynomial of $P$. There are several known necessary conditions for $h^\ast$-polynomials, including results by Hibi (1990), Stanley (1991), and Stapledon (2009), who used an interplay of arithmetic (integer-point structure) and topological (local $h$-vectors of triangulations) data of a given polytope. We introduce an alternative ansatz to understand Ehrhart theory through the $h^\ast$-polynomial of the boundary of a polytope, recovering all of the above results and their extensions for rational polytopes in a unifying manner. We include applications for (rational) Gorenstein polytopes and rational Ehrhart dilations.