AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Geodesics, Retracts, and the Norm-Preserving Extension Property in the Symmetrized Bidisc
About this Title
Jim Agler, Department of Mathematics, University of California at San Diego, California 92103, Zinaida Lykova, School of Mathematics and Statistics, Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom and Nicholas Young, School of Mathematics and Statistics, Newcastle University, Newcastle upon Tyne NE1 7RU, United Kingdom — and — School of Mathematics, Leeds University, Leeds LS2 9JT, United Kingdom
Publication: Memoirs of the American Mathematical Society
Publication Year:
2019; Volume 258, Number 1242
ISBNs: 978-1-4704-3549-3 (print); 978-1-4704-5075-5 (online)
DOI: https://doi.org/10.1090/memo/1242
Published electronically: February 22, 2019
Keywords: Symmetrized bidisc,
complex geodesic,
norm-preserving extension property,
holomorphic retract,
spectral set,
Kobayashi extremal problem,
Carathéodory extremal problem,
von Neumann inequality,
semialgebraic set
MSC: Primary 32A07, 53C22, 54C15, 47A57, 32F45; Secondary 47A25, 30E05
Table of Contents
Chapters
- Preface
- 1. Introduction
- 2. An overview
- 3. Extremal problems in the symmetrized bidisc $G$
- 4. Complex geodesics in $G$
- 5. The retracts of $G$ and the bidisc $\mathbb {D}^2$
- 6. Purely unbalanced and exceptional datums in $G$
- 7. A geometric classification of geodesics in $G$
- 8. Balanced geodesics in $G$
- 9. Geodesics and sets $V$ with the norm-preserving extension property in $G$
- 10. Anomalous sets $\mathcal {R}\cup \mathcal {D}$ with the norm-preserving extension property in $G$
- 11. $V$ and a circular region $R$ in the plane
- 12. Proof of the main theorem
- 13. Sets in $\mathbb {D}^2$ with the symmetric extension property
- 14. Applications to the theory of spectral sets
- 15. Anomalous sets with the norm-preserving extension property in some other domains
- A. Some useful facts about the symmetrized bidisc
- B. Types of geodesic: a crib and some cartoons
Abstract
A set $V$ in a domain $U$ in $\mathbb {C}^n$ has the norm-preserving extension property if every bounded holomorphic function on $V$ has a holomorphic extension to $U$ with the same supremum norm. We prove that an algebraic subset of the symmetrized bidisc \[ G \eqdef{(z+w,zw):|z|<1, |w| < 1} \] has the norm-preserving extension property if and only if it is either a singleton, $G$ itself, a complex geodesic of $G$, or the union of the set $\{(2z,z^2): |z|<1\}$ and a complex geodesic of degree $1$ in $G$. We also prove that the complex geodesics in $G$ coincide with the nontrivial holomorphic retracts in $G$. Thus, in contrast to the case of the ball or the bidisc, there are sets in $G$ which have the norm-preserving extension property but are not holomorphic retracts of $G$. In the course of the proof we obtain a detailed classification of the complex geodesics in $G$ modulo automorphisms of $G$. We give applications to von Neumann-type inequalities for $\Gamma$-contractions (that is, commuting pairs of operators for which the closure of $G$ is a spectral set) and for symmetric functions of commuting pairs of contractive operators. We find three other domains that contain sets with the norm-preserving extension property which are not retracts: they are the spectral ball of $2\times 2$ matrices, the tetrablock and the pentablock. We also identify the subsets of the bidisc which have the norm-preserving extension property for symmetric functions.- A. A. Abouhajar, M. C. White, and N. J. Young, A Schwarz lemma for a domain related to $\mu$-synthesis, J. Geom. Anal. 17 (2007), no. 4, 717–750. MR 2365665, DOI 10.1007/BF02937435
- Jim Agler and John E. McCarthy, Norm preserving extensions of holomorphic functions from subvarieties of the bidisk, Ann. of Math. (2) 157 (2003), no. 1, 289–312. MR 1954268, DOI 10.4007/annals.2003.157.289
- Jim Agler and John E. McCarthy, Nevanlinna-Pick interpolation on the bidisk, J. Reine Angew. Math. 506 (1999), 191–204. MR 1665697, DOI 10.1515/crll.1999.004
- J. Agler and N. J. Young, A model theory for $\Gamma$-contractions, J. Operator Theory 49 (2003), no. 1, 45–60. MR 1978320
- J. Agler and N. J. Young, The hyperbolic geometry of the symmetrized bidisc, J. Geom. Anal. 14 (2004), no. 3, 375–403. MR 2077158, DOI 10.1007/BF02922097
- J. Agler and N. J. Young, The complex geodesics of the symmetrized bidisc, Internat. J. Math. 17 (2006), no. 4, 375–391. MR 2220650, DOI 10.1142/S0129167X06003564
- Jim Agler and Nicholas John Young, The magic functions and automorphisms of a domain, Complex Anal. Oper. Theory 2 (2008), no. 3, 383–404. MR 2434458, DOI 10.1007/s11785-007-0039-5
- Jim Agler, Zinaida A. Lykova, and N. J. Young, Extremal holomorphic maps and the symmetrized bidisc, Proc. Lond. Math. Soc. (3) 106 (2013), no. 4, 781–818. MR 3056293, DOI 10.1112/plms/pds049
- Jim Agler, Zinaida A. Lykova, and N. J. Young, The complex geometry of a domain related to $\mu$-synthesis, J. Math. Anal. Appl. 422 (2015), no. 1, 508–543. MR 3263473, DOI 10.1016/j.jmaa.2014.08.051
- Jim Agler, Zinaida A. Lykova, and N. J. Young, Algebraic and geometric aspects of rational $\Gamma$-inner functions, Adv. Math. 328 (2018), 133–159. MR 3771126, DOI 10.1016/j.aim.2017.12.018
- Lars V. Ahlfors, Complex analysis: An introduction of the theory of analytic functions of one complex variable, 2nd ed., McGraw-Hill Book Co., New York-Toronto-London, 1966. MR 0188405
- Lars V. Ahlfors and Leo Sario, Riemann surfaces, Princeton Mathematical Series, No. 26, Princeton University Press, Princeton, N.J., 1960. MR 0114911
- Herbert Alexander, Extending bounded holomorphic functions from certain subvarieties of a polydisc, Pacific J. Math. 29 (1969), 485–490. MR 244508
- T. Andô, On a pair of commutative contractions, Acta Sci. Math. (Szeged) 24 (1963), 88–90. MR 155193
- Rafael B. Andrist, Lifting to the spectral ball with interpolation, J. Math. Anal. Appl. 435 (2016), no. 1, 315–320. MR 3423398, DOI 10.1016/j.jmaa.2015.10.020
- Rafael B. Andrist and Frank Kutzschebauch, The fibred density property and the automorphism group of the spectral ball, Math. Ann. 370 (2018), no. 1-2, 917–936. MR 3747506, DOI 10.1007/s00208-017-1520-8
- H. Bercovici, C. Foias, and A. Tannenbaum, Spectral variants of the Nevanlinna-Pick interpolation problem, Signal processing, scattering and operator theory, and numerical methods (Amsterdam, 1989) Progr. Systems Control Theory, vol. 5, Birkhäuser Boston, Boston, MA, 1990, pp. 23–45. MR 1115441
- Tirthankar Bhattacharyya, Sourav Pal, and Subrata Shyam Roy, Dilations of $\Gamma$-contractions by solving operator equations, Adv. Math. 230 (2012), no. 2, 577–606. MR 2914959, DOI 10.1016/j.aim.2012.02.016
- Tirthankar Bhattacharyya and Haripada Sau, Holomorphic functions on the symmetrized bidisk—realization, interpolation and extension, J. Funct. Anal. 274 (2018), no. 2, 504–524. MR 3724147, DOI 10.1016/j.jfa.2017.09.013
- Jacek Bochnak, Michel Coste, and Marie-Françoise Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original; Revised by the authors. MR 1659509
- H. Cartan, Séminaire Henri Cartan 1951/52, W. A. Benjamin, New York, 1967.
- John B. Conway, Functions of one complex variable. II, Graduate Texts in Mathematics, vol. 159, Springer-Verlag, New York, 1995. MR 1344449
- C. Costara, The symmetrized bidisc and Lempert’s theorem, Bull. London Math. Soc. 36 (2004), no. 5, 656–662. MR 2070442, DOI 10.1112/S0024609304003200
- Michael A. Dritschel, Daniel Estévez, and Dmitry Yakubovich, Traces of analytic uniform algebras on subvarieties and test collections, J. Lond. Math. Soc. (2) 95 (2017), no. 2, 414–440. MR 3656275, DOI 10.1112/jlms.12003
- Stephen D. Fisher, Function theory on planar domains, Pure and Applied Mathematics (New York), John Wiley & Sons, Inc., New York, 1983. A second course in complex analysis; A Wiley-Interscience Publication. MR 694693
- B. A. Fuks, Special chapters in the theory of analytic functions of several complex variables, Translations of Mathematical Monographs, Vol. 14, American Mathematical Society, Providence, R. I., 1965. Translated from the Russian by A. Jeffrey and N. Mugibayashi. MR 0188477
- Kunyu Guo, Hansong Huang, and Kai Wang, Retracts in polydisk and analytic varieties with the $H^\infty$-extension property, J. Geom. Anal. 18 (2008), no. 1, 148–171. MR 2365671, DOI 10.1007/s12220-007-9005-8
- L. F. Heath and T. J. Suffridge, Holomorphic retracts in complex $n$-space, Illinois J. Math. 25 (1981), no. 1, 125–135. MR 602903
- G. M. Henkin, Continuation of bounded holomorphic functions from submanifolds in general position in a strictly pseudoconvex domain, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 540–567 (Russian). MR 0308444
- L. K. Hua, Harmonic analysis of functions of several complex variables in the classical domains, Translations of Mathematical Monographs, vol. 6, American Mathematical Society, Providence, R.I., 1979. Translated from the Russian, which was a translation of the Chinese original, by Leo Ebner and Adam Korányi; With a foreword by M. I. Graev; Reprint of the 1963 edition. MR 598469
- Marek Jarnicki and Peter Pflug, On automorphisms of the symmetrized bidisc, Arch. Math. (Basel) 83 (2004), no. 3, 264–266. MR 2108554, DOI 10.1007/s00013-004-1049-4
- Marek Jarnicki and Peter Pflug, Invariant distances and metrics in complex analysis, Second extended edition, De Gruyter Expositions in Mathematics, vol. 9, Walter de Gruyter GmbH & Co. KG, Berlin, 2013. MR 3114789
- Greg Knese, A refined Agler decomposition and geometric applications, Indiana Univ. Math. J. 60 (2011), no. 6, 1831–1841. MR 3008252, DOI 10.1512/iumj.2011.60.4512
- Shoshichi Kobayashi, Hyperbolic complex spaces, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 318, Springer-Verlag, Berlin, 1998. MR 1635983
- Łukasz Kosiński and Włodzimierz Zwonek, Nevanlinna-Pick problem and uniqueness of left inverses in convex domains, symmetrized bidisc and tetrablock, J. Geom. Anal. 26 (2016), no. 3, 1863–1890. MR 3511461, DOI 10.1007/s12220-015-9611-9
- László Lempert, La métrique de Kobayashi et la représentation des domaines sur la boule, Bull. Soc. Math. France 109 (1981), no. 4, 427–474 (French, with English summary). MR 660145
- Johann von Neumann, Eine Spektraltheorie für allgemeine Operatoren eines unitären Raumes, Math. Nachr. 4 (1951), 258–281 (German). MR 43386, DOI 10.1002/mana.3210040124
- Nikolai Nikolov and Peter Pflug, Kobayashi-Royden pseudometric versus Lempert function, Ann. Mat. Pura Appl. (4) 190 (2011), no. 4, 589–593. MR 2861060, DOI 10.1007/s10231-010-0164-z
- Nikolai Nikolov, Pascal J. Thomas, and Włodzimierz Zwonek, Discontinuity of the Lempert function and the Kobayashi-Royden metric of the spectral ball, Integral Equations Operator Theory 61 (2008), no. 3, 401–412. MR 2417504, DOI 10.1007/s00020-008-1595-4
- P. L. Polyakov and G. M. Khenkin, Integral formulas for solution of the $\partial$-equation, and interpolation problems in analytic polyhedra, Trudy Moskov. Mat. Obshch. 53 (1990), 130–170, 260–261 (Russian); English transl., Trans. Moscow Math. Soc. (1991), 135–175. MR 1097995
- Peter Pflug and Włodzimierz Zwonek, Description of all complex geodesics in the symmetrized bidisc, Bull. London Math. Soc. 37 (2005), no. 4, 575–584. MR 2143737, DOI 10.1112/S0024609305004418
- Walter Rudin, Function theory in the unit ball of $\Bbb C^n$, Classics in Mathematics, Springer-Verlag, Berlin, 2008. Reprint of the 1980 edition. MR 2446682
- Walter Rudin, Function theory in polydiscs, W. A. Benjamin, Inc., New York-Amsterdam, 1969. MR 0255841
- Béla Sz.-Nagy and Ciprian Foiaş, Harmonic analysis of operators on Hilbert space, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York; Akadémiai Kiadó, Budapest, 1970. Translated from the French and revised. MR 0275190
- Joseph L. Taylor, The analytic-functional calculus for several commuting operators, Acta Math. 125 (1970), 1–38. MR 271741, DOI 10.1007/BF02392329
- Edoardo Vesentini, Complex geodesics, Compositio Math. 44 (1981), no. 1-3, 375–394. MR 662466
- N. J. Young, Some analysable instances of $\mu$-synthesis, Mathematical methods in systems, optimization, and control, Oper. Theory Adv. Appl., vol. 222, Birkhäuser/Springer Basel AG, Basel, 2012, pp. 351–368. MR 2962793, DOI 10.1007/978-3-0348-0411-0_{2}4