2,445 research outputs found
Small Covers, infra-solvmanifolds and curvature
It is shown that a small cover (resp. real moment-angle manifold) over a
simple polytope is an infra-solvmanifold if and only if it is diffeomorphic to
a real Bott manifold (resp. flat torus). Moreover, we obtain several equivalent
conditions for a small cover being homeomorphic to a real Bott manifold. In
addition, we study Riemannian metrics on small covers and real moment-angle
manifolds with certain conditions on the Ricci or sectional curvature. We will
see that these curvature conditions put very strong restrictions on the
topology of the corresponding small covers and real moment-angle manifolds and
the combinatorial structure of the underlying simple polytopes.Comment: 22 pages, no figur
Balance constants for Coxeter groups
The - Conjecture, originally formulated in 1968, is one of the
best-known open problems in the theory of posets, stating that the balance
constant (a quantity determined by the linear extensions) of any non-total
order is at least . By reinterpreting balance constants of posets in terms
of convex subsets of the symmetric group, we extend the study of balance
constants to convex subsets of any Coxeter group. Remarkably, we conjecture
that the lower bound of still applies in any finite Weyl group, with new
and interesting equality cases appearing.
We generalize several of the main results towards the - Conjecture
to this new setting: we prove our conjecture when is a weak order interval
below a fully commutative element in any acyclic Coxeter group (an
generalization of the case of width-two posets), we give a uniform lower bound
for balance constants in all finite Weyl groups using a new generalization of
order polytopes to this context, and we introduce generalized semiorders for
which we resolve the conjecture.
We hope this new perspective may shed light on the proper level of generality
in which to consider the - Conjecture, and therefore on which methods
are likely to be successful in resolving it.Comment: 27 page
On the Sperner property for the absolute order on complex reflection groups
Two partial orders on a reflection group, the codimension order and the
prefix order, are together called the absolute order when they agree. We show
that in this case the absolute order on a complex reflection group has the
strong Sperner property, except possibly for the Coxeter group of type ,
for which this property is conjectural. The Sperner property had previously
been established for the noncrossing partition lattice , a certain
maximal interval in the absolute order, but not for the entire poset, except in
the case of the symmetric group. We also show that neither the codimension
order nor the prefix order has the Sperner property for general complex
reflection groups.Comment: 12 pages, comments welcome; v2: minor edits and journal referenc
Fixed points of involutive automorphisms of the Bruhat order
Applying a classical theorem of Smith, we show that the poset property of
being Gorenstein over is inherited by the subposet of fixed
points under an involutive poset automorphism. As an application, we prove that
every interval in the Bruhat order on (twisted) involutions in an arbitrary
Coxeter group has this property, and we find the rank function. This implies
results conjectured by F. Incitti. We also show that the Bruhat order on the
fixed points of an involutive automorphism induced by a Coxeter graph
automorphism is isomorphic to the Bruhat order on the fixed subgroup viewed as
a Coxeter group in its own right.Comment: 16 pages. Appendix added, minor revisions; to appear in Adv. Mat
A two-sided analogue of the Coxeter complex
For any Coxeter system of rank , we introduce an abstract boolean
complex (simplicial poset) of dimension that contains the Coxeter
complex as a relative subcomplex. Faces are indexed by triples , where
and are subsets of the set of simple generators, and is a
minimal length representative for the parabolic double coset . There
is exactly one maximal face for each element of the group . The complex is
shellable and thin, which implies the complex is a sphere for the finite
Coxeter groups. In this case, a natural refinement of the -polynomial is
given by the "two-sided" -Eulerian polynomial, i.e., the generating function
for the joint distribution of left and right descents in .Comment: 26 pages, several large tables and figure
The facial weak order and its lattice quotients
We investigate a poset structure that extends the weak order on a finite
Coxeter group to the set of all faces of the permutahedron of . We call
this order the facial weak order. We first provide two alternative
characterizations of this poset: a first one, geometric, that generalizes the
notion of inversion sets of roots, and a second one, combinatorial, that uses
comparisons of the minimal and maximal length representatives of the cosets.
These characterizations are then used to show that the facial weak order is in
fact a lattice, generalizing a well-known result of A. Bj\"orner for the
classical weak order. Finally, we show that any lattice congruence of the
classical weak order induces a lattice congruence of the facial weak order, and
we give a geometric interpretation of their classes. As application, we
describe the facial boolean lattice on the faces of the cube and the facial
Cambrian lattice on the faces of the corresponding generalized associahedron.Comment: 40 pages, 13 figure
- …