English

Reflections in $L^2(\mathbb{T})$

Functional Analysis 2025-10-15 v2

Abstract

Let D={zC:z<1}\mathbb{D}=\{z\in\mathbb{C}: |z|<1\} and T={zC:z=1}\mathbb{T}=\{z\in\mathbb{C}: |z|=1\}. For aDa\in\mathbb{D}, consider φa(z)=az1aˉz\varphi_a(z)=\frac{a-z}{1-\bar{a}z} and CaC_a the composition operator in L2(T)L^2(\mathbb{T}) induced by φa\varphi_a: Caf=fφa. C_a f=f\circ\varphi_a. Clearly CaC_a satisties Ca2=IC_a^2=I, i.e., is a non-selfadjoint reflection. We also consider the following symmetries (selfadjoint reflections) related to CaC_a: Ra=Mkaka2Ca  and  Wa=Mkaka2Ca, R_a=M_{\frac{|k_a|}{\|k_a\|_2}}C_a \ \hbox{ and } \ W_a=M_{\frac{k_a}{\|k_a\|_2}}C_a, where ka(z)=11aˉzk_a(z)=\frac{1}{1-\bar{a}z} is the Szego kernel. The symmetry RaR_a is the unitary part in the polar decomposition of CaC_a. We characterize the eigenspaces N(Ta±I)N(T_a\pm I) for Ta=Ca,RaT_a=C_a, R_a or WaW_a, and study their relative positions when one changes the parameter aa, e.g., N(Ta±I)N(Tb±I)N(T_a\pm I)\cap N(T_b\pm I), N(Ta±I)N(Tb±I)N(T_a\pm I)\cap N(T_b\pm I)^\perp, N(Ta±I)N(Tb±I)N(T_a\pm I)^\perp\cap N(T_b\pm I), etc., for abDa\ne b\in\mathbb{D}.

Cite

@article{arxiv.2504.11600,
  title  = {Reflections in $L^2(\mathbb{T})$},
  author = {Esteban Andruchow},
  journal= {arXiv preprint arXiv:2504.11600},
  year   = {2025}
}
R2 v1 2026-06-28T22:59:45.646Z