[논문 리뷰] Global Mackey functors with operations and n-special lambda rings

Nora Ganter|arXiv (Cornell University)|2013. 01. 20.

Advanced Topology and Set Theory참고 문헌 42인용 수 11

한 줄 요약

이 논문은 거시적 매키 편의체와 거듭제곱 연산을 도입하여 등변 코homology의 대수적 구조와 람다 링을 통합한다. $\tau$-링의 특수 람다 링으로의 일반화를 거시적 거듭제곱 함수수에 의해 매개화된 방식으로 다루며, 스슈어-웨일 동형관계를 $n$-특수 람다 링, 부분군의 계수 함수, 타원 코hom로의 범위로 확장한다. 표현 이론과 형식적 군에의 응용이 있다.

ABSTRACT

Systematically using the language of groupoids, we survey the theory of global Mackey functors, global Green functors and global power functors. Given a global power functor, we study rings with similar operations. The example of n-class functions leads to the notion of an n-special lambda ring.

연구 동기 및 목표

• 진짜 등변 코homology 이론의 계수 체계에 대한 대수적 모델로 거시적 매키 편의체에 거듭제곱 연산을 포함하는 것을 형식화하는 것.
• 허먼의 $\tau$-링 프레임워크를 표현 링에서 임의의 거시적 거듭제곱 함수수로 일반화하여 추가 구조를 지닌 비특수 람다 링의 새로운 클래스를 도출하는 것.
• 스슈어-웨일 동형관계를 $n$-튜플의 교환 가능한 원소들, 부분군의 계수 함수, 타원적 경우의 대칭 쌍곡함수 등 새로운 맥락으로 확장하는 것.
• 세르게프-야마구치 대칭을 통한 거시적 거듭제곱 함수수와 기존의 대수적 구조(예: $G$-모듈러 함수, 레츠의 타원 $\lambda$-링, 슈퍼 $\lambda$-링) 간의 연결 고리를 설정하는 것.
• 그룹로이드 기반의 공리체를 통해 거시적 매키 편의체를 정의하고 웹의 정의와 브룩의 정의를 비교·조율하며, 표준 조건 하에서의 동치성을 증명하는 것.

제안 방법

• 유한 그룹로이드의 언어를 사용하여 거시적 매키 편의체를 정의하며, 유한 그룹로이드에 값이 할당되고, 당김과 밀림 공리(axioms)를 만족하는 것.
• 대칭군 $S_n$에 의해 인덱싱된 거듭제곱 연산을 갖춘 거시적 매키 편의체를 거시적 거듭제곱 함수수로 정의하며, $n$-중 복합체에서의 $S_n$ 작용을 모델링하는 것.
• 허먼의 $\tau$-링 구성법을 거시적 거듭제곱 함수수 $M$에 적용하여, $\bigoplus_{n\geq 0} M(S_n)$ 또는 그 쌍대 $M(S_n)^*$에 의해 매개화된 연산을 통한 $\tau$-링을 정의하는 것.
• 적절한 $M$에 대해 일반화된 스슈어-웨일 동형관계 $\bigoplus_{n\geq 0}^\wedge M(S_n) \xrightarrow{\cong} \lim_{m\in\mathbb{N}} M(U(m))$를 확립하며, 고전적 결과를 확장하는 것.
• 거듭제곱 연산의 $p$-진 타이트 모듈에 대한 작용을 분석하고, 형식적 군의 동형사상(isogenies)을 사용하여 그 행동을 묘사하며, 안도 등이 한 일에 기반하는 것.
• 그룹로이드 기반의 거시적 매키 편의체 정의와 웹의 정의를 비교하며, 특히 모든 유한군이 클래스 $\mathcal{X}$와 $\mathcal{Y}$에 포함될 경우 표준 가정 하에서 동치성을 증명하는 것.

실험 결과

연구 질문

• RQ1 등변 코호몰로지의 거듭제곱 연산은 어떻게 거시적 매키 편의체의 연산으로 대수적으로 형식화될 수 있는가?
• RQ2 거시적 거듭제곱 함수수 $M$에 대해 $\bigoplus_{n\geq 0} M(S_n)$에 의해 매개화된 정확한 대수적 구조는 무엇이며, 특수 $\lambda$-링을 어떻게 일반화하는가?
• RQ3 스슈어-웨일 동형관계는 표현 링을 초월하여 $n$-계수 함수나 $G$-모듈러 함수와 같은 다른 거시적 거듭제곱 함수수로 확장될 수 있는가?
• RQ4 거듭제곱 연산은 형식적 군 법칙과 어떻게 상호작용하는가, 특히 $p$-진 타이트 모듈과 동형사상의 맥락에서 어떻게 되는가?
• RQ5 그룹로이드 기반의 거시적 매키 편의체 정의는 웹의 원래 정의와 얼마나 동치이며, 이러한 동치성에 대한 기술적 조건은 무엇인가?

주요 결과

• 거시적 거듭제곱 함수수는 거듭제곱 연산을 갖춘 진짜 등변 코호몰로지 이론의 계수 체계를 위한 통합된 대수적 프레임워크를 제공하며, $K$-이론, 코호몰로지, 모라바 $K$-이론을 포함한다.
• 거시적 거듭제곱 함수수 $M$ 위에서의 $\tau$-링 구성은 추가 구조를 지닌 비특수 $\lambda$-링을 도출하며, 특수 $\lambda$-링과 $\beta$-링을 일반화한다.
• 특정한 $M$에 대해 일반화된 스슈어-웨일 동형관계 $\bigoplus_{n\geq 0}^\wedge M(S_n) \xrightarrow{\cong} \lim_{m\in\mathbb{N}} M(U(m))$는 $n$-계수 함수수와 $G$-모듈러 함수에서 유도된 $M$에 대해 성립한다.
• $n$-계수 함수수의 거시적 거듭제곱 함수수에 대해, 해당되는 $\tau$-링 구조는 $n$-특수 $\lambda$-링에 해당하며, 교환 가능한 원소 $n$-튜플의 특성 자료를 포괄한다.
• $L = \widehat{\mathbb{Z}}_p^n$ 위에서 거듭제곱 연산의 작용은 형식적 군의 동형사상으로 묘사되며, [And95]와 [AHS04]의 결과를 거시적 맥락으로 일반화한다.
• 클래스 $\mathcal{X}$와 $\mathcal{Y}$가 모든 유한군을 포함할 경우, 그룹로이드 기반의 정의와 웹의 정의 사이에 완전한 동치성을 확립하여 새로운 형식주의가 강력한 일반화임을 검증한다.