[논문 리뷰] Higher weight Gel'fand-Kalinin-Fuks classes of formal Hamiltonian vector fields of symplectic R^2

Kentaro Mikami, Hiroki Kodama외 1명|arXiv (Cornell University)|2012. 10. 05.

Geometric and Algebraic Topology참고 문헌 5인용 수 9

한 줄 요약

이 논문은 형식적 해밀토니언 벡터장에 대한 고차원 가중치 상대 게르프란트-칼리닌-푸크 코homology 군을 스페셜 린어그룹 Sp(2,ℝ)의 표현 이론과 컴퓨터 보조 선형 대수를 사용하여 ℝ² 위에서 계산한다. 이는 가중치 50까지의 코체인 복합체 차원을 결정하고, 가중치 18까지는 명시적으로 코homology를 계산하여, 가중치 12, 14, 16, 18에서 비자명한 Betti 수를 밝혀내며, 가중치 20에서는 차수 0를 제외한 모든 차수에서 자명한 코homology임을 확인한다.

ABSTRACT

In "The Gel'fand-Kalinin-Fuks class and characteristic classes of transversely symplectic foliations", arXiv:0910.3414, (October 2009) by D.Kotschick and S.Morita, the relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields without constant vector fields on 2n-plane were characterized by two parameters, one is degree and the other is weight. And they obtained those cohomology groups of the 2-plane while their weight <= 10. In this paper, for those cohomology groups of the 2-plane, we succeeded in determining the dimension of cochain complexes by Sp(2,R)-representation theory for their weight even less than 50, thus, we manipulate the Euler characteristic numbers. We also decide our relative Gel'fand-Kalinin-Fuks cohomology groups until whose weight < 20 by getting a concrete matrix representation of the coboundary operator.

연구 동기 및 목표

• 이전까지 알려진 가중치 ≤ 10을 초월하여 ℝ² 위의 형식적 해밀토니언 벡터장에 대한 상대 게르프란트-칼리닌-푸크 코homology 군의 계산을 확장한다.
• Sp(2,ℝ)-표현 이론과 영이 디어그램 파arameterization을 사용하여 가중치 50까지의 코체인 복합체의 차원을 결정한다.
• 코바운더리 연산자의 행렬 표현을 통해 가중치 18까지 상대 코homology 군을 명시적으로 계산한다.
• 가중치 20의 Betti 수를 그로브너 기저 기법을 사용하여 검증하여, 차수 0를 제외한 모든 차수에서 자명한 코homology임을 확인한다.

제안 방법

• 가중치 등급 구조를 분석하기 위해 Sp(2,ℝ)-표현 이론을 사용하며, 영이 디어그램을 통해 기약 표현을 파arameterization한다.
• 동차 다항식의 대칭 거듭제곱 표현 S^ℓ를 사용하여 가중치에 대한 생성함수를 구성한다.
• 대규모 코체인 복합체를 처리하기 위해 컴퓨터 대수(마이플 및 커스텀 퍼럴 스크립트)를 사용하며, 드레함 유사 코바운더리 계산을 포함한다.
• 메모리 오버플로우를 관리하기 위해 대규모 코체인을 더 작은 구성요소로 분할하고 각각에 대해 d를 별도로 계산하는 분해 전략을 적용한다.
• Sp(2,ℝ) 작용 하에서 각 직접합 구성요소에 대해 코사이클과 d-이미지의 기저를 계산하기 위해 action_new.mpl 마이플 스크립트를 사용한다.
• 가중치 20의 선형 시스템에 그로브너 기저 이론을 적용하여 Betti 수를 검증하고, 모든 차수에서 자명한 코homology임을 확인한다.

실험 결과

연구 질문

• RQ1 형식적 해밀토니언 벡터장에 대한 코체인 복합체의 차원은 ℝ²에서 가중치 50까지 얼마인가?
• RQ2 가중치 12에서 18 사이에서 비자명한 코homology 군은 무엇이며, 그들의 Betti 수는 얼마인가?
• RQ3 가중치 20에서 상대 코homology 군은 비자명한 클래스를 포함하는가? 그리고 오일러 특성수는 얼마인가?
• RQ4 표현 이론과 계산 대수를 어떻게 융합하여 고차원 게르프란트-칼리닌-푸크 클래스를 계산할 수 있는가?

주요 결과

• 가중치 12, 14, 16, 18에서의 코homology 군은 비자명하며, 각각 차수 4, 5, 6, 7에서 Betti 수가 1이다.
• 가중치 12의 오일러 특성수는 2이며, 가중치 14, 16, 18에서는 0이므로 Betti 수 분포가 균형 잡혀 있음을 나타낸다.
• 가중치 20에서는 차수 0를 제외한 모든 차수에서 Betti 수가 자명하며, 비자명한 코homology 클래스가 존재하지 않음을 확인한다.
• 가중치 20에서 코체인 복합체의 차원은 차수 1에서 11까지 총 1,154이며, 교대합(오일러 특성수)은 1이다.
• 가중치 20의 계산은 그로브너 기저 이론을 사용하여 선형 시스템을 검증하여, 메모리 제약에도 불구하고 정확성을 확보하였다.
• 이 방법은 이전 결과를 가중치 10을 초월하여 성공적으로 확장하였으며, 계산 대수와 표현 이론을 융합하여 가중치 20까지의 코homology를 체계적으로 계산할 수 있게 하였다.