<p>We give an evaluation for the stuffle-regularised <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_2928_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\( t^{*,V}(\{2\}^a,1,\{2\}^b) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>t</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>V</mi> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mo stretchy="false">{</mo> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> <mi>a</mi> </msup> <mo>,</mo> <mn>1</mn> <mo>,</mo> <msup> <mrow> <mo stretchy="false">{</mo> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> <mi>b</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a polynomial in single-zeta values, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_2928_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\( \log (2) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>log</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_2928_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\( V \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>V</mi> </math></EquationSource> </InlineEquation>. We then apply this to establish some linear independence results of certain sets of motivic multiple <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_2928_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\( t \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>t</mi> </math></EquationSource> </InlineEquation> values. In particular, we prove the elements of Saha’s conjectural basis are linearly independent, on the motivic level, and that the (suitably regularised) elements <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_2928_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\( t^\mathfrak {m}(\{1,2\}^\times ) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>t</mi> <mi mathvariant="fraktur">m</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">}</mo> </mrow> <mo>×</mo> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> form a basis for both the (extended) motivic MtV’s and the alternating MZV’s.</p>

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

On motivic multiple \( t \) values, Saha’s basis conjecture, and generators of alternating MZV’s

  • Steven Charlton

摘要

We give an evaluation for the stuffle-regularised \( t^{*,V}(\{2\}^a,1,\{2\}^b) \) t , V ( { 2 } a , 1 , { 2 } b ) as a polynomial in single-zeta values, \( \log (2) \) log ( 2 ) and \( V \) V . We then apply this to establish some linear independence results of certain sets of motivic multiple \( t \) t values. In particular, we prove the elements of Saha’s conjectural basis are linearly independent, on the motivic level, and that the (suitably regularised) elements \( t^\mathfrak {m}(\{1,2\}^\times ) \) t m ( { 1 , 2 } × ) form a basis for both the (extended) motivic MtV’s and the alternating MZV’s.