Abstract
For a tuple A = (A 1,A 2, ... ,A n ) of elements in a unital Banach algebra B, its projective joint spectrum P(A) is the collection of z ∈ ℂn such that the multiparameter pencil A(z) = z 1 A 1 + z 2 A 2 + ... + z n A n is not invertible. If B is the group C*-algebra for a discrete group G generated by A 1,A 2, ... ,A n with respect to a representation ρ, then P(A) is an invariant of (weak) equivalence for ρ. This paper computes the joint spectrum of R = (1, a, t) for the infinite dihedral group D ∞ = 〈a, t | a 2 = t 2 = 1〉 with respect to the left regular representation λ D∞, and gives an in-depth analysis on its properties. A formula for the Fuglede–Kadison determinant of the pencil R(z) = z 0 + z 1 a + z 2 t is obtained, and it is used to compute the first singular homology group of the joint resolvent set P c(R). The joint spectrum gives new insight into some earlier studies on groups of intermediate growth, through which the corresponding joint spectrum of (1, a, t) with respect to the Koopman representation ρ (constructed through a self-similar action of D ∞ on a binary tree) can be computed. It turns out that the joint spectra with respect to the two representations coincide. Interestingly, this fact leads to a self-similar realization of the group C*-algebra C*(D ∞). This self-similarity of C*(D ∞) manifests itself in some dynamical properties of the joint spectrum.
Similar content being viewed by others
References
M. Andersson and J. Sjöstrand, “Functional calculus for non-commuting operators with real spectra via an iterated Cauchy formula,” J. Funct. Anal. 210 (2), 341–375 (2004).
W. Arveson, An Invitation to C *-Algebras (Springer, New York, 1981), Grad. Texts Math. 39.
F. V. Atkinson, Multiparameter Eigenvalue Problems, Vol. 1: Matrices and Compact Operators (Academic, New York, 1972).
J. P. Bannon, P. Cade, and R. Yang, “On the spectrum of Banach algebra-valued entire functions,” Ill. J. Math. 55 (4), 1455–1465 (2011).
L. Bartholdi and R. I. Grigorchuk, “On the spectrum of Hecke type operators related to some fractal groups,” Tr. Mat. Inst. im. V. A. Steklova, Ross. Akad. Nauk 231, 5–45 (2000) [Proc. Steklov Inst. Math. 231, 1–41 (2000)].
B. Bekka, P. de la Harpe, and A. Valette, Kazhdan’s Property (T) (Cambridge Univ. Press, Cambridge, 2008), New Math. Monogr. 11.
I. Bondarenko, R. Grigorchuk, R. Kravchenko, Y. Muntyan, V. Nekrashevych, D. Savchuk, and Z. Sunić, “Groups generated by 3-state automata over a 2-letter alphabet. I,” Sao Paulo J. Math. Sci. 1 (1), 1–39 (2007).
P. Cade and R. Yang, “Projective spectrum and cyclic cohomology,” J. Funct. Anal. 265 (9), 1916–1933 (2013).
I. Chagouel, M. Stessin, and K. Zhu, “Geometric spectral theory for compact operators,” Trans. Am. Soc. 368 (3), 1559–1582 (2016).
K. R. Davidson, C *-Algebras by Example (Am. Math. Soc., Providence, RI, 1996), Fields Inst. Monogr. 6.
C. Deninger, “Mahler measures and Fuglede–Kadison determinants,” Münster J. Math. 2, 45–64 (2009).
J. Dixmier, Les C*-algèbres et leurs représentations (Gauthier-Villars, Paris, 1969).
R. G. Douglas and R. Yang, “Hermitian geometry on resolvent set,” arXiv: 1608.05990 [math.FA].
G. Everest and T. Ward, Heights of Polynomials and Entropy in Algebraic Dynamics (Springer, London, 1999), Universitext.
A. S. Fainshtein, “Taylor joint spectrum for families of operators generating nilpotent Lie algebras,” J. Oper. Theory 29 (1), 3–27 (1993).
B. Fuglede and R. V. Kadison, “Determinant theory in finite factors,” Ann. Math., Ser. 2, 55, 520–530 (1952).
R. I. Grigorchuk, “Burnside’s problem on periodic groups,” Funkts. Anal. Prilozh. 14 (1), 53–54 (1980) [Funct. Anal. Appl. 14, 41–43 (1980)].
R. I. Grigorchuk, “Degrees of growth of finitely generated groups, and the theory of invariant means,” Izv. Akad. Nauk SSSR, Ser. Mat. 48 (5), 939–985 (1984) [Math. USSR, Izv. 25 (2), 259–300 (1985)].
R. I. Grigorchuk, “On the Hilbert–Poincaré series of graded algebras associated with groups,” Mat. Sb. 180 (2), 207–225 (1989) [Math. USSR, Sb. 66 (1), 211–229 (1990)].
R. Grigorchuk, “Solved and unsolved problems around one group,” in Infinite Groups: Geometric, Combinatorial and Dynamical Aspects (Birkhäuser, Basel, 2005), Prog. Math. 248, pp. 117–218.
R. Grigorchuk and V. Nekrashevych, “Self-similar groups, operator algebras and Schur complement,” J. Mod. Dyn. 1 (3), 323–370 (2007).
R. I. Grigorchuk, V. V. Nekrashevich, and V. I. Sushchanskii, “Automata, dynamical systems, and groups,” Tr. Mat. Inst. im. V.A. Steklova, Ross. Akad. Nauk 231, 134–214 (2000) [Proc. Steklov Inst. Math. 231, 128–203 (2000)].
R. Grigorchuk and Z. Sunić, “Schreier spectrum of the Hanoi Towers group on three pegs,” in Analysis on Graphs and Its Applications (Am. Math. Soc., Providence, RI, 2008), Proc. Symp. Pure Math. 77, pp. 183–198.
P. R. Halmos, “Two subspaces,” Trans. Am. Math. Soc. 144, 381–389 (1969).
P. de la Harpe, “Fuglede–Kadison determinant: theme and variations,” Proc. Natl. Acad. Sci. USA 110 (40), 15864–15877 (2013).
P. de la Harpe and G. Skandalis, “Déterminant associé à une trace sur une algèbre de Banach,” Ann. Inst. Fourier 34 (1), 241–260 (1984).
R. E. Harte, “The spectral mapping theorem for quasicommuting systems,” Proc. R. Ir. Acad. A 73, 7–18 (1973).
W. He and R. Yang, “Projective spectrum and kernel bundle,” Sci. China, Math. 58 (11), 2363–2372 (2015).
L. Hörmander, An Introduction to Complex Analysis in Several Variables, 3rd ed. (North-Holland, Amsterdam, 1990).
H. Li, “Compact group automorphisms, addition formulas and Fuglede–Kadison determinants,” Ann. Math., Ser. 2, 176 (1), 303–347 (2012).
T.-T. Lu and S.-H. Shiou, “Inverses of 2 × 2 block matrices,” Comput. Math. Appl. 43 (1–2), 119–129 (2002).
V. Nekrashevych, Self-similar Groups (Am. Math. Soc., Providence, RI, 2005), Math. Surv. Monogr. 117.
V. Nekrashevych, “Periodic groups from minimal actions of the infinite dihedral group,” arXiv: 1601.01033v1 [math.GR].
G. K. Pedersen, “Measure theory for C* algebras. II,” Math. Scand. 22, 63–74 (1968).
I. Putnam, “Lecture notes on C *-algebras,” Preprint (Univ. Victoria, 2016), http://www.math.uvic.ca/faculty/putnam/ln/C*-algebras.pdf
I. Raeburn and A. M. Sinclair, “The C *-algebra generated by two projections,” Math. Scand. 65, 278–290 (1989).
W. Rudin, Real and Complex Analysis (McGraw-Hill, New York, 1987).
K. Schmidt, Dynamical Systems of Algebraic Origin (Birkhäuser, Basel, 1995).
B. D. Sleeman, Multiparameter Spectral Theory in Hilbert Space (Pitman, London, 1978), Res. Notes Math. 22.
M. Stessin, R. Yang, and K. Zhu, “Analyticity of a joint spectrum and a multivariable analytic Fredholm theorem,” New York J. Math. 17a, 39–44 (2011).
J. L. Taylor, “A joint spectrum for several commuting operators,” J. Funct. Anal. 6, 172–191 (1970).
J. L. Taylor, “A general framework for a multi-operator functional calculus,” Adv. Math. 9, 183–252 (1972).
V. Vinnikov, “Determinantal representations of algebraic curves,” in Linear Algebra in Signals, Systems and Control: Proc. SIAM Conf., Boston. MA, 1986 (SIAM, Philadelphia, PA, 1988), pp. 73–99.
R. Yang, “Projective spectrum in Banach algebras,” J. Topol. Anal. 1 (3), 289–306 (2009).
M. G. Zaidenberg, S. G. Krein, P. A. Kuchment, and A. A. Pankov, “Banach bundles and linear operators,” Usp. Mat. Nauk 30 (5), 101–157 (1975) [Russ. Math. Surv. 30 (5), 115–175 (1975)].
Author information
Authors and Affiliations
Corresponding author
Additional information
Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2017, Vol. 297, pp. 165–200.
To the blessed memory of Dmitry Victorovich Anosov
Rights and permissions
About this article
Cite this article
Grigorchuk, R., Yang, R. Joint spectrum and the infinite dihedral group. Proc. Steklov Inst. Math. 297, 145–178 (2017). https://doi.org/10.1134/S0081543817040095
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543817040095