Pairs of commuting isometries via new core operator

We study commuting isometric pairs $(V_1,V_2)$ that admit a factorization of the form $(V_2{V}_3,V_2)$ for some isometry $V_3$. To investigate this class, we introduce the notion of core operator associated with a commuting isometric pair $(V_1,V_2):$ \begin{equation*} H(V_1, V_2):=V_2V_2^-V_1V_1^-V_2^2V_2^{2}+V_1V_2V_1^V_2^. \end{equation} This core operator is closely associated with the domain Hartogs triangle. In particular, we establish a model for pure commuting isometric pairs satisfying $H(V_1,V_2)\ge 0$ via the coordinate multiplication operators on a vector-valued Hardy space over the Hartogs triangle. We also investigate the properties of the core operator and its applications to commuting isometric pairs.