The biholomorphic invariance of essential normality on bounded symmetric domains
Lijia Ding
TL;DR
The paper addresses the problem of biholomorphic invariance for $p$-essential normality of Hilbert modules on bounded symmetric domains by developing two main invariance results: Theorem 1, which uses new integral formulas for the Taylor functional calculus to show $p$-essential normality is preserved under permissive linear transformations and automorphisms, and Theorem 2, which establishes intrinsic biholomorphic invariance of $p$-essential normality for quotient submodules under automorphism multipliers. It further analyzes the Wallach set case, computes the Taylor spectrum for compression tuples, and derives corona solvability for quotient submodules, with applications to the Geometric Arveson-Douglas conjecture and hyperrigidity. The results tie together operator-theoretic invariants with complex-geometric structures, providing coordinate-chart independence and enabling a geometric formulation of key conjectures. Overall, the work extends invariant theory for $p$-essential normality to broad classes of domains and submodules, linking dilation theory, index theory, and complex geometry.
Abstract
This paper mainly concerns the biholomorphic invariance of $p$-essential normality of Hilbert modules on bounded symmetric domains. By establishing new integral formulas concerning rational function kernels for the Taylor functional calculus, we prove a biholomorphic invariance result related to the $p$-essential normality. Furthermore, for quotient analytic Hilbert submodules determined by analytic varieties, we develop an algebraic approach to proving that the $p$-essential normality is preserved invariant if the coordinate multipliers are replaced by arbitrary automorphism multipliers. Moreover, the Taylor spectrum of the compression tuple is calculated under a mild condition, which gives a solvability result of the corona problem for quotient submodules. As applications, we extend the recent results on the equivalence between $\infty$-essential normality and hyperrigidity.
