<p>Working over an arbitrary base scheme <i>S</i>, we define the canonical quadratic pair on the Clifford algebra associated to an Azumaya algebra with quadratic pair. Given an Azumaya algebra <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\cal{A}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">A</mi> </mrow> </math></EquationSource> </InlineEquation> with quadratic pair, i.e., with an orthogonal involution and a semi-trace, its associated Clifford algebra’s canonical involution is only orthogonal in certain cases, namely when <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\text{deg}(\cal{A})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mtext>deg</mtext> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">A</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is divisible by 8 or when both 2 = 0 over <i>S</i> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\text{deg}(\cal{A})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mtext>deg</mtext> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">A</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is divisible by 4. When <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\text{deg}(\cal{A})\geq 8\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mtext>deg</mtext> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">A</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> <mo>≥</mo> <mn class="MJX-tex-caligraphic" mathvariant="script">8</mn> </math></EquationSource> </InlineEquation>, our definition of the canonical quadratic pair on the Clifford algebra is extended from previous work of Dolphin and Quéguiner-Mathieu, who worked over fields of characteristic 2. When <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\text{deg}(\cal{A})= 4\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mtext>deg</mtext> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">A</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> <mo class="MJX-tex-caligraphic" mathvariant="script">=</mo> <mn class="MJX-tex-caligraphic" mathvariant="script">4</mn> </math></EquationSource> </InlineEquation>, we show that no canonical quadratic pair exists.</p>

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

The canonical quadratic pair on Clifford algebras over schemes

  • Cameron Ruether

摘要

Working over an arbitrary base scheme S, we define the canonical quadratic pair on the Clifford algebra associated to an Azumaya algebra with quadratic pair. Given an Azumaya algebra \(\cal{A}\) A with quadratic pair, i.e., with an orthogonal involution and a semi-trace, its associated Clifford algebra’s canonical involution is only orthogonal in certain cases, namely when \(\text{deg}(\cal{A})\) deg ( A ) is divisible by 8 or when both 2 = 0 over S and \(\text{deg}(\cal{A})\) deg ( A ) is divisible by 4. When \(\text{deg}(\cal{A})\geq 8\) deg ( A ) 8 , our definition of the canonical quadratic pair on the Clifford algebra is extended from previous work of Dolphin and Quéguiner-Mathieu, who worked over fields of characteristic 2. When \(\text{deg}(\cal{A})= 4\) deg ( A ) = 4 , we show that no canonical quadratic pair exists.