[논문 리뷰] Non-recursive freeness and non-rigidity of plane arrangements

Takuro Abe, Michael Cuntz외 2명|arXiv (Cornell University)|2014. 10. 13.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 6

한 줄 요약

이 논문은 ℚ 위에서 정의된 자유이지만 재귀적으로 자유가 아닌 평면 배치 중에서 13개와 15개의 초평면을 가진 최초의 사례를 구성하며, 13개 초평면 예제가 그러한 배치 중 가장 작은 것임을 증명한다. 조합적 분류와 컴퓨터 보조 검증을 통해 저자들은 ≤12개 초평면을 가진 모든 자유 배치가 재귀적으로 자유임을 보이며, 자유성과 조합론, 모듈리 공간 간의 관계에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

In the category of free arrangements, inductively and recursively free arrangements are important. In particular, in the former, Terao's open problem asking whether freeness depends only on combinatorics is true. A long standing problem whether all free arrangements are recursively free or not was settled by the second author and Hoge very recently, by giving a free but non-recursively free plane arrangement consisting of 27 planes. In this paper, we construct free but non-recursively free plane arrangements consisting of 13 and 15 planes, and show that the example with 13 planes is the smallest in the sense of the cardinality of planes. In other words, all free plane arrangements consisting of at most 12 planes are recursively free. To show this, we completely classify all free plane arrangements in terms of inductive freeness and three exceptions when the number of planes is at most 12. Several properties of the 15 plane arrangement are proved by computer programs. Also, these two examples solve negatively a problem posed by Yoshinaga on the moduli spaces, (inductive) freeness and, rigidity of free arrangements.

연구 동기 및 목표

• ℂ³ 내에서 자유이지만 재귀적으로 자유가 아닌 중심 배치의 최소 초평면 수를 결정하는 것.
• ℂ³ 내에서 최대 12개의 초평면을 가진 모든 중심 자유 배열을 유도적 및 재귀적 자유성의 관점에서 분류하는 것.
• 요시나가의 문제를 해결하는 것: 모듈리 공간, (유도적) 자유성, 그리고 자유 배열의 강성에 관한 것.
• ℚ 위에서 정의된 자유이지만 재귀적으로 자유가 아닌 배열을 13개와 15개의 초평면으로 명시적으로 구성하는 것.
• 이 예제들에서 강성과 재귀성의 부재를 보여줌으로써 자유성이 오직 조합론에 의해 결정되지 않음을 입증하는 것.

제안 방법

• 교차 레이티스 L₂(𝒜)의 조합적 분석을 통한 ≤12개 초평면을 가진 모든 자유 배열의 분류.
• Saito의 기준과 덧셈-삭제 정리를 사용하여 자유성 및 재귀적 자유성 테스트.
• Singular과 GAP를 사용한 컴퓨터 보조 검증을 통해 15개 초평면 배열을 분석하고, 다양한 초평면 추가에 대해 재귀적 자유성 검증.
• [3]의 알고리즘을 사용하여 15개 초평면 배열의 모듈리 공간을 계산하고, 레이티스가 그대로 유지되는 특수화 λ ∈ ℂ \ Z를 식별.
• 이중 헤세 유형 구조를 통한 13개 초평면 예제의 구성 및 자유성과 비재귀적 구조의 검증.
• 교차 레이티스의 대칭군과 자기동형사상 분석을 통해 Aut(L(𝒜ₜ)) ≅ ℤ/2ℤ ≀ 𝔖₃ ≅ B₃ 반사군임을 보여줌.

실험 결과

연구 질문

• RQ1 ℂ³ 내에서 13개 미만의 초평면을 가진 자유이지만 재귀적으로 자유가 아닌 배열이 존재하는가?
• RQ2 Terao의 열린 문제에 따르면, 배열의 자유성은 교차 레이티스에 의해 오직 결정되는가?
• RQ3 ℚ 위에서 정의된 자유이지만 재귀적으로 자유가 아닌 배열의 최소 초평면 수는 얼마인가?
• RQ4 자유 배열의 모듈리 공간에는 재귀적으로 자유이자 비재귀적으로 자유인 실현이 모두 포함되는가?
• RQ5 자유성의 결정이 조합론 외에 기하적 실현에 의존하는 자유 배열이 존재하는가?

주요 결과

• 자유이지만 재귀적으로 자유가 아닌 평면 배열 중 최소 크기는 13개 초평면이며, ≤12개 초평면을 가진 모든 자유 배열은 재귀적으로 자유이다.
• |𝒜| ≤ 8 또는 |𝒜| = 10 인 모든 자유 배열은 유도적으로 자유이며, 저복잡도 사례에서 더 강력한 자유성 성질을 확인한다.
• 15개 초평면 배열은 일차원 모듈리 공간을 가지며, 레이티스가 동형인 11개의 특수화 λ ∈ ℂ \ Z 가 존재하며, 이 중 6개만이 재귀적으로 자유이다.
• 15개 초평면 배열은 지수 (1,7,7)을 가지며 자유이지만 재귀적으로 자유가 아니며, 그 자기동형사상군은 B₃ 형식의 웨일 군과 동형이다.
• 13개 초평면 예제는 ℚ 위에서 정의된 최초의 자유이지만 재귀적으로 자유가 아닌 배열이며, 오랫동안 남아있던 열린 문제를 해결한다.
• 본 논문은 ≤12개 초평면을 가진 자유 배열을 완전히 분류한다: 또는 유도적으로 자유이거나, 세 가지 예외적 유형 중 하나(이중 헤세, 오각형, 모노미얼 G(4,4,3))이다.