[논문 리뷰] Cohomology of the Orlik-Solomon algebras and local systems

Anatoly Libgober, Sergey Yuzvinsky|ArXiv.org|1998. 06. 24.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 27

한 줄 요약

이 논문은 복소 프로젝티브 평면에서 선 배열의 여집합 위의 국소계의 1차 코homology가 자명한 특성자를 포함하는 양의 차원의 기약 성분을 가질 조건을 결정하기 위해 조합론적이고代수기하학적 방법을 수립한다. 이는 Vinberg-Kac 분류를 통해 일반화된 카르탕 행렬과 연결되며, 이러한 성분들이 대수곡선의 붓펜치와 대응됨을 보여주고, 배열의 분류 결과와 특성다양체가 큰 배열에 대한 경계를 이끌어낸다.

ABSTRACT

The paper provides a combinatorial method to decide when the space of local systems with non vanishing first cohomology on the complement to an arrangement of lines in a complex projective plane has as an irreducible component a subgroup of positive dimension. Partial classification of arrangements having such a component of positive dimension and a comparison theorem for cohomology of Orlik-Solomon algebra and cohomology of local systems are given. The methods are based on Vinberg-Kac classification of generalized Cartan matrices and study of pencils of algebraic curves defined by mentioned positive dimensional components.

연구 동기 및 목표

• 선 배열의 여집합 위의 국소계의 1차 코homology가 자명한 특성자를 포함하는 양의 차원의 기약 성분을 가질 조건을 규명하는 것.
• 이 코homological 불변량을 교차 레이스의 조합론과 대수곡선의 붓펜치 기하학과 연결하는 것.
• Vinberg-Kac 분류를 이용하여 특성다양체에 이러한 양의 차원 성분이 존재하는 배열을 분류하는 것.
• 왜곡 계수를 가진 Orlik-Solomon 대수의 코homology와 국소계의 코homology 사이의 비교를 수립하고, p=1인 경우의 추측을 증명하는 것.

제안 방법

• 순위 2 평면 X에 대해 ∑_{H_i ⊃ X} a_i = 0 를 만족하는 incidence 행렬 J를 정의하고, Q = J^t J − E 를 통해 대칭 행렬 Q를 구성한다. 여기서 E는 모든 성분이 1인 행렬이다.
• 행렬 Q에 대해 Vinberg-Kac 분류를 적용하여 null space를 분석하고 R₁의 성분을 특성화한다.
• Q의 null space를 Orlik-Solomon 대수의 미분 곱셈에 의해 왜곡된 계수를 가진 H¹(A,a)의 1차 코homology와 연결한다.
• 특성다양체의 양의 차원 성분 S로부터, 여러 점에서 복소 평면을 블로우업하여 대수곡선의 붓펜치를 구성한다.
• 블로우업 표면의 오일러 지표와 피브레이션 자료를 이용하여 배열 내 각 그룹의 선 수에 대한 경계를 도출한다.
• Zariski의 연결성 정리와 Bertini의 정리를 적용하여 일반적인 섬유가 매끄럽고 피브레이션 구조가 잘 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 평면 ℙ²에서 선 배열의 여집합의 특성다양체가 자명한 특성자를 포함하는 양의 차원의 기약 성분을 포함하는가?
• RQ2 교차 레이스와 일반화된 카르탕 행렬을 이용하여 이러한 성분의 구조를 조합론적으로 어떻게 특성화할 수 있는가?
• RQ3 특성다양체의 양의 차원 성분을 뒷받침하는 기하학적 구조(예: 곡선의 붓펜치)는 무엇인가?
• RQ4 국소계의 코homology H¹(M,ℒ(a))가 왜곡 계수를 가진 Orlik-Solomon 대수의 코homology H¹(A,a)와 같아지는 조건은 무엇인가?
• RQ5 R₁의 차원이 주어지고 다중점의 다중도가 유계일 때, 배열의 선 수에 대한 경계는 무엇인가?

주요 결과

• R₁의 기약 성분 집합은 순위 2 평면의 인cidenc 구조에서 유도된 행렬 Q의 null space와 일대일 대응된다.
• R₁의 서로 다른 성분들은 원점 이외에는 만남이 없으며, 이는 특성다양체가 선형 부분공간들로 깔끔하게 분해됨을 의미한다.
• R₁의 차원이 0보다 클 경우, 배열이 붓펜치의 특이 섬유들의 합집합이 되는 대수곡선의 붓펜치가 존재한다.
• 특이 섬유로의 분해에서 각 그룹의 선 수는 F(r,k) ≤ 2k + 1 으로 유계이며, 여기서 r = dim R₁이고 k는 각 선당 최대 다중점 수이다.
• 일반 위치에 있는 k개의 블록을 가진 배열에서 각 선이 n개의 다중점을 포함할 경우, k ≤ 5 이다. 유일한 예외는 n = 2 또는 3일 때이다.
• Falk 등이 제기한 추측에 대해, p=1이면 dim H¹(M,ℒ(a)) = sup_N dim H¹(A*, a + N) 이 성립하며, 이는 더 강력한 형태의 추측을 증명한다.