[논문 리뷰] The division map of principal bundles with groupoid structure and generalized gauge transformations

Carlo A. Rossi|ArXiv.org|2004. 01. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 구조 군자리드로 표현된 주기저(bundle)에 대해 일반화된 게이지 변환의 개념을 일반화하여, $\Gamma$를 구조 군자리드로 가지는 주기저에 대해 적용한다. 이는 이전에 일반적인 주기저 $G$-기저에서 사용된 나눗셈 사상 $\phi_P$의 역할을 리 군자리드의 프레임워크로 확장한다. 힐수름–스칸달리스 일반화된 게이지 변환의 군자리드를 도입하여, 이러한 변환이 합성에 대해 잘 정의된 군자리드를 이룬다는 것을 보이며, 역원을 가지며, 등기군에서 군 구조를 가지므로, 비아벨적이고 국소적으로 비자명한 설정에서 게이지 이론의 범주론적이고 기하학적 기초를 확립한다.

ABSTRACT

Motivated by the computations done in \cite{C1}, where I introduced and discussed what I called the groupoid of generalized gauge transformations, viewed as a groupoid over the objects of the category $\mathsf{Bun}_{G,M}$ of principal $G$-bundles over a given manifold $M$, I develop in this paper the same ideas for the more general case of {\em principal $\calG$-bundles or principal bundles with structure groupoid $\calG$}, where now $\calG$ is a Lie groupoid in the sense of \cite{Moer2}. Most of the concepts introduced in \cite{C1} can be translated almost verbatim in the framework of principal bundles with structure groupoid $\calG$; in particular, the key r�le for the construction of generalized gauge transformations is again played by (the equivalent in the framework of principal bundles with groupoid structure of) the division map $f_P$. Of great importance are also the generalized conjugation in a groupoid and the concept of (twisted) equivariant maps between groupoid-spaces.

연구 동기 및 목표

• 구조 군자리드 $\mathcal{G}$를 가지는 주기저에 대해 일반화된 게이지 변환 이론을 일반적인 주기저 $G$-기저에서 확장한다. 여기서 $\mathcal{G}$는 리 군자리드이다.
• 주기저 $\mathcal{G}$-기저의 섬유 위에서 자유롭고 전순적인 군자리드 작용을 기술하는 데 사용되는 나눗셈 사상 $\phi_P$의 역할을 일반화한다.
• 힐수름–스칸달리스 일반화된 게이지 변환의 군자리드를 정의하고, 그 구조를 규명하며, 기저의 동형사상에 대해 불변성을 확립한다.
• 힐수름–스칸달리스 사상 간의 일반화된 게이지 변환 공간이 잘 정의된 곱 $\star$를 통해 군자리드 구조를 갖는다는 것을 보이며, 이는 $\mathcal{G}$-불변성과 호환된다.
• 이 일반화된 게이지 군자리드의 등기군이 $\mathcal{H}$-불변인 매끄러운 사상들 $P \to \mathcal{H}$의 공간과 동형임을 증명하여, 일반 게이지 군을 특수한 경우로 회복한다.

제안 방법

• 논문은 주기저 $\mathcal{G}$-기저를, 각 섬유 위에서 자유롭고 전순적인 $\mathcal{G}$-작용을 갖는 매끄러운 전순 사상 $\pi: P \to M$로 정의하며, 일반적인 주기저 $G$-기저의 개념을 일반화한다.
• 논문은 군자리드 작용을 코딩하는 나눗셈 사상 $\phi_P: P \times_M P \to \mathcal{G}$를 도입하며, 이는 기존의 $G$-기저에 대한 고전적 나눗셈 사상의 일반화이다.
• 논문은 $\mathcal{G}$-불변성과 $\mathcal{H}$-동치성을 갖는 사상들로 일반화된 게이지 변환을 정의하며, $P_1 \odot P_2$ 에서 $\mathcal{H}$로의 사상으로서 곱 $\star$ 를 사용한다. 이 곱은 $ (K_{23} \star K_{12})(p_1,p_3) = K_{23}(p_2,p_3)K_{12}(p_1,p_2) $ 로 정의된다.
• 논문은 곱 $\star$ 가 결합법칙을 만족하고 중간 점 $p_2$ 의 선택에 영향을 받지 않음을 증명하여, 일반화된 게이지 변환 군자리드 내에서 잘 정의된 합성의 가능성을 확보한다.
• 논문은 임의의 일반화된 게이지 변환의 역원이 나눗셈 사상의 $\mathcal{H}$ 내에서의 역원으로 주어짐을 보이며, 이는 역원 존재성과 군자리드의 구조를 보장한다.
• 논문은 대상이 힐수름–스칸달리스 사상이고, 사상이 섬유곱 위에서 $\mathcal{G}$-불변인 $\mathcal{H}$-값을 갖는 사상인 군자리드 $C^{\infty,\mathcal{H}^2}_{\mathcal{G}}$ 를 정의하며, 이 군자리드가 카테고리 $\mathsf{HS}_{\mathcal{G},\mathcal{H}}$ 와 동형임을 보여준다.

실험 결과

연구 질문

• RQ1 구조 군자리드 $\mathcal{G}$를 가지는 주기저에 대해 일반화된 게이지 변환의 개념을 일반적인 주기저 $G$-기저에서 확장할 수 있는가? 여기서 $\mathcal{G}$는 리 군자리드이다.
• RQ2 나눗셈 사상 $\phi_P$ 는 주기저 $\mathcal{G}$-기저의 구조를 기술하고 일반화된 게이지 변환의 구성에 어떻게 기여하는가?
• RQ3 힐수름–스칸달리스 사상 간의 일반화된 게이지 변환 공간은 합성에 대해 잘 정의된 군자리드 구조를 지닐 수 있는가?
• RQ4 $\mathcal{G}$-불변성은 섬유곱의 중간 점 선택에 관계없이 일관성을 유지하는 데 어떻게 기여하는가?
• RQ5 일반화된 게이지 군자리드의 등기군과 기저에서 $\mathcal{H}$-불변 매끄러운 사상들의 공간 사이의 관계는 무엇인가?

주요 결과

• 힐수름–스칸달리스 일반화된 게이지 변환 군자리드는 잘 정의되어 있으며, 사상들이 곱 $\star$ 에 대해 닫혀 있으며, 이 곱은 결합법칙을 만족하고 중간 점 선택에 영향을 받지 않는다.
• 두 일반화된 게이지 변환의 곱 $\star$ 는 $\mathcal{G}$-불변이며, 이는 합성이 힐수름–스칸달리스 사상의 카테고리 내에서 잘 정의된 사상으로 내림내림을 보장한다.
• 모든 일반화된 게이지 변환은 역원을 가지며, 이는 나눗셈 사상의 $\mathcal{H}$ 내에서의 역원으로 주어지므로 군자리드의 구조를 보장한다.
• 일반화된 게이지 군자리드의 임의의 대상 $P$ 에서의 등기군은 $C^{\infty}_{\mathcal{G}}(P,\mathcal{H})^{\mathcal{H}}$ 와 동형이며, 이는 $P$ 의 힐수름–스칸달리스 게이지 군이다.
• $C^{\infty,\mathcal{H}^2}_{\mathcal{G}}$ 군자리드는 카테고리 $\mathsf{HS}_{\mathcal{G},\mathcal{H}}$ 와 동형이며, 이는 모든 사상이 역원을 가지며 구조가 진정한 군자리드임을 확인한다.
• 이 구성은 비아벨적이고 국소적으로 비자명한 리 군자리드 작용의 설정으로 고전적 게이지 군과 변환 이론을 일반화하며, 일반화된 게이지 이론을 위한 범주론적 프레임워크를 제공한다.