Moduli spaces of geometric functorial field theories

기술 요약: 기하학적 함자적 장론의 모듈라이 공간

문제 제기
본 논문은 기하학적 함자적 장론(Geometric Functorial Field Theories, FFT)의 모듈라이 공간을 결정하는 데 따르는 계산적 난제에 대해 다룬다. Grady–Pavlov 프레임워크 [GP22, GP23, GP26]는 매끄러운 가족(smooth families), 내림(descent), 그리고 이소토피(isotopies)를 보르디즘 범주(bordism category)에 통합함으로써 기하학적 FFT를 성공적으로 형식화하였으나, 그 결과로 나타나는 모듈라이 공간은 종종 복잡한 $(\infty, d)$-범주 사이의 유도 매핑 대상(derived mapping objects)으로 제시된다. 구체적으로, 기하학적 구조 $F$를 가진 $d$-차원 FFT의 공간은 $\text{Bord}^F_d$를 기하학적 구조 $F$를 갖춘 보르디즘 범주로, $V$를 표적 기하학적 대칭 단사 $(\infty, d)$-범주로 하는 유도 매핑 공간 $\text{RMap}(\text{Bord}^F_d, V)$로 정의된다.

문제는 소스(source)인 $\text{Bord}^F_d$가 복잡한 호모토피 유형을 가질 수 있어, 표준적인 호모토피 이론적 방법으로는 이러한 매핑 공간을 직접 계산하는 것이 불가능하다는 점이다. 저자들은 이 문제를 명시적 계산이 가능한 형태로 환원하고자 하며, 이를 위해 모듈라이 공간을 카테시안 공간($\mathbb{R}^n$) 상의 $O(d)$-가환 심플리셜 프레셰프(equivariant simplicial presheaves) 사이의 매핑 공간으로 표현함으로써 일반적인 보르디즘 이론으로부터 기하학적 구조를 분리해낸다.

방법론
저자들은 다음과 같은 강화된 모델 범주론(enriched model category theory)에 기반한 도구 세트를 개발하였다:

1. 파이버와이즈 임베딩의 사이트(Sites of Fiberwise Embeddings): 저자들은 매끄러운 $d$-매니폴드의 가족(fiberwise embeddings)인 사이트 $\mathcal{C}^\infty\text{Embd}$와 이소토피를 포함하는 그 강화된 버전인 $\mathcal{C}^\infty\text{Embd}$를 활용한다.
2. 이소토피화(Isotopification): 이소토피가 없는 기하학적 구조를 이소토피가 있는 구조로 매핑하는 이소토피화 함자 $\text{Id}$를 활용한다. 이 함자는 Čech-로컬 인젝티브 모델 구조에 대해 좌 퀼리언 함자(left Quillen functor)임이 입증되었다.
3. 카테시안 제한(Cartesian Restriction): 핵심 단계는 파이브 브레이크 임베딩의 전체 사이트에서 투영 $\mathbb{R}^d \times U \to U$와 동형인 가족들로 구성된 "카테시안 부분 사이트" $\mathcal{C}^\infty\text{EmbCart}_d$로 기하학적 구조를 제한하는 것이다. 저자들은 이 제한이 퀼리언 동치(Quillen equivalence)를 유도함을 증명하며, 이는 로컬 호모토피 정보가 보존됨을 의미한다.
4. 카테시안 실현(Cartesian Realization): (제한된 카테시안 부분 사이트 상의) 기하학적 구조를 $O(d)$-가환 심플리셜 프레셰프로 변환하는 "카테시안 실현" 함자 $C_d$를 정의한다. 이는 특정 $O(d)$-가환 카테시안 계수 $K_d$를 사용하는 가중 치(weighted colimit, derived coend)를 통해 수행된다.
5. 가환 매핑 공간(Equivariant Mapping Spaces): 모듈라이 공간의 표적은 표준 카테시안 가족들에 대해 필드 스택을 평가하고, 파이브 브레이크 직교 사상에 의해 유도되는 $O(d)$-작용을 인코딩하는 제한 함자 $\rho^*_{\infty, d}$를 사용하여 변환된다.

주요 기여 및 결과
핵심 결과인 정리 4.2.9는 기하학적 구조 $F$를 가진 $d$-차원 함자적 장론의 모듈라이 공간과 가환 프레셰프 사이의 자연스러운 약 동치(natural weak equivalence)를 다음과 같이 확립한다:

$$\text{FFT}^{\text{Id}F}_{d,V} \simeq C^\infty\text{sSet}\left( \lambda^\infty_{O(d)} C_d q^*(F), \rho^*_{\infty, d} q^* \text{FFT}_d(V) \right)$$

여기서:

• $\text{FFT}^{\text{Id}F}_{d,V}$는 구조 $F$를 가진 $V$ 값을 갖는 $d$-차원 FFT의 매끄러운 심플리셜 셋이다.
• $q^*$는 카테시안 부분 사이트로의 제한을 나타낸다.
• $C_d$는 유도된 카테시안 실현 함자이다.
• $\lambda^\infty_{O(d)}$는 심플리셜 프레셰프를 매끄러운 방향에 대해서는 상수이고 $O(d)$-작용을 갖는 매끄러운 심플리셜 프레셰프로 간주한다.
• $\rho^*_{\infty, d}$는 표준 카테시안 가족들로의 제한이며, $O(d)$-가환 프레셰프을 산출한다.
• $\text{FFT}_d(V)$는 $V$-값 이론들의 필드 스택이다.

이 정리는 모듈라이 공간의 계산을 두 부분으로 효과적으로 분리한다:

1. 소스(The Source): 기하학적 구조 $F$로부터만 유도되는 계산 가능한 $O(d)$-가환 프레셰프.
2. 표적(The Target): 표적 범주 $V$로부터 유도되는 프레셰프. 만약 $V$가 쌍대(duals)를 가진다면, 기하학적 프레임드 코보디즘 가설(geometric framed cobordism hypothesis)에 의해 표적은 코어 $V^\times$(대상 및 동형 사상)와 약 동치이며, 이는 표적을 더욱 단순화할 수 있다.

특정 응용 (1차원)
코롤러리 4.2.11에서 저자들은 이 프레임워크를 쌍대를 가진 표적 $V$를 갖는 1차원 방향성 리만 기하학적 장론($F = R_M$)에 적용한다. 저자들은 다음을 보인다:
$$\text{FFT}^{I_1 R_M}_{1,V} \simeq C^\infty\text{sSet}\left( \lambda^\infty N(R\text{Path}^g_M), V^\times \right)$$
여기서 $R\text{Path}^g_M$은 리만 경로 범주(Riemannian path category)이다. 이 결과는 모듈라이 공간을 리만 경로 범주의 너브(nerve)로부터 표적의 코어로의 사상으로 환원하며, 길이의 매끄러운 변화와 $O(1)$-작용(방향 반전)을 명시적으로 처리한다.

의의 및 주장
본 논문은 모듈라이 공간을 "호모토피 이론의 통상적인 계산 방법들에 더 적합한" "더 단순한 형태"로 제공한다고 주장한다. 문제를 $O(d)$-가환 심플리셜 프레셰프 사이의 매핑 공간으로 환원함으로써, 저자들은 일반적인 보르디즘 이론을 특정 구조 계산으로부터 분리해낸다.

저자들은 본 연구가 다음과 같은 "후속 문제들에 공통적으로 필요한 기하학적 및 호모토피적 입력"을 제공한다고 명시적으로 밝힌다:

1. 적절한 기하학적 표적 범주(예: 적절한 버전의 힐베르트 공간)를 구축하는 것.
2. 특정 표적들을 분류하기 위해 유도 매핑 공간을 계산하는 것.
3. 함자적 프레임워크와 호환되는 양자화 절차를 개발하는 것.

본 논문은 이러한 후속 계산을 수행하거나 특정 분석적 표적(예: 리그드 힐베르트 공간)을 직접 구축하지 않으며, 이를 향후 연구 과제로 남겨둔다. 본 논문의 초점은 오직 모듈라이 공간을 계산 가능한 형태로 제시하기 위해 필요한 호모토피적 기계론을 확립하는 데 있다.