English

Type-B generalized triangulations and determinantal ideals

Combinatorics 2007-05-23 v1 Commutative Algebra

Abstract

For n3n\geq 3, let Ωn\Omega_n be the set of line segments between the vertices of a convex nn-gon. For j2j\geq 2, a jj-crossing is a set of jj line segments pairwise intersecting in the relative interior of the nn-gon. We identify line-segments in Ω2n\Omega_{2n} which can be transformed into each other by a 180180^\circ-rotation of the 2n2n-gon. Let \Fn\F_n be the set Ω2n\Omega_{2n} after identification, then the complex \Dn,k\D_{n,k} of type-B generalized triangulations is the simplicial complex of subsets of \Fn\F_n not containing any (k+1)(k+1)-crossing in the above sense. We demonstrate that \Dn,k\D_{n,k} is a pure, k(nk)1+knk(n-k)-1+kn dimensional complex that decomposes into a kn1kn-1-simplex and a k(nk)1k(n-k)-1 dimensional homology sphere. We give a term-order on the monomials in the variables Xij,1i,jnX_{ij}, 1\leq i,j\leq n, such that the corresponding initial ideal of the determinantal ideal generated by the (k+1)(k+1) times (k+1)(k+1) minors of the generic n×nn \times n matrix contains the Stanley-Reisner ideal of \Dn,k\D_{n,k}. We show that the minors form a Gr\"obner-Basis whenever k{1,n2,n1}k\in\{1,n-2,n-1\}. We conjecture this result to be true for all values of k<nk<n.

Keywords

Cite

@article{arxiv.math/0607159,
  title  = {Type-B generalized triangulations and determinantal ideals},
  author = {Daniel Soll and Volkmar Welker},
  journal= {arXiv preprint arXiv:math/0607159},
  year   = {2007}
}