group
10275 papers tagged with this keyword
Cohomology of Coxeter arrangements and Solomon's descent algebra
Published
• View Publication
• BIB
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_L$ is a parabolic subgroup of $W$ all of whose irreducible factors are of type $A$.
Combinatorics of $B$-orbits and Bruhat--Chevalley order on involutions
Published in Transformation Groups 17 (2012), no.3, 747-780
• View Publication
• BIB
Let $B$ be the group of invertible upper-triangular complex $n\times n$ matrices, $\mathfrak{u}$ the space of upper-triangular complex matrices with zeroes on the diagonal and $\mathfrak{u}^*$ its dual space. The group $B$ acts on $\mathfrak{u}^*$ by $(g.f)(x)=f(gxg^{-1})$, $g\in B$, $f\in\mathfrak{u}^*$, $x\in\mathfrak{u}$.
To each involution $σ$ in $S_n$, the symmetric group on $n$ letters, one can assign the $B$-orbit $Ω_σ\in\mathfrak{u}^*$. We present a combinatorial description of the partial order on the set of involutions induced by the orbit closures. The answer is given in terms of rook placements and is dual to A. Melnikov's results on $B$-orbits on $\mathfrak{u}$.
Using results of F. Incitti, we also prove that this partial order coincides with the restriction of the Bruhat--Chevalley order to the set of involutions.
A new fusion procedure for the Brauer algebra and evaluation homomorphisms
Published in IMRN (2012), 2571-2606
• View Publication
• BIB
We give a new fusion procedure for the Brauer algebra by showing that all primitive idempotents can be found by evaluating a rational function in several variables which has the form of a product of R-matrix type factors. In particular, this provides a new fusion procedure for the symmetric group involving an arbitrary parameter. The R-matrices are solutions of the Yang--Baxter equation associated with the classical Lie algebras g_N of types B, C and D. Moreover, we construct an evaluation homomorphism from a reflection equation algebra B(g_N) to U(g_N) and show that the fusion procedure provides an equivalence between natural tensor representations of B(g_N) with the corresponding evaluation modules.
On the Equivalence of Quadratic APN Functions
Published
• View Publication
• BIB
Establishing the CCZ-equivalence of a pair of APN functions is generally quite difficult. In some cases, when seeking to show that a putative new infinite family of APN functions is CCZ inequivalent to an already known family, we rely on computer calculation for small values of n. In this paper we present a method to prove the inequivalence of quadratic APN functions with the Gold functions. Our main result is that a quadratic function is CCZ-equivalent to an APN Gold function if and only if it is EA-equivalent to that Gold function. As an application of this result, we prove that a trinomial family of APN functions that exist on finite fields of order 2^n where n = 2 mod 4 are CCZ inequivalent to the Gold functions. The proof relies on some knowledge of the automorphism group of a code associated with such a function.
A uniform bijection between nonnesting and noncrossing partitions
Published
• View Publication
• BIB
In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's map with the Kreweras complement on the set of noncrossing partitions, and hence construct the first uniform bijection between nonnesting and noncrossing partitions. Unfortunately, the proof that our construction is well-defined is case-by-case, using a computer in the exceptional types. Fortunately, the proof involves new and interesting combinatorics in the classical types. As consequences, we prove several conjectural properties of the Panyushev map, and we prove two cyclic sieving phenomena conjectured by D. Bessis and V. Reiner.
Geometric group theory and arithmetic diameter
Published in Publ. Math. Debrecen 79 (2011), 563--572
• View Publication
• BIB
Let X be a group with identity e, let A be an infinite set of generators for X, and let (X,d_A) be the metric space with the word metric d_A induced by A. If the diameter of the space is infinite, then for every positive integer h there are infinitely many elements x in X with d_A(e,x)=h. It is proved that if P is a nonempty finite set of prime numbers and A is the set of positive integers whose prime factors all belong to P, then the diameter of the metric space (\Z,d_A) is infinite. Let λ_A(h) denote the smallest positive integer x with d_A(e,x)=h. It is an open problem to compute λ_A(h) and estimate its growth rate.
Inverting the Furstenberg correspondence
Published
• View Publication
• BIB
Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that this process can be inverted, so that for any such measure there are finite sets whose combinatorial properties approximate it arbitarily well. Moreover, we obtain an explicit upper bound on how large n has to be to obtain a sufficiently good approximation. As a consequence of the inversion theorem, we show that every computable invariant measure on Cantor space has a computable generic point. We also present a generalization of the correspondence principle and its inverse to countable discrete amenable groups.
Quivers of monoids with basic algebras
Published in Compositio Math. 148 (2012) 1516-1560
• View Publication
• BIB
We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this.
For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix.
Plane square tilings
We consider here square tilings of the plane. By extending the formalism introduced in [3] we build a correspondence between plane maps endowed with an harmonic vector and square tilings satisfying a condition of regularity. In the case of periodic plane square tiling the relevant space of harmonic vectors is actually isomorphic to the first homology group of a torus. So, periodic plane square tilings are described by two parameters and the set of parameters is split into angular sectors.
The correspondence between symmetry of the square tiling and symmetry of the plane maps and harmonic vectors is discussed and a method for enumerating the regular periodic plane square tilings having r orbits of squares is outlined.
On stability of diagonal actions and tensor invariants
Published
• View Publication
• BIB
For a connected simply connected semisimple algebraic group $G$ we prove existence of invariant tensors in tensor powers of rational $G$-modules and establish relations between existence of such invariant tensors and stability of diagonal actions of $G$ on affine algebraic varieties.
The freeness of Shi-Catalan arrangements
Published in European Journal of Combinatorics, Vol. 32, no. 8, 1191-1198, 2011
• View Publication
• BIB
Let $W$ be a finite Weyl group and $\A$ be the corresponding Weyl arrangement. A deformation of $\A$ is an affine arrangement which is obtained by adding to each hyperplane $H\in\A$ several parallel translations of $H$ by the positive root (and its integer multiples) perpendicular to $H$. We say that a deformation is $W$-equivariant if the number of parallel hyperplanes of each hyperplane $H\in \A$ depends only on the $W$-orbit of $H$. We prove that the conings of the $W$-equivariant deformations are free arrangements under a Shi-Catalan condition and give a formula for the number of chambers. This generalizes Yoshinaga's theorem conjectured by Edelman-Reiner.
Schurity of S-rings over a cyclic group and generalized wreath product of permutation groups
Published in St. Petersburg Math. J. 24 (2013), no. 3, 431-460
• View Publication
• BIB
The generalized wreath product of permutation groups is introduced. By means of it we study the schurity problem for S-rings over a cyclic group $G$ and the automorphism groups of them. Criteria for the schurity and non-schurity of the generalized wreath product of two such S-rings are obtained. As a byproduct of the developed theory we prove that $G$ is a Schur group whenever the total number $Ω(n)$ of prime factors of the integer $n=|G|$ is at most 3. Moreover, we describe the structure of a non-schurian S-ring over $G$ when $Ω(n)=4$. The latter result implies in particular that if $n=p^3q$ where $p$ and $q$ are primes, then $G$ is a Schur group.
Cluster categories
Published
• View Publication
• BIB
Cluster algebras were introduced by Fomin-Zelevinsky in 2002 in order to give a combinatorial framework for phenomena occurring in the context of algebraic groups. Cluster algebras also have links to a wide range of other subjects, including the representation theory of finite dimensional algebras, as first discovered by Marsh- Reineke-Zelevinsky. Modifying module categories over hereditary algebras, cluster categories were introduced in work with Buan-Marsh-Reineke-Todorov in order to "categorify" the essential ingredients in the definition of cluster algebras in the acyclic case. They were shown to be triangulated by Keller. Related work was done by Geiss-Leclerc-Schröer using preprojective algebras of Dynkin type. In work by many authors there have been further developments, leading to feedback to cluster algebras, new interesting classes of finite dimensional algebras, and the investigation of categories of Calabi-Yau dimension $2.$
Polynomial invariants of graphs on surfaces
Published
• View Publication
• BIB
For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the polynomial, defined by M.Las Vergnas in a combinatorial way using matroids as a specialization of the Krushkal polynomial, defined using the symplectic structure in the first homology group of the surface.
Lyashko-Looijenga morphisms and submaximal factorisations of a Coxeter element
Published in Journal of Algebraic Combinatorics 36, Issue 4 (2012), pp. 649-673
• View Publication
• BIB
When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map LL, describing the factorisations of its discriminant and its Jacobian. As byproducts, we generalise a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorisations of a Coxeter element of W.
Large values of the Gowers-Host-Kra seminorms
Published
• View Publication
• BIB
The \emph{Gowers uniformity norms} $\|f\|_{U^k(G)}$ of a function $f: G \to \C$ on a finite additive group $G$, together with the slight variant $\|f\|_{U^k([N])}$ defined for functions on a discrete interval $[N] := \{1,...,N\}$, are of importance in the modern theory of counting additive patterns (such as arithmetic progressions) inside large sets. Closely related to these norms are the \emph{Gowers-Host-Kra seminorms} $\|f\|_{U^k(X)}$ of a measurable function $f: X \to \C$ on a measure-preserving system $X = (X, {\mathcal X}, μ, T)$. Much recent effort has been devoted to the question of obtaining necessary and sufficient conditions for these Gowers norms to have non-trivial size (e.g. at least $η$ for some small $η> 0$), leading in particular to the inverse conjecture for the Gowers norms, and to the Host-Kra classification of characteristic factors for the Gowers-Host-Kra seminorms.
In this paper we investigate the near-extremal (or "property testing") version of this question, when the Gowers norm or Gowers-Host-Kra seminorm of a function is almost as large as it can be subject to an $L^\infty$ or $L^p$ bound on its magnitude. Our main results assert, roughly speaking, that this occurs if and only if $f$ behaves like a polynomial phase, possibly localised to a subgroup of the domain; this can be viewed as a higher-order analogue of classical results of Russo and Fournier, and are also related to the polynomiality testing results over finite fields of Blum-Luby-Rubinfeld and Alon-Kaufman-Krivelevich-Litsyn-Ron. We investigate the situation further for the $U^3$ norms, which are associated to 2-step nilsequences, and find that there is a threshold behaviour, in that non-trivial 2-step nilsequences (not associated with linear or quadratic phases) only emerge once the $U^3$ norm is at most $2^{-1/8}$ of the $L^\infty$ norm.
Enumeration of closed random walks in the square lattice according to their areas
We study the area distribution of closed walks of length $n$, beginning and ending at the origin. The concept of area of a walk in the square lattice is generalized and the usefulness of the new concept is demonstrated through a simple argument. It is concluded that the number of walks of length $n$ and area $s$ equals to the coefficient of $z^s$ in the expression $(x+x^{-1}+y+y^{-1})^n$, where the calculations are performed in a special group ring $R[x,y,z]$. A polynomial time algorithm for calculating these values, is then concluded. Finally, the provided algorithm and the results of implementation are compared with previous works.
A triangulation of $\CC P^3$ as symmetric cube of $S^2$
Published in Discrete Comput Geom 48 (2012), 310--329
• View Publication
• BIB
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$ requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.
On the Homology of the Real Complement of the $k$-Parabolic Subspace Arrangement
Published
• View Publication
• BIB
In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell complex $Perm_k(W)$ that is homotopy equivalent to the complement. We then apply discrete Morse theory to obtain a minimal cell complex for the complement. As a result, we give combinatorial interpretations for the Betti numbers, and show that the homology groups are torsion free. We also study a generalization of the Independence Complex of a graph, and show that this generalization is shellable when the graph is a forest. This result is used in studying $Perm_k(W)$ using discrete Morse theory.
Relative symmetric polynomials and money change problem
This article is devoted to the number of non-negative solutions of the linear Diophantine equation $$ a_1t_1+a_2t_2+... a_nt_n=d, $$ where $a_1, ..., a_n$, and $d$ are positive integers. We obtain a relation between the number of solutions of this equation and characters of the symmetric group, using {\em relative symmetric polynomials}. As an application, we give a necessary and sufficient condition for the space of the relative symmetric polynomials to be non-zero.