group
10226 papers tagged with this keyword
On the homotopy Lie algebra of an arrangement
Published in Michigan Mathematical Journal 54 (2006), no. 2, 319-340
• View Publication
• BIB
Let A be a graded-commutative, connected k-algebra generated in degree 1. The homotopy Lie algebra g_A is defined to be the Lie algebra of primitives of the Yoneda algebra, Ext_A(k,k). Under certain homological assumptions on A and its quadratic closure, we express g_A as a semi-direct product of the well-understood holonomy Lie algebra h_A with a certain h_A-module. This allows us to compute the homotopy Lie algebra associated to the cohomology ring of the complement of a complex hyperplane arrangement, provided some combinatorial assumptions are satisfied. As an application, we give examples of hyperplane arrangements whose complements have the same Poincaré polynomial, the same fundamental group, and the same holonomy Lie algebra, yet different homotopy Lie algebras.
Cubature formulas, geometrical designs, reproducing kernels, and Markov operators
Published
• View Publication
• BIB
Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.
A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions
A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots).
Universal lattices and unbounded rank expanders
Published
• View Publication
• BIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets.
As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
Invariants and Coinvariants of the Symmetric Group in Noncommuting Variables
Published in Canad. J. Math. 60 (2008), no. 2, 266-296
• View Publication
• BIB
We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials.
Lattices in finite real reflection groups
Published
• View Publication
• BIB
For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.
Finite covers of groups by cosets or subgroups
Published in Internat. J. Math. 17(2006), 1047--1064
• View Publication
• BIB
This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its proper subsystems does. We show that if $G$ is cyclic, or $G$ is finite and $G_1,...,G_k$ are normal Hall subgroups of $G$, then $k\geq m+f([G:\bigcap_{i=1}^kG_i])$, where $f(\prod_{t=1}^r p_t^{α_t})=\sum_{t=1}^rα_t(p_t-1)$ if $p_1,...,p_r$ are distinct primes and $α_1,...,α_r$ are nonnegative integers. When all the $a_i$ are the identity element of $G$ and all the $G_i$ are subnormal in $G$, we prove that there is a composition series from $\bigcap_{i=1}^kG_i$ to $G$ whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.
The generic Groebner walk
Published in J. Symb. Comp. 42 (2007), 298-312.
• View Publication
• BIB
The Groebner walk is an algorithm for conversion between Groebner bases for different term orders. It is based on the polyhedral geometry of the Groebner fan and involves tracking a line between cones representing the initial and target term order. An important parameter is explicit numerical perturbation of this line. This usually involves both time and space demanding arithmetic of integers much larger than the input numbers. In this paper we show how the explicit line may be replaced by a formal line using Robbiano's characterization of group orders on Q^n. This gives rise to the generic Groebner walk involving only Groebner basis conversion over facets and computations with marked polynomials. The proposed technique is closely related to the lexicographic (symbolic) perturbation method used in optimization and computational geometry. We report on computations with toric ideals, where a version of our algorithm in certain cases computes test sets for hard integer knapsack problems significantly faster than the Buchberger algorithm.
The computation of Kostka Numbers and Littlewood-Richardson Coefficients is #P-complete
Published
• View Publication
• BIB
Kostka numbers and Littlewood-Richardson coefficients play an essential role in the representation theory of the symmetric groups and the special linear groups. There has been a significant amount of interest in their computation. The issue of their computational complexity has been a question of folklore, but was asked explicitly by E. Rassart. We prove that the computation of either quantity is #P-complete. The reduction to computing Kostka numbers, is from the #P-complete problem of counting the number of 2 x k contingency tables having given row and column sums. The main ingredient in this reduction is a correspondence discovered by D. E. Knuth. The reduction to the problem of computing Littlewood-Richardson coefficients is from that of computing Kostka numbers.
Gaussian fluctuations of characters of symmetric groups and of Young diagrams
Published in Probab. Theory Related Fields 136 (2006), no. 2, 263-297
• View Publication
• BIB
We study asymptotics of reducible representations of the symmetric groups S_q for large q. We decompose such a representation as a sum of irreducible components (or, alternatively, Young diagrams) and we ask what is the character of a randomly chosen component (or, what is the shape of a randomly chosen Young diagram). Our main result is that for a large class of representations the fluctuations of characters (and fluctuations of the shape of the Young diagrams) are asymptotically Gaussian; in this way we generalize Kerov's central limit theorem. The considered class consists of representations for which the characters almost factorize and this class includes, for example, left-regular representation (Plancherel measure), tensor representations. This class is also closed under induction, restriction, outer product and tensor product of representations. Our main tool in the proof is the method of genus expansion, well known from the random matrix theory.
Generalized descent algebras
If $A$ is a subset of the set of reflections of a finite Coxeter group $W$, we define a sub-${\mathbb{Z}}$-module ${\mathcal{D}}_A(W)$ of the group algebra ${\mathbb{Z}} W$. We provide examples where this submodule is a subalgebra. This family of subalgebras includes strictly the Solomon descent algebra and, if $W$ if of type $B$, the Mantaci-Reutenauer algebra.
Polygon dissections and some generalizations of cluster complexes
Published
• View Publication
• BIB
Let $W$ be a Weyl group corresponding to the root system $A_{n-1}$ or $B_n$.
We define a simplicial complex $ Δ^m_W $ in terms of polygon dissections for such a group and any positive integer $m$. For $ m=1 $, $ Δ^m_W$ is isomorphic to the cluster complex corresponding to $ W $, defined in \cite{FZ}. We enumerate the faces of $ Δ^m_W $ and show that the entries of its $h$-vector are given by the generalized Narayana numbers $ N^m_W(i) $, defined in \cite{Atha3}. We also prove that for any $ m \geq 1$ the complex $ Δ^m_W $ is shellable and hence Cohen-Macaulay.
Nilpotent orbits of linear and cyclic quivers and Kazhdan-Lusztig polynomials of type A
Published in Represent. Theory 11 (2007), pp. 95-121
• View Publication
• BIB
The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.
Isospectral Cayley graphs of some finite simple groups
Published
• View Publication
• BIB
We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$.
Chiral polyhedra in ordinary space, II
Published
• View Publication
• BIB
A chiral polyhedron has a geometric symmetry group with two orbits on the flags, such that adjacent flags are in distinct orbits. Part I of the paper described the discrete chiral polyhedra in ordinary Euclidean 3-space with finite skew faces and finite skew vertex-figures; they occur in infinite families and are of types {4,6}, {6,4} and {6,6}. Part II completes the enumeration of all discrete chiral polyhedra in 3-space. There exist several families of chiral polyhedra with infinite, helical faces. In particular, there are no discrete chiral polyhedra with finite faces in addition to those described in Part I.
Branching rules, Kostka-Foulkes polynomials and $q$-multiplicities in tensor product for the root systems $B\_{n},C\_{n}$ and $D\_{n}$
Published
• View Publication
• BIB
The Kostka-Foulkes polynomials $K$ related to a root system $φ$ can be defined as alternated sums running over the Weyl group associated to $φ.$ By restricting these sums over the elements of the symmetric group when $% φ$ is of type $B,C$ or $D$, we obtain again a class $\widetilde{K}$ of Kostka-Foulkes polynomials. When $φ$ is of type $C$ or $D$ there exists a duality beetween these polynomials and some natural $q$-multiplicities $U$ in tensor product \cite{lec}. In this paper we first establish identities for the $\widetilde{K}$ which implies in particular that they can be decomposed as sums of Kostka-Foulkes polynomials related to the root system of type $A$ with nonnegative integer coefficients. Moreover these coefficients are branching rule coefficients. This allows us to clarify the connection beetween the $q$-multiplicities $U$ and the polynomials defined by Shimozono and Zabrocki in \cite{SZ}. Finally we establish that the $q$-multiplicities $U$ defined for the tensor powers of the vector representation coincide up to a power of $q$ with the one dimension sum $X$ introduced in \cite{Ok} This shows that in this case the one dimension sums $% X$ are affine Kazhdan-Lusztig polynomials.
A Construction of Coxeter Group Representations (II)
Published
• View Publication
• BIB
An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is investigated in detail. The resulting representations are completely classified and include the irreducible ones.
Equipartitions of measures in $\mathbb{R}^4$
We prove that each measure $μ$ in $R^4$ admits an equipartition by 4 hyperplanes, provided that it is symmetric with respect to a 2-dimensional, affine subspace $L$ of $R^4$. Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on the Koschorke's exact singularity sequence and the remarkable properties of the essentially unique, balanced binary Gray code in dimension 4.
Tensorial square of the Hyperoctahedral group Coinvariant Space
Published
• View Publication
• BIB
The purpose of this paper is to give an explicit description of the trivial and alternating components of the irreducible representation decomposition of the bigraded module obtained as the tensor square of the coinvariant space for hyperoctahedral groups.
The Trivial L(F_1)-Valued moment Series of the Generating Operator of L(F_2)
In [13] and [14], we found so-called the reccurence diagram. This paper is the application of such recurrence diagram. As a first application for the reccurence diagram, we will re-compute the well-known moment series of the generating opeator of the free group factor L(F_N). Also, we will compute the trivial L(F_1)-valued moment series of the generating operator of L(F_2). This result can be extended for the general case when we have L(F_N), instead of L(F_2). To study operator-valued moment series is to study the operator-valued distribution. By doing that, we can get some algebraic and combinatorial free probability information about the operator-valued distribution of certain random variables. So, this paper provides a good example for studying the operator-valued distribution.