**8**

votes

**1**answer

251 views

### Number of standard Young tableaux with fixed corner entry

For a partition $\lambda=(\lambda_1\geq \lambda_2\geq\ldots\geq \lambda_k)$ of $n$, let the set of standard Young tableau of shape $\lambda$ be denoted by $SYT(\lambda)$ with boxes at $(i,j)$ denoted ...

**2**

votes

**0**answers

26 views

### From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...

**1**

vote

**2**answers

166 views

### Can $T$ act trivial in a repn of SL$_2(\mathbb{Z}_N)$?

I am confronted with the following problem:
If $\rho : \text{SL}_2(\mathbb{Z}) \to \text{GL}_{\mathbb{C}}(V)$ is a finite dimensional representation such that $\text{ker}(\rho)$ contains the ...

**3**

votes

**0**answers

82 views

### Infinite series of determinants

I am interested in what is known about the following class of sums. For a sequence of matrices $A_i$ (which possibly have different size), I am wondering about examples and methods for evaluating sums ...

**1**

vote

**1**answer

72 views

### Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...

**3**

votes

**1**answer

172 views

### What is the group cohomology of the mapping class group of a surface

Let $MCG_g$ be the mapping class group of genus $g$ closed surface.
(Say $MCG_1=SL(2,Z)$).
I would like to know what is the group cohomology of $MCG_g$ with coefficients in Z, such as ...

**2**

votes

**1**answer

166 views

### Fourier series of functions on compact groups

Let $G$ be a compact, second countable, Hausdorff topological group with the normalized Haar measure $\mu$. From Peter-Weyl's theorem we now that for any $f\in \mathrm{L}^2(G)$ the Fourier series of ...

**6**

votes

**1**answer

278 views

### Heller operator without left adjoint?

Suppose given a noetherian ring $R$. On the stable category $R\text{-}\underline{\text{mod}} := R\text{-mod}/R\text{-proj}$, we have the Heller operator
$$
\Omega : R\text{-}\underline{\text{mod}} ...

**15**

votes

**2**answers

964 views

### Invariants for the exceptional complex simple Lie algebra $F_4$

This is an edited version of the original question taking into account the comments below by Bruce. The original formulation was imprecise.
Let $\mathfrak{g}$ denote a complex simple Lie algebra of ...

**0**

votes

**1**answer

97 views

### The number of irreducible projective characters with associated factor set of any finite group

Is the number of a set of irreducible pojective characters with associated factor set always strictly less than the number of the ordinary irreducible characters of a finite group G? If so, can you ...

**6**

votes

**2**answers

253 views

### Tensor products of two irreducible representations of reductive groups and their inclusions

Let $G$ be a reductive group and $\lambda$, $\mu$ and $\nu$ be dominant weights of $G$. Denote by $V_\lambda$ the irreducible representation of $G$ of highest weight $\lambda$. It seems to be true ...

**4**

votes

**1**answer

155 views

### Learning representation theory of real reductive lie groups

I am interested in any sources that can be helpful for learning the representation theory of real reductive groups.
I am currently reading Wallach book, but I feel that I don't understand the subject ...

**4**

votes

**5**answers

485 views

### A sum involving derivatives of Vandermonde

Consider the standard Vandermonde $V(x_1, \ldots, x_n) = \prod_{i < j} (x_i - x_j)$.
I am intersted in the calculation of the following expression for fixed $k$:
$$\sum_i (x_i)^k (d/dx_i)^k V(x_1 , ...

**7**

votes

**0**answers

229 views

### Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...

**0**

votes

**1**answer

265 views

### What is the current status of representations of $GL_n(F)$ (and other algebraic groups)?

What is the current status of representations of $GL_n(F)$ (and other algebraic groups)?
When $F$ is a local field, the representations of $GL_n(F)$ are classified by Bernstein and Zelevinsky in ...

**0**

votes

**2**answers

644 views

### On a technical fact used in the proof of density of smooth vectors in a representation

My question concerns a fact used in Knapp's Representation Theory of Semisimple Groups implicitly in the proof of Lemma 3.13, which is crucial for the proof of density of smooth vectors in a ...

**3**

votes

**1**answer

92 views

### Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...

**1**

vote

**1**answer

300 views

### finitely many algebraic representations

Is there a comlete discription of algebraic groups having only finitely many irreducible representations? ( giving some references would be very kind )

**2**

votes

**1**answer

236 views

### How to detect if a subgroup lands inside an orthogonal group?

Equivalently, my question may be phrased as, "Are there defining characteristics of representations of orthogonal (symmetric form-preserving) groups?"
Here I am working with a unitary representation ...

**3**

votes

**1**answer

335 views

### Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...

**1**

vote

**0**answers

124 views

### Cotangent bundle of symmetric space is symmetric space?

Let $G$ be a connected Lie group. Then a symmetric space for $G$ is a homogeneous space $G/H$ where the stabilizer $H$ of a typical point is an open subgroup of the fixed point set of an involution ...

**7**

votes

**0**answers

99 views

### Algebraic construction of the modular representation of $\mathrm{SL}_2(\hat{\mathbf Z})$

The answer to this question is probably to be found in the theory of automorphic forms, but (I don't know much about it and consequently) after some tries, I did not catch it. Thus I'd be grateful if ...

**9**

votes

**3**answers

421 views

### What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the ...

**5**

votes

**0**answers

190 views

### Characters and conjugacy classes [migrated]

This comes up in reading David Speyer's answer to this question. Given a finite group $G$ and two non-conjugate elements $x, y,$ how does one construct a unitary representation $\rho$ of $G$ such that ...

**1**

vote

**1**answer

126 views

### adjoint action of a Levi subalgebra

We work over an algebraically closed field of characteristic 0.
Let $\mathfrak{g}$ be a reductive Lie algebra and let $\mathfrak{p}\supset\mathfrak{m}$ be a parabolic subalgebra, respectively a Levi ...

**1**

vote

**0**answers

20 views

### About Blattner`s generating function in the holomorphic case

If $(\pi_\lambda, H_\lambda)$ is a holomorphic discrete series with Harish-Chandra parameter $\lambda$, it is known that $H_\lambda$ decomposes as K-module as $V_\Lambda \otimes S(p^+)$ where ...

**2**

votes

**2**answers

250 views

### Density of characters

Did Harish-Chandra prove that characters of irreducible representations of a $p$-adic reductive group $G$ span a dense subspace of the space of conjugation-invariant distributions on $G$? What is the ...

**1**

vote

**0**answers

64 views

### Decomposition of a representation of SU(N) into representations of SU(N-1)

Let $\omega_k$ be the highest weight of the $k$-th antisymmetric representation of $\mathfrak{su}(N)$. Consider an irreducible representation of $\mathfrak{su}(N)$, characterized by its highest ...

**16**

votes

**1**answer

908 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 ...

**1**

vote

**5**answers

376 views

### Character table of $S_7$

Is there any reference where I can find the character table of the symmetric group $S_7$? A simple search in google gave me a GAP program that computes the character table, but I don't understand the ...

**4**

votes

**2**answers

102 views

### Reduction of different RG lattices to kG modules

Every book on modular representation theory of finite groups introduces p-modular systems and describes how to reduce an ordinary representation $U$ to obtain one in characteristic p (call it ...

**7**

votes

**1**answer

355 views

### Permutation character of the symmetric group on subsets of certain size

The symmetric group $S_n$ acts on $[n]:=\{1,\ldots,n\}$, thereby inducing an action on the set $$\wp_k(n)=\{\: A\subseteq[n] \::\: \#A=k \:\}$$ of subsets of cardinality $k$, simply by $$(g,A)\mapsto ...

**9**

votes

**0**answers

268 views

### What's the status of Arthur's announced classification for GSp(4)?

In "Automorphic representations of GSp(4)" (2004) (see http://www.math.toronto.edu/arthur/), James Arthur announces a classification of discrete automorphic representations of GSp(4). There are no ...

**6**

votes

**3**answers

252 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 ...

**2**

votes

**2**answers

221 views

### Generalizations of Lie algebras

I often stumble over the term "Lie superalgebra" (= "Lie algebra with a $\mathbb{Z}_2$ grading"). Obvious question: What about $\mathbb{Z}_3$ grading (and so on)? Is a Lie algebra with $\mathbb{Z}_n$ ...

**1**

vote

**0**answers

102 views

### Cycles in Quivers and Path Algebras

I cannot find anything giving the algebra of a quiver with a single cycle on three or more vertices. In other words if your quiver consists of n vertices (n>2), and e_i is connected to e_{i+1} (taking ...

**10**

votes

**3**answers

1k views

### Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors:
Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...

**5**

votes

**1**answer

204 views

### In which fixed-point free representations is the sum of every 3 elements invertible?

A representation $\rho:G\to GL_k(\mathbb{F})$ is called fixed-point free if for every $1\neq g\in G$ and every $0\neq v\in \mathbb{F}^k$, $\rho(g)v\neq v$. Stated differently, it is a representation ...

**3**

votes

**2**answers

218 views

### The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector.
Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...

**19**

votes

**2**answers

1k views

### Current Status on Langlands Program

The Langlands Program was launched almost fifty years ago, and progress has been made gradually, much of it hard earned. Langlands himself wrote a survey on the functoriality conjecture in 1997, Where ...

**2**

votes

**1**answer

152 views

### What is the logarithmic derivative of an (intertwining) operator?

The constant term of the Eisenstein series (for an adele group $GL_2$, say) contains an intertwining operator, often written as $M(s)$. In the form given in Gelbart-Jacquet's Corvallis paper, for ...

**4**

votes

**2**answers

239 views

### Real representation of group of odd order

Let $G$ be a finite group of odd order. Suppose that $G$ has a real 4-dimensional faithful representation. Is it true that $G$ should be abelian in this case?

**2**

votes

**1**answer

86 views

### Rep of Non-Commutative Monoids

Let M be a non-commutative monoid. It is possible that all representation of M are one dimensional ??
(for groups the answer is negative. Take a non zero x=[a,b]. Take a representation where x does ...

**3**

votes

**2**answers

488 views

### Lie Theory: Included in normalizer of a maximal Torus

Hello People of Mathoverflow,
I am searching for a Theorem about Lie Theory:
Let $X_{l}(q)$ be a Group of Lie type, with Lie rank $l$ over the finite field with $q=r^{a}$ elements and $r$ is a ...

**8**

votes

**0**answers

117 views

### Hodge Decompositions and Gamma Factors of Hasse--Weil L-Functions

Let $X$ be a projective variety over a number field $K$. If $\mathfrak{p}\unlhd\mathcal{O}_K$ is a prime ideal we can regard the Euler factor of its $m$th Hasse-Weil $L$-Function at $\mathfrak{p}$ as ...

**5**

votes

**1**answer

163 views

### Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$.
Assume further there exists a ...

**7**

votes

**1**answer

142 views

### Complexity of rational $\mathrm{GL}_{n(r)}$-modules

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G=\mathrm{GL}_n(k)$ for some natural number $n$. For any integer $r\ge 1$, let $G_{(r)}$ denote the $r$th Frobenius ...

**1**

vote

**1**answer

150 views

### labeling state vectors in representation space of a simple lie algebra

Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number
of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation ...

**15**

votes

**1**answer

456 views

### Conjectural identities for Young symmetrizers and Young-Jucys-Murphy elements

The following questions I have found in my own notes from about 3 years ago. Unfortunately, I lost much of the context; I believe I made these conjectures reading Okounkov-Vershik, arXiv:0503040v3, ...

**3**

votes

**3**answers

252 views

### What is the definition of being smooth for a function from a Lie group to a Fréchet space?

In representation theory of real groups, one is confronted with the notion of smoothness for functions defined on a Lie group with values in a Fréchet space (e.g. see Wallach's Real Reductive Groups ...