이 논문은 C2-유한 N-등급 정점 연산자 대수(VOA) V와 해석적 컴팩트 리만 표면족에 대한 등각 블록 시리즈의 두 번째 논문입니다. 이 시리즈의 최종 목표는 재봉-인수분해 정리(SF 정리)를 증명하는 것입니다.
이 논문에서는 SF 정리의 절반을 구성하는 재봉 등각 블록의 수렴성을 증명합니다. (나머지 절반은 재봉 구성이 재봉 전 등각 블록 공간과 재봉 후 등각 블록 공간의 두 공간 사이의 동형을 구현한다는 것입니다.) 이 논문에서 증명된 결과는 그 자체로 흥미롭습니다. 따라서 이 논문은 시리즈의 다른 부분과 독립적으로 읽을 수 있도록 구성되었습니다.
재봉 구성은 Segal의 중요한 연구 [Seg88, Seg04]에서 강조된 것처럼 2차원 등각 장 이론에서 가장 기본적인 연산입니다. 유리 VOA에 대한 재봉 수렴성 증명의 역사에 대한 간략한(그리고 필연적으로 불완전한) 개요는 [Gui23a]의 서론을 참조하십시오.
사실, 재봉 수렴성 증명은 VOA의 초기 역사에서 이미 중요한 역할을 했습니다. 유리 VOA의 주목할 만한 특징은 문자가 벡터 값 모듈러 형식을 형성한다는 것입니다. 더 일반적으로 Zhu는 [Zhu96]에서 모든 v 가 SL(2, Z)-불변 공간을 형성한다는 놀라운 결과를 증명했습니다. 이 모듈러 불변성 속성은 다음과 같은 방식으로 재구성할 수 있습니다.
재봉의 수렴성. 0 < |q| < 1에 대해 재봉 구성 v 는 진공 토러스 등각 블록 φ(q)에 절대적으로 수렴합니다. (여기서 Uα(q)는 Virasoro 연산자로 표현되는 좌표 연산자의 변경입니다.)
인수분해. 각 고정 q에 대해 모든 진공 토러스 등각 블록은 (1)의 재봉 구성에서 발생합니다. 또한 이 "인수분해" 프로세스는 q에 대해 정칙적일 수 있습니다.
평평한 연결. 진공 토러스 등각 블록 공간은 표준 모듈러 불변(평평한) 연결 ∇와 함께 정칙 벡터 번들을 형성합니다.
평행성. (1)의 단면 q ↦ φ(q)는 투영 항 c/24까지 평행합니다. 여기서 c는 중심 전하입니다. 즉, q∇∂/∂qφ(q) = (c/24)φ(q)입니다.
(3)과 (4)의 주요 목적은 모듈러 변환 q−c/24φ(q)에 의해 얻어진 S 행렬과 T 행렬이 "q와 무관"하도록 하는 것입니다.
[HLZ14, HLZ12a]-[HLZ12g]에서 인터트위닝 연산자의 결합성은 V가 유리적이라고 가정하지 않고 유사한 방식으로 표현될 수 있습니다.
(a) 재봉의 수렴성. 인터트위닝 연산자의 곱 Y1(w1, z1)Y2(w2, z2) (각각 반복 Y1(Y2(w2, z2 − z1)w1, z1)) (« 종수-0 3점 등각 블록)은 적절한 영역에서 종수-0 4점 등각 블록 φ(z1, z2) (표시된 점 0, z1, z2, ∞ 포함)에 절대적으로 수렴합니다.
(b) 인수분해. 각 고정(적절한) z1, z2에 대해 표시된 점 0, z1, z2, ∞를 갖는 모든 종수-0 등각 블록은 인터트위닝 연산자의 곱(각각 반복)으로 인수분해될 수 있습니다. 또한 이 인수분해 프로세스는 z1, z2에 대해 정칙적일 수 있습니다.
(c) 평평한 연결. 종수-0 4점 등각 블록 공간은 표준 뫼비우스 불변 평평한 연결 ∇와 함께 정칙 벡터 번들을 형성합니다.
(d) 평행성. 단면 (z1, z2) ↦ φ(z1, z2)는 ∇ 아래에서 평행합니다.
(c)와 (d)는 땋기 행렬과 융합 행렬이 "z1, z2와 무관"하도록 합니다.
인수분해는 재봉의 역 과정임을 강조합니다. SF 정리는 종수 1에서 (1)+(2)로, 종수 0에서 (a)+(b)로 전문화됩니다. (3)+(4) 및 (c)+(d)와 관련된 일반 이론도 이 논문에서 제공됩니다.
비유리 C2-유한 VOA에 대한 가장 당혹스러운 현상 중 하나는 Huang-Lepowsky-Zhang의 연구에서 알 수 있듯이 (a)-(d)가 계속 유지되지만 (2)는 유지되지 않는다는 것입니다. 실제로 Miyamoto는 [Miy04]에서 (2)와 같은 인수분해를 달성하려면 (1)에서 표준 q-트레이스뿐만 아니라 유사 q-트레이스 도 고려해야 한다는 것을 보여주었습니다. 우리는 다음 질문에 대한 개념적 설명을 제공하는 것을 목표로 합니다. 왜 유사 q-트레이스는 종수-1에만 필요하고 종수-0에는 필요하지 않습니까?
[Gui21]에서 얻은 순열-꼬인/꼬이지 않은 대응은 유사 q-트레이스를 (명시적으로) 호출하지 않고도 고차 종수 리만 표면에 재봉 및 인수분해를 적용할 수 있음을 시사합니다. (따라서 Segal의 재봉은 유한 로그 CFT에서 충분합니다!) 그 대응은 대략적으로 G가 V⊗N에서 순열로 작동하는 SN의 부분군이면 G-꼬인 V⊗N-모듈에 대한 종수-0 등각 블록이 (꼬이지 않은) V-모듈 및 P1의 분지 덮개에 대한 등각 블록에 해당한다고 말합니다. 또한 LHS의 재봉은 RHS의 재봉에 해당합니다.
따라서:
• G-꼬인 V⊗N-모듈1 사이의 인터트위닝 연산자의 곱/반복 및 결합성의 수렴성은 분지 덮개를 통해 꼬이지 않은 V-모듈의 특정 고차 종수 등각 블록에 대한 재봉-인수분해 정리로 변환될 수 있습니다.
실제로 [Gui21, Sec. 0.2]는 Z2-꼬인 인터트위닝 연산자의 결합성이 꼬이지 않은 모듈러 불변성에 어떻게 해당하는지 설명합니다. [Gui21]은 V-모듈(또는 직접 합)의 텐서 곱인 V⊗N-모듈에 중점을 두지만 [Gui21]의 대부분의 결과는 임의의 V⊗N-모듈로 쉽게 일반화될 수 있습니다.
[GZ23]의 서론에서 우리는 인수분해가 성립하는 임의의 종수에서 재봉 구성을 이미 제시했습니다. (사실, SF 정리는 Sec. 0.2의 관찰에서 깊은 영감을 받았습니다.) 공식을 간략하게 살펴보겠습니다. 단순화를 위해 리만 표면족 대신 단일 섬유 rX = (rC|{x∗}∪{x1∗, x2∗}) = (rC|{x1, . . . , xN}∪{x11, . . . , x1R, x21, . . . , x2R})를 고려합니다. 여기서 rC는 (연결 해제될 수 있는) 컴팩트 리만 표면이고 x∗, x1∗, x2∗는 rC의 서로 다른 표시된 점입니다. 우리는 rC의 각 연결된 구성 요소에 x1, . . . , xN 중 적어도 하나가 포함되어 있다고 가정합니다. 각 xi, x1j, x2j에서 (해석적) 로컬 좌표 ηi, ξj, ζj를 연결합니다.
적절한 εj > 0을 선택한 후 관계 ξjζj = qj를 통해 점 쌍 (x1j, x2j)을 따라 rX를 재봉할 수 있습니다. 재봉의 결과는 표시된 점(및 로컬 좌표)이 있는 노드 곡선족 X = (π : C → B|{ς1, . . . , ςN})입니다. 여기서 B = Dε∗ := Dε1 × · · · × DεR이고 Dεj = {qj ∈ C : |qj| < εj}입니다. 표시된 점 x1j, x2j는 재봉 후 사라지고 xi의 상수 확장은 단면 ςi를 제공합니다. Dˆεj = Dεj \ {0}이라고 하자. 그러면 X는 Dˆε∗ := Dˆε1 × · · · × DˆεR에서 부드러운 족입니다.
이제 rX의 표시된 점 x∗와 동시에 연관된 (등급 제한) V⊗N-모듈 W를 선택합니다. x1∗와 연관된 V⊗R-모듈 M을 선택하고 x2∗와는 반대 모듈 M′을 연결합니다.
rX와 W ⊗ M ⊗ M′과 연관된 등각 블록 공간을 T ∗rX(W ⊗ M ⊗ M′)라고 하자. 그 요소는 뭉치 VOA V rC의 작용 아래에서 특정 불변성 속성을 충족하는 선형 함수 ψ : W ⊗ M ⊗ M′ → C입니다. L(j)n을 j번째 구성 요소에 대한 Virasoro 연산자라고 하자(cf. (1.1.3)). M = ⊕λ∗∈CR M[λ∗]를 L(1)0, . . . , L(R)0의 공동 일반 고유 공간에 대한 M의 분해라고 하자. qL∗(0)∗ := qL(1)01 · · · qL(R)0R이라고 하자. 그러면 ψ의 재봉 S[ψ] (Segal의 의미에서)는 일반적인 의미에서 축약을 취하여 정의됩니다(그러나 유사 트레이스 아래에서는 아님). 즉, S[ψ] : W → C[[q∗]]log q∗ = C[[q1, . . . , qR]]((log q1, . . . , log qR))이고 Sψ = ∑λ∗∈CR ∑α∈Aλ∗ ψ(w, ⊗ qL∗(0)∗m(λ∗,α) ⊗ qm(λ∗,α)′)입니다. 여기서 (m(λ∗,α))α∈Aλ∗는 (qm(λ∗,α)′)α∈Aλ∗를 쌍대 기저로 갖는 M[λ∗]의 (유한) 기저입니다. (L(j)0는 각 M[λ∗]를 보존합니다.) S[ψ]의 정확한 정의는 Subsec. 4.1.3을 참조하십시오.
표시된 점 ς∗(B)의 X에도 W를 연결합니다. X와 W와 연관된 등각 블록의 B-뭉치를 T ∗X(W)라고 하자. 따라서 Dˆε∗에서 이 뭉치의 단면은 정확히 선형 맵 W → O(Dˆε∗)이며, 각 q∗ ∈ Dˆε∗에 대한 제한은 W와 섬유 Xq∗ = Xq1,...,qR와 연관된 등각 블록입니다. (자세한 내용은 Rem. 3.1.1을 참조하십시오.) 이 논문의 주요 결과(Thm. 4.3.1)는 rX가 점이 있는 컴팩트 리만 표면족인 경우에 대한 다음 정리의 일반화입니다.
정리 0.3.1. ψ ∈ T ∗rX(W ⊗ M ⊗ M′)이라고 하자. 그러면 S[ψ]는 Dˆε∗에서 H0(Dˆε∗, T ∗X(W))의 요소(즉, Dˆε∗에서 T ∗X(W)의 단면)에 절대적으로 국소적으로 균일하게(a.l.u.) 수렴합니다.
이제 이 설정에서 인수분해는 언제 유지됩니까? 즉, 어떤 상황에서 Xq∗와 W와 연관된 모든 등각 블록을 rX와 W ⊗ M ⊗ M′과 연관된 등각 블록을 재봉하여 얻을 수 있습니까? 답은 [GZ23]의 서론에서 제공되었으며 시리즈의 세 번째 부분에서 엄격하게 증명될 것입니다.
• rX의 재봉이 분리 재봉인 경우, 즉 rC가 rC1 \ rC2의 분리된 합집합이고 x11, . . . , x1R이 rC1에 속하고 x21, . . . , x2R이 rC2에 속하는 경우 인수분해가 유지됩니다.
예를 들어, Sec. 0.1에서 (a)의 재봉은 분리되어 있고 (a)의 모든 "분지 덮개"는 분리되어 있지만 (1)은 분리 재봉이 아닙니다.
따라서 Sec. 0.2에서 제기된 질문에 답할 수 있습니다. 재봉 구성 v ↦ TrMq(YM(v, 1)qL0)이 모든 진공 토러스 등각 블록을 제공하지 않는 이유는 이러한 유형의 재봉이 분리 재봉이 아니라 "자가 재봉"이기 때문입니다.
분리되지 않은 재봉에 대한 인수분해를 달성하는 방법은 두 가지가 있습니다. 첫 번째 접근 방식은 등각 블록의 재봉을 유지하지만 컴팩트 리만 표면의 재봉 방식을 수정합니다. 두 번째 접근 방식은 그 반대입니다. 더 정확하게:
(α) 그림 0.3.1과 같이 리만 표면의 분리되지 않은 재봉을 분리된 재봉으로 변환합니다. 그러면 등각 블록의 일반적인 재봉(Segal의 연구 [Seg88, Seg04]에서와 같이)으로 충분합니다.
(β) 리만 표면의 재봉을 유지합니다. 그러나 등각 블록의 Segal의 (일반적인) 재봉을 유사 재봉(즉, 유사 q-트레이스)으로 대체합니다.
4.4절에서 우리는 (β)가 (α)의 특별한 경우로 자연스럽게 발생한다는 것을 보여줄 것입니다. 향후 작업에서 우리는 가장 일반적인 경우에 (α)와 (β)가 대략적으로 동일함을 보여줄 것입니다. 지금은 [Gui23a]의 재봉이 인수분해를 달성하기에 불충분한 이유를 설명하겠습니다. 그 연구에서 V⊗R-모듈 M은 V-모듈의 텐서 곱입니다. 다음 섹션에서 보게 되겠지만:
• V-모듈(또는 직접 합)의 텐서 곱이 아닌 V⊗R-모듈을 고려하는 것은 유사 트레이스 구성과 밀접한 관련이 있습니다.
위에서 언급한 (β) ↪ (α) 뒤에 숨겨진 주요 아이디어를 설명하기 위해 가장 간단한 경우를 살펴보겠습니다. Q와 N을 로컬 좌표가 있는 3점 구와 2점 구라고 하자.
Q = (P1|1, ∞, 0; z − 1, 1/z, z)
N = (P1|∞, 0; 1/z, z)
여기서 z는 C의 표준 좌표를 나타냅니다. 진공 모듈 V를 표시된 점 1 ∈ Q에 연결합니다. X를 N의 표시된 점 (∞, 0)과 연관된 V⊗2-모듈이라고 하자. 그 반대 X′는 Q의 표시된 점 (∞, 0)과 연관됩니다.
φ : V ⊗ X′ → C
τ : X → C
를 Q와 N에 각각 연관된 등각 블록이라고 하자.
X를 두 쌍의 점을 따라 Q와 N을 재봉한 것이라고 하자. 첫 번째 쌍은 (∞Q, ∞N)이고 두 번째 쌍은 (0Q, 0N)2입니다. 그림 0.4.1을 참조하십시오. 그러면 X는 기저 매니폴드 B = D1 × D1을 갖습니다. 여기서 D1 = {q ∈ C : |q| < 1}입니다. Thm. 0.3.1에 따르면 각 0 < |q1|, |q2| < 1에 대해 Sq∗(φ ⊗ τ)는 V와 섬유 Xq∗ = Xq1,q2와 연관된 등각 블록에 수렴합니다.
인수분해는 모든 진공 토러스 등각 블록을 Sq∗(φ ⊗ τ)로 쓸 수 있음을 의미합니다. 이제 유사 트레이스 구성이 우리 설정에 어떻게 맞는지 설명합니다.
M을 V-모듈이라고 하자. X를 M ⊗ M′으로 하고 τ : X ⊗ X′ → C를 표준 페어링으로 하면 Sq∗(φ ⊗ τ)는 일반적인 q-트레이스(여기서 q = q1q2)일 뿐입니다. 그러나 X를 M ⊗ M′의 V⊗2-부분 모듈로 할 수 있습니다.
다음 절차는 M ⊗ M′의 V⊗2-부분 모듈을 얻는 주요 방법을 제공합니다. End0(M) = ⊕λ,µ∈C HomC(M[µ], M[λ])이라고 하자. 여기서 M[λ]는 무게-λ 일반 고유 공간입니다. 표준 선형 동등성 End0(M) ≅ M ⊗ M′는 End0(M)을 V⊗2-모듈로 만듭니다.
EndV(M)op의 단위 부분 대수 A를 선택합니다. 그러면 End0(M)에는 V⊗2-부분 모듈 End0(A,M) := {T ∈ End0(M) : (Tm)a = T(ma) for all m ∈ M, a ∈ A}가 있습니다.
이제 M이 오른쪽 A-모듈로서 투영된다고 가정합니다. 대칭 선형 함수 ω : A → C를 수정합니다. (즉, ω는 선형이고 ω(ab) = ω(ba) for all a, b ∈ A입니다.) [Ari10]의 유사 트레이스 구성을 통해 대칭 선형 함수 Trω : End0(A,M) → C를 얻습니다. τ := Trω가 대칭이라는 사실은 N과 V⊗2-모듈 X := End0(A,M)과 연관된 등각 블록임을 의미합니다.
마지막으로 선형 함수 φ : V ⊗ M′ ⊗ M → C, v ⊗ m′ ⊗ m ↦ 〈m′, Y M(v, 1)m〉는 Q와 V ⊗ M′ ⊗ M과 연관된 등각 블록입니다. M의 정점 연산자가 A와 교환한다는 사실을 사용하여 φ가 선형 맵 φ : V ⊗ End0(A,M)′ → C로 내려간다는 것을 알 수 있습니다. 여기서 End0(A,M)′ = ⊕µ,λ∈C HomA(M[µ], M[λ])∗는 End0(A,M)의 반대 V⊗2-모듈입니다. 따라서 재봉 S(φ ⊗ Trω) : V → C[[q1, q2]]((log q1, log q2))를 정의할 수 있으며 직접 계산에 의해 범위가 C[q1q2]에 있음을 알 수 있습니다.
v ↦ Trω(YM(v, 1)qL0)를 [Miy04, AN13, Fio16, Hua24]와 같이 유사 q-트레이스 구성이라고 하면 선형 맵 V → C[[q]]((log q))로서 다음을 얻습니다.
Trω(YM(·, 1)qL0) = S(φ ⊗ Trω)|q1q2=q (0.4.1)
따라서 LHS의 유사 q-트레이스는 RHS에서 등각 블록의 일반적인 재봉으로 실현됩니다. 특히, 일반적인 재봉의 수렴성은 유사 q-트레이스의 수렴성을 의미합니다. 위 논의를 임의의 종수로 일반화한 것은 4.4절을 참조하십시오.
• 결론: 유사 q-트레이스는 Segal의 (일반적인) 재봉에서 복구할 수 있습니다.
Thm. 4.3.1 외에도 이 논문에서는 뭉치에 대한 연결과 관련된 몇 가지 결과도 증명합니다. 이러한 연결은 [Gui23a]에서 재봉 등각 블록의 수렴성을 보장하는 미분 방정식을 유도하는 데 이미 사용되었습니다. 이 논문에서는 동일한 방법을 채택합니다. 이 방법의 기본 개념은 재봉을 리만 표면의 균일화로 변환하는 것입니다. Huang은 [Hua97]에서 이 아이디어를 사용하여 비표준 로컬 좌표를 가진 구와 연관된 재봉 등각 블록의 수렴성을 연구했습니다.
이러한 연결에 대한 실용적인 관점을 취하는 [Gui23a]와 달리 이 논문에서는 여러 가지 이유로 주제에 대한 보다 철저한 탐구를 제공합니다.
Sec. 0.1에서 제안한 것처럼 종수-1에서 SF 정리(재봉의 수렴성 포함)는 모듈러 불변성을 암시하기에 불충분합니다. 또한 로컬 자유 등각 블록 뭉치에 대한 평평한 연결이 필요하며 재봉이 이 연결 아래에서 투영 항까지 평행함을 보여야 합니다. 임의의 종수에서 투영 항에 대한 일반 공식은 Thm. 4.3.3에 나와 있습니다. 향후 작업에서 보여주겠지만 이 공식은 모듈러 불변성 정리에 나타나는 추가 요소 −c/24를 설명합니다.
이제부터 X = (π : C → B|{ς1, . . . , ςN})를 각 ςi(B)에서 로컬 좌표 ηi를 갖는 N점 컴팩트 리만 표면족이라고 가정합니다. 표시된 점 ς∗(B)에 V⊗N-모듈 M을 동시에 연결합니다. 연결의 표준 적용은 등각 블록 뭉치 T ∗X(W)가 OB-모듈로서 로컬 자유임을 보여주는 것입니다. (즉, B의 (유한 순위) 벡터 번들입니다.) 응용 프로그램으로서 등각 블록 공간의 차원은 토폴로지 불변입니다. 예를 들어 [TUY89, Uen97, Uen08, NT05, DGT22]를 참조하십시오.
우리는 다음과 같은 측면이 문헌에서 충분한 주의를 기울이지 않았다고 믿습니다. 등각 블록 뭉치의 로컬 자유성에 대한 거의 모든 증명은 복소 해석적 설정이 아닌 대수적 설정, 즉 일련의 논문에서 취하는 설정에서만 적용됩니다. 대수적 로컬 자유성은 다음과 같이 증명됩니다. 첫째, 공변 뭉치 TX(W)(쌍대 뭉치는 T ∗X(W)임)가 일관성이 있음이 증명됩니다. 그런 다음 연결이 있는 모든 일관된 뭉치는 로컬 자유이므로 TX(W)는 로컬 자유이고 따라서 T ∗X(W)도 마찬가지입니다.
그러나 TX(W)가 일관성이 있다는 위의 증명은 B가 (로컬로) 노에터적이라는 사실에 크게 의존합니다. (예를 들어 [NT05, Thm. 6.2.1]의 증명 참조) OB에 대한 노에터 속성이 없으면 TX(W)가 유한 유형이라는 것, 즉 로컬로 자유 뭉치에서 전형을 갖는다는 것만 보여줄 수 있지만 일관된 뭉치를 정의하는 데 필수적인 TX(W)의 관계 뭉치가 유한 유형이라는 것을 보여줄 수 없습니다. 안타깝게도 복소 매니폴드는 노에터 속성을 거의 나타내지 않으므로 대수적 경우와 같이 일관성을 확립하기 어렵습니다. 결과적으로 로컬 자유성에 대한 대수적 증명은 해석적 설정에서 실패합니다.
따라서 Thm. 3.3.1에서 달성한 해석적 족에 대한 로컬 자유성에 대한 올바른 증명을 제공하는 것이 중요합니다.
TX(W)(및 T ∗X(W))의 (해석적) 로컬 자유성을 증명하는 핵심 단계는 Virasoro 균일화의 수렴성을 증명하는 것입니다. 대수적 Virasoro 균일화는 [FBZ04, Ch. 17]에 명시적으로 명시되어 있습니다. 대략적으로 말해서 각 ηi가 xi를 중심으로 하는 디스크 Ui에서 정의되고 xi에서 유한 극을 갖는 Ui \ {xi}에서 정칙 함수인 hi(ηi)인 로컬 좌표 η1, . . . , ηN을 갖는 N점 컴팩트 리만 표면 Y = (C|x1, . . . , xN)가 있다고 가정합니다. 대수적 설정에서 이러한 벡터 필드 x1, . . . , xN은 Y의 1차 무한소 변형을 생성합니다. xi를 Virasoro 연산자로 변환하면 등각 블록의 1차 무한소 평행 수송을 얻습니다.
우리의 해석적 설정에서 우리는 Virasoro 균일화에 대해 더 많이 말할 수 있습니다. hi가 다른 복소 변수 q에 대해 정칙적으로 의존한다고 가정할 수도 있습니다. 따라서 각 xi는 비자율 벡터 필드이며 Ui \ {xi}의 모든 컴팩트 부분 집합에서 비자율 정칙 흐름 q ↦ βiq를 생성합니다. Ui가 충분히 크고 r > 0이 충분히 작아서 |q| < r일 때마다 Ui에 βiq(ηi−1(D1))이 포함된다고 가정합니다. 그런 다음 C에서 βiq(ηi−1(D1))를 제거하고 맵 ηi ◦ (βiq)−1을 사용하여 βiq(ηi−1(S1))를 표준 닫힌 디스크 D1의 경계 S1에 붙이고 xi와 로컬 좌표 ηi를 새 표시된 점 0 ∈ D1과 표준 좌표 z로 바꿀 수 있습니다. 그러면 이것은 새로운 N점 컴팩트 리만 표면 Yq를 로컬 좌표와 함께 제공합니다.3 자세한 내용은 3.2절을 참조하십시오.
해석적 변형 Y ↦ Yq와 관련하여 주어진 등각 블록 ψ(Y 및 V⊗N-모듈 W와 연관됨)는 새로운 블록 ψq로 변환됩니다. 이 변환은 Virasoro 연산자를 포함하는 미분 방정식으로 설명됩니다. (3.1.6)(및 (3.1.4b)도 참조) 처음에 ψq는 q의 형식적 거듭제곱 급수일 뿐입니다. Virasoro 균일화의 수렴성에 대한 우리의 정리는 |q| < r에 대해 ψq가 Yq와 W와 연관된 등각 블록에 절대적으로 수렴한다고 말합니다.
xi가 자율적(즉, q와 무관)인 특별한 경우 βi는 자율 흐름이며 ψq는 지수로 표현할 수 있습니다.
xi = ∑∞k=−∞ hi,kηki (0.5.1)
라고 쓰자. 여기서 hi,k ∈ C는 k ≪ 0일 때 0입니다. 그러면 각 w ∈ W에 대해 다음을 얻습니다.
φ(w) = φ0(e−qAw)
여기서 A = ∑Ni=1 ∑∞k=−∞ hi,kL(i)k−1입니다. (Exp. 3.1.5 참조) 우리가 아는 한, 이러한 지수의 수렴성(합리적으로 큰 |q|에 대해)은 VOA 문헌에서 이전에 다루어지지 않았습니다. 따라서 본 논문에서 이 주제를 살펴보는 것이 가치가 있다고 생각합니다. 흥미롭게도 Virasoro 균일화의 수렴성에 대한 우리의 증명은 재봉 등각 블록에 대한 수렴성 증명과 많은 유사점을 공유합니다.
연결을 구성하는 데 있어 가장 어려운 부분은 원래 WX(W) = W ⊗ OB에서 정의된 연결 ∇가 TX(W)로 내려간다는 것을 보여주는 것입니다. (TX(W)는 적절한 OB-부분 모듈 JX에 의한 WX(W)의 몫입니다.) [FBZ04]의 순전히 대수적 접근 방식은 우리의 해석적 프레임워크에 최적으로 적합하지 않으므로 이 논문에서는 미분 기하학적 증명을 제공합니다.
y를 B의 벡터 필드라고 하자. ∇y가 JX를 보존함을 보여주기 위해 ∇y와 VOA 뭉치 VX의 작용(더 정확하게는 VX ⊗OC ωC/B의 작용)의 교환자를 WX(W)에서 계산해야 합니다. Subsec. 2.3.2(특히 (2.3.9)에서)에서 보게 되겠지만 이 교환자는 텐서 필드의 일반적인 거짓말 미분을 일반화하는 VX ⊗ ωC/B의 거짓말 미분을 사용하여 계산됩니다.
V가 단순 거짓말 대수 g와 연관된 단위 아핀 VOA인 경우 이 거짓말 미분 구조는 가려져 있다는 점은 주목할 만합니다. 실제로 [TUY89]에서 볼 수 있듯이 이러한 VOA에 대한 등각 블록을 연구하려면 무게 1 벡터에 의해 생성된 VX의 하위 뭉치를 사용하면 충분합니다. 이 하위 뭉치는 gC ⊗ΘC/B와 표준적으로 동형이므로 ωC/B와의 텐서는 gC ⊗OC와 표준적으로 동형입니다. 따라서 OC의 일반적인 (거짓말) 미분은 연결을 연구하기에 충분합니다. 이러한 이유로 [TUY89]의 연결 처리를 일반 C2-유한 VOA로 확장하는 것은 간단하지 않습니다.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询