Global holomorphic functions in several non-commuting variables II
|
|
- Corey Jefferson
- 6 years ago
- Views:
Transcription
1 arxiv: v [math.fa] 29 Jun 207 Global holomorphic functions in several non-commuting variables II Jim Agler U.C. San Diego La Jolla, CA July 3, 207 John E. McCarthy Washington University St. Louis, MO 6330 Abstract: We give a new proof that bounded non-commutative functions on polynomial polyhedra can be represented by a realization formula, a generalization of the transfer function realization formula for bounded analytic functions on the unit disk. Math Subject Classification: 5A54 Introduction Let M n denote the n-by-n matrices with complex entries, and let M d = n= Md n be the set of all d-tuples of matrices of the same size. An ncfunction on a set E M d is a function φ : E M that satisfies (i) φ is graded, which means that if x E M d n, then φ(x) M n. (ii) φ is intertwining preserving, which means if x,y E and S is a linear operator satisfying Sx = ys, then Sφ(x) = φ(y)s. The points x and y are d-tuples, so we write x = (x,...,x d ) and y = (y,...,y d ). By Sx = ys we mean that Sx r = y r S for each r d. See [9] for a general reference to nc-functions. Partially supported by National Science Foundation Grants DMS and DMS Partially supported by National Science Foundation Grant DMS nc is short for non-commutative
2 The principal result of [2] was a realization formula for nc-functions that are bounded on polynomial polyhedra; the object of this note is to give a simpler proof of this formula, Theorem.5 below. Let δ be an I-by-J matrix whose entries are non-commutative polynomials ind-variables. Ifx M d n, thenδ(x)canbenaturallythoughtofasanelement of B(C J C n,c I C n ), where B denotes the bounded linear operators, and all norms we use are operator norms on the appropriate spaces. We define B δ := {x M d : δ(x) < }. (.) Any set of the form (.) is called a polynomial polyhedron. Let H (B δ ) denote the nc-functions on B δ that are bounded, and H (B δ) denote the closed unit ball, those nc-functions that are bounded by for every x B δ. Definition.2. A free realization for φ consists of an auxiliary Hilbert space M and an isometry such that, for all x B δ, we have φ(x) = A + B ( C MCI C A B MC J C D δ(x) [ D ) δ(x) ] C (.3). (.4) The s need to be interpreted appropriately. If x M d n, then (.4) means φ(x) = A + B id M δ(x) id M id C I D id M δ(x) C We adopt the convention of [] and write tensors vertically to enhance legibility. The bottom-most entry corresponds to the space on which x originally acts; the top corresponds to the intrinsic part of the model on M. The following theorem was proved in [2]; another proof appears in [6]. Theorem.5. The function φ is in H (B δ) if and only if it has a free realization. It is a straightforward calculation that any function of the form (.4) is in H (B δ). We wish to prove the converse. We shall use two other results, Theorems.8 and.9 below. If E M d, we let E n denote E M d n. If K and L are Hilbert spaces, a B(K,L)-valued nc function on a set E M d is a function φ such that 2.
3 (i) φ is B(K,L) graded, which means if x E n, then φ(x) B(KC n,l C n ). (ii) φ is intertwining preserving, which means if x,y E and S is a linear operator satisfying Sx = ys, then id L S φ(x) = φ(y) id K S. Definition.6. An nc-model for φ H (B δ ) consists of an auxiliary Hilbert space M and a B(C,MC J )-valued nc-function u on B δ such that, for all pairs x,y B δ that are on the same level (i.e. both in B δ M d n for some n) φ(y) φ(x) = u(y) [ δ(y) δ(x) ] u(x). (.7) Again, the s have to be interpreted appropriately. If x,y B δ M d n, then (.7) means [ ] φ(y) φ(x) = u(y) id M u(x). id C J C n δ(y) δ(x) Theorem.8. A graded function on B δ has an nc-model if and only if it has a free realization. Theorem.8 was proved in [2], but a simpler proof is given by S. Balasubramanian in [5]. Let us note for future reference that the functions u in (.7) are locally bounded, and therefore holomorphic [2, Thm. 4.6]. The finite topology on M d (also called the disjoint union topology) is the topology in which a set Ω is open if and only if for every n, Ω n is open in the Euclidean topology on M d n. If H is a Hilbert space, and Ω is finitely open, we shall let Hol nc H (Ω) denote the B(C,H) graded nc-functions on Ω that are holomorphic on each Ω 2 n A sequence of functions u k on Ω is finitely locally uniformly bounded if for each point λ Ω, there is a finitely open neighborhood of λ inside Ω on which the sequence is uniformly bounded. The following wandering Montel theorem is proved in []. If u is in Hol nc H (Ω) and V is a unitary operator on H, define V u by n (V u) Ωn = V u Ωn. 2 A function u is holomorphic in this context if for each n, for each x Ω n, for each h M d n, the limit lim (u(x+th) u(x)) exists. t 0 t 3
4 Theorem.9. Let Ω be finitely open, H a Hilbert space, and {u k } a finitely locallyuniformlyboundedsequenceinhol nc H (Ω). Thenthereexistsasequence {U k } of unitary operators on H such that {U k u k } has a subsequence that converges finitely locally uniformly to a function in Hol nc H (B δ). Let φ H (B δ). We shall prove Theorem.5 in the following steps. I For every z B δ, show that φ(z) is in Alg(z), the unital algebra generated by the elements of z. II Provethatforevery finitesetf B δ, thereisannc-modelforafunction ψ that agrees with φ on F. III Show that these nc-models have a cluster point that gives an nc-model for φ. IV Use Theorem.8 to get a free realization for φ. Remarks:. Step I is noted in [2] as a corollary of Theorem.5; proving it independently allows us to streamline the proof of Theorem To prove Step II, we use one direction of [3, Thm.3] that gives necessary and sufficient conditions to solve a finite interpolation problem on B δ. The proof of necessity of this theorem used Theorem.5 above, but for Step II we only need the sufficiency of the condition, and the proof of this in [3] did not use Theorem All three known proofs of Theorem.5 start by proving a realization on finite sets, and then somehow taking a limit. In [2], this is done by considering partial nc-functions; in [6], it is done by using noncommutative kernels to get a compact set in which limit points must exist; in the current paper, we use the wandering Montel theorem. 2 Step I Let {e j } n j= be the standard basis for Cn. For x in M n or M d n, let x(k) denote the direct sum of k copies of x. If x M d n and s is invertible in M n, then s xs denotes the d-tuple (s x s,...,s x d s). 4
5 Lemma 2.. Let z M d n, with z <. Assume w / Alg(z). Then there is an invertible s M n 2 such that s z (n) s < and s w (n) s >. Proof: Let A = Alg(z). Since w / A, and A is finite dimensional and therefore closed, the Hahn-Banach theorem says that there is a matrix K M n such that tr(ak) = 0 a A and tr(wk) 0. Let u C n C n be the direct sum of the columns of K, and v = e e 2...e n. Then for any b M n we have tr(bk) = b (n) u,v. Let A id denote {a (n) : a A}. We have a (n) u,v = 0 a A and w (n) u,v 0. Let N = (Aid)u. This is anaid-invariant subspace, but it is not w (n) invariant (since v N, but v isnot perpendicular to w (n) u). Sodecomposing C n C n as N N, every matrix in Aid has 0 in the (2,) entry, and w (n) does not. Let s = αi N +βi N, with α >> β > 0. Then [ ] A B s s = C D [ A β α B α C D β If the ratio α/β is large enough, then for each of the d matrices z r, the corresponding s (z r id)s will have strict contractions in the (,) and (2,2) slots, and each (,2) entry will be small enough so that the whole thing is a contraction. For w, however, as the (2,) entry is non-zero, the norm of s w (n) s can be made arbitrarily large. Lemma 2.2. Let z B δ M d n, and w M n not be in A := Alg(z). Then there is an invertible s M n 2 such that s z (n) s B δ and s w (n) s >. Proof: As in the proof of Lemma 2., we can find an invariant subspace N for A id that is not w-invariant. Decompose δ(z (n) ) as a map from (N C J ) (N C J ) into (N C I ) (N C I ). With s as in Lemma 2., and α >> β > 0, and P the projection from C n C n onto N, we get δ(s z (n) s) = P id δ(z(n) ) P id 0 5 β α ]. P id δ(z(n) ) P id P id δ(z(n) ) P id. (2.3)
6 The matrix is upper triangular because every entry of δ is a polynomial, and N is A-invariant. For α/β large enough, every matrix of the form (2.3) with z B δ is a contraction, so s z (n) s B δ. But s w (n) s will contain a non-zero entry multiplied by α, so we achieve the claim. β Theorem 2.4. If φ is in H (B δ ), then z B δ, we have φ(z) Alg(z). Proof: We can assume that z B δ and that φ on B δ. Let w = φ(z). If w / Alg(z), then by Lemma 2.2, there is an s such that s z (n) s B δ and φ(s z (n) s) = s w (n) s >, a contradiction. Note that Theorem 2.4 does not hold for all nc-functions. In [4] it is shown that there is a class of nc-functions, called fat functions, for which the implicit function theorem holds, but Theorem 2.4 fails. 3 Step II Let F = {x,...,x N }. Define λ = x x N, and define w = φ(x ) φ(x N ). As nc functions preserve direct sums (a consequence of being intertwining preserving) we need to find a function ψ in H (B δ ) that has an nc-model, and satisfies ψ(λ) = w. Let P d denote the nc polynomials in d variables, and define Let I λ = {q P d : q(λ) = 0}. V λ = {x M d : q(x) = 0 whenever q I λ }. We need the following theorem from [3]: Theorem 3.. Let λ B δ M d n and w M n. There exists a function ψ in the closed unit ball of H (B δ ) such that ψ(λ) = w if (i) w Alg(λ), so there exists p P d such that p(λ) = w. (ii) sup{ p(x) : x V λ B δ }. Moreover, if the conditions are satisfied, ψ can be chosen to have a free realization. Since φ(λ) = w, by Theorem 2.4, there is a free polynomial p such that p(λ) = w, so condition (i) is satisfied. To see condition (ii), note that for all x V λ B δ. we have p(x) = φ(x). Indeed, by Theorem 2.4, there is a 6
7 polynomial q so that q(λ x) = φ(λ x). Therefore q(λ) = p(λ), so, since x V λ, we also have q(x) = p(x), and hence p(x) = φ(x). But φ is in the unit ball of H (B δ ), so φ(x) for every x in B δ. So we can apply Theorem 3. to conclude that there is a function ψ in H (B δ ) that has a free realization, and that agrees with φ on the finite set F. Remark: The converse of Theorem 3. is also true. Given Theorem 2.4, the converse is almost immediate. 4 Steps III and IV Let Λ = {x j } j= be a countable dense set in B δ. For each k, let F k = {x,...,x k }. By Step II, there is a function ψ k H (B δ ) that has a free realization and agrees with φ on F k. By Theorem.8, there exists a Hilbert space M k and a B(C,M k C J ) valued nc-function u k on B δ so that, for all n, for all x,y B δ M d n, we have [ ] ψ k (y) ψ k (x) = u k (y) u k (x). (4.) δ(y) δ(x) Embed each M k in a common Hilbert space H. Since the left-hand side of (4.) is bounded, it follows that u k are locally bounded, so we can apply Theorem.9 to find a sequence of unitaries U k so that, after passing to a subsequence, U k u k converges to afunctionv inhol nc H(Ω). Wehave therefore that φ(y) φ(x) = v(y) [ δ(y) δ(x) ] v(x) (4.2) holds for all pairs (x,y) that are both in Λ M d n for any n, so by continuity, we get that (4.2) is an nc-model for φ on all B δ, completing Step III. Finally, Step IV follows by applying Theorem.8. 5 Closing remarks One can modify the argument to get a realization formula for B(K, L)-valued boundednc-functionsonb δ, ortoproveleechtheorems(alsocalledtoeplitzcorona theorems see [0] and [8]). For finite-dimensional K and L, this was done in [2]; for infinite-dimensional K and L the formula was proved in [6], using results from [7]. 7
8 References [] J. Agler and J.E. McCarthy. Wandering Montel theorems for Hilbert space valued holomorphic functions. To appear. arxiv:706: [2] J. Agler and J.E. McCarthy. Global holomorphic functions in several non-commuting variables. Canad. J. Math., 67(2):24 285, 205. [3] J. Agler and J.E. McCarthy. Pick interpolation for free holomorphic functions. Amer. J. Math., 37(6):685 70, 205. [4] Jim Agler and John E. McCarthy. The implicit function theorem and free algebraic sets. Trans. Amer. Math. Soc., 368(5): , 206. [5] Sriram Balasubramanian. Toeplitz corona and the Douglas property for free functions. J. Math. Anal. Appl., 428():, 205. [6] J.A. Ball, G. Marx, and V. Vinnikov. Interpolation and transfer function realization for the non-commutative Schur-Agler class. To appear. arxiv: [7] Joseph A. Ball, Gregory Marx, and Victor Vinnikov. Noncommutative reproducing kernel Hilbert spaces. J. Funct. Anal., 27(7): , 206. [8] M. A. Kaashoek and J. Rovnyak. On the preceding paper by R. B. Leech. Integral Equations Operator Theory, 78():75 77, 204. [9] Dmitry S. Kaliuzhnyi-Verbovetskyi and Victor Vinnikov. Foundations of free non-commutative function theory. AMS, Providence, 204. [0] Robert B. Leech. Factorization of analytic functions and operator inequalities. Integral Equations Operator Theory, 78():7 73, 204. [] J.E. Pascoe and R. Tully-Doyle. Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables. arxiv:
Non-commutative Holomorphic Functions on Operator Domains
Non-commutative Holomorphic Functions on Operator Domains Jim Agler Dept of Mathematics UC San Diego 9500 Gilman Drive La Jolla, CA 92093 John E McCarthy Dept of Mathematics Washington University 1 Brookings
More informationComplete Nevanlinna-Pick Kernels
Complete Nevanlinna-Pick Kernels Jim Agler John E. McCarthy University of California at San Diego, La Jolla California 92093 Washington University, St. Louis, Missouri 63130 Abstract We give a new treatment
More informationAspects of Non-commutative Function Theory
arxiv:1510.06669v2 [math.fa] 19 Aug 2017 Aspects of Non-commutative Function Theory Jim Agler U.C. San Diego La Jolla, CA 92093 August 22, 2017 Abstract John E. McCarthy Washington University St. Louis,
More informationThe implicit function theorem and free algebraic sets
The implicit function theorem and free algebraic sets Jim Agler U.C. San Diego La Jolla, CA 9293 John E. McCarthy Washington University St. Louis, MO 6313 February 19, 214 Abstract: We prove an implicit
More informationAndo dilation and its applications
Ando dilation and its applications Bata Krishna Das Indian Institute of Technology Bombay OTOA - 2016 ISI Bangalore, December 20 (joint work with J. Sarkar and S. Sarkar) Introduction D : Open unit disc.
More informationA 3 3 DILATION COUNTEREXAMPLE
A 3 3 DILATION COUNTEREXAMPLE MAN DUEN CHOI AND KENNETH R DAVIDSON Dedicated to the memory of William B Arveson Abstract We define four 3 3 commuting contractions which do not dilate to commuting isometries
More informationSymmetric functions of two noncommuting variables
Symmetric functions of two noncommuting variables Nicholas Young Leeds and Newcastle Universities Joint work with Jim Agler, UCSD Newcastle, November 013 Abstract We prove a noncommutative analogue of
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationarxiv: v1 [math.cv] 7 Mar 2019
ON POLYNOMIAL EXTENSION PROPERTY IN N-DISC arxiv:1903.02766v1 [math.cv] 7 Mar 2019 KRZYSZTOF MACIASZEK Abstract. In this note we show that an one-dimensional algebraic subset V of arbitrarily dimensional
More informationCONSERVATIVE DILATIONS OF DISSIPATIVE N-D SYSTEMS: THE COMMUTATIVE AND NON-COMMUTATIVE SETTINGS. Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ
CONSERVATIVE DILATIONS OF DISSIPATIVE N-D SYSTEMS: THE COMMUTATIVE AND NON-COMMUTATIVE SETTINGS Dmitry S. Kalyuzhnyĭ-Verbovetzkiĭ Department of Mathematics Ben-Gurion University of the Negev P.O. Box 653
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationBiholomorphic functions on dual of Banach Space
Biholomorphic functions on dual of Banach Space Mary Lilian Lourenço University of São Paulo - Brazil Joint work with H. Carrión and P. Galindo Conference on Non Linear Functional Analysis. Workshop on
More informationarxiv: v1 [math.oa] 21 Aug 2018
arxiv:1808.06938v1 [math.oa] 21 Aug 2018 THE HOFFMAN-ROSSI THEOREM FOR OPERATOR ALGEBRAS DAVID P. BLECHER, LUIS C. FLORES, AND BEATE G. ZIMMER Abstract. We study possible noncommutative (operator algebra)
More informationCommutants of Finite Blaschke Product. Multiplication Operators on Hilbert Spaces of Analytic Functions
Commutants of Finite Blaschke Product Multiplication Operators on Hilbert Spaces of Analytic Functions Carl C. Cowen IUPUI (Indiana University Purdue University Indianapolis) Universidad de Zaragoza, 5
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationThe Metric Geometry of the Multivariable Matrix Geometric Mean
Trieste, 2013 p. 1/26 The Metric Geometry of the Multivariable Matrix Geometric Mean Jimmie Lawson Joint Work with Yongdo Lim Department of Mathematics Louisiana State University Baton Rouge, LA 70803,
More informationOperator theory and the Oka extension theorem
Operator theory and the Oka extension theorem Jim Agler John E. McCarthy August 23 2013 Abstract For δ an m-tuple of analytic functions, we define an algebra Hδ,gen, contained in the bounded analytic functions
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationThe Takagi problem on the disk and bidisk
The Takagi problem on the disk and bidisk Jim Agler Joseph A. Ball John E. McCarthy December 11, 2012 Abstract We give a new proof on the disk that a Pick problem can be solved by a rational function that
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationarxiv:math/ v1 [math.oa] 9 May 2005
arxiv:math/0505154v1 [math.oa] 9 May 2005 A GENERALIZATION OF ANDÔ S THEOREM AND PARROTT S EXAMPLE DAVID OPĚLA Abstract. Andô s theorem states that any pair of commuting contractions on a Hilbert space
More informationSTRONG SINGULARITY OF SINGULAR MASAS IN II 1 FACTORS
Illinois Journal of Mathematics Volume 5, Number 4, Winter 2007, Pages 077 084 S 009-2082 STRONG SINGULARITY OF SINGULAR MASAS IN II FACTORS ALLAN M. SINCLAIR, ROGER R. SMITH, STUART A. WHITE, AND ALAN
More informationStructured Singular Values versus Diagonal Scaling: the Noncommutative Setting
21st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 2014. Structured Singular Values versus Diagonal Scaling: the Noncommutative Setting Joseph A. Ball 1, Gilbert Groenewald
More informationMeans of unitaries, conjugations, and the Friedrichs operator
J. Math. Anal. Appl. 335 (2007) 941 947 www.elsevier.com/locate/jmaa Means of unitaries, conjugations, and the Friedrichs operator Stephan Ramon Garcia Department of Mathematics, Pomona College, Claremont,
More informationRational and H dilation
Rational and H dilation Michael Dritschel, Michael Jury and Scott McCullough 19 December 2014 Some definitions D denotes the unit disk in the complex plane and D its closure. The disk algebra, A(D), is
More informationA WEDGE-OF-THE-EDGE THEOREM: ANALYTIC CONTINUATION OF MULTIVARIABLE PICK FUNCTIONS IN AND AROUND THE BOUNDARY
A WEDGE-OF-THE-EDGE THEOREM: ANALYTIC CONTINUATION OF MULTIVARIABLE PICK FUNCTIONS IN AND AROUND THE BOUNDARY J E PASCOE Abstract In 1956, quantum physicist N Bogoliubov discovered the edge-ofthe-wedge
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More informationMATH 581D FINAL EXAM Autumn December 12, 2016
MATH 58D FINAL EXAM Autumn 206 December 2, 206 NAME: SIGNATURE: Instructions: there are 6 problems on the final. Aim for solving 4 problems, but do as much as you can. Partial credit will be given on all
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationTWO REMARKS ABOUT NILPOTENT OPERATORS OF ORDER TWO
TWO REMARKS ABOUT NILPOTENT OPERATORS OF ORDER TWO STEPHAN RAMON GARCIA, BOB LUTZ, AND DAN TIMOTIN Abstract. We present two novel results about Hilbert space operators which are nilpotent of order two.
More informationNon-commutative manifolds, the free square root and symmetric functions in two non-commuting variables
Non-commutative manifolds, the free square root and symmetric functions in two non-commuting variables Jim Agler John E. McCarthy N. J. Young 18th October 2018 Abstract The richly developed theory of complex
More informationALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS
ALGEBRAIC PROPERTIES OF OPERATOR ROOTS OF POLYNOMIALS TRIEU LE Abstract. Properties of m-selfadjoint and m-isometric operators have been investigated by several researchers. Particularly interesting to
More informationSEMICROSSED PRODUCTS OF THE DISK ALGEBRA
SEMICROSSED PRODUCTS OF THE DISK ALGEBRA KENNETH R. DAVIDSON AND ELIAS G. KATSOULIS Abstract. If α is the endomorphism of the disk algebra, A(D), induced by composition with a finite Blaschke product b,
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 7 (2013), no. 1, 59 72 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) www.emis.de/journals/bjma/ WEIGHTED COMPOSITION OPERATORS BETWEEN VECTOR-VALUED LIPSCHITZ
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More informationComplex geometry and operator theory
Complex geometry and operator theory Joseph A. Ball, Department of Mathematics, Virginia Tech: Realization and interpolation theory for the Herglotz-Agler class over the polyright-halfplane Abstract. The
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationContractive determinantal representations of stable polynomials on a matrix polyball
Contractive determinantal representations of stable polynomials on a matrix polyball Anatolii Grinshpan, Dmitry S. Kaliuzhnyi-Verbovetskyi, Victor Vinnikov, and Hugo J. Woerdeman Drexel University, Philadelphia,
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationBERNARD RUSSO. University of California, Irvine
A HOLOMORPHIC CHARACTERIZATION OF OPERATOR ALGEBRAS (JOINT WORK WITH MATT NEAL) BERNARD RUSSO University of California, Irvine UNIVERSITY OF HOUSTON GREAT PLAINS OPERATOR THEORY SYMPOSIUM MAY 30-JUNE 2,
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationClassical stuff - title to be changed later
CHAPTER 1 Classical stuff - title to be changed later 1. Positive Definite Kernels To start with something simple and elegant, we choose positive definite kernels which appear at every corner in functional
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationGENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 3 (003), 183 193 GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS Chun Gil Park (Received March
More informationLOCAL DIRICHLET SPACES AS DE BRANGES-ROVNYAK SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 7, July 1997, Pages 2133 2139 S 0002-9939(97)03896-3 LOCAL DIRICHLET SPACES AS DE BRANGES-ROVNYAK SPACES DONALD SARASON (Communicated
More informationIntroduction to The Dirichlet Space
Introduction to The Dirichlet Space MSRI Summer Graduate Workshop Richard Rochberg Washington University St, Louis MO, USA June 16, 2011 Rochberg () The Dirichlet Space June 16, 2011 1 / 21 Overview Study
More informationINSTITUTE of MATHEMATICS. ACADEMY of SCIENCES of the CZECH REPUBLIC. A universal operator on the Gurariĭ space
INSTITUTE of MATHEMATICS Academy of Sciences Czech Republic INSTITUTE of MATHEMATICS ACADEMY of SCIENCES of the CZECH REPUBLIC A universal operator on the Gurariĭ space Joanna Garbulińska-Wȩgrzyn Wiesław
More informationInvariant subspaces for operators whose spectra are Carathéodory regions
Invariant subspaces for operators whose spectra are Carathéodory regions Jaewoong Kim and Woo Young Lee Abstract. In this paper it is shown that if an operator T satisfies p(t ) p σ(t ) for every polynomial
More informationON THE GENERALIZED FUGLEDE-PUTNAM THEOREM M. H. M. RASHID, M. S. M. NOORANI AND A. S. SAARI
TAMKANG JOURNAL OF MATHEMATICS Volume 39, Number 3, 239-246, Autumn 2008 0pt0pt ON THE GENERALIZED FUGLEDE-PUTNAM THEOREM M. H. M. RASHID, M. S. M. NOORANI AND A. S. SAARI Abstract. In this paper, we prove
More informationMultiplication Operators with Closed Range in Operator Algebras
J. Ana. Num. Theor. 1, No. 1, 1-5 (2013) 1 Journal of Analysis & Number Theory An International Journal Multiplication Operators with Closed Range in Operator Algebras P. Sam Johnson Department of Mathematical
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We
More informationarxiv: v4 [math.fa] 19 Apr 2010
SEMIPROJECTIVITY OF UNIVERSAL C*-ALGEBRAS GENERATED BY ALGEBRAIC ELEMENTS TATIANA SHULMAN arxiv:0810.2497v4 [math.fa] 19 Apr 2010 Abstract. Let p be a polynomial in one variable whose roots either all
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationTHE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS
THE ALTERNATIVE DUNFORD-PETTIS PROPERTY FOR SUBSPACES OF THE COMPACT OPERATORS MARÍA D. ACOSTA AND ANTONIO M. PERALTA Abstract. A Banach space X has the alternative Dunford-Pettis property if for every
More informationComparing Two Generalized Nevanlinna-Pick Theorems
Comparing Two Generalized Nevanlinna-Pick Theorems University of Iowa INFAS April 30, 2016 Comparing Two s Outline Motivation 1 Motivation 2 3 4 5 Comparing Two s Classical Nevanlinna-Pick Theorem Let
More informationLecture 1 Operator spaces and their duality. David Blecher, University of Houston
Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators
More informationTESTING HOLOMORPHY ON CURVES
TESTING HOLOMORPHY ON CURVES BUMA L. FRIDMAN AND DAOWEI MA Abstract. For a domain D C n we construct a continuous foliation of D into one real dimensional curves such that any function f C 1 (D) which
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationClarkson Inequalities With Several Operators
isid/ms/2003/23 August 14, 2003 http://www.isid.ac.in/ statmath/eprints Clarkson Inequalities With Several Operators Rajendra Bhatia Fuad Kittaneh Indian Statistical Institute, Delhi Centre 7, SJSS Marg,
More informationHypographs of Upper Semi-continuous Maps and Continuous Maps on a Bounded Open Interval
American Journal of Applied Mathematics 216; 42): 75-79 http://www.sciencepublishinggroup.com/j/ajam doi: 1.11648/j.ajam.21642.12 ISSN: 233-43 Print); ISSN: 233-6X Online) Hypographs of Upper Semi-continuous
More informationarxiv: v1 [math.ca] 1 Jul 2013
Carleson measures on planar sets Zhijian Qiu Department of mathematics, Southwestern University of Finance and Economics arxiv:1307.0424v1 [math.ca] 1 Jul 2013 Abstract In this paper, we investigate what
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationA functional model for commuting pairs of contractions and the symmetrized bidisc
A functional model for commuting pairs of contractions and the symmetrized bidisc Nicholas Young Leeds and Newcastle Universities Lecture 2 The symmetrized bidisc Γ and Γ-contractions St Petersburg, June
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationBanach Algebras where the Singular Elements are Removable Singularities
Banach Algebras where the Singular Elements are Removable Singularities Lawrence A. Harris Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506-0027 E-mail: larry@ms.uky.edu Let
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationLecture 11 Hyperbolicity.
Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationTHE KADISON-SINGER PROBLEM AND THE UNCERTAINTY PRINCIPLE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 THE KADISON-SINGER PROBLEM AND THE UNCERTAINTY PRINCIPLE PETER G. CASAZZA AND ERIC WEBER Abstract.
More informationSOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm
SOME QUESTIONS FOR MATH 766, SPRING 2016 SHUANGLIN SHAO Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm f C = sup f(x). 0 x 1 Prove that C([0, 1]) is a
More informationBERNARD RUSSO. University of California, Irvine
A HOLOMORPHIC CHARACTERIZATION OF OPERATOR ALGEBRAS (JOINT WORK WITH MATT NEAL) BERNARD RUSSO University of California, Irvine UNIVERSITY OF CALIFORNIA, IRVINE ANALYSIS SEMINAR OCTOBER 16, 2012 KEYWORDS
More information9. Banach algebras and C -algebras
matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Based on parts of Chapter 10 and parts of Chapter
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationLöwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)
Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1
More informationFinite-dimensional representations of free product C*-algebras
Finite-dimensional representations of free product C*-algebras Ruy Exel Terry A. Loring October 28, 2008 preliminary version Department of Mathematics and Statistics University of New Mexico Albuquerque,
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationThe Choquet boundary of an operator system
1 The Choquet boundary of an operator system Matthew Kennedy (joint work with Ken Davidson) Carleton University Nov. 9, 2013 Operator systems and completely positive maps Definition An operator system
More informationCorona Theorems for Multiplier Algebras on B n
Corona Theorems for Multiplier Algebras on B n Brett D. Wick Georgia Institute of Technology School of Mathematics Multivariate Operator Theory Banff International Research Station Banff, Canada August
More informationTHE BOUNDEDNESS BELOW OF 2 2 UPPER TRIANGULAR OPERATOR MATRICES. In Sung Hwang and Woo Young Lee 1
THE BOUNDEDNESS BELOW OF 2 2 UPPER TRIANGULAR OPERATOR MATRICES In Sung Hwang and Woo Young Lee 1 When A LH and B LK are given we denote by M C an operator acting on the Hilbert space H K of the form M
More informationComplex analysis techniques in the spectral theory of linear operators
Departamento de Matemáticas Curso 2012 2013 Universidad Autónoma de Madrid Trabajo Fin de Máster Complex analysis techniques in the spectral theory of linear operators Daniel Estévez Sánchez September
More information