<p>In this paper, we construct a version of orthogonal calculus for functors from <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-representations to <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-spaces, where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> is the cyclic group of order 2. For example, the functor <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(BO(-)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>O</mi> <mo stretchy="false">(</mo> <mo>-</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, that sends a <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-representation to the classifying space of its orthogonal group, which has a <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-action induced by the action on the <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-representation. We obtain a bigraded sequence of approximations to such a functor, and via a zig-zag of Quillen equivalences, we prove that the homotopy fibres of maps between approximations are fully determined by orthogonal spectra with a genuine action of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(C_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> and a naive action of the orthogonal group <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(O(p,q):=O(\mathbb {R}^{p+q\delta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>p</mi> <mo>+</mo> <mi>q</mi> <mi>δ</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

\(C_2\)-equivariant orthogonal calculus

  • Emel Yavuz

摘要

In this paper, we construct a version of orthogonal calculus for functors from \(C_2\) C 2 -representations to \(C_2\) C 2 -spaces, where \(C_2\) C 2 is the cyclic group of order 2. For example, the functor \(BO(-)\) B O ( - ) , that sends a \(C_2\) C 2 -representation to the classifying space of its orthogonal group, which has a \(C_2\) C 2 -action induced by the action on the \(C_2\) C 2 -representation. We obtain a bigraded sequence of approximations to such a functor, and via a zig-zag of Quillen equivalences, we prove that the homotopy fibres of maps between approximations are fully determined by orthogonal spectra with a genuine action of \(C_2\) C 2 and a naive action of the orthogonal group \(O(p,q):=O(\mathbb {R}^{p+q\delta })\) O ( p , q ) : = O ( R p + q δ ) .