Bricks over preprojective algebras and join-irreducible elements in Coxeter groups (Q1979330): Difference between revisions

A brick (or a semibrick) over an algebra \(A\) is a module \(S\) such that the endomorphism ring \(\textsf{End}_A(S)\) is a product of division algebra. For each Dynkin diagram \(\Delta\), there is a bijection from the Coxeter group \(W\) of type \(\Delta\) to the set of semibricks over the preprojective algebra \(\Pi\) of type \(\Delta\), which is restricted to a bijection from the set of join-irreducible elements of \(W\) to the set of bricks over \(\Pi\). The author gives an explicit description of these bijections in the case \(\Delta=\mathbb{A}_n\) (Theorem 3.1, page 17) and \(\Delta = \mathbb{D}_n\) (Theorem 3.7, page 20). First, for each join-irreducible element \(w \in W\), the author describes the corresponding brick \(S(w)\) in terms of ``Young diagram-like'' notation. Next, he determines the canonical join representation \(w=\bigvee_{i=1}^m w_i\) of an arbitrary element \(w \in W\) (Theorem 1.8, page 9), and prove that \(\bigoplus_{i=1}^n S(w_i)\) is the semibrick corresponding to \(w\) (Corollary 2.3, page 11).