representation ↗ reference
4143 papers tagged with this keyword
Some infinite-dimensional representations of certain Coxeter groups
Published
• View Publication
• BIB
A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.
Graphical methods and rings of invariants on the symmetric algebra
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2173-2198
• View Publication
• BIB
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of $G$-invariant polynomial functions on the space $\mathcal{P}^m(V)$ of degree-$m$ homogeneous polynomial functions on $V$. In this paper, we replace $\mathcal{P}^m(V)$ with the full polynomial algebra $\mathcal{P}(V)$. As a result, the invariant ring is no longer finitely generated. Hence instead of seeking generators, we aim to write down linear bases for bigraded components. Indeed, when $G$ is of sufficiently high rank, we realize these bases as sets of graphs with prescribed number of vertices and edges. When the rank of $G$ is small, there arise complicated linear dependencies among the graphs, but we remedy this setback via representation theory: in particular, we determine the dimension of an arbitrary component in terms of branching multiplicities from the general linear group to the symmetric group. We thereby obtain an expression for the bigraded Hilbert series of the ring of invariants on $\mathcal{P}(V)$. We conclude with examples using our graphical notation, several of which recover classical results.
Degenerations and order of graphs realized by finite abelian groups
Let G_1 and G_2 be two groups. If a group homomorphism \varphi : G_1 \longrightarrow G_2 maps a \in G_1 into b \in G_2 such that \varphi(a) = b, then we say a degenerates to b and if every element of G_1 degenerates to elements in G_2, then we say G_1 degenerates to G_2. In this paper, we study degeneration in graphs and show that degeneration in groups is a particular case of degeneration in graphs. We exhibit some interesting properties of degeneration in graphs. We use this concept to present a pictorial representation of graphs realized by finite abelian groups. We discus some partial orders on the set T_p_1 \dots T_p_n of all graphs realized by finite abelian p_r-groups, where each p_r, 1 \leq r \leq n, is a prime number. We show that each finite abelian p_r-group of rank n can be identified with saturated chains of Young diagrams in the poset T_p_1 \dots T_p_n. We present a combinatorial formula which represents the degree of a projective representation of a symmetric group. This formula determines the number of different saturated chains in T_p_1 \cdots T_p_n and the number of finite abelian groups of different orders.
Jordan recoverability of some subcategories of modules over gentle algebras
Published in B. Dequêne, Jordan recoverability of some subcategories of modules over gentle algebras, Journal of Pure and Applied Algebra, Volume 228, Issue 3, 2024
• View Publication
• BIB
Gentle algebras form a class of finite-dimensional algebras introduced by I. Assem and A. Skowroński in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a well-defined Jordan form exists for these representations. We focus on subcategories additively generated by all the indecomposable representations of a gentle quiver, including a fixed vertex in their support. We show a characterization of the vertices such that the objects of this subcategory are determined up to isomorphism by their generic Jordan form.
Intersection theorems for finite general linear groups
Published
• View Publication
• BIB
A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.
Moduli spaces of $\mathbb{Z}/k\mathbb{Z}$-constellations over $\mathbb{A}^2$
Published
• View Publication
• BIB
Let $ρ:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $Θ^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subsetΘ^{\text{gen}}$ and prove that there are $k!$ of them. Moreover, we introduce the notion of simple chamber and we show that, in order to know all toric $G$-constellations, it is enough to build all simple chambers. We also prove that there are $k\cdot 2^{k-2} $ simple chambers. Finally, we provide an explicit formula for the tautological bundles $\mathscr{R}_C$ over the moduli spaces $\mathscr{M} _C$ for all chambers $C\subset Θ^{\text{gen}}$ which only depends upon the chamber stair which is a combinatorial object attached to the chamber $C$.
Skew-Morphisms of Elementary Abelian p-Groups
Published
• View Publication
• BIB
A skew-morphism of a finite group $G$ is a permutation $σ$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $σ(xy)=σ(x)σ^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $σ$ of $G$, the product of $\langle σ\rangle$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $σ$. In this paper, the skew-product groups of skew-morphisms of finite elementary abelian $p$-groups are investigated. Some properties, characterizations and constructions about that are obtained.
Hook length and symplectic content in partitions
Published
• View Publication
• BIB
The dimension of an irreducible representation of $GL(n,\mathbb{C})$, $Sp(2n)$, or $SO(n)$ is given by the respective hook-length and content formulas for the corresponding partition. The first author, inspired by the Nekrasov-Okounkov formula, conjectured combinatorial interpretations of analogous expressions involving hook-lengths and symplectic/orthogonal contents. We prove special cases of these conjectures. In the process, we show that partitions of $n$ with all symplectic contents non-zero are equinumerous with partitions of $n$ into distinct even parts. We also present Beck-type companions to this identity. In this context, we give the parity of the number of partitions into distinct parts with odd (respectively, even) rank. We study the connection between the sum of hook-lengths and the sum of inversions in the binary representation of a partition. In addition, we introduce a new partition statistic, the $x$-ray list of a partition, and explore its connection with distinct partitions as well as partitions maximally contained in a given staircase partition.
An upper bound on binomial coefficients in the de Moivre-Laplace form
Published in Journal of the Belarusian State University. Mathematics and Informatics. 2022. 1:66-74. In Russian
• View Publication
• BIB
We suggest an upper bound on binomial coefficients that holds over the entire parameter range and whose form repeats the form of the de Moivre-Laplace approximation of the symmetric binomial distribution. Using the bound, we estimate the number of continuations of a given Boolean function to bent functions, investigate dependencies into the Walsh-Hadamard spectra, obtain restrictions on the number of representations as sum of squares of integers bounded in magnitude.
The probability of random trees being isomorphic
We study the fundamental question of how likely it is that two randomly chosen trees are isomorphic to each other for different models of random trees. We show that the probability decays exponentially for rooted labeled trees as well as for Galton--Watson trees with bounded degrees but that this is not true for plane trees, thus providing a counterexample in the general case of Galton--Watson trees without degree restrictions. We also derive limiting distributions for some related parameters: the number of vertices of given degrees in pairs of labeled trees conditioned on being isomorphic, thus showing that they have a different shape than usual labeled trees, as well as the number of labelings and plane representations of Pólya trees. The results rely on both probabilistic and analytic tools.
Determinantal representations and the image of the principal minor map
Published
• View Publication
• BIB
In this paper we explore determinantal representations of multiaffine polynomials and consequences for the image of various spaces of matrices under the principal minor map. We show that a real multiaffine polynomial has a definite Hermitian determinantal representation if and only if all of its so-called Rayleigh differences factor as Hermitian squares and use this characterization to conclude that the image of the space of Hermitian matrices under the principal minor map is cut out by the orbit of finitely many equations and inequalities under the action of $({\rm SL}_2(\mathbb{R}))^{n} \rtimes S_{n}$. We also study such representations over more general fields with quadratic extensions. Factorizations of Rayleigh differences prove an effective tool for capturing subtle behavior of the principal minor map. In contrast to the Hermitian case, we give examples to show for any field $\mathbb{F}$, there is no finite set of equations whose orbit under $({\rm SL}_2(\mathbb{F}))^{n} \rtimes S_{n}$ cuts out the image of $n\times n$ matrices over $\mathbb{F}$ under the principal minor map for every $n$.
On the equivariant log-concavity for the cohomology of the flag varieties
We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.
Equivariant log-concavity and equivariant Kähler packages
Published in J. Algebra 657, 379-401 (2024)
• View Publication
• BIB
We show that the exterior algebra $Λ_{R}\left[α_{1}, \cdots, α_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.
Minimal Representations of Tropical Rational Functions
Published in Alg. Stat. 15 (2024) 27-59
• View Publication
• BIB
This paper studies the following question: given a piecewise-linear function, find its minimal algebraic representation as a tropical rational signomial. We put forward two different notions of minimality, one based on monomial length, the other based on factorization length. We show that in dimension one, both notions coincide, but this is not true in dimensions two or more. We prove uniqueness of the minimal representation for dimension one and certain subclasses of piecewise-linear functions in dimension two. As a proof step, we obtain counting formulas and lower bounds for the number of regions in an arrangement of tropical hypersurfaces, giving a small extension for a result by Montúfar, Ren and Zhang. As an equivalent formulation, it gives a lower bound on the number of vertices in a regular mixed subdivision of a Minkowski sum, giving a small extension for Adiprasito's Lower Bound Theorem for Minkowski sums.
Arkhipov's theorem, graph minors, and linear system nonlocal games
Published
• View Publication
• BIB
The perfect quantum strategies of a linear system game correspond to certain representations of its solution group. We study the solution groups of graph incidence games, which are linear system games in which the underlying linear system is the incidence system of a (non-properly) two-coloured graph. While it is undecidable to determine whether a general linear system game has a perfect quantum strategy, for graph incidence games this problem is solved by Arkhipov's theorem, which states that the graph incidence game of a connected graph has a perfect quantum strategy if and only if it either has a perfect classical strategy, or the graph is nonplanar. Arkhipov's criterion can be rephrased as a forbidden minor condition on connected two-coloured graphs. We extend Arkhipov's theorem by showing that, for graph incidence games of connected two-coloured graphs, every quotient closed property of the solution group has a forbidden minor characterization. We rederive Arkhipov's theorem from the group theoretic point of view, and then find the forbidden minors for two new properties: finiteness and abelianness. Our methods are entirely combinatorial, and finding the forbidden minors for other quotient closed properties seems to be an interesting combinatorial problem.
A representation-theoretic computation of the rank of $1$-intersection incidence matrices: $2$-subsets vs. $n$-subsets
Published
• View Publication
• BIB
Let $W_{k,n}^{i}(m)$ denote a matrix with rows and columns indexed by the $k$-subsets and $n$-subsets, respectively, of an $m$-element set. The row $S$, column $T$ entry of $W_{k,n}^{i}(m)$ is $1$ if $|S \cap T| = i$, and is $0$ otherwise. We compute the rank of the matrix $W_{2,n}^{1}(m)$ over any field by making use of the representation theory of the symmetric group. We also give a simple condition under which $W_{k,n}^{i}(m)$ has large $p$-rank.
An example of $A_2$ Rogers-Ramanujan bipartition identities of level 3
Published
• View Publication
• BIB
We give manifestly positive Andrews-Gordon type series for the level 3 standard modules of the affine Lie algebra of type $A^{(1)}_2$. We also give corresponding bipartition identities, which have representation theoretic interpretations via the vertex operators. Our proof is based on the Borodin product formula, the Corteel-Welsh recursion for the cylindric partitions, a $q$-version of Sister Celine's technique and a generalization of Andrews' partition ideals by finite automata due to Takigiku and the author.
Connecting Scalar Amplitudes using The Positive Tropical Grassmannian
Published
• View Publication
• BIB
The biadjoint scalar partial amplitude, $m_n(\mathbb{I},\mathbb{I})$, can be expressed as a single integral over the positive tropical Grassmannian thus producing a Global Schwinger Parameterization. The first result in this work is an extension to all partial amplitudes $m_n(α,β)$ using a limiting procedure on kinematic invariants that produces indicator functions in the integrand. The same limiting procedure leads to an integral representation of $φ^4$ amplitudes where indicator functions turn into Dirac delta functions. Their support decomposes into $\textrm{C}_{n/2-1}$ regions, with $\textrm{C}_q$ the $q^{\rm th}$-Catalan number. The contribution from each region is identified with a $m_{n/2+1}(α,\mathbb{I})$ amplitude. We provide a combinatorial description of the regions in terms of non-crossing chord diagrams and propose a general formula for $φ^4$ amplitudes using the Lagrange inversion construction. We start the exploration of $φ^p$ theories, finding that their regions are encoded in non-crossing $(p-2)$-chord diagrams. The structure of the expansion of $φ^p$ amplitudes in terms of $φ^3$ amplitudes is the same as that of Green functions in terms of connected Green functions in the planar limit of $Φ^{p-1}$ matrix models. We also discuss possible connections to recent constructions based on Stokes polytopes and accordiohedra.
Operadic categories and quasi-Gröbner categories
Quasi-Gröbner categories were introduced by Sam and Snowden to unify treatment of categories in representation stability. We give new examples of quasi-Gröbner categories. Most of these categories are operadic categories of Batanin and Markl which are used to encode homotopy coherent structures. This suggests that other operadic categories might also be quasi-Gröbner. Additionally, we show that set-operads form a full subcategory of the category of operadic categories. We state several open problems.
Arrowhead and Diamond Diameters
{\em Arrowhead} and {\em diamond} are two hierarchical Cayley graphs defined on the triangular grid. In their undirected version, they are isomorphic and merely define two distinct representations of the same graph. This paper gives the expression of their diameter, in the oriented and non--oriented case. It also displays the full distribution of antipodals.