[논문 리뷰] Poisson traces and D-modules on Poisson varieties

Pavel Etingof, Travis Schedler외 1명|arXiv (Cornell University)|2009. 08. 26.

Advanced Algebra and Geometry참고 문헌 15인용 수 11

한 줄 요약

이 논문은 임의의 파울슨 다양체 X 위에 정의된 표준적인 오른쪽 D-모듈 M(X)를 소개하며, 해밀턴 흐름에 관하여 불변인 파울슨 추적—함수기반 기능들—을 M(X)의 제로번째 코homology와 연결한다. X가 유한한 수의 심플렉틱 잎을 가질 경우 M(X)는 힐로노믹임을 증명하며, 이는 X 위의 파울슨 추적 공간이 유한차원이라는 것을 의미한다. 이 결과는 사상과 파울슨 모듈에까지 확장되어, 유한한 수의 심플렉틱 잎을 가진 파울슨 중심을 가진 비가환 필터링 대수에 대한 유한성 정리들을 이끌어낸다.

ABSTRACT

To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e., distributions invariant under Hamiltonian flows. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. As an application, we deduce that noncommutative filtered algebras whose associated graded algebras are coordinate rings of Poisson varieties with finitely many symplectic leaves have finitely many irreducible finite-dimensional representations. The appendix, by Ivan Losev, strengthens this to show that in such algebras, there are finitely many prime ideals, and they are all primitive. More generally, to any morphism phi: X -> Y and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_phi(X, N) on X, and prove that it is holonomic if X has finitely many symplectic leaves, phi is finite, and N is coherent. As an application, the finiteness result for irreducible representations of noncommutative filtered algebras extends to the case where the associated graded algebra is not necessarily commutative, but is finitely generated as a module over its center, which is the coordinate ring of a Poisson variety with finitely many symplectic leaves. We also describe explicitly (in the settings of affine varieties and compact smooth manifolds) the space of Poisson traces on X when X=V/G, where V is symplectic and G is a finite group acting faithfully on V. In particular, we show that this space is finite-dimensional.

연구 동기 및 목표

• 파울슨 추적의 국소적이지 않은 성질을 파울슨 다양체 위에 기하학적 D-모듈 프레임워크를 구성함으로써 해결한다.
• 모든 파울슨 다양체 X에 대해, 그 코homology가 파울슨 호모로지 HP₀(O_X)를 계산하는 표준적인 D-모듈 M(X)를 수립한다.
• X가 유한한 수의 심플렉틱 잎을 가질 경우 M(X)가 힐로노믹임을 증명함으로써 파울슨 추적의 유한성 보장한다.
• 사상 φ:X→Y 및 파울슨 모듈 N에 대해 이론을 확장하여, 유사한 유한성 성질을 가지는 D-모듈 M_φ(X,N)를 구성한다.
• 결과를 비가환 필터링 대수에 적용하여, HH₀(A)의 유한차원성과 파울슨 중심 조건 하에서 유한한 수의 유한차원 표현을 보인다.

제안 방법

• 해밀턴 벡터장의 리 대수 작용을 이용하여 파울슨 다양체 X 위에 오른쪽 D-모듈 M(X)를 구성한다.
• 사상 φ:X→Y와 X 위의 코herent 파울슨 모듈 N에 대해 M_φ(X,N)를 정의하여 M(X)를 일반화한다.
• φ 하에서 M_φ(X,N)의 비도출 직접 이미지(underived direct image)를 사용하여, N / {O_Y, N}을 Y에 대한 파울슨 추적 공간으로 실현한다.
• X가 유한한 수의 심플렉틱 잎을 가지며, φ가 유한하고 N이 코herent일 경우 M_φ(X) 및 M_φ(X,N)의 힐로노믹성을 증명한다.
• 힐로노믹성의 성질을 이용하여 D-모듈의 직접 이미지 성질을 통해 HP₀(O_X) 및 관련 공간의 유한차원성을 유도한다.
• 변형 이론적 기법과 리스 대수를 활용하여 결과를 필터링 양자화 및 그 표현에까지 확장한다.

실험 결과

연구 질문

• RQ1 파울슨 다양체 위의 파울슨 추적은 국소적 D-모듈 구성으로 기술될 수 있는가?
• RQ2 파울슨 다양체 X에 대해 어떤 기하학적 조건이 파울슨 추적 공간의 유한차원성을 보장하는가?
• RQ3 D-모듈 M(X)는 파울슨 호모로지 HP₀(O_X)와 어떻게 관련되어 있는가?
• RQ4 필터링 비가환 대수의 중심에 대해 어떤 유한성 조건이 유한한 수의 유한차원 표현을 유도하는가?
• RQ5 이러한 대수에서 소이데알과 원시이데알은 유한히 존재하며 잘 행동하는가?

주요 결과

• 파울슨 다양체 X 위의 D-모듈 M(X)는 X가 유한한 수의 심플렉틱 잎을 가질 경우 힐로노믹이며, 이는 파울슨 추적 공간이 유한차원임을 의미한다.
• 모든 유한 사상 φ:X→Y 및 X 위의 코herent 파울슨 모듈 N에 대해, 동일한 심플렉틱 잎 조건 하에서 D-모듈 M_φ(X,N)는 힐로노믹이다.
• X가 유한한 수의 심플렉틱 잎을 가지며 φ가 유한할 경우, O_X / {O_Y, O_X}는 유한차원이며, 이는 몫 다양체의 경우를 일반화한다.
• X = V/G일 때, V가 심플렉틱 벡터 공간이고 G가 충실하게 작용하는 유한군이라면, 파울슨 추적 공간은 명시적으로 기술되며 유한차원이다.
• 필터링 비가환 대수 A에 대해, 그 관련 그레디에이션(grading)이 중심을 따라 유한하며, 유한한 수의 심플렉틱 잎을 가질 경우, HH₀(A) = A/[A,A]는 유한차원이다.
• 이러한 대수에서는 아이반 로세프의 부록에서 유한히 많은 소이데알이 존재하며, 이들은 모두 원시이데알임을 증명한다. 이는 심플렉틱 반사 대수를 포함한다.