**6**

votes

**1**answer

562 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)$ ...

**8**

votes

**1**answer

124 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**6**

votes

**1**answer

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

**2**

votes

**0**answers

26 views

### Calculation of minimal right $\operatorname{add}(M)$-approximations

given a finite dimensional quiver algebra $A$ and a generator $M$ with $\operatorname{Ext}^1(M,M)=0$. By Wakamatsus lemma, for any $A$-module $N$ there exists a surjective $A$-linear map $f\colon M_1 ...

**0**

votes

**0**answers

50 views

### What are the explicit expressions of quantum Casimir elements for $U_q(sl_3)$ and $U_q(sl_4)$?

What are the explicit expressions of quantum Casimir elements for $U_q(sl_3)$ and $U_q(sl_4)$ in terms of $E_1, E_2, F_1, F_2, K_1, K_2, K_1^{-1}, K_2^{-1}$? Any help will be greatly appreciated!

**5**

votes

**1**answer

125 views

### Strongly real elements of odd order in sporadic finite simple groups

Recall that an element of a finite group is said to be real if it is conjugate to its inverse, and strongly real if the conjugating element can be chosen to be an involution.
Question: Is it true ...

**14**

votes

**1**answer

322 views

### Okounkov-Vershik approach to representation theory of $S_n$

This is a rather soft question. I was wondering if someone could explain on a fundamental and intuitive level, what the Okounkov-Vershik approach to representation theory of $S_n$ is all about. It's ...

**8**

votes

**3**answers

827 views

### Making D-modules on affine varieties more explicit

This is a follow up to my question about D-modules supported on the nilpotent cone. I got some good answers there but now I have a more basic question.
Consider an affine algebraic variety X, a ...

**5**

votes

**0**answers

205 views

### Recurrence Formula for Zernike polynomials

I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...

**7**

votes

**0**answers

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

**2**

votes

**0**answers

56 views

### what is the link between plethysm in regular representation of the symmetric group and plethysm in Schur functions.

I am trying to understand first how one can define the plethysm say $s_\lambda \circ s_\mu$ as a module in the regular representation of the symmetric group.
1)How is it connected to the plethysms ...

**11**

votes

**2**answers

316 views

### Quotient rule, differential operator on a localization is well-defined, underlying geometry?

Using the quotient rule, we obtain that the notion of differential operator on a localization is well-defined:$$\mathcal{D}_A(B_f) \cong \mathcal{D}_A(B)_f.$$Here, $B$ is a commutative $A$-algebra, ...

**4**

votes

**0**answers

40 views

### $G$-harmonic polynomials, dimension of $\text{Harm}(\mathbb{R}^n, S_n)$?

Definition. Let $\text{Harm}(\mathbb{R}^n, G)$ be the space of $G$-harmonic polynomials on $\mathbb{R}^n$.
My question is, what is the dimension of $\text{Harm}(\mathbb{R}^n, S_n)$?

**2**

votes

**0**answers

73 views

### $\mathbb{C}[x_1, \dots, x_n]$ is a free $\mathbb{C}[x_1, \dots, x_n]^{S_n}$-module with certain generators [duplicate]

Let the symmetric group $S_n$ act on $\mathbb{R}^n$ by permutation of coordinates. This makes $S_n$ a subgroup of $\text{GL}_n(\mathbb{R}$ and the algebra $\mathbb{C}[x_1, \dots, x_n]^{S_n}$ is the ...

**10**

votes

**1**answer

163 views

### equivariant stable class of quaternionic Hopf fibration in RO(G)-degrees of ADE-type

Does the quaternionic Hopf fibration possibly represent a non-torsion element in the $G$-equivariant stable homotopy groups of spheres, for $G$ a finite subgroup of $SO(3)$ and in RO(G)-degree being ...

**9**

votes

**0**answers

159 views

### Is an inclusion of finite groups with boolean lattice, linearly primitive?

Let $(H \subset G)$ be an inclusion of finite groups.
Definition: Let $W$ be a representation of $G$, and $X$ a subspace of $W$.
Let the fixed-point subspace $W^{H}:=\{w \in W \ \vert \ kw=w \ ...

**18**

votes

**2**answers

970 views

### Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...

**12**

votes

**0**answers

190 views

### Koszul complex for non-Koszul algebras

Let $A$ be a graded, connected, locally finite, quadratic algebra over a field $k$; that is, $A$ may be presented as $T(V)/I$, where $V = A_1$ is a finite dimensional $k$ vector space, and the ideal ...

**3**

votes

**0**answers

60 views

### Fibers of torus equivariant moment maps

Given a closed (possibly singular) projective variety $V$ with a symplectic structure and a torus action, there is a moment map
$\mu: V \rightarrow Lie(T)^*$. Note that the dimension of $T$ could be ...

**3**

votes

**1**answer

124 views

### projective representation of supergroup

In fact, I am not very clear about what I am asking, but I am looking for a concrete example of supergroup which has non-trivial projective representation(some supergroup similar to usual Lie group ...

**5**

votes

**0**answers

87 views

### $\mathcal{M}(\mathcal{D}_X)$ and $\mathcal{M}^r(\mathcal{D}_X)$ have natural tensor category structures?

Write $\mathcal{M}^\ell(\mathcal{D}_{X/S}) = \mathcal{M}(\mathcal{D}_{X/S})$ for the category of left $\mathcal{D}$-modules over $X$ and $\mathcal{M}^r(\mathcal{D}_{X/S})$ for the category of right ...

**5**

votes

**2**answers

210 views

### Representations of orthogonal groups over the field of two elements

I am looking for some references on modular representation theory of the orthogonal groups $O_{2n+1}(2)$, $O_{2n}^{+}(2)$, or $O_{2n}^{-}(2)$ over $\mathbb{F}_2$.

**2**

votes

**0**answers

100 views

### When is a given quiver algebra a hopf algebra?

Given a finite dimensional selfinjective quiver algebra A over a finite field (or more generally an arbitrary field). Whats the best way to check if the algebra A has a Hopf algebra structure or not? ...

**5**

votes

**1**answer

150 views

### A natural Lascoux-Schützenberger involutions on plane partitions

The Lascoux-Schützenberger involutions, $s_i$, that permute the weight of semi-standard Young tableaux are fairly known.
They satisfy some nice Coxeter relations, for example, if $v$ and $w$ are ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

74 views

### Center of $U_q(sl_3)$ and $U_q(sl_4)$

In the book a guide to quantum groups, page 285, the center of $U_q(g)$ is described in Theorem 9.1.6. The center of $U_q(sl_2)$ is computed explicitly in Example 9.1.7. I tried to compute the center ...

**3**

votes

**0**answers

87 views

### Integer-matrix representation of a commutative ring

Consider a commutative ring $x_ix_j = N_{ij}^k x_k$, where $N_{ij}^k \in\{0,1,2,3,\cdots\}$, and $\{x_i\}$ is a finite set. (This is actually a fusion ring and $x_i$ are simple objects.)
How to find ...

**1**

vote

**1**answer

109 views

### Equivariant polynomial maps

Let $V$ be a complex vector spaces and assume that a compact group G acts linearly on $V$. Then look at the $G$-equivariant polynomial maps from $V$ to $V$. Denote this by $Mor_G(V,V)$. In the case ...

**17**

votes

**1**answer

512 views

### Which philosophy for reductive groups?

I am just beginning to look further into trace formulas and automorphic forms in a quite general setting. For long I have noticed that the natural assumption on the groupe $G$ we work on is to be ...

**2**

votes

**1**answer

178 views

### reference on representation theory of SO*(2n)

I'm interested in the representation theory of the non-compact real Lie group $\mathrm{SO}^*(2n)$, the subgroup of matrices $M\in\mathrm{SO}(2n,\mathbb{C})$ satisfying
$$
M^\dagger\eta \,M=\eta,\qquad ...

**2**

votes

**1**answer

75 views

### Number of cluster variables

In the paper cluster algebras and quantum affine algebras, Section 13.5, it is said that when $\mathfrak{g}$ is of type $A_2$ and $\ell=2$, then the corresponding cluster algebra $\mathscr{A}_2$ for ...

**2**

votes

**1**answer

99 views

### Conceptual explanation for multiplicativity of theta generalization of extreme characters of U(infty)

A character of $U(\infty)$ is a continuous, positive definite class function $\chi: U(\infty) \longrightarrow \mathbb{C}$, which is normalized by $\chi(e) = 1$. Observe that the set of characters of ...

**4**

votes

**0**answers

98 views

### Intertwiners, $\text{dim}_\mathbb{C}(\text{End}_G \mathbb{C}\{X\})$? [closed]

Let $\mathbb{F}$ be a finite field and let $G = SL_2(\mathbb{F})$. The group $G$ acts linearly on the $2$-dimensional vector space $\mathbb{F}^2$ and fixes the origin $0 \in \mathbb{F}^2$. Hence, $G$ ...

**5**

votes

**2**answers

569 views

### Howe duality for exceptional algebras

There is a nice tool in representation theory, the Howe duality, which as I know works for certain pairs of classical Lie algebras (the reference to the complete list of Howe dual pairs is appreciated ...

**3**

votes

**1**answer

87 views

### Finding a semigroup that maximizes the trace of a sum of matrices

Let $H$ be a finite semigroup containing $n$ elements from a compact group $G$. I am trying to solve
$$\max_{h_i,\ h_j\ \in\ H} \operatorname{tr} \sum_{i,\ j\ \leq\ n} \rho(h_i^{-1} h_j)(A_j ...

**0**

votes

**0**answers

50 views

### Homomorphisms of quantum spaces

Suppose we have a look at the Hopf $*$-algebra $U_q(sl(2))$ and the Hopf $*$-algebra $A_q(\widetilde{S}^3)$ introduced in the paper: http://arxiv.org/pdf/q-alg/9605017v1.pdf. I want to find a relation ...

**6**

votes

**0**answers

153 views

### What's the name of the cohomology class associated to a projective representation?

Suppose $\rho : G \to PGL_n(k)$ is a projective representation of a group $G$ over a field $k$. It's classical that the obstruction to lifting this to a linear representation $G \to GL_n(k)$ is a ...

**9**

votes

**0**answers

239 views

### Vanishing theorems in algebraic geometry and representation theory

Garland proved vanishing theorems for the cohomology of a discrete subgroup with coefficients in a finite dimensional complex representation. As I understand it, Casselman reproved them using the ...

**3**

votes

**2**answers

101 views

### Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$.
Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...

**13**

votes

**1**answer

2k 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
...

**0**

votes

**2**answers

132 views

### Is the restricted root system of a simple real Lie group irreducible?

As the title asks, is the restricted root system of a simple real Lie group irreducible?
I believe this is true but I need a reference to cite.

**9**

votes

**1**answer

418 views

### What happened to the fourth paper in the series “On the classification of primitive ideals for complex classical Lie algebras” by Garfinkle?

In a series of papers in Compositio Math. entitled On the classification of primitive ideals for complex classical Lie algebras I, II and III, Garfinkle describes an algorithm that allows one to ...

**4**

votes

**1**answer

82 views

### Relationship between the Lie functor applied to a Lie group action, and the fundamental vector field mapping?

Let $M$ be a smooth manifold, and $G$ a Lie group with Lie algebra $\mathfrak{g}$. The Lie algebra of the diffeomorphism group of $M$ is the Lie algebra of vector fields on $M$; that is ...

**3**

votes

**2**answers

200 views

### Why is the trace of the Casimir on the irrep of a semisimple algebra nonzero?

A crucial step in the "purely algebraic" proof of Weyl's semisimplicity theorem is that the Casimir element $C\in U\mathfrak{g}$ acts by nonzero scalars on a nontrivial irrep $V$. However, at least ...

**0**

votes

**1**answer

152 views

### Reference Request: Irreducibles of the regular representation of the permutation group is absolutely irreducible

I am writing a paper(physics) where I am using the fact that the irreducible's of the regular representations of the permutation group are absolutely irreducible in the following sense.
If $V$ is an ...

**1**

vote

**1**answer

69 views

### Representations of the algebra of odd quantum spheres

I read the article by Dijkhuizen and Noumi (http://arxiv.org/pdf/q-alg/9605017v1.pdf). Here they describe in section $4$ what the algebra of functions on the total space of a family of quantum ...

**3**

votes

**0**answers

135 views

### Is the Veronese variety “enough” to describe all the $SL(V)$-orbits in $\mathbb{P}(\textrm{Sym}^dV)$?

I apologise in advance if the question will look ridicolous to experienced eyes: in this case a good reference will be enough to clarify my doubts.
Let $V$ be a complex vector space of dimension $n$, ...

**11**

votes

**1**answer

842 views

### When are representation rings special lambda-rings? (variations of an old question)

Status: Questions 2 and 4 answered in the negative. Questions 1 and 3 ARE STILL UNANSWERED, despite previous claims.
On the third page of Wolfang K. Seiler's paper "lambda-rings and Adams ...

**5**

votes

**1**answer

1k views

### do you know this determinant (basic commutative algebra)?

Let $\ell_1,\dots,\ell_n$ be $d+1$-variate linear forms over complex numbers in variables $X=(X_0,\dots,X_d)$. Consider the $(n-d)$-fold products
...

**8**

votes

**1**answer

179 views

### Pair of square matrices related by traces formulas

Let $A$ and $B$ be two $n\times n$ matrices over $\mathbb{C}$. Assume that for every $k\geq 1$ it holds $tr(A^k) = tr(B^{2k-1})$. What can we say about the possible eigenvalues of $A$ and of $B$? How ...