[논문 리뷰] The Face Semigroup Algebra of a Hyperplane Arrangement

Franco Saliola|ArXiv.org|2005. 11. 29.

Algebraic structures and combinatorial models참고 문헌 21인용 수 5

한 줄 요약

이 논문은 초평면 배치의 교차 라티스 위에 새로운 코homology 구조를 도입하고, 그 배치의 면 세미군집 대수와 이 코homology 대수가 서로 동형임을 증명한다. 이 대수가 코스졸임을 입증하고, 그 쿼버와 관계를 계산하며, 그 구조가 오직 교차 라티스에 의해서만 결정됨을 보이며, 알지브레익 커비네이터스 이론과 마르코프 체인 분석을 통합한다.

ABSTRACT

This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on the intersection lattice of the hyperplane arrangement. A complete system of primitive orthogonal idempotents for the algebra is constructed and other algebraic structure is determined including: a description of the projective indecomposable modules; the Cartan invariants; projective resolutions of the simple modules; the Hochschild homology and cohomology; and the Koszul dual algebra. A new cohomology construction on posets is introduced and it is shown that the face semigroup algebra is isomorphic to the cohomology algebra when this construction is applied to the intersection lattice of the hyperplane arrangement.

연구 동기 및 목표

• 중앙 초평면 배치의 면 세미군집 대수의 대수적 구조를 연구한다.
• 이 대수가 오직 그 배치의 교차 라티스에 의존함을 보인다.
• 완전한 원시 직교 아이소템프의 체계를 구성하고, 분해 불가능한 프로젝티브 모듈을 규명한다.
• 이 대수가 코스졸임을 증명하고, 그 코스졸 쌍대 대수와 호흐실트 (코)호모로지 계산을 수행한다.
• 포스에 대한 새로운 코homology 구조를 도입하고, 이 대수가 면 세미군집 대수와 동형임을 보인다.

제안 방법

• 면 세미군집 대수는 필드 위에서 초평면 배치의 면들에 의해 생성되는 대수로, 기하적 곱 연산을 갖는다.
• 쿼버와 관계는 교차 라티스와 라티스 내 체인의 구조를 이용해 계산된다.
• 면들을 라티스 원소들로의 표준 분해를 통해 원시 직교 아이소템프의 완전한 체계를 구성한다.
• 분해 불가능한 프로젝티브 모듈은 아이소템프에 의해 인덱스가 매겨진 면들의 스칼라 스펙트럼으로 묘사되며, 이들의 정확한 수열을 이용해 단순 모듈의 프로젝티브 분해를 구축한다.
• 포스에 대한 새로운 코homology 구조를 도입하며, 이는 반대 라티스의 체인을 통해 정의되며, 컵 곱 연산을 갖는다.
• 쿼버의 경로로 라티스의 체인을 매핑하고 대수적 호환성을 검증함으로써, 면 세미군집 대수와 코homology 대수 사이의 동형을 증명한다.

실험 결과

연구 질문

• RQ1 초평면 배치의 면 세미군집 대수는 그 배치의 교차 라티스와 어떻게 관련이 있는가?
• RQ2 포스에 대한 새로운 코homology 이론을 구성할 수 있는가? 그 코homology 대수가 면 세미군집 대수와 동형이 되도록 하려면 어떻게 해야 하는가?
• RQ3 면 세미군집 대수는 코스졸인가? 그리고 그 코스졸 쌍대 대수는 무엇인가?
• RQ4 이 대수의 프로젝티브 모듈, 카르탕 불변량, 호흐실트 (코)호모로지가 라티스의 조합론적 성질과 어떻게 관련이 있는가?
• RQ5 라티스의 웨이트니 코homology는 면 세미군집 대수의 구조에서 어떤 역할을 하는가?

주요 결과

• 면 세미군집 대수는 교차 라티스의 반대 위에 새롭게 도입된 코homology 대수와 동형이며, 컵 곱이 대수의 곱 연산에 대응한다.
• 이 대수는 코스졸이며, 그 코스졸 쌍대 대수는 단순 모듈의 Ext-대수와 동형이다.
• 이 대수의 쿼버와 관계는 명시적으로 계산되었으며, 교차 라티스의 하스 다이어그램을 뒤집은 구조와 일치한다.
• 분해 불가능한 프로젝티브 모듈은 라티스 원소에 의해 인덱스가 매겨진 아이소템프 위에서 면들의 스칼라 스펙트럼과 동형이며, 그 구조는 라티스의 체인 구조에 의해 결정된다.
• 반대 라티스의 웨이트니 코homology는 대수 내의 카메라 아이디얼로 통합되며, 분해 불가능한 프로젝티브 모듈을 이룬다.
• 호흐실트 호모로지와 코호모로지가 코스졸 듀얼리티와 Ext-대수의 구조를 이용해 계산되었다.