Geodesic
Free Function Theory Through MatrixInvariants
Canadian journal of mathematics, Tome 69 (2017) no. 2, pp. 408-433

Voir la notice de l'article provenant de la source Cambridge University Press

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.
DOI : 10.4153/CJM-2015-055-7
Mots-clés : 16R30, 32A05, 46L52, 15A24, 47A56, 15A24, 46G20, free algebra, free analysis, invariant theory, polynomial identities, trace identities, concomitants, analytic maps, inverse function theorem, generalized polynomials 
Klep, Igor; Špenko, Špela. Free Function Theory Through MatrixInvariants. Canadian journal of mathematics, Tome 69 (2017) no. 2, pp. 408-433. doi: 10.4153/CJM-2015-055-7
@article{10_4153_CJM_2015_055_7,
     author = {Klep, Igor and \v{S}penko, \v{S}pela},
     title = {Free {Function} {Theory} {Through} {MatrixInvariants}},
     journal = {Canadian journal of mathematics},
     pages = {408--433},
     year = {2017},
     volume = {69},
     number = {2},
     doi = {10.4153/CJM-2015-055-7},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2015-055-7/}
}
TY  - JOUR
AU  - Klep, Igor
AU  - Špenko, Špela
TI  - Free Function Theory Through MatrixInvariants
JO  - Canadian journal of mathematics
PY  - 2017
SP  - 408
EP  - 433
VL  - 69
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2015-055-7/
DO  - 10.4153/CJM-2015-055-7
ID  - 10_4153_CJM_2015_055_7
ER  - 
%0 Journal Article
%A Klep, Igor
%A Špenko, Špela
%T Free Function Theory Through MatrixInvariants
%J Canadian journal of mathematics
%D 2017
%P 408-433
%V 69
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2015-055-7/
%R 10.4153/CJM-2015-055-7
%F 10_4153_CJM_2015_055_7

[AKV13] [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] [AM15] Agler, J. and McCarthy, J. E., Global holomorphic functions in several non-commutingvariables. Canad. J. Math. 67(2015), no. 2, 241–285. Google Scholar | DOI

[AM16] [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] [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. Google Scholar | DOI

[Ami65] [Ami65] Amitsur, S. A., Generalized polynomial identities and pivotal monomials. Trans. Amer. Math. Soc. 114(1965), 210–226. Google Scholar | DOI

[BGM06] [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. Google Scholar | DOI

[BV03] [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] [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] [BCM07] Brešar, M., Chebotar, M. A., and Martindale, W. S. III, Functional identities. Birkhuser Verlag, Basel, 2007. Google Scholar

[BK09] [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. Google Scholar | DOI

[Coh95] [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] [DreOO] Drensky, V., Free algebras and Pi-algebras. Graduate course in algebra, Springer-Verlag, Singapore, 2000. Google Scholar

[HBJP87] [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] [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] [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_15 Google Scholar

[HMV06] [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] [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.9780898717778 Google Scholar

[K-VV14] [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] [KK83] Kaup, B. and Kaup, L., Holomorphic functions of several variables. An introduction to the fundamental theory. Walter de Gruyter, Berlin, 1983. Google Scholar | DOI

[KMRT98] [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] [KP96] Kraft, H. and Procesi, C., Classical invariant theory. 1996. https://math.unibas.ch/uploads/x4epersdb/files/primernew.pdf Google Scholar

[KP02] [KP02] Krantz, S. and Parks, H. R., A primer of real analytic functions. Second ed., BirkhäuserBoston, Boston, MA, 2002. Google Scholar | DOI

[Lan93] [Lan93] S.Lang, , Real and functional analysis. Third ed., Graduate Texts in Mathematics, 142, Springer-Verlag, New York, 1993. Google Scholar | DOI

[MS11] [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] [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+] [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] [PolO] Popescu, G., Free holomorphic automorphisms of the unit ball ofB(H)n. J. Reine Angew. Math. 638(2010), 119–168. Google Scholar | DOI

[Pro76] [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] [Pro07] Procesi, C. ,Lie groups: An approach through invariants and representations. Universitext, Springer, New York, 2007. Google Scholar

[Raz74] [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] [Row80] Rowen, L. H., Polynomial identities in ring theory. Pure and Applied Mathematics, 84, Academic Press, New York-London, 1980. Google Scholar

[Tay73] [Tay73] Taylor, J. L., Functions of several noncommuting variables. Bull. Amer. Math. Soc. 79(1973), 1–34. Google Scholar | DOI

[Voc04] [Voc04] Voiculescu, D. V., Free analysis questions. I. Duality transform for the coalgebra of Int. Math. Res. Not. 16(2004), no. 16, 793–822. Google Scholar

[VoclO] [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. Google Scholar | DOI

[ZZ97] [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. Google Scholar | DOI

Cité par Sources :