[논문 리뷰] Variations on Homological Reduction

Hans-Christian Herbig|ArXiv.org|2007. 08. 25.

Algebraic structures and combinatorial models참고 문헌 64인용 수 15

한 줄 요약

이 논문은 특이성자량 맵을 가진 해밀토니안 체계, 특히 그 영점으로서 나타나는 특이 등변성자량 맵이 영이론을 생성하고 완전교차를 이룰 경우에 대해 고전적 BFV(Batalin-Fradkin-Vilkovisky) 축소 프레임워크를 일반화한다. 호모로지 대수 기법—특히 프로젝티브 Koszul-Tate 분해와 Bierstone-Schwarz 분할 및 확장 정리—를 사용하여, 라우틴-포이송 괄호와 BRST 전하를 갖는 계량화된 초구대칭 대수를 구성하며, 연속적이고 수축 가능한 호모토피의 존재를 증명하고, 오비폴드가 아닌 심플렉틱 계층공간에 대한 변형 양자화를 수립한다.

ABSTRACT

In this paper, we are concerned with the BFV-reduction of first class constraints in classsical Hamiltonian mechanics and deformation quantization. As a result, we obtain continuous star products for certain singular reduced symplectic quotients. We relate the notion of "irreducibility" of a constraint to the notion of complete intersection used in commutative algebra. We generalize the classical BFV construction to the case of projective Tate generators using a super-Poisson bracket discovered by M. Rothstein. We also discuss the problem of infinite reducibility. Several examples are elaborated on.

연구 동기 및 목표

• 해밀토니안 역학과 변형 양자화에서 정칙성자량 맵에서 특이성자량 맵으로 BFV 축소 프레임워크를 확장하는 것.
• 성자량 맵이 완전교차가 아니면 알려진 양자 축소 방법이 없음을 다루는 것.
• Bierstone-Schwarz 정리들을 사용하여 Koszul-Tate 분해에 대해 연속적이고 수축 가능한 호모토피를 구성하는 것.
• 프로젝티브 타이트 생성자(벡터 다발)의 경우에 라우틴-포이송 괄호와 BRST 전하의 존재를 증명하는 것.
• 오비폴드가 아닌 심플렉틱 계층공간이 여전히 연속적 변형 양자화를 가질 수 있음을 보여주는 것.

제안 방법

• Koszul-Tate 분해에 대해 연속적이고 수축 가능한 호모토피를 구성하기 위해 Bierstone-Schwarz 분할 및 확장 정리를 적용한다.
• 부록 A.1의 변형 렘마를 사용하여 BFV 구성의 호모로지 대수를 체계화하고 단순화한다.
• 약속 표면의 영이론의 프로젝티브 Koszul-Tate 분해로부터 계량화된 초구대칭 대수를 구성한다.
• 해결 대수에 라우틴-포이송 괄호를 도입하여 심플렉틱 초다양체에서의 구성으로 일반화한다.
• 선형 심플렉틱 군 작용의 경우, 성자량 맵 성분이 약속 표면의 영이론을 생성할 때 BRST 전하를 정의한다.
• Halperin의 강성 정리를 적용하여, 비완전교차 제약 조건은 무한한 타이트 생성자를 유도함을 보이며, 이는 프로젝티브 분해의 필요성을 정당화한다.

실험 결과

연구 질문

• RQ1 BFV 축소 절차는 정칙성이 아닌 특이성자량 맵으로 일반화될 수 있는가?
• RQ2 특이 약속 표면의 Koszul-Tate 분해에 대해 연속적이고 수축 가능한 호모토피가 존재하는 조건은 무엇인가?
• RQ3 약속이 완전교차가 아니더라도 해결 대수에 라우틴-포이송 괄호가 존재하는가?
• RQ4 자유 모듈이 아닌 프로젝티브 타이트 생성자(즉, 벡터 다발)의 경우 BRST 전하를 구성할 수 있는가?
• RQ5 오비폴드가 아닌 심플렉틱 계층공간도 여전히 연속적 변형 양자화를 가질 수 있는가?

주요 결과

• 성자량 맵이 특이적이지만 성분이 영이론을 생성하고 완전교차를 이루는 약속 표면의 경우, Koszul-Tate 분해에 대해 연속적이고 수축 가능한 호모토피를 구성한다.
• 무한히 생성된 경우에도 해결 대수에 라우틴-포이송 괄호의 존재를 증명하며, 심플렉틱 초다양체에서의 결과를 일반화한다.
• 선형 심플렉틱 군 작용의 경우, 성자량 맵 성분이 약속 표면의 영이론을 생성할 때 BRST 전하를 명시적으로 구성한다.
• 오비폴드가 아닌 심플렉틱 계층공간이 여전히 연속적 변형 양자화를 가질 수 있음을 수립하며, 새로운 예시의 집합을 제공한다.
• Halperin의 강성 정리는 제약 조건이 국소적 완전교차가 아니면 분해에 유한하지 않은 타이트 생성자가 필요하다고 보여주며, 이는 프로젝티브 분해의 사용을 정당화한다.
• 고전적 BFV 구성은 프리셰트 공간의 덧셈 범주에서의 호모토피 동치를 통해 프로젝티브 타이트 생성자 경우로 일반화된다.