Questions tagged [rt.representation-theory]
Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.
6,043
questions
1
vote
0
answers
19
views
Invariants of general linear groups under torus action
Let $G=GL_n$ be the general linear group (let's say over an algebraically closed field of char $=0$). Let's denote as $T$ the torus of diagonal matrices: is there an explicit description of the ...
0
votes
0
answers
20
views
Schur's Orthogonality relations: proposition example
I'm having trouble finding an example for this proposition:
Proposition 4.2.10. Let $G$ be a finite group. Let $\varphi^{(1)}, \ldots, \varphi^{(s)}$ be a complete set of representatives of the ...
- 11
5
votes
0
answers
283
views
What is higher representation theory?
Can anyone please introduce higher representation theory?
By Yoneda embedding, we know that global dimension of finitely generated category $\bmod\Lambda$ of Artin algebra $\Lambda$ is no more than $2$...
- 555
5
votes
0
answers
92
views
What are the indecomposable modules over $\mathbb{F}_2(C_2\times C_2)$?
Let $C_2$ be the cyclic group of order $2$ and $\mathbb{F}_2$ the field with $2$ elements. Consider the group algebra $A:= \mathbb{F}_2 (C_2\times C_2)$. It is well-known that $A$ has infinite ...
- 805
2
votes
0
answers
55
views
Partial sum of Weingarten functions over symmetric group
I have a question about partial sums of Weingarten functions. The Weingarten functions are defined as
$$
E_U[U_{i_1,j_1}\dotsm U_{i_k,j_k}U^*_{i'_1,j'_1}\dotsm U^*_{i'_k,j'_k}]=\sum_{\alpha,\beta \in \...
- 21
2
votes
0
answers
151
views
+150
On the definition of the Cherednik algebra of a variety with a finite group action
Let $X$ be a connected complex smooth affine variety, acted on by a finite group $G$. We define a reflection hypersurface $(Y,g)$ as a smooth codimension one subvariety $Y\subset X$ which is fixed by $...
3
votes
1
answer
297
views
Supercuspidal, spherical and discrete series representation
Let $G$ be an algebraic group defined over $\mathbb{Q}$ with maximal unipotent radical $N$. Let $\pi$ be an admissible representation of $G(\mathbb{Q}_p)$, we say that this representation is ...
- 113
3
votes
0
answers
56
views
Modules with special properties
Let $A$ be a finite dimensional algebra and $M$ an indecomposable (right) module with the property that every nilpotent element of $End_A(M)$ annihilates the socle $soc_A(M)$ of $M$. Note that $M$ is ...
- 21.8k
9
votes
0
answers
157
views
Hives for other root systems?
Littlewood-Richardson coefficients $c^\lambda_{\mu\nu}$ have numerous combinatorial interpretations, including the hive model by Knutson and Tao, see here. For other root systems, there are also ...
- 15.2k
6
votes
1
answer
258
views
Prove that $\overline{a}_{11}$ is a prime element in $R$
Consider the affine space given by four $2\times 2$ matrices, i.e., $\mathbb{A}^{16}\cong M(\mathbb{C})_{2\times 2}^4$. Now, consider the algebraic set $V$ given by the vanishing of the relation $AB-...
- 291
0
votes
0
answers
21
views
Normalizing a parameter in a regression
I am thinking about the possibility of making a parameter in my regression, let's say the $\lambda$ in a ridge regression, somehow, inside a range : $\lambda \in [0,1]$. Do you have any ideas how I ...
- 1
0
votes
0
answers
59
views
Testing whether the endomorphism ring of an $A$-module is isomorphic to $A$
Let $A=KQ/I$ be finite dimensional quiver algebra and $M$ an $A$-module.
Question: Is there a good/fast test whether we have $A \cong End_A(M)$ (or $A^{op} \cong End_A(M)$) using for example the GAP-...
- 21.8k
4
votes
0
answers
77
views
Is there a cohomological interpretation of the bilinear form arising from Clifford theory?
For this question all groups are finite, and representations are over $\mathbb{C}$. The setup is that we have $N$ a normal subgroup of $G$, with abelian quotient $A$, and an irrep $V$ of $N$ that is ...
- 1,537
1
vote
1
answer
83
views
Non-rigid modules and Auslander-Reiten quiver
I have a question about proving that a module is non-rigid using Auslander-Reiten quiver. Suppose that we have some algebra $A$ and the components of its Auslander-Reiten quivers are tubes like the ...
- 5,865
2
votes
0
answers
77
views
Reference request on Plancherel measure for partitions whose parts differing by more than $1$
Given an (unrestricted) integer partition $\lambda$ of $n$, let $f_{\lambda}$ denote the number of standard Young tableaux (SYT) of shape the Young diagram $Y(\lambda)$ of $\lambda$. Then,
$$\sum_{\...
- 37.8k
2
votes
0
answers
81
views
Is Theorem 4.4 in Borel[1976] also true for covering group?
Theorem 4.4 in Borel - Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup claims that the induced module $I(E)$ and coinduced module $P(E)...
- 79
8
votes
1
answer
263
views
Is this a counterexample to Reineke's conjecture on total stability conditions for Dynkin type quivers?
Let $A=KQ$ be a path algebra over a field $K$ with finite connected quiver $Q$.
A slope function $\mu$ is a function of the form $\mu=\sigma/dim$ defined on the Grothendieck group $K_0(A) \setminus 0$ ...
- 21.8k
7
votes
1
answer
216
views
Harmonic flow on the Young lattice
Let me begin with some preliminary concepts: A positive real-valued function $\varphi: P \rightarrow \Bbb{R}_{>0}$ on a locally finite, ranked poset $(P, \trianglelefteq)$ is harmonic if
$\varphi(\...
- 1,435
1
vote
0
answers
32
views
How much is known about the non-degeneracy of Quiver-with-potential associated to closed punctured surfaces?
The potential of the quiver associated to surfaces is the canonical one given by Labardini-Fragoso's 2009 paper, who proved that the the QP associated to surfaces whose boundary is nonempty is rigid ...
- 111
3
votes
0
answers
59
views
Is any $n$-angulated category a $(n-2)$-cluster tilting subcategory of some triangulated category?
Geiss, Keller and Oppermann told us in "n-angulated categories" that some $(n-2)$-cluster tilting subcategory of a triangulated category is a $n$-angulated category.
$\require{wasysym}$
...
- 555
5
votes
1
answer
131
views
Invariants for the isotropy representation of a Riemannian symmetric space
Statement: Let $M = G/K$ be a Riemannian symmetric space of compact type, and $V = T_o M$ be its isotropy representation (of $K$ acting on the tangent space of $M$). Then the Hilbert–Poincaré series $...
- 21.7k
4
votes
0
answers
144
views
Relationship between $\mathbb{S}^{\nu}V \otimes \mathbb{S}^{\lambda}(V^{*})$ and $\mathbb{S}^{\nu / \lambda}V$
For partition $\mu$ let $\mathbb{S}^{\mu}V = V^{\otimes \mu} \cdot c_{\mu}$, where $c_{\mu}$ is the Young symmetrizer. I'm trying to prove that $\mathbb{S}^{\nu / \lambda}V$ is the polynomial part of $...
- 49
6
votes
0
answers
167
views
Algorithmically handling the Spin groups in larg(ish) dimensions
Question: Is there a reasonably efficient algorithmic representation of $\mathit{Spin}_n$? By this I mean, a way to store its elements and operate on them (multiply, inverse, maybe compute ...
- 21.7k
0
votes
1
answer
112
views
Semi simplicity over commutative algebras over non-algebraically closed fields
I have already posted this on stackexchange
I have a question:
If k is an arbitrary field then is it true that if $M$ a finite dimensional $k[x, y]$ is semisimple as a $k[x]$ module and also as a $...
- 121
6
votes
0
answers
158
views
Scalar products on symmetric functions behaving like the Macdonald scalar product
The Macdonald symmetric functions (or Macdonald polynomials)
$P_\lambda(x)$ are orthogonal with respect to the Macdonald scalar
product
$$ \langle p_\lambda,p_\mu\rangle =
\delta_{\lambda\mu}z_\...
- 43.7k
16
votes
0
answers
293
views
Row of the character table of symmetric group with most negative entries
The row of the character table of $S_n$ corresponding to the trivial representation has all entries positive, and by orthogonality clearly it is the only one like this.
Is it true that for $n\gg 0$, ...
- 18.8k
3
votes
0
answers
53
views
Duals of unipotent characters of classical finite groups of Lie type in terms of Lusztig's symbols
The irreducible unipotent characters of classical finite groups of Lie type have been classified by Lusztig using the combinatorical notion of "symbols", see "Irreducible ...
- 395
5
votes
1
answer
196
views
About weak integrals: Appendix of Folland's book "A course in abstract harmonic analysis"
Consider the following fragment from Folland's book "A course in abstract harmonic analysis":
All integrals are here to interpreted in the weak sense (see p285 in Folland's book). Why is ...
- 261
2
votes
0
answers
75
views
The Jacquet module of the Steinberg Representation
I have also posted this question also on Math Stack Exchange, please inform me if the level is too low for this forum.
Let $G=GL_2(F)$ where $F$ is a non-Archimedean local field of characteristic $0$, ...
- 121
7
votes
1
answer
163
views
Is a $k[G]$-module which is free on every cyclic subgroup free?
Let $G$ be a finite group and let $M$ be a representation of $G$ over a field $k$. Suppose that, for every cyclic subgroup $C$ of $G$, we have $M|_{C} \cong k[C]^{\oplus [G:C]}$. Can we conclude that $...
- 138k
5
votes
0
answers
91
views
Is a subquotient of an unramified principal series unramified?
The answer to this question may be true in a much more general setting, but I ask it in the precise case I need it.
Let $G$ be the unramified unitary group $U(3)$, built out of an unramified extension ...
- 5,065
5
votes
0
answers
84
views
Can closure of an orbit under a reductive action contain infinitely many orbits?
I posted this on math.se a week ago, currently it has 23 views and no other feedback.
Here on MO there are several questions about orbit closures but I could not find anything about what I need.
To be ...
- 16.2k
2
votes
1
answer
62
views
Non-isomorphic direct products of a solvable and a semisimple Lie algebra
Given a solvable Lie algebra $\frak{a}$ and a semisimple Lie algebra $\frak{g}$ we can take their semidirect product $\frak{a} \rtimes \frak{g}$, with respect to a Lie algebra map $\frak{g} \to \...
- 383
2
votes
0
answers
119
views
Counting points of parabolic Springer fibers
Let $G$ be a reductive group over an (algebraically closed ) field. To each parabolic subgroup $P \subseteq G$ and $x \in G$ we can consider two types of partial Springer fibers associated to it :
$$1)...
1
vote
0
answers
88
views
Fusion rules for the Lie algebra $\frak{so}_{2n+1}$
For the Lie algebra $\mathfrak{so}_{2n+1}$ where can I find a description of the fusion rules of it fundamental representations? In more detail: For $\pi_i$ and $\pi_j$ two fundamental weights of $\...
- 383
9
votes
2
answers
555
views
Can we use formal groups to recover Lie-theoretic representation theory in characteristic p?
In differential geometry, Lie's theorems allow us to integrate any Lie algebra representation to a Lie group representation. The algebraic version of this is more complicated (and I'm not terribly ...
5
votes
1
answer
78
views
Does the centralizer of a regular element in a semisimple Lie algebra act by polynomials?
Let $\mathfrak g$ be a semisimple Lie algebra over $\mathbb C$, $\rho : \mathfrak g \to \operatorname{End}(V)$ a finite-dimensional irreducible representation and $x \in \mathfrak g$ regular with ...
- 318
1
vote
0
answers
75
views
Characters of upper triangular matrices over finite field - reference request
Let $B_n$ be the group of upper matrices and $U_n$ the subgroup of unipotent upper triangular matrices. I would like some references which discusses complex character theory of $B_n(\mathbb{F}_q)$ for ...
- 2,041
1
vote
0
answers
72
views
Irreducible unitary representations of $\mathrm{SL}(n,\mathbb R)$ from those of $\mathrm{GL}(n,\mathbb R)$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the case of a non-Archimedean local field $\mathbb F$, one may reduce the representation theory of $\SL(n,\mathbb F)$ to that of $\GL(n,\...
- 1,031
3
votes
0
answers
201
views
How to go from primitive idempotents in $\text{End}_A(M)$ to primitive idempotents in $A$?
Let $K$ be a large enough finite field, let $A$ be a finite-dimensional $K$-algebra.
Moreover, let $M$ be a finitely generated $A$-module and let $M = M_1\oplus ... \oplus M_n$ be a decomposition of $...
- 1,393
12
votes
2
answers
451
views
"Burnside ring" of the natural numbers and algebraic K-theory
The construction of the Burnside ring $A(G)$ of a group $G$ (usually, but not always, finite) is given by taking the Grothendieck group of the commutative semi-ring of isomorphism classes of finite $G$...
- 17.6k
3
votes
1
answer
102
views
Projectivity of some module
Let $k$ be a algebraically closed field and suppose that $A$ and $B$ are finite dimensional $k$-algebras. If we assume that $A$ is a symmetric $k$-algebra and $A\otimes_k I$ is a projective $A\...
- 755
8
votes
2
answers
184
views
Lifting isomorphisms between linear categories
Let $C$ be a $\mathbb{Z}$-linear category, such that $C(x,y)$ is a free abelian group with finite rank, for every $x,y\in\mathrm
{Ob}(C)$. Given a commutative ring with identity $R$, let $RC$ denote ...
- 81
2
votes
1
answer
149
views
Parahoric subgroup over a local field
$\DeclareMathOperator\SL{SL}$Let $F$ be a local field and $\mathcal{O}_{F}$ its valuation ring. Let $\pi\in \mathcal{O}_{F}$ be a uniformizer and $\mathfrak{p}=\pi\mathcal{O}_{F}$. Let $G$ be a split ...
- 419
29
votes
1
answer
1k
views
Are homeomorphic representations isomorphic?
Let $G$ be a finite group. Let $V_1, V_2$ be two finite-dimensional real representations. Suppose $f: V_1 \to V_2$ is a $G$-equivariant homeomorphism. Can one conclude that $V_1$ and $V_2$ are ...
- 751
0
votes
0
answers
83
views
Decomposition of tensor product of two representations of $so(10,\mathbb{C})$
There exist two 16-dimensional irreducible non-isomorphic representations of $so(10,\mathbb{C})$. Consider the tensor products of each of them with the standard (10-dimensional) representation.
What ...
- 19k
1
vote
1
answer
148
views
10-dimensional irreducible representations of $so(10,\mathbb{C})$
Are there 10-dimensional irreducible representations of the Lie algebra $so(10,\mathbb{C})$ which are not isomorphic to the standard representation?
- 19k
6
votes
2
answers
997
views
What is the motivation behind symplectic/orthogonal content?
Here $\lambda'$ is the conjugate partition of $\lambda=(\lambda_1,\lambda_2,\dots)$ and cells are in the Young diagram.
The symplectic content of cell $(i,j)$ of $\lambda$ is defined by
$$c_{sp}(i,j)=\...
- 37.8k
5
votes
1
answer
266
views
In search of a combinatorial proof on particular set of partitions
Given a partition $\lambda=(\lambda_1\geq\lambda_2\geq\dots)$, denote the conjugate partition by $\lambda'=(\lambda_1'\geq\lambda_2'\geq\dots)$. For example, if $\lambda=(4,2,2)$ then $\lambda'=(3,3,1,...
- 37.8k
4
votes
0
answers
176
views
Reference request: ranks of quadrics containing Segre variety
Let $U_{n}$ be a vector space of dimension $n$.
From plethysm we obtain an isomorphism
$$\mathrm{Ker}(S^2(U_4\otimes U_3)^{\vee}\stackrel{p}{\rightarrow} S^2U_4^{\vee}\otimes S^2 U_3^{\vee})\simeq \...
- 51