group
10275 papers tagged with this keyword
Transitive projective planes and 2-rank
Suppose that a group $G$ acts transitively on the points of a non-Desarguesian plane, $\mathcal{P}$. We prove first that the Sylow 2-subgroups of $G$ are cyclic or generalized quaternion. We also prove that $\mathcal{P}$ must admit an odd order automorphism group which acts transitively on the set of points of $\mathcal{P}$.
Weighted Ehrhart Theory and Orbifold Cohomology
Published in Adv. Math. 219 (2008), 63-88.
• View Publication
• BIB
We introduce the notion of a weighted $δ$-vector of a lattice polytope. Although the definition is motivated by motivic integration, we study weighted $δ$-vectors from a combinatorial perspective. We present a version of Ehrhart Reciprocity and prove a change of variables formula. We deduce a new geometric interpretation of the coefficients of the Ehrhart $δ$-vector. More specifically, they are sums of dimensions of orbifold cohomology groups of a toric stack.
A weighted generalization of Gao's n+D-1 Theorem
Published
• View Publication
• BIB
Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$.
Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and $$\sum_{i\in I}w_{i}x_{f({i})}=(\sum_{i\in I}w_{i})x_{m}.$$
Cluster algebras and preprojective algebras : the non simply-laced case
Published in L. Demonet, C. R. Acad. Sci. Paris, Ser. I 346 (2008)
• View Publication
• BIB
We generalize to the non simply-laced case results of Geiß, Leclerc and Schröer about the cluster structure of the coordinate ring of the maximal unipotent subgroups of simple Lie groups. In this way, cluster structures in the non simply-laced case can be seen as projections of cluster structures in the simply-laced case. This allows us to prove that cluster monomials are linearly independent in the non simply-laced case.
The sphericity of the complex of non-degenerate subspaces
Published in J. Lond. Math. Soc. (2) 79 (2009), no. 3, 684-700
• View Publication
• BIB
We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same is true for a slight generalization, the so-called generalized Phan geometries of type A_n. These generalized Phan geometries occur as relative links of certain filtrations. Their sphericity implies finiteness properties of suitable arithmetic groups and allows for a revision of Phan's group-theoretical local recognition of suitable finite groups of Lie type with simply laced diagram.
The centers of spin symmetric group algebras and Catalan numbers
Published in J. Algebr. Combin. 29 (2009), 175--193.
• View Publication
• BIB
Generalizing the work of Farahat-Higman on symmetric groups, we describe the structures of the even centers Z_n of integral spin symmetric group superalgebras, which lead to universal algebras termed as the spin FH-algebras. A connection between the odd Jucys-Murphy elements and the Catalan numbers is developed and then used to determine the algebra generators of the spin FH-algebras and of the even centers Z_n.
Cayley graphs formed by conjugate generating sets of S_n
We investigate subsets of the symmetric group with structure similar to that of a graph. The trees of these subsets correspond to minimal conjugate generating sets of the symmetric group. There are two main theorems in this paper. The first is a characterization of minimal conjugate generating sets of S_n. The second is a generalization of a result due to Feng characterizing the automorphism groups of the Cayley graphs formed by certain generating sets composed of cycles. We compute the full automorphism groups subject to a weak condition and conjecture that the characterization still holds without the condition. We also present some computational results in relation to hamiltonicity of Cayley graphs, including a generalization of the work on quasi-hamiltonicity by Gutin and Yeo to undirected graphs.
The fundamental group of random 2-complexes
Published in J. Amer. Math. Soc. 24 (2011), 1-28
• View Publication
• BIB
We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest.
Pattern avoidance and the Bruhat order on involutions
Published in J. Algebraic Combin. 30 (2009), no. 1, 87--102
• View Publication
• BIB
We show that the principal order ideal below an element w in the Bruhat order on involutions in a symmetric group is a Boolean lattice if and only if w avoids the patterns 4321, 45312 and 456123. Similar criteria for signed permutations are also stated. Involutions with this property are enumerated with respect to natural statistics. In this context, a bijective correspondence with certain Motzkin paths is demonstrated.
Cutsets in infinite graphs
Published in Published in Combinatorics, Probability and Computing, 16 (2007), issue 1, 159-166
• Search Publication
We answer three questions posed in a paper by Babson and Benjamini. They introduced a parameter $C_G$ for Cayley graphs $G$ that has significant application to percolation. For a minimal cutset of $G$ and a partition of this cutset into two classes, take the minimal distance between the two classes. The supremum of this number over all minimal cutsets and all partitions is $C_G$. We show that if it is finite for some Cayley graph of the group then it is finite for any (finitely generated) Cayley graph. Having an exponential bound for the number of minimal cutsets of size $n$ separating $o$ from infinity also turns out to be independent of the Cayley graph chosen. We show a 1-ended example (the lamplighter group), where $C_G$ is infinite. Finally, we give a new proof for a question of de la Harpe, proving that the number of $n$-element cutsets separating $o$ from infinity is finite unless $G$ is a finite extension of $Z$.
Branching properties for the groups G(de,e,r)
We study general properties of the restriction of the representations of the finite complex reflection groups $G(de,e,r+1)$ to their maximal parabolic subgroups of type $G(de,e,r)$, and focus notably on the multiplicity of components. In combinatorial terms, this amounts to the following question : which symmetries arise or disappear when one changes (exactly) one pearl in a combinatorial necklace ?
The Hecke group algebra of a Coxeter group and its representation theory
Published
• View Publication
• BIB
Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, ...).
In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.
This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
Discrete Kakeya-type problems and small bases
Published
• View Publication
• BIB
A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on bases for sets of integers, and to obtain several extensions for other groups.
Leading coefficients of Kazhdan--Lusztig polynomials for Deodhar elements
Published
• View Publication
• BIB
We show that the leading coefficient of the Kazhdan--Lusztig polynomial $P_{x,w}(q)$ known as $μ(x,w)$ is always either 0 or 1 when $w$ is a Deodhar element of a finite Weyl group. The Deodhar elements have previously been characterized using pattern avoidance by Billey--Warrington (2001) and Billey--Jones (2007). In type $A$, these elements are precisely the 321-hexagon avoiding permutations. Using Deodhar's (1990) algorithm, we provide some combinatorial criteria to determine when $μ(x,w) = 1$ for such permutations $w$.
Random subgroups of Thompson's group $F$
Published in Groups Geom. Dyn. 4 (2010), no. 1, 91-126
• View Publication
• BIB
We consider random subgroups of Thompson's group $F$ with respect to two natural stratifications of the set of all $k$ generator subgroups. We find that the isomorphism classes of subgroups which occur with positive density are not the same for the two stratifications.
We give the first known examples of {\em persistent} subgroups, whose isomorphism classes occur with positive density within the set of $k$-generator subgroups, for all sufficiently large $k$. Additionally, Thompson's group provides the first example of a group without a generic isomorphism class of subgroup. Elements of $F$ are represented uniquely by reduced pairs of finite rooted binary trees.
We compute the asymptotic growth rate and a generating function for the number of reduced pairs of trees, which we show is D-finite and not algebraic. We then use the asymptotic growth to prove our density results.
Regular cell complexes in total positivity
Published
• View Publication
• BIB
This paper proves a conjecture of Fomin and Shapiro that their combinatorial model for any Bruhat interval is a regular CW complex which is homeomorphic to a ball. The model consists of a stratified space which may be regarded as the link of an open cell intersected with a larger closed cell, all within the totally nonnegative part of the unipotent radical of an algebraic group. A parametrization due to Lusztig turns out to have all the requisite features to provide the attaching maps. A key ingredient is a new, readily verifiable criterion for which finite CW complexes are regular involving an interplay of topology with combinatorics.
On Enumeration of Conjugacy Classes of Coxeter Elements
Published in Proc. Amer. Math. Soc. 136 (2008), 4157-4165.
• View Publication
• BIB
In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T(Y,1,0), and we provide bijections to two other classes of acyclic orientations that are known to be counted in the same way. A transversal of the set of equivalence classes is given.
Quasi-invariant and super-coinvariant polynomials for the generalized symmetric group
Published in Formal Power Series and Algebraic Combinatorics, Linköping : Suède (2003)
• Search Publication
The aim of this work is to extend the study of super-coinvariant polynomials, to the case of the generalized symmetric group $G_{n,m}$, defined as the wreath product $C_m\wr§_n$ of the symmetric group by the cyclic group. We define a quasi-symmetrizing action of $G_{n,m}$ on $\Q[x_1,...,x_n]$, analogous to those defined by Hivert in the case of $§_n$. The polynomials invariant under this action are called quasi-invariant, and we define super-coinvariant polynomials as polynomials orthogonal, with respect to a given scalar product, to the quasi-invariant polynomials with no constant term. Our main result is the description of a Gröbner basis for the ideal generated by quasi-invariant polynomials, from which we dedece that the dimension of the space of super-coinvariant polynomials is equal to $m^n C_n$ where $C_n$ is the $n$-th Catalan number.
Polynômes quasi-invariants et super-coinvariants pour le groupe symétrique généralisé
Published in Annales des sciences mathématiques du Québec 27, 2 (2003) 111-121
• Search Publication
A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.
The Discrete Fundamental Group of the Order Complex of $B_n$
Published
• View Publication
• BIB
A few years ago Kramer and Laubenbacher introduced a discrete notion of homotopy for simplicial complexes. In this paper, we compute the discrete fundamental group of the order complex of the Boolean lattice. As it turns out, it is equivalent to computing the discrete homotopy group of the 1-skeleton of the permutahedron. To compute this group we introduce combinatorial techniques that we believe will be helpful in computing discrete fundamental groups of other polytopes. More precisely, we use the language of words, over the alphabet of simple transpositions, to obtain conditions that are necessary and sufficient to characterize the equivalence classes of cycles. The proof requires only simple combinatorial arguments. As a corollary, we also obtain a combinatorial proof of the fact that the first Betti number of the complement of the 3-equal arrangement is equal to $2^{n-3}(n^2-5n+8)-1.$ This formula was originally obtained by Björner and Welker in 1995.