[논문 리뷰] On the Brauer constructions and generic Jordan types of Young modules

Yu Jiang, Kay Jin Lim외 1명|arXiv (Cornell University)|2017. 07. 13.

Algebraic structures and combinatorial models참고 문헌 11인용 수 6

한 줄 요약

이 논문은 양의 정수에서 유한 대칭군의 브라우어 구성과 그 안정적 일반 조르당 유형 사이의 직접적 연결을 확립한다. 특히, p-부분군의 궤도 유형에만 의존하는 '궤도 수'를 도입하여, 양의 모듈러스의 안정적 조르당 유형 지수 r를 계산한다. 두 부분 분할의 경우, p-자리 전개와 후크 길이를 사용하여 명시적인 폐형 공식을 유도하며, 대칭군의 표현 이론의 핵심 문제를 해결한다.

ABSTRACT

Let p be a prime number. We study the dimensions of Brauer constructions of Young and Young permutation modules with respect to p-subgroups of the symmetric groups. They depend only on partitions labelling the modules and the orbits of the action of the p-subgroups, and are related to their generic Jordan types. We obtain some reductive formulae and, in the case of two-part partitions, make some explicit calculation.

연구 동기 및 목표

• 대칭군에서 양 및 양의 순열 모듈러스의 브라우어 구성 차원을 특성 p에서 이해하기 위해.
• 이 차원들이 원소 아벨 p-부분군에 제한된 안정적 일반 조르당 유형과 어떻게 관련되는지 밝히기 위해.
• p-부분군의 궤도 유형에만 의존하는 '궤도 수'를 정의하고 계산하기 위해. 이는 안정적 조르당 유형 [1]^r의 지수 r를 캡처한다.
• 두 부분 분할의 경우, p-자리 전개와 후크 길이를 사용하여 궤도 수의 명시적 공식을 유도하기 위해.
• 궤도 수를 통해 대칭군의 분해 불가능 프로젝티브 모듈러스의 차원을 계산하는 열린 문제에 기여하기 위해.

제안 방법

• 저자들은 브라우어 구성 함자를 사용하여 양 모듈러스의 구조와 정규화자 몫 위의 프로젝티브 모듈러스 간의 관계를 설정한다.
• 그들은 p-부분군 P에 대한 양 모듈러스의 브라우어 구성의 차원으로서 '궤도 수'를 정의하며, 이는 {1,…,n}에서 P의 궤도 유형에만 의존한다.
• 특히 안정적 조르당 유형 [1]^r을 포함한 일반 조르당 유형 이론을 적용하고, r가 브라우어 구성의 차원과 같음을 보인다.
• 두 부분 분할의 경우, 분할 (a,b)의 p-자리 전개를 각 자릿수 (x_i, y_i)로 분해하고, 후크 길이 공식을 적용하여 스펙트 모듈러스의 차원을 계산한다.
• 이차형 공식은 이항계수와 δ(x_i, y_i) 함수를 포함하며, p-무게 1 성분을 보정한다.
• 이 방법은 브라우어 상호 reciprocity, 무게 1 블록의 구조, 그리고 블록 간의 모리타 동치와 같은 기존의 모듈러 표현 이론 결과에 기반한다.

실험 결과

연구 질문

• RQ1 양 모듈러스의 브라우어 구성의 차원은 원소 아벨 p-부분군에 제한된 안정적 일반 조르당 유형과 어떻게 관련되는가?
• RQ2 p-부분군의 어떤 불변량이 양 모듈러스의 안정적 조르당 유형 지수 r를 결정하는가? 특히 [1]^r 분해에서 r을 결정하는 데.
• RQ3 두 부분 분할의 경우, 궤도 수(브라우어 구성의 차원)는 p-자리 자릿수로 명시적으로 계산할 수 있는가?
• RQ4 p-핵과 p-무게는 특성 p에서 양 모듈러스의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 두 부분 분할에 대응하는 양 모듈러스의 궤도 수에 대한 폐형 공식이 존재하는가?

주요 결과

• 양 모듈러스 Y^λ에 대한 p-부분군 P에 대한 브라우어 구성의 차원은 Y^λ가 임의의 원소 아벨 p-부분군 E에 제한되었을 때의 안정적 일반 조르당 유형 [1]^r의 지수 r과 같다.
• 궤도 수는 {1,…,n}에서 P의 궤도 유형에만 의존하며, P의 특정 선택에 따라 달라지지 않는다.
• 분할 (n-1,1)의 경우, p가 n을 나누면 궤도 수는 a_0이며, 그렇지 않으면 a_0 - 1이다. 여기서 a_0는 P의 고정점 수이다.
• 두 부분 분할 λ = (a,b)의 경우, 궤도 수 y_{λ,𝒪_λ}는 p-자리 자릿수 (x_i, y_i)에 대한 곱으로 표현되며, (x_i + 2y_i - 1 선택 y_i)에 더하여, x_i < p-1 이고 x_i + y_i + 1 ≥ p일 때 δ(x_i, y_i)를 포함하는 보정 항이 있다.
• 공식은 스펙트 모듈러스의 차원을 계산하는 후크 길이 공식을 통합하고, δ 함수를 통해 p-무게 1 성분을 보정한다.
• 결과적으로 두 부분 분할의 경우 궤도 수에 대한 폐형 표현식을 제공하며, 대칭군 표현 이론에서 프로젝티브 모듈러스의 차원을 계산하는 데 새로운 계산 도구를 제공한다.