All Questions
Tagged with co.combinatorics rt.representation-theory
526 questions
0
votes
1
answer
114
views
Coxeter matrix of Dyck path
I am trying to understand Gjergji Zaimi's answer in What are the periodic Dyck paths?. In the third paragraph he claims that
Next, we define the matrix $X_D$
similarly to the Cartan matrix except we ...
- 85.6k
3
votes
0
answers
70
views
While expanding Jack polynomials in monomial basis
Denote $\mathbf{z}=(z_1,\dots,z_n)$. Let $P_{\kappa}(\mathbf{z};\alpha)$ be the symmetric Jack polynomials and suppose they are expanded in terms of the monomial symmetric basis $m_{\rho}(\mathbf{z})$ ...
- 43.2k
6
votes
0
answers
129
views
Is there a more natural way to define the Young symmetrizer and the Specht module?
It's well known that Young symmetrizer is a fundamental tool in the representation theory of symmetric groups.
For instance, for every Young diagram $\lambda\vdash n$, we construct a Young tableau $T_\...
4
votes
0
answers
81
views
Classification of nilpotent orbits over local fields (for type ABCD via partitions )
Let $\mathfrak g$ be a simple Lie algebra over a char $0$ local field $F$ (e.g. $F=\mathbb R$ or $F=\mathbb Q_p$) with its adjoint group $G$. Let $\mathcal N \subseteq \mathfrak g$ be its nilpotent ...
- 6,622
0
votes
0
answers
95
views
Class multiplication coefficients of symmetric groups
My question is that I was working with some counting problems, and finally the answer should be
$$
\nu_{\mu_1,\mu_2,\mu_3}=\#\{(\sigma_1,\sigma_2,\sigma_3): \sigma_1\sigma_2\sigma_3=1, \sigma_1\in C_{\...
- 63.9k
5
votes
1
answer
344
views
Are parabolic Kazhdan-Lusztig polynomials truncations of the usual Kazhdan-Lusztig polynomials?
Let $(W,S)$ be the affine Weyl group associated to a simple root system.
For $x,y \in W$ we have the usual Kazhdan--Lustig polynomials $h_{y,x} \in \mathbb{Z}[v]$ in Soergel's normalisation, and if ...
- 10.5k
9
votes
3
answers
1k
views
Examples of combinatorial problems where the only known solutions, or most "natural" solutions, use representation theory?
In Solution of two difficult combinatorial problems with linear algebra, Robert Proctor presents two simply stated combinatorial problems, and gives solutions to them using a linear algebraic approach ...
- 12.9k
3
votes
0
answers
169
views
Basis of Specht module of symmetric groups
I am reading the construction of the Specht module from James's book. The Specht module of a symmetric group corresponding to a partition $\lambda$ is spanned by all polytabloids $e_{t}$ associated ...
- 12.9k
2
votes
0
answers
111
views
Map between Weyl modules in terms of Young tableaux
The irreducible algebraic representations of $\text{GL}_n$ over the complex numbers are given by highest weight representations of dominant weights $\lambda=(k_1,k_2,\ldots,k_n): k_1 \ge k_2 \ge \...
- 461
11
votes
1
answer
340
views
Number of odd-dimensional irreducible representations of $S_n$
In this paper the structure of odd-dimensional irreducible representations of the symmetric group is described, but what is the asymptotic behaviour of the number of such representations? (Or, if it ...
- 12.9k
1
vote
0
answers
55
views
Combinatorial structure of the entanglement spectrum and quantum error correction in finite vector spaces
Let $V$ be a finite-dimensional vector space over $\mathbb{C}$ with dimension $d$. Consider a subspace $S \subset V^{\otimes n}$ representing the code subspace of a quantum error correcting code. We ...
- 63.9k
19
votes
2
answers
1k
views
Explicit invariant of tensors nonvanishing on the diagonal
The group $SL_n \times SL_n \times SL_n$ acts naturally on the vector space $\mathbb C^n \otimes \mathbb C^n \otimes \mathbb C^n$ and has a rather large ring of polynomial invariants. The element $$\...
1
vote
1
answer
102
views
Multiplicities and double and triple tensor products of simple $\frak{g}$-modules
Given a complex simple Lie algebra $\frak{g}$ and a simple module $V_{\lambda}$ for some dominant weight $\lambda$. Consider the tensor product decomposition
$$
V_{\lambda} \otimes V_{\lambda} \simeq ...
- 3,054
9
votes
2
answers
383
views
Action of Weyl group on regions of Shi arrangement
This is an elaboration of a question which was aked on MO several years ago, which was unanswered but deleted by the question-asker. I hope it is okay to elaborate on a deleted question like this; for ...
- 525
5
votes
0
answers
167
views
Bounding elementary symmetric polynomials away from zero
Let $2 \leq m \leq n$ be integers and let $\mathbf{x} \in \mathbb{R}^n$ (importantly, I am not assuming that the entries of $\mathbf{x}$ are non-negative). The elementary symmetric polynomials are ...
- 6,351
0
votes
0
answers
77
views
Generating function for dimensions of the space of polynomials fixed by a single permutation
Consider the space of polynomials with complex coefficients $\mathbb{C}[x_1,x_2,\dots,x_n]$ and let $\sigma$ be a permutation of $\{1,2,\cdots, n\}$ that acts on
this space via $\sigma(x_i)=x_{\sigma(...
- 141
1
vote
0
answers
108
views
Schur Weyl Duality for Maximal Torus
I wanted to know if there's some version of Schur Weyl Duality for the maximal torus $T \subset \operatorname{GL}(V)$? Is there also some combinatorial object which might be useful for the same?
3
votes
0
answers
89
views
Young symmetrizers-like projections to the center of group algebra
Let $A:=\mathbb{C}S_n$ be the symmetric group aglebra.
Let $T$ be a standard Young tableaux of shape $\lambda$. Denote $R(T)$ and $C(T)$ as row and column stabilizers of $T$. For a set $S \subseteq ...
- 31
16
votes
1
answer
804
views
Existence of a faithful irreducible representation using Möbius function
Let $G$ be a finite group, $L(G)$ its subgroup lattice and $\mu$ the Möbius function.
Consider the Euler totient of $G$ defined as follows:
$$ \varphi(G) = \sum_{H \le G}\mu(H,G) |H| $$
Let $X=\{M_1, \...
- 4,219
0
votes
0
answers
117
views
An interesting identity involving skew-Schur functions
Denote $\rho=(-\frac12,-\frac32,-\frac52,\dots)$. I was reading this interesting paper, where in particular, the authors claim that one can get the expression in (2.9)
\begin{align*}
\prod_{k\geq1}(1+...
- 43.2k
2
votes
0
answers
45
views
$K_0$-basis modules with a unique extension related to parking functions
Let $B=B_n$ be the quiver algebra of type $A_n$ (with some orietnation) with $n$ points.
A $B$-module $M$ is a basis of the Grothendieck group $K_0$ if $M$ has $n$ indecomposable direct summands and ...
- 26.5k
17
votes
0
answers
402
views
Number of $F_p$-matrices ac=ca, bd = db , ad - da = cb - bc is polynomial in p ? ("Manin matrix variety" - normal ? Cohen–Macaulay ? )
Consider four $n\times n$ matrices $a,b,c,d$ over finite field $F_q$ (or $F_p$ for simplicity), such that they satisfy three equations: $ac=ca,bd=db, ad-da=cb-bc $. Thus an affine algebraic manifold ...
- 24.9k
3
votes
0
answers
202
views
What d.o. $\sum_i f_i(z)\partial_z^i$ correspond to subalgebras $M$ in polynoms $C[x_i]$ being Langlands dual to motive of $Spec(M) \to X$?
Briefly: The question is about presenting explicit examples of the construction discussed in the recent MO question "Relation between motives and geometric Langlands" and Will Sawin's asnwer ...
- 24.9k
3
votes
0
answers
102
views
A class of bipartite graphs appearing in higher Auslander--Reiten theory
Let $G = (V,E)$ be a simple undirected bipartite graph with vertices $V$, edges $E$, and a chosen partition $V = X \cup Y$.
Recall that the bipartite complement of $G$ is the graph on the same vertex ...
- 66
3
votes
2
answers
220
views
Factorizations of an $n$-cycle in $S_n$ into a product $xy$ where $|x| = 2, |y| = 3$
Let $S_n$ be the symmetric group on $n$ letters. When (and how) can an $n$-cycle in $S_n$ be factored into a product $xy$, where $x,y$ have orders 2,3 respectively?
More precisely, I'd like to ...
- 148k
1
vote
0
answers
148
views
Exploring the Intersection of Expander Graphs, Number Theory, Representation Theory and Recent Computer Science Developments [closed]
I have a solid understanding of the basics of expander graphs and their properties and the recent development of High-Dimensional Expanders and their application to Random Walks, along with other ...
- 12.9k
7
votes
1
answer
379
views
Coefficients when rewriting the Hook-Content polynomials in terms of binomial polynomials
Let $\lambda$ be a partition, $S_\lambda$ the Schur functor attached to $\lambda$, and let $p_\lambda(t)$ be the polynomial determined by the condition that $\dim S_\lambda(k^n) = p_\lambda(n)$ for ...
- 379
0
votes
1
answer
349
views
Log associahedra and log noncrossing partitions--raising ops and symmetric function theory for $A_n$ (references)
Where do the following three sets $[LA]$, $[ILA]$, and $[LN]$ of partition polynomials appear in the literature?
There are two sets of partition polynomials, not in the OEIS, that serve as the ...
- 10.5k
1
vote
0
answers
130
views
Relationship between the symmetric group representation (Specht module) of a Young diagram and the Young diagram obtained by deleting one row
Suppose $\lambda$ is a Young diagram, and $\lambda'$ is obtained by deleting one particular row of $\lambda$. Is there any relationship between the symmetric group representation (Specht module) ...
- 25
14
votes
1
answer
660
views
Is this generalized version of plethysm Schur positive?
Question: Suppose that $f(x_1, x_2, \dots x_n)$ is a polynomial with nonnegative integer coefficients. For each permutation $\sigma\in S_n$, let $f_{\sigma}$ denote $f(x_{\sigma(1)}, \dots, x_{\sigma(...
- 156k
0
votes
0
answers
217
views
On characters of the symmetric group: Part 2
This question is related to my earlier MO quest.
For an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\...
- 43.2k
2
votes
0
answers
352
views
On characters of the symmetric group: Part 1
Given an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\lambda\vdash n$ either as $(\lambda_1,\dots,\...
- 43.2k
15
votes
1
answer
1k
views
Is this a typo in Macdonald's paper "The Poincaré Series of a Coxeter Group"?
I have a question about the proof of lemma 2.14 in Macdonald's paper The Poincaré Series of a Coxeter Group [1], where he used induction on $l(w)$ to prove that if $|E|=|R(w)|$, then $E=R(w)$. The ...
- 816
4
votes
0
answers
160
views
Major indices of standard tableaux of shapes obtained from addable cells of a given Young diagram
I have a "very" indirect proof that the following fact is true for every Young diagram $\lambda \vdash n$ and every $r \in \{0,\dotsc,n\}$:
\begin{equation}
d_\lambda = \sum_{a \in \mathrm{...
- 143
3
votes
0
answers
98
views
Isomorphism and counting for tree quivers
Let $Q$ be a quiver which is a connected tree and let $A=KQ/I$ be a quiver algebra with $I$ an admissible ideal, meaning that $I$ is generated by paths of length $\geq 2$. Let $n$ be the number of ...
- 26.5k
3
votes
0
answers
93
views
Commutant of irrep of $S_n$ (over local field)
Let $k$ be a field of characteristic zero and let $(V, \rho)$ be a finite-dimensional representation over $k$ of the symmetric group $S_n$. I would like to understand the commutant $\operatorname{End}...
- 363
37
votes
1
answer
1k
views
Errata for Fulton's "Young tableaux"
Fulton's Young tableaux is one of the best texts on the subject, one which I
often recommend and cite for reference. Unlike Fulton/Lang and
Fulton/Harris,
it is neither an early-dawn draft nor a ...
- 33.8k
3
votes
1
answer
221
views
Asymptotics for number of $p$-regular partitions of $n$
The number of simple modules $D^{\lambda}=S^{\lambda}/S^{\lambda}\cap (S^{\lambda})^{\bot}$ of the symmetric group over a field $k$ such that $\text{char}(k)=p > 0$ is the number of $p$-regular ...
- 571
4
votes
0
answers
313
views
What is $\dim D^{\lambda}$ for the symmetric group?
What are the dimensions of the simple modules $D^{\lambda}=S^{\lambda}/S^{\lambda}\cap (S^{\lambda})^{\perp}$ for the modular representation theory of $S_n$, i.e. $\operatorname{char}(k)=p>0$?
I ...
- 63.9k
2
votes
1
answer
107
views
Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces
For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces?
For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
- 24.2k
32
votes
3
answers
3k
views
Order of products of elements in symmetric groups
Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying
$1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$
whose product has order $...
- 2,217
9
votes
2
answers
507
views
Lusztig's $q$-analog of weight multiplicity with product formula
For partitions $\lambda, \mu \vdash n$, the Kostka-Foulkes polynomial $K_{\lambda,\mu}(q)$, a $q$-analog of the Kostka coefficient $K_{\lambda,\mu}$, has a combinatorial description, due to Lascoux ...
- 959
1
vote
1
answer
114
views
Combinatorics behind certain induction of characters of the Coxeter group of type $B_n$
Let $W_n$ be a Coxeter group of type $B_n$ with $n\geq 1$. Concretely, it is generated by a set of simple reflexions $S = \{s_1,\ldots ,s_n\}$ which satisfy the relations $s_i^2 = 1, s_is_j=s_js_i$ as ...
- 2,338
17
votes
2
answers
742
views
Equivariant Möbius inversion
I'll first explain what Möbius inversion says, and then state what I am fairly sure the equivariant version is. I can write out a proof, but I also can't believe this hasn't been done already; this is ...
- 4,219
19
votes
2
answers
851
views
The discriminant of the Okada algebra
The Okada algebra $\mathfrak{O}_n$ over a field $K$ has generators
$E_1,\dots,E_{n-1}$ and relations $E_i^2=x_iE_i$,
$E_{i+1}E_iE_{i+1}=y_i E_{i+1}$, and $E_iE_j=E_jE_i$ for $|i-j|\geq
2$, where $x_i,...
- 13.4k
2
votes
0
answers
60
views
Klyachko-type inequalities for shifted Schur structure constants
Klyachko (+Knutson-Tao) provide a set of inequalities that are necessary and sufficient for the Littlewood-Richardson coefficient $c^{\lambda}_{\mu\nu}$ to be non-zero.
Is there a similar result for ...
- 15.8k
4
votes
1
answer
269
views
Submodule lattices of preprojective algebras
Let $A$ be a preprojective algebra of Dynkin type.
Question 1: Let $P$ be an indecomposable projective $A$-module. It is known that the submodule lattice of $P$ is finite in Dynkin type $A_n$. Does ...
- 156k
0
votes
0
answers
116
views
Multivariate polynomial representations of the infinite dihedral group
The presentation given in Wikipedia for the infinite dihedral group is
$$\langle r,s\mid s^2 =1, srs = r^{-1}\rangle.$$
Let $[R]$ denote the infinite set of reciprocal partition polynomials $R_n(u_1,...
9
votes
2
answers
788
views
Bender-Knuth involutions for symplectic (King) tableaux
First let me recall the combinatorial theory of the characters of $\mathfrak{gl}_m$, a.k.a., Schur polynomials. For a partition $\lambda$, a semistandard Young tableaux of shape $\lambda$ is a filling ...
- 306
2
votes
0
answers
49
views
Minimal faithful modules for hereditary algebras
A module $M$ is minimal faithful if $M$ is faithful and if we remove any indecomposable summand of $M$, then $M$ is not faithful anymore.
Question: Is there a classification of minimal faithful ...
- 26.5k