비가환 대수 토러스의 피카르 군

초록

본 논문은 비가환 2‑차원 대수 토러스 (A_q)의 피카르 군 (Pic(A_q))를 계산하고, 이 군이 1‑계 차원 투사 모듈들의 동형류 집합 (R(A_q))에 미치는 작용을 기술한다. 또한 (A_q)와 모르타 동등인 모든 대수를 분류하고, 이를 양자 칼라로‑모스 correspondence와 이중 가법 헤cke 대수 (H_{t,q^{-1/2}}(S_n)) (특히 (t=1))의 불변표현과 연결한다. 결과적으로 (Pic(A_q))의 작용이 체리데니크가 정의한 (SL_2(\mathbb Z)) 작용과 일치함을 보이며, (|q|\neq1)인 경우에는 타원곡선 (X=\mathbb C^*/\mathbb Z)의 유도된 범주 자기동형군과 동형임을 확인한다.

상세 분석

논문은 먼저 비가환 대수 토러스 (A_q=\mathbb C\langle x^{\pm1},y^{\pm1}\rangle/(xy-qyx))를 정의하고, 그 구조를 기존의 가환 토러스와 비교한다. (A_q)는 중앙이 거의 없으며, 비가환성은 (q)가 1이 아닌 경우에만 나타난다. 피카르 군 (Pic(A_q))는 (A_q)의 이데얼 클래스를 나타내는 자가동형군과, 좌측 1‑계 차원 투사 모듈들의 동형류를 바꾸는 외부 자동화군의 반직접곱으로 기술된다. 저자들은 양자 칼라로‑모스 correspondence를 이용해, (A_q)의 투사 모듈을 이중 가법 헤cke 대수 (H_{t,q^{-1/2}}(S_n))의 불변표현과 일대일 대응시킨다. 여기서 (t=1)으로 고정하면, (H_{1,q^{-1/2}}(S_n))는 차원 (n)의 Calogero‑Moser 공간과 동형이며, 그 불변표현은 정규화된 파티션에 의해 분류된다.

이 correspondence를 통해 (Pic(A_q))가 (SL_2(\mathbb Z))의 표준 작용을 통해 (H_{1,q^{-1/2}}(S_n))의 파라미터를 변환한다는 사실을 증명한다. 구체적으로, (SL_2(\mathbb Z))의 생성원 (S,T)가 각각 (q\mapsto q^{-1})와 (q\mapsto q) 변환을 담당하며, 이는 투사 모듈의 차원과 구조를 보존한다. 또한, 모듈의 동형류 집합 (R(A_q))는 (SL_2(\mathbb Z))의 궤도로 분해되며, 각 궤도는 특정 Morita 등가 대수와 일치한다.

Morita 등가성을 조사할 때, 저자들은 (A_q)와 (A_{q’})가 Morita 동등하려면 (q’)가 (SL_2(\mathbb Z)) 작용에 의해 (q)와 연결될 필요가 있음을 보인다. 즉, (q’)는 (\frac{a q + b}{c q + d}) 형태의 모듈러 변환을 통해 얻어질 수 있다(단, (ad-bc=1)). 이를 통해 Morita 등가 클래스는 (SL_2(\mathbb Z))의 궤도로 완전히 기술된다.

마지막으로, (|q|\neq1)인 경우에 한해, (A_q)의 유도된 범주 (D^b(\operatorname{coh} X))와의 관계를 탐구한다. 여기서 (X=\mathbb C^*/\mathbb Z)는 복소 타원곡선이며, (A_q)의 피카르 군은 (Auteq(D^b(X))/\mathbb Z)와 동형이다. 이는 (X)의 자가동형군이 (SL_2(\mathbb Z))와 동형이므로, 앞서 얻은 결과와 일관성을 가진다. 전체적으로 논문은 비가환 토러스의 대수적 구조와 기하학적 대칭 사이의 깊은 연관성을 밝히며, 양자 대수와 고전적 대수기하 사이의 다리 역할을 수행한다.