# Tagged Questions

**13**

votes

**1**answer

563 views

### Reconstruction Conjecture holds for Directed Acyclic Graphs?

Wikipedia's article on the Reconstruction Conjecture mentions that the conjecture is false for digraphs, and refers to two papers by Stockmeyer. As far as I can see, none of the counter-examples in ...

**5**

votes

**2**answers

211 views

+50

### What is the universal property of quotienting a normaliser of the subgroup?

Let $G$ be a group, $H$ a subgroup and $X$ a $G$-set. By taking orbits $X/H = X \times_H 1$ or fixed points $X^H = \mathrm{Hom}_H(1,X)$ we obtain a set on which $H$ acts trivially, and we've destroyed ...

**13**

votes

**1**answer

250 views

### ULU Decomposition of a matrix

Let $g \in GL_n(\mathbb{F}_q)$. Is it true that we can always write $g = u_1lu_2$, where $u_1$ and $u_2$ are upper-triangular and $l$ is lower-triangular? Note that I'm not requiring that the matrices ...

**10**

votes

**1**answer

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

**1**

vote

**0**answers

43 views

### “Generators” for fusion rings

It's a rather obvious idea in the area of fusion rings, but I haven't found a
reference yet. Start with the usual rules for a rank n fusion ring
$X_i\bigotimes{X_j}=\Sigma_k{T_{ij}}^kX_k$
and ...

**2**

votes

**2**answers

212 views

### Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$.
How do we prove the closure relations between the cells, which ...

**5**

votes

**2**answers

383 views

### A generalisation of the theorem of Maschke

The theorem of Maschke tells us that every representation of a finite group is the direct sum of irreducible representation. More precisely:
Let $G$ be a finite group, $K$ a field whose ...

**3**

votes

**1**answer

304 views

### Reductive Lie Groups and Complexification

Let $G$ be a complex Lie group (not necessarily connected) with reductive Lie algebra $\frak{g}$. (We may assume that $G$ has finitely many connected components and is linear-algebraic.) Of course, ...

**0**

votes

**0**answers

53 views

### “Reciprocal” of Schoenberg's theorem

Schoenberg's theorem states that for a (say, countable group) $G$ and any real valued conditionally negative type function $\psi$ on $G$, the function $e^{-t\psi}$ is positive definite, for any ...

**10**

votes

**1**answer

556 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

**2**answers

152 views

### reference help indecomposable representations of SL(2,R)

Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$, $K=SO(2)$ the maximal compact subgroup of $SL_2(\mathbb{R})$. Then the classification of irreducible admissible ...

**7**

votes

**1**answer

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

**4**

votes

**2**answers

435 views

### Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v2 §19)

$\newcommand{\refone}{\textbf{(1)}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\tr}{\operatorname{Tr}} \newcommand{\kk}{\mathbf{k}}$ Let $\kk$ be a field. Let $A$ be a $\kk$-algebra which is ...

**0**

votes

**0**answers

116 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**5**

votes

**0**answers

179 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...

**0**

votes

**0**answers

59 views

### kostant partition function vs Haar measure

I am trying to understand the relationship between the Kostant partition function and the Haar measure. Both seem to involve the Vandermonde determinant:
$$ \Delta(\theta) = \prod_{i< j} ...

**10**

votes

**2**answers

327 views

### Is there an analogue of the Hive model for Littlewood-Richardson coefficients of types $B$, $C$ and $D$?

If $V_\lambda$, $V_\mu$ and $V_\nu$ are irreducible representations of $GL_n$, the Littlewood-Richardson coefficient $c_{\lambda\mu}^\nu$ denotes the multiplicity of $V_\nu$ in the direct sum ...

**6**

votes

**1**answer

139 views

### Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...

**7**

votes

**1**answer

165 views

### minimal energy of affine Lie algebra reps

Let $\mathfrak g$ be a simple Lie algebra.
Let $\widetilde{L\mathfrak g}$ be the universal central extension of $L\mathfrak g:=\mathfrak g[t,t^{-1}]$. Let $V_\lambda$ be a positive energy ...

**3**

votes

**1**answer

191 views

### Is there a nice description for the ring $\mathbb{C}[\mathfrak{g}]^G$, where $G$ is semisimple

Some context for my question. Given a vector space $V$, $\mathbb{C}[V]$ is defined to be the ring of polynomials on the vector space $V$. In other words, we can make the identification $\mathbb{C}[V] ...

**3**

votes

**1**answer

192 views

### Representation of GL(n, F_p) over F_p, for n small

The question is related to this post
Representation theory of the general linear group over a finite prime field
However, I am asking for more detailed references for n small, for example, for n=2, ...

**3**

votes

**2**answers

141 views

### counting points on nilpotent Springer fiber

Computing $p$-adic orbital integral I come to the following question. My ground field $k$ is the residue field of a non-arch local field, i.e. a finite field. I am happy to put any assumption on ...

**9**

votes

**5**answers

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

**0**

votes

**0**answers

69 views

### Explicit basis/weight vectors for irreducibles inside the plethysm $Sym^m(\bigwedge^p \mathbf(V))$

This is a follow up to this question about finding the multiplicities of irreducible representations restricted to Young diagrams of 2-columns or less, inside the plethysm $Sym^m(\bigwedge^p ...

**7**

votes

**2**answers

732 views

### Frobenius formula for the determinant

Is there a formula for the determinant of an induced representation, e.g. in the fashion of the Frobenius character formula.
I would hope for something:
$$ det \; Ind_H^G \rho(g) = (-1)^\alpha ...

**7**

votes

**1**answer

214 views

### $q$-Deformed Quillen–Suslin Theorem for the Quantum Vector Spaces?

Define n-quantum vector space to be the algebra
$$
{\mathbb C}_q^n := \mathbb{C}< x_i ~ | ~ i =1, \ldots, N>/<x_i x_j = q x_j x_i ~ | ~ i< j>.
$$
For $q=1$, we get the usual polynomial ...

**3**

votes

**1**answer

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

**2**

votes

**1**answer

138 views

### Relationship between Verma modules and delta functions

Reposting my question from math.stackexchange:
What is the relationship between Verma modules and delta functions? Here's the quote from Woit's notes on Lie theory ...

**4**

votes

**0**answers

133 views

### In general, are 'Young symmetrisers' given by Littlewood-Richardson 'Orthogonal projection Operators'?

Consider $V^{\otimes n}$ where $V$ is vector space and the representation of GL(V) acting in the usual way. Now if I consider tensor products or plethysms of irreducible spaces, this is not in general ...

**4**

votes

**1**answer

502 views

### Is there an algorithm known to decompose quiver representation?

We have a finite dimensional representation of a finite quiver over, say, the rationals. Is there an algorithm known to decompose this representation into its irreducible components?
A related ...

**1**

vote

**1**answer

107 views

### Given a locally nilpotent derivation over a field of characteristic 0 and a local slice, how is the ring homomorphism below defined?

Let $K$ be a field of characteristic 0 and $A$ a $K$-domain. Let $D:A\longrightarrow A$ be a locally nilpotent K-derivation, that is, $D(k)=0$ for all $k\in K$, $D(ab)=(Da)b+a(Db)$ for all $a,b\in A$, ...

**3**

votes

**1**answer

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

**15**

votes

**2**answers

875 views

### Motivation behind the construction of Deligne and Lusztig

If $G$ is a connected reductive group over a finite field $\mathbb{F}_q$ and $T$ is a maximal torus in $G$, the famous construction of Deligne and Lusztig (Annals of Math, 1976) associates ...

**3**

votes

**1**answer

196 views

### Base for symmetric group

Given symmetric group $S_n$, is it possible to find $k=\lceil\log_2S_n\rceil=\lceil\log_2n!\rceil$ members $\{\alpha_i\}_{i=1}^{k}$ in $S_n$ such that every member of $S_n$ can be written as ...

**5**

votes

**0**answers

118 views

### What is the relation between spherical principal series representations of a reductive Liegroup and Verma modules for its Lie algebra?

Here is an issue that thoroughly confuses me. I hope I can express it in a way that is clear cut enough for this site.
Let $G$ be a real reductive Lie group and $\mathfrak{g}$ be the complexification ...

**-1**

votes

**1**answer

143 views

### A 6j multiplicity paradox

I somewhat advanced since 6j symbols trouble when irrep multiplicity >1 (because I found the decades old papers where the Racah algebra is dealt with, e.g. "Coupling Coefficients and Tensor ...

**4**

votes

**1**answer

89 views

### How can the generators of subalgebra $\mathfrak g^{\sigma}$ of $\sigma$-stable elements be expressed through generators of Lie algebra $\mathfrak g$?

Let $\mathfrak g$ be the semisimple Lie algebra of type $D_{4}$. Let $\sigma$ be the 3-rd order automorphism of $\mathfrak g$ induced by the triality of $D_{4}$:
$$
...

**4**

votes

**2**answers

115 views

### perturbation of Invariant subspaces

Let $A,B$ be matrices in $GL(n,\mathbb{R})$ sufficiently close in the usual metric on matrices. Suppose $A$, resp., $B$ stabilizes a $k$-dimensional subspace $U$, resp., $V$ of $\mathbb{R}^n$, where ...

**0**

votes

**0**answers

54 views

### Computer software for manipulating loop groups or matrices with polynomial entries

I need to deal with loop groups $LG$ over the complex numbers $\mathbb{C}$, as well as related spaces like the affine Grassmannian and affine flag variety a lot.
In type A, the loop group consists ...

**1**

vote

**2**answers

158 views

### How to find the multiplicity of weight in a Verma module?

In particular, let $\mathfrak g$ be the semisimple Lie algebra of type $A_{2}$ et let $\alpha,\beta$ be its simple roots.
How can the multiplicity of weight $-2\alpha -3\beta$ be calculated in the ...

**15**

votes

**1**answer

232 views

### Weyl group actions on 0-weight spaces

For a complex simple Lie group G with a maximal torus T, we can take a highest-weight representation V of G and look at the 0-weight space, i.e. the subspace of V of elements invariant under T. This ...

**1**

vote

**0**answers

46 views

### abstract affine representations of semisimple Lie groups

in 1933 van der Waerden proved that any abstract unitary representation of a compact semisimple Lie group is necessarily continuous. Is any kind of similar result known for abstract affine ...

**1**

vote

**1**answer

147 views

### What is the cubic casimir element of sl_3?

I have been thinking about this for some time but have had no luck. I have found some sources that say higher Casimir elements can be obtained by generalizing the second order Casimir, which is ...

**3**

votes

**0**answers

80 views

### Newvectors in tensor product representations

Let $\pi_p$ and $\pi_p^\prime$ two smooth admissible irreducible complex representations of ${\rm GL}_2(F)$ where $F$ is a non archimedean local field of residual characteristic $p$ of central ...

**4**

votes

**4**answers

925 views

### Apocryphal Maschke theorem?

This may be totally trivial or wrong. I am just posting this because I am sick and tired of trying to understand this myself and I am sure someone out here can just answer it out of his head in 2 ...

**1**

vote

**1**answer

160 views

### Can we say that $A$ is a complement for a group $G$?

Let $A$ be a frobenius complement for a group $G$ i.e. $A$ act on $G$ by automorphism s.t. $C_A(g)=e$ for all nonidentity $g$.
Now, Action of $A$ can be linearly extended so that $A$ act on $F[G]$. ...

**13**

votes

**3**answers

1k views

### How are these two ways of thinking about the cross product related?

I was always bothered by the definition of the cross product given in e.g. a calculus course because it's never made clear how one would go about defining the cross product in a coordinate-free ...

**0**

votes

**1**answer

160 views

### Maximal subgroups of indefinite special orthogonal group SO(p,q)

Can someone answer the following question:
Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions:
...

**4**

votes

**1**answer

138 views

### Are convolution algebras ever “topologically noetherian”?

For finite groups $G$, we have the group ring $k[G]$, and we can think of $G$-representations as $k[G]$-modules. It is known that for $G$ virtually polycyclic, $k[G]$ is a Noetherian ring, which means ...

**8**

votes

**1**answer

160 views

### Powers of traces, integrals over spheres and class functions

I asked this on math.StackExchange a while back but got no answers. I hope I'll be forgiven for the double post.
Let $V$ be a complex vector space of dimension $\operatorname{dim}_{\mathbb C} V = n$, ...