[논문 리뷰] Polynomial Functors of Modules

Qimh Richey Xantcha|arXiv (Cornell University)|2012. 05. 02.

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

한 줄 요약

이 논문은 이ilenberg와 맥클레인의 다항식 함자를 이분형 기반환 위에서의 수치 함수로 일반화한 것으로, 프리드리처너와 수스린의 의미에서 엄밀한 다항식 구조를 갖는 조건을 정확히 규명한다. 이는 수치 함수가 차수 $ n $을 갖는다 하였을 때, 그것이 엄밀한 다항식 함수로 확장될 조건을 제시한다. 구체적으로, 수치 함수가 차수 $ n $을 갖는다 하였을 때, 그것이 준동차적이고, 분할거듭제곱 대수 $ P_n(\overline{\mathrm{B}}^{n \times n}) $ 에서 슈어 대수 $ \Gamma^n(\mathrm{B}^{n \times n}) $ 로의 모듈러 구조가 올라가는지 여부에 따라 결정된다.

ABSTRACT

We introduce the notion of numerical functors to generalise Eilenberg & MacLane's polynomial functors to modules over a binomial base ring. After shewing how these functors are encoded by modules over a certain ring, we record a precise criterion for a numerical (or polynomial) functor to admit a strict polynomial structure in the sense of Friedlander & Suslin. We also provide several characterisations of analytic functors.

연구 동기 및 목표

• 이론적 기반환 위에서의 모듈러에 다항식 함수를 일반화하기 위해 수치 함수의 개념을 도입한다.
• 프리드리처너와 수스린의 의미에서 수치 함수가 엄밀한 다항식 함수로 확장될 수 있는 정확한 조건을 규명한다.
• 해석 함수를 수치 함수의 필터링된 쌓음 극한으로 특성화한다.
• 수치 함수의 차수 $ n $ 와 기반환 $ P_n(\mathbf{B}^{n \times n}) $ 위의 모듈러 간의 모리타 동치를 수립한다.

제안 방법

• 이론적 기반환 $ \mathbf{B} $ 위의 유한생성 자유 모듈러에 대한 함수로서 수치 함수를 정의한다. 이는 이론적 기반환 $ \mathbf{B} $-대수 위에서 자연스럽고 곱셈적인 화살표 사상에 의해 정의된다.
• 환 $ P_n(\mathbf{B}^{n \times n}) $ 를 구성하고, 수치 함수의 차수 $ n $ 에 대한 범주 $ \mathpzc{N}_n $ 이 이 환 위의 모듈러의 범주와 동치임을 보인다.
• 분할거듭제곱 사상 $ \upgamma_n: P_n(\mathbf{B}^{n \times n}) \to \Gamma^n(\mathbf{B}^{n \times n}) $ 을 이용하여, 수치 함수를 제약 체계를 통해 엄밀한 다항식 함수와 연결한다.
• 해석 함수를 이론적 기반환 $ \mathbf{B} $-대수 $ A $ 에 대해 정의된 함수의 가족 $ E_A $ 으로 정의한다. 이는 스칼라 확장을 유지하며, $ A $ 에서 자연스럽고 곱셈적인 화살표 사상이 존재하는 함수들과 동치임을 보인다.
• 텐서 곱에서의 이분형 계수의 차수 분석을 통해 국소 수치 함수가 수치 함수의 필터링된 쌓음 극한임을 증명한다.
• 다항식 함수 정리 수립: 수치 함수가 엄밀한 다항식 함수로 확장될 조건은 그것이 준동차적이며, $ F(\mathbf{B}^n) $ 에서의 $ P_n(\mathbf{B}^{n \times n}) $-모듈러 구조가 $ \Gamma^n(\mathbf{B}^{n \times n}) $-모듈러 구조로 확장될 수 있을 때이다.

실험 결과

연구 질문

• RQ1 이론적 기반환 $ \mathbf{B} $ 위에서 차수 $ n $ 을 갖는 수치 함수가 프리드리처너와 수스린의 의미에서 엄밀한 다항식 함수로 확장될 조건은 무엇인가?
• RQ2 수치 함수의 차수 $ n $ 은 기반환 $ P_n(\mathbf{B}^{n \times n}) $ 위의 모듈러와 어떻게 관련이 있는가?
• RQ3 분할거듭제곱 사상에 의해 수치 함수의 범주와 엄밀한 다항식 함수의 범주 사이의 정확한 관계는 무엇인가?
• RQ4 해석 함수는 수치 함수와 그 극한을 통해 어떻게 특성화할 수 있는가?
• RQ5 국소 수치 함수가 수치 함수의 필터링된 쌓음 극한이 되기 위한 조건은 무엇인가?

주요 결과

• 차수 $ n $ 을 갖는 수치 함수의 범주 $ \mathpzc{N}_n $ 은 $ P_n(\mathbf{B}^{n \times n}) $ 위의 모듈러의 범주와 동치이며, 이 동치는 $ F \mapsto F(\mathbf{B}^n) $ 로 주어진다.
• 차수 $ n $ 을 갖는 수치 함수 $ F $ 가 엄밀한 다항식 함수로 확장될 수 있는 조건은 그것이 준동차적이며, $ F(\mathbf{B}^n) $ 에서의 $ P_n(\mathbf{B}^{n \times n}) $-모듈러 구조가 $ \Gamma^n(\mathbf{B}^{n \times n}) $-모듈러 구조로 확장될 수 있을 때이다.
• 엄밀한 다항식 함수에서 수치 함수로의 忘却 함수는 분할거듭제곱 사상 $ \upgamma_n: P_n(\mathbf{B}^{n \times n}) \to \Gamma^n(\mathbf{B}^{n \times n}) $ 에 의한 스칼라 제약과 대응하며, 이는 $ n = 0,1,2 $ 일 때에만 전사적이고 본질적으로 단사적이다.
• 해석 함수들은 정확히 수치 함수의 필터링된 쌓음 극한들로 이루어져 있다.
• 국소 수치 함수들은 텐서 곱에서의 이분형 계수의 차수를 제한함으로써, 수치 함수의 필터링된 쌓음 극한임을 보였다.
• 수치 함수의 화살표 사상은 이론적 기반환 $ \mathbf{B} $-대수 $ A $ 에서 자연스럽고 곱셈적인 사상으로 확장되며, $ F_A: A \otimes \mathrm{Hom}(M,N) \to A \otimes \mathrm{Hom}(F(M),F(N)) $ 로 주어진다. 이는 차수 $ n $ 을 갖는 수치 함수의 특성화를 제공한다.