2014
DOI: 10.1112/s0010437x14007799
|View full text |Cite
|
Sign up to set email alerts
|

Simplicity of heads and socles of tensor products

Abstract: We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M \otimes N$ has a simple head and a simple socle if $M \otimes M$ is simple. A similar result is proved for the convolution product of simple modules over quiver Hecke algebras. In the second version, the statement (1.11) (in the revised version) is modified and its proof is given in Section 4.Comment: 21 pages (the first version), 23 pages (the second version

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

2
103
0

Year Published

2016
2016
2021
2021

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 83 publications
(105 citation statements)
references
References 15 publications
2
103
0
Order By: Relevance
“…They imply that Ffalse(L(a1)false)Ffalse(S0false)Ffalse(L(a1)false)Ffalse(S0false). By [, Corollary 3.14], we have Ffalse(S0false)Ffalse(S0false), as desired.…”
Section: Quantum Affine Algebra Of Type B and Duality Functorsmentioning
confidence: 69%
See 2 more Smart Citations
“…They imply that Ffalse(L(a1)false)Ffalse(S0false)Ffalse(L(a1)false)Ffalse(S0false). By [, Corollary 3.14], we have Ffalse(S0false)Ffalse(S0false), as desired.…”
Section: Quantum Affine Algebra Of Type B and Duality Functorsmentioning
confidence: 69%
“…For simple modules M and N , we set [14]. Let M and N be simple modules in R-gmod, and assume that one of them is real.…”
Section: R-matrices For Quiver Hecke Algebramentioning
confidence: 99%
See 1 more Smart Citation
“…The KLR algebra R(j) is symmetric in the sense of [, Definition 1.3]. In particular, there is an R‐matrix rLj,M:LjMMLj for every R(ν)‐module M.…”
Section: Crystal Operatorsmentioning
confidence: 99%
“…Proof By [, Theorem 3.2], if M is simple, then the image of the R‐matrix can be identified with both the head of L(j)M and the socle of ML(j), and furthermore this image is simple. Consider the diagram: The unlabelled morphisms in the top row are, from left to right, the canonical surjection, the canonical inclusion, the canonical isomorphism and the circle product of the morphisms f:DMM and g:DLjLj which exhibit isomorphisms false(M,σfalse)(DM,(Dσ)1) and false(Lj,σjfalse)false(double-struckD(Lj),false(double-struckDσjfalse)1false).…”
Section: Crystal Operatorsmentioning
confidence: 99%