Hostname: page-component-76fb5796d-zzh7m Total loading time: 0 Render date: 2024-04-27T01:10:24.477Z Has data issue: false hasContentIssue false
  • English
  • Français

Free Function Theory Through MatrixInvariants

Published online by Cambridge University Press:  20 November 2018

Igor Klep  and
Špela Špenko
Igor Klep
Affiliation:
Department of Mathematics, The University of Auckland, New Zealand e-mail: igor.klep@auckland.ac.nz
Špela Špenko
Affiliation:
Institute of Mathematics, Physics, and Mechanics, Ljubljana, Slovenia e-mail: spela.spenko@imfm.si
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This paper concerns free function theory. Free maps are free analogs of analytic functions in several complex variables and are defined in terms of freely noncommuting variables. A function of $g$ noncommuting variables is a function on $g$-tuples of square matrices of all sizes that respects direct sums and simultaneous conjugation. Examples of such maps include noncommutative polynomials, noncommutative rational functions, and convergent noncommutative power series.

In sharp contrast to the existing literature in free analysis, this article investigates free maps with involution, free analogs of real analytic functions. To get a grip on these, techniques and tools from invariant theory are developed and applied to free analysis. Here is a sample of the results obtained. A characterization of polynomial free maps via properties of their finite-dimensional slices is presented and then used to establish power series expansions for analytic free maps about scalar and non-scalar points; the latter are series of generalized polynomials for which an invariant-theoretic characterization is given. Furthermore, an inverse and implicit function theorem for free maps with involution is obtained. Finally, with a selection of carefully chosen examples it is shown that free maps with involution do not exhibit strong rigidity properties enjoyed by their involution-free counterparts.

Keywords

16R3032A0546L5215A2447A5615A2446G20free algebrafree analysisinvariant theorypolynomial identitiestrace identitiesconcomitantsanalytic mapsinverse function theoremgeneralized polynomials
Type
Research Article
Information
Canadian Journal of Mathematics , Volume 69 , Issue 2 , 01 April 2017 , pp. 408 - 433
Copyright
Copyright © Canadian Mathematical Society 2017

References

[AKV13] Abduvalieva, G. and Kaliuzhnyi-Verbovetskyi, D. S., Fixed point theorems for noncommutative functions. J. Math. Anal. Appl. 401(2013), 436–446. http://dx.doi.Org/10.1016/j.jmaa.2O12.12.08 Google Scholar
[AM15] Agler, J. and McCarthy, J. E., Global holomorphic functions in several non-commutingvariables. Canad. J. Math. 67(2015), no. 2, 241–285. http://dx.doi.org/10.4153/CJM-2014-024-1 Google Scholar
[AM16] Agler, J., The implicit function theorem and free algebraic sets. Trans. Amer. Math. Soc. 368(2016), 3157–3175. http://dx.doi.Org/10.1090/tran/6546 Google Scholar
[AD03] Alpay, D. and Dubi, C., A realization theorem for rational functions of several complex variables. Systems Control Lett. 49(2003), no. 3, 225–229. http://dx.doi.org/10.1016/S0167-6911(02)00326-2 Google Scholar
[Ami65] Amitsur, S. A., Generalized polynomial identities and pivotal monomials. Trans. Amer. Math. Soc. 114(1965), 210–226. http://dx.doi.org/10.1090/S0002-9947-1965-0172902-9 Google Scholar
[BGM06] Ball, J. A., Groenewald, G. and Malakorn, T., Bounded real lemma for structured noncommutative multidimensional linear systems and robust control. Multidimens. Syst. Signal Process. 17(2006), no. 2-3, 119–150. http://dx.doi.org/10.1007/s11045-005-6730-7 Google Scholar
[BV03] Ball, J. A. and Vinnikov, V., Formal reproducing kernel Hilbert spaces: the commutative and noncommutative settings. In: Reproducing kernel spaces and applications, Oper. Theory Adv. Appl., 143, Birhäuser, Basel, 2003, pp. 77–134.Google Scholar
[BMM96] Beidar, K. I., Martindale, W. S., and Mikhalev, A. V., Rings with generalized identities. Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, Inc., New York, 1996.Google Scholar
[BCM07] Brešar, M., Chebotar, M. A., and Martindale, W. S. III, Functional identities. Birkhuser Verlag, Basel, 2007.Google Scholar
[BK09] Brešar, M. and Klep, I., Noncommutative polynomials, Lie skew-ideals and tracial Nullstellensätze. Math. Res. Lett. 16(2009), no. 4, 605–626.http://dx.doi.org/10.4310/MRL.2009.v16.n4.a5 Google Scholar
[Coh95] Cohn, P. M., Skew fields. Theory of general division rings. Encyclopedia of Mathematics and its Applications, 57, Cambridge University Press, Cambridge, 1995. http://dx.doi.Org/10.1017/CBO9781139087193 Google Scholar
[DreOO] Drensky, V., Free algebras and Pi-algebras. Graduate course in algebra, Springer-Verlag, Singapore, 2000.Google Scholar
[HBJP87] Helton, J. W., Ball, J. A., Johnson, C. R., and Palmer, J. N., Operator theory, analytic functions, matrices, and electrical engineering. CBMS Regional Conference Series in Mathematics, 68, American Mathematical Society, Providence, RI, 1987.Google Scholar
[HKM11] Helton, J. W., Klep, I., and McCullough, S., Proper analytic free maps. J. Funct. Anal. 260(2011), no. 5, 1476–1490. http://dx.doi.Org/10.1016/j.jfa.2O1 0.11.007 Google Scholar
[HKM12] Helton, J. W.,Free analysis, convexity and LMI domains. In: Mathematical methods in systems, optimization, and control, Oper. Theory Adv. Appl., 222, Birkh äuser/Springer, Basel, 2012, pp. 195–219. http://dx.doi.Org/10.1007/978-3-0348-0411-0_15Google Scholar
[HMV06] Helton, J. W., McCullough, S. A., and Vinnikov, V., Noncommutative convexity arises from linear matrix inequalities. J. Funct. Anal. 240(2006), no. 1,105–191.http://dx.doi.0rg/IO.IOI6/j.jfa.2OO6.O3.OI8 Google Scholar
[HigO8] Higham, N., Functions of matrices: theory and computation. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2008. http://dx.doi.org/10.1137/1.9780898717778Google Scholar
[K-VV14] Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., Foundations of free noncommutative function theory. Mathematical Surveys and Monographs, 199, American Mathematical Society, Providence, RI, 2014. http://dx.doi.Org/10.1090/surv/199 Google Scholar
[KK83] Kaup, B. and Kaup, L., Holomorphic functions of several variables. An introduction to the fundamental theory. Walter de Gruyter, Berlin, 1983. http://dx.doi.org/10.1515/9783110838350 Google Scholar
[KMRT98] Knus, M.-A., Merkurjev, A., Rost, M., and Tignol, J.-P., The book of involutions. American Mathematical Society Colloquium Publication, 44, American Mathematical Society, Providence, RI, 1998.Google Scholar
[KP96] Kraft, H. and Procesi, C., Classical invariant theory. 1996. https://math.unibas.ch/uploads/x4epersdb/files/primernew.pdf Google Scholar
[KP02] Krantz, S. and Parks, H. R., A primer of real analytic functions. Second ed., BirkhäuserBoston, Boston, MA, 2002. http://dx.doi.org/10.1007/978-0-8176-8134-0 Google Scholar
[Lan93] S.Lang, , Real and functional analysis. Third ed., Graduate Texts in Mathematics, 142, Springer-Verlag, New York, 1993. http://dx.doi.org/10.1007/978-1-4612-0897-6 Google Scholar
[MS11] Muhly, P. S. and Solel, B., Progress in noncommutative function theory. Sci. China Math. 54(2011), no. 11, 2275–2294. http://dx.doi.Org/10.1007/0s11425-011 -4241-6 Google Scholar
[Pasl4] Pascoe, J. E., The inverse function theorem and the resolution of the Jacobian conjecture in free analysis. Math. Z. 278 (2014), no. 3-4, 987–994.http://dx.doi.Org/10.1007/S00209-014-1342-2 Google Scholar
[PT+] Pascoe, J. E. and Tully-Doyle, R.,Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables. arxiv:1309.1791 Google Scholar
[PolO] Popescu, G., Free holomorphic automorphisms of the unit ball ofB(H)n. J. Reine Angew. Math. 638(2010), 119–168.http://dx.doi.org/10.1515/CRELLE.2010.005 Google Scholar
[Pro76] Procesi, C., The invariant theory of n × n matrices. Adv. Math. 19(1976), no. 3, 306–381. http://dx.doi.Org/10.1016/0001-8708(76)90027-X Google Scholar
[Pro07] Procesi, C. ,Lie groups: An approach through invariants and representations. Universitext, Springer, New York, 2007.Google Scholar
[Raz74] Razmyslov, Yu. P., Identities with trace in full matrix algebras over a field of characteristic zero. Izv. Akad. Nauk SSSR Ser. Mat. 38(1974), 723–756.Google Scholar
[Row80] Rowen, L. H., Polynomial identities in ring theory. Pure and Applied Mathematics, 84, Academic Press, New York-London, 1980.Google Scholar
[Tay73] Taylor, J. L., Functions of several noncommuting variables. Bull. Amer. Math. Soc. 79(1973), 1–34.http://dx.doi.org/10.1090/S0002-9904-1973-13077-0 Google Scholar
[Voc04] Voiculescu, D. V., Free analysis questions. I. Duality transform for the coalgebra of ∂X:B. Int. Math. Res. Not. 16(2004), no. 16, 793–822.Google Scholar
[VoclO] Voiculescu, D. V., Free analysis questions. II: The Grassmannian completion and the series expansions at the origin. J. Reine Angew. Math. 645(2010), 155–236. http://dx.doi.org/10.1515/CRELLE.2010.063 Google Scholar
[ZZ97] Zizhen, C. and Zhongdan, H., On the continuity of the m-th root of a continuous nonnegative definite matrix-valued function. J. Math. Anal. Appl. 209(1997), no. 1. 60–66. http://dx.doi.org/10.1006/jmaa.1997.5326 Google Scholar