<p>We introduce triple quadratic residue symbols <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for certain finite primes <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {p}_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">p</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation>’s of a real quadratic field <i>k</i> with trivial narrow class group. For this, we determine a presentation of the Galois group of the maximal pro-2 Galois extension over <i>k</i> unramified outside <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> and infinite primes, from which we derive mod 2 arithmetic triple Milnor invariants <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mu _2(123)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mn>123</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> yielding the triple symbol <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3] = (-1)^{\mu _2(123)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> <msup> <mrow> <mo stretchy="false">]</mo> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> <mrow> <msub> <mi>μ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mn>123</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. Our symbols <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> describe the decomposition law of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {p}_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation> in a certain dihedral extension <i>K</i> over <i>k</i> of degree 8, determined by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathfrak {p}_1, \mathfrak {p}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. The field <i>K</i> and our symbols <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi mathvariant="fraktur">p</mi> <mn>3</mn> </msub> <mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are generalizations over real quadratic fields of Rédei’s dihedral extension of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> and Rédei’s triple symbol of rational primes. We give examples of Rédei type extensions <i>K</i> over real quadratic fields. We also give a cohomological interpretation of our symbols in terms of Massey products.</p>

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

On Triple Quadratic Residue Symbols in Real Quadratic Fields

  • Atsuki Kuramoto

摘要

We introduce triple quadratic residue symbols \({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\) [ p 1 , p 2 , p 3 ] for certain finite primes \(\mathfrak {p}_i\) p i ’s of a real quadratic field k with trivial narrow class group. For this, we determine a presentation of the Galois group of the maximal pro-2 Galois extension over k unramified outside \(\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3\) p 1 , p 2 , p 3 and infinite primes, from which we derive mod 2 arithmetic triple Milnor invariants \(\mu _2(123)\) μ 2 ( 123 ) yielding the triple symbol \({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3] = (-1)^{\mu _2(123)}\) [ p 1 , p 2 , p 3 ] = ( - 1 ) μ 2 ( 123 ) . Our symbols \({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\) [ p 1 , p 2 , p 3 ] describe the decomposition law of \(\mathfrak {p}_3\) p 3 in a certain dihedral extension K over k of degree 8, determined by \(\mathfrak {p}_1, \mathfrak {p}_2\) p 1 , p 2 . The field K and our symbols \({[}\mathfrak {p}_1, \mathfrak {p}_2, \mathfrak {p}_3]\) [ p 1 , p 2 , p 3 ] are generalizations over real quadratic fields of Rédei’s dihedral extension of \(\mathbb {Q}\) Q and Rédei’s triple symbol of rational primes. We give examples of Rédei type extensions K over real quadratic fields. We also give a cohomological interpretation of our symbols in terms of Massey products.