[논문 리뷰] BRST model applied to symplectic geometry

Jaap Kalkman|ArXiv.org|1993. 08. 27.

Matrix Theory and Algorithms인용 수 25

한 줄 요약

이 논문은 코homological 필드 이론에 대한 BRST 모델을 수립하며, 해밀토니안 군 작용을 갖는 유한차원 심플렉틱 다양체에서의 BRST 대수가 동치 코homology의 카르탕 모델과 동형임을 보여준다. 주요 기여는 경계를 갖는 다양체에서의 동치 미분형식에 대한 국소화 공식으로, 이는 심플렉틱 몫의 코homology 링의 명시적 계산을 가능하게 한다. 특히 원군 작용 하에서 복소 프로젝티브 공간의 경우가 포함된다.

ABSTRACT

Two local macros are included (gothic.sty and fleqn.sty)

연구 동기 및 목표

• 코homological 필드 이론을 위한 유한차원 수학적 모델을 BRST 형식으로 개발하기.
• 카르탕 모델을 통한 BRST 코homology와 동치 코homology 사이의 대응을 수립하기.
• 해밀토니안 군 작용 하에서 경계를 갖는 다양체에서의 동치 미분형식에 대한 국소화 공식 유도하기.
• 특히 원군 작용 하에서 CP^n 의 심플렉틱 몫의 코homology 링을 계산하기.
• BRST 대수가 반직접곱 G ⋉ Diff(M) 의 리 대수 코homology 로부터 유도되며, 고전적 고전(ghosts for ghosts)이 복합체를 완성함을 보여주기.

제안 방법

• 형식적 구조에서 BRST 미분을 d_W ⊗ 1 + 1 ⊗ d + ω^a ⊗ ℒ_ a − φ^b ⊗ ι_b 로 정의하여, Weil 모델과 카르탕 모델에 연결한다.
• 경로 적분과 상관 함수 분석을 위해 벡터 공간 위의 미분형식에 대한 푸리에 변환을 확장한다.
• BRST 대수가 G ⋉ Diff(M) 의 리 대수 코homology 로부터 유도됨을 확인하며, 고전적 고전이 복합체를 완성함을 규명한다.
• Weil 모델과 카르탕 모델을 동일한 코homology 를 기반으로 하는 기저 의존적 실현으로 간주하며, 리 대수의 기저 선택에 따라 다름을 밝힌다.
• 특히 원군 작용을 갖는 심플렉틱 다양체에 이 형식을 적용한다.
• 이중형식과 사상 ε_l 의 핵 분석을 통해 경계를 갖는 다양체에서의 동치 형식에 대한 고정점 공식을 도출한다.

실험 결과

연구 질문

• RQ1 코homological 필드 이론의 BRST 코homology 는 유한차원 다양체에서 카르탕 모델의 동치 코homology 와 어떻게 관련이 있는가?
• RQ2 고전적 고전이 BRST 대수를 리 대수 코homology 복합체로 실현하는 데서 수행하는 역할은 무엇인가?
• RQ3 경계를 갖는 다양체에서 동치 형식에 대한 국소화 공식을 도출할 수 있으며, 이는 심플렉틱 몫의 코homology 와 어떻게 관련되는가?
• RQ4 원군 작용 하에서 CP^n 의 심플렉틱 몫의 코homology 링의 구조는 어떠한가?
• RQ5 비고립 고정점 집합이 국소화 공식과 코homology 계산에 미치는 영향은 무엇인가?

주요 결과

• 군 G 작용을 갖는 유한차원 다양체 M 에서의 BRST 대수는 동치 코homology 의 카르탕 모델과 동형이다.
• l < k 일 때, 심플렉틱 몫 X 의 베티 수 b_l(X) 는 l+1 과 같다. k ≤ l ≤ n−k 일 때는 b_l(X) = k 이다.
• l > n−k 일 때, 피카르에의 대칭성에 따라 매 l 증가와 함께 베티 수는 한 개씩 감소한다.
• 원군 작용 하에서 CP^n 의 심플렉틱 몫의 코homology 링은 두 다항식 p_k = ∏_j(τ − μ_jφ) (차수 k) 와 q_{n−k+1} = ∏_j(τ + ν_jφ) (차수 n−k+1) 에 의해 생성된다.
• 코homology 링의 관계 이상수 I 는 p_k 와 q_{n−k+1} 에 의해 생성되며, 공통 인수가 없고, 이는 n+1 차수 이상의 모든 관계를 생성한다.
• 국소화 공식은 비고립 고정점 집합으로 일반화되며, 고정점 부분다양체 위의 코homology 클래스로부터 유도되는 삼각형 블록이 이중형식에 나타난다.