Generating functions of dual $K$-theoretic $P$- and $Q$-functions and boson-fermion correspondence

기술 요약: 이중 K-이론적 P- 및 Q-함수의 생성 함수와 보존-페르미온 대응

문제 정의
본 논문은 Ikeda와 Naruse가 도입한 K-이론적 슈어 P- 및 Q-함수($GP_\lambda$ 및 $GQ_\lambda$)와 그 쌍대 함수($gp_\lambda$ 및 $gq_\lambda$)의 대수적 특성을 다룬다. 이 함수들은 최대 등방성 심플렉틱 및 직교 그라스만 다양체의 K-이론에서 슈베르트 클래스를 나타낸다. K-이론적 Q-함수($GQ_\lambda$)는 (저자의 이전 연구에서) $\beta$-변형된 중립 페르미온 연산자를 사용하여 이미 특성화되었으나, K-이론적 P-함수($GP_\lambda$)와 특히 그 쌍대 함수들($gp_\lambda$ 및 $gq_\lambda$)에 대한 완전한 페르미온 표현은 미해결 과제로 남아 있었다. 구체적으로, Nakagawa-Naruse는 이 쌍대 함수들을 위한 생성 함수를 추측하였으나, 보존-페르민 대응을 통한 엄밀한 유도는 부족한 상태였다.

방법론
저자는 $\beta$ 파라미터를 포함하도록 표준 이론을 확장하여, 포크 공간(Fock space) 형식론 내에서 중립 페르미온 연산자의 프레임워크를 사용한다. 핵심적인 방법론적 혁신은 다음과 같다:

1. 네 가지 계열의 $\beta$-변형 연산자 도입:
   저자는 $\beta$에 따라 구분되는 네 가지 서로 다른 계열의 중립 페르미온 연산자 $\phi^{(\beta)}_n, \phi^{[\beta]}_n, \Phi^{(\beta)}_n, \Phi^{[\beta]}_n$을 정의한다.

   • $\phi^{(\beta)}_n$과 $\Phi^{(\beta)}_n$은 K-이론적 함수 $GQ_\lambda$와 $GP_\lambda$를 생성하도록 구성된다.
   • $\phi^{[\beta]}_n$과 $\Phi^{[\beta]}_n$은 쌍대 함수 $gq_\lambda$와 $gp_\lambda$를 생성하도록 구성된다.
     이 연산자들은 특정 이동(shift)과 $\beta$에 의한 스케일링을 포함하여 표준 중립 페르미온 연산자 $\phi_n$의 무한 선형 결합으로 정의된다.

2. 쌍대 쌍(Dual Pairs) 및 교환 관계의 정의:
   저자는 연산자 계열 간의 쌍대 관계를 확립한다. 구체적으로, 반교환자 관계는 $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta)}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$이 되도록 유도된다. 이는 변형되지 않은 경우의 표준 쌍대 관계에 대한 $\beta$-변형 아날로그 역할을 한다.

3. $\beta$-변형 보존-페르미온 대응:
   두 개의 선형 사상 $\Omega$와 $\chi$가 $\beta$-변형된 보존-페르미온 대응으로서 도입된다.

   • $\Omega$는 페르미온 포크 공간의 벡터를 K-이론적 함수에 대응하는 완비 대칭 함수 환 $\widehat{\Lambda}$로 사상한다.
   • $\chi$는 벡터를 쌍대 함수에 대응하는 부분 대수 $g\Gamma$로 사상한다.
     이 사상들은 $\beta$-변형된 해밀토니안 연산자 $H^{(\beta)}(x)$와 $H^{[\beta]}(x)$를 포함하는 진공 기대값(vacuum expectation values)을 통해 정의된다.

4. 생성 함수의 유도:
   $\beta$-변형된 버텍스 연산자와 전류 연산자 사이의 교환 관계를 활용하여, 저자는 Nakagawa-Naruse의 K-이론적 코시 커널(Cauchy kernel)을 유도한다. 이 커널은 페르미온 연산자의 진공 기대값을 $\beta$-이동된 변수 $\bar{x}_i$를 포함하는 곱 공식 $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$와 연결한다.

주요 기여 및 결과
본 논문의 주요 결과는 네 가지 K-이론적 함수를 특정 페르미온 연산자의 진공 기대값으로 명시적으로 실현한 것과 쌍대 함수들의 생성 함수를 유도한 것이다.

1. 페르미온 표현:
   정리 1.1은 임의의 엄격한 분할(strict partition) $\lambda$에 대하여, 페르미온 포크 공간 내에 네 가지 벡터 $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$가 존재하여 다음을 만족함을 입증한다:

   • $GQ_\lambda = \Omega(|\lambda\rangle_Q)$
   • $GP_\lambda = \Omega(|\lambda\rangle_P)$
   • $gq_\lambda = \chi(|\lambda\rangle_q)$
   • $gp_\lambda = \chi(|\lambda\rangle_p)$
     이 벡터들은 본문에 정의된 각각의 $\beta$-변형된 페르미온 연산자를 사용하여 구성된다.

2. 쌍대 함수를 위한 생성 함수:
   구성된 벡터들의 직교 정규성(orthonormality)과 $\beta$-변형된 보존-페르미온 대응의 성질을 이용하여, 저자는 쌍대 K-이론적 함수 $gq_\lambda$와 $gp_\lambda$에 대한 명시적인 생성 함수를 유도한다. 이는 쌍대 함수들의 형태에 관한 Nakagawa-Naruse의 추측을 확인한다.

3. K-이론적 코시 항등식:
   본 논문은 $\beta$-변형된 연산자들의 교환 관계가 자연스럽게 K-이론적 코시 항등식으로 이어진다는 것을 보여준다:
   $$\sum_{\lambda: \text{strict}} G Q_\lambda(x) g p_\lambda(y) = \sum_{\lambda: \text{strict}} G P_\lambda(x) g q_\lambda(y) = \prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$$
   여기서 $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$이다.

의의
본 논문은 타입 B, C, D에 대한 K-이론적 대칭 함수의 통합된 대수적 프레임워크를 제공한다. $\beta$-변형된 연산자를 포함하도록 보존-페르미온 대응을 확장함으로써, 저자는 이전에 알려진 Q-함수의 사례와 유사하게 K-이론적 P-함수와 그 쌍대 함수들을 성공적으로 실현하였다. 이러한 표현은 쌍대 함수들에 대한 추측된 생성 함수를 검증할 뿐만 아니라, 중립 페르미온 연산자의 관점을 통해 이 함수들의 대수적 성질을 연구하기 위한 체계적인 방법을 제공한다. 이 연구는 타입 A K-이론적 함수(예: 안정적인 그로텐디크 다항식)에 대한 기존의 페르미온 기술을 직교 및 심플렉틱 경우로 일반화한다.