group
10263 papers tagged with this keyword
An entropic partial order on a parabolic quotient of S6
Let m and n be any integers with n>m>=2. Using just the entropy function it is possible to define a partial order on S_mn (the symmetric group on mn letters) modulo a subgroup isomorphic to S_m x S_n. We explore this partial order in the case m=2, n=3, where thanks to the outer automorphism the quotient space is actually isomorphic to a parabolic quotient of S_6. Furthermore we show that in this case it has a fairly simple algebraic description in terms of elements of the group ring.
On supersolvable reflection arrangements
Published
• View Publication
• BIB
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that every supersolvable arrangement is inductively free, a notion due to Terao. So this is a natural subclass of this particular class of free arrangements.
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = (A(W), V) be the associated hyperplane arrangement of W. In a recent paper, we determined all inductively free reflection arrangements.
The aim of this note is to classify all supersolvable reflection arrangements. Moreover, we characterize the irreducible arrangements in this class by the presence of modular elements of rank 2 in their intersection lattice.
Nonassociative Ramsey Theory and the amenability of Thompson's group
The purpose of this article is prove that Thompson's group F is amenable. The methods developed will then be used to prove a generalization of Hindman's theorem for the free nonassociative binary system on one generator.
Random walks in compact groups
Published in Doc. Math. 18 (2013), 1137--1175
• Search Publication
Let X_1,X_2,... be independent identically distributed random elements of a compact group G. We discuss the speed of convergence of the law of the product X_l*...*X_1 to the Haar measure. We give poly-log estimates for certain finite groups and for compact semi-simple Lie groups. We improve earlier results of Solovay, Kitaev, Gamburd, Shahshahani and Dinai.
The Orlik-Solomon Algebra and the Bergman Fan of a Matroid
Given a matroid $M$ one can define its Orlik-Solomon algebra $OS(M)$ and the Bergman fan $Σ_0(M)$. On the other hand to any rational polyhedral fan $Σ$ one can associate its tropical homology and cohomology groups $\F_\bullet(Σ)$, $\F^\bullet (Σ)$. We will show that the projective Orlik-Solomon algebra $OS_0(M)$ is canonically isomorphic to $\F^\bullet (Σ_0(M))$.
Embedding surfaces into $S^3$ with maximum symmetry
Published
• View Publication
• BIB
We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $Σ_g$ of genus $g$ which extends over $(S^3, Σ_g)$, where the maximum is taken over all possible embeddings $Σ_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$.
In particular, with 23 exceptions, $OE_g$ is $4(g+1)$ if $g\ne k^2$ or $4(\sqrt{g}+1)^2$ if $g=k^2$, and moreover $OE_g$ can be realized by unknotted embeddings for all $g$ except for $g=21$ and $481$.
Decorated hypertrees
Published in Journal of Combinatorial Theory, Series A (2013) Vol. 120, n°7, 1871-1905
• View Publication
• BIB
C. Jensen, J. McCammond and J. Meier have used weighted hypertrees to compute the Euler characteristic of a subgroup of the automorphism group of a free product. Weighted hypertrees also appear in the study of the homology of the hypertree poset. We link them to decorated hypertrees after a general study on decorated hypertrees, which we enumerate using box trees.---C. Jensen, J. McCammond et J. Meier ont utilisé des hyperarbres pondérés pour calculer la caractéristique d'Euler d'un sous-groupe du groupe des automorphismes d'un produit libre. Un autre type d'hyperarbres pondérés apparaît aussi dans l'étude de l'homologie du poset des hyperarbres. Nous étudions les hyperarbres décorés puis les comptons à l'aide de la notion d'arbre en boîte avant de les relier aux hyperarbres pondérés.
Collineation group as a subgroup of the symmetric group
Published in Cent. Eur. J. Math. 11(1), 2013, 17-26
• View Publication
• BIB
Let $Ψ$ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension $\ge 3$ over a field. Let $H$ be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_Ψ$ of the set $Ψ$. Suppose that $H$ contains the projective group and an arbitrary self-bijection of $Ψ$ transforming a triple of collinear points to a non-collinear triple. It is well-known from \cite{KantorMcDonough} that if $Ψ$ is finite then $H$ contains the alternating subgroup $\mathfrak{A}_Ψ$ of $\mathfrak{S}_Ψ$.
We show in Theorem \ref{density} below that $H=\mathfrak{S}_Ψ$, if $Ψ$ is infinite.
Representations of general linear groups and categorical actions of Kac-Moody algebras
This is an expanded version of the lectures given by the author on the 3rd school "Lie algebras, algebraic groups and invariant theory" in Togliatti, Russia. In these notes we explain the concept of a categorical Kac-Moody action by studying an example of the category of rational representations of a general linear group in positive characteristic. We also deal with some more advanced topics: a categorical action on the polynomial representations and crystals of categorical actions.
Permutations with given peak set
Let Sym_n denote the symmetric group of all permutations pi = a_1...a_n of {1,...,n}. An index i is a peak of pi if a_{i-1} < a_i > a_{i+1} and we let P(pi) be the set of peaks of pi. Given any set S of positive integers we define P(S;n) to be the set pi in Sym_n with P(pi)=S. Our main result is that for all fixed subsets of positive integers S and all sufficiently large n we have #P(S;n)= p(n) 2^{n-#S-1} for some polynomial p(n) depending on S. We explicitly compute p(n) for various S of probabilistic interest, including certain cases where S depends on n. We also discuss two conjectures, one about positivity of the coefficients of the expansion of p(n) in a binomial coefficient basis, and the other about sets S maximizing #P(S;n) when #S is fixed.
Simplified numerical form of universal finite type invariant of Gauss words
Published
• View Publication
• BIB
In the present paper, we study the finite type invariants of Gauss words. In the Polyak algebra techniques, we reduce the determination of the group structure to transformation of a matrix into its Smith normal form and we give the simplified form of a universal finite type invariant by means of the isomorphism of this transformation. The advantage of this process is that we can implement it as a computer program. We obtain the universal finite type invariant of degree 4, 5, and 6 explicitly. Moreover, as an application, we give the complete classification of Gauss words of rank 4 and the partial classification of Gauss words of rank 5 where the distinction of only one pair remains.
The number of harmonic frames of prime order
Published in Linear Algebra and its Applications, Volume 432, Issue 5, 15 February 2010, Pages 1105-1125
• Search Publication
Harmonic frames of prime order are investigated. The primary focus is the enumeration of inequivalent harmonic frames, with the exact number given by a recursive formula. The key to this result is a one-to-one correspondence developed between inequivalent harmonic frames and the orbits of a particular set. Secondarily, the symmetry group of prime order harmonic frames is shown to contain a subgroup consisting of a diagonal matrix as well as a permutation matrix, each of which is dependent on the particular harmonic frame in question.
Group Irregular Labelings of Disconnected Graphs
Published in Contributions to Discrete Mathematics Vol 12, No 2 (2017), 158-166
• View Publication
• BIB
We investigate the \textit{group irregularity strength} ($s_g(G)$) of graphs, i.e. the smallest value of $s$ such that taking any Abelian group $\gr$ of order $s$, there exists a function $f:E(G)\rightarrow \gr$ such that the sums of edge labels at every vertex are distinct. We give the exact values and bounds on $s_g(G)$ for chosen families of disconnected graphs. In addition we present some results for the \textit{modular edge gracefulness} $k(G)$, i.e. the smallest value of $s$ such that there exists a function $f:E(G)\rightarrow \zet_s$ such that the sums of edge labels at every vertex are distinct.
Isomorphisms, automorphisms, and generalized involution models
Published in Israel J. Math. 199 (2014) 433-483
• View Publication
• BIB
We investigate the generalized involution models of the projective reflection groups $G(r,p,q,n)$. This family of groups parametrizes all quotients of the complex reflection groups $G(r,p,n)$ by scalar subgroups. Our classification is ultimately incomplete, but we provide several necessary and sufficient conditions for generalized involution models to exist in various cases. In the process we solve several intermediate problems concerning the structure of projective reflection groups. We derive a simple criterion for determining whether two groups $G(r,p,q,n)$ and $G(r,p',q',n)$ are isomorphic. We also describe explicitly the form of all automorphisms of $G(r,p,q,n)$, outside a finite list of exceptional cases. Building on prior work, this allows us to prove that $G(r,p,1,n)$ has a generalized involution model if and only if $G(r,p,1,n) \cong G(r,1,p,n)$. We also classify which groups $G(r,p,q,n)$ have generalized involution models when $n=2$, or $q$ is odd, or $n$ is odd.
$p^\ell$-Torsion Points In Finite Abelian Groups And Combinatorial Identities
Published
• View Publication
• BIB
The main aim of this article is to compute all the moments of the number of $p^\ell$-torsion elements in some type of nite abelian groups. The averages involved in these moments are those de ned for the Cohen-Lenstra heuristics for class groups and their adaptation for Tate-Shafarevich groups. In particular, we prove that the heuristic model for Tate-Shafarevich groups is compatible with the recent conjecture of Poonen and Rains about the moments of the orders of $p$-Selmer groups of elliptic curves. For our purpose, we are led to de ne certain polynomials indexed by integer partitions and to study them in a combinatorial way. Moreover, from our probabilistic model, we derive combinatorial identities, some of which appearing to be new, the others being related to the theory of symmetric functions. In some sense, our method therefore gives for these identities a somehow natural algebraic context.
Duality functors for $n$-fold vector bundles
Double vector bundles may be dualized in two distinct ways and these duals are themselves dual. These two dualizations generate a group, denoted $\mathscr{D}\mathscr{F}_2$, which is the symmetric group $S_3$ on three symbols. In the case of triple vector bundles the authors proved in a previous paper that the corresponding group $\mathscr{D}\mathscr{F}_3$ is an extension of $S_4$ by the Klein four-group. In this paper we show that the group $\mathscr{D}\mathscr{F}_n$, for $n$-fold vector bundles, $n\geq 3$, is an extension of $S_{n+1}$ by a certain product of groups of order 2, and show that the centre is nontrivial if and only if $n$ is a multiple of 4. The methods employ an interpretation of duality operations in terms of certain graphs on $(n+1)$ vertices.
Γ-species and the enumeration of k-trees
Published in Electronic Journal of Combinatorics, 19(4) (2012), #P45
• View Publication
• BIB
We study the class of graphs known as k-trees through the lens of Joyal's theory of combinatorial species (and an equivariant extension known as '$Γ$-species' which incorporates data about 'structural' group actions). This culminates in a system of recursive functional equations giving the generating function for unlabeled k-trees which allows for fast, efficient computation of their numbers. Enumerations up to k = 10 and n = 30 (for a k-tree with (n+k-1) vertices) are included in tables, and Sage code for the general computation is included in an appendix.
Degeneration and orbits of tuples and subgroups in an Abelian group
Published
• View Publication
• BIB
A tuple (or subgroup) in a group is said to degenerate to another if the latter is an endomorphic image of the former. In a countable reduced abelian group, it is shown that if tuples (or finite subgroups) degenerate to each other, then they lie in the same automorphism orbit. The proof is based on techniques that were developed by Kaplansky and Mackey in order to give an elegant proof of Ulm's theorem. Similar results hold for reduced countably generated torsion modules over principal ideal domains. It is shown that the depth and the description of atoms of the resulting poset of orbits of tuples depend only on the Ulm invariants of the module in question (and not on the underlying ring). A complete description of the poset of orbits of elements in terms of the Ulm invariants of the module is given. The relationship between this description of orbits and a very different-looking one obtained by Dutta and Prasad for torsion modules of bounded order is explained.
On subsets of $S^n$ whose $(n+1)$-point subsets are contained in open hemisheres
We investigate the nature of subsets of spheres which satisfy a tameness condition associated with the Bieri-Groves conjecture on cohomological finiteness conditions for metabelian groups. We find that there is a natural polyhedrality in a crucial special case. In the case of the two dimensional sphere we establish a strong polyhedrality condition for certain open sets which are maximal subject to satisfying the tameness condition that subsets of three or fewer points are contained in open hemispheres. Many examples are included.
Topology of eigenspace posets for imprimitive reflection groups
Published
• View Publication
• BIB
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.