<p>Let <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{2}(\mathbb {D}^{2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">D</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the Hardy module over the bidisc, and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq7.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^{2}_{\psi ,\phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>M</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> the submodule generated by <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\((\psi (z)-\phi (w))^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϕ</mi> </math></EquationSource> </InlineEquation> are two inner functions. Let <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq11.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="165" /> </InlineMediaObject> <EquationSource Format="TEX">\(N^{2}_{\psi ,\phi }=H^2(\mathbb {D}^2)\ominus M^{2}_{\psi ,\phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>N</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> <mo>=</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">D</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>⊖</mo> <msubsup> <mi>M</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation> be the corresponding quotient module. The submodules and quotient modules are important objects in multivariable operator theory; Wu and Yu have shown that <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(N^{2}_{\psi ,\phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>N</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> is essential normal. In this paper, the core operator of the submodule <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq13.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="174" /> </InlineMediaObject> <EquationSource Format="TEX">\(M^{2}_{\psi ,\phi }=[(\psi (z)-\phi (w))^{2}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>M</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> <mo>=</mo> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is proved to be Hilbert–Schmidt, and its norm is computed. Furthermore, the Hilbert–Schmidt norms of the commutators <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\([S_{z}^{*},S_{z}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mmultiscripts> <mi>S</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>,</mo> <msub> <mi>S</mi> <mi>z</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\([S_{z}^{*},S_{w}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mmultiscripts> <mi>S</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>,</mo> <msub> <mi>S</mi> <mi>w</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\([S_{w}^{*},S_{w}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mmultiscripts> <mi>S</mi> <mrow> <mi>w</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>,</mo> <msub> <mi>S</mi> <mi>w</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2024_405_Article_IEq17.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(N^{2}_{\psi ,\phi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>N</mi> <mrow> <mi>ψ</mi> <mo>,</mo> <mi>ϕ</mi> </mrow> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation> are given.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The core operator on \(M^{2}_{\psi ,\phi }\)-type submodules and \(N^{2}_{\psi ,\phi }\)-type quotient modules over the bidisk

  • Anjian Xu,
  • Dengping Zhang

摘要

Let \(H^{2}(\mathbb {D}^{2})\) H 2 ( D 2 ) be the Hardy module over the bidisc, and \(M^{2}_{\psi ,\phi }\) M ψ , ϕ 2 the submodule generated by \((\psi (z)-\phi (w))^{2}\) ( ψ ( z ) - ϕ ( w ) ) 2 , where \(\psi \) ψ and \(\phi \) ϕ are two inner functions. Let \(N^{2}_{\psi ,\phi }=H^2(\mathbb {D}^2)\ominus M^{2}_{\psi ,\phi }\) N ψ , ϕ 2 = H 2 ( D 2 ) M ψ , ϕ 2 be the corresponding quotient module. The submodules and quotient modules are important objects in multivariable operator theory; Wu and Yu have shown that \(N^{2}_{\psi ,\phi }\) N ψ , ϕ 2 is essential normal. In this paper, the core operator of the submodule \(M^{2}_{\psi ,\phi }=[(\psi (z)-\phi (w))^{2}]\) M ψ , ϕ 2 = [ ( ψ ( z ) - ϕ ( w ) ) 2 ] is proved to be Hilbert–Schmidt, and its norm is computed. Furthermore, the Hilbert–Schmidt norms of the commutators \([S_{z}^{*},S_{z}]\) [ S z , S z ] , \([S_{z}^{*},S_{w}]\) [ S z , S w ] and \([S_{w}^{*},S_{w}]\) [ S w , S w ] on \(N^{2}_{\psi ,\phi }\) N ψ , ϕ 2 are given.