Questions tagged [schur-functors]
The schur-functors tag has no usage guidance.
32
questions
7
votes
1
answer
368
views
Coefficients when rewriting the Hook-Content polynomials in terms of binomial polynomials
Let $\lambda$ be a partition, $S_\lambda$ the Schur functor attached to $\lambda$, and let $p_\lambda(t)$ be the polynomial determined by the condition that $\dim S_\lambda(k^n) = p_\lambda(n)$ for ...
2
votes
0
answers
63
views
Rank and determinant of the image of a vector bundle after applying a Schur functor?
Let $\mathcal{E}$ be a vector bundle of rank $r$ and degree $d$ over some smooth projective variety $X$. Furthermore, let $\lambda$ be a partition of $n$. We apply the $\lambda$-th Schur functor to $\...
1
vote
0
answers
122
views
The S-module Ass is same as the composite of Com and Lie
It has been cited in several places (eg. https://arxiv.org/pdf/1912.05519.pdf) that the S-module Ass is isomorphic to the composite of the S-modules Com and Lie. Is there a reference which gives the ...
4
votes
0
answers
207
views
Relationship between $\mathbb{S}^{\nu}V \otimes \mathbb{S}^{\lambda}(V^{*})$ and $\mathbb{S}^{\nu / \lambda}V$
For partition $\mu$ let $\mathbb{S}^{\mu}V = V^{\otimes \mu} \cdot c_{\mu}$, where $c_{\mu}$ is the Young symmetrizer. I'm trying to prove that $\mathbb{S}^{\nu / \lambda}V$ is the polynomial part of $...
6
votes
1
answer
416
views
Yoneda map for a composition of a representable functor and an arbitrary functor
Let $\mathcal{C}$ and $\mathcal{D}$ be categories and let $T : \mathcal{C} \rightarrow \mathcal{D}$ be a functor. Suppose that $F : \mathcal{D}^\mathrm{op} \rightarrow \mathrm{Set}$ is a functor. (So ...
2
votes
0
answers
69
views
Schur Bundle of Smooth Manifold
I've seen hints at the following result:
Let $M$ be a 3-dimensional manifold and let $T := T^*M$ be the cotangent bundle. By Schur-Weyl Duality, the 3rd tensor product can be written as follows:
$$T^...
3
votes
0
answers
193
views
Decomposing Schur functor applied to a tensor product
I want to compute
$$
S^{2,2,\dots,2,1}(\mathbb C^{2m-1} \otimes W)^{SL(2m-1)}
$$
Here $m$ numbers should appear in the superscipt of the Schur functor, and the last superscript means to take $SL(2m-1)$...
6
votes
0
answers
2k
views
The symmetric power of a tensor product
In the representation theory, if $S^{\lambda}(V)$ is the irreductible representation of $\text{GL}(V)$ associated to a partition $\lambda \vdash n$ (in perticular, $S^n(V)$ is the $n^{\text{th}}$ ...
6
votes
0
answers
124
views
Natural maps between Schur functors: understanding the image
Let $V$ be a finite dimensional representation of symmetric group $\mathbb{S}_n.$ Consider a natural map
$$\pi \colon \Lambda^2 V \otimes \Lambda^2 V \longrightarrow \Lambda^4 V.$$
Let $[\Lambda^2 V]...
2
votes
0
answers
198
views
The first non-trivial Schur functor [closed]
I am trying to understand the Schur functor $S^{(2,1)}$. Let's try on a vector space $V$ of dimension 3. The general definition is :
$S^{\lambda}V = V^{\otimes n} \otimes_{S_n} V^{\lambda}$
where $V^...
5
votes
0
answers
1k
views
Internal tensor product of strict polynomial functors: is there a more explicit definition?
In the paper Henning Krause, Koszul, Ringel, and Serre duality for strict polynomial functors, arXiv:1203.0311v4, Krause defines something that he calls an "internal tensor product" on the category of ...
4
votes
0
answers
839
views
Categorifying the Cauchy kernel as a filtration of $\operatorname*{Sym}\left( F\otimes G\right) $ over any commutative ring
Question 1 (short version). Let $R$ be a commutative ring with unity. Let
$F$ and $G$ be two $R$-modules. Let $n\in\mathbb{N}$. Is it true that the
$n$-th symmetric power $\operatorname*{Sym}\...
11
votes
0
answers
417
views
Connection between Gelfand-Tsetlin basis and SSYT basis in Schur module
Consider an $n$-dimensional complex vector space $V$ with a chosen basis $e_1,\ldots,e_n$. This basis defines a Cartan decompostion of $GL(V)\cong GL_n$ and for an (integral dominant) highest weight $\...
8
votes
1
answer
1k
views
Details about plethysm
I'm currently working on plethysm, i.e. the character of the composition $S^\lambda(S^\mu(V))$ of the Schur functors $S^\lambda$ and $S^\mu$ on a complex vector space $V$. We note this character $s_\...
49
votes
4
answers
5k
views
How to constructively/combinatorially prove Schur-Weyl duality?
How is Schur-Weyl duality (specifically, the fact that the actions of the group ring $\mathbb{K}\left[ S_{n}\right] $ and the monoid ring
$\mathbb{K}\left[ \left( \operatorname*{End}V,\cdot\...