arXiv++ Combinatorics

In this paper, we show the equality of the (local) $\mathrm{v}$-number and Castelnuovo-Mumford regularity of certain classes of Gorenstein algebras, including the class of Gorenstein monomial algebras. Also, for the same classes of algebras with the assumption of level, we show that the (local) $\mathrm{v}$-number serves as an upper bound for the regularity. Moreover, we investigate the $\mathrm{v}$-number of Frobenius powers of graded ideals in prime characteristic setup. In this study, we demonstrate that the $\mathrm{v}$-numbers of Frobenius powers of graded ideals have an asymptotically linear behaviour. In the case of unmixed monomial ideals, we provide a method for computing the $\mathrm{v}$-number without prior knowledge of the associated primes.

The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.

A dimer model is a bipartite graph described on the real two-torus, and it gives the quiver as the dual graph. It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of the associated quiver is a projective crepant resolution of this singularity for some stability parameter. It is also known that the space of stability parameters has the wall-and-chamber structure, and for any projective crepant resolution of a three-dimensional Gorenstein toric singularity can be realized as the GIT quotient associated to a stability parameter contained in some chamber. In this paper, we consider dimer models giving rise to projective crepant resolutions of a toric compound Du Val singularity. We show that sequences of zigzag paths, which are special paths on a dimer model, determine the wall-and-chamber structure of the space of stability parameters. Moreover, we can track the variations of stable representations under wall-crossing using the sequences of zigzag paths.

Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings.

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.