Birkhoff factorization

Birkhoff decomposition

Traditionally, Birkhoff factorization refers to representations of an invertible matrix-function on the unit circle of the form , where are the boundary values of invertible matrix-functions holomorphic inside (respectively, outside) , and is a diagonal matrix-function with some integers as exponents.

More precisely, let be the standard decomposition of the Riemann sphere , where is the unit disc and is the complementary domain containing the point . For any domains , , denote by the set of all continuous mappings which are holomorphic inside . A classical theorem of G. Birkhoff [a1] yields that, for any Hölder-continuous matrix-function , there exist integers and functions , with equal to the identity matrix, such that on , where . The integers , called the partial indices of , are uniquely determined up to the order and define an interesting decomposition of the space of matrix-functions (cf. Birkhoff stratification). Their sum is an important topological invariant, equal to times the increment of the argument of along [a2].

Existence and analytic properties of such factorizations have been established for various classes of matrix-functions , [a2]. For a rational , the partial indices and factors are effectively computable [a2]. Similar results are available for factorizations of the form .

The Birkhoff theorem is closely related to a number of fundamental topics in algebraic geometry, complex analysis, the theory of differential equations, and operator theory. In particular, it is equivalent to Grothendieck's theorem on decomposition of holomorphic vector bundles over the Riemann sphere [a3]. It is also of fundamental importance for the theory of singular integral equations [a4], Riemann–Hilbert problems and other boundary value problems for holomorphic functions [a5], as well as for the theories of Wiener–Hopf [a6] and Toeplitz operators [a7]; see also [a13].

An extended concept of Birkhoff factorization has recently (1986) emerged in the geometric theory of loop groups [a8]. It turned out that such factorizations are available for various classes of loops on any compact Lie group, with diagonal matrices replaced by homomorphisms of into a maximal torus of . The classical Birkhoff factorization is obtained by taking , the unitary group. The approach of [a8] has stimulated the geometric study of loop groups [a9] and has permitted one to generalize the classical theory of Riemann–Hilbert problems [a10]. The geometric approach to Birkhoff factorization, developed in [a8], has also interesting applications in the theory of completely integrable models [a11] and -theory [a12].

References

[a1]	G.D. Birkhoff, "Singular points of ordinary linear differential equations" Trans. Amer. Math. Soc. , 10 (1909) pp. 436–470
[a2]	K.F. Clancey, I.Z. Gohberg, "Factorization of matrix functions and singular integral operators" , Birkhäuser (1981)
[a3]	A. Grothendieck, "Sur la classification des fibrés holomorphes sur la sphère de Riemann" Amer. J. Math. , 79 (1957) pp. 121–138
[a4]	N.P. Vekua, "Systems of singular integral equations" , Nauka (1970) (In Russian)
[a5]	F.D. Gakhov, "Boundary value problems" , Nauka (1977) (Edition: Third)
[a6]	I.Z. Gohberg, M.G. Krein, "Systems of integral equations on a half-line with kernels depending on the difference of the arguments" Transl. Amer. Math. Soc. , 14 (1960) pp. 217–284
[a7]	A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990)
[a8]	A. Pressley, G. Segal, "Loop groups" , Clarendon Press (1986)
[a9]	D. Freed, "The geometry of loop groups" J. Diff. Geom. , 28 (1988) pp. 223–276
[a10]	G. Khimshiashvili, "On the Riemann–Hilbert problem for a compact Lie group" Dokl. Akad. Nauk SSSR , 310 (1990) pp. 1055–1058 (In Russian)
[a11]	G. Segal, G. Wilson, "Loop groups and equations of KdV type" Publ. Math. IHES , 61 (1985) pp. 5–65
[a12]	S. Zhang, "Factorizations of invertible operators and K-theory of -algebras" Bull. Amer. Math. Soc. , 28 (1993) pp. 75–83
[a13]	M. Hazewinkel, C.F. Martin, "Representations of the symmetric groups, the specialization order, systems, and Grassmann manifolds" Enseign. Math. , 29 (1983) pp. 53–87