<p>Motivated by the limitations of cluster algebra techniques in detecting imaginary modules, we build on the representation-theoretic framework developed by the first author and Chari to extend the construction of such modules beyond previously known cases, which arise from the tensor product of a higher-order Kirillov–Reshetikhin module and its dual. Our first main result gives an explicit description of the socle of tensor products of two snake modules, assuming the corresponding snakes form a covering pair of ladders. By considering a higher-order generalization of the covering relation, we describe a sequence of inclusions of highest-<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-weight submodules of such tensor products. We conjecture all the quotients of subsequent modules in this chain of inclusions are simple and imaginary, except for the socle itself, which might be real. We prove the first such quotient is indeed simple and, assuming an extra mild condition, we also prove it is imaginary, thus giving rise to new classes of imaginary modules within the category of finite-dimensional representations of quantum loop algebras in type <i>A</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Imaginary Modules Arising from Tensor Products of Snake Modules

  • Matheus Brito,
  • Adriano Moura

摘要

Motivated by the limitations of cluster algebra techniques in detecting imaginary modules, we build on the representation-theoretic framework developed by the first author and Chari to extend the construction of such modules beyond previously known cases, which arise from the tensor product of a higher-order Kirillov–Reshetikhin module and its dual. Our first main result gives an explicit description of the socle of tensor products of two snake modules, assuming the corresponding snakes form a covering pair of ladders. By considering a higher-order generalization of the covering relation, we describe a sequence of inclusions of highest- \(\ell \) -weight submodules of such tensor products. We conjecture all the quotients of subsequent modules in this chain of inclusions are simple and imaginary, except for the socle itself, which might be real. We prove the first such quotient is indeed simple and, assuming an extra mild condition, we also prove it is imaginary, thus giving rise to new classes of imaginary modules within the category of finite-dimensional representations of quantum loop algebras in type A.