Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.

learn more… | top users | synonyms (1)

8
votes
1answer
860 views

A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups. This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved: Theorem: $\mathcal{L}(H\subset G)$ ...
3
votes
3answers
358 views

Character fields and Clifford's theorem

Let $G$ be a finite group with normal subgroup $N$. Let $\chi$ be an irreducible complex character of $G$. Then Clifford's Theorem says that $\mathrm{res}^{G}_{N}\chi = e(\eta_1 + \cdots + \eta_r)$ ...
6
votes
1answer
99 views

Decomposition of an induced representation of $GL(2, q)$

Denote $G = GL(2, q) = GL_2(\mathbb{F}_q)$, $B$ its Borel subgroup of upper triangular matrices, $T$ its splitting torus of diagonal matrices. The object I am interested in is $Ind_B^G\rho$, where $\...
3
votes
0answers
83 views

How do sutured TQFT fit into the larger TQFT picture?

In https://arxiv.org/abs/0807.2431, Honda--Kazez--Matic introduce a definition of (1+1 dimensional) sutured TQFT; see also e.g. Mathews http://arxiv.org/abs/1006.5433 and Fink https://arxiv.org/abs/...
1
vote
0answers
43 views

Reference for $q^{\eta\sum_{i}t_{\lambda_{i}}\otimes t_{\mu_{i}}}$ part of an expression for universal $R$-matrix of a quantum group algebra

The Wikipedia entry for quantum groups states that a quantum group $U_{q}\left(\mathfrak{g}\right)$ has an infinite formal sum that plays the role of an $R$ matrix, which is the product of two factors,...
5
votes
1answer
107 views

Can a projective solvable group be transitive?

Let $p > 3$ be a prime number, and let $G \leq \mathrm{PGL}_2(\mathbb{F}_p)$ be a solvable subgroup. Is it possible that the action of $G$ on $\mathbb{P}^1(\mathbb{F}_p)$ is transitive?
5
votes
1answer
386 views

Reference request - Jacquet module and asymptotic of matrix coefficients

Hello, I would like to know some nice references about the relation between asymptotics of matrix coefficients of representations of reductive groups over local fields, and the pairing between the ...
7
votes
3answers
146 views

For which finite groups $G$ does the Wedderburn decomposition of $\mathbb{Q}[G]$ consist only of fields and division algebras?

Let $G$ be a finite group. Then the rational group algebra $\mathbb{Q}[G]$ has a wedderburn decomposition of the form $\prod_i M_{n_i}(D_i)$ where each $D_i$ is a division algebra. My question is: ...
9
votes
0answers
68 views

For which finite groups $G$ is every character a virtual permutation character?

Let $G$ be a finite group. A (complex) character $\chi$ of $G$ is said to be a virtual permutation character if it can be expressed as a $\mathbb{Z}$-linear combination of characters induced from the ...
2
votes
1answer
79 views

Examples of canonical bases

Let $A=(a_{ij})$ be a generalized Cartan matrix of order $n$ and $D=diag(d_1,\ldots,d_n)$ the diagonal matrix such that $DA$ is symmetric. Let $$E_{ij}=\sum_{r+s=1-a_{ij}} (-1)^r E_i^{(r)} E_j E_i^{(s)...
31
votes
2answers
1k views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
7
votes
1answer
296 views

Is the assignment of a root system to a complex semisimple Lie algebra functorial?

As described here, we have a category of root systems, where a morphism from a root system $\Phi$ in a Euclidean space $E$ to a root system $\Phi'$ in $E'$ is given by a linear map $f: E \to E'$ such ...
6
votes
0answers
125 views

$p$-adic representations of the fundamental group of a smooth proper curve over a finite field

This question is very general. Let $C$ be a smooth and proper curve over a finite field ${\bf F}_p$. Are there any general results or conjectures on continuous non abelian representations $$ \pi_1(C)\...
8
votes
2answers
176 views

An identity related to partitions into $n$ parts and Schur polynomials

While working with Schur polynomials I found what seems like a nice identity, and I wonder if it has a simple proof. Notation: Suppose $d,n\in\mathbb{N}$, and $\lambda =(\lambda_1,\dots,\lambda_n)$ ...
3
votes
1answer
213 views

No cuspidal character sheaves on GL(n)

We need a reference for the fact that there are no cuspidal character sheaves on $GL_n$ unless $n=1$. See page 11 of http://www.kurims.kyoto-u.ac.jp/~arakawa/Henderson_mgsctalk2.pdf.
1
vote
1answer
103 views

Cluster algebra structure on the coordinate ring of $Mat_3$

Let $Mat_3$ be the set of all 3 by 3 matrices. I have some questions on the cluster algebra structure on the coordinate ring of $Mat_3$. We use $\Delta_{j_1\ldots j_n}^{i_1\ldots i_n}$ to denote the ...
5
votes
1answer
234 views

Can the analytic arc of an irred. $\mathrm{SL}_2(\mathbb{C})$-character always be lifted to an analytic arc of an irred. representation?

Is there an example of an irreducible and boundary irreducible $3$-manifold $M$ with torus boundary and a non-abelian representation $\rho: \pi_1(M) \to \mathrm{SL}_2(\mathbb{C})$, a non-constant ...
1
vote
2answers
163 views

Maps between symmetric powers of the natural module for $SL_2 (k)$ in prime characteristic

Let $G=SL_2(k)$ considered as a linear algebraic group over an algebraically closed field of prime characteristic. Let $E$ be the natural module for $G$ and denote by $S^r (E)$ its $r-$th symmetric ...
9
votes
1answer
319 views

Understanding the purely formal part of the sheaf theoretic (cohomological) framework for representation theory

By now I have the impression that many statements in representation theory can be phrased a lot more elegantly using cohomological language. Therefore I'm trying to understand a bit better the sheaf ...
0
votes
0answers
36 views

Evaluation modules of $U_q(L(sl_2))$

Let $a \in \mathbb{C}^{\times}$, $r \in N$. Let $W = V_q(r)$ be the $r$-dimensional irreducible type 1 representation of $U_q(gl_2(\mathbb{C}))$. In the usual basis $\{v_0, \ldots, v_r\}$, the action ...
0
votes
0answers
44 views

Is it possible for a quantum group algebra $U_{q}\left(\mathfrak{g}\right)$ to have a diagonal universal $R$-matrix?

I am writing a research paper and have shown that in the special case when a quantum group algebra $U_{q}\left(\mathfrak{g}\right)$ with the quantum group parameter $q$ not a root of unity has a ...
1
vote
1answer
112 views

Reference request: $\chi^{\lambda'}(\sigma) = (-1)^{n-\ell(\sigma)} \chi^\lambda(\sigma),$ for characters of the symmetric group

I'm looking for a text I could cite that explicitly states the following result: for $\chi^\lambda$ the irreducible character of the symmetric group indexed by the partition $\lambda$, and for $\sigma ...
3
votes
0answers
71 views

Action of longest element of Weyl group on zero weight space

Let: $G$ be a real semisimple Lie group; $\rho$ be an irreducible representation of $G$ on a finite-dimensional real vector space; $A$ be a "Cartan subspace" of $G$ (a Lie subalgebra which is ...
8
votes
1answer
202 views

Restriction of irreducible unitary representation to normal subgroup of finite index

Let $G$ be a Lie group (or more generally a locally compact group), let $N$ be a closed and normal subgroup of $G$ of finite index. Let $H$ be an infinite dimensional complex Hilbert space, and let $\...
3
votes
0answers
174 views

Artin conjecture on L-functions

Artin conjecture on Artin $L$-functions asserts that the Artin $L$-function $L(\rho,s)$ of a non-trivial irreducible representation $\rho$ of the Galois group $\Gamma$ of a number field admits ...
4
votes
1answer
109 views

Projectives in the category of modular representations of Lie algebras

Let $\mathfrak{g}$ be a semi-simple Lie algebra (eg. $\mathfrak{g} = \mathfrak{sl}_n$), defined over an algebraically closed field $\textbf{k}$ with characteristic $p >> 0$. The center $Z(U\...
4
votes
1answer
154 views

Sum of Young symmetrisers of a given shape

Preliminaries and notation: Let $n\in \mathbb{Z}_{>0}$ and $\lambda=(\lambda_1,\lambda_2,\dots,\lambda_s)\vdash n$ be a partition. Given a Young diagram of shape $\lambda$, we can associate it ...
2
votes
0answers
120 views

Spectral decomposition on GL(n)

If $\Delta_1, \ldots, \Delta_{n-1}$ are a basis of the ring of commuting bi-$SL(n,R)$-invariant differential operators, $L_0^2=L_0^2(SL(n,Z)\backslash SL(n,R))$ is the space of cuspidal automorphic ...
3
votes
1answer
199 views

Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of order $r$, must we multiply the dimension by $r$? Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...
2
votes
1answer
110 views

“Nice” basis for highest-weight irreducible module of a simple Lie algebra

Let $\mathfrak{g}$ be a simple complex Lie algebra, $\mathfrak{h}$ a Cartan subalgebra, $\Phi \subset \mathfrak{h}^*$ the associated root system, $\Sigma = \{\sigma_i : i\in I\}$ a basis of simple ...
5
votes
1answer
116 views

Corepresentations of Tensor Products of Hopf Algebras

Given two cosemisimple Hopf algebras $H,G$ over ${\mathbb C}$, denote their usual (not braided) tensor product by $G \otimes H$. What conditions do we need to impose on the Hopf algebras to ensure ...
2
votes
0answers
155 views

Reference request: proofs of the theorems in the paper “On the representation of the group GL(n, K) where K is a local field”

In the paper On the representation of the group $GL(n, K)$ where $K$ is a local field by Gelfand and Kazhdan, it is said that the proofs of the theorems in the paper are published in some other papers....
4
votes
1answer
206 views

inductive construction of unipotent radicals

Consider a directed coxeter diagram $\vec{\Gamma}$, i.e. a finite graph where each edge is decorated with one of the integer weights $\big\{3,4,6\big\}$ and those edges with weights $4$ or $6$ are ...
2
votes
1answer
272 views

Any representation is a subrepresentation of a direct sum of the regular representation

I need a reference for the following statement: Let $G$ be a linear algebraic group over algebraically closed field $k.$ Let $V$ be a finite dimensional $G$-module. Then $V$ is subrepresentation of $...
1
vote
1answer
100 views

On an inequality about asymptotics of Whittaker functions

I'm reading Wallach's paper 'Asymptotic expansions of generalized matrix entries of representations of real reductive groups'(Lecture Notes in Math., 1024,287–369) and got confused by one statement ...
2
votes
1answer
98 views

When does an irreducible G-module admit an invariant quadratic form of signature (n,n+1)

Let $G$ be a connected real reductive Lie group and $V$ be a finite dimensional real irreducible $G$-module. When does $V$ admit an invariant non-degenerate quadratic form of signature $(n,n+1)$? I ...
1
vote
2answers
154 views

Antiholomorphic cusp forms of negative weight

Let $k\geq 2$ be an even integer and let $\Gamma=\Gamma_0(N)$. Let $f\in S_k(\Gamma)$. To $f$, one may associate an antiholomorphic cusp form of weight $k$ and level $\Gamma$ by defining $g(z):=f(-\...
3
votes
1answer
218 views

Irreducible representations containing simple actions of $\mathrm{SL}(2,\mathbb{C})$

Let $G$ be a complex semisimple Lie group and let $\rho: G \longrightarrow \mathrm{SL}(n,\mathbb{C})$ be a faithful irreducible representation of $G$ with $n \geq 3$. Suppose that $G$ contains a copy ...
4
votes
1answer
156 views

Reference for nonlinearity of covers of $\operatorname{SL}(2,\mathbb R)$

It is known that no nontrivial connected cover of $\operatorname{SL}(2,\mathbb R)$ admits a faithful finite dimensional linear representation (see, for example, page 143 in Fulton-Harris and Exercise ...
6
votes
2answers
245 views

Simple groups and irreducible characters of degree 3

I have posted this question on mathstack echange but did not get any answer. It mam trying my luck here. The only simple finite groups admitting an irreducible character of degree 3 are $\mathfrak{A}...
1
vote
0answers
114 views

Singular Locus of a Schubert variety

I am trying to compute the singular locus of the schubert variety $X_w$ in $G_{2,7}$ where $w=(4,7) \in I_{2,7}$. Following the notation in the book "The Grassmannian Variety: Geometric and ...
2
votes
0answers
79 views

Bounding Schur polynomials of a particular shape

Consider Schur polynomials $s_\lambda$ with $\lambda = (2m, m, m, \ldots, m, 0)$ and $\ell(\lambda) = n$ (that is, $\lambda$ has $n$ rows). Here $m \gg n$, which, for the sake of concreteness, let's ...
10
votes
1answer
278 views

Uncle of Witt algebra

A Witt algebra W is an infinite-dimensional Lie-algebra defined by the generator relations: W: $[L_{j},L_{k}]:=(j-k)\cdot L_{j+k}$ And my first thought was: What about the analogous algebra defined by ...
17
votes
2answers
423 views

When can a finite subgroup of $GL(2n,\mathbb{R})$ be viewed as a subgroup of $GL(n,\mathbb{C})$?

A finite group acting on a complex vector space of dimension $n$ can be seen as acting on a real vector space of dimension $2n$ just by forgetting the complex structure of the space. My question is, ...
5
votes
1answer
180 views

Bott-Samelson construction of a perfect Morse function on G/T

An undergraduate student of mine is interested in writing a "senior" thesis on the topology of Lie groups. Let $G$ be a simply connected compact Lie group and $T$ a maximal torus. One way of ...
4
votes
1answer
225 views

Symmetrization for hyperalgebras in positive characteristic

Let $G$ be an algebraic group over an algebraically closed field $k$ of arbitrary characteristic and let $U$ be the hyperalgebra of $G$. Recall that $U$ is defined as the subspace of the full linear ...
1
vote
1answer
149 views

A representation of Spin(9,1)

Let $Spin(9,1)$ denote the universal (double) cover of $SO(9,1)$. $Spin(9,1)$ acts linearly on $\mathbb{R}^{16}$ (see e.g. p.29 here https://arxiv.org/pdf/math/0105155v4.pdf ). Consider the induced ...
2
votes
1answer
67 views

Decomposition into irreducible components of a representation of $Spin(9)$

It is well known that the group $Spin(9)$ acts linearly on the vector space $\mathbb{R}^{16}$ (see for example "Spinors and calibrations" by R. Harvey). Consider the induced representation of $Spin(9)...
2
votes
3answers
426 views

Algebraic groups “generated” by a Lie algebra element

Here is a definition which I invented and which I would like to understand better. Let $ A $ be a complex affine algebraic group. Let $ X \in \mathfrak g $ be an element in its Lie algebra. We say ...
8
votes
1answer
263 views

$k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set $\...