group
10399 papers tagged with this keyword
On schurity of finite abelian groups
Published in Communications Algebra, vol. 44, No.1 (2016), 101-117
• View Publication
• BIB
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this paper it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any non-cyclic abelian Schur group of odd order is isomorphic to $Z_3\times Z_{3^k}$ or $Z_3\times Z_3\times Z_p$ where $k\ge 1$ and $p$ is a prime. In addition, we prove that $Z_2\times Z_2\times Z_p$ is a Schur group for every prime $p$.
Carries, group theory, and additive combinatorics
Published
• View Publication
• BIB
Given a group G and a normal subgroup H we study the problem of choosing coset representatives with few carries.
Billey's formula in combinatorics, geometry, and topology
Published
• View Publication
• BIB
In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials.
Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag variety and of the Schubert varieties, and the combinatorics of root systems (generalizing inversions of a permutation). Combinatorially, Billey's formula describes an invariant of pairs of elements of a Weyl group. On its face, this formula is a combination of roots built from subwords of a fixed word. As we will see, it has deeper geometric and topological meaning as well: (1) It tells us about the tangent spaces at each permutation flag in each Schubert variety. (2) It tells us about singular points in Schubert varieties. (3) It tells us about the values of Kostant polynomials. Billey's formula also reflects an aspect of GKM theory, which is a way of describing the torus-equivariant cohomology of a variety just from information about the torus-fixed points in the variety.
This paper will also describe some applications of Billey's formula, including concrete combinatorial descriptions of Billey's formula in special cases, and ways to bootstrap Billey's formula to describe the equivariant cohomology of subvarieties of the flag variety to which GKM theory does not apply.
An introduction to the half-infinite wedge
Published
• View Publication
• BIB
After a quick review of the representation theory of the symmetric group, we give an exposition of the tools brought about by the so-called half-infinite wedge representation of the infinite symmetric group. We show how these can be applied to find the limit shapes of several distributions on partitions. We also briefly review the variational methods available to compute these limit shapes.
The (7,4)-conjecture in finite groups
Published
• View Publication
• BIB
The first open case of the Brown, Erdős, Sós conjecture is equivalent to the following; For every $c>0$ there is a threshold $n_0$ so that if a quasigroup has order $n\geq n_0$ then for every subset of triples of the form $(a,b,ab),$ denoted by $S,$ if $|S|\geq cn^2$ then there is a seven-element subset of the quasigroup which spans at least four triples of the selected subset $S.$ In this paper we prove the conjecture for finite groups.
A classification of nilpotent 3-BCI groups
Given a finite group $G$ and a subset $S\subseteq G,$ the bi-Cayley graph $\bcay(G,S)$ is the graph whose vertex set is $G \times \{0,1\}$ and edge set is $\{\{(x,0),(s x,1)\} : x \in G, s\in S \}$. A bi-Cayley graph $\bcay(G,S)$ is called a BCI-graph if for any bi-Cayley graph $\bcay(G,T),$ $\bcay(G,S) \cong \bcay(G,T)$ implies that $T = g S^α$ for some $g \in G$ and $α\in \aut(G)$. A group $G$ is called an $m$-BCI-group if all bi-Cayley graphs of $G$ of valency at most $m$ are BCI-graphs.In this paper we prove that, a finite nilpotent group is a 3-BCI-group if and only if it is in the form $U \times V,$ where $U$ is a homocyclic group of odd order, and $V$ is trivial or one of the groups $\Z_{2^r},$ $\Z_2^r$ and $\Q_8$.
Infinitesimal Rigidity of Symmetric Frameworks
Published
• View Publication
• BIB
We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whose joints are positioned as generic as possible subject to the symmetry constraints imposed by a reflection, a half-turn or a three-fold rotation in the plane. For bar-joint frameworks which are generic with respect to any other cyclic point group in the plane, we provide a number of necessary conditions for infinitesimal rigidity.
Number of permutations with same peak set for signed permutations
Published
• View Publication
• BIB
A signed permutation π= π_1π_2 \ldots π_n in the hyperoctahedral group B_n is a word such that each π_i \in {-n, \ldots, -1, 1, \ldots, n} and {|π_1|, |π_2|, \ldots, |π_n|} = {1,2,\ldots,n}. An index i is a peak of πif π_{i-1}<π_i>π_{i+1} and P_B(π) denotes the set of all peaks of π. Given any set S, we define P_B(S,n) to be the set of signed permutations π\in B_n with P_B(π) = S. In this paper we are interested in the cardinality of the set P_B(S,n). In 2012, Billey, Burdzy and Sagan investigated the analogous problem for permutations in the symmetric group, S_n. In this paper we extend their results to the hyperoctahedral group; in particular we show that #P_B(S,n) = p(n)2^{2n-|S|-1} where p(n) is the same polynomial found in by Billey, Burdzy and Sagan which leads to the explicit computation of interesting special cases of the polynomial p(n). In addition we have extended these results to the case where we add π_0=0 at the beginning of the permutations, which gives rise to the possibility of a peak at position 1, for both the symmetric and the hyperoctahedral groups.
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81
• View Publication
• BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
Random triangular groups at density 1/3
Published in Compositio Math. 151 (2015) 167-178
• View Publication
• BIB
Let Γ(n,p) denote the binomial model of a random triangular group. We show that there exist constants c, C > 0 such that if p <= c/n^2, then a.a.s. Γ(n,p) is free and if p >= C log n/n^2 then a.a.s. Γ(n,p) has Kazhdan's property (T). Furthermore, we show that there exist constants C',c' > 0 such that if C'/n^2 <= p <= c' log n/n^2, then a.a.s. Γ(n,p) is neither free nor has Kazhdan's property (T).
The infinite random simplicial complex
We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite languages carry across to this important example. We introduce the notion of a local class, with the class of finite simplicial complexes as an archetypal example, and in this general context prove the existence of a 0-1 law and other basic model-theoretic results. Constraining to the case where all relations are symmetric, we show that every direct limit of finite groups, and every metrizable profinite group, appears as a subgroup of the automorphism group of the Fraisse limit. Finally, for the specific case of simplicial complexes, we show that the geometric realisation is topologically surprisingly simple: despite the combinatorial complexity of the Fraisse limit, its geometric realisation is homeomorphic to the infinite simplex.
Notes on sets of first return
We prove in this note that, for an alphabet with three letters, the set of first return to a given word in a set satisfying the tree condition is a basis of the free group.
Whittaker functions, geometric crystals, and quantum Schubert calculus
Published
• View Publication
• BIB
This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective.
We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should be thought of as geometric analogues of irreducible characters of finite-dimensional representations.
Automorphisms of decompositions
Published
• View Publication
• BIB
Harding showed that the direct product decompositions of many different types of structures, such as sets, groups, vector spaces, topological spaces, and relational structures, naturally form orthomodular posets. When applied to the direct product decompositions of a Hilbert space, this construction yields the familiar orthomodular lattice of closed subspaces of the Hilbert space.
In this note we consider orthomodular posets Fact X of decompositions of a finite set X. We consider the structure of these orthomodular posets, such as their size, shape, and connectedness, states, and begin a study of their automorphism groups in the context of the natural map Γfrom the group of permutations of X to the automorphism group of Fact X.
We show Γis an embedding except when |X| is prime or 4, and completely describe the situation when |X| has two or fewer prime factors, when |X|=8 and when |X|=27. The bulk of our effort lies in a series of combinatorial arguments to show Γis an isomorphism when |X|=27. We conjecture that this is the case whenever |X| has sufficiently many prime factors of sufficient size, and hope that our arguments here might be adapted to the general case.
Arithmetic progressions in sets of small doubling
Published in Mathematika 62 (2016) 587-613
• View Publication
• BIB
We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all equal, and A + A must contain an arithmetic progression or a coset of a subgroup, either of which of size at least exp^[ c (log |A|)^{delta} ]. This extends analogous results obtained by Sanders and, respectively, by Croot, Laba and Sisask in the case where the group is that of the integers or a finite field.
Towards m-Cambrian Lattices
For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.
Acyclic, connected and tree sets
Published
• View Publication
• BIB
Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words defined by the property of the extension graph of each word in the set to be acyclic or connected or a tree. We prove that in a uniformly recurrent tree set, the sets of first return words are bases of the free group on the alphabet. Concerning acyclic sets, we prove as a main result that a set $F$ is acyclic if and only if any bifix code included in $F$ is a basis of the subgroup that it generates.
Aztec Castles and the dP3 Quiver
Published
• View Publication
• BIB
Bipartite, periodic, planar graphs known as brane tilings can be associated to a large class of quivers. This paper will explore new algebraic properties of the well-studied del Pezzo 3 quiver and geometric properties of its corresponding brane tiling. In particular, a factorization formula for the cluster variables arising from a large class of mutation sequences (called $τ-$mutation sequences) is proven; this factorization also gives a recursion on the cluster variables produced by such sequences. We can realize these sequences as walks in a triangular lattice using a correspondence between the generators of the affine symmetric group $\tilde{A_2}$ and the mutations which generate $τ-$mutation sequences. Using this bijection, we obtain explicit formulae for the cluster that corresponds to a specific alcove in the lattice. With this lattice visualization in mind, we then express each cluster variable produced in a $τ$-mutation sequence as the sum of weighted perfect matchings of a new family of subgraphs of the dP3 brane tiling, which we call Aztec castles. Our main result generalizes previous work on a certain mutation sequence on the dP3 quiver in [Zha12], and forms part of the emerging story in combinatorics and theoretical high energy physics relating cluster variables to subgraphs of the associated brane tiling.
Cross Number Invariants of Finite Abelian Groups
Published in Journal of Number Theory 136 (2014): 100-117
• View Publication
• BIB
The cross number of a sequence over a finite abelian group $G$ is the sum of the inverse orders of the terms of that sequence. We study two group invariants, the maximal cross number of a zero-sum free sequence over $G$, called $\mathsf{k}(G)$, introduced by Krause, and the maximal cross number of a unique factorization sequence over $G$, called $K_{1}(G)$, introduced by Gao and Wang. Conjectured formulae for $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ are known, but only some special cases are proved for either. We show structural results about maximal cross number sequences that allow us to prove an inductive theorem giving conditions under which the conjectured values of $\mathsf{k}$ and $\mathsf{K}_{1}$ must be correct for $G\oplus C_{p^α}$ if they are correct for a group $G$. As a corollary of this result we prove the conjectured values of $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ for cyclic groups $C_{n}$, given that the prime factors of $n$ are far apart. Our methods also prove the $\mathsf{K}_{1}(G)$ conjecture for rank two groups of the form $C_{n}\oplus C_{q}$, where $q$ is the largest or second largest prime dividing $n$, and the prime factors of $n$ are far apart, and the $\mathsf{k}(G)$ conjecture for groups of the form $C_{n}\oplus H_{q}$, where the prime factors of $n$ are far apart, $q$ is the largest prime factor of $n$, and $H_{q}$ is an arbitrary finite abelian $q$-group. Finally, we pose a conjecture about the structure of maximal-length unique factorization sequences over elementary $p$-groups, which is a major roadblock to extending the $\mathsf{K}_{1}$ conjecture to groups of higher rank, and formulate a general question about the structure of maximal zero-sum free and unique factorization sequences with respect to arbitrary weighting functions.
Bounded quotients of the fundamental group of a random 2-complex
Let D denote the (n-1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of D obtained by starting with the full 1-skeleton of D and then adding each 2-simplex independently with probability p. For a fixed c>0 it is shown that if p=\frac{(6+7c) \log n}{n} then a.a.s. the fundamental group π(Y) does not have a nontrivial quotient of order at most n^c.