Arxiv:2010.12903V1 [Math.FA] 24 Oct 2020 Eoethe Denote Arcs N F Naddition, in If, and Matrices, 11 Exp (1.1) Ln H Ignl.W Write We L Or Diagonal)

Home , Zero matrix

arXiv:2010.12903v1 [math.FA] 24 Oct 2020 eoethe denote arcs n f naddition, in if, and matrices, 11 exp (1.1) ln h ignl.W write We l or diagonal). diagonal the main the along along 1 1 with matrices triangular upper ihtelatnme ffcos oti n,let end, this To factors. of number least the with n,i atclr if particular, in and, M2,[K,[S,[] ofruaetersls rtw int we first results, simi the formulate Earlier To [L]. algebras. [KS], Banach [DK], [MR2], complex unital over matrices dniymatrix identity hteeymti in matrix every that A eeae yall by generated M n exp and 12 log (1.2) of exponent the is E ugopo arcswt eemnn .By 1. determinant with matrices of subgroup M vr arxin matrix every If n A n n eascaewt every with associate We o nascaiealgebra associative an For 1.1. e Exp Let e od n phrases. and words Key 2010 eerhspotdi atb NSERC. by part in supported Research ∈ ( ( ( A A A snloet(i.e., nilpotent is M NEPNNILFCOIAIN FMTIE OVER MATRICES OF FACTORIZATIONS EXPONENTIAL ON ) seupe ihtecrepnigoeao norm. operator corresponding the with equipped is ) .Sneeeyunipotent every Since ). ahmtc ujc Classification. Subject Mathematics n iia eut rvderiri K]ad[]fr2 for al [L] this and over [KS] matrices bordered in of earlier closed exponents proved two a results of on similar product inv functions a every holomorphic as that of written prove algebra we particular, the In in algebras. Banach plex Abstract. h ae el ihtepolmo pia xoeta fact exponential optimal of problem the with deals paper The ⊂ ( A A Exp n ∈ if ) ( n A GL × n ) ( A I A ⊂ n n n E ( lmnaymatrices elementary esuyepnnilfcoiaino netbematrices invertible of factorization exponential study We .W r neetdi xoeta atrztoso matri of factorizations exponential in interested are We ). A saunital a is GL n arxrn over ring matrix ya otoenndaoa nr.Let entry. non-diagonal one most at by ( E A .Smlry(.)dtrie neeetexp element an determines (1.1) Similarly ). A n A n ( k 1. a ewitna rdc ffiieymn xoet,i.e., exponents, many finitely of product a as written be can ) aahagba xoet lmnaymti,setu,Ba spectrum, matrix, elementary exponent, algebra, Banach ( A A o some for 0 = sauia aahagba eew sueta h algebra the that assume we Here algebra. Banach unital a is omlto fteMi Results Main the of Formulation sapoutof product a is ) eoetesbru eeae yepnnso arcsfro matrices of exponents by generated subgroup the denote ) A ∈ A m A AAHALGEBRAS BANACH A M cne rehtagba(e,eg,[]frtedefinition) the for [M] e.g., (see, Fréchet algebra -convex t A ih1oe edo hrceitczr by zero characteristic of field a over 1 with scmuaie by commutative, is LXNE BRUDNYI ALEXANDER n ∈ n A ( := ( A GL A := A rmr 76,Scnay1A4. 15A54 Secondary 47A68, Primary = ) k X .. arcsin matrices i.e., , i h xoeta series exponential the ) ∞ =0 n by , X i ∈ ( ∞ =1 A ∞ i N 1 t ! ie,sc that such (i.e., ) ( A ,te h eiscnan ntl ayterms many finitely contains series the then ), ntinua matrices unitriangular 1 − GL fsuch if i E i 1) A , n n i ( ( ( A × A A e matrices. 2 ednt h ugopof subgroup the denote we ) t n ) − ( SL 0 osntexist. not does A ⊂ I := n n etemnmlnumber minimal the be ) ) M GL i ( I , oueterqie definitions. required the roduce A n ril arxwt entries with matrix ertible n er.Orrsl extends result Our gebra. t A wrtinua arcswith matrices triangular ower a rbeswr tde in studied were problems lar . ( n n imn ufc a be can surface Riemann ) A ( ( − A ⊂ A h ru finvertible of group the ) I n hc ie rmthe from differ which ) eteminimal the be ) GL A in ∈ vruia com- unital over rzto finvertible of orization ∈ n M GL ( A GL n ( n A ednt the denote we ) ( n ssal rank. stable ss A e nExp in ces ( snilpotent) is ) A ie,either (i.e., ) M o every for ) n GL ( A t t n n we ) such such ( ( A A m ) ) 2 ALEXANDER BRUDNYI that every matrix in Expn(A ) is a product of t exponents and write en(A )= ∞ if such t does not exist. From now on we assume that A is a commutative unital complex Banach algebra, unless stated otherwise. In this case, GLn(A ) is a complex Banach Lie group and Expn(A ) coincides with its connected component containing In. Let M(A ) be the maximal ideal space of A , i.e., the set of all nonzero homomorphisms A → C. Since norm of each ϕ ∈ M(A ) is at most one, M(A ) is a subset of the closed unit ball of the dual space A ∗. It is a compact Hausdorff space in the weak∗ topology induced by A ∗ (the Gelfand topology). Let C(M(A )) be the Banach algebra of continuous complex-valued functions on M(A ) equipped with supremum norm. An element a ∈ A can be thought of as a function in C(M(A )) via the Gelfand transform ˆ: A → C(M(A )), aˆ(ϕ) := ϕ(a). The map ˆ is a nonincreasing-norm morphism of Banach algebras. It is injective if A is semisimple (i.e., the Jacobson radical of A is trivial). Recall that for a normal topological space X, dim X ≤ d if every open cover of X can be refined by an open cover whose order ≤ d +1. If dim X ≤ d and the statement dim X ≤ d − 1 is false, we say that dim X = d. It was proved in [V2, Th. 4] that for A = C(X), the algebra of complex-valued continuous functions on a d-dimensional normal topological space X, group En(A ) coincides with the set of null-homotopic maps, i.e., maps in SLn(A ) := C(X,SLn(C)) homotopic (in this class of maps) to a constant map, and, moreover, there exists a constant v(d) ∈ N depending on d only such that

(1.3) sup tn(A ) ≤ v(d). n It is known that v(0) = v(1) = 4 and v(2) = 5 (cf. [IK, Sect. 5.2]). The problem about numerical upper bounds for v(d) with d ≥ 3 is still opened. Next recall that an associative unital ring R has the Bass stable rank 1 if for every pair (a, b) of elements in R such that Ra + Rb = A there exists t ∈ R such that R(a + tb)= R (i.e., a + tb is left invertible). For some examples and properties of rings of the Bass stable rank 1 see [V3]. We are ready to formulate our ﬁrst result. Theorem 1.1. Let A be a unital commutative complex Banach algebra and d := dim M(A ). (1) If d< ∞, then v(d)+1 sup en(A ) ≤ 2 +3 and sup en(A ) ≤ 4, n j k n≥n(d) d v(d) where n(d) := 2 + 1 · 2 + 3 . j k (2)

en(A ) = 1 for all n if d = 0, en(A ) ≤ 3 for all n if d = 1, and

sup en(A ) ≤ 5 n≤9  if d = 2.  sup en(A ) ≤ 4 n≥10  (3) If the Bass stable rank of A is 1, then en(A ) ≤ 3 for all n. (4) If d 6= 0, then en(A ) ≥ 2 for all n ≥ 2. Remark 1.2. If d = 1, then the Bass stable rank of A is 1, see [CS, Thm. 2.9], and the stated inequality follows from part (3). In turn, part (3) is valid for all unital associative algebras, see [DV, Lm. 9] and Lemma 2.1 below. ON EXPONENTIAL FACTORIZATIONS OF MATRICES OVER BANACH ALGEBRAS 3

1.2. In this part, we further investigate the case of unital commutative complex Banach algebras A having the Bass stable rank 1. As follows from parts (3) and (4) of Theorem 1.1, in this case

(1.4) 2 ≤ en(A ) ≤ 3 for all n ≥ 2 provided that dim M(A ) 6= 0.

Further, it was shown in [KS, Thm.2] that e2(A )= 2if A is the disk algebra, and it was recently proved in [L, Thm. 1] (answering a question posed in [KS]) that the same is valid for algebras of holomorphic functions on closed bordered Riemann surfaces. It is known that these algebras have the Bass stable rank 1. In our next theorem, we extend this result to all n ≥ 2. We require the following deﬁnition. For a ∈ A we deﬁne its zero locus by the formula

Za := {ϕ ∈ M(A ) : ϕ(a) = 0}⊂ M(A ). Theorem 1.3. Let a unital commutative complex Banach algebra A satisfy the property: 1 (*) For every nonzero a ∈ A the first Cechˇ cohomology group H (Za, Z) = 0. Then en(A ) = 2 for all n ≥ 2. Note that every algebra A satisfying property (*) has the Bass stable rank 1, see, e.g., [CS, Prop.2.1]. Theorem 1.3 raises a question about optimality of bound 3 in (1.4). Example 1.4. (1) Let R be a compact bordered Riemann surface with the boundary ∂R and A(R) be the Banach algebra of continuous functions of R holomorphic on R \ ∂R equipped with supremum norm. It is well known that M(A(R)) = R. Further, for every nonidentical zero function f ∈ A(R), the zero locus Zf is either void or consists of a (possibly empty) discrete subset of R \ ∂R and a totally disconnected subset of ∂R. 1 Hence, Zf is a totally disconnected subset of R and so H (Zf , Z) = 0. Thus Theorem 1.3 implies that en(A(R)) = 2, n ≥ 2 extending the corresponding result of [L]. (2) Theorem 1.3 is valid for algebras A of the Bass stable rank 1 such that H1(M(A ), Z)= 0. This class includes, e.g., the algebra C(X), where X is a projective limit of a family of compact spaces homeomorpic to finite trees or the Wiener algebra W (R)Γ of continuous almost periodic functions on R having the Bohr–Fourier spectra in a semigroup Γ ⊂ Q+ with sequences of the Bohr–Fourier coefficients in ℓ1(Γ), see, e.g., [BRS] for definitions. (It easily follows from [T, Thm. 1] that the Bass stable rank of W (R)Γ is 1 and from [BRS, 1 Thm. 1.2] that H (M(W (R)Γ), Z) = 0.) (3) Theorem 1.3 is valid for algebras A such M(A ) is a projective limit of a family of compact spaces homeomorpic to the unit circle as for each nonzero a ∈ A the zero locus Za is the projective limit (under the projective limit construction) of a family of compact subsets homeomorphic to proper subsets of the unit circle and hence having trivial first 1 Cechˇ cohomology groups. This implies that H (Za, Z) = 0 as well. For instance, the Wiener algebra W (R)Γ of continuous almost periodic functions on R having the Bohr– Fourier spectra in a subgroup Γ ⊂ Q has this property. 1.3. The proof of Theorem 1.3 is based on a general result of independent interest presented in this part. By Sn ⊂ C we denote the set of roots of order n of 1. A closed ǫ-neighbourhood of Sn is defined as Nε = z ∈ C : min |z − y|≤ ε . y∈Sn Let A be a (not necessarily commutative) unital complex Banach algebra. We regard n Mn(A ) as the unital complex Banach algebra of A -linear operators on A equipped with n the operator norm; here for a = (a1, . . . , an) ∈ A its norm kakA n := maxi kaikA . By σn(A) ⋐ C we denote the spectrum of A ∈ Mn(A ). 4 ALEXANDER BRUDNYI

Theorem 1.5. Suppose A = (aij) ∈ GLn(A ), n ≥ 2, is a (upper or lower) triangular matrix with the product of diagonal elements a11 · · · ann = 1. Then for every ε > 0 there are matrices B1,B2 ∈ Mn(A ) such that

A = exp B1 · exp B2 and σn(exp B1)= Sn, σn(exp B2) ⊂ Nε.

2. Proof of Theorem 1.1

Proof. Let Σn(A ) ⊂ GLn(A ) be the set of matrices A such that 0 belongs to the unbounded connected component of C \ σn(A). Then Σn(A ) is an open subset of GLn(A ) contained in the range of exp : Mn(A ) → GLn(A ), see, e.g., [R, Thms. 10.20, 10.30]. By 0 en(A), A ∈ Expn(A ), we denote the minimal number t such that A is a product of t matrices from Σn(A ) and a diagonal matrix from Exp1(A ) · In. We set 0 0 (2.1) en(A )= sup en(A). A∈Expn(A ) 0 Clearly, the function en : Expn(A ) → N is upper semicontinuous and 0 (2.2) en(A ) ≤ en(A ). 0 Thus it suﬃces to prove Theorem 1.1 for en(A ). Recall that tn(A ) denotes the minimal t ∈ N∪{∞} such that every matrix in En(A ) is a product of t unitriangular matrices in SLn(A ). In our case, En(A ) = Expn(A )∩SLn(A ) and each matrix in Expn(A ) can be written as a product of matrices from En(A ) and Exp1(A ) · In. Lemma 2.1. The following inequality holds:

0 tn(A ) (2.3) en(A ) ≤ 2 + 1. j k Proof. Suppose A ∈ En(A ), A = A1 · · · At, t ≥ 2, where all Aj are alternating upper and lower unitriangular matrices in En(A ). Then

t ⌊ 2 ⌋ −1 t A =  CiA2iC  · C t+1 , where Ci := A1 · · · A2i−1, 1 ≤ i ≤ . i ⌊ 2 ⌋ 2 Yi=1    0 This and the deﬁnition of en(A ) give (2.3) as all terms in the product are unipotent (i.e., belong to Σn(A )).

Let JA ⊂ A be the Jacobson radical and q : A → A /JA =: As be the quotient homomorphism. Then As is a semisimple Banach algebra with respect to the quotient norm. We extend q to a homomorphism qn : Mn(A ) → Mn(As) deﬁned by the application of q to entries of matrices in Mn(A ). Then σn(A)= σn(qn(A)) for all A ∈ Mn(A ). This −1 implies that qn maps Σn(A ) surjectively onto Σn(As) and qn (Σn(As))=Σn(A ). Hence, 0 0 en(A)= en(qn(A)) for all A ∈ Expn(A ) and 0 0 (2.4) en(A )= en(As).

Since maximal ideal spaces of A and As are homeomorphic, inequalities of parts (1) and (2) for d> 0 of Theorem 1.1 follow directly from similar inequalities of [Br, Thm. 1.1] for tn(As) by means of Lemma 2.1 and [DV, Lms. 7, 9, Thm. 20], and [CS, Thm. 2.9] (see the proofs in [Br] for details). Now let us prove part (2) of the theorem for d = 0. In this case, by the deﬁnition of covering dimension, M(A ) is a totally disconnected space. Hence, the base of topology of M(A ) consists of clopen subsets. The required result will follow from ON EXPONENTIAL FACTORIZATIONS OF MATRICES OVER BANACH ALGEBRAS 5

Lemma 2.2. Given A ∈ GLn(A ) there exist idempotents e1,...,ek ∈ A satisfying k i=1 ei = 1 and eiej = 0 for all i 6= j such that every matrix ei(A − In)+ In ∈ Σn(A ). PProof. The spectrum σ(A) of A is given by the formula

σ(A)= {λ ∈ C : ∃ y ∈ M(A ) such that p(λ, y) := det(Aˆ(y) − λ · Iˆn) = 0}.

Here Iˆn ∈ GLn(C) is the identity matrix and p is a continuous function on C × M(A ) which is a holomorphic polynomial of degree n in λ. Given x ∈ M(A ) we write p = qx + rx, where qx(λ) := det(Aˆ(x) − λ · Iˆn) and rx is a continuous function on C × M(A ) equals zero on C × {x}. The polynomial qx has n complex zeros counted with their multiplicities. Let s > 0 be so small that the closed s-neighbourhood Ns of the set of zeros of qx consists of mutually disjoint closed disks of radius s and does not contain 0. Let ∂Ns be the boundary of Ns. Since rx is continuous on the compact set ∂Ns × M(A ) and equals zero on ∂Ns × {x}, there is a clopen set Ux ⊂ M(A ) containing x such that

sup |rx(λ, y)| < inf |qx(λ)|. (λ,y)∈∂Ns×Ux λ∈∂Ns

Therefore by the Rouch´etheorem, for every y ∈ Ux all zeros of p(·,y) are situated in Ns. Next, by the Shilov idempotent theorem [S] there is an (unique) idempotent eUx ∈ A such that the Gelfand transforme ˆUx ∈ C(M(A )) of eUx is the characteristic function of Ux. We put

(2.5) AUx := eUx (A − In)+ In. By the deﬁnition, for λ ∈ C, y ∈ M(A )

ˆ ˆ ˆ ˆ ˆ ˆ p(λ, y) if y ∈ Ux det(AUx (y) − λ · In) = det(ˆeUx (A(y) − In)+ In − λ · In)= n (1 − λ) if y 6∈ Ux.

Thus the spectrum σ(AUx ) of AUx is (σ(A) ∩ Ux) ∪ {1}. In particular, σ(AUx ) ⊂ Ns ∪ {1} and so the unbounded connected component of C \ σ(AUx ) contains the open connected set C \ (Ns ∪ {1}) which in turn contains 0. Hence, AUx ∈ Σn(A ). Next, we cover M(A ) by sets Ux, x ∈ M(A ), choose a finite subcover of this cover and then a refinement of this subcover by clopen mutually disjoint sets, say, U1,...,Uk. Let ei ∈ A be the idempotent such thate î is the characteristic function of Ui. Then n i=1 ei = 1 and eiej = 0 for all i 6= j. Also, by our construction all matrices Ai := ePi(A − In)+ In ∈ Σn(A ). Using Lemma 2.2 let us finish the proof of part (2) of the theorem for d = 0. Let Bi ∈ Mn(A ) be a logarithm of Ai ∈ Σn(A ) defined by holomorphic functional calculus (see, e.g., [R, Thm. 10.30]). Then Bi belongs to the closure of the subspace of −1 Mn(A ) generated by matrices (Ai − λIn) , λ 6∈ σ(Ai). In particular, all matrices Bi, 1 ≤ i ≤ k, commute (because matrices Ai − λIn and Aj − γIn commute for all λ, γ ∈ C, i 6= j). We set k B = Bi ∈ Mn(A ). Xi=1 Then since all Bi commute, k k k n exp B = exp Bi = Ai = (ei(A − In)+ In)= In + ei(A − In)= A. Yi=1 Yi=1 Yi=1 Xi=1

This shows that en(A ) = 1 for all n which proves part (2) of Theorem 1.1 for d = 0. 6 ALEXANDER BRUDNYI

Further, part (3) of the theorem follows from Lemma 2.1 and [DV, Lm. 9] asserting that if A has the Bass stable rank 1, then tn(A) = 4 for all n ≥ 2. Finally, let us prove part (4). We will prove that en(A ) ≥ 2 provided that d := dim M(A ) 6= 0. Since clearly en(A ) ≥ en(As), we may assume that the algebra A is semisimple and is a (not necessarily closed) subalgebra of C(M(A )). We adapt the idea of [XT]. Since d 6= 0, the compact space M(A ) is not totally disconnected; hence, it has a connected component X containing two distinct points, say, x1 and x2. Let f ∈ A be such that f(x1) = 0, f(x2) = 2πi and g = exp f. Let g 1 T = ∈ Exp (A ). 0 1 2

We claim that T does not have a logarithm in M2(A ). Indeed, if it is false, then there exists f1 f2 S = ∈ M2(A ) f3 f4 such that S2 = T , i.e., 2 f1 + f2f3 f1f2 + f2f4 g 1 2 = . f3f1 + f4f3 f3f2 + f4 0 1 This implies that

M · In−2 0(n−2)×2 Tn = ∈ Expn(A ); 02×(n−2) T here 0k×l is the k × l zero matrix. Assume that Tn has a logarithm in Mn(A ). Then there exists

L1 L2 Sn = ∈ Mn(A ) L3 L4 2 such that Sn = Tn; here L1 ∈ Mn−2(A ), L4 ∈ M2(A ), and L2 and L3 are matrices with entries in A of sizes (n − 2) × 2 and 2 × (n − 2), respectively. The identity SnTn = TnSn implies that

L2(T − M · I2)=0 and (T − M · I2)L3 = 0.

Since T −M ·I2 is invertible by our choice of M, we get from here that L2 = 0 and L3 = 0. 2 Hence, L4 = T which contradiction the ﬁrst part of the proof. Thus such Sn ∈ Mn(A ) does not exist and so Tn does not have a logarithm in Mn(A ), i.e., en(A ) ≥ 2 for all n ≥ 3 as well. The proof of the theorem is complete. ON EXPONENTIAL FACTORIZATIONS OF MATRICES OVER BANACH ALGEBRAS 7

3. Proof of Theorem 1.5 Proof. First, let us proof the theorem for a diagonal matrix A with diagonal entries a11, . . . , ann ∈ GL1(A ) satisfying a11 · · · ann = 1. In this case as in the proof of [DV, Lm. 16] we have −1 −1 (3.1) A = CA Rn CARn, where CA = (cij) is a diagonal matrix with c11 = 1, c22 = a11, c33 = a11a22,...,cnn = n a11 · · · an−1 n−1 and Rn is a (cyclic) permutation operator on A such that Rn(ei)= ei+1, n 1 ≤ i ≤ n − 1, and Rn(en) = e1; here ei ∈ A is the vector having the ith coordinate 1 and all others 0. By the deﬁnition, the spectrum σn(Rn) of Rn is Sn (the set of roots ′ of order n of 1). Hence, Rn has a logarithm Rn ∈ Mn(A ) (cf. [R, Thm. 10.30]). We −1 ′ ′ −1 −1 set B1 = −CA RnCA and B2 = Rn. Then A = CA Rn CARn = exp B1 · exp B2 and σn(exp B1)= σn(exp B2)= Sn, as required. Now, let us prove the statement in the general case. Without loss of generality assume that A is upper triangular. We denote by D(A) the diagonal matrix whose di- −1 −1 agonal is the same as that of A and let D(A) = CD(A)Rn CD(A)Rn be factorization (3.1) for D(A). Let Dn(t) ∈ GLn(A ), t ∈ C \ {0}, be the diagonal matrix with diag- n−1 −1 onal entries 1,t,...,t . Then the upper triangular matrix Dn(t) ADn(t) is equal to −1 −1 CD(A)Rn CD(A)RnA(t), where A(t) is an upper triangular unipotent matrix such that limt→0 A(t) = In (convergence in Mn(A )). In particular, according to [R, Thm. 10.20] there is some tε > 0 such that σn(RnA(tε)) ⊂ Nε (the closed ǫ-neighbourhood of Sn). Without loss of generality we may assume that ε is so small that C \ Nε is an open connected set containing 0. Then RnA(tε) has a logarithm Btε ∈ Mn(A ) (cf. [R, −1 ′ −1 ′ Thm. 10.30]). We set B1 := −Dn(tε)CD(A)RnCD(A)Dn(tε) , where Rn is a logarithm −1 of Rn, and B2 := Dn(tε)Btε Dn(tε) . Clearly,

A = exp B1 · exp B2 and σn(exp B1)= Sn, σn(exp B2) ⊂ Nε. The proof of the theorem is complete.

4. Proof of Theorem 1.3 First, we prove the following auxiliary result. Let A be an algebra satisfying condition (*) of Theorem 1.3. We denote by Mk,l(A ) the set of matrices of size k × l with entires in A . Let

Un(A ) := {A ∈ Mn,1(A ) : ∃ B ∈ M1,n(A ) such that BA = 1} be the subset of left-invertible matrices in Mn,1(A ). T Lemma 4.1. Suppose A = (a1, . . . , an) ∈ Un(A ), n ≥ 2, where one of a2, . . . , an is nonzero. Then there exists a unipotent upper triangular matrix C ∈ GLn(A ) such that ′ ′ T CA = (a1, . . . , an−1, an) , ′ where a1 ∈ Exp1(A ).

Proof. We prove this result by induction on n. For n = 2, since a2 6= 0, anda ˆ1|Za2 ∈ GL1(C(Za2 )) has a logarithm in C(Za2 ) due to condition (*), there is b ∈ A such that ′ a1 + ba2 = a1 ∈ Exp1(A ) (see, e.g., [MR1, Cor. 4.13]). Thus the lemma holds with 1 b C = . 0 1 Assume that the lemma is valid for all natural numbers ≤ n − 1, n ≥ 3; let us prove it for n. Without loss of generality we may assume that an 6= 0 as for otherwise the result 8 ALEXANDER BRUDNYI follows from the induction hypothesis. Since the Bass stable rank of A is 1 and A ∈ Un(A ), T there exist b1, . . . , bn−1 ∈ A such that A1 := (a1 + b1an, . . . , an−1 + bn−1an) ∈ Un−1(A ). Clearly, for

In−1 B T C1 = , B = (b1, . . . , bn−1) , 0n−1 := 0 ∈ M1,n(A ), 0n−1 1 we have T C1A = (a1 + b1an, . . . , an−1 + bn−1an, an) .

We may assume that one of ai + bian, 2 ≤ i ≤ n − 1, is nonzero (for otherwise C1A = T (a1 + b1an, 0 ..., 0, an) and the required result follows as in the case n = 2). Then by the induction hypothesis, there is a unipotent upper triangular matrix C2 ∈ GLn−1(A ) such ′ ′ T ′ that C2A1 = (a1, . . . , an−2, an−1 + bn−1an) , where a1 ∈ Exp1(A ). Thus the statement of the lemma holds with T C2 0n−1 C = C2C1, where C2 = . 0n−1 1 This proves the induction stepe and hence thee lemma.

Proof of Theorem 1.3. We prove that for each A ∈ Expn(A ) there exist B1,B2 ∈ Mn(A ) such that A = exp B1 · exp B2. Note that since the Bass stable rank of A is 1, a matrix A ∈ Expn(A ) if and only if det A ∈ Exp1(A ) (see [DV, Lm. 9]). Hence, Expn(A ) is the direct product of subgroups Exp1(A ) · In and SLn(A ). We prove the result by induction on n. Since the result is obvious for n = 1, we assume that it is valid for all natural numbers ≤ n − 1, n ≥ 1, and now prove it for n. So let A = (aij) ∈ Expn(A ). We consider two cases: (1) A is an upper triangular matrix. Then the required result follows straightforwardly from Theorem 1.5.

(2) There exists aij 6= 0 for some j < i. Let Sij be the constant elementary matrix such that ASij is obtained from A by inter- ′ −1 changing the first and the jth columns. Then the matrix (aij) := Sij ASij is such that ′ ai1 = aij 6= 0. Clearly, it suffices to prove the result for such a matrix. Thus without loss of generality we may assume that A itself is such that ci1 6= 0 for some i ≥ 2. Then according to Lemma 4.1, there is a unipotent upper triangular matrix B ∈ GLn(A ) such that the top-left corner entry of A1 = BA is in Exp1(A ). Then the top-left corner entry −1 −1 of the matrix BAB = A1B =: A2 is the same as that of A1. Multiplying A2 = (ãij) a˜12 a˜1n from the right by an upper triangular matrix D whose first row is (1, − a˜11 ,..., − a˜11 ) and other rows are as in In, we obtain a matrix A3 = A2D whose first row is (ã11, 0,..., 0). −1 Hence, it suffices to prove the result for A2 := A3D . By definition,

a˜11 0n−1 1 K A2 = · T H G 0n−1 In−1

a˜12 a˜1n for some H ∈ Mn−1,1(A ), G ∈ GLn−1(A ), K := ( a˜11 ,..., a˜11 ) ∈ M1,n−1(A ). Since det A det G = a˜11 ∈ Exp1(A ), the matrix G ∈ Expn−1(A ) and, hence, by the induction hypothesis, G can be written as G = G1 · G2 for some Gi ∈ GLn−1(A ) having logarithm. Thus for some λ> 0

a˜11 0n−1 1 0n−1 1 K A2 = · T 1 · T = H λ · G1 0n−1 λ · G2 0n−1 In−1 (4.1) a˜11 0n−1 1 K · T 1 . H λ · G1 0n−1 λ · G2 ON EXPONENTIAL FACTORIZATIONS OF MATRICES OVER BANACH ALGEBRAS 9

Let us choose λ so large that the spectra σn−1(λ·G1) and σ1(˜a11) of λ·G1 ∈ GLn−1(A ) and 1 1 a˜11 ∈ GL1(A ) do not intersect and the spectrum σn−1( λ · G2) of λ · G2 ∈ GLn−1(A ) does 1 not contain 1. Then the matrices λ·G1−a˜11·In−1 and In−1− λ ·G2 belong to GLn−1(A ) and −1 1 −1 for X := (λ · G1 − a˜11 · In−1) H ∈ Mn−1,1(A ) and Y := K(In−1 − λ · G2) ∈ M1,n−1(A ) we have −1 1 0n−1 a˜11 0n−1 1 0n−1 a˜11 0n−1 (4.2) · · = T , X In−1 H λ · G1 X In−1 0n−1 λ · G1

−1 1 Y 1 K 1 Y 1 0n−1 (4.3) T · T 1 · T = T 1 . 0n−1 In−1 0n−1 λ · G2 0n−1 In−1 0n−1 λ · G2 Clearly, the matrices on the right-hand sides of (4.2) and (4.3) have logarithm. Hence, matrix A2 in (4.1) is a product of two exponents of matrices from Mn(A ). This completes the proof of the induction step and therefore of the theorem. References [BRS] A. Brudnyi, L. Rodman and I. M. Spitkovsky, Projective free algebras of continuous functions on compact abelian groups, J. Funct. Anal. 259 (2010) 918–932. [Br] A. Brudnyi, On the factorization of matrices over commutative Banach algebras, Integr. Equ. Oper. Theory 90 (2018), Paper No. 6, 8 pp. [CS] G. Corach and F. Suárez, Stable rank in holomorphic function algebras. Illinois J. Math. 29 (1985), 627–639. [DV] R. K. Dennis and L. N. Vaserstein, On a question of M. Newman on the number of commutators. J. Algebra 118 (1988), 150–161. [DK] E. Doubtsov and F. Kutzschebauch, Factorization by elementary matrices, null–homotopy and prod- ucts of exponentials for invertible matrices over rings, Anal. Math. Phys. 9 (2019), 1005-1018. [IK] B. Ivarsson and F. Kutzschebauch, On the number of factors in the unipotent factorization of holomorphic mappings into SL2(C). Proc. Amer. Math. Soc. 140 (2012), no. 3, 823–838. [KS] F. Kutzschebauch and L. Studer, Exponential factorizations of holomorphic maps, Bull. London Math. Soc. 51 (2019), 995–1004. [L] J. Leiterer, On holomorphic matrices on bordered Riemann surfaces, arXiv:2010.02581. [M] E. A. Michael, Locally multiplicatively–convex topological algebras, Mem. Am. Math. Soc., 11 (1952). [MR1] R. Mortini and R. Rupp, Reducibility of invertible tuples to the principal component in commutative Banach algebras, Ark. Mat. 54 (2) (2016), 499–524. [MR2] R. Mortini and R. Rupp, Logarithms and exponentials in the matrix algebra M2(A), Computer Methods Funct. Theory 18 (2018), 53–87. [R] W. Rudin, Functional analysis, 2nd Edition, McGraw–Hill, 1991. [S] G. E. Shilov, On the decomposition of a commutative normed ring into a direct sum of ideals, Amer. Math. Soc. Transl. (2) 1 (1955), 37–48. ∞ [T] S. Treil, Stable rank of H is equal to one, J. Funct. Anal. 109 (1992), 130–154. [V1] L. N. Vaserstein, The stable range for rings and the dimension of topological spaces, Funct. Anal. Appl., vol. 5 (1971), 102–110. [V2] L. N. Vaserstein, Reduction of a matrix depending on parameters to a diagonal form by addition operations. Proc. Amer. Math. Soc. 103 (1988), 741–746. [V3] L. N. Vaserstein, Bass’s first stable range condition, J. Pure Appl. Algebra 34 (1984), 319–330. [XT] Xandi Tuni, Logarithm of complex matrices in holomorphic families, http://mathoverflow.net/questions/77210/logarithm-of-complex-matrices-in-holomorphic-families

Department of Mathematics and Statistics University of Calgary Calgary, Alberta T2N 1N4 Email address: [email protected]