대칭군 모듈‑p 코호몰로지 전이와 디크슨 불변량의 구조적 해석

초록

이 논문은 차원 n 인 𝔽ₚ 벡터공간 V 위에 작용하는 대칭군 Σₚⁿ 과 그 p‑Sylow 부분군 G (Σₚⁿ,ₚ, Σₚⁿ⁻¹ ⨝ Σₚ, Σₚ ⨝ Σₚⁿ⁻¹) 사이의 전이(transfer) 사상을 모듈‑p 코호몰로지에서 계산한다. 저자는 제한(res) 사상의 상을 디크슨 대수와 관련된 불변량으로 기술하고, 특정 불변량 링에 대한 자유 모듈 기저를 제시한다. 마지막으로 전이 사상이 자연스러운 전사 사상 ξ와 동일함을, 최고 차원 디크슨 생성원으로 생성된 아이디얼 안에서 증명한다.

상세 분석

본 연구는 대칭군 Σₚⁿ 이 n 차원 𝔽ₚ‑벡터공간 V 에 대한 표준 작용을 가질 때, 그 p‑Sylow 부분군 G 로서 세 가지 경우(Σₚⁿ,ₚ, Σₚⁿ⁻¹ ⨝ Σₚ, Σₚ ⨝ Σₚⁿ⁻¹)를 고려한다. 핵심 목표는 모듈‑p 코호몰로지 H⁎(–;𝔽ₚ) 에서 제한 사상 res⁎: H⁎(G) → H⁎(V) 와 H⁎(Σₚⁿ) → H⁎(V) 의 상(im res⁎) 사이에 정의되는 전이 사상 τ̄⁎: im res⁎(G) → im res⁎(Σₚⁿ) 를 명시적으로 계산하는 것이다.

첫 단계는 V 의 코호몰로지 H⁎(V) 를 대수적으로는 다항식 대수 𝔽ₚ