arXiv++ Combinatorics

We study monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result establishes a local--global principle characterizing equivariant finite generation for arbitrary Sym-invariant monoids, extending earlier results that required additional assumptions. We further analyze local--global phenomena for other fundamental properties, including positivity, normality, seminormality, and simplicity. In addition, we obtain structural results for symmetric monoids, including characterizations of positivity and non-positivity, a description of their groups of units, and explicit formulas for the ranks of local symmetric monoids and stabilizing Sym-invariant chains.

We study duality for monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result is an equivariant Minkowski--Weyl theorem for monoids. More precisely, we analyze the evolution of dual monoids along stabilizing Sym-invariant chains and describe the eventual behavior of their equivariant Hilbert bases. In addition, we develop a systematic study of structural properties of dual symmetric monoids, including a characterization of the duals of positive and non-positive monoids.

In this paper, we study the componentwise linearity of symbolic powers of edge ideals. We propose the conjecture that all symbolic powers of the edge ideal of a cochordal graph are componentwise linear. This conjecture is verified for some families of cochordal graphs, including complements of block graphs and complements of proper interval graphs. As a corollary, Minh's conjecture is established for such families. Moreover, we show that $I(G)^{(2)}$ is componentwise linear, for any cochordal graph $G$.

We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in $\mathbb{Z}^{(\mathbb{N}\times[c])}$, where $c\in\mathbb{N}$, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.

In the present paper we study algebraic properties of edge ideals associated with plane curve arrangements via their Levi graphs. Using combinatorial properties of such Levi graphs we are able to describe those monomial algebras being Cohen-Macaulay, Buchsbaum, and sequentially Cohen-Macaulay. We also condsider the projective dimension and the Castelnuovo-Mumford regularity for these edge ideals. We provide effective lower and upper bounds on them. As a byproduct of our study we connect, in general, various Buchsbaum properties of squarefree modules.

In this paper we extend three classical and fundamental results in polyhedral geometry, namely, Carathéodory's theorem, the Minkowski-Weyl theorem, and Gordan's lemma to infinite dimensional spaces, in which considered cones and monoids are invariant under actions of symmetric groups.

Cycle polytopes of matroids have been introduced in combinatorial optimization as a generalization of important classes of polyhedral objects like cut polytopes and Eulerian subgraph polytopes associated to graphs. Here we start an algebraic and geometric investigation of these polytopes by studying their toric algebras, called cycle algebras, and their defining ideals. Several matroid operations are considered which determine faces of cycle polytopes that belong again to this class of polyhedral objects. As a key technique used in this paper, we study certain minors of given matroids which yield algebra retracts on the level of cycle algebras. In particular, that allows us to use a powerful algebraic machinery. As an application, we study highest possible degrees in minimal homogeneous systems of generators of defining ideals of cycle algebras as well as interesting cases of cut polytopes and Eulerian subgraph polytopes.

We relate finite generation of cones, monoids, and ideals in increasing chains (the local situation) to equivariant finite generation of the corresponding limit objects (the global situation). For cones and monoids there is no analog of Noetherianity as in the case of ideals and we demonstrate this in examples. As a remedy, we find local-global correspondences for finite generation. These results are derived from a more general framework that relates finite generation under closure operations to equivariant finite generation under general families of maps. We also give a new proof that non-saturated Inc-invariant chains of ideals stabilize, closing a gap in the literature.

Recently, chains of increasing symmetric ideals have attracted considerable attention. In this note, we summarize some results and open problems concerning the asymptotic behavior of several algebraic and homological invariants along such chains, including codimension, projective dimension, Castelnuovo-Mumford regularity, and Betti tables.

Motivated by a conjecture of Sturmfels and Sullivant we study normal cut polytopes. After a brief survey of known results for normal cut polytopes it is in particular observed that for simplicial and simple cut polytopes their cut algebras are normal and hence Cohen--Macaulay. Moreover, seminormality is considered. It is shown that the cut algebra of $K_5$ is not seminormal which implies again the known fact that it is not normal. For normal Gorenstein cut algebras and other cases of interest we determine their canonical modules. The Castelnuovo-Mumford regularity of a cut algebra is computed for various types of graphs and bounds for it are provided if normality is assumed. As an application we classify all graphs for which the cut algebra has regularity less than or equal to 4.

We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.

Inspired by the Kruskal-Katona theorem a minimization problem is studied, where the role of the shadow is replaced by the image of the action of the monoid of increasing functions. One of our main results shows that compressed sets are a solution to this problem. Several applications to simplicial complexes are discussed.

The cut polytope of a graph $G$ is the convex hull of the indicator vectors of all cuts in $G$ and is closely related to the MaxCut problem. We give the facet-description of cut polytopes of $K_{3,3}$-minor-free graphs and introduce an algorithm solving MaxCut on those graphs, which only requires the running time of planar MaxCut. Moreover, starting a systematic geometric study of cut polytopes, we classify graphs admitting a simple or simplicial cut polytope.

We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation.