[论文解读] Bricks over preprojective algebras and join-irreducible elements in Coxeter groups

Sota Asai|arXiv (Cornell University)|Dec 22, 2017

Algebraic structures and combinatorial models参考文献 12被引用 6

一句话总结

本文通过相应考克斯eter群中的不可约元，给出了类型An和Dn的预投射代数上砖块与半砖块的显式组合描述。它利用类似杨图的记号，建立了不可约群元素与砖块之间的双射，并证明了任意群元素的典范并表示对应于相关砖块的直和，从而为所有此类模给出了完整的奎弗表示描述。

ABSTRACT

A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.

研究动机与目标

• 为考克斯eter群W（类型An或Dn）中每个不可约元w所关联的砖块S(w)提供显式的奎弗表示描述。
• 建立任意元素w ∈ W的典范并表示与对应半砖块S(w)分解为砖块的直和之间的对应关系。
• 将已知的考克斯eter群W与预投币代数Π的torsion-free类之间的格同构关系，扩展为相关模的显式描述。
• 通过利用其典范并分解显式计算每个群元素对应的半砖块，将τ-tilting理论框架推广至预投币代数。

提出的方法

• 利用已知的考克斯eter群W与预投币代数Π的torsion-free类之间的格同构关系，本文将每个群元素w映射到半砖块S(w) = soc(Π/I(w))。
• 对于每个不可约元w ∈ W，本文构造一种类似杨图的记号，以奎弗表示的形式描述对应的砖块S(w)。
• 利用雷丁理论计算任意w ∈ W的典范并表示，并证明对应的半砖块是与不可约分量相关联的砖块的直和。
• 本文应用Iyama–Reading–Reiten–Thomas对不可约元w的Jacobson根商(Π/I(w))_el的组合描述，推导出S(w)的奎弗结构。
• 以D5为例，计算了显式例子，说明w的符号模式和下降位置如何决定S(w)的奎弗表示。
• 该方法依赖于预投币代数Π是τ-tilting有限的这一事实，从而可利用典范并表示将半砖块分解为砖块。

实验结果

研究问题

• RQ1 如何将考克斯eter群W（类型An或Dn）中不可约元w所关联的砖块S(w）显式描述为奎弗表示？
• RQ2 元素w ∈ W的典范并表示与对应半砖块S(w)分解为砖块直和之间存在何种关系？
• RQ3 W中不可约元与预投币代数Π上砖块之间的双射能否被完全组合化，并通过类似杨图的记号可视化？
• RQ4 w ∈ W的符号模式和下降位置如何决定S(w)的奎弗表示结构？
• RQ5 w ∈ W的典范并表示是否精确对应于半砖块S(w)分解为砖块S(wi)的直和？

主要发现

• 对于类型An或Dn的每个不可约元w ∈ W，其对应的砖块S(w)通过基于w的符号模式和下降位置的类似杨图的记号被显式描述。
• 考克斯eter群中w = ⋁_{i=1}^m w_i的典范并表示，精确对应于半砖块S(w)分解为砖块S(w_i)的直和S(w) = ⨁_{i=1}^m S(w_i)。
• 本文提供了E8型预投币代数上全部1272个砖块的完整列表，并显式计算了D5型的3548个半砖块，附有详细的奎弗表示。
• 对于D5型，本文给出了3548个显式的半砖块奎弗表示，按下降类型σ = (k, s, t)分组，各类数量从1到9不等。
• 证明了任意w ∈ W的典范并表示是其分量对应于半砖块分解中砖块的最小并表示。
• 该方法成功地通过典范并分解为所有半砖块提供了完整的奎弗表示描述，从而将τ-tilting理论框架推广至预投币代数。