A Non-Existence Theorem for Almost Split Sequences

Let k be a field, Q a quiver with countably many vertices and I an ideal of kQ such that kQ/I is a spectroid. In this note, we prove that there is no almost split sequence ending at an indecomposable not finitely presented representation of the bound quiver (Q, I). We then get that an indecomposable representation M of (Q, I) is the ending term of an almost split sequence if and only if it is finitely presented and not projective. The dual results are also true.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

Orbit semigroups and the representation type of quivers

We show that a finite, connected quiver Q without oriented cycles is a Dynkin or Euclidean quiver if and only if all orbit semigroups of representations of Q are saturated.     

Generic variables in acyclic cluster algebras

Let Q be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra A(Q). We prove that the set G(Q) of generic variables contains naturally the set M(Q) of cluster monomials in A(Q) and that these two sets coincide if and only if Q is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig’s dual semicanonical basis. This allows to compute explicitly the generic variables when Q is a quiver of affine type. When Q is the Kronecker quiver, the set G(Q) is a Z-basis of A(Q) and this basis is compared to Sherman-Zelevinsky and Caldero-Zelevinsky bases.     

The Dual Quiver of the Auslander–Reiten Quiver of Path Algebras

Let Q be a finite quiver of type A _n , n ≥ 1, D _n , n ≥ 4, E ₆, E ₇ and E ₈, σ ∈ Aut(Q), k be an algebraic closed field whose characteristic does not divide the order of σ. In this article, we prove that the dual quiver [(G_Q)\tilde]\widetilde{\Gamma_{Q}} of the Auslander–Reiten quiver Γ _Q of kQ, the Auslander–Reiten quiver of kQ#kás?kQ\#k\langle\sigma\rangle, and the Auslander–Reiten quiver G_[(Q)\tilde]\Gamma_{\widetilde{Q}} of k[(Q)\tilde]k\widetilde{Q}, where [(Q)\tilde]\widetilde{Q} is the dual quiver of Q, are isomorphic.     

EXCEPTIONAL SEQUENCES FOR QUIVERS OF DYNKIN TYPE

Let kQ be the path algebra of a quiver Q without oriented cycles with n vertices. An indecomposable kQ-module without self-extensions is called exceptional. The braid group B _n with n ? 1 generators acts naturally on the set of complete exceptional sequences. Crawley-Boevey (Proceedings of ICRA VI, Carleton-Ottawa, 1992) and Ringel (Contemp. Math. 1994, 171, 339–352) have pointed out that this action is transitive. The number of complete exceptional sequences for kQ representation finite will be computed here and it is shown to be independent of the orientation of the arrows of the quiver Q. The factor group of the braid group which acts freely on the set of complete exceptional sequences can be regarded as a subgroup of the symmetric group S _{? n} , where ? _n is the number of complete exceptional sequences of the algebra kQ. This group is known for certain special types of quivers. Some other interesting relations of the acting group will be given.     

Exceptional Components

For a wild acyclic quiver Q, Kerner introduced the notion of exceptional components for the Auslander–Reiten quiver of Q over an algebraically closed field k. He then defined two invariants for these exceptional components and asked whether these invariants coincide for each exceptional component. He showed that for each exceptional component there is a related hereditary factor algebra B of the path algebra kQ. He then proved that B is tame or representation finite and asked whether the representation finite case does occur, at all. We will answer both of Kerner's questions.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Quotients of Incidence Algebras and the Euler Characteristic

In this note, we show that, if A ? kQ _A /I _A is a schurian strongly simply connected algebra given by its normed presentation, and Σ is the unique poset whose Hasse quiver coincides with Q _A , then A ? kΣ if and only if I _A has a generating set consisting of exactly χ(Q _A ) elements, where χ(Q _A ) is the Euler characteristic of Q _A . We also prove that a quotient of an incidence algebra A = kΣ/J is strongly simply connected if and only if A is simply connected and kΣ is strongly simply connected.     

Auslander-Reiten Numbers Games

Let \(\mathfrak {g}\) be a simple complex Lie algebra of types A _n , D _n , E _n , and Q a quiver obtained by orienting its Dynkin diagram. Let λ be a dominant weight, and E(λ) the corresponding simple highest weight representation. We show that the weight multiplicities of E(λ) may be recovered by playing a numbers game Λ _Q (λ), generalizing the well known Mozes game, constructing the orbit of λ under the action of the Weyl group W. The game board is provided by the Auslander-Reiten quiver Γ _Q of Q. The game moves are obtained by constructing Nakajima’s monomial crystal M(λ) directly out of Γ _Q . As an application, we consider Kashiwara’s parameterizations of the canonical basis. Let w ₀ be a reduced expression of the longest element w ₀ of W, adapted to a quiver Q of type A _n . We show that a set of inequalities defining the string (Kashiwara) cone with respect to w ₀, may be obtained by playing subgames of the numbers games Λ _Q (ω _i ) associated to fundamental representations.     

Semi-Invariants of Symmetric Quivers of Tame Type

A symmetric quiver (Q, σ) is a finite quiver without oriented cycles Q?=?(Q ₀, Q ₁) equipped with a contravariant involution σ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $\langle -,-\rangle_V$ on a representation V of Q. We shall say that V is orthogonal if $\langle -,-\rangle_V$ is symmetric and symplectic if $\langle -,-\rangle_V$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if (Q, σ) is a symmetric quiver of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type c ^V and, when the matrix defining c ^V is skew-symmetric, by the Pfaffians pf ^V . To prove it, moreover, we describe the symplectic and orthogonal generic decomposition of a symmetric dimension vector.     

Path <Emphasis Type="Italic">A</Emphasis><Subscript>∞</Subscript> algebras of positively graded quivers

Let A be a path A_∞-algebra over a positively graded quiver Q: We prove that the derived category of A is triangulated equivalent to the derived category of kQ; which is viewed as a DG algebra with trivial differential. The main technique used in the proof is Koszul duality for DG algebras.     

Flat modules over valuation rings

Let R be a valuation ring and let Q be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if Q is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of R is a zero-divisor and that each singly projective module is locally projective if and only if R is self-injective. Moreover, R is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or π-coherent.A complete characterization of semihereditary commutative rings which are π-coherent is given. When R is a commutative ring with a self-FP-injective quotient ring Q, it is proved that each flat R-module is finitely projective if and only if Q is perfect.     

A Construction of Characteristic Tilting Modules

Associated with each finite directed quiver Q is a quasi-hereditary algebra, the so-called twisted double of the path algebra kQ. Characteristic tilting modules over this class of quasi-hereditary algebras are constructed. Their endomorphism algebras are explicitly described. It turns out that this class of quasi-hereditary algebras is closed under taking the Ringel dual. Received November 15, 2000, Accepted March 5, 2001     

Auslander–Reiten Quivers and the Coxeter Complex

Let Q be a quiver of type ADE. We construct the corresponding Auslander–Reiten quiver as a topological complex inside the Coxeter complex associated with the underlying Dynkin diagram. In A_n case, we recover special wiring diagrams. Presented by R. RentschlerMathematics Subject Classifications (2000) 16G70, 17B10, 20F55.     

交换群上Hopf路余代数的结构分类

设G是群, kG是域k上的群代数. 对任意Hopf箭向Q=(G, r), 利用右kZ_u(C) -模的直积范畴∏_C∈K(G) MkZ_u(C)与kG-Hopf双模范畴^kG_kG M^kG_kG之间的同构, 可由^u(C)(kQ₁)¹上的右kZ_u(C) -模结构导出在箭向余模kQ₁上的kG-Hopf双模结构. 该文讨论在群G分别是2阶循环群与克莱茵四元群时的Hopf路余代数kQ^c的同构分类及其子Hopf代数kG[kQ₁]结构.     

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order

We compare Aut(Q), the classical automorphism group of a countable dense linear order, with Aut _c (Q), the group of all computable automorphisms of such an order. They have a number of similarities, including the facts that every element of each group is a commutator and each group has exactly three nontrivial normal subgroups. However, the standard proofs of these facts in Aut(Q) do not work for Aut _c (Q). Also, Aut(Q) has three fundamental properties which fail in Aut _c (Q): it is divisible, every element is a commutator of itself with some other element, and two elements are conjugate if and only if they have isomorphic orbital structures.