[논문 리뷰] Hitchin systems, higher Gaudin operators and $r$-matrices

Benjamin Enriquez, V. Rubtsov|arXiv (Cornell University)|1995. 03. 20.

Algebraic structures and combinatorial models참고 문헌 12인용 수 19

한 줄 요약

이 논문은 히친의 통합계를 구점이 있는 곡선, 특히 $\mathbb{C}P^1$와 $GL_n$- bundles를 갖는 타원 곡선으로 확장한다. 임계 수준에서 아핀 카크-무디 대수의 중심 원소를 사용하여 고차 Gaudin 연산자를 명시적으로 유도하며, 타원 곡선의 경우 동적 $r$-행렬을 구성하여 $GL_2$의 양자 해밀토니안을 도출한다. 주요 기여는 표현 이론과 스펙트럼 곡선을 통해 히친 시스템, Gaudin 모델, 동적 $r$-행렬을 통합하는 프레임워크를 제공하는 것이다.

ABSTRACT

We adapt Hitchin's integrable systems to the case of a punctured curve. In the case of $\CC P^{1}$ and $SL_{n}$-bundles, they are equivalent to systems studied by Garnier. The corresponding quantum systems were identified by B. Feigin, E. Frenkel and N. Reshetikhin with Gaudin systems. We give a formula for the higher Gaudin operators, using results of R. Goodman and N. Wallach on the center of the enveloping algebras of affine algebras at the critical level. Finally we construct a dynamical $r$-matrix for Hitchin systems for a punctured elliptic curve, and $GL_{n}$-bundles, and (for $n=2$) the corresponding quantum system.

연구 동기 및 목표

• 복소 곡선에 표시된 점(구점이 있는 곡선)이 있는 경우 히친의 통합계를 일반화하여 고전적 및 양자적 구조를 확장한다.
• 임계 수준에서 아핀 리 대수의 유니버설 환의 중심 원소를 통해 고차 Gaudin 해밀토니안을 표현한다.
• 특히 $n=2$인 경우, $GL_n$-bundles를 갖는 구점이 있는 타원 곡선에서 히친 시스템에 대한 동적 $r$-행렬을 구성한다.
• $GL_2$의 경우 타원 곡선에서의 양자 해밀토니안을 특정하고, 이들이 캘로지오-모저 유형의 시스템과 어떻게 관련되어 있는지 보여준다.
• 동적 $r$-행렬 형식을 통해 구점이 있는 타원 곡선에서의 히친 시스템과 기존의 통합 모델 간의 대응 관계를 수립한다.

제안 방법

• 표시된 점에서 $B$-구조 데이터를 통합하여 히친의 구성 방식을 구점이 있는 곡선에 적용하고, 파라보릭 구조를 갖는 $G$-bundles의 모듈리 공간 $\mathcal{M}_G(X)$를 정의한다.
• 아드러-코스타ント-사이머스 체계를 사용하여 히친 사상 $H: T^*\mathcal{M}_G(X) \to \mathcal{H}_X$로부터 교환 가능한 해밀토니안을 생성하며, 허니필드 필드의 특성 다항식으로 정의된 스펙트럼 곡선을 사용한다.
• 임계 수준에서 아핀 카크-무디 대수의 중심에 관한 군드먼과 월라치의 결과를 적용하여 고차 Gaudin 연산자를 $L$-연산자의 거듭제곱의 추적으로 표현한다.
• 구점이 있는 타원 곡선에서 $GL_n$-bundles에 대해 동적 $r$-행렬을 구성하며, 이 행렬은 모듈리 매개변수에 의존하고 카르탕 대수의 불변성에서 유래한 항을 포함한다.
• 유니버설 환의 중심의 작용을 통해 변형된 미분 연산자의 공간에 양자 해밀토니안을 도출하며, $L$-연산자와 $r$-행렬의 구조를 사용한다.
• 양자 연산자의 기호가 히친의 고전적 해밀토니안과 일치함을 확인하고, 한 구점이 있는 경우 $GL_2$에 대해 명시적인 형태를 계산한다.

실험 결과

연구 질문

• RQ1 임계 수준에서 아핀 리 대수의 유니버설 환의 중심 원소를 사용하여 고차 Gaudin 연산자를 체계적으로 어떻게 표현할 수 있는가?
• RQ2 구점이 있는 타원 곡선에서 $GL_n$-bundles를 갖는 히친 시스템에 대해 동적 $r$-행렬 형식을 구성할 수 있는가?
• RQ3 구점이 있는 타원 곡선에서 $GL_2$의 경우 양자 해밀토니안의 명시적 형태는 무엇이며, 기존의 알려진 통합 시스템과의 관계는 어떠한가?
• RQ4 구점이 있는 곡선에 대해 스펙트럼 곡선 구성이 어떻게 일반화되며, 이는 통합성에서 어떤 역할을 하는가?
• RQ5 $\mathbb{C}P^1$에서 $SL_n$-bundles를 갖는 경우 히친 시스템과 Gaudin 시스템이 어느 정도 일치하는가? 이는 고위상 곡선으로 어떻게 일반화되는가?

주요 결과

• 고차 Gaudin 해밀토니안은 임계 수준에서의 유니버설 환의 중심 원소를 사용하여 $\mathop{\rm tr}\nolimits L(z)^s$ 형태로 명시적으로 표현되며, 이는 $L$-연산자의 거듭제곱의 추적으로 이루어진다.
• $GL_2$의 경우 구점이 있는 타원 곡선에서 양자 해밀토니안 $\hat{H}_0$와 $\hat{H}_1$는 $t$-미분, $h^{(i)}$, $e^{(i)}$, $f^{(i)}$, 그리고 타원 함수를 포함하여 유도되며, $\hat{H}_0$에는 위어스타스 $\wp$-함수 항이 포함되어 있다.
• 구점이 있는 타원 곡선에서의 시스템은 모듈리 매개변수에 의존하고 카르탕 대수 불변성에서 유래한 항을 포함하는 동적 $r$-행렬을 갖는다. 이는 표준 $r$-행렬 구조를 일반화한다.
• $\hat{H}_i$와 $\hat{H}_0$는 $S_2$-불변이며 $\mathbb{Z}^2$-작용에 관하여 불변이므로, 변형된 모듈리 공간 $\mathcal{M}^{(0)}_{GL_2}(X)$ 위에서 잘 정의된 연산자이다.
• 양자 해밀토니안의 기호는 고전적 히친 해밀토니안과 일치하며, 고전적 통합계와의 일致성을 확인한다.
• $N=1$인 경우, 시스템은 $\hat{H}_0 = \hat{p}^2 - 2e^{(1)}f^{(1)}\wp(\ln t^2)$ 및 $\hat{H}_1 = e^{(1)}f^{(1)}$로 간소화되며, 이는 타원 Calogero-Moser 시스템과 직접적인 연결을 보여준다.