group
10399 papers tagged with this keyword
Tropicalizations of locally symmetric varieties
This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space $\mathcal{A}_{g}$ of abelian varieties, and the special unitary case.
The maximal rank of a string group generated by involutions for alternating groups
Published
• View Publication
• BIB
A string group generated by involutions, or SGGI, is a pair $Γ=(G, S)$, where $G$ is a group and $S=\{ρ_0,\ldots, ρ_{r-1}\}$ is an ordered set of involutions generating $G$ and satisfying the commuting property: $$\forall i,j\in\{0,\ldots, r-1\}, \;|i-j|\ne 1\Rightarrow (ρ_iρ_j)^2=1.$$ When $S$ is an independent set, the rank of $Γ$ is the cardinality of $S$. We determine an upper bound for the rank of an SGGI over the alternating group of degree $n$. Our bound is tight when $n\equiv 0,1,4\pmod 5$.
Regular 3-polytopes of type $\{n,n\}$
Published
• View Publication
• BIB
For each integer \( n \geq 3 \), we construct a self-dual regular 3-polytope \( \mathcal{P} \) of type \( \{n, n\} \) with \( 2^n n \) flags, resolving two foundamental open questions on the existence of regular polytopes with certain Schläfli types. The automorphism group \( \operatorname{Aut}(\mathcal{P}) \) is explicitly realized as the semidirect product \( \mathbb{F}_2^{n-1} \rtimes D_{2n} \), where \( D_{2n} \) is the dihedral group of order \( 2n \), with a complete presentation for \( \operatorname{Aut}(\mathcal{P}) \) is provided. This advances the systematic construction of regular polytopes with prescribed symmetries.
Generalized break divisors and triangulations of Lawrence polytopes
Let $G$ be a connected graph of genus $g$. The Picard group of degree $g$, $\text{Pic}^g(G)$, is the set of equivalence classes of divisors on $G$ of degree $g$, where two divisors are equivalent if one can be reached from the other through a sequence of chip-firing moves. We construct sets of representatives of the equivalence classes in $\text{Pic}^g(G)$ by defining a function $I_G$ on the spanning trees of $G$ from a triangulation of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Additionally, such sets of representatives correspond to stability conditions on the nodal curve dual to the graph $G$. We show that $I_G$ that are constructed from regular triangulations of Lawrence polytope correspond to classical stability conditions, which are induced by generic real-valued divisors on $G$.
Probability measures on families of partitions related to harmonic analysis on big wreath products
We construct generalized regular representations of the wreath product of a compact group with the infinite symmetric group. The characters of these representations are determined by probability measures on families of partitions called the $z$-measures for the wreath product of a compact group with the symmetric group in the present paper. Our main result is an explicit formula for these $z$-measures which holds true for an arbitrary compact group. The result enables us to describe the spectral measures of the generalized regular representations of big wreath products.
A new bijective proof of the $q$-Pfaff--Saalschütz identity with applications to quantum groups
Published in European Journal of Combinatorics 133, 2026
• View Publication
• BIB
We present a combinatorial proof of the $q$-Pfaff--Saalschütz identity by a composition of explicit bijections, in which $q$-binomial coefficients are interpreted as counting subspaces of $\mathbb{F}_q$-vector spaces. As a corollary, we obtain a new multiplication rule for quantum binomial coefficients and hence a new presentation of Lusztig's integral form $\mathcal{U}_{\mathbb{Z}[q, q^{-1}]}(\mathfrak{sl}_2)$ of the Cartan subalgebra of the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$.
On the Sumset of Sets of Size $k$
The set $\mathcal{R}_{G}(h,k)$ consists of all possible sizes for the $h$-fold sumset of sets containing $k$ elements from an additive abelian group $G$. The exact makeup of this set is still unknown, but there has been progress towards determining which integers are present. We know that $\mathcal{R}_{G}(h,k)\subseteq\left[hk-h+1,\binom{h+k-1}{h}\right]$, where the right side is an interval of integers that includes the endpoints. These endpoints are known to be attained. We will prove that the integers in $\left[hk-h+2,hk-1\right]$ are not possible sizes for the $h$-fold sumset of a set containing $k\geq 4$ elements of a torsion-free additive abelian group $G$. Furthermore, we will confirm that this interval can't be made larger by exhibiting a subset of $G$ whose $h$-fold sumset has size $hk$.
Homomorphism Indistinguishability Relations induced by Quantum Groups
Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta.
For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.
Defects in weighted graphs and Commutators
Published
• View Publication
• BIB
Let $R$ be a commutative ring. In \cite{KK_2025(1)}, the authors introduced $R$-weighted graphs as a tool for studying commutators in groups and Lie algebras. These graphs are equivalent to a system of balance equations, and their consistent labelings correspond to solutions of this system of balance equations. In this article, we apply these ideas in the case when $R$ is a field $F$. We focus on $F$-weighted graphs with four vertices and establish necessary and sufficient conditions for the existence of consistent labelings on them. A notion of defects in weighted graphs is introduced for this purpose. We prove that defects in weighted graphs prevent Lie brackets from being surjective onto its derived Lie subalgebra. Similarly, these defects prevent certain elements in the commutator subgroup of a nilpotent group of class $2$ from being a commutator. As an application of our techniques, we prove that for a Lie algebra $L$ whose dimension over $F$ is at most countable and the dimension of its derived subalgebra $L'$ is at most $3$, the Lie bracket is surjective onto $L'$. We provide a counterexample when $\dim(L') = 4$. We also characterize commutators among $L$' for the Lie algebras $L$ with $\dim(L/Z(L))\leq 4$.
Generalized Higher Specht Polynomials and Homogeneous Representations of Symmetric Groups
We consider actions, similar to those of Haglund, Rhoades, and Shimozono on ordered partitions, and their basis in terms of the higher Specht polynomials of Ariki, Terasoma, and Yamada, as carried out by Gillespie and Rhoades. By allowing empty sets and working with multi-sets and weak partitions as indices, we obtain a decomposition of the action of $S_{n}$ on homogeneous polynomials of degree $d$ into irreducible representations, in a way that lifts a formula of Stanley. By considering generalized higher Specht polynomials, we obtain yet another such decomposition, lifting another formula involving Kostka numbers. We also investigate several operations on both types of representations, which are based on normalizations of the generalized higher Specht polynomials that allow for defining their stable versions.
Comment and correction for "On Explicit Construction of Simplex $t$-designs" by M. S. Baladram
In [Bal18] a new method of constructing simplex designs based on cyclic group on $n$ elements has been proposed. One of the claims put forward therein is existence of 3-point simplex 3-design in dimension $d = 3$. In this manuscript we present explicit counterarguments and suggest a manner to rectify the existing proofs. By doing this, we show that the results presented in [Bal18] can be utilised to construct simplex 3-designs scaling as $d^2$, which suggest a general scaling of $d^{t-1}$. Finally, we put forward a notion that encompasses the objects conforming with bounds given in [Bal18], which we refer to as symmetry-restricted simplex $t$-designs.
Products of three conjugacy classes in the alternating group
Published
• View Publication
• BIB
We prove that for $δ$ small, $n$ large, and any three conjugacy classes $C_{1},C_{2},C_{3}$ of $G=\mathrm{Alt}(n)$ of size at least $|G|^{1-δ}$ we have $C_{1}C_{2}C_{3}=G$.
The result provides a positive answer to Problem 20.23 of the Kourovka Notebook [KM22], improves theorems of Garonzi and Maróti [GM21] (using $4$ classes) and Rodgers [Rod02] (using larger classes), complements the known result for $G$ a simple group of Lie type [MP21] [LST24] [FM25], and is tight in several senses. Furthermore, since no character theory is involved, the proof can be used in principle to build a constructive algorithm that, given $g\in G$, outputs $c_{i}\in C_{i}$ such that $c_{1}c_{2}c_{3}=g$.
Lie-operads and operadic modules from poset cohomology
As observed by Joyal, the cohomology groups of the partition posets are naturally identified with the components of the operad encoding Lie algebras. This connection was explained in terms of operadic Koszul duality by Fresse, and later generalized by Vallette to the setting of decorated partitions. In this article, we set up and study a general formalism which produces a priori operadic structures (operads and operadic modules) on the cohomology of families of posets equipped with some natural recursive structure, that we call "operadic poset species". This framework goes beyond decorated partitions and operadic Koszul duality, and contains the metabelian Lie operad and Kontsevich's operad of trees as two simple instances. In forthcoming work, we will apply our results to the hypertree posets and their connections to post-Lie and pre-Lie algebras.
Two stability theorems on plethysms of Schur functions
The plethysm product of Schur functions corresponds to composing polynomial representations of infinite general linear groups. Finding the plethysm coefficients $\langle s_ν\circ s_μ, s_λ\rangle$ that express an arbitrary plethysm $s_ν\circ s_μ$ as a sum $\sum_λ\langle s_ν\circ s_μ, s_λ\rangle s_λ$ of Schur functions is a fundamental open problem in algebraic combinatorics. We prove two stability theorems for plethysm coefficients under the operations of adding and/or joining an arbitrary partition to either $μ$ or $ν$. In both theorems $μ$ may be replaced with an arbitrary skew partition. As special cases we obtain all stability results on the plethysm product of two Schur functions in the literature to date. The proofs are entirely combinatorial using plethystic semistandard tableaux with positive and negative entries.
On flag-transitive automorphism groups of $2$-designs with $λ$ prime
Published
• View Publication
• BIB
In this article, we study $2$-$(v,k,λ)$ designs $\mathcal{D}$ with $λ$ prime admitting flag-transitive and point-primitive almost simple automorphism groups $G$ with socle $T$ a finite exceptional simple group or a sporadic simple groups. If the socle of $G$ is a finite exceptional simple group, then we prove that $\mathcal{D}$ is isomorphic to one of two infinite families of $2$-designs with point-primitive automorphism groups, one is the Suzuki-Tits ovoid design with parameter set $(v,b,r,k,λ)=(q^{2}+1,q^{2}(q^{2}+1)/(q-1),q^{2},q,q-1)$ design, where $q-1$ is a Mersenne prime, and the other is newly constructed in this paper and has parameter set $(v,b,r,k,λ)=(q^{3}(q^{3}-1)/2,(q+1)(q^{6}-1),(q+1)(q^{3}+1),q^{3}/2,q+1)$, where $q+1$ a Fermat prime. If $T$ is a sporadic simple group, then we show that $\mathcal{D}$ is isomorphic to a unique design admitting a point-primitive automorphism group with parameter set $(v,b,r,k,λ)=(176,1100,50,2)$, $(12,22,11,6,5)$ or $(22,77,21,6,5)$.
Proper partial linear spaces affording imprimitive rank 3 automorphism groups
Published
• View Publication
• BIB
A partial linear space is a point--line incidence structure such that each line is incident with at least two points and each pair of points is incident with at most one line. It is said to be proper if there exists at least one non-collinear point pair, and at least one line incident with more than two points. The highest degree of symmetry for a proper partial linear space occurs when the automorphism group $G$ is transitive on ordered pairs of collinear points, and on ordered pairs of non-collinear points, that is to say, $G$ is a transitive rank $3$ group on the points. While the primitive rank 3 partial linear spaces are essentially classified, we present the first substantial classification of a family of imprimitive rank $3$ examples.
We classify all imprimitive rank $3$ proper partial linear spaces such that the rank $3$ group is semiprimitive. In particular, this includes all partial linear spaces with a rank 3 imprimitive automorphism group that is innately transitive or quasiprimitive. We construct several infinite families of examples and ten individual examples. The examples in the infinite families admit a rank $3$ action of a linear or unitary group, and to our knowledge most of these examples have not appeared before in the literature.
Generalized chip firing and critical groups of arithmetical structures on trees
Chip firing provides a way to study the sandpile group (also known as the Jacobian) of a graph. We use a generalized version of chip firing to bound the number of invariant factors of the critical group of an arithmetical structure on a graph. We also show that, under suitable hypotheses, critical groups are additive under wedge sums of graphs with arithmetical structures. These results allow us to relate the number of invariant factors of critical groups associated to any given tree to decompositions of the tree into simpler trees. We use this to classify those trees for which every arithmetical structure has cyclic critical group. Finally, we show how to construct arithmetical structures on trees with prescribed critical groups. In particular, every finite abelian group is realized as the critical group of some arithmetical structure on a tree.
$R$-weighted graphs and commutators
In this article, we introduce balance equations over commutative rings $R$ and associate $R$-weighted graphs to them so that solving balance equations corresponds to a consistent labeling of vertices of the associated graph. Our primary focus is the case when $R$ is a commutative local ring whose residue field contains at least three elements. In this case, we provide explicit solutions of balance equations. As an application, letting $R$ to be the ring of $p$-adic integers, we examine some necessary and sufficient conditions for a $p$-group of nilpotency class $2$ to have its set of commutators coincide with its commutator subgroup. We also apply our results to study the surjectivity of the Lie bracket in Lie algebras, without any restriction on their dimension and the underlined field.
A note on the number of distinct elements and zero-sum subsequence lengths in cyclic groups
In this short note we investigate zero-sum sequences in finite abelian groups, examining the relationship between the sequence's support size, that is the number of distinct elements, and its properties concerning zero-sums. In particular, for sequences $S$ in a cyclic group, we establish a direct connection between $MZ(S)$, the length of the shortest nonempty subsequence summing to zero and the number of distinct values in $S$. Our results reveal that sequences with larger support must contain shorter non-empty zero-sum subsequences, in line with classical zero-sum results. Additionally, we present one application of our main result to a factorization of ideals problem in rings of integers of a number field.