[논문 리뷰] On the action of the Steenrod algebra on the modular invariants of special linear group

Nguyễn Sum|arXiv (Cornell University)|2017. 10. 18.

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

한 줄 요약

이 논문은 홀수 소수 p에 대해 $SL_n$의 모듈라 불변량에 대한 스틴로드 대수의 작용을 계산한다. 밀너의 스틴로드 대수 기저와 일반화된 딕슨-무이 불변량 $[k; e_{k+1}, \dots, e_n]$에 대한 $St^{S,R}$ 작용에 대한 새로운 공식을 사용하여, 무이 불변량 $M_{n,s_1,\dots,s_k}$에 대한 작용에 대한 명시적 공식을 유도하며, 행렬식 유사 불변량과 $p$-진 전개를 기반으로 하는 새로운 대수적 프레임워크를 통해 이전 결과들을 재해석한다.

ABSTRACT

We compute the action of the Steenrod algebra on generators of algebras of invariants of special linear group ${SL_n=SL(n,\mathbb Z/p)}$ in the polynomial algebra with $ p$ an odd prime number.

연구 동기 및 목표

• 홀수 소수 p에 대해 $\mathbb{Z}/p$ 위에서 $SL_n$의 모듈라 불변량에 대한 스틴로드 대수 $\mathcal{A}(p)$의 작용을 계산하는 것.
• 밀너의 기저 $St^{S,R}$를 사용하여 $P^k$-작용에 대한 이전 결과들을 통합된 공식으로 확장하는 것.
• 불변량 $[k; e_{k+1}, \dots, e_n + s]$와 딕슨 불변량 $Q_{n,s}$ 사이의 구조적 관계를 설정하여 재귀적 계산을 가능하게 하는 것.
• 무이 불변량 $M_{n,s_1,\dots,s_k}$에 대한 $P^k$ 작용을 $p$-진 인덱싱과 인덱스의 분할 기반으로 한 새로운 대수적 프레임워크를 사용하여 재유도하고 재표현하는 것.

제안 방법

• 외적 및 다항식 생성자로 구성된 $H^*(B(\mathbb{Z}/p)^n)$에서의 행렬식 유사 표현으로 일반화된 불변량 $[k; e_{k+1}, \dots, e_n]$을 도입한다.
• 스틴로드 대수 $\mathcal{A}(p)$의 밀너 기저 $St^{S,R}$를 사용하며, 이는 이중 대수의 $\tau_s$와 $\xi_i$의 단항식과 쌍대이다.
• 지수의 $p$-진 전개를 표현하기 위해 인덱스 집합 $\{k+1, \dots, n\}$의 분할 $J = (J_0, \dots, J_m)$을 정의한다.
• $R = R_J$일 경우 작용 공식 $St^{S,R}[k; e_{k+1}, \dots, e_n] = (-1)^{t(k-t)}[k-t, s_1, \dots, s_t, e_{k+1}+\Phi_J(k+1), \dots, e_n+\Phi_J(n)]$을 유도하며, 그 외의 경우는 0이다.
• 높은 차수의 불변량을 낮은 차수의 불변량으로 표현하기 위해 관계식 $[k; e_{k+1}, \dots, e_n + n] = \sum_{s=0}^{n-1} (-1)^{n+s-1} [k; e_{k+1}, \dots, e_n + s] Q_{n,s}^{p^{e_n}}$을 적용한다.
• $P^t M_{n,s_1,\dots,s_k}$의 계산을 명시적으로 수행하여 훙과 민하(2010)의 결과를 재확인하고 재해석한다.

실험 결과

연구 질문

• RQ1 스틴로드 대수 $\mathcal{A}(p)$는 $SL_n$ 불변량 링의 일반화된 불변량 $[k; e_{k+1}, \dots, e_n]$에 어떻게 작용하는가?
• RQ2 $St^{S,R}$ 작용이 무이 불변량 $M_{n,s_1,\dots,s_k}$에 대해 단일 대수적 공식으로 균일하게 계산될 수 있는가?
• RQ3 $[k; e_{k+1}, \dots, e_n + n]$과 딕슨 불변량 $Q_{n,s}$ 사이에 어떤 구조적 관계가 존재하는가?
• RQ4 $P^t$ 작용에 대한 기존 결과를 $p$-진 인덱싱과 분할 기반 공식을 사용하여 어떻게 재유도하고 일반화할 수 있는가?
• RQ5 $\Phi_J$ 함수와 수열 $R_J = \sum_{j \in J_s} p^{e_j}$는 스틴로드 작용의 지지부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 지수 집합 $\{k+1, \dots, n\}$의 분할 $J$에 대해 $R = R_J$일 경우에만 $St^{S,R}$의 작용이 0이 아니며, 그 값은 $(-1)^{t(k-t)}[k-t, s_1, \dots, s_t, e_{k+1}+\Phi_J(k+1), \dots, e_n+\Phi_J(n)]$로 주어진다.
• $[k; e_{k+1}, \dots, e_n + n]$은 $s = 0, \dots, n-1$에 대해 $[k; e_{k+1}, \dots, e_n + s] Q_{n,s}^{p^{e_n}}$의 선형 조합으로 표현되며, 이는 재귀적 구조를 확립한다.
• $P^t = St^{\emptyset, (t)}$의 작용은 $t = \sum_{i=1}^{k+1} \frac{p^{s_i} - p^{t_i}}{p-1}$ 이며 $s_{i-1} < t_i \leq s_i$일 때에만 0이 아니며, 결과는 무이 불변량 또는 무이 불변량과 딕슨 불변량의 곱의 합이 된다.
• $t_{k+1} = n$일 경우 결과는 $i=1$에서 $k+1$까지의 $(-1)^{k+1-i} M_{n,t_1,\dots,\hat{t}_i,\dots,t_{k+1}} Q_{n,t_i}$의 합으로 주어지며, 이는 기존 공식을 일반화한다.
• 특수 케이스인 $M_{n,1,\dots,n-1} = [n-1; 0]$에 대해 $St^{S', R}$의 작용을 명시적으로 계산한 결과: $R = \Delta_{s_t}$일 경우 $(-1)^{s_t - t} M_{s_0,\dots,\hat{s}_t,\dots,s_k}$이며, $R = \Delta_n$일 경우 $Q_{n,s_t}$의 합이 되며, 그 외의 경우는 0이다.
• 논문은 무이 불변량에 대한 $P^t$ 작용에 대해 새로운 직접적 유도를 제공하며, $p$-진 인덱싱과 분할된 지수 이동 기반의 새로운 프레임워크를 통해 훙과 민하(2010)의 결과를 확인하고 재해석한다.