[논문 리뷰] Algebraic models, Alexander-type invariants, and Green-Lazarsfeld sets

Alexandru Dimca, Ştefan Papadima외 1명|arXiv (Cornell University)|2014. 07. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 5

한 줄 요약

이 논문은 완비화된 앨리거 산물의 유한성과 교환법 가환 미분-등급 대수(cdga)에서 공명 변량의 기하학 사이의 연결고리를 설정한다. q-유한한 q-모델을 가진 공간에 대해, 그 앨리거 산물의 완비화가 유한차원임과 동시에 원점이 차수 1 공명 변량의 합집합에서 고립점이 되는 것 사이에 동치관계를 증명한다. 또한, 경계가 정규교차를 이루는 비정규적 준사영 다양체에서, 나열된 성분들의 교차형식이 정의적일 경우, 자명 문자에 대한 특성 변량의 편미분은 그의 콪팩티피케이션에서 0 근처의 공명 변량의 편미분과 동형임을 보여준다.

ABSTRACT

We relate the geometry of the resonance varieties associated to a commutative differential graded algebra model of a space to the finiteness properties of the completions of its Alexander-type invariants. We also describe in simple algebraic terms the non-translated components of the degree-one characteristic varieties for a class of non-proper complex manifolds.

연구 동기 및 목표

• 완비화된 앨리거 산물의 유한성 성질을 cdga 모델 내 공명 변량의 기하학과 연결하는 것.
• 비정규적 복소다양체에 대해 차수 1 특성 변량의 이동하지 않은 성분을 대수적 형태로 묘사하는 것.
• 기존의 형식적 공간에 대한 결과를 Gysin 모델을 사용하여 비형식적, 비정규적 준사영 다양체로 확장하는 것.
• 준사영 다양체의 특성 변량과 그 콱팩티피케이션의 공명 변량 사이에 편미분 수준의 동형성을 설정하는 것.

제안 방법

• 위상공간의 모델로 교환법 가환 미분-등급 대수(cdga)를 사용하며, 특히 q-유한한 q-모델을 적용한다.
• 앨리거 산물의 I-적성 완비화를 적용하여 복소벡터공간으로서의 유한차원성을 연구한다.
• 완비화된 산물의 유한성을 특징짓기 위해 H^1(A) 내부의 공명 변량 R^i_r(A)에 의존한다.
• X = X̅ \ D 형태의 준사영 다양체 X에 대해 Gysin 모델을 사용한다. 여기서 X̅는 사영적이고 D는 정규교차를 이룬다.
• D의 기약성분들의 교차형식을 사용하여 Gysin 모델이 (H^*(X̅, C), d=0) 형태의 더 단순한 cdga로 대체될 수 있는지를 판단한다.
• 해석적 편미분 동형성을 적용하여 자명 문자 근처의 특성 변량 V^1_r(X)의 국소적 구조를 0 근처의 공명 변량 R^1_r(X̅)와 연결한다.

실험 결과

연구 질문

• RQ1 cdga 모델 A에 대해 어떤 조건을 만족할 경우, 공간 X의 앨리거 산물의 완비화가 복소벡터공간으로서 유한차원이 되는가?
• RQ2 비정규적 복소다양체에 대해 차수 1 특성 변량 V^1_1(X)의 이동하지 않은 성분을 어떻게 대수적으로 묘사할 수 있는가?
• RQ3 특성 변량 V^1_r(X)의 자명 문자 근처의 편미분이 0 근처의 공명 변량 R^1_r(X̅)의 편미분과 동형이 되는 조건은 무엇인가?
• RQ4 D^k의 교차행렬의 정의성은 준사영 다양체의 cdga 모델을 단순화하는 데 어떤 역할을 하는가?
• RQ5 Gysin 모델이 정보 손실 없이 X̅의 코homology 링에 대해 자명한 미분을 가진 (H^*(X̅, C), d=0) 형태의 cdga로 대체될 수 있는 경우는 언제인가?

주요 결과

• 완비화된 ⨁_{i≤q} Ĥ_i(X^{ab}, C)가 유한차원임과 동시에 원점이 ⋃_{i≤q} R^i_1(A)의 다양체에서 고립점이 되는 것 사이에 동치관계가 성립한다. 여기서 A는 X의 q-유한한 q-모델이다.
• X = X̅ \ D 형태의 준사영 다양체에서 D는 정규교차를 이루며, 각 성분 D^k의 교차행렬이 정의적일 경우, 해석적 편미분 H^1(X, C^*)_{(1)}은 H^1(X̅, C)_{(0)}과 동형이다.
• 동일한 조건 하에서, 모든 r ≥ 0에 대해 특성 변량 V^1_r(X)_{(1)}은 해석적으로 공명 변량 R^1_r(X̅)_{(0)}과 동형이다.
• 이 결과는 이전 연구를 확장하여, 교차행렬이 정의적일 경우 Gysin 모델이 더 단순한 cdga (H^*(X̅, C), d=0)로 대체될 수 있음을 보여준다.
• 이 정리는 유계 이중점이 있는 표면(여기서 I_k는 음의 정의적), 가중 동차 표면, 히젠베르크 니르만드 등 특정 3차원 다양체에 적용된다.
• H^1(X̅, C) → H^1(X, C)가 동형이지만 편미분 동형이 실패하는 반례가 존재함을 통해, 정의적 교차형식 조건이 필수적임을 보여준다.