[논문 리뷰] Hypersurface complements, Milnor fibers and minimality of arrangements

Alexandru Dimca|ArXiv.org|2000. 11. 27.

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

한 줄 요약

이 논문은 동차 다항식의 기울기 매핑의 차수와 그 초표면의 여부의 베텨 수 사이의 위상적 연결고리를 설정하며, 초평면 배치의 여부의 n번째 베텨 수가 기울기 매핑의 차수와 같음을 증명한다. 모스 이론과 극선을 이용하여 여부가 최소임을 보이고, 밀놀러 피브어의 호모토피 이론적 기술을 제공하여 오르ليك-테라오의 결과를 확장한다. 오일러 지표와 구조적 불변량을 통해 배열과 그 위상수학에 대한 결과를 확장한다.

ABSTRACT

We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).

연구 동기 및 목표

• 동차 다항식의 기울기 매핑의 차수를 그 초표면 여부의 위상수학과 연결한다.
• 여러분의 호모토피 유형과 베텨 수의 등식을 이용하여 초평면 배열 여부의 최소성을 확립한다.
• 밀놀러 피브어에 대한 오르ليك-테라오의 결과를 확장하여, 호모토피 유형에 첨부된 n-셀의 수가 피브어 위의 모스 함수의 임계점 수와 정확히 일치함을 증명한다.
• 핵심 배열의 위상적 특성화를 제시한다: n번째 베텨 수가 0이 아님을 조건으로 한다.

제안 방법

• 기본적인 동차 다항식 $h$에 대해 기울기 매핑 $\mathrm{grad}(h) : D(h) \to \mathbb{P}^n$ 을 사용하여 그 차수를 $D(h) \setminus H$의 오일러 지표와 연결한다. 여기서 $H$는 일반적인 초평면이다.
• 극선을 적용하여 $D(h) \cap H$에 첨부된 $n$-셀의 수를 계산함으로써 $\deg(\mathrm{grad}(h)) = (-1)^n \chi(D(h) \setminus H)$ 를 도출한다.
• 밀놀러 피브어 $F = \{f = 1\}$ 에서 함수 $g(x) = Q(x)\overline{Q}(x)$ 를 통해 모스 이론을 적용하여, 이 함수가 임계점 수가 $|C(g)|$ 인 모스 함수임을 보인다.
• 아핀 레프셰츠 정리와 codimension에 대한 귀납법을 사용하여 여부 $M = D(Q)$ 가 모든 $k$에 대해 $b_k(M)$ 개의 $k$-셀을 가진 CW 복합체와 호모토피 유형을 가짐을 증명함으로써 최소성을 확립한다.
• 오일러 지표와 베텔 수의 가역성에 기반한 삭제-제약 기법을 적용하여 $\chi(D(h))$ 를 제약에 대한 기울기 매핑의 차수의 교대합으로 계산한다.
• 임계 집합 내의 수열의 극한 행동을 제어하고 교차성을 보장하기 위해 $a_h$-정규성 조건과 분할 이론을 활용한다.

실험 결과

연구 질문

• RQ1 기본적인 동차 다항식 $h$ 로 정의된 초표면의 여부 $D(h)$ 의 베텔 수와 기울기 매핑 $\mathrm{grad}(h)$ 의 차수 사이의 관계는 무엇인가?
• RQ2 초평면 배열의 여부가 각 $k$에 대해 정확히 $b_k$ 개의 $k$-셀을 가진 CW 복합체를 갖는다는 의미에서 최소가 되는 조건은 무엇인가?
• RQ3 모스 이론을 통해 밀놀러 피브어 $F$ 에 첨부된 $n$-셀의 수는 함수 $g(x) = Q(x)\overline{Q}(x)$ 의 임계점 수로 정확히 결정될 수 있는가?
• RQ4 어떤 위상적 조건이 배열의 $b_n(D(Q)) > 0$ 을 보장하며, 이는 배열의 핵심성과 어떻게 관련되는가?
• RQ5 밀놀러 피브어의 가중치 등변 오일러 다항식은 배열 레이스터의 조합론과 어떻게 관련되는가?

주요 결과

• 초평면 배열의 여부 $D(Q)$ 의 n번째 베텔 수는 기울기 매핑 $\mathrm{grad}(Q)$ 의 차수와 같으며, 즉 $b_n(D(Q)) = \deg(\mathrm{grad}(Q))$ 이다.
• 여부 $M = D(Q)$ 는 최소이다: 모든 $k \in \mathbb{N}$ 에 대해 $k$-셀의 수가 $k$번째 베텔 수와 일치하는 CW 복합체와 호모토피 유형을 가진다.
• 일반적인 동차 다항식 $f$ 의 밀놀러 피브어 $F$ 는 $F \cap N$ 에 $|C(g)|$ 개의 $n$-셀을 첨부한 CW 복합체와 호모토피 유형을 가진다. 여기서 $C(g)$ 는 모스 함수 $g(x) = Q(x)\overline{Q}(x)$ 의 임계 집합이다.
• 배열이 핵심일 조건은 $\deg(\mathrm{grad}(Q)) > 0$ 이며, 이는 $b_n(D(Q)) > 0$ 과 동치이며, $\mathrm{grad}(Q)$ 가 주로 작용함과도 동치이다.
• 모든 $\mathbb{P}^n$ 내의 구조적 집합에 대해 오일러 지표는 정의 다항식의 일반적 제약에 대한 기울기 매핑의 차수의 교대합으로 주어진다.
• 만약 $f$ 가 $\mathcal{A}'$-일반적이라면, 밀놀러 피브어 $F$ 의 가중치 등변 오일러 다항식은 배열의 교차 레이스터에서 조합적으로 계산할 수 있다.