group
10263 papers tagged with this keyword
Commutation relations for quantum root vectors of cominuscole parabolics
We prove a result for the commutator of quantum root vectors corresponding to cominuscole parabolics. Specifically we show that, given two quantum root vectors, belonging respectively to the quantized nilradical and the quantized opposite nilradical, their commutator belongs to the quantized Levi factor. This generalizes the classical result for Lie algebras. Recall that the quantum root vectors depend on the reduced decomposition of the longest word of the Weyl group. We show that this result does not hold for all such choices. We conjecture that it holds when the reduced decomposition is appropriately factorized.
Double posets and the antipode of QSym
Published in The Electronic Journal of Combinatorics 24(2) (2017), #P2.22 (published with minor changes to Section 2 and without ancillary file)
• View Publication
• BIB
A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, ω\right)$-partition enumerators. We prove a formula for the antipode of this function that holds under certain conditions (which are satisfied when the second order of the double poset is total, but also in some other cases); this restates (in a way that to us seems more natural) a result by Malvenuto and Reutenauer, but our proof is new and self-contained. We generalize it further to an even more comprehensive setting, where a group acts on the double poset by automorphisms.
Fredholm theory for cofinite sets
We investigate two ways in which self-maps of an infinite set may be close to bijections; our investigation generates a $\mathbb{Z}$-valued index theory and a corresponding extension by $\mathbb{Z}$ for the quotient of the full symmetric group by its finitary subgroup.
On Orbits of Order Ideals of Minuscule Posets II: Homomesy
The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That this phenomenon, which they christened homomesy, extends to all minuscule posets is shown herein.
Given a minuscule poset $P$, there exists a complex simple Lie algebra $\mathfrak{g}$ and a representation $V$ of $\mathfrak{g}$ such that the lattice of order ideals of $P$ coincides with the weight lattice of $V$. For a weight $μ$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $μ$ not only uniquely determines $μ$, but also encodes the cardinality of $I$. After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy.
A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby.
Strangely dual orbifold equivalence I
Published in Journal of Singularities 14 (2016), 34-51
• View Publication
• BIB
In this brief note we prove orbifold equivalence between two potentials described by strangely dual exceptional unimodular singularities of type $K_{14}$ and $Q_{10}$ in two different ways. The matrix factorizations proving the orbifold equivalence give rise to equations whose solutions are permuted by Galois groups which differ for different expressions of the same singularity.
Measure preserving actions of affine semigroups and {x+y,xy} patterns
Published
• View Publication
• BIB
Ergodic and combinatorial results obtained in [10] involved measure preserving actions of the affine group ${\mathcal A}_K$ of a countable field $K$. In this paper we develop a new approach based on ultrafilter limits which allows one to refine and extend the results obtained in [10] to a more general situation involving the measure preserving actions of the non-amenable affine semigroups of a large class of integral domains. (The results in [10] heavily depend on the amenability of the affine group of a field). Among other things, we obtain, as a corollary of an ultrafilter ergodic theorem, the following result: Let $K$ be a number field and let ${\mathcal O}_K$ be the ring of integers of $K$. For any finite partition $K=C_1\cup\cdots\cup C_r$ there exists $i\in\{1,\dots,r\}$ and many $x\in K$ and $y\in{\mathcal O}_K$ such that $\{x+y,xy\}\subset C_i$.
$2^{\aleph_0}$ pairwise non-isomorphic maximal-closed subgroups of Sym$(\mathbb{N})$ via the classification of the reducts of the Henson digraphs
Published
• View Publication
• BIB
Given two structures $\mathcal{M}$ and $\mathcal{N}$ on the same domain, we say that $\mathcal{N}$ is a reduct of $\mathcal{M}$ if all $\emptyset$-definable relations of $\mathcal{N}$ are $\emptyset$-definable in $\mathcal{M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are $\aleph_0$-categorical, determining their reducts is equivalent to determining all closed supergroups $G<$ Sym$(\mathbb{N})$ of their automorphism groups.
A consequence of the classification is that there are $2^{\aleph_0}$ pairwise non-isomorphic Henson digraphs which have no proper non-trivial reducts. Taking their automorphisms groups gives a positive answer to a question of Macpherson that asked if there are $2^{\aleph_0}$ pairwise non-conjugate maximal-closed subgroups of Sym$(\mathbb{N})$. By the reconstruction results of Rubin, these groups are also non-isomorphic as abstract groups.
Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices
Published in Journal of Algebraic Combinatorics 45 (2017), pages 745-775
• View Publication
• BIB
We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.
Cayley numbers with arbitrarily many distinct prime factors
Published
• View Publication
• BIB
A positive integer $n$ is a Cayley number if every vertex-transitive graph of order $n$ is a Cayley graph. In 1983, Dragan Marušič posed the problem of determining the Cayley numbers. In this paper we give an infinite set $S$ of primes such that every finite product of distinct elements from $S$ is a Cayley number. This answers a 1996 outstanding question of Brendan McKay and Cheryl Praeger, which they "believe to be the key unresolved question" on Cayley numbers.
We also show that, for every finite product $n$ of distinct elements from $S$, every transitive group of degree $n$ contains a semiregular element.
Quasi-homomorphisms of cluster algebras
Published
• View Publication
• BIB
We introduce quasi-homomorphisms of cluster algebras, a flexible notion of a map between cluster algebras of the same type (but with different coefficients). The definition is given in terms of seed orbits, the smallest equivalence classes of seeds on which the mutation rules for non-normalized seeds are unambiguous. We present examples of quasi-homomorphisms involving familiar cluster algebras, such as cluster structures on Grassmannians, and those associated with marked surfaces with boundary. We explore the related notion of a quasi-automorphism, and compare the resulting group with other groups of symmetries of cluster structures. For cluster algebras from surfaces, we determine the subgroup of quasi-automorphisms inside the tagged mapping class group of the surface.
Combinatorial Auslander-Reiten quivers and reduced expressions
In this paper, we introduce the notion of combinatorial Auslander-Reiten(AR) quiver for commutation classes $[\widetilde{w}]$ of $w$ in finite Weyl group. This combinatorial object visualizes the convex partial order $\prec_{[\widetilde{w}]}$ on the subset $Φ(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection maps, we can apply their properties to the representation theory of KLR algebras and multiplication structure of dual PBW generators associated to any commutation class $[\widetilde{w}_0]$ of the longest element $w_0$.
An application of the Local C(G,T) Theorem to a conjecture of Weiss
Published
• View Publication
• BIB
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive.
Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theorem, we prove this conjecture when $G_v^{Γ(v)}$ contains an abelian regular subgroup. In fact, we show that the point-wise stabiliser in $G$ of a ball of $Γ$ of radius $4$ is the identity subgroup.
Auslander-Reiten quiver and representation theories related to KLR-type Schur-Weyl duality
Published
• View Publication
• BIB
We introduce new partial orders on the sequence positive roots and study the statistics of the poset by using Auslander-Reiten quivers for finite type ADE. Then we can prove that the statistics provide interesting information on the representation theories of KLR-algebras, quantum groups and quantum affine algebras including Dorey's rule, bases theory for quantum groups, and denominator formulas between fundamental representations. As applications, we prove Dorey's rule for quantum affine algebras $U_q(E_{6,7,8}^{(1)})$ and partial information of denominator formulas for $U_q(E_{6,7,8}^{(1)})$. We also suggest conjecture on complete denominator formulas for $U_q(E_{6,7,8}^{(1)})$.
Extending partial isometries of generalized metric spaces
Published in Fundamenta Mathematicae 244 (2019), no. 1, 1-16
• View Publication
• BIB
We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal{K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any $A\in\mathcal{K}$ there is some $B\in\mathcal{K}$ such that $A$ is a subspace of $B$ and any partial isometry of $A$ extends to a total isometry of $B$. Our main result is the Hrushovski property for the class of finite generalized metric spaces over a semi-archimedean monoid $\mathcal{R}$. When $\mathcal{R}$ is also countable, this can be used to show that the isometry group of the Urysohn space over $\mathcal{R}$ has ample generics. Finally, we prove the Hrushovski property for classes of integer distance metric spaces omitting triangles of uniformly bounded odd perimeter. As a corollary, given odd $n\geq 3$, we obtain ample generics for the automorphism group of the universal, existentially closed graph omitting cycles of odd length bounded by $n$.
A continuous model for systems of complexity 2 on simple abelian groups
Published
• View Publication
• BIB
It is known that if $p$ is a sufficiently large prime then for every function $f:\mathbb{Z}_p\to [0,1]$ there exists a continuous function on the circle $f':\mathbb{T}\to [0,1]$ such that the averages of $f$ and $f'$ across any prescribed system of linear forms of complexity 1 differ by at most $ε$. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing $\mathbb{T}$ with the torus $\mathbb{T}^2$ equipped with a specific filtration. To this end we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps, and we combine this with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on $\mathbb{Z}_p$. For instance, let $m_4(α,\mathbb{Z}_p)$ denote the minimum, over all sets $A\subset \mathbb{Z}_p$ of cardinality at least $αp$, of the density of 4-term arithmetic progressions inside $A$. We show that $\lim_{p\to \infty} m_4(α,\mathbb{Z}_p)$ is equal to the infimum, over all measurable functions $f:\mathbb{T}^2\to [0,1]$ with $\int_{\mathbb{T}^2}f\geq α$, of the following integral: $$ \int_{\mathbb{T}^5} f\binom{x_1}{y_1}\; f\binom{x_1+x_2}{y_1+y_2}\;
f\binom{x_1+2x_2}{y_1+2y_2+y_3}\; f\binom{x_1+3 x_2}{y_1+3y_2+3y_3} \,dμ_{\mathbb{T}^5}(x_1,x_2,y_1,y_2,y_3). $$
$1$-cohomology of simplicial amalgams of groups
Published in 1-cohomology of simplicial amalgams of groups. R. J. Blok and C. G. Hoffman. J. Alg. Combin. 37(2013) no. 2:381-400
• View Publication
• BIB
We develop a cohomological method to classify amalgams of groups. We generalize this to simplicial amalgams in any concrete category. We compute the non-commutative 1-cohomology for several examples of amalgams defined over small simplices.
Approximate subgroups of residually nilpotent groups
Published in Math. Ann. 374 (2019), 499-515
• View Publication
• BIB
We show that a K-approximate subgroup A of a residually nilpotent group G is contained in boundedly many cosets of a finite-by-nilpotent subgroup, the nilpotent factor of which is of bounded step. Combined with an earlier result of the author, this implies that A is contained in boundedly many translates of a coset nilprogression of bounded rank and step. The bounds are effective and depend only on K; in particular, if G is nilpotent they do not depend on the step of G. As an application we show that there is some absolute constant c such that if G is a residually nilpotent group, and if there is an integer n > 1 such that the ball of radius n in some Cayley graph of G has cardinality bounded by n^(c log log n), then G is virtually (log n)-step nilpotent.
A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group
Published in The Electronic Journal of Combinatorics 24.4 (2017): P4.14
• View Publication
• BIB
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $Γ$ form a group called the Picard group of $Γ$, by analogy to the definition of the Picard group of a variety in algebraic geometry.
Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $Γ$ is a triangulation of their product, then $Γ$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $Γ$ can be thought of as states in a higher-dimensional chip-firing game on $Γ$. Cartwright conjectured that the Picard groups of $Γ$, $G$, and $H$ were closely related. Let $Pic(Γ)$ be the tropical Picard group of $Γ$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $γ: Pic(G) \times Pic(H) \to Pic(Γ)$ that is always injective and is surjective if at least one of $G$ or $H$ is a tree.
In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.
On the one dimensional representations of Ariki-Koike algebras at roots of unity
Published
• View Publication
• BIB
We study the natural labeling of the one dimensional representations for Ariki-Koike algebras at roots of unity. For Hecke algebras of types A and B, some of these representations can be identified with the socle of the Steinberg representation of a finite reductive group. We here give closed formulas for them. This uses, in particular, several results concerning crystal isomorphisms and the Mullineux involution.
Cayley properties of merged Johnson graphs
Published
• View Publication
• BIB
Extending earlier results of Godsil and of Dobson and Malnic on Johnson graphs, we characterise those merged Johnson graphs $J=J(n,k)_I$ which are Cayley graphs, that is, which are connected and have a group of automorphisms acting regularly on the vertices. We also characterise the merged Johnson graphs which are not Cayley graphs but which have a transitive group of automorphisms with vertex-stabilisers of order $2$. Even though these merged Johnson graphs are all vertex-transitive, we show that only relatively few of them are Cayley graphs or have a transitive group of automorphisms with vertex-stabilisers of order $2$.