Automorphy of \(m\)-fold tensor products of GL(2) (Q2177526)

Let \(f_1,\dots f_m\) be cuspforms of level \(1\) and weights \(k_1,\dots k_m\) respectively. Let \(u_i=k_i-1, \,\, i=1,\dots m.\) Assume that all \(2^m\) partial sums of integers \(u_1,\dots ,u_m\) are different. This condition guarantees that the tensor product of the \(l\)-adic Galois representations of \(f_1,\dots f_m\) is regular, i.e., has \(2^m\) different Hodge-Tate weights. The main result of the paper is then the automorphy of the \(m\)-fold tensor product of the \(l\)-adic representations corresponding to \(f_1,\dots, f_m,\) and the analytic continuation of the corresponding \(L\)-function. Such a clean result is certainly very interesting and has potential for applications. To prove his result the author uses 11 steps developed in [the author, J. Math. Pures Appl. (9) 104, No. 4, 619--656 (2015; Zbl 1325.11052)] and additional 4 moves at the end. These steps are technical and therefore (as the author writes) this paper should be considered as the sequel to [loc. cit.]. After applying these moves the author applies the downward induction on \(m.\) However, there are technical difficulties that make known authomorphy lifting theorems non-applicable. The author is forced to prove new variants of these. Although the paper is technical, it is nicely written.