[논문 리뷰] Synthetic geometry of differential equations: I. Jets and comonad structure

Igor Khavkine, Urs Schreiber|arXiv (Cornell University)|2017. 01. 23.

Black Holes and Theoretical Physics참고 문헌 16인용 수 6

한 줄 요약

이 논문은 미분적으로 응집된 토포스 내에서 '무한 잔여' 함자 $\Im$ 의 단위를 따라 기저 전환 comonad으로서의 잔여 번들의 일반화를 통해, 편미분방정식(PDE)에 대한 합성 미분기하학 프레임워크를 개발한다. 이는 형식적으로 통합 가능한 PDE의 범주가 이 합성 잔여 comonad에 대한 Eilenberg-Moore 범주와 동치임을 증명함으로써, 고전적 PDE 이론을 슈퍼기하학 및 고차 미분기하학과 같은 확장된 맥락으로 통합한다.

ABSTRACT

We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open problem of covariant geometric pre-quantization of locally variational field theories, which may include fermions and (higher) gauge fields. (abridged)

연구 동기 및 목표

• 일반적인 다양체를 초월하여 슈퍼기하학, 고차 미분기하학, 스택 구조와 같은 맥락으로 형식적 PDE 이론을 일반화하기.
• 페르미온과 게이지 장을 포함하는 국소적으로 변분적 장 이론에 대한 공변 기하학적 전량화의 열린 문제를 해결하기.
• 고전적 구성들을 포함하고 일반화하는, 합성적이고 토포스 이론적인 잔여 번들과 PDE의 공식화를 제공하기.
• 임의의 미분적으로 응집된 토포스 내에서 형식적으로 통합 가능한 PDE의 자연스러운 정의를 수립하기.
• 이러한 PDE의 범주가 합성 잔여 comonad의 Eilenberg-Moore 범주와 동치임을 보여, 비노그라도프와 마르반의 결과를 일반화하기.

제안 방법

• 무한 잔여 함자 $\Im$ 의 단위를 따라 기저 전환 comonad으로서의 잔여 번들의 구성 방식을 일반화한다.
• 합성 잔여 comonad $J^\infty_\Sigma$ 를 형식적 디스크 번들의 함자 $T^\infty_\Sigma$ 와의 우정의 관계로 정의하며, 이는 $T^\infty_\Sigma \dashv J^\infty_\Sigma$ 의 쌍대관계를 이룬다.
• 합성 잔여 comonad $J^\infty_\Sigma$ 에 대한 코알제브라의 Eilenberg-Moore 범주를 사용하여 일반적인 토포스 내에서 형식적으로 통합 가능한 PDE의 범주를 정의한다.
• comonad의 구조를 적용하여, 고전적 PDE 이론이 일반적인 다양체 위에서 복원되며, 이 경우 마르반의 comonad과 비노그라도프의 범주와 일치함을 보인다.
• 관련 예시에서 $\Im$ 의 단위가 전성임을 이용하여, PDE의 범주가 슬라이스 범주 $\mathbf{H}_{/\Im\Sigma}$ 와 동치임을 보인다.
• 형식적 미분기하학과 토포스 이론 도구(예: 형식적 미분기하학적 집합, 국소적으로 프로-다양체)를 활용하여 일반화된 공간과 사상들을 정의한다.

실험 결과

연구 질문

• RQ1 형식적 PDE 이론은 스무프 다양체를 초월하여 슈퍼다양체나 고차 스택 등과 같은 맥락으로 어떻게 일반화될 수 있는가?
• RQ2 합성 미분기하학에서 잔여 번들의 기초적인 범주론적 구조는 무엇이며, 마르반의 comonad 구성 방식을 일반화할 수 있는가?
• RQ3 미분적으로 응집된 토포스 내에서 형식적으로 통합 가능한 PDE의 통합적, 합성적 정의를 어떻게 내릴 수 있는가?
• RQ4 어떤 조건에서 공간 $\Sigma$ 위의 PDE의 범주는 $\Im\Sigma$ 위의 슬라이스 범주로 단순화되는가?
• RQ5 이 합성적 프레임워크는 페르미온과 게이지 장을 포함하는 국소적으로 변분적 장 이론의 기하학적 전량화를 어떻게 지원하는가?

주요 결과

• 합성 잔여 comonad $J^\infty_\Sigma$ 는 무한 잔여 함자 $\Im$ 의 단위를 따라 기저 전환 comonad으로서 구성되며, 고전적 잔여 구성의 일반화이다.
• 모든 미분적으로 응집된 토포스 내에서 형식적으로 통합 가능한 PDE의 범주는 $J^\infty_\Sigma$ 에 대한 Eilenberg-Moore 코알제브라의 범주와 동치이며, 즉 $\mathrm{PDE}_{/\Sigma}(\mathbf{H}) \simeq \mathrm{EM}(J^\infty_\Sigma)$ 이다.
• 만약 $\Im$ 의 단위가 전성이라면, PDE의 범주는 슬라이스 범주 $\mathbf{H}_{/\Im\Sigma}$ 와 동치이며, 편리한 사이트 표현을 제공한다.
• 일반적인 다양체 위에서는 합성 잔여 comonad이 마르반의 comonad을 복원하며, 결과적으로 얻어진 PDE의 범주는 비노그라도프의 범주와 일치한다. 이는 일반화의 타당성을 입증한다.
• 이 프레임워크는 $J^\infty_\Sigma$ 의 코-클라이슬리 범주를 통해 일반화된 미분 연산자를 자연스럽게 수용하며, $\mathrm{DiffOp}_{/\Sigma}(\mathbf{H}) \simeq \mathrm{Kl}(J^\infty_\Sigma|_{\mathcal{C}})$ 이다.
• 섹션 $\sigma: \Sigma \to E$ 의 잔여 연장은 $j^\infty\sigma: \Sigma \to J^\infty_\Sigma E$ 로 주어지며, 이는 잔여 연장의 보편 성질을 실현한다.