# Tagged Questions

**0**

votes

**0**answers

21 views

### Weyl group representation

Let G be a reductive p-adic group.
Let W be a weyl group. if x,y in W
I want to know in which case we have x y x^-1 = y ?
in case if y(θ)=θ where θ is a subset of simple roots, and x is the longest ...

**5**

votes

**0**answers

106 views

### Conjugation of the quotient of $SL(n,\mathbb{C})$ by a finite subgroup

EDITED Let $G={SL}_{n,{\mathbb{C}}}$, the special linear group over ${\mathbb{C}}$.
Let $H\subset G$ be a finite subgroup.
Set $X=G/H$ be the corresponding homogeneous space, it is a complex variety.
...

**0**

votes

**0**answers

58 views

### endomorphisms algebra of a real representation

Let $G$ be a finite group. Given a real irredcible representation of $G$, we know that its endomorphisms algebra is a division algbra and hence is the real, complex or quaternion algebra. Is there a ...

**5**

votes

**2**answers

268 views

### Expectation of trace of nth power of unitary matrices

I am trying to find the answer of
$$\int dU \ |Tr(U^m)|^2$$
where $m\in\mathbb{N}$ and $U$'s are unitary matrices in $\textit{U}(n)$ and $dU$ is a normalized Haar measure. In the case $m=1$, the ...

**15**

votes

**1**answer

246 views

### How to make the Capelli's identity less mysterious?

The formulation of the Capelli's identity is very elementary; it has important applications in invariant theory and representation theory, see http://en.wikipedia.org/wiki/Capelli%27s_identity
To ...

**2**

votes

**1**answer

134 views

### An expectation of the product of random unitaries

I want to find the answer of
$$\int dU \ U^m X \ U^{\dagger m}$$
Where $m\in\mathbb{N}$ and $U$'s are unitary matrices in $U(n)$ and $dU$ is a normalized Haar measure. $X$ is a given self-adjoint ...

**3**

votes

**3**answers

1k views

### Can every parabolic subgroup be conjugated to its opposite by an element of the Weyl group?

Given a minimal parabloic subgroup we know that conjugation by the longest element in the weyl group takes it to the opposite parabolic.
Can we do the same thing if we choose a standard parabolic ...

**2**

votes

**0**answers

34 views

### “Prime” fusion rings

Surely this concept is known! (But I don't recall seeing it - maybe under another name? But "prime" is the obvious name choice.)
Example. Open the Gepner/Kapustin paper at ...

**5**

votes

**2**answers

634 views

### Quotients in Sums of Rings

Suppose we are given a commutative ring R with unit-element. Now we have a composition of R as the direct product of two rings $R\cong R_1\times R_2$. It is now straight forward, that any ideal ...

**4**

votes

**0**answers

171 views

### An integral with respect to the Haar measure on a unitary group

Let $A,D\in \mathbb{C}^{n \times n}$ be diagonal matrices. I need to calculate
$$\int_{U(n)}\det{(A-HDH^\dagger)}\,\mathrm{d}H$$
where $dH$ is the unit invariant Haar measure on the group of unitary ...

**8**

votes

**4**answers

2k views

### Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ?
(Main case - complex numbers, comments on other cases are also welcome. "Given" ...

**1**

vote

**1**answer

85 views

### Isomorphisms of Positive and Negative Spinor Bundles

Here is an extract of the doctoral thesis of C. Lewis under the supervision of D. Joyce (https://people.maths.ox.ac.uk/joyce/theses/LewisDPhil.pdf, 1998):
2.6 Spin Bundles and the Dirac Operator
...

**0**

votes

**0**answers

83 views

### What is the spectrum of $L^1(G:H)$?

Let $H$ be a compact subgroup of a locally compact topological group $G$ and
$$ L^1(G:H)=\{f\in L^1(G): R_h f=f\;(a.e)\; \forall h \in H\}$$ and $\widehat{(G:H)}=\{\xi\in \hat{G}:\xi|_H=1\}$($\hat{G}$ ...

**4**

votes

**1**answer

175 views

### Continuous-piecewise-linear versus piecewise-linear

Some authors use the term "continuous piecewise-linear" where other authors use the shorter term "piecewise-linear" (with continuity tacit).
I'd be interested in people's thoughts about this ...

**5**

votes

**2**answers

288 views

### Identity for Power Series and Binomial Coefficients

This question concerns a combinatorial identity obeyed by power series coefficients. Throughout we let $[x^{M}]\{\phi(x)\}$ denote the coefficient of $x^{M}$ in a power series $\phi(x)$.
Let $k$ be ...

**2**

votes

**0**answers

105 views

### Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...

**2**

votes

**1**answer

76 views

### Is a matrix element of a norm continuous representation always a trigonometric polynomial?

I asked a similar question for the case of compact groups not long ago in math.stackexchange. Now I understand that the answer was "yes", and I want to modify that question. This is also related to my ...

**6**

votes

**1**answer

119 views

### Trigonometric polynomials on non-compact and non-abelian groups

I asked this initially in math.stackexchange, but it disappeared almost immediately, so I hope it will be proper to aks this here.
Hewitt and Ross define trigonometric polynomial on a locally compact ...

**4**

votes

**1**answer

311 views

+50

### Tannakian fundamental group of two explicit tensor categories

Let $K/k$ is a field extension and $G$ an affine group scheme over $K$. What are the Tannakian fundamental groups of these two $k$-tensor categories (with trivial fiber functors over $k$):
1. The ...

**2**

votes

**1**answer

143 views

### Rankin-Selberg convolution and product of degrees

As I'm kinda obsessed with the Selberg class and because of the general converse conjecture, I'm still trying to get a rough idea of what automorphic representations and their L-functions as well as ...

**2**

votes

**1**answer

122 views

### the number of indecomposable modules of finite groups over finite fields of a fixed dimension

I am interested in determining the the number of indecomposable modules of finite groups over finite fields of a fixed dimension. Specifically, I have the following conjecture:
Conjecture. Suppose we ...

**3**

votes

**1**answer

115 views

### Do the following two filtrations of the affine Grassmannian agree?

Let $H = L^{2}(S^{1},\mathbb{C}^{n})$, $H_{0}\subseteq H$ the subset of maps that extend holomorphically to the unit disc, and $H_{m} = z^{m}H_{0}$. Consider the affine Grassmannian for $GL_{n}$ in ...

**1**

vote

**0**answers

60 views

### research on the structure/properties of permutation matrix/table with $(i,j)th$ entry as $\pi_j\circ \pi_i^{-1}$

Is there any research on the structure/properties of permutation matrix/table with $(i,j)th$ entry as $\pi_j\circ \pi_i^{-1}$, where $\{\pi_1,\pi_2,...,\pi_{k!}\}=S_k$?
I know if we apply the ...

**4**

votes

**0**answers

103 views

### Global Affine Flag Variety and Affine Flag Variety

There is a construction of a global affine flag variety over $\mathbb{A}^1$ (or another curve) $Fl_{\mathbb{A}_1}$ such that each fiber above $\epsilon \neq 0$ is isomorphic to a direct product of the ...

**14**

votes

**1**answer

314 views

### Subquotients in the Verma filtration on Verma modules

Let $\lambda$ be a dominant integral weight of $\mathfrak g$, a finite-dimensional reductive Lie algebra over $\mathbb C$. Let $M(w\cdot \lambda)$ denote the Verma module with high weight $w\cdot ...

**16**

votes

**2**answers

1k 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

86 views

### Graph lifts and representation theory

Is there any connection known between the two?
One can naturally define lifts of graphs by groups like $\mathbb{Z}_k$ and hence I wonder if representation theoretic properties can be used to say ...

**3**

votes

**0**answers

94 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**2**

votes

**0**answers

51 views

### Mellin transform of Plancherel measure

Let $G$ be a reductive p-adic group with a chosen Haar measure $dg$. The Plancherel measure is the measure $\mu$ on the set of (tempered) irreducible representations of $G$ such that for any locally ...

**2**

votes

**1**answer

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

**16**

votes

**2**answers

761 views

### What is modular representation theory for groups good for?

I am an absolute beginner in modular representation theory of finite groups. I know some things in representation theory in characteristic zero. My questions are regarding the main goals of this part ...

**3**

votes

**1**answer

172 views

### Explicit Isomorphism between $Cl(8)$ and $\mathbb{R}(16)$

I am looking for a explicit isomorphism between $Cl(8)$ (Clifford algebra over $\mathbb{R}^8$ with standard Euclidean metric) and $\mathbb{R}(16)$ (algebra of $16\times 16$ matrices over ...

**8**

votes

**0**answers

159 views

### Littlewood-Richardson coefficients for Jack symmetric functions

Let $\Lambda$ be the algebra of symmetric functions over $\mathbb{Q}(\alpha)$.
We define a scalar product $\langle \cdot,\cdot\rangle_\alpha$ on $\Lambda$ by setting $\langle ...

**5**

votes

**1**answer

408 views

### exceptional cases in Kazhdan-Lusztig

The Kazhdan-Lusztig story doesn't apply to the four exceptional cases $(E_6)_1$, $(E_7)_1$, $(E_8)_1$, $(E_8)_2$ (see this earlier question of mine).
What's special about those cases?

**16**

votes

**1**answer

652 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, ...

**10**

votes

**1**answer

309 views

### Condition on a Hopf operad for tensor product in the base categoy to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...

**4**

votes

**0**answers

128 views

### Number of Irreducible Representations of $U_q(n)$ of Dimension $n$?

For quantum group $U_q(n)$, is it true that it has exactly two non-isomorphic irreducible corepresentations with dimension $n$, and that one is the dual of the other? I know result is in the Chapter ...

**1**

vote

**0**answers

73 views

### Is specht module the intersection of two induced modules?

I heard someone said( maybe Okonov) that specht module is the intersection of two induced modules, but I do not know why.The details of my question is as follows.
Let $\lambda\vdash n$ be a partiton, ...

**5**

votes

**2**answers

217 views

### Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$

This question follows up a question I asked on math.SE. This is a refinement and a reference request.
For what groups $G$ does there exist a $Z(G)$-extension of $\operatorname{Aut}G$ (call it ...

**1**

vote

**0**answers

78 views

### representation of $SO(p)\times SO(q)$ with $p,q$ odd

Assume $p,q$ odd. We denote by $\sigma_p$ the standard representation of $SO(p)$, that is the representation of $SO(p)$ acting on $\mathbf{R}^p$ as matrix. So is $\sigma_q$.
Take $K=SO(p)\times ...

**10**

votes

**1**answer

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

**5**

votes

**1**answer

159 views

### Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$

Let $G = SL_n(\mathbb{C})$, $B$ be a Borel subgroup, and $B^-$ be the opposite Borel.
Both the $B$ and $B^-$ orbits on the flag variety $G/B$ are indexed by the Weyl group $W$. Let $S_{w_1}$ and ...

**3**

votes

**1**answer

180 views

### Jones polynomial of tangles using Temperley-Lieb algbra?

The definition of the Jones polynomial of tangles (a la Reshetikhin and Turaev) uses the space of invariants for $U_q sl_2$ and R-matrices. It seems to me the same thing cane be done in terms of the ...

**7**

votes

**1**answer

951 views

### Is the Duflo polynomial conjecture open?

Let $G/K$ be a symmetric space. Let
$\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{p}$ be a Cartan decomposition,
with the odd part $\mathfrak{p}$. It is well known that the algebra of invariant
...

**1**

vote

**2**answers

101 views

### irreducibility of certain subspaces of the permutation group in quantum mechanics

Let $P_j$, $j = 1, \dotsc, N!$ be a set of unitary operators constituting a representation of the symmetric group $S_N$, acting in a sub-Hilbert space $V_0 \subseteq H$ (of a separable Hilbert space ...

**1**

vote

**2**answers

72 views

### Non-degenerate characters of the unitriangular group $U$

I made a previous post which was unclear and mistaken in fundamental aspects, so that it was actually more worthy making this new post than actually editing the previous one.
I'm studying the ...

**2**

votes

**1**answer

182 views

### highest weight representations inside tensor product

Let $G$ be a semisimple simply connected group over an algebraically closed field $k$ of characteristic zero, $B$ a Borel and $T$ a maximal torus.
Let $\lambda,\mu,\nu$ be dominant characters of $T$.
...

**4**

votes

**1**answer

148 views

### Is the restriction of a representation semisimple?

Let $F$ be local field of characteristic zero and $\pi$ be a irreducible admissible representation of $GL_n(F)$.
Let us consider its restriction to $GL_{n-1}(F)$. Then I want to know whether ...

**8**

votes

**1**answer

311 views

### Gabriel's theorem over a commutative ring

Is Gabriel's theorem on the indecomposables of representations of quivers of finite type true over a commutative ring, i.e. not necessarily a field?

**1**

vote

**0**answers

82 views

### Compatibility of two definitions of Koszul dual

Let $k$ be a field and $A$ a nonnegatively graded ring over $k$. Assume $A_0 = k.$ We have a bigrading on $\operatorname{Ext}(k,k)$ (one corresponding to homological degree, one corresponding to the ...