Arxiv:2106.06423V2 [Math.RT] 18 Jul 2021 Eetyas Uhagba R Called Are Algebras Z Such Support Mi, Many Ad2, Years

arXiv:2106.06423v2 [math.RT] 18 Jul 2021 eetyas uhagba r called are algebras Z Such support Mi, many Ad2, years. [Ad1, finitely recent see only example, having for algebras authors, several by support context, studied this In classifications. theoretic A ewe h e fioopimcasso support of classes For isomorphism of theory. set representation the from support between arising th of from objects classes modules important tilting isomorphism classical of of class set the complete to as n esrpout r lastknover taken always are products tensor and tn o h yknqie ftype of quiver Dynkin the for stand soitv ai once finite-dimensional connected basic associative ednt by denote We epu omns epitdotta hr sasrosgpi gap serious a is version. grat there first very that the also in out 3.3 pointed are He We comments. ones. helpful of representation-finiteness Sectio the comments the modify helpful that for to Honma see suggestion Takahiro to thank great to a givin like us also for would gave Aihara Takuma he to particular, grateful In heartily are authors The hrfr,tesuyo support of study the Therefore, op hogotti ae,w iluetesymbol the use will we paper, this Throughout Let .Wn a atyspotdb SSKKNI20J10492. KAKENHI JSPS by 20K14302. supported KAKENHI partly JSPS was by Wang supported Q. partly was Miyamoto K. 2010 e od n phrases. and words Key ON o h poieagbaof algebra opposite the for • • • • A ahmtc ujc Classification. Subject Mathematics lersi otcases. most in algebras ietebudr of boundary the mine Abstract. vrtetno rdc ftosml once lers In algebras. connected simply two of determine product tensor the over h e ftotr itn opee ntepretderived perfect the in complexes silting two-term of set the h e flf nt eircs([Asa]), semibricks finite t left of set the ucoilyfiietrincassin classes torsion finite functorially τ srcue n co- and -structures ea ler.Tento fsupport of notion The algebra. an be TLIGFNTNS FTNO RDCSBETWEEN PRODUCTS TENSOR OF FINITENESS -TILTING mod τ tligfiieeso esrpout fsml once a connected simply of products tensor of finiteness -tilting τ tligfiietno rdcsbtenpt lers nad In algebras. path between products tensor finite -tilting h anamo hsppri odsustefiieesof finiteness the discuss to is paper this of aim main The - A h aeoyo oue over modules of category the IPYCNETDALGEBRAS CONNECTED SIMPLY ipycnetdalgebras, connected Simply τ t EG IAOOADQ WANG QI AND MIYAMOTO KENGO tligfiieeso esrpout ewe ipyconne simply between products tensor of finiteness -tilting srcue ([KY]). -structures A τ oue r lasfiieygnrtdright generated finitely always are Modules . tligmdlshsapiain otoerepresentation those to applications has modules -tilting Acknowledgment 1. A 61,1G0 68,16S10. 16D80, 16G60, 16G10, Introduction soitdwt h ierorientation. linear the with associated τ τ tligmdlshsrlto osvrlst of sets several to relation has modules -tilting tligfinite -tilting mod 1 k τ τ nagbai lasasmdt ean be to assumed always is algebra An . tligmdlsaeatvl eerhdin researched actively are modules -tilting k -tilting τ - agba Let -algebra. tligfiie esrpouto algebras. of product tensor finite, -tilting A τ k tligmdlsoe ie ler are algebra given a over modules -tilting τ ([AIR]), odnt nagbaclycoe field, closed algebraically an denote to -tilting A o ipiiyo oain let notation, of simplicity For . A n tde yDmnt Iyama, Demonet, by studied and mdlswsitoue n[AIR] in introduced was -modules iwon fmttos The mutations. of viewpoint e A xml,teeaebijections are there example, hsppr ecompletely we paper, this flt aaieAah for Adachi Takahide to eful mdlsand -modules ntefis eso.We version. first the in 3 n ssvrlhlfladvices. helpful several us g A ]ads n nparticular, In on. so and i] i omnsisie us inspired comments His . h ro fProposition of proof the n ea ler.W write We algebra. an be τ aeoy([AIR]), category iin edeter- we dition, tligmodules -tilting gba implies lgebras A cted -modules. A → n - 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 coefficients 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 ﬁnite 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. 4 K. MIYAMOTO AND Q. WANG

As a summary in the case that both A and B are not hereditary, we may give a visualization table below to illustrate the τ-tilting finiteness of A ⊗ B. This may be useful for the reader to understand our results. In the table below, F means τ-tilting finite, and IF means τ-tilting infinite. We denote by rad(A) the Jacobson radical of A and by |A| the number of isomorphism classes of simple A-modules.

B :Nakayama B:Not Nakayama A ⊗ B (A, B: simply connected) rad2 = 0 rad2 6= 0 n = 3 n ≥ 4 |B| = 3 |B| = 4 |B|≥ 5

n = 3 F F Open F Th. 3 Th. 3 rad2 = 0 A:Nakayama n ≥ 4 F F Th. 4 F Th. 3 IF rad2 6= 0 Open Th. 4 IF IF IF IF |A| = 3 F F IF IF IF IF A:Not Nakayama |A| = 4 Th. 3 Th. 3 IF IF IF IF |A|≥ 5 Th. 3 IF IF IF IF IF

2. Preliminaries

2.1. Notations. By a quiver we mean a quadruple Q = (Q0,Q1,s,t) consisting of two sets Q0, Q1 and two maps s,t : Q1 → Q0. Each element of Q0 (resp. Q1) is called a vertex (resp. an arrow). For an arrow α ∈ Q1, we call s(α) (resp. t(α)) the source (resp. the α target) of α. We will commonly write a −→ b or α : a → b to indicate that an arrow α has the source a and the target b. A quiver Q is finite if two sets Q0 and Q1 are finite sets, and is acyclic if there is no cycle path in Q. A full subquiver ∆ of Q is convex if, for any path a0 → a1 →···→ am with a0, am ∈ ∆0, we have ai ∈ ∆0 for all 1 ≤ i ≤ m. For a op quiver Q = (Q0,Q1,s,t), we call the quiver Q = (Q0,Q1,t,s) the opposite quiver. Then we have the quiver morphism (−)op : Q → Qop defined by swapping the source and the target of each arrow. Let Q be a finite quiver. The separated quiver of Q, say Qsp, is the acyclic quiver defined as follows. sp • Q0 = Q0 × {0, 1}. sp αsp • Q1 = {(a, 0) −−→ (b, 1) | α : a → b ∈ Q1}. ′ sp A full subquiver Q of Q is called a single subquiver if, for any a ∈ Q0, at most one of ′ (a, 0) or (a, 1) belongs to Q0. Given a finite quiver Q, the path algebra kQ is the k-algebra whose underlying k-vector space has the set of all paths in Q as its basis and the multiplication is given by the concatenation of paths. We observe that the quiver morphism (−)op induces an algebra isomorphism kQop ≃ (kQ)op. For a path algebra kQ, the two-sided ideal in kQ generated by all paths with length l ≥ 1 is denoted by RQ. An ideal I in kQ is said to be admissible m 2 if there exists a positive integer m such that RQ ⊆I⊆ RQ. A relation in kQ is a k-linear m combination ρ = i=1 λiwi of paths w1, . . . , wm in Q of length at least 2 having a common × source a and a common target b, with λ1, . . . , λm ∈ k . If m = 1, the relation ρ is called P a monomial relation. If the relation ρ is of the form w1 − w2, then the relation is called ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 5 a commutativity relation. The relation ρ is minimal if m ≥ 2 and, for any non-empty proper subset J ⊂ {1, 2,...,m}, we have i∈J λiwi 6∈ eaIeb. It is well-known that any admissible ideal is generated by a set of a finite number of relations. If I is an admissible ideal in kQ, then the pair (Q, I) is called aP bound quiver, and the quotient algebra kQ/I is called the bound quiver algebra of (Q, I). Note that the opposite algebra of a bound quiver algebra kQ/I is isomorphic to kQop/Iop. Let A be an algebra. We call a bound quiver (QA, I) a presentation of A if there exists an algebra isomorphism A ≃ kQA/I. In fact, for any algebra A, there exists a unique quiver QA, and at least a surjective algebra morphism ϕ : kQA → A, see [ASS]. An algebra A is local if and only if the number of vertices of QA is just 1. A bound quiver algebra A ≃ kQA/I is triangular if QA is acyclic. We say that A is radical square 2 zero if I = rad (kQA). Let A ≃ kQA/I be a bound quiver algebra. By a convex subalgebra of A we mean an algebra of the form k∆/J , where ∆ is a convex subquiver of QA and J = I∩ k∆. For a vertex i ∈ (QA)0, we denote by ei the corresponding primitive idempotent of A. A concealed algebra is an endomorphism algebra B = EndA(P ), where P is a preprojective tilting module over a path algebra A = kQ. If Q is one of Euclidean quivers, then B is called tame concealed ([SS2]). For general facts on the mordan representation theory of algebras, we refer to [ARS, ASS, SY1, SY2].

2.2. Tensor product of algebras. Let A and B be algebras. Then the tensor product A ⊗ B can be given the structure of a k-algebra by deﬁning the multiplication on the elements of the form a ⊗ b by (a1 ⊗ b1)(a2 ⊗ b2)= a1a2 ⊗ b1b2. We call the algebra A ⊗ B the tensor product of algebras A and B. For example, the n × n lower triangular matrix algebra of an algebra A, that is, A 0 · · · 0 A A · · · 0 Tn(A)=  . . . .  . . .. .   A A · · · A   → →   is isomorphic to A ⊗ kAn, where An = 1 → 2 →···→ n. Let A ≃ kQA/IA and B ≃ kQB/IB be two bound quiver algebras. To give a presentation of A ⊗ B, we deﬁne the tensor product of bound quivers (QA, IA) and (QB, IB), say (QA ⊗ QB, IA ⋄IB), as follows.

• The quiver QA ⊗ QB has the vertex set (QA ⊗ QB)0 = (QA)0 × (QB)0 and the arrow set (QA ⊗ QB)1 = ((QA)1 × (QB)0) ∪ ((QA)0 × (QB)1) with the maps s and t deﬁned by

s(α × v)= sA(α) × v, s(u × β)= u × sB(β),

t(α × v)= tA(α) × v, t(u × β)= u × tB(β)

for (α, v) ∈ (QA)1 × (QB)0 and (u, β) ∈ (QA)0 × (QB)1, where sA(α) (resp. tA(α)) is the source of α (resp. the target of α) and sB(β) (resp. tB(β)) is the source of β (resp. the target of β). • The ideal IA ⋄IB in k(QA ⊗ QB) is generated by ((QA)0 ×IB) ∪ (IA × (QB)0) and elements of the form (a, βcd)(αab, d) − (αab, c)(b, βcd), where αab and βcd run through all arrows αab : a → b in (QA)1 and βcd : c → d in (QB)1.

Then, the pair (QA ⊗ QB, IA ⋄IB) becomes a presentation of A ⊗ B, see [Le, Lemma 1.3]. 6 K. MIYAMOTO AND Q. WANG

2.3. Simply connected algebras. In this subsection, we recall the definition and some properties of simply connected algebras. For details, see [As, AS, MP]. −1 Let (Q, I) be a connected bound quiver. For an arrow α ∈ Q1, we write α for the formal inverse of α. Let a and b be vertices of Q. A walk from a to b is a formal composition ε1 ε2 εm α1 α2 · · · αm , where αi ∈ Q1 and εi ∈ {±1} for i = 1, 2,...,m. For each vertex a ∈ Q0, we understand the trivial path ea as the stationary walk at a. If w is a walk from a to b and w′ is a walk from b to c, the multiplication ww′ is given by concatenation of w and ′ ∗ w . We denote by Q the set of all walks of Q. Then, the homotopy relation ∼I is defined to be the smallest equivalence relation on Q∗ satisfying the following three conditions. −1 −1 α • αα ∼I ea and α α ∼I eb for each arrow a −→ b. m • For each minimal relation i=1 λiwi in I, we have wi ∼I wj for all 1 ≤ i, j ≤ m. ′ ′ ′ • If u, v, w and w are walks such that u ∼I v and w ∼I w , then we have wuw ∼I wvw′ whenever the multiplicationsP are defined. We denoted by [w] the equivalence class of a walk w. The multiplication on Q∗ induces the multiplication [w] · [w′] = [ww′]. Let a ∈ Q0 be a fixed vertex, π1(Q, I, a) the set of equivalence classes of all walks from a to a. It is easily seen that π1(Q, I, a) becomes a group via the above multiplication. It is well-known that the group π1(Q, I, a) does not depend on the choice of a ∈ Q0. We call the group π1(Q, I) := π1(Q, I, a) the fundamental group of (Q, I). A connected triangular algebra A is called simply connected if, for every presentation (Q, I) of A, the fundamental group π1(Q, I) is trivial. Example 2.1. (1) Let A ≃ kQ/I be a bound quiver algebra such that Q is a tree. Then, A is simply connected. → (2) The quiver of a simply connected Nakayama algebra is An for some n ≥ 1. Remark 2.2. (1) Let A and B be algebras. Then, A ⊗ B is simply connected if and only if A and B are simply connected, see [Le, Lemma 1.7]. (2) If dimk(eiAej) ≤ 1 for all i, j ∈ Q0, the algebra A is said to be Schurian. Let A and B be triangular algebras. Then A ⊗ B is Schurian if and only if A and B are Schurian. A A B B Indeed, one can see the equivalent above as follows. Let {e1 ,...,en } and {e1 ,...,em} be complete sets of primitive orthogonal idempotents in A and B, respectively. Then A B {ei ⊗ ej | 1 ≤ i ≤ n, 1 ≤ j ≤ m} is a complete set of primitive orthogonal idempotents in A ⊗ B. For each i, j, k and l, we have A B A B A A B B dimk(ei ⊗ ej )(A ⊗ B)(ek ⊗ el )= dimk(ei Aek ) × dimk(ej Bel ). It implies that A and B are Schurian if and only if A ⊗ B is Schurian. 2.4. τ-tilting finite algebras. In this subsection, we recall the definition of τ-tilting finite algebras and collect some results on τ-tilting finite algebras which are needed to discuss τ-tilting finiteness of algebras. For details, see [AIR, DIJ, DIRRT]. Definition 2.3. Let A be an algebra, and τ the Auslander–Reiten translation of mod-A. A module M ∈ mod-A is τ-rigid if HomA(M,τM) = 0, and it is τ-tilting if, in addition, the number of non-isomorphic indecomposable direct summands of M coincides with the number of isomorphism classes of simple A-modules. We call M support τ-tilting if there is an idempotent e ∈ A such that M is a τ-tilting module over A/AeA. The algebra A is called τ-tilting finite if there are only finitely many isomorphism classes of basic τ-tilting A-modules. According to [DIJ], the following statements are equivalent for an algebra A: ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 7

(a) A is τ-tilting finite. (b) A has only finitely many isomorphism classes of support τ-tilting modules. (c) A has only finitely many isomorphism classes of A-modules X such that EndA(X) is a division algebra. Such a module X is called a brick. Example 2.4. (1) Any local algebra Λ has precisely two basic support τ-tilting modules Λ and 0. Thus, Λ is τ-tilting finite. (2) Let A = kQ, where Q is acyclic. By Gabriel’s theorem, A is representation-finite if and only if Q is one of Dynkin quivers. If Q is not a Dynkin quiver, the Auslander–Reiten quiver of A contains a preprojective component which has infinitely many vertices. Since any preprojective module is a brick, A is τ-tilting infinite. As a consequence, A is τ-tilting finite if and only if Q is a Dynkin quiver. Lemma 2.5 ([Pl, Corollary 2.4], [AIR, Theorem 2.14]). Let A be a τ-tilting finite algebra. Then, the following assertions hold. (1) The quotient algebra A/I is τ-tilting finite for any two-sided ideal I in A. (2) The idempotent truncation eAe is τ-tilting finite for any idempotent e of A. (3) The opposite algebra Aop is τ-tilting finite. As a strategy to determine that an algebra is τ-tilting finite or not, we use the Happel– Vossieck’s list [HV] since algebras containing a tame concealed algebra as a quotient are τ-tilting infinite [AHMW, Proposition 4.5]. Any representation-finite algebra is τ-tilting finite, but the converse is not true. For example, the symmetric Kronecker algebra k[x,y]/(x2,y2) is τ-tilting finite but it is of infinite representation type. However, some authors gave classes of algebras such that the converse holds, see [AH, AHMW, MS, Pl, Wa, Zi]. Now, we show that any τ-tilting finite tensor product of two simply connected algebras is representation-finite. Proposition 2.6. Let A and B are simply connected algebras. Then A ⊗ B is τ-tilting finite if and only if A ⊗ B is representation-finite. Proof. Let A and B be simply connected algebras. Then A ⊗ B is also simply connected. Therefore, the assertion follows from [Wa, Theorem 3.4]. Corollary 2.7. Let A be a simply connected algebra which is not Schurian. Then A is τ-tilting infinite. Proof. It is well-known that any triangular algebra which is not Schurian is representation- infinite, see [MP, Lemma 2.2]. Thus, the assertion follows from Proposition 2.6. As a corollary, we determine algebras over which enveloping algebras of simply connected algebras are τ-tilting finite. Let A be an algebra. The enveloping algebra of A is Ae := A ⊗ Aop. Corollary 2.8. Let A be a simply connected algebra. Then, the enveloping algebra Ae is τ-tilting finite if and only if A is a simply connected Nakayama algebra with radical square zero. Proof. Combine [LS2, Theorem 7.1] and Proposition 2.6.

3. τ-tilting finiteness of tensor product algebras: the case of path algebras From this section, we discuss τ-tilting ﬁniteness of tensor products of algebras. First, → we give the following observations. Recall that An = 1 → 2 →··· → n. We denote by 8 K. MIYAMOTO AND Q. WANG

N(n) the simply connected Nalayama algebra with n-simple modules and radical square zero, that is, → → 2 N(n)= kAn/rad (kAn).

Proposition 3.1. Let QA be the quiver of an algebra A. If QA contains an oriented cycle which is not a loop, then A ⊗ A is τ-tilting infinite. Proof. It suffices to show that Λ := (A ⊗ A)/rad2(A ⊗ A) is τ-tilting infinite. Assume that QA admits a cycle which is not a loop of the form ❡❡❡❡ n l❨❨❨❨❨❨ ❡❡❡❡❡❡ ❨❨❨❨❨❨ ❡❡❡❡❡ ❨❨❨❨❨❨ ❡❡❡❡❡ ❨❨❨❨❨❨ ❡❡❡❡❡❡ ❨❨❨❨ 1❡r / 2/ 3 / · · · / n − 3 / n − 2 / n − 1.

By the construction of the quiver QA ⊗ QA, it contains the following two kinds of cycles for any 1 ≤ k ≤ n: (k,n) ❣❣❣❣ ❳k ❳❳❳❳ ❣❣❣❣❣ ❳❳❳❳❳ ❣❣❣❣❣ ❳❳❳❳❳ ❣❣❣❣❣ ❳❳❳ (k, 1)s / (k, 2) / · · · / (k,n − 2) (/ k,n − 1),

(n, k) ❣❣❣❣ ❳k ❳❳❳❳ ❣❣❣❣❣ ❳❳❳❳❳ ❣❣❣❣❣ ❳❳❳❳❳ ❣❣❣❣❣ ❳❳❳ (1, k)s / (2, k) / · · · / (n − 2, k) (/ n − 1, k). sp Then, there exists the single subquiver of (QA ⊗ QA) of the form: (2, 1, 1)o (2, n, 0)/ (3, n, 1) o · · · (s + 1,s + 2,ǫ) ♦♦7 ❚❚❚ ǫ ♦♦ ❚❚❚❚ ♦♦♦ ❚❚ (1, 1, 0)❖ (s + 1,s + 1,ǫ). ❖❖ ǫ ❥❥❥ ❖❖❖ ❥❥❥❥ ❖' ❥❥ (1, 2, 1) o (n, 2, 0) / (n, 3, 1) o · · · (s + 2,s + 1,ǫ) Here, ǫ 2s − 1 if n is odd, 1 if n is odd, ǫ −−→ if n is odd, n = ǫ = = ǫ 2s if n is even, 0 if n is even, ←−− if n is even. ( Therefore, Λ is τ-tilting infinite by [Ad1, Theorem 3.1]. Proposition 3.2. Let A, B and C be algebras. (1) If A ⊗ B is τ-tilting finite, then A and B are τ-tilting finite. (2) If the quiver of A or B has multiple arrows, then A ⊗ B is τ-tilting infinite. (3) If A, B and C are non-local, then A ⊗ B ⊗ C is τ-tilting infinite. Proof. (1) and (2) are obvious. (3) Since all A, B and C are non-local, we have a surjection → → → A ⊗ B ⊗ C → kA2 ⊗ kA2 ⊗ kA2. → → → Since kA2 ⊗ kA2 ⊗ kA2 is representation infinite, (3) holds by Proposition 2.6. Remark 3.3. Proposition 3.2 (3) was shown in [AH, Proposition 4.1 (2)]. In the paper [AH], the τ-tilting finiteness of A ⊗ B, where A or B is local, has been studied. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 9

Proposition 3.4. Assume that B is a local algebra. Then A is τ-tilting finite if and only if A ⊗ B is τ-tilting finite. Proof. The functor −⊗ B gives a bijection between the set of 2-term silting objects of Kb(proj-A) and those of Kb(proj-(A ⊗ B)) as posets, see [AH, Theorem 2,1]. From now on, we focus on the tensor products of simply connected algebras A and B. It follows from [Wa, Theorem 3.4] that both A and B are representation-finite. Unless otherwise stated we make the following assumption: Assumption. The algebras A and B are non-local simply connected and representation- finite. First, we consider the case where A is hereditary. By our assumption (or Example 2.4), the quiver of A is one of Dynkin quivers.

3.1. The case of path algebras of type A. Let n ≥ 2 and An the Dynkin diagram of type A: An = 1 2 3 4 n − 1 n.

We define ε := (ε1, ε2,...,εn−1) with εi ∈ {+, −} (1 ≤ i ≤ n − 1) to be the orientation of An as follows. i −→ i +1 if εi =+, i + 1 −→ i if εi = −. ε We write An for the path algebra of type A associated with the orientation ε. Note that, ε if εi = + (or −) for all i, the tensor product An ⊗ B is isomorphic to the lower triangular matrix algebra Tn(B). Proposition 3.5. Let B be a simply connected algebra. Then the following statements are equivalent. (+) (1) A2 ⊗ B is τ-tilting finite. (+) (2) A2 ⊗ B is representation-finite. Moreover, if B is representation-finite, then (3) is also equivalent to (1). (3) B and Bop does not contain one of algebras in the family (IT) in [LS] as a quotient algebra.

(+) Proof. Since the algebra A2 ⊗ B is simply connected, the statement (1) and (2) are equivalent from Proposition 2.6. Besides, the statement (2) and (3) are equivalent by [LS, Theorem 4]. A ε (+) Corollary 3.6. Let ε be an orientation of n. Then, An ⊗ A2 is τ-tilting ﬁnite if and only if n ≤ 4.

(+) Proposition 3.7. Let B ≃ kQ/I be a simply connected algebra. If A2 ⊗ B is τ-tilting sp ﬁnite, then any connected component of the separated quiver Q is of type An.

Proof. If A(+) ⊗ B is τ-tilting ﬁnite,then, so is B′ = (A(+) ⊗ B)/rad2(A(+) ⊗ B). By 2 → 2 2 sp [Ad1, Theorem 3.1], any single subquiver of (A2 ⊗ Q) is a ﬁnite disjoint union of Dynkin quivers. sp Suppose that Q admits a connected component which is not of type An, say C. Then, C is of type An or contains subquiver of type D4. If C contains subquiver of D4, then Q

f 10 K. MIYAMOTO AND Q. WANG has one of the following quivers 1/ 3 o 4 1o 3 / 4 O or 2 2 → sp as a subquiver since Q does not admit loops. This implies that (A2 ⊗ Q) admits a quiver of type D4 as a single subquiver, a contradiction. If C contains subquiver of type An, then Q contains the following subquiver: f ❧ 1 ❚❚ ❧❧❧ ❚❚❚❚ f❧❧❧ ❚❚❚❚ ❧❧❧ ❚❚❚ ❧❧❧ ❚❚❚ 2uo 3/ 4 n − 1 /* n. This contradicts the fact that B is simply connected. Remark 3.8. Proposition 3.7 is a special case of [AH, Theorem 3.2]. In that paper, they showed it under the assumption that B does not have loops. ε ω Lemma 3.9. The tensor product A3 ⊗ A3 is τ-tilting inﬁnite for any choices of ε and ω. Proof. We need only to consider the following four cases: • ε = (++), ω = (++) • ε = (++), ω = (−+) • ε = (+−), ω = (+−) • ε = (+−), ω = (−+) ε ω For each case, we prove that the tensor product A3 ⊗ A3 has a tame concealed algebra as a quotient, which is indicated by the black points below. Here, all squares of the quivers below are commutative. • The case ε = (++), ω = (++): (++) (++) The algebra A3 ⊗ A3 is presented as follows. ◦/ •/ •

•/ •/ •

•/ •/ ◦ (++) (++) Then, the algebra A3 ⊗ A3 admits a tame concealed algebra of type D4 as a factor, see the Happel–Vossieck list [HV]. f • The case ε = (++), ω = (−+): (++) (−+) The algebra A3 ⊗ A3 is presented as follows. •/ •/ ◦ O O O

•/ •/ •

•/ •/ ◦ (++) (−+) Then, the algebra A3 ⊗ A3 admits a tame concealed algebra of type E6 as a factor, see the Happel–Vossieck list [HV]. f ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 11

• The case ε = (+−), ω = (+−): (+−) (+−) The algebra A3 ⊗ A3 is presented as follows. ◦/ •o ◦

•/ •o • O O O

◦/ •o ◦ (+−) (+−) Then, the algebra A3 ⊗ A3 admits a tame concealed algebra of type D4 as a factor, see the Happel–Vossieck list [HV]. f • The case ε = (+−), ω = (−+): (+−) (−+) The algebra A3 ⊗ A3 is presented as follows. •/ ◦o • O O O

•/ •o •

•/ ◦o • (+−) (−+) Then, the algebra A3 ⊗ A3 admits a tame concealed algebra of type D6 as a factor, see the Happel–Vossieck list [HV]. f We have finished proving the statement. ε Lemma 3.10. Let B be a simply connected algebra. Then, A3 ⊗ B is τ-tilting finite if (+) and only if B is isomorphic to A2 or N(n) for some n. ε (+) Proof. By Corollary 3.6, A3 ⊗ A2 is τ-tilting finite. Now, we may assume that B is (+) ω not isomorphic to A2 . If B contains A3 for some ω as a quotient, there is a surjection ε ε ω ε A3 ⊗B → A3 ⊗A3 . It follows from Lemma 3.9 that A3 ⊗B is τ-tilting infinite. Therefore, ε (+) if A3 ⊗ B is τ-tilting finite, then B is isomorphic to one of algebras A2 or N(n) for some n. ε ε Conversely, we prove that Γ(3,n) := A3 ⊗ N(n) is τ-tilting finite for each ε. By Lemma 2.5, it is enough to show the case ε = (++) and (+−). However, for each ε, the algebra ε Γ(3,n) is representation-finite. Hence it is τ-tilting finite. ε Lemma 3.11. Let B be a simply connected algebra. Then, A4 ⊗ B is τ-tilting finite if (+) and only if B is isomorphic to A2 . ε (ε1,ε2,ε3) Proof. Assume that A4 ⊗ B is τ-tilting finite. Since there is a surjection A4 ⊗ B → (ε1,ε2) (+) (+) A3 ⊗ B, the algebra B is isomorphic to A2 or N(n) for some n. If B ≃ A2 , then ε A4 ⊗ B is τ-tilting finite by Corollary 3.6. ε ε We prove that Γ(4,n) := A4 ⊗ N(n) is τ-tilting infinite for each ε. By Proposition 2.6, it ε suffices to prove Γ(4,3) is representation-infinite for ε = (+++), (+−+), (−++), (++−). • The case ε = (+ + +): (+++) It follows from [LS2, Theorem 6.1] that Γ(4,3) is representation-infinite. 12 K. MIYAMOTO AND Q. WANG

• The case ε = (+ − +): (+−+) The algebra Γ(4,3) is presented by the quiver ◦/ •o ◦/ ◦

•/ •o •/ •

◦/ ◦o •/ ◦ and the ideal generated by all commutativity relations for each square and all paths ◦→◦→◦ in each column. If we focus on black points in the above quiver, then we (+−+) (+−+) notice that there is a surjection Γ(4,3) → kD5. Thus, Γ(4,3) is representation- inﬁnite. f • The case ε = (− + +): (−++) The algebra Γ(4,3) is presented by the quiver •o ◦/ ◦/ •

•o •/ •/ •

◦o •/ •/ ◦ and the ideal generated by all commutativity relations for each square and all paths ◦→◦→◦ in each column. If we focus on black points in the above quiver, (−++) then one sees from the Happel–Vossieck list [HV] that Γ(4,3) contains a tame (−++) concealed algebra of E7 as a factor. Thus, Γ(4,3) is representation-inﬁnite.

• The case ε = (++ −)f: (++−) The algebra Γ(4,3) is presented by the quiver ◦/ ◦/ •o ◦

•/ •/ •o •

•/ •/ ◦o ◦ and the ideal generated by all commutativity relations for each square and all paths ◦→◦→◦ in each column. If we focus on black points in the above quiver, (++−) then one sees from the Happel–Vossieck list [HV] that Γ(4,3) contains a tame (++−) concealed algebra of D5 as a factor. Thus, Γ(4,3) is representation-inﬁnite. We have done. f Lemma 3.12. Let B be a non-local connected (not necessary simply connected) algebra. ε Assume that n ≥ 5. Then, An ⊗ B is τ-tilting inﬁnite for all orientation ε.

ε ε (+) Proof. Since there is a surjection An ⊗B → A5 ⊗A2 , we have the assertion by Corollary 3.6. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 13

3.2. The case of path algebras of type D and E. Next, we consider the case of type D. For n ≥ 4, we denote by Dn the Dynkin diagram of type D.

1 ❖❖❖ D ❖ n = ♦ 3 4 n − 1 n ♦♦♦ 2

We define ε = (ε1, ε2,...,εn−1) with εi ∈ {+, −} (1 ≤ i ≤ n − 1) to be the orientation of Dn as follows. 1 −→ 3 if ε1 =+, 3 −→ 1 if ε = −,  1 2 −→ 3 if ε =+,  2  3 −→ 2 if ε = −,  2  i −→ i +1 if εi = +, i ≥ 3,  i + 1 −→ i if εi = −, i ≥ 3.  We write Dε for the path algebra of a Dynkin quiver of type D associated with an n  orientation ε. Lemma 3.13. Let B be a non-local connected (not necessary simply connected) algebra, D ε ε an arbitrary orientation of n for n ≥ 4. Then, the tensor product Dn ⊗ B is τ-tilting infinite for any n ≥ 4. D ε Proof. Let ε = (ε1,...,εn−1) be an orientation of n. Since there is a surjection Dn ⊗B → (ε1,...,ε4) (+) (ε1,...,ε4) (+) D4 ⊗ A2 , it is enough to show that the algebra D4 ⊗ A2 is τ-tilting infinite. However, this follows from Proposition 3.5 and the Leszcyński–Skowroński’s (IT) list [LS2].

Let E6, E7 and E8 be the Dynkin diagrams of type E. They contain D4 as a subgraph, we have the following assertion from Lemma 3.13. Lemma 3.14. Let B be a non-local connected (not necessary simply connected) algebra, E a path algebra of type E. Then, the tensor product E ⊗ B is τ-tilting infinite. 3.3. Summary. Summing up, we have the first main result. 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. Remark 3.16. The statements of Theorem 3.15 (1) and (3) are slight generalizations of [AH]. As we mentioned above, Theorem 3.15 (2) is a special case of [AH, Theorem 3.2].

4. τ-tilting finiteness of tensor product algebras: general cases In this section, we discuss the τ-tilting ﬁniteness of the tensor product of algebras A ⊗ B such that A and B are simply connected algebras which are not hereditary. We may assume that both A and B have at least 3 simple modules in this section. 14 K. MIYAMOTO AND Q. WANG

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. ε ω Proof. (1), (2), and (3) We notice that there are surjections A ⊗ B → A3 ⊗ A3 for some orientations ε and ω. Therefore, the assertion follows from Lemma 3.9. (4) Let A and B be two simply connected Nakayama algebras with radical square zero. By the construction of a presentation of A ⊗ B, it is special biserial. Then, it follows from [ABM] that the algebra A ⊗ B is of finite representation type. 4.1. The case that B is not Nakayama. In this subsection, we consider the case that B is not a Nakayama algebra. In the first place, let us consider simply connected algebras with exactly 3 simple modules. Lemma 4.2. Let B be a simply connected algebra with precisely 3 simple modules. Then, N(n) ⊗ B is τ-tilting finite for any n ≥ 3. Proof. Let Q be an acyclic quiver whose underlying graph is a triangle. Then, the fundamental group of any bound quiver algebra whose quiver is Q is isomorphic to Z. Thus, a simply connected algebra with exactly 3 simple modules is isomorphic to one of path algebras of type A3 for some orientation. Thus, the assertion follows from Theorem 3.15 and Proposition 4.1.

Next, we consider the case that B ≃ kQB/I is a simply connected not Nakayama algebra with exactly 4 simple modules. Then, QB is one of the following quivers;

1 ❖❖❖ ♦♦7 2 ❖❖❖ ❖ ♦♦ ❖' (4-1) : 1 2 3 4 , (4-2) : ♦ 3 4 , (4-3) : 1❖❖ ♦7 4 , ♦♦♦ ❖❖ ♦♦♦ 2 ' 3 where ◦ − ◦ means either ◦ → ◦ or ◦ ← ◦ and the dotted line in (4-3) means that the commutativity relation of the square lies in I. Immediately, as a consequence of Theorem 3.15, if B contains one of path algebras of An or Dn (n ≥ 4) as a quotient, then N(n) ⊗ B is τ-tilting infinite. Lemma 4.3. Let B be a simply connected not Nakayama algebra whose quiver is of the form (4-1) and n ≥ 3. Then, N(n) ⊗ B is τ-titling finite if and only if B or Bop is isomorphic to α β γ B1 = k 1/ 2o 3 o 4 hγβi. Proof. We may assume that B is not hereditary. Then, any simply connected not Nakayama op algebra whose quiver is of the form (4-1) must be either B1 or B1 . If n ≥ 5, then the algebra N(n) ⊗ B1 is representation finite by [Le, (A) in pp. 155]. For n = 3, 4, we have a surjection N(5) ⊗ B1 → N(n) ⊗ B1. Hence, N(n) ⊗ B1 is τ-tilting finite for any n ≥ 3. Lemma 4.4. Let B be a simply connected algebra whose quiver is of the form (4-2). Then, N(n) ⊗ B is τ-titling infinite for any n ≥ 3. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 15

Proof. We may suppose that B is not hereditary. Since any such an algebra B has either the following algebra α γ 1/ 3 o 4 Λ= k  β  hαβ, γβi  2    or its opposite algebra Λop as a quotient, it is enough to show that N(3) ⊗ Λ is τ-tilting inﬁnite. A presentation of N(3) ⊗ Λ is given by the following quiver and relations.

◦/ • o ◦ ✟✟ Ô✟ relations • (i) The squares are commutative. (ii) The composition of any pair of Q = •/ • o • Λ ✟ composable vertical arrows is zero. ✟✟ ◦ Ô (iii) The composition of any pair of composable arrows in each row is zero. •/ ◦ o • ✟ ✟✟ ◦ Ô

Then, we notice that N(3)⊗Λ has a tame concealed algebra of type E6, which is indicated by • in QΛ. Hence, N(3) ⊗ Λ is τ-tilting inﬁnite. f Lemma 4.5. Let B be the algebra of the form (4-3). For n ≥ 3, the algebra N(n) ⊗ B is τ-tilting inﬁnite. Proof. Let Λ be the bound quiver algebra given by the following quiver and relations.

α 2 ❖ β ♦♦7 ❖❖❖ ♦♦ ' quiver: 1❖❖ ♦7 4 , relations : αβ = 0, γδ = 0 ❖❖ ♦♦♦ γ ' 3 δ Since there is a surjection B → Λ, it suﬃces to show that N(3) ⊗ Λ is τ-tilting inﬁnite. A presentation of N(3) ⊗ Λ is obtained by the following quiver and relations. relations / / (i) The squares are commutative. ⑧1⑧ 2 ⑧3 ⑧⑧ ⑧⑧ ⑧⑧ (ii) The composition of composable arrows ⑧ ⑧ ⑧ 4 / 5/ 6 of the form i → i + 1 → i + 2 is zero. , / / (iii) The composition of composable arrows 7 8⑧ 9 ⑧⑧ of the form i → i + 3 → i + 6 is zero. ⑧ 10 / 11 / 12 (iv) The composition of composable arrows of the form i → i + 6 → i + 3 is zero.

Then, we notice that N(3)⊗Λ has a tame concealed algebra of type A6, which is indicated by red vertices in the above quiver. f In the last of this subsection, we consider the case that B ≃ kQB/I is a simply connected not Nakayama algebra with exactly 5 simple modules. However, as described above, it is enough to consider only the case that the quiver QB is given by adding one vertex to the rightmost or leftmost of the quiver 1 → 2 ← 3 ← 4 and B has the algebra B1 as a quotient. 16 K. MIYAMOTO AND Q. WANG

We consider the following quivers.

α β γ δ α β γ δ (5-1) : 1/ 2o 3o 4 o 5 (5-2) : 1/ 2o 3o 4 / 5 δ α β γ δ α β γ (5-3) : 5 / 1/ 2o 3 o 4 (5-4) : 5 o 1/ 2o 3 o 4 Lemma 4.6. Let B be a simply connected algebra whose quiver is of the form (5-1). For n ≥ 4, the algebra N(n) ⊗ B is τ-tilting inﬁnite.

Proof. Let B(5-1) be the algebra given by the quiver (5-1) and relations δγ = 0 and γβ = 0. Notice that there is a surjection N(n)⊗B → N(4)⊗B(5-1). A presentation of N(4)⊗B(5-1) is obtained by the quiver ◦/ •o ◦o ◦o ◦

•/ •o •o ◦o ◦

•/ ◦o •o •o ◦

◦/ ◦o ◦o •o • and the following relations. (i) The squares are commutative. (ii) The composition of any pair of composable vertical arrows is zero. (iii) The composition of any pair of composable horizontal arrows is zero. If we focus on black points in the above quiver, then one sees from the Happel–Vossieck list [HV] that N(4) ⊗ B(5-1) contains a tame concealed algebra of E8 as a factor. Thus, it is τ-tilting inﬁnite. f Lemma 4.7. Let B be a simply connected algebra whose quiver is of the form (5-2). For n ≥ 3, the algebra N(n) ⊗ B is τ-tilting inﬁnite.

Proof. Let B(5-2) be the algebra given by the quiver (5-2) and the relation γβ = 0. Notice that there is a surjection N(n) ⊗ B → N(3) ⊗ B(5-2). A presentation of N(3) ⊗ B(5-2) is obtained by the quiver ◦/ •o ◦o ◦/ ◦

•/ •o •o ◦/ •

•/ ◦o •o •/ • and the following relations. (i) The squares are commutative. (ii) The composition of any pair of composable vertical arrows is zero. (iii) The composition of any pair of composable horizontal arrows is zero. If we focus on black points in the above quiver, then one sees from the Happel–Vossieck list [HV] that N(3) ⊗ B(5-2) contains a tame concealed algebra of E8 as a factor. Thus, it is τ-tilting inﬁnite. f Lemma 4.8. Let B be a simply connected algebra whose quiver is of the form (5-3). For n ≥ 3, the algebra N(n) ⊗ B is τ-tilting inﬁnite. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 17

Proof. Let B(5-3) be the algebra given by the quiver (5-3) and relations δα = 0 and γβ = 0. Notice that there is a surjection N(n)⊗B → N(3)⊗B(5-3). A presentation of N(3)⊗B(5-3) is obtained by the quiver ◦/ ◦/ •o ◦o ◦

◦/ •/ •o •o ◦

•/ •/ ◦o •o • and the following relations. (i) The squares are commutative. (ii) The composition of any pair of composable vertical arrows is zero. (iii) The composition of any pair of composable horizontal arrows is zero. If we focus on black points in the above quiver, then one sees from the Happel–Vossieck list [HV] that N(3) ⊗ B(5-3) contains a tame concealed algebra of E7 as a factor. Thus, it is τ-tilting inﬁnite. f Lemma 4.9. Let B be a simply connected algebra whose quiver is of the form (5-4). For n ≥ 3, the algebra N(n) ⊗ B is τ-tilting inﬁnite.

(−+−) Proof. We notice that there is a surjection N(n)⊗B → N(3)⊗A4 . Thus, this follows from Theorem 3.15.

Summing up, we have the following theorem. Theorem 4.10. Let B be a simply connected not Nakayama algebra. Then the following assertions 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 both the algebras

α γ 1/ 3 o 4 k  β  hαβ, γβi  2      and (4-3) as a quotient. (3) If B has precisely 4 simple modules, then N(n) ⊗ B is τ-tilting ﬁnite 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 ﬁnite for all n ≥ 3. 18 K. MIYAMOTO AND Q. WANG

4.2. The case that B is Nakayama. Let B be a Nakayama algebra which is not radical square zero. By Theorem 3.15, we may suppose that B has at least 4 simple modules and B is not hereditary. In this case, determining the τ-tilting finite tensor product of algebras is complicated. However, we have a partial solution. 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. Proof. By the existence of a surjection N(n) ⊗ B → N(4) ⊗ Λ, we prove that N(4) ⊗ Λ is τ-tilting infinite. A presentation of N(4) ⊗ Λ is given by the quiver ◦/ ◦/ ◦/ •

◦/ •/ •/ •

•/ •/ •/ ◦

•/ ◦/ ◦/ ◦ and the following relations. (i) The squares are commutative. (ii) The composition of any pair of composable vertical arrows is zero. (iii) The paths from the leftmost to the rightmost in each row is zero. If we focus on black points in the above quiver, then one sees from the Happel–Vossieck list [HV] that N(4) ⊗ Λ contains a tame concealed algebra of E7 as a factor. Thus, it is τ-tilting infinite. f References [Ad1] T. Adachi, The classification of τ-tilting modules over Nakayama algebras, J. Algebra 452 (2016), 227–262. [Ad2] T. Adachi, Characterizing τ-rigid finite algebras with radical square zero, Proc. Amer. Math. Soc. 144 (2016), no. 11, 4673–4685. [AAC] T. Adachi, T. Aihara and A. Chan, Classification of two-term tilting complexes over Brauer graph algebras, Math. Z. 290 (2018), no. 2, 1–36. [AIR] T. Adachi, O. Iyama and I. Reiten, τ-tilting theory, Compos. Math. 150 (2014), no. 3, 415–452. [Ai] T. Aihara, Tilting-connected symmetric algebras, Algebr. Represent. Theory 16 (2013), no. 3, 873–894. [AH] T. Aihara and T. Honma, τ-tilting triangular matrix algebras, J. Pure Appl. algebra 225 (2021), no 12. [AHMW] T. Aihara, T. Honma, K. Miyamoto and Q. Wang, Report on the finiteness of silting objects, Proc. Edinburgh Math. Soc. 64 (2021), no. 2, 217–233 [Asa] S. Asai, Semibricks, International Mathematics Research Notices 16 (2020), no. 2020, 4993– 5054. [As] I. Assem, Simply connected algebras, Resenhas IME-USP 4 (1999), no. 2, 93–125. [ABM] I. Assem, J. C. Bustamante and P. L. Meur, Special biserial algebras with no outer derivations, Colloq. Math. 125 (2011), no. 1, 83–98. [ASS] I. Assem, D. Simson and A. Skowroński, Elements of the Representation Theory of Associative Algebras, vol 1, Techniques of Representation Theory, London Mathematical Society Student Texts65, Cambridge University Press, 2006. [AS] I. Assem and A. Skowroński, On some classes of simply connected algebras, Proc. London Math. Soc. 56 (1988), no. 3, 417–450. ON τ-TILTING FINITENESS OF TENSOR PRODUCT OF ALGEBRAS 19

[ARS] M. Auslander, I. Reiten and O. Smalø, Representation Theory of Artin algebras, Cambridge Studies in Advanced Mathematics 36, Cambridge University Press, 1995. [BG1] K. Bongartz and P. Gabriel, Covering spaces in representation-theory, Invent. Math. 65 (1981/82), no. 3, 331–378. [BG2] O. Bretscher and P. Gabriel, The standard form of a representation-finite algebra, Bull. Soc. Math. France 111 (1983), no. 1, 21–40. [Bu] K. J. C. Bustamante, On the fundamental group of a Schurian algebra, Comm. Algebra 30 (2002), no. 11, 5307–5329. [DIJ] L. Demonet, O. Iyama and G. Jasso, τ-tilting finite algebras, bricks and g-vectors, Int. Math, Res. Not. IMRN 3 (2019), 852–892. [DIRRT] L. Demonet, O. Iyama, N. Reading, I. Reiten and H. Thomas, Lattice theory of torsion classes, Preprint (2017), arXiv: 1711.01785. [EJR] F. Eisele, G. Janssens and T. Raedschelders, A reduction theorem for τ-rigid modules, Math. Z. 290 (2018), no. 3–4, 1377–1413. [HV] D. Happel and D. Vossieck, Minimal algebras of infinite representation type with preprojective component, Manuscripta Math. 42 (1983), 221–243. [KY] S. Koenig and D. Yang, Silting objects, simple-minded collections, t-structures and co-t- structures for finite-dimensional algebras, Doc. Math. 19 (2014), 403–438. [Le] Z. Leszczyński, On the representation type of tensor product algebras, Fund. Math. 144 (1994), no. 2, 143–161. [LS] Z. Leszczyński and A. Skowroński, Tame triangular matrix algebras, Colloq. Math. 86 (2000), no. 2, 259–303. [LS2] Z. Leszczyński and A. Skowroński, Tame tensor product algebras, Colloq. Math. 98 (2003), no. 1, 125–145. [MS] P. Malicki and A. Skowroński, Cycle-finite algebras with finitely many τ-rigid indecomposable modules, Comm. Algebra 44 (2016), no. 5, 2048–2057. [MP] R. Mart´ınez-Villa and J. A. de la Peña, The universal cover of a quiver with relations, J. Pure Appl. algebra 30 (1983), 277–292. [Mi] Y. Mizuno, Classifying τ-tilting modules over preprojective algebras of Dynkin type, Math. Z. 277 (2014), no. 3, 665–690. [Pl] P. G. Plamondon, τ-tilting finite gentle algebras are representation-finite, Pacific J. Math. 302 (2019), no. 2, 709–716. [SS1] D. Simson and A. Skowroński, Elements of the Representation Theory of Associative Algebras, vol 2, Tubes and Concealed Algebras of Euclidean type, London Mathematical Society Student Texts 71, Cambridge University Press, 2007. [SS2] D. Simson and A. Skowroński, Elements of the Representation Theory of Associative Algebras, vol 3, Representation-Infinite Tilted Algebras, London Mathematical Society Student Texts 72, Cambridge University Press, 2007. [Sk1] A. Skowroński, Simply connected algebras and Hochschild cohomologies, CMS Conf. Proc. 14 (1993), 431–447. [Sk2] A. Skowroński, On tame triangular matrix algebras, Bull. Polish Acad. Sci. Math. 34 (1986), no. 9–10, 517–523. [SY1] A. Skowroński and K. Yamagata, Frobenius Algebras I, Basic Representation Theory, European Mathematical Society Textbooks in Mathematics, European Mathematical Society, 2011. [SY2] A. Skowroński and K. Yamagata, Frobenius Algebras II, Tilted and Hochschild Extension Al- gebras, European Mathematical Society Textbooks in Mathematics, European Mathematical Society, 2017. [Wa] Q. Wang, On τ-tilting finite simply connected algebras, Preprint (2019), arXiv: 1910.01937. [Zi] S. Zito, τ-tilting finite tilted and cluster-tilted algebras, Proc. Edinburgh Math. Soc. 63 (2020), no. 4, 950–955.

Department of Computer and Information Science, Graduate School of Science and En- gineering, Ibaraki University, Hitachi, Ibaraki 316-8511, Japan. Email address: [email protected]

Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology, Osaka University, Suita, Osaka 565-0871, Japan. Email address: [email protected]