The pinched Veronese is Koszul

In this paper we prove that the coordinate ring of the pinched Veronese, k[X ³,X ² Y,XY ²,Y ³,X ² Z,Y ² Z,XZ ²,YZ ²,Z ³], is Koszul. The result is obtained by combining the use of a flat deformation induced by a distinguished weight together with a generalization of the notion of Koszul filtrations.     

Shellability and higher Cohen-Macaulay connectivity of generalized cluster complexes

Let Φ be a finite root system of rank n and let m be a nonnegative integer. The generalized cluster complex Δ^m(Φ) was introduced by S. Fomin and N. Reading. It was conjectured by these authors that Δ^m(Φ) is shellable and by V. Reiner that it is (m + 1)-Cohen-Macaulay, in the sense of Baclawski. These statements are proved in this paper. Analogous statements are shown to hold for the positive part Δ₊^m(Φ) of Δ^m(Φ). An explicit homotopy equivalence is given between Δ₊^m(Φ) and the poset of generalized noncrossing partitions, associated to the pair (Φ, m) by D. Armstrong.     

Shellability of exponential structures

We show that the poset of all partitions of an nd-set with block size divisible by d is shellable. Using similar techniques, it also follows that various other examples of exponential structures cited by Stanley are also shellable. The method used involves the notion of recursive atom orderings introduced by Björner and Wachs.Research supported in part by NATO post-doctoral grant administered by the NSF.     

Shellability of Interval Orders

An finite interval order is a partially ordered set whose elements are in correspondence with a finite set of intervals in the line, with disjoint intervals being ordered by their relative position. We show that any such order is shellable in the sense that its (not necessarily pure) order complex is shellable.     

Shellability of noncrossing partition lattices

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type and those of exceptional type and rank at least three.

     

Shellability and homology of q-complexes and q-matroids

Journal of Algebraic Combinatorics - We consider a q-analogue of abstract simplicial complexes, called q-complexes, and discuss the notion of shellability for such complexes. It is shown that...     

Syzygies of Veronese Embeddings

We prove that the Veronese embedding _O ⁿ (d): ^{n N} with n2, d3 does not satisfy property N _p (according to Green and Lazarsfeld) if p3d–2. We make the conjecture that also the converse holds. This is true for n=2 and for n=d=3.     

N-free posets as generalizations of series-parallel posets

N-Free posets have recently taken some importance and motivated many studies. This class of posets introduced by Grillet [8] and Heuchenne [11] are very related to another important class of posets, namely the series-parallel posets, introduced by Lawler [12] and studied by Valdes et al. [21]. This paper shows how N-free posets can be considered as generalizations of series-parallel posets, by giving a recursive construction of N-free posets. Furthermore we propose a linear time algorithm to recognize and decompose any N-free poset. This yields some very naturel problems, namely: which are the properties(such as linear time algorithm for some invariant) of series-parallel posets that are kept for N-free posets?     

Incidence posets of trees in posets of large dimension

In this paper, we investigate substructures of partially ordered sets which must be present whenever the dimension is large. We show that for eachn1, ifT is a tree onn vertices and ifP is any poset having dimension at least 4n ⁶, then eitherP or its dual contains the incidence poset ofT as a suborder.     

On the complexity of posets

The purpose of this paper is to discuss several invariants each of which provides a measure of the intuitive notion of complexity for a finite partially ordered set. For a poset X the invariants discussed include cardinality, width, length, breadth, dimension, weak dimension, interval dimension and semiorder dimension denoted respectively X, W(X), L(X), B(X), dim(X). Wdim(X), Idim(X) and Sdim(X). Among these invariants the following inequalities hold. $\text{B(}\text{X}\text{)?Idim(}\text{X}\text{)?Sdim(}\text{X}\text{)?Wdim(}\text{X}\text{)?dim(}\text{X}\text{)?W(}\text{X}\text{)}$. We prove that every poset X with three of more points contains a partly with $\text{Idim}\text{(}\text{X}\text{)}\text{Idim}\text{(}\text{X}\text{) {x,v})}$. If M denotes the set of maximal elements and A an arbitrary anticham of X we show that $\text{Idim}\text{(}\text{X}\text{)?W(}\text{X-M}\text{)}$ and $\text{Idim}\text{(}\text{X}\text{)?2W(}\text{X-A}\text{)}$. We also show that there exist functions f(n,t) and (gt) such that $\text{I(}\text{X}\text{)?n}$ and $\text{Idim}\text{(}\text{X}\text{)?t}$simply $\text{dim}\text{(}\text{X}\text{)?f(n,t and Sdim(}\text{X}\text{)?t}$ implies $\text{dim}\text{(}\text{X}\text{)?g(t)}$.     

An affine characterization of the Veronese surface

IfM ² is a nondegenerate surface in a 4-dimensional Riemannian manifold , then there is a natural affine metricg defined onM ². It is shown that this affine metricg is conformal to the induced Riemannian metric onM ² if and only ifM ² is a minimal submanifold of in the usual Riemannian sense. If the conformal factor is a constant, then the two metrics are said to be homothetic. It is shown that there does not exist a nondegenerate surface in Euclidean space ⁴ or hyperbolic spaceH ⁴ whose affine metric is homothetic to the induced Riemannian metric. Furthermore, ifM ² is a nondegenerate surface in the standard 4-sphereS ⁴ whose affine metric is homothetic to the induced Riemannian metric, thenM ² is a Veronese surface.T. Cecil was supported by NSF Grant No. DMS-9101961.     

Towards the reconstruction of posets

The reconstruction conjecture for posets is the following: Every finite posetP of more than three elements is uniquely determined — up to isomorphism — by its collection of (unlabelled) one-element-deleted subposets P–{x}:xV(P).We show that disconnected posets, posets with a least (respectively, greatest) element, series decomposable posets, series-parallel posets and interval orders are reconstructible and that N-free orders are recognizable.We show that the following parameters are reconstructible: the number of minimal (respectively, maximal) elements, the level-structure, the ideal-size sequence of the maximal elements, the ideal-size (respectively, filter-size) sequence of any fixed level of the HASSE-diagram and the number of edges of the HASSE-diagram.This is considered to be a first step towards a proof of the reconstruction conjecture for posets.Research partly supported by DAAD.     

Quasi-linear Quotients and Shellability of Pure Simplicial Complexes

For a square-free monomial ideal I ? S = k[x ₁, x ₂,…, x _n ], we introduce the notion of quasi-linear quotients. By using the quasi-linear quotients, we give a new algebraic criterion for the shellability of a pure simplicial complex Δ over [n]. Also, we provide a new criterion for the Cohen–Macaulayness of the face ring of a pure simplicial complex Δ. Moreover, we show that the face ring of the spanning simplicial complex (defined in [2 Anwar , I. , Raza , Z. , Kashif , A. Spanning simplicial complexes of uni-cyclic graphs . To appear in Algebra Colloquium . [Google Scholar]]) of an r-cyclic graph is Cohen–Macaulay.