[논문 리뷰] Some Quotients of the Boolean Lattice are Symmetric Chain Orders

Dwight Duffus, Jeremy McKibben-Sanders외 1명|arXiv (Cornell University)|2011. 07. 06.

Advanced Algebra and Logic참고 문헌 5인용 수 5

한 줄 요약

이 논문은 서로소 순환의 거듭제곱으로 생성되는 군 작용에 의한 부울 레이티스 $B_n$의 몫이 대칭 체인 순서(이하 SCO)임을 증명한다. 이를 통해 조르당의 결과를 일반화한다. 그레인, 클라이트만의 대칭 체인 분해를 바탕으로 잘라내기 기법을 적용하여 이러한 몫에 대해 명시적인 SCO를 구성함으로써, 부울 레이티스 위의 광범위한 군 작용에 대한 직접적이고 일반적인 증명을 확립한다.

ABSTRACT

R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, B(n)/G is an SCO whenever G is generated by powers of disjoint cycles. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.

연구 동기 및 목표

• 모든 부분군 $G \leq S_n$ 에 대해 $B_n/G$ 가 대칭 체인 순서임을 증명하는 캔필드와 메이슨의 추측을 해결하기 위해.
• 특히 서로소 순환의 거듭제곱으로 생성되는 군 작용에 대해, 부울 레이티스 위에서 직접적이고 구성적인 증명을 제공하기 위해.
• 조르당의 $n$-순환 몫에 대한 결과를 일반화하여, 기존의 대칭 체인 분해를 잘라내는 방법을 사용해 보다 단순하고 체계적인 방법을 제시하기 위해.
• 부울 레이티스의 몫 순서 $B_n/G$ 가 서로소 순환의 거듭제곱으로 생성된 군 $G$ 에 의해 작용할 경우, 대칭 체인 분해 성질을 유지함을 보여주기 위해.

제안 방법

• 저자는 부울 레이티스 $B_n$ 의 그레인-클라이트만의 대칭 체인 분해(이하 SCD)를 기초로 삼는다.
• 군 작용에 관하여 불변인 부분레이티스로 SCD를 제한하기 위해 '잘라내기' 기법을 적용하여 대칭 체인의 구조를 유지한다.
• 서로소 순환의 거듭제곱으로 생성되는 군의 경우, 몫 $B_n/G$ 는 각각 대칭 체인 분해를 가진 작은 몫들 $B(X_j)/H_j$ 의 곱으로 분해됨을 보인다.
• SCOs의 곱이 다시 SCO가 되는 사실을 활용하여, 성분 간의 대칭 체인 성질을 유지하는 증명을 수행한다.
• 오빗의 구조를 분석하고, 랭크 대칭성과 체인 커버링 관계를 이용하여 몫에서의 명시적 대칭 체인을 구성한다.
• 특수한 경우로, 반사로 생성되는 2원소 군의 경우, $B_{\lfloor n/2 \rfloor}$ 의 SCD 를 이용하여 몫에 대한 SCD 를 구성한다.

실험 결과

연구 질문

• RQ1 부분군 $G \leq S_n$ 가 어떤 조건을 만족할 경우, 몫 순서 $B_n/G$ 는 대칭 체인 순서(SCO)가 되는가?
• RQ2 군 $G$ 가 서로소 순환의 거듭제곱으로 생성될 경우, $B_n/G$ 가 SCO임을 증명하기 위해 중간 단계의 동치관계에 의존하지 않고 직접적이고 구성적인 증명을 제시할 수 있는가?
• RQ3 그레인-클라이트만의 $B_n$ SCD 가 서로소 순환의 거듭제곱으로 생성된 군에 대해 체계적인 잘라내기를 통해 $B_n/G$ 의 SCD 를 도출할 수 있는가?
• RQ4 군 $G$ 가 반사로 생성되는 2원소 군일 경우, 몫 $B_n/G$ 는 SCO 인가? 그리고 이를 더 작은 부울 레이티스의 분해 기반으로 증명할 수 있는가?
• RQ5 군 $G$ 가 서로소 순환의 거듭제곱으로 작용할 경우, 몫 $B_n/G$ 는 대칭 체인 분해 성질을 유지하는가? 이는 원래의 $B_n$ SCD 와 어떻게 관련되는가?

주요 결과

• 군 $G$ 가 서로소 순환의 거듭제곱으로 생성될 경우, 항상 몰입 $B_n/G$ 는 대칭 체인 순서임을 증명함으로써 정리 1을 입증한다.
• 그레인-클라이트만 SCD 를 잘라내는 방식으로 직접적인 대칭 체인 분해를 구성함으로써, 이전 연구에서 사용된 복잡한 중간 동치관계를 피하는 효과적인 증명을 제공한다.
• $G$ 가 단일 $n$-순환으로 생성될 경우, 이 결과는 조르당의 정리와 일치하며, 보다 단순하고 일반화 가능한 방법을 제공한다.
• 몰입 $B_n/G$ 는 각각 대칭 체인 분해를 가진 작은 몰입들 $B(X_j)/H_j$ 의 곱과 동형이며, 이들의 곱은 SCO 이다.
• 반사로 생성되는 2원소 군의 경우에도 이 구성 기법을 확장할 수 있으며, $B_{\lfloor n/2 \rfloor}$ 의 SCD 를 이용하여 $B_n/G$ 의 SCD 를 구성할 수 있다.
• 그레인-클라이트만 SCD 의 대칭 체인 $C_j$ 가 순환군에 관해 불변인 부분레이티스 $C^m$ 과 교차할 경우, $C_j \subseteq C^m$ 이며, 이는 $C^m/K$ 에 대한 SCD 구성에 유용하다는 것을 보여준다.