arXiv++ Combinatorics

We show that Cayley graphs of finitely generated Abelian groups are rather rigid. As a consequence we obtain that two finitely generated Abelian groups admit isomorphic Cayley graphs if and only if they have the same rank and their torsion parts have the same cardinality. The proof uses only elementary arguments and is formulated in a geometric language.

It is known that the bounded Geodesic Length Problem in free metabelian groups is NP-complete (in particular, the Geodesic Problem is NP-hard). We construct a 2-approximation polynomial time deterministic algorithm for the Geodesic Problem. We show that the Geodesic Problem in the restricted wreath product of a finitely generated non-trivial group with a finitely generated abelian group containing $Z^2$ is NP-hard and there exists a Polynomial Time Approximation Scheme for this problem. We also show that the Geodesic Problem in the restricted wreath product of two finitely generated non-trivial abelian groups is NP-hard if and only if the second abelian group contains $Z^2$.

We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.

We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M_\bR$ with singular support in $\LbS$.

For a finite triangulation of the plane with faces properly coloured white and black, let A be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A has free rank exactly two. Let A* be the torsion subgroup of A, and B* the corresponding group for the black triangles. We show that A* and B* have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in A*, thereby proving a conjecture due to Cavenagh and Drapal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith Normal Form of this matrix determines A*, so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g>0 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group. We construct a sequence of spherical latin trades which cannot be embedded in any family of abelian groups whose torsion ranks are bounded. Also, we show that any trade that can be embedded in a finitely generated abelian group can be embedded in a finite abelian group. As a corollary, no trade can be embedded in a free abelian group.

Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gröbner bases of toric ideals and to Ehrhart rings.

While Dehn functions, D(n), of finitely presented groups are very well studied in the literature, mean Dehn functions are much less considered. M. Gromov introduced the notion of mean Dehn function of a group, $D_{mean}(n)$, suggesting that in many cases it should grow much more slowly than the Dehn function itself. Using only elementary counting methods, this paper presents some computations pointing into this direction. Particularizing them to the case of any finite presentation of a finitely generated abelian group (for which it is well known that $D(n)\sim n^2$ except in the 1-dimensional case), we show that the three variations $D_{osmean}(n)$, $D_{smean}(n)$ and $D_{mean}(n)$ all are bounded above by $Kn(\ln n)^2$, where the constant $K$ depends only on the presentation (and the geodesic combing) chosen. This improves an earlier bound given by Kukina and Roman'kov.