<p>We construct a quantum Dolbeault double complex <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\oplus _{p,q}\Omega ^{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>⊕</mo> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <msup> <mi mathvariant="normal">Ω</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> on the quantum plane <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}_q^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">C</mi> <mi>q</mi> <mn>2</mn> </msubsup> </math></EquationSource> </InlineEquation>. This solves the long-standing problem that the standard differential calculus on the quantum plane is not a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq3.gif" Format="GIF" Height="9" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>-calculus, by embedding it as the holomorphic part of a <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq4.gif" Format="GIF" Height="9" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>-calculus. We show in general that any Nichols–Woronowicz algebra or braided plane <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_+(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>B</mi> <mo>+</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>V</i> is an object in an Abelian <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation>-linear braided bar category of real type, is a quantum complex space in this sense of a factorisable Dolbeault double complex. We combine the Chern construction on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{1,0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>0</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> in such a Dolbeault complex for an algebra <i>A</i> with its conjugate to construct a canonical metric-compatible connection on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> associated with a class of quantum metrics, and apply this to the quantum plane. We also apply this to finite groups <i>G</i> with Cayley graph generators split into two halves related by inversion, constructing such a Dolbeault complex <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega (G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in this case. This construction recovers the quantum Levi-Civita connection for any edge-symmetric metric on the integer lattice with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ({\mathbb {Z}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, now viewed as a quantum complex structure on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>. We also show how to build natural quantum metrics on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{1,0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>0</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{0,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mrow> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> separately, where the inner product in the case of the quantum plane, in order to descend to <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11005_2025_1914_Article_IEq14.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\otimes _A\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>⊗</mo> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation>, is taken with values in an <i>A</i>-bimodule.</p>

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

Complex structure on quantum-braided planes

  • Edwin Beggs,
  • Shahn Majid

摘要

We construct a quantum Dolbeault double complex \(\oplus _{p,q}\Omega ^{p,q}\) p , q Ω p , q on the quantum plane \({\mathbb {C}}_q^2\) C q 2 . This solves the long-standing problem that the standard differential calculus on the quantum plane is not a \(*\) -calculus, by embedding it as the holomorphic part of a \(*\) -calculus. We show in general that any Nichols–Woronowicz algebra or braided plane \(B_+(V)\) B + ( V ) , where V is an object in an Abelian \({\mathbb {C}}\) C -linear braided bar category of real type, is a quantum complex space in this sense of a factorisable Dolbeault double complex. We combine the Chern construction on \(\Omega ^{1,0}\) Ω 1 , 0 in such a Dolbeault complex for an algebra A with its conjugate to construct a canonical metric-compatible connection on \(\Omega ^1\) Ω 1 associated with a class of quantum metrics, and apply this to the quantum plane. We also apply this to finite groups G with Cayley graph generators split into two halves related by inversion, constructing such a Dolbeault complex \(\Omega (G)\) Ω ( G ) in this case. This construction recovers the quantum Levi-Civita connection for any edge-symmetric metric on the integer lattice with \(\Omega ({\mathbb {Z}})\) Ω ( Z ) , now viewed as a quantum complex structure on \({\mathbb {Z}}\) Z . We also show how to build natural quantum metrics on \(\Omega ^{1,0}\) Ω 1 , 0 and \(\Omega ^{0,1}\) Ω 0 , 1 separately, where the inner product in the case of the quantum plane, in order to descend to \(\otimes _A\) A , is taken with values in an A-bimodule.