poset ↗ reference
2264 papers tagged with this keyword
The Face Semigroup Algebra of a Hyperplane Arrangement
Published
• View Publication
• BIB
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.
Torus graphs and simplicial posets
Published in Adv. Math. 212 (2007), no. 2, 458-483
• View Publication
• BIB
For several important classes of manifolds acted on by the torus, the information about the action can be encoded combinatorially by a regular n-valent graph with vector labels on its edges, which we refer to as the torus graph. By analogy with the GKM-graphs, we introduce the notion of equivariant cohomology of a torus graph, and show that it is isomorphic to the face ring of the associated simplicial poset. This extends a series of previous results on the equivariant cohomology of torus manifolds. As a primary combinatorial application, we show that a simplicial poset is Cohen-Macaulay if its face ring is Cohen-Macaulay. This completes the algebraic characterisation of Cohen-Macaulay posets initiated by Stanley. We also study blow-ups of torus graphs and manifolds from both the algebraic and the topological points of view.
Small models of graph colouring manifolds and the Stiefel manifolds Hom(C_5, K_n)
We show Péter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to them whenever G is a graph for which those complexes are manifolds. The equivariant version of Csorba's conjecture is proved up to homotopy.
We also study certain subdivisions of simplicial manifolds that are related to the interval poset of their face posets and their connection with geometric approximations to diagonal maps.
Rationality of the Möbius function of a composition poset
We consider the zeta and Möbius functions of a partial order on integer compositions first studied by Bergeron, Bousquet-Mélou, and Dulucq. The Möbius function of this poset was determined by Sagan and Vatter. We prove rationality of various formal power series in noncommuting variables whose coefficients are evaluations of the zeta function and the Möbius function. The proofs are either directly from the definitions or by constructing finite-state automata.
We also obtain explicit expressions for generating functions obtained by specializing the variables to commutative ones. We reprove Sagan and Vatter's formula for the Möbius function using this machinery. These results are closely related to those of Björner and Reutenauer about subword order, and we discuss a common generalization.
Combinatorial groupoids, cubical complexes, and the Lovasz conjecture
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial ``Theorema Egregium'' for cubical complexes non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool for extending Babson-Kozlov-Lovasz graph coloring results to more general statements about non-degenerate maps (colorings) of simplicial complexes and graphs.
Prefab posets` Whitney numbers
Published in Bull. Soc. Sci. Lett. Lodz, vol 60, (2005). 25-33
• Search Publication
We introduce a natural partial order in structurally natural finite subsets the cobweb prefabs sets recently constructed by the present author. Whitney numbers of the second kind of the corresponding subposet which constitute Stirling-like numbers` triangular array are then calculated and the explicit formula for them is provided. Next - in the second construction - we endow the set sums of prefabiants with such an another partial order that their their bell like numbers include fibonacci triad sequences introduced recently by the present author in order to extend famous relation between binomial newton coefficients and fibonacci numbers onto the infinity of their relatives among which there are also the fibonacci triad sequences and binomial-like coefficients (incidence coefficients included).
Subdivision of complexes of k-Trees
Consider the poset of partitions of {1,...(n-1)k+1} with block sizes congruent to 1 modulo k. We prove that its order complex is a subdivision of the complex of k-trees, thereby answering a question posed by Feichtner. The result is obtained by an ad-hoc generalization of concepts from the theory of nested set complexes to non-lattices.
Posets related to the connectivity set of Coxeter groups
Published in J. Algebra 303 (2006), no. 2, 831-846
• View Publication
• BIB
We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval.
On the Combinatorics of Crystal Graphs, I. Lusztig's Involution
Published
• View Publication
• BIB
In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A).
Shelling totally nonnegative flag varieties
Published
• View Publication
• BIB
In this paper we study the partially ordered set Q^J of cells in Rietsch's cell decomposition of the totally nonnegative part of an arbitrary flag variety P^J_{\geq 0}. Our goal is to understand the geometry of P^J_{\geq 0}: Lusztig has proved that this space is contractible, but it is unknown whether the closure of each cell is contractible, and whether P^J_{\geq 0} is homeomorphic to a ball. The order complex |Q^J| is a simplicial complex which can be thought of as a combinatorial approximation of P^J_{\geq 0}. Using combinatorial tools such as Bjorner's EL-labellings and Dyer's reflection orders, we prove that Q^J is graded, thin and EL-shellable. As a corollary, we deduce that Q^J is Eulerian and that the Euler characteristic of the closure of each cell is 1. Additionally, our results imply that |Q^J| is homeomorphic to a ball, and moreover, that Q^J is the face poset of some regular CW complex homeomorphic to a ball.
The $F$-triangle of the generalised cluster complex
Published in in: "Topics in Discrete Mathematics," dedicated to Jarik Nesetril on the occasion of his 60th birthday, M. Klazar, J. Kratochvil, M. Loebl, J. Matousek, R. Thomas and P. Valtr, eds., Springer-Verlag, Berlin, New York, 2006, pp. 93-126.
• View Publication
• BIB
The $F$-triangle is a refined face count for the generalised cluster complex of Fomin and Reading. We compute the $F$-triangle explicitly for all irreducible finite root systems. Furthermore, we use these results to partially prove the "$M=F$ Conjecture" of Armstrong which predicts a surprising relation between the $F$-triangle and the Möbius function of his $m$-divisible partition poset associated to a finite root system.
Binomial posets with non-isomorphic intervals
The confluent binomial posets with the atomic function A(n) = max (1,2^(n-2)) are classified. In particular, it is shown that in general there are non-isomorphic intervals of the same length.
The Möbius function of the composition poset
Published
• View Publication
• BIB
We determine the Möbius function of the poset of compositions of an integer. In fact we give two proofs of this formula, one using an involution and one involving discrete Morse theory. The composition poset turns out to be intimately connected with subword order, whose Möbius function was determined by Björner. We show that using a generalization of subword order, we can obtain both Björner's results and our own as special cases.
On algebras associated to partially ordered sets
Published in Math. Scand. 103 (2008), no. 2, 169-185
• View Publication
• BIB
We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley-Reisner rings. Finally, we determine an explicit presentation of certain global rings of sections.
Reduced Decompositions and Permutation Patterns
Published
• View Publication
• BIB
Billey, Jockusch, and Stanley characterized 321-avoiding permutations by a property of their reduced decompositions. This paper generalizes that result with a detailed study of permutations via their reduced decompositions and the notion of pattern containment. These techniques are used to prove a new characterization of vexillary permutations in terms of their principal dual order ideals in a particular poset. Additionally, the combined frameworks yield several new results about the commutation classes of a permutation. In particular, these describe structural aspects of the corresponding graph of the classes and the zonotopal tilings of a polygon defined by Elnitsky that is associated with the permutation.
On Whitney numbers of the Order Ideals of Generalized Fences and Crowns
Published in Discrete Math. 309 (2009), 615-621
• View Publication
• BIB
We solve some recurrences given by E. Munarini and N. Zagaglia Salvi proving explicit closed formulas for Whitney numbers of the distributive lattices of order ideals of the fence poset and crown poset. Moreover, we get explicit closed formulas for Whitney numbers of lattices of order ideals of fences with higher asymmetric peaks.
A Generalized Macaulay Theorem and Generalized Face Rings
Published in JCTA 113 (2006) 1321-1331
• View Publication
• BIB
We prove that the $f$-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the "diamond property", discussed by Wegner, as spacial cases. Specializing the proof to that later family, one obtains the Kruskal-Katona inequalities and their proof as in Wegner's.
For geometric meet semi lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which include also multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.
Saturated chains in composition posets
We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established.
The latter article was inspired by the work of Bergeron, Bousquet-M{é}lou and Dulucq on "Standard paths in the composition poset", where they studied a poset where there are additional cover relations which allows the insertion of a part of size one anywhere in the composition. Finally, following a suggestion by Richard Stanley we study yet a third which is an extension of the previous two posets. This poset is related to quasi-symmetric functions.
For these posets, we study generating functions for saturated chains of fixed width k. We also construct ``labeled'' non-commutative generating functions and their associated languages.
Cell transfer and monomial positivity
Published
• View Publication
• BIB
We give combinatorial proofs that certain families of differences of products of Schur functions are monomial-positive. We show in addition that such monomial-positivity is to be expected of a large class of generating functions with combinatorial definitions similar to Schur functions. These generating functions are defined on posets with labelled Hasse diagrams and include for example generating functions of Stanley's $(P,ω)$-partitions.
Linear spaces, transversal polymatroids and ASL domains
Published
• View Publication
• BIB
Let $K$ be an infinite field and $R=K[x_1,...,x_n]$ be the polynomial ring. Let $V=V_1, ..., V_m$ be a collection of vector spaces of linear forms. Denote by $A(V)$ the $K$-subalgebra of $R$ generated by the elements of the product $V_1... V_m$. Our goal is to investigate the properties of the algebra $A(V)$ and the relations with two problems in algebraic combinatorics White's and related conjectures on polymatroids and the study of integral posets.