All Questions
Tagged with gr.group-theory rt.representation-theory
928
questions
7
votes
0
answers
130
views
An identity for characters of the symmetric group
I am looking for a reference for the identity
$$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$
for the irreducible characters of the ...
- 1,514
12
votes
2
answers
578
views
The mysterious significance of local subgroups in finite group theory
EDIT 21/12: Even if there are no conclusive answers to these questions, I would very much like to know if anyone has noted and attempted to explain the mysterious significance of local subgroups: are ...
- 917
11
votes
2
answers
693
views
Generalisation of abelianisation using representation theory?
This question didn't receive an answer on MathSE, so I'm asking it here.
Let $G$ be a finite group and let $k$ be an algebraically closed field of characteristic zero. Every $1$-dimensional ...
- 251
5
votes
1
answer
151
views
What is the effect of tensoring with the sign representation on irreducible modules for a Type D Weyl group?
Given an integer $n \geq 4$, consider the Weyl groups $W(B_n)$ and $W(D_n)$ of types $B_n$ and $D_n$, respectively, and consider their representation theory over the field of complex numbers.
The Weyl ...
- 2,080
2
votes
1
answer
91
views
When are these irreducible complex representations for the Type D Weyl group self-dual?
Given an integer $n \geq 4$, consider the Weyl groups $W(B_n)$ and $W(D_n)$ of types $B_n$ and $D_n$, respectively, and consider their representation theory over the field of complex numbers.
The Weyl ...
- 2,080
3
votes
0
answers
175
views
Commutator of a group element on a vector space
I am reading a paper in which the author has a group $G$ admitting a representation $\pi$ on a vector space $V$. Let $g \in G$ be a group element. The author refers to a so-called "commutator of $...
- 131
8
votes
0
answers
366
views
Is this set, defined in terms of an irreducible representation, closed under inverses?
$\DeclareMathOperator\GL{GL}$Let $ H $ be an irreducible finite subgroup of $ \GL(n,\mathbb{C}) $. Define $ N^r(H) $ inductively by
$$
N^{r+1}(H)=\{ g \in \GL(n,\mathbb{C}): g H g^{-1} \subset N^r(H) \...
- 3,429
23
votes
2
answers
886
views
Solvable groups that are linear over $\mathbb{C}$ but not over $\mathbb{Q}$?
Let $\Gamma$ be a finitely generated finitely presented virtually solvable group. Assume that there exists an injective representation $\Gamma \to \operatorname{GL}_n(\mathbb{C})$. Is it true that ...
- 1,115
8
votes
1
answer
443
views
Representation theory of $\mathrm{GL}_n(\mathbb{Z})$
I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
- 81
7
votes
1
answer
179
views
Representations of the symmetric group with image in a given subgroup of $\operatorname{GL}_m$
Let $S_n$ be the symmetric group on $n$ elements. The irreducible representations of $S_n$ are parametrised by partitions $\lambda$ of $n$ and are defined already over the integers $\mathbb Z$.
Let $\...
- 291
10
votes
1
answer
209
views
For which finite groups $G$ is $M_n(\mathbb{Q}(\zeta))$ a factor of $\mathbb{Q}[G]$?
I am cross-posting this question from my MSE post here, in case someone here can answer it.
For a finite group $G$, the rational group ring $\mathbb{Q}[G]$ has a Wedderburn decomposition:
$$
\mathbb{Q}...
- 103
1
vote
0
answers
41
views
Do parabolic/Levi pairs admit dynamic descriptions over disconnected base?
In Gille, Thm. 7.3.1, it is proven that given a reductive group scheme $G \to S$ over a connected base $S$, every parabolic-Levi pair $(P, L)$ over $S$ admits a dynamic description, i.e. is of the ...
- 535
5
votes
2
answers
456
views
Non-trivial extension of representations have same central character
Let $\pi_1, \pi_2$ be two irreducible complex representations of $G=\mathrm{GL}_2(\mathbb{Q}_p)$ and assume that there exists a non-split extension $0\to\pi_1\to \pi\to\pi_2\to0$ of representations ...
user515481
3
votes
1
answer
175
views
What is the minimum possible k-rank of a quasi-split reductive group over a field?
It is not possible for a quasi-split reductive group $G$ over a field $k$ to be anisotropic (unless it is solvable, hence its connected component is a torus). Indeed, there exists a proper $k$-...
- 535
2
votes
0
answers
127
views
$p$-adic Banach group algebra
Let $G$ be a discrete group. Consider the Banach $\mathbb{Z}_p$-algebra: $$c_0(G, \mathbb{Z}_p) = \{ F : G \to \mathbb{Z}_p \mid \lim_{g \to \infty} |F(g)|_p = 0 \}$$ with the product given by the ...
- 1,117
6
votes
1
answer
398
views
Largest group table with all real irrep dimensions different
Take for example the two groups $T$ and $I$. (See character tables - unfortunately chemists -like me- and mathematicians use different notation.) As you see, $T$ has three real irreps, and their ...
- 4,651
1
vote
1
answer
194
views
Conditions of P for existence of orthogonal matrix Q and permutation matrix U satisfying QP = PU
Question: Let $P\in \mathbb{R}^{d\times n}$ be a $d$-rank real matrix and $PP^T = c I_d$ with a certain constant $c > 0$. Under what additional conditions of $P$ does there exist an orthogonal ...
- 187
9
votes
1
answer
270
views
A question related to Jordan's theorem on subgroups of $\mathrm{GL}_n(\mathbb{C})$
$\newcommand{\C}{\mathbb{C}}$
$\newcommand{\mr}{\mathrm}$
For any positive integer $n$, let $f(n)$ be the minimal integer with the following
property:
For any finite subgroup $G < \mr{GL}_n(\C)$ ...
- 10.5k
4
votes
0
answers
209
views
Map $\operatorname{Sym}^{mp}(V^*) \longrightarrow K^{q}$ defined by $q$ points in $\operatorname{Sym}^p(V)$
EDIT : I have edited the question and made it more specific with respect to the kind of answer I expect.
Let $V$ be a finite dimensional $K$-vector space and let $x_1, \dotsc, x_q \in V$ be $q$ points,...
- 7,100
3
votes
0
answers
82
views
When can we lift transitivity of an action from geometric points to a flat cover?
Let $G$ a nice group scheme (say, over $S$), $X$ a smooth $G$-scheme over $S$, that is, $\pi : X \to S$ a smooth, $G$-invariant morphism. Assume that the action is transitive on algebraically closed ...
- 535
6
votes
0
answers
144
views
Algorithmic representation of the Spin (and Pin) group [duplicate]
Performing algorithmic computations in $\mathit{SO}_n(\mathbb{R})$ or $\mathit{O}_n(\mathbb{R})$ is easy: its elements are represented by $n\times n$ orthogonal matrices of reals so, assuming we have ...
- 28.7k
2
votes
0
answers
77
views
Simple modules and trivial source modules
Let $(K,\mathcal{O},k)$ be a large enough $p$-modular system.
In this context, I would like to ask what is known about the following question:
when are simple $kG$-modules trivial source modules?
So ...
- 1,685
2
votes
0
answers
129
views
Zero divisors in the extra-special group algebra $\mathbb{R}[2^{1+6}_+]$
Can you characterize the unit-group of the real group-algebra of the extraspecial plus-type 2-group of order 128? (That is $\mathbb{R}[2_+^{1+6}]$ using Conway's notation.)
(Please choose any irrep ...
- 21
16
votes
1
answer
372
views
Is there a relationship between Broué's abelian defect group conjecture and Alperin's weight conjecture?
Let $G$ be a finite group, let $k$ be a large enough field of characteristic $p>0$. Let $p\mid |G|$.
Broué's abelian defect group conjecture states the following:
Let $B$ be a block of $kG$ with
...
- 1,685
0
votes
0
answers
110
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,407
1
vote
0
answers
74
views
$p$-modular splitting systems and the characteristic of the ring $\mathcal{O}$
Let $k=\overline{k}$ be a field of characteristic $p$.
Let $(K,\mathcal{O},k)$ be a $p$-modular system.
Let both $k$ and $K$ be splitting fields for $G$ and its subgroups.
The ring $\mathcal{O}$ can ...
- 311
5
votes
1
answer
260
views
Extension of base field for modules of groups and cohomology [duplicate]
Let $G$ be a group and let $K/k$ be a field extension. Suppose that $V$ is a $kG$-module, and let $V_K = K \otimes_k V$ be the $KG$-module given by changing the base field.
Is it true that $H^n(G,V_K) ...
- 211
2
votes
0
answers
62
views
Are the integer points of a simple linear algebraic group 2-generated?
Set Up:
Let $ K $ be a totally real number field. Let $ \mathcal{O}_K $ be the ring of integers of $ K $. Let $ G $ be a simple linear algebraic group. Suppose that $ G(\mathbb{R}) $ is a compact Lie ...
- 3,429
4
votes
2
answers
440
views
When are finite-dimensional representations on Hilbert spaces completely reducible?
Let $G$ be a group and $\pi$ be a finite-dimensional (not necessarily unitary) representation of $G$ on a complex Hilbert space $H$. We shall say that $\pi$ is completely reducible if there exists a ...
- 265
1
vote
0
answers
90
views
Constructing tensor structures for representations over group schemes
Let $A$ be an algebra over a field $k$. Let's say a tensor structure for modules over $A$ is any functorial assignment of an $A$-module structure to $M\otimes_kM'$ for $A$-modules $M, M'$. A good way ...
- 128
0
votes
0
answers
65
views
Is a Lagrangian subgroup of a metric group isomorphic to its quotient?
A metric group is a finite abelian group $G$ with a quadratic function
$$q:G\rightarrow \mathbb R/\mathbb Z\;,$$
that is,
$$M(a,b):= q(a+b)-q(a)-q(b)$$
is bilinear in $a$ and $b$ [edit: and non-...
- 2,839
6
votes
1
answer
272
views
Which finite simple groups are rational-relative-real?
A finite group $G$ is called rational if every element $g \in G$ is conjugate to all of its primitive powers $g^a, a \in (\mathbb{Z}/\operatorname{order}(g))^\times$.
Analogously, I'll call $G$ real ...
- 52.2k
7
votes
1
answer
287
views
Easy example of a non-symmetric braiding of $\operatorname{Rep}(G)$?
What is the smallest group $G$ such that $\operatorname{Rep}(G)$ has a non-symmetric braiding (or just an easy example)?
I seem to remember a result classifying all universal $R$-matrices of $\mathbb ...
- 301
6
votes
0
answers
217
views
Group homomorphism from $\mathrm{GL}_p$ to $\mathrm{SL}_p$ in characteristic $p$
If $k$ is a commutative field of characteristic $p>0$, then the map
$$ \theta \colon \mathrm{GL}_p(k) \to \mathrm{SL}_p(k) \colon A = (a_{ij}) \mapsto (\det A)^{-1} (a_{ij}^p) $$
is a group ...
- 6,454
11
votes
1
answer
152
views
Are all indecomposable $\mathbb{Z}_+$-modules over the character ring of a group, character rings of a subgroup?
A $\mathbb Z_+$-algebra is an algebra $A$ over $\mathbb C$ with given basis $\{v_i\}$ such that
$$v_iv_j=\sum_k n_{ijk}v_k,\hspace{10mm}n_{ijk}\in\mathbb Z_{\geq0}.$$
An example of such an object is ...
- 301
6
votes
1
answer
303
views
Do doubly-transitive actions give rise to indecomposable representations for infinite groups?
This is a follow-up to this question.
Let $G$ be a group acting doubly-transitively on a set $X$. Then the vector space $V_X$ of functions $f\colon X\to\mathbb C$ with finite support such that $\sum_{...
- 1,547
9
votes
1
answer
506
views
Do doubly-transitive actions give rise to irreducible representations for infinite groups?
Let $G$ be a group acting doubly-transitively on a set $X$. Then the vector space $V_X$ of functions $f\colon X\to\mathbb C$ with finite support such that $\sum_{x\in X}f(x)=0$ carries an action of $G$...
- 1,547
4
votes
2
answers
355
views
Splitting field for $\mathrm{GL}(2,p)$ - reference request
It seems to me from a quick glance at several sources describing the complex and modular irreducible representations of $\mathrm{GL}(2,p)$ that any field $K$ containing a primitive $(p-1)$-root of ...
- 36.8k
1
vote
0
answers
157
views
Limit of groups with Kazhdan property (T)
Let $G_1 \le G_2 \le \cdots $ be countable groups with Kazhdan property (T). Let $G = \bigcup_i G_i$. Does it necessarily follow that $G$ has (T)?
This seems false but I cannot find a counterexample.
- 119
1
vote
1
answer
84
views
The automorphism group of $2^{2n}{:}Sp_{2n}(2)$
Let $G=2^{2n}{:}Sp_{2n}(2)$ be the split extension, where the symplectic group $Sp_{2n}(2)$ acts naturally on the vector space $2^{2n}$. With the aid of GAP it turns out that the automorphism group $\...
- 49
7
votes
2
answers
153
views
Examples of permutation $\mathbb{Z}G$-modules which admit non-isomorphic permutation bases?
It is well-known that for a finite group $G$ and field $k$ of characteristic 0, the linearization morphism $B(G) \to R_k(G)$ has in most cases nontrivial kernel, and this can be used to find ...
- 113
7
votes
1
answer
397
views
Do rational group algebras have an outer automorphism?
In the article "Automorphism groups of simple algebras and group algebras" (1978), Janusz conjectures the following:
The group algebra $\mathbb{Q} G$ for a non-trivial finite group has an ...
- 25.4k
4
votes
0
answers
149
views
Bounded cohomology and unitary representations
On page 9 of Nicolas Monod's very nice ICM report "An invitation to bounded cohomology" (https://egg.epfl.ch/~nmonod/articles/icm.pdf), he mentions that bounded cohomology may be related to ...
2
votes
2
answers
238
views
Zariski closure of the image of an induced representation
Let $G$ be a finitely generated discrete group, $H\le G$ a subgroup of finite index $d$, and let $\rho : H\rightarrow \operatorname{GL}(n,\mathbb{C})$ be a representation.
Let $\tilde{\rho} := \...
- 6,567
0
votes
0
answers
99
views
Comodules category
Let $G$ be an abstract group, under which conditions we may have equivalent (resp. isomorphic) categories $Mod_{G}$ and $Comod_{R(G)}$, of $G-$modules and $R(G)-$comodules, where, $R(G)$ stands for ...
- 29
1
vote
0
answers
198
views
About the question "Tannaka–Krein duality"
I saw this post recently: Tannaka–Krein duality
I have this question please: in the following which I report here:
The problem is with surjectivity: let us denote $\mathcal{G}:=\mathcal{G}(\mathcal{R}...
- 29
3
votes
1
answer
210
views
Irreducible unitary representation of PSL(2,Z)
Do we already know the classification of the finite-dimensional irreducible unitary representations of the modular group $PSL(2,\mathbb{Z})=\mathbb{Z}/2*\mathbb{Z}/3$?
I'm particularly interested in ...
- 531
4
votes
1
answer
159
views
Finding a primitive idempotent for an irreducible character in group algebras
Let $G$ be a finite group and $KG$ its group algebra for a field $K$.
Let $e$ be an idempotent of $KG$, then the character $\xi_e$ of the module $KG e$ is given by $\xi_e(h)=|C_G(h)| \sum\limits_{g \...
- 25.4k
1
vote
1
answer
257
views
Quaternion representation and Haar measure of $SU(3)$ [closed]
Do we have easily and practically useful quaternion representation for $SU(3)$ group element and for Haar measure?
Also, is $SU(2)$ really simplified in the quaternion base?
1
vote
0
answers
165
views
Irreducible module of finite simple groups
Let $G$ be a finite simple group and $p$ be a prime divisor of $|G|$.
Let $V$ be a nontrivial irreducible $\mathbb{F}_p[G]$ module.
I would like to understand the relation of $|V|$ and $|G|_p$ (the $p$...
- 385