팩터리얼 gp·gq 함수의 중성 페르미온 구축과 전이 계수의 새로운 공식

1. 서론에서는 K‑theoretic Schubert calculus에서 등장하는 GP·GQ·gp·gq 함수들의 배경과 연구 동기를 설명한다. 특히 gp·gq 가 각각 GQ·GP 의 K‑dual이며, 이들의 팩터리얼 버전이 torus‑equivariant K‑theory에서 중요한 역할을 함을 강조한다. 2. 제2장에서는 루트계 B∞·C∞와 Weyl 군 W∞, 엄격 파티션의 shifted Young diagram을 정의하고, GP·GQ 함수들의 정확한 정의(식 2.6, 2.7)와 β‑변형 연산자 ⊕, ⊖ 를 소개한다. 또한 vanishing property와 factorization formula(식 2.10‑2.13)를 증명하여, GP·GQ 가 특정 파라미터 치환에서 0이 되거나 단순히 일반화된 Schur‑type 다항식으로 분해됨을 보인다. 3. 이어서 gp·gq 함수들을 Cauchy‑type 상호작용(식 2.19, 2.20)으로 정의하고, Demazure 연산자 T_i 와 D_i 의 작용 규칙을 제시한다(식 2.22‑2.24). 이 연산자들은 W∞ 의 액션을 통해 함수들의 변환을 제어한다. 4. 제3장에서는 중성 페르미온 ψ_n (n∈ℤ+½) 와 그에 대응하는 Fock space 를 도입하고, β‑변형 자유‑페르미온을 정의한다. Boson‑Fermion correspondence 를 β‑버전으로 확장함으로써, GP·GQ·gq 를 진공 기대값 형태로 표현한다. 구체적으로  - 정리 3.8: GP_λ(x|b) = ⟨0| Γ_+(x) e^{H(b)} |λ⟩,  - 정리 3.10: gq_λ(y|b) = ⟨0| Γ_-(y) e^{H(b)} |λ⟩, 와 같은 식을 얻는다. 여기서 Γ_±는 bosonic 생성 연산자, H(b)는 파라미터 b 를 포함한 힐베르트 연산자이다. 5. 이를 바탕으로 Pfaffian 공식(정리 3.14)을 도출하고, gq_λ 의 generating function(정리 3.11)과 contour integral 표현(정리 3.9)도 제시한다. 6. 전이 계수 C_{λµ}(b,c) 에 대해서는 두 가지 주요 결과를 얻는다. 첫 번째는 중성 페르미온 연산을 이용한 Jacobi‑Trudi 형태(정리 3.15)로, C_{λµ} 를 determinant 로 표현한다. 두 번째는 타입 A 이중 Grothendieck 다항식 G_{λ}(x|b) 를 이용한 전개(정리 4.10)로, C_{λµ} 를 factorial Grothendieck 다항식의 계수로 해석한다. 특히 식 (1.1)에서 보이는 네 함수군(gp, gq, GP, GQ) 사이의 전이 계수 일치는 이들 모두가 동일한 double Grothendieck 구조를 공유함을 의미한다. 7. 마지막으로 gp 함수에 대한 진공 기대값 표현은 아직 conjecture(3.22) 형태로 남아 있으며, 이는 향후 연구 과제로 제시된다. 또한, 논문 전반에 걸쳐 다양한 예제와 특수 경우(β→0, b_i→0 등)를 검토하여 기존의 Schur, Q‑함수와의 관계를 확인한다. 8. 부록에서는 증명에 사용된 contour integral 기법, duality lemma, 그리고 일반적인 expansion theorem 의 상세 증명을 제공한다.