[논문 리뷰] An Equivariant Tensor Product on Mackey Functors.

Kristen Mazur|arXiv (Cornell University)|2015. 08. 17.

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

한 줄 요약

이 논문은 순환 $p$-군 $G$ 의 부분군 $H$ 에 대해 $H$-Mackey 함수자에서 $G$-Mackey 함수자를 구성하는 노름 함수자를 도입한다. 이 함수자는 매크레이 함수자와 탐바라 함수자의 내재된 대수적 성질에 기반한 생성자와 관계를 사용한다. 매크레이 함수자 카테고리에 모노이드 구조를 수립하고, 이 구조에서 탐바라 함수자가 가환 링 대상이 되게 하여, 등변 homotopy 이론과 대수적 구조를 통합한다.

ABSTRACT

For all subgroups $H$ of a cyclic $p$-group $G$ we define norm functors that build a $G$-Mackey functor from an $H$-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.

연구 동기 및 목표

• 순환 $p$-군 $G$ 의 부분군 $H$ 에 대해 $H$-Mackey 함수자를 $G$-Mackey 함수자로 확장하는 노름 함수자를 정의하기.
• 매크레이 함수자와 탐바라 함수자의 대수적 구조에 기반한 생성자와 관계를 통해 이러한 함수자를 명시적으로 구성하기.
• 매크레이 함수자 카테고리에 모노이드 구조를 수립하기.
• 이 모노이드 카테고리에서 탐바라 함수자가 가환 링 대상이 되도록 식별하기.
• 내재된 대수적 방법을 통해 등변 대수적 구조를 카테고리적 모노이드 성질과 통합하기.

제안 방법

• 노름 함수자는 매크레이 함수자와 탐바라 함수자의 내재된 대수적 성질에서 유도된 생성자와 관계를 통해 구성된다.
• 이 구성은 순환 $p$-군 $G$ 의 모든 부분군 $H$ 에 적용되며, 군 작용과의 호환성을 보장한다.
• 이러한 노름 함수자를 텐서 곱으로 사용하여 $G$-Mackey 함수자 카테고리에 모노이드 구조를 정의한다.
• 텐서 곱이 결합법칙과 항등원 조건을 만족하여 대칭 모노이드 카테고리의 공리계를 충족함을 보였다.
• 이 구조가 탐바라 함수자가 이 카테고리에서 가환 링 대상이 되도록 확인되었다.
• 위치적 또는 호모토피적 도구를 회피하고, 오직 대수적 관계와 함자성에 의존하는 접근 방식을 사용하였다.

실험 결과

연구 질문

• RQ1 순환 $p$-군 $G$ 의 부분군에 대해 $H$-Mackey 함수자에서 $G$-Mackey 함수자로의 노름 함수자를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 위치적 모델에 의존하지 않고도 이러한 노름 함수자를 정의하는 데 충분한 대수적 관계는 무엇인가?
• RQ3 이러한 노름 함수자를 텐서 곱으로 사용하여 $G$-Mackey 함수자 카테고리에 모노이드 구조를 정의할 수 있는가?
• RQ4 이 모노이드 카테고리에서 어떤 대상들이 가환 링 대상인가?
• RQ5 탐바라 함수자가 이 구성에서 자연스럽게 가환 링 대상으로 나타나는 이유는 무엇인가?

주요 결과

• 노름 함수자는 순환 $p$-군 $G$ 의 모든 부분군 $H$ 에 대해 $H$-Mackey 함수자를 $G$-Mackey 함수자로 올리는 체계적이고 대수적으로 정의된 방법을 제공한다.
• 이 구성은 오직 매크레이 함수자와 탐바라 함수자의 대수적 구조에서 유도된 생성자와 관계에 의존하여 완전히 내재되어 있다.
• 이러한 노름 함수자를 텐서 곱으로 사용하여 $G$-Mackey 함수자 카테고리에 잘 정의된 모노이드 구조를 수립하였다.
• 탐바라 함수자가 이 모노이드 카테고리에서 가환 링 대상으로 식별되었다.
• 이 모노이드 구조는 군 작용과 호환되며, 필요한 조율 조건을 충족한다.
• 이 접근은 등변 매크레이 함수자 카테고리에서의 텐서 곱에 순수하게 대수적 기반을 제공한다.