Untriangular factorization of holomorpic symplectic matrices

Gaofeng Huang, Frank Kutzschebauch, Phan Quoc Bao Tran

We prove that every holomorphic symplectic matrix can be factorized as a product of holomorphic unitriangular matrices with respect to the symplectic form $ \left[\begin{array}{ccc…