[논문 리뷰] Notes on Ding-Iohara algebra and AGT conjecture

Hidetoshi Awata, Boris Feigin외 4명|arXiv (Cornell University)|2011. 06. 21.

Algebraic structures and combinatorial models참고 문헌 29인용 수 54

한 줄 요약

이 논문은 두 개의 매개변수를 가진 엔도모르피즘 T(u,v)를 사용하여 딩-이오하라 대수를 통해 U(1) 게이지 이론에 대한 q- analogue AGT 대응을 수립한다. 정점 연산자 Φ(w)를 도입하여 그 행렬 원소들이 네크라스코프 유사 표현식으로 인수분해됨을 보이며, 수준 1의 경우 맥도날드 다항식 상태 간의 행렬 원소가 q-변형 네크라스코프 인자와 정확히 일치함을 보여, q-변형 설정에서 AGT 관계의 표현 이론적 실현을 제공한다.

ABSTRACT

We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. For the level one representation, all the matrix elements of the vertex operators with respect to the Macdonald polynomials are factorized and written in terms of the Nekrasov factors for the $K$-theoretic partition functions as in the AGT relations. For higher levels $m=2,3,...$, we present some conjectures, which imply the existence of the $q$-analogues of the AGT relations.

연구 동기 및 목표

• 딩-이오하라 대수를 사용하여 앨데이-가이요토-타치카와(AGT) 대응의 q-변형을 수립하기.
• 두 매개변수를 가진 엔도모르피즘 T(u,v)를 사용하여 대수 생성자와의 순열 관계를 통해 푸아르스페이스 위에 정점 연산자 Φ(w)를 정의하기.
• 정수 기저 상태 간의 Φ(w) 행렬 원소가 U(1)의 경우 q-변형 네크라스코프 인자로 인수분해됨을 보여주기.
• m중 텐서 곱에서의 정점 연산자 구조에 대한 추측을 통해 수준 높은 표현(즉, U(m) 게이지 군)으로 프레임워크를 확장하기.
• 맥도날드 다항식과 하이젠베르크 대수 실현을 사용하여 K-이론적 AGT 대응의 표현 이론적 기초를 제공하기.

제안 방법

• 두 매개변수 u와 v를 가진 엔도모르피즘 T(u,v)를 딩-이오하라 대수에 도입하여 정점 연산자 Φ(w)를 정의하기.
• 정규화 Φ(w)|0⟩ = |0⟩ + ⋯ 과 함께, 모든 a ∈ 𝒰에 대해 T(vw, q⁻¹tuw)(a)Φ(w) = Φ(w)T(q⁻¹tvw, uw)(a)를 만족하는 순열 관계를 통해 Φ(w)를 정의하기.
• q, t, u, v에 대한 유리 함수를 포함하는 n에 대한 합을 포함하는 지수 함수를 통해 Heisenberg 생성자 aₙ로 Φ(w)를 표현하기.
• 맥도날드 대칭 함수 Pλ(x;q,t)를 기저로 사용하고, 수준 1의 경우 정수 기저 |Kλ⟩를 Jλ(x;q,t)의 정수 형태로 정의하기.
• 수준 m ≥ 2의 경우, m중 텐서 곱 ℱᵤ₁ ⊗ ⋯ ⊗ ℱᵤₘ 위에 표현을 정의하고, 정점 연산자에 대한 추측적 구조를 도입하기.
• q-Saalschütz 합성 공식을 적용하여 특정 케이스(예: 한 줄과 한 열의 분할)에서 행렬 원소의 인수분해를 검증하기.

실험 결과

연구 질문

• RQ1 딩-이오하라 대수를 사용하여 AGT 대응을 q-변형으로 일반화할 수 있는가?
• RQ2 푸아르스페이스 위의 정점 연산자 Φ(w)의 행렬 원소가 q-변형 설정에서 네크라스코프 분할 함수 유사 표현식으로 인수분해되는가?
• RQ3 딩-이오하라 대수의 고차 수준 표현을 통해 U(m) 게이지 이론에 대한 일致한 q-대체 AGT 관계가 존재하는가?
• RQ4 m중 텐서 곱 공간 위에서 행렬 원소가 q-변형 네크라스코프 인자와 일치하는 정점 연산자 Φ(w)가 일致하게 정의될 수 있는가?
• RQ5 엔도모르피즘 T(u,v)는 Φ(w)를 정의하는 순열 관계를 실현하고, 행렬 원소의 인수분해를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 수준 1 표현의 경우, ⟨Kλ|Φ(w)|Kμ⟩ 행렬 원소는 Nλ,μ(qv/tu)(−tuvw/q)|λ|(tvw/q)−|μ|u|μ|t−n(μ)q^n(μ′)로 주어지는 q-변형 네크라스코프 인자의 곱으로 인수분해된다.
• 정점 연산자 Φ(w)는 하이젠베르크 생성자에 대한 지수 함수로 유일하게 정의되며, Φ(w) = exp(−∑(1/n)((vⁿ−(t/q)ⁿuⁿ)/(1−qⁿ))a₋ₙwⁿ) × exp(∑(1/n)((v⁻ⁿ−u⁻ⁿ)/(1−q⁻ⁿ))aₙw⁻ⁿ)의 형태를 가진다.
• 한 줄 분할 λ=(j), μ=(k)의 경우, 행렬 원소는 q-대체 네크라스코프 인자와 일치하며, U(1)의 경우 AGT 관계와의 일致성을 확인한다.
• 한 열 분할 λ=(1ʲ), μ=(k)의 경우, 행렬 원소는 q-Saalschütz 합성 공식을 통해 표현되며, (t⁻ʲv/u; t)ₖ와 (q²⁻ᵏv/u; q)ₖ를 포함하는 인수분해된 표현식을 얻는다.
• 정수 기저 |Kλ⟩는 Proposition 2.11에서 보여지듯이, 수준 1의 경우 맥도날드 다항식의 정수 형태 Jλ(x;q,t)에 해당한다.
• Section 3.4의 추측(추측 3.13)은 수준 m ≥ 2의 경우, m중 텐서 곱 공간 위에서 정점 연산자 Φ(w)가 U(m) 게이지 이론에 대한 q-변형 AGT 관계를 유도할 수 있음을 시사하지만, m > 1일 경우 기저의 구조는 아직 증명되지 않았다.