Arxiv:2106.06423V2 [Math.RT] 18 Jul 2021 Eetyas Uhagba R Called Are Algebras Z Such Support Mi, Many Ad2, Years
Total Page:16
File Type:pdf, Size:1020Kb
ON τ-TILTING FINITENESS OF TENSOR PRODUCTS BETWEEN SIMPLY CONNECTED ALGEBRAS KENGO MIYAMOTO AND QI WANG Abstract. The main aim of this paper is to discuss the finiteness of τ-tilting modules over the tensor product of two simply connected algebras. In this paper, we completely determine τ-tilting finite tensor products between path algebras. In addition, we deter- mine the boundary of τ-tilting finiteness of tensor products between simply connected algebras in most cases. Acknowledgment The authors are heartily grateful to Takuma Aihara for giving us several helpful advices. In particular, he gave us a great suggestion to modify Section 3 in the first version. We would also like to thank Takahiro Honma for helpful comments. His comments inspired us to see that the τ-tilting finiteness of tensor products of simply connected algebras implies the representation-finiteness of ones. We are also very grateful to Takahide Adachi for helpful comments. He pointed out that there is a serious gap in the proof of Proposition 3.3 in the first version. 1. Introduction Throughout this paper, we will use the symbol k to denote an algebraically closed field, and tensor products are always taken over k. An algebra is always assumed to be an associative basic connected finite-dimensional k-algebra. Let A be an algebra. We write Aop for the opposite algebra of A. Modules are always finitely generated right A-modules. → We denote by mod-A the category of modules over A. For simplicity of notation, let An stand for the Dynkin quiver of type A associated with the linear orientation. Let A be an algebra. The notion of support τ-tilting A-modules was introduced in [AIR] as to complete the class of classical tilting modules from the viewpoint of mutations. The set of isomorphism classes of support τ-tilting modules has relation to several sets of important objects arising from representation theory. For example, there are bijections arXiv:2106.06423v2 [math.RT] 18 Jul 2021 between the set of isomorphism classes of support τ-tilting A-modules and • the set of two-term silting complexes in the perfect derived category ([AIR]), • functorially finite torsion classes in mod-A ([AIR]), • the set of left finite semibricks ([Asa]), • t-structures and co-t-structures ([KY]). Therefore, the study of support τ-tilting modules has applications to those representation- theoretic classifications. In this context, support τ-tilting modules over a given algebra are studied by several authors, for example, see [Ad1, Ad2, Mi, Zi] and so on. In particular, algebras having only finitely many support τ-tilting modules are actively researched in recent years. Such algebras are called τ-tilting finite and studied by Demonet, Iyama, Key words and phrases. Simply connected algebras, τ-tilting finite, tensor product of algebras. 2010 Mathematics Subject Classification. 16G10, 16G60, 16D80, 16S10. K. Miyamoto was partly supported by JSPS KAKENHI 20K14302. Q. Wang was partly supported by JSPS KAKENHI 20J10492. 1 2 K. MIYAMOTO AND Q. WANG and Jasso in [DIJ]. Some authors worked on τ-tilting finiteness, for instance, see [AAC, AHMW, Pl, Wa]. In the present paper, we focus on the τ-tilting finiteness for the tensor product A ⊗ B between two τ-tilting finite simply connected algebras A and B. Our initial motivation is to give a unified approach to determine the τ-tilting finiteness for several important classes of algebras, such as • the lower (or upper) triangular matrix algebras of size n with coefficients in algebras → A, that is, kAn ⊗ A, • the enveloping algebras A ⊗ Aop of algebras A, • the path algebra AQ of a finite quiver Q such that the base ring is a k-algebra A. Then we have the following observations (Propositions 3.1 and 3.2). • If A contains an oriented cycle which is not a loop in its quiver, then A ⊗ A is τ-tilting infinite. • If A ⊗ B is τ-tilting finite, then A and B are τ-tilting finite. • If A, B and C are non-local algebras, then A ⊗ B ⊗ C is τ-tilting infinite. Due to these reasons, we restrict our interests to the tensor product A ⊗ B where A and B are τ-tilting finite, and the quivers of A and B are acyclic. As such algebras, the class of simply connected algebras is suitable since they are distinguished and well-studied. Let A and B be simply connected algebras. Then the tensor product A ⊗ B is again simply connected (Remark 2.2). Therefore, A ⊗ B is τ-tilting finite if and only if A ⊗ B is representation-finite (Proposition 2.6). This reminds us to consider the classification for representation type of A ⊗ B. We notice that weakly sincere tensor product algebras are classified in [Le] in terms of tame or wild. In the paper [Le], representation-finite is included in tame representation. However, it is still open to distinguish all representation- finite cases from the tame cases. The aim of this paper is to determine representation-finite (not necessarily weakly sincere) tensor products between simply connected algebras. In the first place, we classify τ-tilting finite tensor products A ⊗ B when one of A and B is a hereditary algebra, and this classification is complete. We denote by An (n ≥ 1) the Dynkin diagram of type An. Theorem 1 (= Theorem 3.15). Let A be a path algebra of finite connected acyclic quiver with n ≥ 2 simple modules. Then, the following statements hold. (1) Let B be a hereditary algebra. Then, A ⊗ B is τ-tilting finite if and only if A ≃ k(1 → 2) and B is isomorphic to one of path algebras of A2, A3 or A4. (2) Let B be a simply connected algebra. If k(1 → 2) ⊗ B is τ-tilting finite, then any connected component of the separated quiver of the quiver of B is of type An. (3) Assume that n ≥ 3 and B is a simply connected algebra which is not hereditary. Then, A ⊗ B is τ-tilting finite if and only if A is isomorphic to a path algebra of A3 and B is isomorphic to a Nakayama algebra with radical square zero. By the above result, we have determined τ-tilting finite path algebras AQ with coef- ficients in a path algebra A. We remark that the statement (2) in the above result is included in [AH, Theorem 3.2]. In particular, we have a classification of τ-tilting finite lower triangular matrix algebras of simply connected algebras, and this result is compatible with Aihara and Honma’s results [AH]. In the second place, we consider the case that A and B are not hereditary. We divide the algebras A and B into whether they are Nakayama algebras or not. Here is the second result of this article. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 3 Theorem 2 (= Proposition 4.1). Let A and B be two simply connected algebras. Then the following statements hold. (1) If both A and B are not Nakayama algebras, then A ⊗ B is τ-tilting infinite. (2) If A is a Nakayama algebra which is not radical square zero, and B is not a Nakayama algebra, then A ⊗ B is τ-tilting infinite. (3) If both A and B are Nakayama algebras which are not radical square zero, then A ⊗ B is τ-tilting infinite. (4) If both A and B are Nakayama algebras with radical square zero, then A ⊗ B is τ-tilting finite. It follows from the second result that we may assume that A is a Nakayama algebra with radical square zero. Here, we denote by N(n) the simply connected Nakayama algebra with n simple modules and radical square zero. When we suppose that B is a simply connected not Nakayama algebra, we have the third result. Theorem 3 (= Theorem 4.10). Let B be a simply connected not Nakayama algebra. Then the following statements hold. (1) If B has at least 5 simple modules, then N(n)⊗B is τ-tilting infinite for all n ≥ 4. (2) If B has at least 5 simple modules and N(3) ⊗ B is τ-tilting finite, then B or Bop satisfies the following conditions. (a) B or Bop has the algebra α β γ k 1/ 2o 3 o 4 hγβi, as a quotient. (b) B and Bop do not have one of the algebras α γ 1/ 3 o 4 α♦♦7 2 ❖❖❖β ♦♦ ❖' k β hαβ, γβi and k 1❖❖ ♦7 4 hαβ, γδi ❖❖ ♦♦♦ γ ' δ 2 3 as a quotient. (3) If B has precisely 4 simple modules, then N(n) ⊗ B is τ-tilting finite if and only if either B or Bop is isomorphic to α β γ k 1/ 2o 3 o 4 hγβi. (4) If B has precisely 3 simple modules, then N(n) ⊗ B is τ-tilting finite for all n ≥ 3. Note that Theorem 3 gives us a necessary condition for the τ-tilting finiteness of N(n)⊗ B. More precisely, we have completely determined all τ-tilting finite tensor product N(n)⊗ B, where B is not a Nakayama algebra, except the case that n = 3 and B has at least 5 simple modules. Lastly, we suppose that B is a simply connected Nakayama algebra which is not radical square zero. Theorem 4 (= Theorem 4.11). Let B be a Nakayama algebra which is not radical square zero. Assume that B has the algebra α β γ Λ= k(1 −→ 2 −→ 3 −→ 4)/hαβγi as a quotient. Then, N(n) ⊗ B is τ-tilting infinite for all n ≥ 4.