# Tagged Questions

**4**

votes

**2**answers

125 views

### Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 ...

**0**

votes

**0**answers

183 views

### PBW proof proposal

One version of the PBW theorem states:
$\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras.
I am curious if this is a possible proof for the PBW theorem, part is taken ...

**3**

votes

**0**answers

112 views

### Non-linearly isomorphic non-equivalent $G-$representations?

Let $G$ be an algebraic group (or a group scheme) over a field $\Bbbk$, and let $V$ be an algebraic $G-$representation (I mean, corresponding to a homomorphism of $\Bbbk-$group schemes $G\rightarrow ...

**3**

votes

**1**answer

227 views

### Arthur's refinement of parameters for unitary automorphic representations

In his work on the classification of automorphic representations of a group $G$, Arthur has conjectured that the parameterization of such representations involves a homomorphism $\rho : SL_2 \times ...

**3**

votes

**1**answer

286 views

### An identity for elementary symmetric functions

Trying to understand a result in a representation theoretical paper, I realized that it implies the following elementary identity for symmetric functions. My question is whether this identity is true, ...

**5**

votes

**3**answers

402 views

### Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...

**0**

votes

**1**answer

118 views

### Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group?
2) Given an invariant operator of a certain group, can I check if it is invariant under only ...

**0**

votes

**0**answers

78 views

### Action of the (special) orthogonal group on differential forms

I was told that the following facts are true. I am looking for a reference to them.
1) The action of $O(n,\mathbb{C})$ on $\wedge^l\mathbb{C}^n$ is irreducible for any $l$.
2) The action of ...

**2**

votes

**0**answers

156 views

### Highest weight spaces in arbitrary representations?

An isotypic (maybe reducible) representation V of GL(V) may be represented by its highest weight subspace HW(V). We have dim HW(V) equal to the multiplicity of the irreducible representation inside V ...

**1**

vote

**0**answers

111 views

### Definition of 'Koszul Ring' (in BGS)

In the paper 'Koszul Duality Patterns in Representation Theory' by Beilinson et. al, they give the definition of a Koszul Ring:
A Koszul ring is a positively graded ring $A = \bigoplus_{j \geq 0} ...

**5**

votes

**1**answer

178 views

### Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...

**6**

votes

**2**answers

357 views

### Quasi-affineness of the base of a $\mathbb{G}_a$-torsor

Let $\mathbb{G}_a$ be the additive group over an algebraically closed field $k$ of any characteristic. Let $X \to Y$ be a $\mathbb{G}_a$-torsor of $k$-schemes (of finite type - in case that is ...

**0**

votes

**0**answers

64 views

### Determinant of an action and characters

In the paper of Ramanathan "Stable Principal Bundles on a Compact Riemann Surface", I read: ...where $\mu$ is the determinant of the (adjoint) action of $P$ on ...

**6**

votes

**4**answers

617 views

### A question on non-archimedian Fourier transform

Let $M(n)$ be the vector space of $n\times n$ matrices over a local non-archimedian field $K$.
Let $\mathcal S$ denote the space of locally constant compactly supported functions
on $M(n)$. Similarly, ...

**2**

votes

**0**answers

63 views

### nonvanishing of global theta lifting from U(1) to U(1?)

I understanding nonvanishing of theta lifting, either global or local, is a difficult and open problem. But I wanna know if there is an answer for the following simplest case.
Let $E/F$ be a ...

**1**

vote

**1**answer

133 views

### Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?

**22**

votes

**3**answers

761 views

### What's the state of affairs concerning the identification between quantum group reps at root of unity, and positive energy affine Lie algebra reps?

In his paper [1], Finkelberg used Kazhdan-Lusztig's massive work [4,5,6,7,8] to prove that $Rep^{ss}(U_q\mathfrak g)$ (the semisimplification of the category of finite dimensional reps of ...

**0**

votes

**3**answers

147 views

### Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...

**1**

vote

**0**answers

115 views

### Representation of Permutation group: What is the isormorphism between the equivalent descriptions, (1)using schur functions and (2)abstract tensors

I assume that the two ways of describing the representation of the permutation group using abstract tensors (perhaps more naive but widely used in physics) and schur functions are equivalent. If ...

**3**

votes

**1**answer

167 views

### Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...

**2**

votes

**3**answers

305 views

### Is the reduced plethysm (restricted to 2-columns in Young tableaux) of this Schur funtion known $\mathbb S_{3^1}(\mathbb S_{1^p})$?

I am working on a physical problem, where I need to compute the "reduced plethysm" that is all the irreducibles characterised by the Young tableaux of 2 columns or less. The plethysm problem I want to ...

**4**

votes

**2**answers

186 views

### Serre functor of a subcategory (in particular parabolic category O)

For an additive category $\mathcal C$ there is the notion of a Serre functor on $\mathcal C$, i.e. a an autoequivalence $S$ of $C$ such that there exist isomorphisms
$$Hom(A, S(B)) \cong Hom(B, A)^*$$
...

**3**

votes

**1**answer

112 views

### Inclusion of copies of an irrep as orthogonal subspaces of an induced representation

Suppose we have a finite group $G$ with subgroup $H$, a representation $\rho_V$ of $H$ on a finite-dimensional vector space $V$, and an $H$-invariant inner product on $V$:
$$\forall x,y\in V, h\in ...

**3**

votes

**1**answer

253 views

### A Zero-Multiplicity Problem Related to Foulkes' Conjecture

I'm a combinatorialist that is interested in estimating multiplicities of irreps of $1^{S_{kn}}_{S_k \wr S_n}$ (the action of symmetric group on uniform partitions). I'm aware of the difficulty (or ...

**6**

votes

**0**answers

177 views

### mod $p$ Jacquet-Langlands correspondence

Let $F$ be a local field of characteristic $0$. Let $D$ be division algebra over $F$ of dimension $n^2$. The construction of irreducible complex representations of $D^*$ is known by Howe, Zink, and ...

**6**

votes

**2**answers

226 views

### Whittaker models for $GL_n$ and Fourier coefficients

Let $G$ be a compact abelian group. Then we know, because of the Peter-Weyl theorem, that $L^2(G)$ decomposes as a Hilbert space direct sum of 1 dimensional representations of $G$.
Let $\mathbb{A}$ ...

**9**

votes

**1**answer

265 views

### Representation of finite groups in a compact Lie group

Let $H$ be a finite $p$-group, and let $G$ be a compact connected Lie group. Then
it is well-known that $[BH,BG]\cong Rep(H,G)$, where $BH$ and $BG$ are classifying spaces and $Rep(H,G)$ is the set ...

**6**

votes

**2**answers

284 views

### Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background:
There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...

**4**

votes

**1**answer

111 views

### $C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to
this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...

**7**

votes

**1**answer

276 views

### If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?

Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a finite-dimensional topological ...

**2**

votes

**0**answers

79 views

### $G$-invariant part of products of determinants of minors

Let $G = SL_n$; then for any tuple $\lambda$ such that $\sum \lambda_i = n$, define $f_\lambda(g)$ as the product of the determinants of successive minors of lengths $\lambda_i$ of $g$ (e.g. for ...

**12**

votes

**1**answer

286 views

### Hecke-module structure implicit in definition of automorphic forms in Borel-Jacquet's Corvallis article

Let $G$ be a connected reductive group over a number field $F$, $G_\infty=\prod_{v\mid\infty} G(F_v)$, $\mathbf{A}$ the adèles of $F$, $\mathbf{A}_f$ the finite adèles of $F$. Fix a maximal compact ...

**1**

vote

**0**answers

115 views

### References for crystal bases and Demazure modules in representation theory

I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...

**2**

votes

**2**answers

222 views

### Example of linearization for GIT

Take a vector space $V$ (finite dimensional, over the complex numbers), let $G=SL(V)$. The group $G$ acts on $\mathbb{P}V$ and we can linearize its action to an action on the line bundle ...

**8**

votes

**1**answer

194 views

### Integrals of representations over geodesics

Let $G$ be a compact, connected Lie group and $\rho$ any of its irreducible, unitary representations. If $\gamma:S^1\to G$ is an injective homomorphism (a periodic geodesic passing through the ...

**2**

votes

**1**answer

146 views

### Symmetric invariants of a Schur Module

Let $V\cong\mathbb C^n$ be a complex vector space of dimension $n$. Let $\lambda\in\mathbb Z^r$ be a generalized integer partition $\lambda_1\ge\cdots\ge\lambda_r$ with $r\le n$. Denote by $\mathbb ...

**17**

votes

**2**answers

536 views

### Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...

**-4**

votes

**1**answer

77 views

### How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$.
How to find matrix representations of the elements such that:
boolean $\cup$ ...

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

**8**

votes

**0**answers

160 views

### Sum over growing Young tableaux

Let $\lambda_0,\lambda_1,\lambda_2,\lambda_3,\ldots$ be a sequence of Young diagrams, such that each successive diagram is obtained from the prior by the addition of one box (don't forget that the row ...

**9**

votes

**1**answer

455 views

### Vector bundles, Higgs bundles and the Langlands program

This question is somewhat vaguely structured. But, I hope someone can make it more precise (or) it is indeed possible to answer it in the form that I am stating it.
Background : I recently chanced ...

**4**

votes

**0**answers

121 views

### Parshin's buildings for higher local fields

What is the status of the theory of buildings for higher local fields?
I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over ...

**1**

vote

**1**answer

76 views

### Is it necessary for $\pi:H\to U(\mathcal{H}_{\pi})$ to be a homomorphism in order for $\text{ind}_H^G\pi$ to be weakly continuous?

Suppose $G$ is a locally compact group and $H$ is an open subgroup for simplicity. Further suppose $\pi$ is a representation of $H$ on some Hilbert space $\mathcal{H}_{\pi}$, i.e. $\pi(h)$ is unitary ...

**3**

votes

**1**answer

111 views

### A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$.
I don't know how to obtain this ...

**4**

votes

**1**answer

227 views

### Calculation with weights of $E_6$

Question: Consider the complex simple Lie group $E_6$. Let $\lambda_1$ and $\lambda_6$ be the fundamental weights defining the $27$-dimensional representation $V$ and $V^*$, resp. Consider the complex ...

**2**

votes

**1**answer

158 views

### Fibers of the Bott-Samelson Resolution of Schubert Varieties

Is there an explicit (perhaps visual) description of the fibers of the Bott-Samelson Resolutions of Schubert Varieties? Let's fix $G$ to be $GL_n(\mathbb{C})$.
Also, how would the answer to the ...

**0**

votes

**0**answers

110 views

### Non-semisimple Lie algebra tensors

Let $\mathfrak{L}$ be a non-semisimple Lie algebra. Let $T_i$ be its generators. As usual, define the structure constants $C_{ij}^k$ by $[T_i,T_j]=C_{ij}^kT_k$ and the metric tensor $g_{jm}$ by ...

**8**

votes

**0**answers

146 views

### Representations of orthogonal groups vs representations of reflection groups

Let $V$ be a finite dimensional inner product space and $O(V)$ the orthogonal group of $V$.
Let $G$ be a (say, finite) reflection group on $V$, regarded as a subgroup of $O(V)$ ($G< O(V)$.) Let
us ...

**6**

votes

**1**answer

172 views

### Higman's Criterion

Higman's Criterion is a fundamental result in the representation theory of a finite group $G$ over a field $k$ of characteristic $p>0$. One version is the following (I hope the notation is standard ...

**2**

votes

**1**answer

497 views

### 1D TQFT in Freed-Hopkins-Lurie-Teleman

In the first section of Freed-Hopkins-Lurie-Teleman they construct a one-dimensional Topological Quantum Field Theory.
$F(\circ_+)$ is a vector space and $F(\circ_-)$ is the dual.
$F(\circ-\circ)$ ...