Abstract:For a compact set $K\subset \mathbb C,$ a finite positive Borel measure $\mu$ on $K,$ and $1 \le t < ı,$ let $\text{Rat}(K)$ be the set of rational functions with poles off $K$ and let $R^t(K, \mu)$ be the closure of $\text{Rat}(K)$ in $L^t(\mu).$ For a bounded Borel subset $\mathcal D\subset \mathbb C,$ let $\area_{\mathcal D}$ denote the area (Lebesgue) measure restricted to $\mathcal D$ and let $H^ı(\mathcal D)$ be the weak-star closed sub-algebra of $L^ı(\area_{\mathcal D})$ spanned by $f,$ bounded and analytic on $\mathbb C\setminus E_f$ for some compact subset $E_f \subset \mathbb C\setminus \mathcal D.$ We show that if $R^t(K, \mu)$ contains no non-trivial direct $L^t$ summands, then there exists a Borel subset $\mathcal R \subset K$ whose closure contains the support of $\mu$ and there exists an isometric isomorphism and a weak-star homeomorphism $\rho$ from $R^t(K, \mu) \cap L^\infty(\mu)$ onto $H^\infty(\mathcal R)$ such that $\rho(r) = r$ for all $r\in\text{Rat}(K).$ Consequently, we obtain some structural decomposition theorems for $\rtkmu$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the structure of a class of function spaces \(R_t(K, \mu)\) on the compact set \(K\) in the complex plane and its operator - theoretical properties. Specifically, the paper focuses on the structure and properties of the commutator \(R_{t,\infty}(K, \mu)\) of the multiplication operator \(S_\mu\) when \(R_t(K, \mu)\) does not contain non - trivial direct \(L^t\) direct sum terms.
### Main problems
1. **Structure decomposition theorem**: If \(R_t(K, \mu)\) does not contain non - trivial direct \(L^t\) direct sum terms, then does there exist a Borel subset \(R\subset K\) such that \(R\) contains the support set of \(\mu\), and there exists an isometric isomorphism and weak - star homeomorphism \(\rho\) mapping from \(R_{t,\infty}(K, \mu)\) to \(H^\infty(R)\), such that \(\rho(r)=r\) for all \(r\in \text{Rat}(K)\)?
2. **Cauchy transform and analytic capacity**: For \(g\perp R_t(K, \mu)\), is \(C(g\mu)(z) = 0\) almost everywhere for \(z\in\mathbb{C}\setminus R\)? And is \(\rho(f)(z)C(g\mu)(z)=C(fg\mu)(z)\) almost everywhere for \(f\in R_{t,\infty}(K, \mu)\) and \(g\perp R_t(K, \mu)\)?
### Solution methods
The paper solves the above problems through the following steps:
1. **Define the mapping \(\rho\)**: By studying the relationship between functions in \(R_t(K, \mu)\) and rational functions in \(\text{Rat}(K)\), a mapping \(\rho\) is defined, which maps functions in \(R_t(K, \mu)\) to point functions on \(R\).
2. **Properties of the Cauchy transform**: Using Tolsa's theorem and other related results, the properties of the Cauchy transform on certain sets are proved, especially its behavior on \(R\).
3. **Structure decomposition**: By analyzing the structure of \(R_t(K, \mu)\), it is decomposed into different parts, especially the non - removable boundary \(F\) and the removable set \(R\).
4. **Application**: Through these structure decomposition theorems, some previous results are extended, especially when the boundary of \(K\) is not too complicated.
### Formulas
- **Cauchy transform**:
\[
C(\nu)(z)=\lim_{\epsilon\rightarrow0}\int_{|w - z|>\epsilon}\frac{1}{w - z}d\nu(w)
\]
- **Analytic capacity**:
\[
\gamma(B)=\sup\left|f'(\infty)\right|
\]
where \(f\) is a function that is analytic on \(\mathbb{C}^\infty\setminus B\) and \(|f(z)|\leq1\).
- **Main theorem**:
\[
\rho(f)(z)C(g\mu)(z)=C(fg\mu)(z),\quad \text{almost everywhere}
\]
Through these methods and formulas, the paper successfully solves the structure of \(R_t(K, \mu)\) and the properties of the commutator of the multiplication operator \(S_\mu\).