[논문 리뷰] Homology of spaces of homogeneous polynomials in $R^2$ without multiple zeros

V. A. Vassiliev|arXiv (Cornell University)|2014. 07. 27.

Advanced Banach Space Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 실수 평면 ℝ²에서 동차 다항식의 공간에서 어떤 실수 직선 위에도 k중 영점이 없는 경우의 코homology를 계산한다. 이는 판별 집합의 원뿔 해상법(conical resolution)을 사용하여 이루어지며, 주요 결과는 모든 d ≥ k ≥ 2에 대해 코homology 군을 완전히 기술한 것으로, k=2 이고 d 가 짝수일 경우 공간이 d/2 + 2개의 연결 성분을 가지며, 그 중 두 개는 수축 가능하고 나머지는 원과 동치인 호모토피를 가짐을 드러낸다.

ABSTRACT

For any natural $d \ge k \ge 2$ we calculate the cohomology groups of the space of homogeneous polynomials $R^2 o R$ of degree $d$, which do not vanish with multiplicity $\ge k$ on real lines. For $k=2$ this problem provides the simplest example of the situation, when the "finite degree" invariants of nonsingular objects are not a complete system of invariants.

연구 동기 및 목표

• 다항식 ℝ² → ℝ의 차수 d를 가진 동차 다항식 공간에서 어떤 실수 직선 위에서도 차수 ≥k로 영이 되지 않는 경우의 코homology 군을 계산하는 것.
• 차수 d의 동차 다항식 공간 HPd 내에서 판별 집합 Σk의 여집합의 위상적 구조를 이해하는 것.
• 특히 k=2 이고 d 가 짝수일 경우 유한 차수의 불변량이 완전한 체계를 이루지 못하는 이유를 분석하는 것.
• 연속적인 단체 해상법의 연속적 해석을 사용하여 아르놀트의 애핀 결과를 동차 설정으로 확장하는 것.
• 원뿔 해상법에서 유래한 특정 코homology 군이 안정화에 대해 안정적이지 않음을 입증하여, 유한 차수의 불변량이 완전하지 않음을 나타내는 것.

제안 방법

• 코homology 군 HPd\Σk와 판별 집합 Σk의 Borel–Moore 호모로지 사이의 관계를 앨리오크서의 대칭성을 적용하여 유도한다.
• ℝP¹을 ℝ^N에 일반적으로 삽입하고, 각 f ∈ Σk\{0}에 대해 f가 차수 ≥k로 영이 되는 직선들의 이미지로 생성된 단체를 ℝ^N 내에 할당함으로써 Σk의 원뿔 해상법을 구성한다.
• Tarski–Seidenberg 보조정리를 사용하여 해상법 공간이 준대수적이고 삼등분 가능함을 보장한다.
• k중 영점이 있는 서로 다른 직선의 수에 기반한 필터링을 해상법 공간에 정의하고, 이를 통해 스펙트럴 시퀀스를 유도한다.
• 스펙트럴 시퀀스의 E1항을 분석하여, 그 지지가 k와 d의 홀짝성에 따라 달라지는 특정 이중차수에 집중됨을 보인다.
• 스펙트럴 시퀀스가 E1에서 붕괴됨을 증명한다. 유일한 예외는 k가 홀수이고 d가 k로 나누어떨어지는 경우로, 이 경우 ℤ2 셀을 제거하는 단일한 d1-미분이 존재한다.

실험 결과

연구 질문

• RQ1 ℝ²에서 차수 d인 동차 다항식의 공간에서 어떤 실수 직선 위에도 k중 영점이 없는 경우의 코homology의 구조는 무엇인가?
• RQ2 k=2 이고 d 가 짝수일 경우, 왜 일부 다항식의 유형(예: 양함수 vs. 음함수)을 구분하지 못하는가?
• RQ3 판별 집합 Σk의 위상이 HPd\Σk의 코homology에 어떤 영향을 미치는가?
• RQ4 영다항식이 극한점으로 존재하는 것이 단체 해상법이 아닌 연속적 해상법(원뿔 해상법)이 필요하게 만드는 이유는 무엇인가?
• RQ5 왜 원뿔 해상법에서 유래한 코homology 군이 안정화에 대해 안정적이지 않은가? 이는 S¹ 위의 매끄러운 함수에 대한 불변량에 어떤 영향을 미치는가?

주요 결과

• 짝수 k에 대해, ˜H*(HPd\Σk)는 랭크 2[d/k]+1인 자유 아벨 군이며, 차수 k−2, 2(k−2), ..., [d/k](k−2), k−1, 2(k−2)+1, ..., [d/k](k−2)+1, 그리고 d−2[d/k]에 생성자가 존재한다.
• 홀수 k 이고 d 가 k로 나누어떨어지지 않을 경우, 코homology 군은 특정 차수 p(k−2)와 p(k−2)+1 (d−pk 가 홀수인 p에 대해)에 ℤ의 직적, d−pk 가 짝수인 p에 대해 p(k−2)+1 차수에 ℤ2, 그리고 차수 d−2[d/k]에 ℤ의 직적을 가진다.
• k가 홀수이고 d 가 k로 나누어떨어지는 경우, 차수 d−2(d/k)+1에 있는 ℤ2 합성항이 소멸하여 구조가 약간 단순해진다.
• d 가 짝수이고 k=2일 경우, 공간 HPd\Σ2는 d/2 + 2개의 연결 성분을 가지며, 그 중 두 개는 수축 가능(양함수 및 음함수), 나머지 d/2개의 성분은 각각 원 S¹과 동치인 호모토피를 가진다.
• ˜H*(Σk)를 계산하는 스펙트럴 시퀀스는 E1에서 붕괴되며, k가 홀수이고 d가 k로 나누어떨어지는 경우를 제외하고는 항상 붕괴된다. 이 경우 ℤ에서 ℤ2로 향하는 단일한 d1-미분이 ℤ2 합성항을 제거한다.
• k=2 이고 d 가 짝수인 경우 0차 코homology 군의 비안정성은, 단지 유한 차수의 불변량만으로는 모든 위상적 유형을 구분할 수 없음을 시사하며, 이러한 불변량이 완전하지 않음을 보여준다.