[논문 리뷰] Double points of supersolvable and divisionally free line arrangements in the projective plane

Takuro Abe|arXiv (Cornell University)|2019. 11. 25.

Advanced Combinatorial Mathematics인용 수 1

한 줄 요약

이 논문은 특성 0인 체 위의 복소 프로젝티브 평면에서 초등형 선형 배열에 대해 딜라크-모츠킨 추측을 증명하며, 그러한 배열이 적어도 하나의 이중점(doubel point)을 포함함을 확립한다. 또한 자유 프로젝티브 선형 배열에 선을 추가하면 그 선이 이중점을 포함해야 한다는 것을 보이며, 이는 실베스터-갈라이 정리를 자유 배열의 일종으로 확장하고 초등형 및 분할 자유 배열에 관한 몇 가지 추측을 해결한다.

ABSTRACT

We prove Anzis and Tohaneanu conjecture, that is the Dirac-Motzkin conjecture for supersolvable line arrangements in the projective plane over an arbitrary field of characteristic zero. Moreover, we show that a divisionally free arrangements of lines contain at least one double point, that can be regarded as the Sylvester-Gallai theorem for some free arrangements. This is a corollary of a general result that if you add a line to a free projective line arrangement, then that line has to contain at least one double point. Also we prove some conjectures and one open problems related to supersolvable line arrangements and the number of double points.

연구 동기 및 목표

• 특성 0인 체 위의 프로젝티브 평면에서 초등형 선형 배열에 대해 딜라크-모츠킨 추측을 증명하는 것.
• 분할 자유 선형 배열이 반드시 적어도 하나의 이중점을 포함함을 확립하여 실베스터-갈라이 정리를 일반화하는 것.
• 특히 이중점의 분포 및 존재성과 관련된 자유 및 초등형 선형 배열의 구조적 성질을 조사하는 것.
• 초등형 및 분할 자유 배열에서 이중점의 수와 관련된 몇 가지 열린 추측과 문제를 해결하는 것.

제안 방법

• 특성 0인 체 위에서 선형 배열 이론에 대해 대수적 및 조합적 기법의 사용.
• 초평면 배열의 자유성 조건을 적용하여 이중점에 대한 기하적 제약 조건을 도출하는 것.
• 자유 프로젝티브 선형 배열에 선을 추가했을 때의 영향을 분석하여, 그 선이 적어도 하나의 이중점을 포함해야 한다는 것을 보이는 것.
• 초등형 배열과 그 교차 레이티스에 관한 기존 결과를 활용하여 이중점의 존재를 증명하는 것.
• 이중점 수에 관한 추측을 배열의 조합적 유형의 구조적 성질로 환원하는 것.
• 이중점의 존재성과 자유성 간의 관계를 규명하기 위해 이중성 및 레이티스 이론적 추론을 활용하는 것.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 프로젝티브 평면에서 모든 초등형 선형 배열이 딜라크-모츠킨 추측을 만족하는가?
• RQ2 자유 배열의 일종으로서 실베스터-갈라이 정리를 확장할 수 있는가? 즉, 자유 배열에 추가된 선이 반드시 이중점을 포함해야 하는가를 증명할 수 있는가?
• RQ3 분할 자유 선형 배열은 반드시 적어도 하나의 이중점을 포함하는가?
• RQ4 초등형 및 분할 자유 배열에서 이중점의 수에 대한 구조적 제약 조건은 무엇인가?
• RQ5 자유성 및 조합적 제약 조건을 이용하여 이 배열들에서 이중점에 관한 어떤 열린 추측을 해결할 수 있는가?

주요 결과

• 특성 0인 체 위의 프로젝티브 평면에서 모든 초등형 선형 배열에 대해 딜라크-모츠킨 추측이 성립한다.
• 프로젝티브 평면에 있는 모든 분할 자유 선형 배열은 적어도 하나의 이중점을 포함한다.
• 자유 프로젝티브 선형 배열에 선을 추가하면 그 선이 적어도 하나의 이중점을 포함해야 하며, 이는 실베스터-갈라이 정리를 이 클래스로 확장한 것이다.
• 초등형 및 분할 자유 배열에서 이중점 수에 관한 몇 가지 열린 추측이 해결되었다.
• 이 배열들에서 이중점의 존재는 그들의 자유성과 조합적 구조의 직접적인 결과이다.