Nicholas Aidoo | arXiv Science

arXiv2023

Catlin's Boundary Systems for Sums of Squares Domains

For any given sum of squares domain in $\mathbb{C}^n,$ we reduce the complexity in Catlin's multitype techniques by giving a complete normalization of the geometry. Using this normalization result, we present a more elementary proof of the equality of the Catlin multitype and the commutator multitype for such domains when both invariants are finite. Finally, we reformulate algebraically Catlin's machinery for the commutator multitype computation at the origin for any given sum of squares domain in $\mathbb{C}^n$.

math.CV↗

arXiv2021

On the Catlin multitype of sums of squares domains

For a sum of squares domain of finite D'Angelo 1-type at the origin, we show that the polynomial model obtained from the computation of the Catlin multitype at the origin of such a domain is likewise a sum of squares domain. We also prove, under the same finite type assumption, that the multitype is an invariant of the ideal of holomorphic functions defining the domain. Both results are proven using Martin Kolar's algorithm for the computation of the multitype introduced in [13]. Given a sum of squares domain, we rewrite the Kolar algorithm in terms of ideals of holomorphic functions and also introduce an approach that explicitly constructs the homogeneous polynomial transformations used in the algorithm.

math.CV↗