group
10399 papers tagged with this keyword
Parity patterns associated with lifts of Hecke groups
Published in Abh. Math. Sem. Univ. Hamburg 78 (2008), 99-147.
• View Publication
• BIB
Let $q$ be an odd prime, $m$ a positive integer, and let $\Ga_m(q)$ be the group generated by two elements $x$ and $y$ subject to the relations $x^{2m}=y^{qm}=1$ and $x^2=y^q$; that is, $\Ga_m(q)$ is the free product of two cyclic groups of orders $2m$ respectively $qm$, amalgamated along their subgroups of order $m$. Our main result determines the parity behaviour of the generalized subgroup numbers of $\Ga_m(q)$ which were defined in [T. W. Müller, Adv. in Math. 153 (2000), 118-154], and which count all the homomorphisms of index $n$ subgroups of $\Ga_m(q)$ into a given finite group $H$, in the case when $\gcd(m,| H|)=1$. This computation depends upon the solution of three counting problems in the Hecke group $\mathfrak H(q)=C_2*C_q$: (i) determination of the parity of the subgroup numbers of $\mathfrak H(q)$; (ii) determination of the parity of the number of index $n$ subgroups of $\mathfrak H(q)$ which are isomorphic to a free product of copies of $C_2$ and of $C_\infty$; (iii) determination of the parity of the number of index $n$ subgroups in $\mathfrak H(q)$ which are isomorphic to a free product of copies of $C_q$. The first problem has already been solved in [T. W. Müller, in: {\it Groups: Topological, Combinatorial and Arithmetic Aspects}, (T. W. Müller ed.), LMS Lecture Notes Series 311, Cambridge University Press, Cambridge, 2004, pp. 327-374]. The bulk of our paper deals with the solution of Problems (ii) and (iii).
The KP hierarchy, branched covers, and triangulations
Published
• View Publication
• BIB
The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.
Affine partitions and affine Grassmannians
Published
• View Publication
• BIB
We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. For type $A_{n}$, the affine colored partitions form another family of combinatorial objects in bijection with $n+1$-core partitions and $n$-bounded partitions. Our main application is to characterize the rationally smooth Schubert varieties in the affine Grassmannians in terms of affine partitions and a generalization of Young's lattice which refines weak order and is a subposet of Bruhat order. Several of the proofs are computer assisted.
Knuth Relations for the Hyperoctahedral Groups
Published
• View Publication
• BIB
C. Bonnaf{é}, M. Geck, L. Iancu, and T. Lam have conjectured a description of one-sided cells in unequal parameter Hecke algebras of type $B$ which is based on domino tableaux of arbitrary rank. In the integer case, this generalizes the work of D. Garfinkle whose methods we adapt to construct a family of operators which generate the conjectured combinatorial description.
Eigenvalues of the Derangement Graph
Published
• View Publication
• BIB
We consider the Cayley graph on the symmetric group Sn generated by derangements. It is well known that the eigenvalues of this grpah are indexed by partitions of n. We investigate how these eigenvalues are determined by the shape of their corresponding partitions. In particular, we show that the sign of an eigenvalue is the parity of the number of cells below the first row of the corresponding Ferrers diagram. We also provide some lower and upper bounds for the absolute values of these eigenvalues.
On Extending Pollard's Theorem for t-Representable Sums
Published
• View Publication
• BIB
Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we show that either \be\label{almost}\Sum{i=1}{t}|A\pp{i} B|\geq t|A|+t|B|-2t^2+1,\ee or else there exist $A'\subseteq A$ and $B'\subseteq B$ with \ber \nn l&:=&|A\setminus A'|+|B\setminus B'|\leq t-1, \nn A'\pp{t}B'&=&A'+B'=A\pp{t}B,{and} \nn \Sum{i=1}{t}|A\pp{i}B|&\geq& t|A|+t|B|-(t-l)(|H|-ρ)-tl\geq t|A|+t|B|-t|H|,\eer where $H$ is the (nontrivial) stabilizer of $A\pp{t} B$ and $ρ=|A'+H|-|A'|+|B'+H|-|B'|$. In the case $t=2$, we improve (\ref{almost}) to $|A\pp{1}B|+|A\pp{2}B|\geq 2|A|+2|B|-4$.
Sortable elements in infinite Coxeter groups
Published
• View Publication
• BIB
In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.
When is a symmetric pin-jointed framework isostatic?
Published
• View Publication
• BIB
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted by the symmetry operations of the framework. In particular, it turns out that an isostatic framework in 2D can belong to one of only six point groups. Some conjectures and initial results are presented that would give sufficient conditions (in both 2D and 3D) for a framework that is realized generically for a given symmetry group to be an isostatic framework.
The signed Eulerian numbers on involutions
We define an analogue of signed Eulerian numbers $f_{n,k}$ for involutions of the symmetric group and derive some combinatorial properties of this sequence. In particular, we exhibit both an explicit formula and a recurrence for $f_{n,k}$ arising from the properties of its generating function.
A statistic on the roots of a finite reflection group and a correspondence between the height function and Bruhat order
The action of a finite reflection group (type A) on its set of roots is understood as a permutation representation or group action. We show that this representation is an induced representation from a certain kind of parabolic subgroup. Furthermore, we use this representation to define a statistic (derived from the length function) on the set of roots. A possible application to Costas Arrays is hinted at in a proposition.
Annular embeddings of permutations for arbitrary genus
Published
• View Publication
• BIB
In the symmetric group on a set of size 2n, let P_{2n} denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as ``pairings'', since each disjoint cycle has length 2). Harer and Zagier explicitly determined the distribution of the number of disjoint cycles in the product of a fixed cycle of length 2n and the elements of P_{2n}. Their famous result has been reproved many times, primarily because it can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface,of a graph with a single vertex attached to n loops. In this paper we give a new formula for the cycle distribution when a fixed permutation with two cycles (say the lengths are p,q, where p+q=2n) is multiplied by the elements of P_{2n}. It can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with two vertices, of degrees p and q. In terms of these graphs, the formula involves a parameter that allows us to specify, separately, the number of edges between the two vertices and the number of loops at each of the vertices. The proof is combinatorial, and uses a new algorithm that we introduce to create all rooted forests containing a given rooted forest.
Bruhat-Chevalley order on the rook monoid
Published
• View Publication
• BIB
The rook monoid $R_n$ is the finite monoid whose elements are the 0-1 matrices with at most one nonzero entry in each row and column. The group of invertible elements of $R_n$ is isomorphic to the symmetric group $S_n$. The natural extension to $R_n$ of the Bruhat-Chevalley ordering on the symmetric group is defined in \cite{Renner86}. In this paper, we find an efficient, combinatorial description of the Bruhat-Chevalley ordering on $R_n$. We also give a useful, combinatorial formula for the length function on $R_n$.
A palindromization map for the free group
Published in Theoret. Comput. Sci. 409 (2008), 461-470
• View Publication
• BIB
We define a self-map Pal: F_2 --> F_2 of the free group on two generators a, b, using automorphisms of F_2 that form a group isomorphic to the braid group B_3. The map Pal restricts to de Luca's right iterated palindromic closure on the submonoid generated by a, b, and is continuous for the profinite topology on F_2. The values of Pal are palindromes and coincide with the elements g of F_2 such that abg is conjugate to bag.
On additive doubling and energy
Published
• View Publication
• BIB
We show that if A is a set having small subtractive doubling in an abelian group, that is |A-A|< K|A|, then there is a polynomially large subset B of A-A so that the additive energy of B is large than (1/K)^{1 - ε) where epsilon is a positive, universal exponent. (1/37 seems to suffice.)
Simplicial matrix-tree theorems
Published in Trans. Amer. Math. Soc. 361 (2009), no. 11, 6073-6114
• View Publication
• BIB
We generalize the definition and enumeration of spanning trees from the setting of graphs to that of arbitrary-dimensional simplicial complexes $Δ$, extending an idea due to G. Kalai. We prove a simplicial version of the Matrix-Tree Theorem that counts simplicial spanning trees, weighted by the squares of the orders of their top-dimensional integral homology groups, in terms of the Laplacian matrix of $Δ$. As in the graphic case, one can obtain a more finely weighted generating function for simplicial spanning trees by assigning an indeterminate to each vertex of $Δ$ and replacing the entries of the Laplacian with Laurent monomials. When $Δ$ is a shifted complex, we give a combinatorial interpretation of the eigenvalues of its weighted Laplacian and prove that they determine its set of faces uniquely, generalizing known results about threshold graphs and unweighted Laplacian eigenvalues of shifted complexes.
Equivariant classification of 2-torus manifolds
Published in Colloq. Math. 115 (2009), 171--188.
• Search Publication
A 2-torus manifold is a closed smooth manifold of dimension $n$ with an effective action of a 2-torus group $(\Z_2)^n$ of rank $n$, and it is said to be locally standard if it is locally isomorphic to a faithful representation of $(\Z_2)^n$ on $\R^n$. This paper studies the equivariant classification of locally standard 2-torus manifolds.
Mirabolic affine Grassmannian and character sheaves
Published
• View Publication
• BIB
We compute the Frobenius trace functions of mirabolic character sheaves defined over a finite field. The answer is given in terms of the character values of general linear groups over the finite field, and the structure constants of multiplication in the mirabolic Hall-Littlewood basis of symmetric functions, introduced by Shoji.
A remark on Frobenius characters for set representations of symmetric groups
For any set representation (permutation representation) of the symmetric group $S_n$, we give combinatorial interpretation for coefficients of its Frobenius character expanded in the basis of monomial symmetric functions.
Jack polynomials and free cumulants
Published in Advances in Mathematics 222 (2009) 2227-2269
• View Publication
• BIB
We study the coefficients in the expansion of Jack polynomials in terms of power sums. We express them as polynomials in the free cumulants of the transition measure of an anisotropic Young diagram. We conjecture that such polynomials have nonnegative integer coefficients. This extends recent results about normalized characters of the symmetric group.
Some relational structures with polynomial growth and their associated algebras II: Finite generation
Published
• View Publication
• BIB
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron.
In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials.
In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.