Linked Questions
17 questions linked to/from How to constructively/combinatorially prove Schur-Weyl duality?
39
votes
6
answers
6k
views
Who invented diagrammatic algebra?
There is a strong and growing trend to do mathematics via diagrammatic algebra, which involves constructing and manipulating equations whose elements are diagrams drawn in the plane. The manipulations ...
- 22.1k
21
votes
3
answers
7k
views
What are the current breakthroughs of Geometric Complexity Theory?
I've read from Wikipedia about Geometric Complexity Theory (GCT) which (if I understood correctly) is a program for coping with the $ P=NP $ problem using algebraic methods.
That program seems ...
47
votes
2
answers
5k
views
The two ways Feynman diagrams appear in mathematics
I've heard about two ways mathematicians describe Feynman diagrams:
They can be seen as "string diagrams" describing various type of arrows (and/or compositions operations on them) in a monoidal ...
- 42.4k
13
votes
3
answers
693
views
Ring of invariants of $\operatorname{SL}_6$ acting on $\Lambda^3 \mathbb C^6$
Let $G=\operatorname{SL}_6$ act on $V=\Lambda^3 \mathbb C^6$. I would like to find the ring of invariants $\mathbb C[V]^G$. There is an obvious invariant
$$Sq: V \to \mathbb C, \quad \omega \mapsto \...
- 1,980
11
votes
3
answers
861
views
Nonnegativity of an integral over the unitary group
For an $n$-by-$n$ unitary matrix $U$ and a permutation $\sigma\in S_n$, let
$$w_\sigma=(-1)^\sigma\det(U^*)\prod_{i=1}^n U_{i,\sigma(i)}.$$
Is $\int_{U(n)}\mathrm{Re}(w_{\sigma_1})\mathrm{Re}(w_{\...
- 1,593
10
votes
3
answers
1k
views
Decomposition of tensor power of symmetric square
Studying some representation theory I came up with the following problem.
We work over a field of characteristic $0$. Let $V$ be the standard representation of $\mathrm{GL}_n$ and let $W$ be the ...
- 101
24
votes
2
answers
2k
views
Direct proof that the centralizer of $GL(V)$ acting on $V^{\otimes n}$ is spanned by $S_n$
Let $V$ be a finite dimensional vector space over a field of characteristic zero. Let $A$ be the space of maps in $\mathrm{End}(V^{\otimes n})$ which commute with the natural $GL(V)$ action. Clearly, ...
- 156k
19
votes
2
answers
1k
views
Explicit invariant of tensors nonvanishing on the diagonal
The group $SL_n \times SL_n \times SL_n$ acts naturally on the vector space $\mathbb C^n \otimes \mathbb C^n \otimes \mathbb C^n$ and has a rather large ring of polynomial invariants. The element $$\...
- 148k
11
votes
2
answers
684
views
Invariants of $\mathrm{GL}_n$ representations
$\DeclareMathOperator\GL{GL}$Let $V=\mathbb C^n$ be the natural representation of $\GL_n(\mathbb C)$ and let $W=\operatorname{Sym}^2(V)$ be the symmetric square representation. Let $W^k$ denote the ...
- 673
8
votes
3
answers
663
views
Representation theorem for matrices (reference request)
Motivation. If $A \in \mathbb{C}^{n \times n}$ is self-adjoint (or, more generally, normal), then we all know that
$$
A = \sum_{k=1}^n \lambda_k \, h_k \otimes h_k,
$$
where $\lambda_1,\dots,\lambda_n$...
- 12.5k
7
votes
3
answers
595
views
GIT quotients for linear representations of $SL(2,\mathbb C)$
Let $V$ be the standard two-dimensional representation of $SL(2,\mathbb C)$ and let ${\rm Sym}^2V$ be its symmetric square. Let $n$ be a positive integer and consider the following two representations ...
- 14.3k
4
votes
1
answer
510
views
Invariants of symmetric forms with respect to the symplectic group
Take a 6-dimensional vector space $V$ (for simplicity, over $\mathbb{C}$) and play the following game (for example, by employing the online Lie program): consider the 21-dimensional space $S^2V^*$ of ...
- 2,527
11
votes
1
answer
625
views
Formula for $U(N)$ integration wanted
Before you jump on the "duplicate" buttom, let me say that I do not want to hear about Weingarten calculus and I do not want to see a character of the symmetric group.
What I would like is a formula ...
9
votes
2
answers
244
views
Matrix invariants for simultaneous conjugation by a finite subgroup of $\textrm{GL}_n$
Let $K$ be a field of characteristic 0, and consider $d$ generic $n\times n$ matrices $X_1,\ldots,X_d$ where $X_k = (x_{ijk})_{ij}$ and $ K[x_{ijk}]$ is the polynomial algebra in $n^2 \cdot d$ ...
- 1,084
9
votes
1
answer
335
views
Triple product formula on $K = \mathrm{SU}(2)$
Let $K = \mathrm{SU}(2) = \{ k[\alpha ,\beta] \mid \alpha ,\beta \in \mathbb{C}, |\alpha |^2 + |\beta |^2 = 1 \} $ with
$$ k [ \alpha , \beta ] =
\begin{pmatrix}
\alpha & \beta \\
- \...
- 185