[논문 리뷰] Free, not recursively free and non rigid arrangements

Michael Cuntz|arXiv (Cornell University)|2014. 06. 24.

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

한 줄 요약

이 논문은 특성 0에서 모든 자유 배치가 유도적으로 자유이거나 강성 있는지에 대한 요시나가의 추측에 대한 처음으로 알려진 반례를 구축한다. 일차원 모듈리 공간을 가진 13개의 초평면을 가진 배열을 사용하여, 유도적으로 자유이지도 않고 강성 있는 것도 아닌 자유 배열을 보여주며, 초평면 배열 이론에서 오랫동안 지속된 가정에 도전하는 최소한의 예를 제공한다.

ABSTRACT

We construct counterexamples to Yoshinaga's conjecture that every free arrangement is either inductively free or rigid in characteristic zero. The smallest example has $13$ hyperplanes, its intersection lattice has a one dimensional moduli space, and it is free but not recursively free.

연구 동기 및 목표

• 특성 0에서 모든 자유 배열이 유도적으로 자유이거나 강성 있는지에 대한 요시나가의 추측을 반증하기 위해.
• 유도적으로 자유이지도 않고 강성 있는 것도 아닌 자유 배열의 구체적 예를 만들며, 자유 배열의 구조에 대한 일반적인 직관에 도전하기 위해.
• 특히 차원 3에서 교차 레이티스의 일차원 모듈리 공간 내에서 자유성 성질을 조사하기 위해.
• 초평면 배열에서 자유성, 유도적 자유성, 강성, 그리고 조합적 불변성 간의 관계를 명확히 하기 위해.

제안 방법

• 복소수 매개변수 $ t $ 에 따라 매개변수화된 배열의 가닥을 구성하며, 고정된 교차 레이티스 $ L $ 를 사용하고, $ \mathbb{C}^3 $ 에서의 특정 선형 형식의 집합을 사용한다.
• 교차 레이티스 $ L(\mathcal{A}_t) $ 를 계산하고, $ \mathcal{V}_{\mathbb{C}}(L) = \{ \mathcal{A}_\omega \mid \omega \in \mathbb{C} \setminus Z \} $ 를 증명함으로써 모듈리 공간 $ \mathcal{V}_{\mathbb{C}}(L) $ 가 일차원임을 보여준다. 여기서 $ Z $ 는 예외적인 값들의 유한 집합이다.
• Singular 컴퓨터 대수 시스템을 사용하여 모듈리 공간 내 모든 배열이 자유임을 확인하고, 일관된 지수 $ \{1,5,7\} $ 을 가짐을 보이며, 배열 $ \mathcal{A}_t $ 가 유도적으로 자유가 아니라는 것을 확인한다.
• 레이티스 $ L(\mathcal{A}_t) $ 의 자기동형군을 분석하여, $ \mathbb{Z}/3\mathbb{Z} \rtimes S_3 $ 와 동형임을 보이며, 비강성임을 나타낸다.
• 특수 값 $ \omega \in Z $ 에서의 배열을 비교하여, 일부는 초평면 수가 같지만 교차 레이티스가 다름을 보여, 모듈리 공간이 비자명함을 확인한다.
• 15개의 초평면 예제로 확장하여, 모듈리 공간이 $ \mathbb{C} \setminus Z' $ 와 동형이며, $ Z' $ 에는 $ \frac{3}{2} \pm \sqrt{2} $ 와 같은 값들이 포함됨을 보이고, 유사한 자유성 및 비유도적 자유성 성질을 검증한다.

실험 결과

연구 질문

• RQ1 특성 0에서 유도적으로 자유이지도 않고 강성 있는 것도 아닌 자유 배열이 존재하는가?
• RQ2 일차원 모듈리 공간이 자유 배열과 비자유 배열을 모두 포함할 수 있는가? 이는 테라오의 추측에 대한 반례가 될 수 있는가?
• RQ3 유도적으로 자유이지도 않고 비자명한 모듈리 공간을 가진 자유 배열을 구성하는 것이 가능한가?
• RQ4 차원 3에서 유도적으로 자유이지 않은 자유 배열을 만들기 위해 필요한 최소한의 초평면 수는 얼마인가?
• RQ5 이러한 배열의 대칭군과 레이티스 구조는 그들의 자유성 및 유도적 자유성 성질과 어떻게 관련되어 있는가?

주요 결과

• 논문은 13개의 초평면을 가진 배열을 제시하며, 이는 자유이지만 유도적으로 자유가 아니며 일차원 모듈리 공간을 가짐으로써 요시나가의 추측에 대한 알려진 최소 반례가 된다.
• 13개의 초평면 예제에 대한 모듈리 공간 $ \mathcal{V}_{\mathbb{C}}(L) $ 내 모든 배열은 자유이며 지수 $ \{1,5,7\} $ 을 가짐으로써, 이 가닥 전체에서 자유성이 유지됨을 확인한다.
• Singular을 사용한 계산 대수 방법으로 검증된 결과, 배열 $ \mathcal{A}_t $ 는 자유이지만 유도적으로 자유가 아니라는 것이 입증된다.
• 모듈리 공간 $ \mathcal{V}_{\mathbb{C}}(L) $ 는 일차원이며, 유한한 예외 매개변수 집합 $ \omega \in Z $ 가 존재하여 초평면 수나 레이티스 구조가 다름을 보인다.
• 15개의 초평면 예제에서는 모듈리 공간도 일차원이며, $ \mathcal{V}_{\mathbb{C}}(L) = \{ \mathcal{A}_\omega \mid \omega \in \mathbb{C} \setminus Z' \} $ 이고, 배열 $ \mathcal{A}_t $ 는 지수 $ \{1,7,7\} $ 을 가진 자유 배열이지만 유도적으로 자유가 아니라는 것이 확인된다.
• 13개의 초평면 레이티스의 자기동형군은 $ \mathbb{Z}/3\mathbb{Z} \rtimes S_3 $ 이며, 15개의 초평면 레이티스의 경우 $ \mathbb{Z}/2\mathbb{Z} \wr S_3 $ 이며, 둘 다 비자명하므로 배열이 강성이 없음을 확인한다.