group
10275 papers tagged with this keyword
An application of a local version of Chang's theorem
We prove a theorem claimed in math.CA/0605519 which asserts that if A is a subset of a compact abelian group G with density of a particular (natural, although technical) form then the A(G)-norm (that is the sum of the absolute values of the Fourier transform) of the characteristic function of A cannot be too small.
Zeta functions of graphs with $\mathbb{Z}$ actions
Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $π= \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $π= \mathbb{Z}$, the $L^2$ zeta function is an algebraic function. As a consequence it extends to a meromorphic function on a Riemann surface. The meromorphic extension provides a setting to generalize known properties of zeta functions of regular graphs, such as the location of singularities and the functional equation.
On the Kocinac alpha_i properties
Published in Topology and its Applications 155 (2007), 141-145
• View Publication
• BIB
The Kocinac alpha_i properties, i=1,2,3,4, are generalizations of Arhangel'skii's alpha_i local properties. We give a complete classification of these properties when applied to the standard families of open covers of topological spaces or to the standard families of open covers of topological groups. One of the latter properties characterizes totally bounded groups. We also answer a question of Kocinac.
P-matrices in orbit spaces and invariant theory
Published in Journal of Physics: Conference Series 30 (2006) 30--40
• View Publication
• BIB
In many physical problems or applications one has to study functions that are invariant under the action of a symmetry group G and this is best done in the orbit space of G if one knows the equations and inequalities defining the orbit space and its strata. It is reviewed how the P-matrix is defined in terms of an integrity basis and how it can be used to determine the equations and inequalities defining the orbit space and its strata. It is shown that the P-matrix is a useful tool of constructive invariant theory, in fact, when the integrity basis is only partially known, calculating the P-matrix elements, one is able to determine the integrity basis completely.
Testing spherical transitivity in iterated wreath products of cyclic groups
We give a partial solution a question of Grigorchuk, Nekrashevych, Sushchanskii and Šunik by giving an algorithm to test whether a finite state element of an infinite iterated (permutational) wreath product $\hat G = \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr \mathbb Z/k\mathbb Z\wr >...$ of cyclic groups of order $n$ acts spherically transitively. We can also decide whether two finite state spherically transitive elements of $\hat G$ are conjugate. For general infinite iterated wreath products, an algorithm is presented to determine whether two finite state automorphisms have the same image in the abelianization.
Möbius Functions and Semigroup Representation Theory II: Character formulas and multiplicities
Published
• View Publication
• BIB
We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota's theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigare, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing and simplifying earlier results of Solomon for the rook monoid.
Superregular Matrices and the Construction of Convolutional Codes having a Maximum Distance Profile
Superregular matrices are a class of lower triangular Toeplitz matrices that arise in the context of constructing convolutional codes having a maximum distance profile. These matrices are characterized by the property that no submatrix has a zero determinant unless it is trivially zero due to the lower triangular structure. In this paper, we discuss how superregular matrices may be used to construct codes having a maximum distance profile. We also introduce group actions that preserve the superregularity property and present an upper bound on the minimum size a finite field must have in order that a superregular matrix of a given size can exist over that field.
Convex cones and SAGBI bases of permutation invariants
Published in Invariant theory in all characteristics, volume 35 of CRM Proc. Lecture Notes, pages 259-263, Amer. Math. Soc., Providence, RI, 2004
• Search Publication
Let G be a permutation group acting on {1,...,n}, and < be any admissible term order on the polynomial ring K[x_1,...,x_n]. We prove that the invariant ring K[x_1,...,x_n]^G of G has a finite SAGBI basis if, and only if, G is generated by reflections.
Groups of Intermediate Growth: an Introduction for Beginners
We present an accessible introduction to basic results on groups of intermediate growth.
Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras
We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.
Tabloids and Weighted Sums of Characters of Certain Modules of the Symmetric Groups
Published in European J. Combin. 29 (2008), no. 2, 480-492
• View Publication
• BIB
We consider certain modules of the symmetric groups whose basis elements are called tabloids. Some of these modules are isomorphic to subspaces of the cohomology rings of subvarieties of flag varieties as modules of the symmetric groups. We give a combinatorial description for some weighted sums of their characters, i.e., we introduce combinatorial objects called $(ρ,\Ll)$-tabloids and rewrite weighted sums of characters as the numbers of these combinatorial objects. We also consider the meaning of these combinatorial objects, i.e., we construct a correspondence between $(ρ,\Ll)$-tabloids and tabloids whose images are eigenvectors of the action of an element of cycle type $ρ$ in quotient modules.
Kazhdan's Property (T) for Graphs
D. A. Kahzdan first put forth property (T) in relation to the study of discrete subgroups of Lie groups of finite co-volume. Through a combinatorial approach, we define an analogue of property (T) for regular graphs. We then prove the basic combinatorial and metric properties of Kazhdan groups in this context. In particular, we use our methods to construct infinite families of expanders as in the classical case. Finally, we consider the combinatorial analogue of the group theoretic property $(τ)$ and prove its basic properties.
Properties of the Generalized Zig-Zag Product of Graphs
The operation of zig-zag products of graphs is the analogue of the semidirect product of groups. Using this observation, we present a categorical description of zig-zag products in order to generalize the construction for the category of simple graphs. Also, we examine the covering properties of zig-zag products and we utilize these results to estimate their spectral invariants in general. In addition, we provide specific spectral analysis for some such products.
On the first group of the chromatic cohomology of graphs
Published
• View Publication
• BIB
The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2) for any positive odd i. We analyze here the grading of graph cohomology which is producing torsion for a polygon. We find completely the cohomology H^{1,v-1}_{A_2}(G) and H^{1,2v-3}_{A_3}(G). The group H^{1,v-1}_{A_2}(G) is closely related to the standard graph cohomology, except that the boundary of an edge is the sum of endpoints instead of the difference. The result about H^{1,v-1}_{A_2}(G) gives as a corollary a fact about Khovanov homology of alternating and + or - adequate link diagrams. The group H^{1,2v-3}_{A_3}(G) can be computed from the homology of a cell complex, X_{Δ,4}(G), built from the graph G. In particular, we prove that A_3 cohomology can have any torsion. We give a simple and complete characterization of those graphs which have torsion in cohomology H^{1,2v-3}_{A_3}(G) (e.g. loopless graphs which have a 3-cycle). We also construct graphs which have the same (di)chromatic polynomial but different H^{1,2v-3}_{A_3}(G). Finally, we give examples of calculations of width of H^{1,*}_{A_3}(G) and of cohomology H^{1,(m-1)(v-2)+1}_{A_m}(G) for m>3.
Bipartite-uniform hypermaps on the sphere
Published in The Electronic Journal of Combinatorics, Volume 14 (2007), Research Paper #R5
• Search Publication
A hypermap is (hypervertex-) bipartite if its hypervertices can be 2-coloured in such a way that ``neighbouring'' hypervertices have different colours. It is bipartite-uniform if within each of the sets of hypervertices of the same colour, hyperedges and hyperfaces, elements have common valencies. The flags of a bipartite hypermap are naturally 2-coloured by assigning the colour of its adjacent hypervertices. A hypermap is bipartite-regular if the automorphism group acts transitively on each set of coloured flags. If the automorphism group acts transitively on the set of all flags, the hypermap is regular. In this paper we classify the bipartite-uniform hypermaps on the sphere (up to duality). Two constructions of bipartite-uniform hypermaps are given. All bipartite-uniform spherical hypermaps are shown to be constructed in this way. As a by-product we show that every bipartite-uniform hypermap on the sphere is bipartite-regular. We also compute their irregularity group and index, and also their closure cover and covering core.
Equivalence Classes in the Weyl groups of type $B_n$
Published
• View Publication
• BIB
We consider two families of equivalence classes in the Weyl groups of type $B_n$ which are suggested by the study of left cells in unequal parameter Iwahori-Hecke algebras. Both families are indexed by a non-negative integer $r$. For $r=0$, the classes in the first family coincide with left cells corresponding to the equal parameter Iwahori-Hecke algebra. When $r$ is sufficiently large, the equivalence classes in the second family agree with left cells corresponding to a special class of choices of unequal parameters. Our main result shows that the two families of equivalence classes coincide, suggesting the structure of left cells for remaining choices of the Iwahori-Hecke algebra parameters.
Alcove path and Nichols-Woronowicz model of the equivariant $K$-theory of generalized flag varieties
Published
• View Publication
• BIB
Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the $T$-equivariant $K$-theory of a generalized flag variety $K_T(G/B)$ in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-type multiplication formula for $K_T(G/B)$ due to the first author and Postnikov; this formula is stated using certain operators defined in terms of so-called alcove paths (and the corresponding affine Weyl group). Our model is derived using a type-independent and concise approach.
A generalized Cartan decomposition for the double coset space U(n_1) x U(n_2) x U(n_3)) U(n) / U(p) x U(q)
Published in Journal of Mathematical Society of Japan 59 (2007), pages 669-691,
• View Publication
• BIB
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold.
Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$.
For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case.
Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.
A Classification of Tightly Attached Half-Arc-Transitive Graphs of Valency 4
A graph is said to be {\em half-arc-transitive} if its automorphism group acts transitively on the set of its vertices and edges but not on the set of its arcs. With each half-arc-transitive graph of valency 4 a collection of the so called {\em alternating cycles} is associated, all of which have the same even length. Half of this length is called the {\em radius} of the graph in question. Moreover, any two adjacent alternating cycles have the same number of common vertices. If this number, the so called {\em attachment number}, coincides with the radius, we say that the graph is {\em tightly attached}. In {\em J. Combin. Theory Ser. B} {73} (1998) 41--76, Marušič gave a classification of tightly attached \hatr graphs of valency 4 with odd radius. In this paper the even radius tightly attached graphs of valency 4 are classified, thus completing the classification of all tightly attached half-arc-transitive graphs of valency 4.
Signed permutations and the four color theorem
Published
• View Publication
• BIB
To each permutation $σ$ in $S_{n}$ we associate a triangulation of a fixed $(n+2)$-gon. We then determine the fibers of this association and show that they coincide with the sylvester classes depicted By Novelli, Hivert and Thibon. A signed version of this construction allows us to reformulate the four color theorem in terms of the existence of a signable path between any two permutations in the Cayley graph of the symmetric group $S_{n}.