[논문 리뷰] On rings and categories of general representations

Shahram Biglari|arXiv (Cornell University)|2010. 02. 15.

Algebraic structures and combinatorial models참고 문헌 7인용 수 3

한 줄 요약

이 논문은 ${\mathbbm{Q}}$-선형 텐서 범주 ${\mathfrak{A}}$에서 대칭군의 표현의 그로텐디크 링이 $K_0({\mathfrak{A}})$ 계수를 가진 대칭 함수의 링과 동형임을 확립한다. 이는 고전적 표현 이론을 일반화한 것이다. 또한 이 링 위의 애드암 연산이 특성 시리즈를 통해 자기 동형사상의 거듭제곱의 추적을 계산함을 보이며, $\lambda$-링의 구조와 표현론적 추적을 연결한다.

ABSTRACT

In this note we show that similar to the classical case the ring of representations of symmetric groups in a tensor derived category is certain ring of symmetric functions. We also show that in the general setting considered here, the Adams operations compute the characteristic series associated to powers of endomorphisms.

연구 동기 및 목표

• 임의의 ${\mathbbm{Q}}$-선형 텐서 범주 ${\mathfrak{A}}$에 대해 대칭군의 표현 링과 대칭 함수의 링 사이의 고전적 동형을 일반화한다.
• 아벨 범주 또는 특정 삼각형 범주 조건을 만족하는 경우, $K_0({\mathfrak{A}})$에 잘 정의된 $\lambda$-링의 구조를 확립한다.
• G-표현의 그로텐디크 링 위의 애드암 연산이 특성 시리즈를 통해 자기 동형사상의 거듭제곱의 추적을 계산함을 보인다.

제안 방법

• ${\mathfrak{A}}$의 ${\mathbbm{Q}}$-선형 텐서 범주에서 $G$-객체의 범주 $\mathrm{Rep}_{\mathfrak{A}}(G)$를 정의하고, $G$--equivariant 사상으로 장비한다.
• 대칭군 $\Sigma_n$에 대해 $R_{\mathfrak{A}} = \coprod_{n \geq 0} R_n({\mathfrak{A}})$의 그로텐디크 링을 구성하고, 이가 $R \otimes_{\mathbb{Z}} K_0({\mathfrak{A}})$와 동형임을 보인다. 여기서 $R$는 대칭군의 ${\mathbbm{Q}}$-표현의 링이다.
• ${\mathfrak{A}}$가 아벨 범주이거나 특정 삼각형 조건을 만족할 경우, ${\mathfrak{A}}$로부터 $K_0({\mathfrak{A}})$가 $\lambda$-링의 구조를 유도함을 증명한다.
• 특성 시리즈 $\overline{\chi}_X(g)$를 $X$ 위에서 $g^n$의 추적의 생성함수로 정의하고, $\overline{\chi}_{\psi_n(X)}(g) = \overline{\chi}_X(g^n)$을 통해 애드암 연산과 연결한다.
• 가상 표현 $V$에 대해 $\mathrm{tr}(f; S_V(X))$를 계산하기 위해 $X^{\otimes n}$ 위의 프로젝터 공식 $q = \frac{1}{n!} \sum_{\sigma} \chi_\pi(\sigma^{-1}) \sigma$를 사용하여 특성 공식을 도출한다.
• 대칭 함수의 링에서 알려진 항등식, 예를 들어 $\sum_{k=1}^n (-1)^k p_k e_{n-k} = -n e_n$을 활용하여 애드암 연산의 생성함수 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 텐서 범주 ${\mathfrak{A}}$에서 대칭군의 표현 링은 $K_0({\mathfrak{A}})$ 계수를 가진 대칭 함수의 링과 어떻게 관련이 있는가?
• RQ2 ${\mathbbm{Q}}$-선형 텐서 범주 ${\mathfrak{A}}$의 그로텐디크 군 $K_0({\mathfrak{A}})$가 잘 정의된 $\lambda$-링의 구조를 지닐 조건은 무엇인가?
• RQ3 G-표현의 그로텐디크 링 위의 애드암 연산은 특성 시리즈를 통해 자기 동형사상의 거듭제곱의 추적을 어떻게 계산하는가?
• RQ4 특성 시리즈 $\overline{\chi}_X(g)$와 표현 $X$ 위에서 애드암 연산 $\psi_n$의 작용 사이의 정확한 관계는 무엇인가?
• RQ5 $\overline{\chi}_{\psi_n(X)}(g) = \overline{\chi}_X(g^n)$ 공식은 표현 이론의 고전적 추적 항등식을 어떻게 일반화하는가?

주요 결과

• 대칭군 $\Sigma_n$의 표현에 대한 그로텐디크 링 $R_{\mathfrak{A}}$는 $R \otimes_{\mathbb{Z}} K_0({\mathfrak{A}})$와 동형이며, 여기서 $R$는 대칭군의 ${\mathbbm{Q}}$-표현의 링이다.
• $K_0({\mathfrak{A}})$의 $\lambda$-링의 구조는 ${\mathfrak{A}}$가 아벨 범주이거나 적절한 삼각형 조건을 만족할 경우 잘 정의된다.
• 애드암 연산 $\psi_n$은 $R_{\mathfrak{A}}$에서 $\overline{\chi}_{\psi_n(X)}(g) = \overline{\chi}_X(g^n)$을 만족하며, 이는 $\lambda$-링 연산과 자기 동형사상의 거듭제곱의 추적을 연결한다.
• 임의의 객체 $X$와 분할 $\pi$에 대해 슈퍼트레이스 $\mathrm{tr}(\mathrm{id}; S_\pi(X))$는 $\mathrm{tr}(\mathrm{id}; X)$의 다항식이며, 구체적으로 $P(\mathrm{tr}(\mathrm{id}; X)) = d_\pi(\mathrm{tr}(\mathrm{id}; X))$로 표현되며, 여기서 $d_\pi$는 슈어 함수 $S_\pi$의 차원이다.
• 특성 시리즈 $\overline{\chi}_X(g)$는 생성함수 항등식 $-t \frac{d}{dt} \log \overline{\chi}_X(g) = \sum_{n \geq 1} \mathrm{tr}(g^n; X) (-t)^n$을 만족하며, 이는 애드암 연산 항등식과 동치이다.
• 임의의 가상 표현 $V$에 대해 $\mathrm{tr}(f; S_V(X)) = \frac{1}{n!} \sum_{\sigma \in \Sigma_n} \chi_V(\sigma^{-1}) \mathrm{tr}(\sigma f^{igotimes n}; X^{\otimes n})$ 공식이 성립하며, 이는 일반적인 특성 공식을 제공한다.