[논문 리뷰] Symmetric Powers and Norms of Mackey Functors

John Ullman|arXiv (Cornell University)|2013. 04. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 3

한 줄 요약

이 논문은 등변 스펙트럼 이론을 활용하여 매키 편재(functor)의 유도된 대칭 거듭제곱과 노름 구조를 대수적으로 기술한다. 이는 매키 편재의 대칭 거듭제곱이 그 위에 생성된 자유 탐바라 편재의 차수 n 부분과 대응됨을 증명한다. 주요 기여는 승법적 푸시포워드를 통한 탐바라 편재의 새로운 특성화로, 이는 등변 확장 거듭제곱의 구조를 반영하는 공식을 도출한다.

ABSTRACT

In this paper we give detailed algebraic descriptions of the derived symmetric power and norm constructions on categories of Mackey functors, as well as the derived G-symmetric monoidal structure. We build on the results of [Ull2], in which it is shown that every Tambara functor over a finite group G arises as the zeroth stable homotopy group of a commutative ring G-spectrum. The norm / restriction adjunctions on categories of Tambara functors promised in [Ull2] are demonstrated algebraically. Finally, we give a new characterization of Tambara functors in terms of multiplicative push forwards of Mackey functors, and use this to obtain an appealing new description of the free Tambara functor on a Mackey functor which closely matches the structure of equivariant extended powers.

연구 동기 및 목표

• 매키 편재 위의 유도된 대칭 거듭제곱 구조를 탐바라 편재의 관점에서 대수적으로 기술하는 것.
• 부분군 H ≤ G에 대해 H-매키 편재에서 G-매키 편재로의 노름 함자를 내재적인 대수적 형식으로 기술하는 것.
• 기하적 고정점들을 통해 매키 편재에 G-대칭 모노이드 구조를 기술하는 것.
• 탐바라 편재 위의 제약과 노름 함자 사이의 수반 관계를 매키 편재 자료로부터 대수적으로 재구성하는 것.
• 매키 편재의 승법적 푸시포워드를 도입하고, 이를 통해 탐바라 편재를 승법적 매키 편재로 특성화하는 것.

제안 방법

• 가환 매크리 G-스펙트럼 G-스펙트럼 함수 𝕮와 π₀ 함수를 사용하여 가환 매크리 G-스펙트럼을 탐바라 편재와 연결하는 것.
• 주어진 매키 편재 위의 대칭 거듭제곱을 자유 탐바라 편재의 n번째 계수로 정의하는 것.
• 에일렌버그-맥클레인 스펙트럼 위의 유도된 노름의 π₀를 통해 매키 편재 위의 노름 함수 N_H^G를 구성하는 것.
• 유한 G-집합에서의 당김 다이어그램을 사용하여 대칭 거듭제곱과 노름의 구조 사상들을 기술하는 것.
• 매키 편재의 승법적 푸시포워드를 도입하여 탐바라 편재의 승법적 구조를 모델링하는 것.
• 당김 다이어그램의 코로니모스와 자유 탐바라 편재 사이의 동형을 확립하고, 이는 등변 확장 거듭제곱의 구조와 일치하는 것.

실험 결과

연구 질문

• RQ1 매키 편재의 유도된 대칭 거듭제곱은 탐바라 편재의 관점에서 어떻게 대수적으로 기술될 수 있는가?
• RQ2 H ≤ G에 대해 매키 편재 위의 노름 함수 N_H^G는 어떤 대수적 구조를 갖는가?
• RQ3 매키 편재 위의 G-대칭 모노이드 구조는 스펙트럼의 기하적 고정점으로부터 어떻게 유도되는가?
• RQ4 탐바라 편재 위의 제약과 노름 함자 사이의 수반 관계는 매키 편재 자료로부터 대수적으로 재구성될 수 있는가?
• RQ5 승법적 푸시포워드는 탐바라 편재를 승법적 매키 편재로 특성화하는 데 어떤 역할을 하는가?

주요 결과

• G-매키 편재 ℳ의 대칭 거듭제곱 Sym_n(ℳ)은 ℳ 위에 생성된 자유 탐바라 편재의 n번째 계수와 동형이다.
• 매키 편재 위의 노름 함수 N_H^G는 에일렌버그-맥클레인 스펙트럼 위의 유도된 노름의 π₀로 대수적으로 기술되며, 이는 탐바라 편재 위의 제약 함수의 왼쪽 수반과 일치한다.
• 매키 ���재 위의 G-대칭 모노이드 구조는 기하적 고정점과 유한 G-집합에서의 당김 다이어그램을 통해 기술된다.
• 매키 편재 ℳ 위의 자유 탐바라 편재는 P(G;n) 내의 당김 다이어그램에 대한 코로니모스와 동형이며, 이는 승법적 푸시포워드에 의해 유도된 구조 사상으로 구성된다.
• 승법적 푸시포워드를 통한 탐바라 편재의 특성화는 등변 확장 거듭제곱의 구조를 반영하는 새로운 대수적 모델을 제공한다.
• 자유 탐바라 편재의 구조 사상이 당김 다이어그램의 코로니모스에 의해 유도되며, 이는 등변 토폴로지와의 호환성을 확인한다.