Representation theory studies (among else) representations of groups by finite matrices. The non-commutative analog of classical Fourier transforms.

learn more… | top users | synonyms (1)

30
votes
0answers
680 views

Application of Hilbert's basis theorem in representation theory

In Smalo: Degenerations of Representations of Associative Algebras, Milan J. Math., 2008 there is an application of Hilbert's basis theorem that I don't understand: Two orders are defined on the set ...
22
votes
0answers
243 views

Geometric & Intuitive Meaning of $SL(2,R)$, $SU(2)$, etc… & Representation Theory of Special Functions

Many special functions of mathematical physics can be understood from the point of view of the representation theory of lie groups. An example of the power of this viewpoint is given in my question ...
21
votes
0answers
438 views

Tate conjecture for Fermat varieties

I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture ...
18
votes
0answers
485 views

Subgroups as isotropy subgroups and regular orbits on tuples

Is there some natural or character-theoretic description of the minimum value of d such that G has a regular orbit on Ωd, where G is a finite group acting faithfully on a set Ω? Motivation: In ...
11
votes
0answers
427 views

Character theory of $2$-Frobenius groups.

Edit Summary: I've posted this on MO and received a partial answer there. Can anybody help me expand on this? Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and ...
10
votes
0answers
172 views

Subgroup structure of $\mathrm{SL}(2, p^2)$ and its irreducible characters

I am taking a course in representation theory of finite groups, and somehow I ended up getting assigned to write a report on subgroup structure and irreducible characters of $\mathrm{SL}(2,7)$ and ...
10
votes
0answers
304 views

cohomological proof of Maschke's theorem

I have been working on the following problem.. I have spent plenty of time trying to solve it myself. I am, however, unable to prove one small step in the argument. Beneath you can find my attempt. ...
8
votes
0answers
199 views

Representation theory of the general linear group over a finite prime field

The irreducible modules of $\operatorname{GL}_n(\mathbb C)$ over $\mathbb C$ are completely classified and well-understood via Schur-Weyl duality, the algebraic Peter-Weyl theorem and the entire ...
8
votes
0answers
81 views

Theorem about the subgroup of a Lie group fixed by an involution

When trying to do Lie-theoretic calculations on Lie groups (finding the Bruhat decomposition, etc.) I've often come across expositions that seem to be implicitly using a result something like the ...
8
votes
0answers
155 views

The division algebras arising in the Wedderburn decomposition of a finite group modulo its radical in characteristic $p$

The following question is probably straightforward for those who know. However, I am used to working either over splitting fields or in characteristic zero. Question. Let $G$ be a finite ...
8
votes
0answers
167 views

Weyl character formula for locally compact Lie groups.

I was just wondering if there exists such a formula. Specifically I need to calculate characters of irreducible representations of GSp$(4,\mathbb{C})$. I know how to do it for the compact Lie group ...
8
votes
0answers
117 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
8
votes
0answers
219 views

Generating the partners in a multi-dimensional irreducible representation.

I am trying to block diagonalize a Hermitian matrix using the irreducible representations of its symmetry group. Using the group's character table, it is straightforward to generate a set of ...
7
votes
0answers
173 views

Why the Steinberg idempotent is idempotent?

Consider the group $GL_n(\mathbb{F}_p)$. We have the following subgroups : -$\Sigma_n$ the symmetric group (permutation matrices) -$B_n$ the Borel subgroup (upper triangular matrices) -$U_n$ the ...
7
votes
0answers
136 views

Expression of basis vectors of permutation modules in different bases.

Write $[n]:=\{1,\ldots,n\}$. For a partition $\lambda\vdash n$, I will write $[\lambda]$ for the Specht module that corresponds to $\lambda$, i.e. the complex vector space spanned by all standard ...
7
votes
0answers
101 views

Clifford theory and induction

in the answer to this post there was the statement that a representation $\vartheta$ of a subgroup $\langle z\rangle$ can extend to a representation of the whole group $D_{2n}$. If I start the other ...
7
votes
0answers
242 views

Induced representation, Ind(Res(U))

I am reading a book of Fulton and Harris "Representation theory, a first course". Now it's all about representation theory of finite groups, and there is one exercise, which I can't solve: If $U$ is ...
6
votes
0answers
38 views

Relationship between exterior power of representation and variance?

I was reading the question: Symmetric and exterior power of representation regarding how to determine the character of an exterior power of a representation from the original representation. One of ...
6
votes
0answers
82 views

Duals of representations of affine group schemes, in particular $\mathrm{GL}_n$

Duals of representations of affine group schemes Let $R$ be a commutative ring. If $G$ is a group and $V$ is a dualizable i.e. finitely generated projective $R$-module on which $G$ acts, then it is ...
6
votes
0answers
332 views

A question about the article 'You can't hear the shape of a drum'

I have read the article http://www.math.upenn.edu/~kazdan/425S11/Drum-Gordon-Webb.pdf, , where Gordon and Webb describe in a simple a way the contruction of a pair of isospectral but non isometric ...
6
votes
0answers
84 views

Closed orbits of complete flags in $\mathbb{C}^n$

Let $B$ be a symmetric (or antisymmetric) non-degenerate bilinear form on $\mathbb{C}^n$ and let $G$ be the associated group of automorphisms $O(n)$ (resp. $Sp(n)$). What can we say about the ...
6
votes
0answers
63 views

Missing $\{2,p\}$-Hall subgroups in finite non-abelian simple groups

Can anybody tell me how to prove this theorem? Theorem: Suppose that $G$ is a finite non-abelian simple group. Then there exists an odd prime $p\in\pi(G)$ such that $G$ has no $\{2,p\}$-Hall ...
6
votes
0answers
91 views

Duality of $Z(G)$ and $[G,G]$ in representation?

This question and its many wonderful answers illustrate many faces of the duality of $Z(G)$ and $[G,G]$, the centre/ commutator duality of a group. I was thinking about its manifestation in group ...
6
votes
0answers
321 views

Young Tableaux as Matrices

These questions are motivated only by curiosity. Take a Young tableau of shape $(\lambda_1,\lambda_2,\ldots,\lambda_n)$, where $\lambda_1\geq\lambda_2\geq\ldots\geq \lambda_n)$. Is there any physical ...
6
votes
0answers
160 views

Generating function for characters of representations

One example of such a generating function that I know how to derive is for $SU(2)$, $\frac{1}{(1-tx)(1-\frac{t}{x})}$. The coefficient of $t^n$ in the above function is the character in the $n+1$ ...
6
votes
0answers
223 views

Invariant element in the tensor product of rectangular Specht modules?

Denote by $\mathfrak{S}_k$ the symmetric group on $k$ elements. Let $\lambda=(n^2\times n)=(n^2,\ldots,n^2)$ be a rectangular partition and $k=n^3$. Denote by $S_\lambda$ the Specht module ...
6
votes
0answers
631 views

Positive definite function zoo

A positive definite function $\varphi: G \rightarrow \mathbb{C}$ on a group $G$ is a function that arises as a coefficient of a unitary representation of $G$. For a definition and discussion of ...
5
votes
0answers
41 views

Why is $Ind^G_H(M)=Ind^{G/H}_{\{e\}}$?

I was looking at some representation theory notes and found the following statement: $Ind^G_H(V)=\mathbb{C}[G]\otimes_{\mathbb{C}[H]}V=\mathbb{C}[G/H]\otimes_\mathbb{C} V$. Now, this makes intuitive ...
5
votes
0answers
41 views

Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
5
votes
0answers
155 views

Given an irreducible representation, is there a *unique* unitary representation that it is equivalent to?

I might need help here in understanding my own question in places and please don't hesitate in asking for edits and clarifications. Background: A representation $\rho$ of a finite group $G$ is a ...
5
votes
0answers
54 views

Borel subalgebras inside the grassmannian

This is probably something standard and I just don't know where to look (so a reference would be just as appreciated as an answer), but... Let $\mathfrak{g}$ be a finite dimensional semisimple Lie ...
5
votes
0answers
216 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
5
votes
0answers
83 views

Counting the number of elements in a double coset

Let $G$ denote the groups of $n\times n$ invertible matrices and $H$ be the subgroup of invertible upper triangular matrices. For $n=2$, by row reduction, or equivalently LU decomposition, it is ...
5
votes
0answers
72 views

Making modular representation theory and cohomology 'compelling' and 'accesible'

I'm currently putting together an application for a dissertation completion fellowship offered through my university. A part of the application includes 500-1000 words describing my dissertation. ...
5
votes
0answers
110 views

— Cartan matrix for an exotic type of Lie algebra --

(1) Is there a notion of Cartan matrix for non-semisimple Lie algebra? For example, consider this Lie algebra: $$ [X_i, X_j] = f_{ij}{}^k X_k \qquad\qquad [X_i,Y^j] = - f_{ik}{}^j Y^k \qquad\qquad ...
5
votes
0answers
104 views

on the simple group $M_{11}$

As we know, the simple group $M_{11}$ is a important group,it has order $7920$, how can we prove the simple group of order $7920$ is isomorphic to $M_{11}$ ?
5
votes
0answers
412 views

Simultaneously (generalized) diagonalizable matrices

I heard the following theorem from our textbook: Given $A,B$ are two commuting ($AB=BA$) real normal matrices. There's some real orthogonal matrix $P$ such that $P^{-1}AP$, $P^{-1}BP$ are ...
5
votes
0answers
139 views

Can one reformulate tensor methods and young tableaux to account for spinor representations on $\operatorname{SO}(n)$?

Standard tensor methods and Young tableaux methods don't give you the spinor reps of $\operatorname{SO}(n)$. Is this because spinor representation are projective representations? If so, where does ...
5
votes
0answers
98 views

Deciding whether or not a class of modules is “big enough”

For the last few days I'm pondering the following question. The situation is this: $R$ is a commutative ring and $A$ a (noncommutative) $R$-algebra. I have a class $\mathcal{C}\subseteq\coprod_{S} ...
5
votes
0answers
145 views

Isomorphism of representations of the symmetric group

This might be a silly question, but I don't understand why the solution to the following problem implies the result: Let $A = \mathbb{C}S_d$ and let $c_{\lambda}$ denote the Young symmetrizer (with ...
5
votes
0answers
144 views

An algebraic algorithm for finding inverses in the group algebra

This is an extension to my earlier question. Is there a purely algebraic algorithm to find inverses in the group algebra? For example, in the group algebra $\mathbb{C}S_{4}$, how would one go about ...
5
votes
0answers
136 views

Tensor product decomposion in Lie algebras

As a chemist, I do this all the time...for symmetry groups. Which are finite, luckily :-) For knot theory purposes, I'd like to have a complete list of Lie group irreps R with the property that the ...
5
votes
0answers
104 views

How to prove “The maps factoring through an injective object are precisely the null-homotopic maps”

Thanks for your attention, I'm an undergraduate. I'm reading the book of Dieter Happel, Triangulated categories in the representation theory of finite dimensional algebras, I cannot prove this ...
4
votes
0answers
38 views

Basic application of Weyl-Character-Formula

(I did not find a solution of my problem in any forum so far. Sorry if it exists...) I am new to Lie-Algebras and representations and actually do not need the mathematical background... I need only ...
4
votes
0answers
44 views

If $|\psi(g)|=\psi(1)$ for $\varphi$ a faithful complex representation, why is $g\in Z(G)$?

If you have a faithful complex representation $\varphi\colon G\to GL_n(\mathbb{C})$ with character $\psi$, why does $|\psi(g)|=\psi(1)$ imply that $g$ is central? I could show that if ...
4
votes
0answers
27 views

Recipe to compute dimension and decompose product of $SO(N)$ group representations

As it is well known Young tableaux (YT) provide an efficient and very useful way to treat $SU(N)$ representation. This is principally based on these facts: There is a correspondence between irreps ...
4
votes
0answers
68 views

Expression of character of coset representation

Let $G$ be a finite group with subgroup $H$. Consider the set of all cosets $G/H$ and a corresponding transversal $\{x_1,...,x_m\}$. We now have a representation $\rho$ of $G$ on $\mathbb{C}[G/H]$: ...
4
votes
0answers
102 views

Identifying the cotangent bundle of the flag variety

Suppose $G$ is a Lie group (or I guess a linear algebraic group), $P \subset G$ a Lie subgroup with Lie algebras $\mathfrak{g}$ and $\mathfrak{p}$ respectively. In Chriss and Ginzburg's book ...
4
votes
0answers
46 views

Representation Theory over field of characteristic 2

How can we find a G-invariant form without getting something trivial by the usual averaging process?
4
votes
0answers
287 views

Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows: $$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...