[논문 리뷰] Differential Calculus on Quantum Complex Grassmann Manifolds I: Construction

Stefan Kolb|arXiv (Cornell University)|2001. 12. 15.

Algebraic structures and combinatorial models참고 문헌 14인용 수 5

한 줄 요약

이 논문은 양자 복소 그라스만 만에 대해 복소화와 양자 벡터 공간 위의 미분 계산의 국소화를 이용하여 표준적인 공변(first-order) 미분 계산을 수립한다. 이는 푸슈–워노비치의 분류를 일반화하여, 양자 동차 좌표환에 대해 정확히 두 개인 공변 미분 계산이 존재한다는 것을 증명하며, 타우토로지컬 번들의 $q$-데오페어드 코hom로지적 불변성을 보여주는 $q$-데오페어드 캐런 특성자를 수립한다.

ABSTRACT

Covariant first order differential calculus over quantum complex Grassmann manifolds is considered. It is shown by a Pusz-Woronowicz type argument that under restriction to calculi close to classical Kaehler differentials there exist exactly two such calculi for the homogeneous coordinate ring. Complexification and localization procedures are used to induce covariant first order differential calculi over quantum Grassmann manifolds. It is shown that these differential calculi behave in many respects as their classical counterparts. As an example the q-deformed Chern character of the tautological bundle is constructed. Keywords: Quantum groups, quantum spaces, quantum Grassmann manifolds, differential calculus

연구 동기 및 목표

• 양자 복소 그라스만 만에 대한 표준적인 공변 제1차 미분 계산을 수립한다: $\mathcal{O}_q(\mathrm{Gr}(r,N))$.
• 양자 벡터 공간에서의 푸슈–워노비치의 미분 계산 분류를 양자 그라스만에 일반화한다.
• 통일된 프레임워크를 통해 양자 평면 계산과 포들레스의 양자 2차원 구 위의 계산 간의 연결을 수립한다.
• 알려진 모듈 구조를 가진 미분 계산을 구성함으로써 비가환 기하학에서의 명시적 계산을 가능하게 한다.
• 타우토로지컬 번들의 $q$-데오페어드 캐런 특성자를 정의하고 계산한다: 보편 제1차 이상 미분 계산에서의 결과.

제안 방법

• 양자 공간 위의 제1차 미분 계산에 대해 복소화와 국소화 절차를 도입하여 $\mathcal{O}_q(\mathcal{V}_r)$ 와 $\mathcal{O}_q(\mathrm{Gr}(r,N))$ 간의 관계를 수립한다.
• $U_q(\mathfrak{sl}_N)$-모듈 구조 하에서 $\mathcal{O}_q(\mathcal{V}_r)$ 위의 모든 공변 제1차 미분 계산을 분류하여 정확히 두 개인 것을 증명한다.
• $R$-행렬과 양자군 표현 이론을 이용한 그래픽적 계산을 통해 텐서곱 내의 사상들을 단순화하고 계산한다.
• 복소화된 계산을 국소화함으로써 미분 계산 $\Gamma^1_q(\mathrm{Gr}(r,N))$ 를 수립한다.
• $\mathcal{O}_q(\mathrm{Gr}(r,N))$ 내에서 생성자와 관계를 통해 $q$-데오페어드 타우토로지컬 번들을 정의하여 그 캐런 특성자를 계산한다.
• 모든 $q$-데오페어드 캐런 특성자가 보편 고차 미분 계산 내의 닫힘 및 중심적인 미분 형식의 합으로서 정의됨을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 양자 복소 그라스만 만에 대해 표준적인 공변 제1차 미분 계산을 수립할 수 있는가?
• RQ2 $\mathcal{O}_q(\mathcal{V}_r)$ 위의 공변 제1차 미분 계산의 분류는 무엇인가?
• RQ3 복소화와 국소화 절차는 양자 설정에서 대수에서 미분 계산으로 어떻게 일반화되는가?
• RQ4 타우토로지컬 번들의 $q$-데오페어드 캐런 특성자는 잘 정의되어 있으며, 코hom로지적으로 불변적인가?
• RQ5 양자 그라스만의 코hom로지 링은 변형 매개수 $q$ 에 독립적인가?

주요 결과

• $U_q(\mathfrak{sl}_N)$-모듈 구조 하에서 $\mathcal{O}_q(\mathcal{V}_r)$ 위에 정확히 두 개인 공변 제1차 미분 계산이 존재하며, 이는 푸슈–워노비치 결과를 일반화한다.
• 미분 계산 $\Gamma^1_q(\mathrm{Gr}(r,N))$ 는 복소화와 국소화를 통해 수립되며, $r=1$, $N=2$ 인 경우에 포들레스의 $S^2_{q0}$ 위의 계산과 동형이다.
• 왼쪽 모듈로서 $\Gamma^1_q(\mathrm{Gr}(r,N))$ 는 $\mathcal{O}_q(\mathrm{Gr}(r,N))$ 의 생성자의 미분들에 의해 자유롭게 생성된다.
• [Her]의 의미에서 $\Gamma^1_q(\mathrm{Gr}(r,N))$ 의 차원은 유한차원적 구조임을 추정하며, 고전적 기대와 호환된다.
• 타우토로지컬 번들의 $q$-데오페어드 캐런 특성자는 보편 고차 미분 계산 내의 닫힘 및 중심적인 미분 형식의 합으로서 수립된다.
• 양자 그라스만의 코hom로지 링은 변형 매개수 $q$ 에 독립적일 것으로 예상되며, 이는 캐런 특성자 형식들이 중심적이며 닫혀 있기 때문이다.