Local power series quotients of commutative Banach and Fréchet algebras
Author:
Marc P. Thomas
Journal:
Trans. Amer. Math. Soc. 355 (2003), 21392160
MSC (2000):
Primary 46H05
Published electronically:
January 14, 2003
MathSciNet review:
1953541
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We consider the relationship between derivations and local power series quotients for a locally multiplicatively convex Fréchet algebra. In §2 we derive necessary conditions for a commutative Fréchet algebra to have a local power series quotient. Our main result here is Proposition 2.6, which shows that if the generating element has finite closed descent, the algebra cannot be simply a radical algebra with identity adjoinedit must have nontrivial representation theory; if the generating element does not have finite closed descent, then the algebra cannot be a Banach algebra, and the generating element must be locally nilpotent (but nonnilpotent) in an associated quotient algebra. In §3 we consider a fundamental situation which leads to local power series quotients. Let be a derivation on a commutative radical Fréchet algebra with identity adjoined. We show in Theorem 3.10 that if the discontinuity of is not concentrated in the (Jacobson) radical, then has a local power series quotient. The question of whether such a derivation can have a separating ideal so large it actually contains the identity element has been recently settled in the affirmative by C. J. Read.
 [Allan1]
G.
R. Allan, Embedding the algebra of formal power series in a Banach
algebra, Proc. London Math. Soc. (3) 25 (1972),
329–340. MR 0305071
(46 #4201)
 [Allan2]
Graham
R. Allan, Fréchet algebras and formal power series,
Studia Math. 119 (1996), no. 3, 271–288. MR 1397495
(97f:46079)
 [Arens]
Richard
Arens, A generalization of normed rings, Pacific J. Math.
2 (1952), 455–471. MR 0051445
(14,482b)
 [BonsallDuncan]
Frank
F. Bonsall and John
Duncan, Complete normed algebras, SpringerVerlag, New
YorkHeidelberg, 1973. Ergebnisse der Mathematik und ihrer Grenzgebiete,
Band 80. MR
0423029 (54 #11013)
 [DalesMcClure]
H.
G. Dales and J.
P. McClure, Higher point derivations on commutative Banach
algebras. II, J. London Math. Soc. (2) 16 (1977),
no. 2, 313–325. MR 0473839
(57 #13498b)
 [Esterle]
Jean
Esterle, MittagLeffler methods in the theory of Banach algebras
and a new approach to Michael’s problem, Proceedings of the
conference on Banach algebras and several complex variables (New Haven,
Conn., 1983) Contemp. Math., vol. 32, Amer. Math. Soc., Providence,
RI, 1984, pp. 107–129. MR 769501
(86a:46056), http://dx.doi.org/10.1090/conm/032/769501
 [Johnson]
B.
E. Johnson, Continuity of derivations on commutative algebras,
Amer. J. Math. 91 (1969), 1–10. MR 0246127
(39 #7433)
 [JohnsonSinclair]
B.
E. Johnson and A.
M. Sinclair, Continuity of derivations and a problem of
Kaplansky, Amer. J. Math. 90 (1968), 1067–1073.
MR
0239419 (39 #776)
 [Loy]
Richard
J. Loy, Multilinear mappings and Banach algebras, J. London
Math. Soc. (2) 14 (1976), no. 3, 423–429. MR 0454641
(56 #12890)
 [Michael]
Ernest
A. Michael, Locally multiplicativelyconvex topological
algebras, Mem. Amer. Math. Soc., 1952 (1952),
no. 11, 79. MR 0051444
(14,482a)
 [Read1]
C.
J. Read, All primes have closed range, Bull. London Math. Soc.
33 (2001), no. 3, 341–346. MR 1817773
(2002e:46050), http://dx.doi.org/10.1017/S0024609301008025
 [Read2]
Read, C. J., Derivations on Fréchet algebras with large separating subspaces, preprint.
 [Rickart]
Charles
E. Rickart, General theory of Banach algebras, The University
Series in Higher Mathematics, D. van Nostrand Co., Inc., Princeton,
N.J.TorontoLondonNew York, 1960. MR 0115101
(22 #5903)
 [Sinclair]
Allan
M. Sinclair, Automatic continuity of linear operators,
Cambridge University Press, CambridgeNew YorkMelbourne, 1976. London
Mathematical Society Lecture Note Series, No. 21. MR 0487371
(58 #7011)
 [Thomas1]
Marc
P. Thomas, Automatic continuity for linear functions intertwining
continuous linear operators on Fréchet spaces, Canad. J. Math.
30 (1978), no. 3, 518–530. MR 0482325
(58 #2398)
 [Thomas2]
Marc
P. Thomas, The image of a derivation is contained in the
radical, Ann. of Math. (2) 128 (1988), no. 3,
435–460. MR
970607 (90d:46075), http://dx.doi.org/10.2307/1971432
 [Thomas3]
Marc
P. Thomas, Primitive ideals and derivations on noncommutative
Banach algebras, Pacific J. Math. 159 (1993),
no. 1, 139–152. MR 1211389
(94e:46087)
 [Thomas4]
Marc
P. Thomas, Elements in the radical of a Banach algebra obeying the
unbounded KleineckeShirokov conjecture, Banach algebras ’97
(Blaubeuren), de Gruyter, Berlin, 1998, pp. 475–487. MR 1656623
(99j:46055)
 [Villena]
A.
R. Villena, Derivations on JordanBanach algebras, Studia
Math. 118 (1996), no. 3, 205–229. MR 1388029
(97c:46059)
 [Zariski]
Oscar
Zariski, Studies in equisingularity. I. Equivalent singularities of
plane algebroid curves, Amer. J. Math. 87 (1965),
507–536. MR 0177985
(31 #2243)
 [Allan1]
 Allan, G. R., Embedding the algebra of all formal power series in a Banach algebra, Proc. London Math. Soc., (3) 25 (1972), 329340. MR 46:4201
 [Allan2]
 Allan, G. R., Fréchet algebras and formal power series, Studia Math., 119 (3) (1996) 271288. MR 97f:46079
 [Arens]
 Arens, R. F., A generalization of normed rings, Pacific J. Math., 2 (1952), 455471. MR 14:482b
 [BonsallDuncan]
 Bonsall, F. F., and Duncan, J. Complete Normed Algebras, SpringerVerlag, 1973. MR 54:11013
 [DalesMcClure]
 Dales, H. G. and McClure, J. P., Higher point derivations on commutative Banach algebras, II, J. London Math. Soc., (2), 16 (1977) 313325. MR 57:13498b
 [Esterle]
 Esterle, J., MittagLeffler methods in the theory of Banach algebras and a new approach to Michael's problem, in Contemp. Math. 32, Amer. Math. Soc., 1984, 107129. MR 86a:46056
 [Johnson]
 Johnson, B. E., Continuity of derivations on commutative algebras, Amer. J. Math., 91 (1969) 110. MR 39:7433
 [JohnsonSinclair]
 Johnson, B. E. and Sinclair, A. M., Continuity of derivations and a problem of Kaplansky, Amer. J. Math., 90 (1968) 10671073. MR 39:776
 [Loy]
 Loy, R. J., Multilinear mappings and Banach algebras. J. London Math. Soc., (2) 14 (1976) 423429. MR 56:12890
 [Michael]
 Michael, E. A., Locally multiplicativelyconvex topological algebras, Mem. Amer. Math. Soc. 11, (1952; third printing 1971). MR 14:482a
 [Read1]
 Read, C. J., All primes have closed range, J. London Math. Soc., 33 (2001), 341346. MR 2002e:46050
 [Read2]
 Read, C. J., Derivations on Fréchet algebras with large separating subspaces, preprint.
 [Rickart]
 Rickart, C. E., General Theory of Banach Algebras, The University Series in Higher Mathematics, van Nostrand, Princeton, NJ, 1960. MR 22:5903
 [Sinclair]
 Sinclair, A. M., Automatic continuity of linear operators, London Math. Soc. Lecture Notes, 21, Cambridge. Univ. Press, Cambridge, 1976. MR 58:7011
 [Thomas1]
 Thomas, M. P., Automatic continuity for linear functions intertwining continuous linear operators on Fréchet spaces, Canad. J. Math. 30, no. 3, (1978) 518530. MR 58:2398
 [Thomas2]
 Thomas, M. P., The image of a derivation is contained in the radical, Annals of Math., 128 (1988) 435460. MR 90d:46075
 [Thomas3]
 Thomas, M. P., Primitive ideals and derivations on noncommutative Banach algebras, Pacific J. Math., 159, no. 1 (1993) 139152. MR 94e:46087
 [Thomas4]
 Thomas, M. P., Elements in the radical of a Banach algebra obeying the unbounded KleineckeShirokov conjecture, E. Albrecht and M. Mathieu, Banach Algebras '97 (Blaubeuren), de Gruyter, Berlin, 1998, 475487. MR 99j:46055
 [Villena]
 Villena, A. R., Derivations on JordanBanach algebras, Studia Math., 118 (3) (1996) 205229. MR 97c:46059
 [Zariski]
 Zariski, Oscar, Studies in Equisingularity I. Equivalent singularities of plane algebroid curves, Amer. J. Math., 87 (1965) 507536. MR 31:2243
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
46H05
Retrieve articles in all journals
with MSC (2000):
46H05
Additional Information
Marc P. Thomas
Affiliation:
Department of Mathematics, California State University at Bakersfield, Bakersfield, California 93311
Email:
marc@cs.csubak.edu
DOI:
http://dx.doi.org/10.1090/S0002994703032513
PII:
S 00029947(03)032513
Received by editor(s):
August 27, 2001
Received by editor(s) in revised form:
October 18, 2002
Published electronically:
January 14, 2003
Additional Notes:
The author thanks Pomona College for support as a Visiting Scholar during the summer of the Banach Algebras 1999 conference and the Centre for Mathematics and its Applications for support during the Banach Spaces, Operators, and Algebras Symposium in January 2001 at the Australian National University.
Article copyright:
© Copyright 2003
American Mathematical Society
