[논문 리뷰] Vector fields liftable over corank 1 stable maps

Kevin Houston, Daniel Littlestone|ArXiv.org|2009. 05. 05.

Advanced Topics in Algebra참고 문헌 25인용 수 6

한 줄 요약

이 논문은 복소해석적이고 비특이적인 n-다양체에서 n+1-다양체로의 계수 1 안정적인 해석적 사상에 대해, 다중성 k를 갖는 최소 정규형에 대해 벡터장 모듈의 명시적 생성자를 제공한다. 이는 3k−2개의 벡터장을 포함하는 세 가닥의 가닥을 구성하여, 이미지 초곡면의 접선 벡터장 모듈을 생성함으로써, 복소해석적 함수 위에서 이 모듈이 생성됨을 증명하고, 이를 통해 A_e-코디멘션 1인 한 매개변수 가중가속도에서의 특이점 분류에 적용한다.

ABSTRACT

Generators for the module of vector fields liftable over corank 1 stable complex analytic maps from an n-manifold to an (n+1)-manifold are found. This is applied to the classification of the singularities occuring in generic one-parameter families of maps between these spaces.

연구 동기 및 목표

• n < p 인 경우, 특히 n에서 n+1 차원으로의 계수 1 안정 사상에 대해 이식 가능한 벡터장의 일반적 구조가 부족한 문제를 해결한다.
• 다중성 k를 갖는 최소 정규형의 계수 1 안정 사상에 대해 접선 벡터장 모듈의 명시적 생성자를 구성한다.
• 이전 알고리즘의 복잡성에 비해 계산적으로 실현 가능한 이식 가능한 벡터장의 특성화를 제공한다.
• 결과를 응용하여 A_e-코디멘션 1 조건을 통해 한 매개변수 가중가속도에서의 특이점 분류에 응용한다.
• 선형 함수가 이미지 위에서 A_e-코디멘션 1 사상의 점을 유도하는 정확한 일반성 조건을 설정한다.

제안 방법

• C^{2k−1}에서 C^{2k−1}로의 계수 1 안정 사상의 최소 정규형에 대해, 각각 k−1개의 벡터장을 포함하는 세 가닥의 벡터장을 구성한다.
• Singular을 통한 기호 계산을 통해 작은 k(k < 7)에 대해 이식 가능한 벡터장을 계산한 후, 일반 k에 대해 패턴을 일반화한다.
• 벡터장 η와 후보 벡터장 ξ에 대해 df ∘ η = ξ ∘ f 를 풀어 이식 가능한 벡터장을 검증한다.
• 복소해석적 설정에서 오일러 벡터장을 보조 생성자로 활용한다.
• 이미지의 정의 방정식 h에 대해, 벡터장의 성분들이 생성하는 아이디얼을 분석하고, m² 모듈로의 전개를 사용하여 최대 아이디얼이 생성됨을 검증한다.
• 자유 분열 이론과 A_e-코디멘션 이론을 활용하여, 벡터장 모듈이 특이점 분류와 어떻게 관련되는지 분석한다.

실험 결과

연구 질문

• RQ1 C^n에서 C^{n+1}으로의 계수 1 안정 사상에 대해 이식 가능한 벡터장의 모듈의 구조는 무엇인가?
• RQ2 특히 다중성 k의 최소 정규형에 대해 이 모듈의 명시적 생성자를 어떻게 구성할 수 있는가?
• RQ3 이미지 위의 선형 함수에 대해 어떤 조건이 성립하면 그 역상이 A_e-코디멘션 1 사상의 점을 유도하는가?
• RQ4 왜 m² 모듈로에서의 아이디얼 생성 과정에서 세 번째 가닥의 벡터장이 중복되는가?
• RQ5 이식 가능한 벡터장은 판별식과 이미지 초곡면의 기하학과 어떻게 관련되는가?

주요 결과

• 복소해석적 함수 위에서 이식 가능한 벡터장의 모듈은 3k−2개의 벡터장에 의해 생성되며, 이는 각각 k−1개의 벡터장을 포함하는 세 가닥과 오일러 벡터장으로 이루어져 있다.
• 이미지 초곡면의 정의 방정식 h는 세 구성된 가닥의 모든 벡터장 ξ에 대해 ξ(h) = 0 를 만족한다.
• α_{k−2}와 β_{k−1}가 모두 0이 아니면, 벡터장의 성분들과 h가 m² 모듈로에서 생성하는 아이디얼은 최대 아이디얼 m과 일치함을 증명한다.
• 최소 크로스캡 사상 φ_k의 이미지 위의 일반적인 선형 함수 h의 역상은 α_{k−2}와 β_{k−1}가 0이 아니면 A_e-코디멘션 1 사상의 점을 유도한다.
• 세 번째 가닥의 벡터장은 m² 모듈로에서의 아이디얼 생성 과정에서 중복되며, 그 성분들이 첫 번째 가닥의 성분들의 선형 결합에 포함되기 때문이다.
• 이전 연구에 비해 A_e-코디멘션 1 특이점의 분류에서 정확하고 계산 가능한 일반성 조건을 제공함으로써 결과를 향상시켰다.