접속 형식

수학 및 특히 미분기하학에서 **접속 형식**(connection form)은 움직이는 틀과 미분 형식의 언어를 사용하여 접속의 데이터를 구성하는 방식이다. 역사적으로 접속 형식은 20세기 전반에 엘리 카르탕이 그의 움직이는 틀 방법의 일부이자 주요 동기 중 하나로 도입했다. 접속 형식은 일반적으로 좌표 틀의 선택에 따라 달라지므로 텐서적 객체가 아니다. 카르탕의 초기 작업 이후 접속 형식의 다양한 일반화 및 재해석이 공식화되었다. 특히, 주다발에서 주접속은 접속 형식을 텐서적 객체로 자연스럽게 재해석한 것이다. 반면에 접속 형식은 추상적인 주다발이 아닌 미분 다양체에 정의된 미분 형식이라는 장점이 있다. 따라서 텐서성이 부족함에도 불구하고 접속 형식은 계산 수행의 상대적 용이성 때문에 계속 사용된다.1978, 1980, 1999a 물리학에서 접속 형식은 게이지 공변 미분을 통해 게이지 이론의 맥락에서도 널리 사용된다. 접속 형식은 벡터 다발의 각 기저에 미분 형식의 행렬을 연결한다. 접속 형식은 기저 변환 시 전이 함수의 외미분을 포함하는 방식으로 변환되기 때문에 텐서적이지 않다. 이는 레비치비타 접속의 크리스토펠 기호와 매우 유사하다. 접속 형식의 주요 텐서 불변량은 곡률 형식이다. 벡터 다발을 접다발과 동일시하는 납땜 형식이 있는 경우, 추가적인 불변량인 비틀림 형식이 있다. 많은 경우, 접속 형식은 구조 군을 가진 올다발의 추가 구조를 가진 벡터 다발에서 고려된다.
# 벡터 다발

## 벡터 다발의 틀
틀다발 M 위의 올 차원 k인 벡터 다발 E가 있다고 하자. E의 **국소 틀**은 E의 국소 단면의 순서화된 기저이다. 벡터 다발은 항상 다양체의 아틀라스와 유사하게 국소 자명화로 정의되므로 국소 틀을 구성하는 것은 항상 가능하다. 즉, 밑공간 다양체 M의 임의의 점 x가 주어졌을 때, x의 열린 근방 U \subseteq M이 존재하여 U 위의 벡터 다발이 국소적으로 자명하다. 즉, U \times \mathbb R^k와 동형이며 U로 사영한다. 이를 통해 \mathbb R^k의 벡터 공간 구조를 전체 국소 자명화로 확장할 수 있으며, \mathbb R^k의 기저도 확장할 수 있다. 이것이 국소 틀을 정의한다. (여기서는 실수 집합이 사용되었지만, 대부분의 전개는 일반적으로 환 위의 가군, 특히 복소수 \mathbb C 위의 벡터 공간으로 확장될 수 있다.) E 위의 국소 틀을 \mathbf e = (e_\alpha)_{\alpha = 1, 2, \dots, k}라고 하자. 이 틀은 E의 임의의 단면을 국소적으로 표현하는 데 사용될 수 있다. 예를 들어, \xi가 틀 \mathbb e와 동일한 열린 집합 위에서 정의된 국소 단면이라고 가정하자. 그러면 :\xi = \sum_{\alpha=1}^k e_\alpha \xi^\alpha(\mathbf e) 여기서 \xi^\alpha(\mathbf e)는 틀 \mathbf e에서 \xi의 성분을 나타낸다. 행렬 방정식으로 표현하면 다음과 같다. :\xi = {\mathbf e} \begin{bmatrix} \xi^1(\mathbf e)\\\ \xi^2(\mathbf e)\\\ \vdots\\\ \xi^k(\mathbf e) \end{bmatrix}= {\mathbf e}\, \xi(\mathbf e) 일반 상대성이론에서 이러한 틀장은 테트라드라고 불린다. 테트라드는 특히 국소 틀을 밑공간 다양체 M (아틀라스에 의해 설정된 M의 좌표계)의 명시적 좌표계와 관련시킨다.
## 외적 접속
외적 공변 미분 E의 코쥘 접속은 다음 유형의 미분 연산자이다. :D : \Gamma(E) \rightarrow \Gamma(E\otimes T^*M) = \Gamma(E)\otimes\Omega^1M 여기서 Γ는 벡터 다발의 국소 단면의 층을 나타내고, Ω1M은 M 위의 미분 1-형식의 다발이다. D가 접속이 되려면 외미분과 올바르게 결합되어야 한다. 특히, v가 E의 국소 단면이고 f가 매끄러운 함수이면 다음이 성립한다. :D(fv) = v\otimes (df) + fDv 여기서 df는 f의 외미분이다. 때로는 D의 정의를 임의의 E-값 형식으로 확장하여, 이를 미분 형식의 전체 외대수와 E의 텐서곱에 대한 미분 연산자로 간주하는 것이 편리하다. 이 호환성 속성을 만족하는 외적 접속 D가 주어지면 D의 유일한 확장이 존재한다. :D : \Gamma(E\otimes\Lambda^*T^*M) \rightarrow \Gamma(E\otimes\Lambda^*T^*M) 다음과 같이 : D(v\wedge\alpha) = (Dv)\wedge\alpha + (-1)^{\text{deg}\, v}v\wedge d\alpha 여기서 v는 차수 deg v의 동차 형식이다. 즉, D는 등급 가군 Γ(E ⊗ Ω*M)의 층에 대한 미분이다.
## 접속 형식
**접속 형식**은 외적 접속을 특정 틀 **e**에 적용할 때 발생한다. eα에 외적 접속을 적용하면 다음을 만족하는 M 위의 1차 미분 형식으로 이루어진 유일한 k × k 행렬 (ωαβ)이다. :D e_\alpha = \sum_{\beta=1}^k e_\beta\otimes\omega^\beta_\alpha. 접속 형식을 사용하여 E의 임의 단면에 대한 외적 접속을 이제 표현할 수 있다. 예를 들어, ξ = Σα eαξα라고 가정하자. 그러면 :D\xi = \sum_{\alpha=1}^k D(e_\alpha\xi^\alpha(\mathbf e)) = \sum_{\alpha=1}^k e_\alpha\otimes d\xi^\alpha(\mathbf e) + \sum_{\alpha=1}^k\sum_{\beta=1}^k e_\beta\otimes\omega^\beta_\alpha \xi^\alpha(\mathbf e). 양변의 성분을 취하면, :D\xi(\mathbf e) = d\xi(\mathbf e)+\omega \xi(\mathbf e) = (d+\omega)\xi(\mathbf e) 여기서 d와 ω는 틀 **e**에 대한 성분별 미분과 ξ의 성분에 작용하는 1-형식의 행렬을 각각 나타낸다. 반대로, 1-형식 ω의 행렬은 기본 단면 **e**가 정의된 열린 집합에서 접속을 국소적으로 완전히 결정하기에 선험적으로 충분하다.
### 틀의 변경
ω를 적절한 전역 객체로 확장하기 위해서는 E의 기본 단면을 다르게 선택할 때 ω가 어떻게 동작하는지 조사할 필요가 있다. ωαβ = ωαβ(**e**)라고 써서 **e**의 선택에 대한 의존성을 나타낸다. **e**′가 국소 기저의 다른 선택이라고 가정하자. 그러면 다음을 만족하는 가역 k × k 함수 행렬 g가 존재한다. :{\mathbf e}' = {\mathbf e}\, g,\quad \text{i.e., }\,e'_\alpha = \sum_\beta e_\beta g^\beta_\alpha. 양변에 외적 접속을 적용하면 ω의 변환 법칙이 나온다. :\omega(\mathbf e\, g) = g^{-1}dg+g^{-1}\omega(\mathbf e)g. 특히, ω는 한 틀에서 다른 틀로 전환하는 규칙이 전이 행렬 g의 미분을 포함하기 때문에 텐서적으로 변환되지 않는다는 점에 유의한다.
### 전역 접속 형식
{Up}가 M의 열린 덮개이고, 각 Up가 E의 자명화 **e**p로 갖춰져 있다면, 겹치는 영역의 국소 접속 형식 사이의 패치 데이터에 따라 전역 접속 형식을 정의할 수 있다. 자세히 말하면, M 위의 **접속 형식**은 각 Up에 정의된 1-형식의 행렬 ω(**e**p) 시스템으로, 다음 호환성 조건을 만족한다. :\omega(\mathbf e_q) = (\mathbf e_p^{-1}\mathbf e_q)^{-1}d(\mathbf e_p^{-1}\mathbf e_q)+(\mathbf e_p^{-1}\mathbf e_q)^{-1}\omega(\mathbf e_p)(\mathbf e_p^{-1}\mathbf e_q). 이 호환성 조건은 특히 E의 단면의 외적 접속이 E ⊗ Ω1M의 단면으로 추상적으로 간주될 때, 접속을 정의하는 데 사용된 기저 단면의 선택에 의존하지 않도록 보장한다.
## 곡률
곡률 형식 E에서 접속 형식의 **곡률 2-형식**은 다음으로 정의된다. :\Omega(\mathbf e) = d\omega(\mathbf e) + \omega(\mathbf e)\wedge\omega(\mathbf e). 접속 형식과 달리 곡률은 틀 변경 시 텐서적으로 동작하며, 이는 푸앵카레 보조정리를 사용하여 직접 확인할 수 있다. 특히, **e** → **e** g가 틀 변경이면 곡률 2-형식은 다음과 같이 변환된다. :\Omega(\mathbf e\, g) = g^{-1}\Omega(\mathbf e)g. 이 변환 법칙의 한 가지 해석은 다음과 같다. **e***를 틀 e에 해당하는 쌍대 기저라고 하자. 그러면 2-형식 :\Omega={\mathbf e}\Omega(\mathbf e){\mathbf e}^* 는 틀 선택과 무관하다. 특히, Ω는 End(E,E)의 자기동형환에 값을 갖는 M 위의 벡터 값 2-형식이다. 기호적으로는 다음과 같다. :\Omega\in \Gamma(\Lambda^2T^*M\otimes \text{Hom}(E,E)). 외적 접속 D의 관점에서 곡률 자기동형은 다음으로 주어진다. :\Omega(v) = D(D v) = D^2v\, v ∈ E에 대해 (이 표현을 정의하기 위해 v를 국소 단면으로 확장할 수 있다). 따라서 곡률은 다음 수열의 실패를 측정한다. :\Gamma(E)\ \stackrel{D}{\to}\ \Gamma(E\otimes\Lambda^1T^*M)\ \stackrel{D}{\to}\ \Gamma(E\otimes\Lambda^2T^*M)\ \stackrel{D}{\to}\ \dots\ \stackrel{D}{\to}\ \Gamma(E\otimes\Lambda^nT^*(M)) 드람 코호몰로지 의미에서 사슬 복합체가 되기 위한 실패를 측정한다.
## 납땜과 비틀림
E의 올 차원 k가 다양체 M의 차원과 같다고 가정하자. 이 경우, 벡터 다발 E는 때때로 접속 외에 추가 데이터, 즉 납땜 형식이 주어진다. **납땜 형식**은 M 위에 전역적으로 정의된 벡터 값 1-형식 θ ∈ Ω1(M,E)으로, 모든 x ∈ M에 대해 매핑 :\theta_x : T_xM \rightarrow E_x 는 선형 동형이다. 납땜 형식이 주어지면 (외적 접속 측면에서) 접속의 **비틀림**을 다음과 같이 정의할 수 있다. :\Theta = D\theta.\, 비틀림 Θ는 M 위의 E-값 2-형식이다. 납땜 형식과 관련 비틀림은 E의 국소 틀 **e**를 사용하여 모두 설명될 수 있다. θ가 납땜 형식인 경우, 틀 성분으로 분해된다. :\theta = \sum_i \theta^i(\mathbf e) e_i. 비틀림의 성분은 다음과 같다. :\Theta^i(\mathbf e) = d\theta^i(\mathbf e) + \sum_j \omega_j^i(\mathbf e)\wedge \theta^j(\mathbf e). 곡률과 마찬가지로 Θ는 틀 변경 시 반변 텐서처럼 동작함이 증명될 수 있다. :\Theta^i(\mathbf e\, g)=\sum_j g_j^i \Theta^j(\mathbf e). 틀에 독립적인 비틀림은 틀 성분에서도 복구될 수 있다. :\Theta = \sum_i e_i \Theta^i(\mathbf e).
## 비앙키 항등식
비앙키 항등식은 비틀림과 곡률을 관련시킨다. 첫 번째 비앙키 항등식은 다음을 나타낸다. :D\Theta=\Omega\wedge\theta 두 번째 비앙키 항등식은 다음을 나타낸다. :\, D \Omega = 0.
## 예시: 레비치비타 접속
예를 들어, M이 리만 계량을 가진다고 가정하자. M 위에 벡터 다발 E가 있다면, 계량을 전체 벡터 다발로 확장할 수 있으며, 이를 다발 계량이라고 한다. 그러면 이 다발 계량과 호환되는 접속을 정의할 수 있으며, 이를 계량 접속이라고 한다. E가 접다발 TM인 특수한 경우, 계량 접속을 리만 접속이라고 한다. 리만 접속이 주어지면, 비틀림 없는 유일하고 동등한 접속을 항상 찾을 수 있다. 이것이 M의 접다발 TM 위의 레비치비타 접속이다.이 관점에서 레비치비타 접속에 대한 완전한 설명은 2011의 4장을 참조하시오.이 관점에서 레비치비타 접속에 대한 완전한 설명은 1999a의 II.7을 참조하시오. 접다발 위의 국소 틀은 벡터장 1=**e** = (ei ! i = 1, 2, ..., n)의 순서화된 목록으로, 1=n = dim M이고, 그 정의역의 모든 점에서 선형 독립적으로 M의 열린 부분집합에 정의된다. 크리스토펠 기호는 다음으로 레비치비타 접속을 정의한다. :\nabla_{e_i}e_j = \sum_{k=1}^n\Gamma_{ij}^k(\mathbf e)e_k. θ = 1=θi ! i = 1, 2, ..., n가 공변접다발의 쌍대 기저를 나타내어 θi(ej) = δij (크로네커 델타)를 만족한다면, 접속 형식은 다음과 같다. :\omega_i^j(\mathbf e) = \sum_k \Gamma^j{}_{ki}(\mathbf e)\theta^k. 접속 형식의 관점에서 벡터장 1=v = Σieivi에 대한 외적 접속은 다음으로 주어진다. : Dv=\sum_k e_k\otimes(dv^k) + \sum_{j,k}e_k\otimes\omega^k_j(\mathbf e)v^j. 이를 ei와 축약하여 일반적인 의미의 레비치비타 접속을 복구할 수 있다. : \nabla_{e_i} v = \langle Dv, e_i\rangle = \sum_k e_k \left(\nabla_{e_i} v^k + \sum_j\Gamma^k_{ij}(\mathbf e)v^j\right)
### 곡률
레비치비타 접속의 곡률 2-형식은 다음으로 주어진 행렬 (Ωij)이다. : \Omega_i{}^j(\mathbf e) = d\omega_i{}^j(\mathbf e)+\sum_k\omega_k{}^j(\mathbf e)\wedge\omega_i{}^k(\mathbf e). 간단화를 위해 틀 **e**가 홀로노믹이라고 가정하면 1=dθi = 0이다.비-홀로노믹 틀에서는 곡률 표현이 미분 dθi를 고려해야 한다는 사실 때문에 더욱 복잡해진다. 그러면, 반복되는 지표에 대한 아인슈타인 합 규약을 사용하여 :\begin{array}{ll} \Omega_i{}^j &= d(\Gamma^j{}_{qi}\theta^q) + (\Gamma^j{}_{pk}\theta^p)\wedge(\Gamma^k{}_{qi}\theta^q)\\\ &\\\ &=\theta^p\wedge\theta^q\left(\partial_p\Gamma^j{}_{qi}+\Gamma^j{}_{pk}\Gamma^k{}_{qi})\right)\\\ &\\\ &=\tfrac12\theta^p\wedge\theta^q R_{pqi}{}^j \end{array} 여기서 R은 리만 곡률 텐서이다.
### 비틀림
레비치비타 접속은 비틀림이 없는 접다발의 유일한 계량 접속으로 특징지어진다. 비틀림을 설명하기 위해 벡터 다발 E가 접다발이라는 점에 유의하자. 이는 접공간의 항등 자기동형 사상에 해당하는 1=Hom(TM, TM) = T∗M ⊗ TM의 단면인 정규 정규 1-형식 (특히 고전역학의 맥락에서는) θ를 가진다. 틀 **e**에서 납땜 형식은 1=θ = Σi ei ⊗ θi이며, 여기서 θi는 쌍대 기저이다. 접속의 비틀림은 1=Θ = Dθ로 주어지거나, 납땜 형식의 틀 성분으로 표현하면 다음과 같다. :\Theta^i(\mathbf e) = d\theta^i+\sum_j\omega^i_j(\mathbf e)\wedge\theta^j. 다시 간단화를 위해 **e**가 홀로노믹이라고 가정하면, 이 표현은 다음으로 축소된다. :\Theta^i = \Gamma^i{}_{kj} \theta^k\wedge\theta^j 이는 Γikj가 하위 지표에 대해 대칭일 때만 사라진다. 비틀림이 있는 계량 접속이 주어지면, 항상 비틀림이 없는 유일한 접속을 찾을 수 있으며, 이것이 레비치비타 접속이다. 리만 접속과 그에 관련된 레비치비타 접속의 차이는 비틀림 텐서이다.
# 구조 군
벡터 다발 E가 구조 군을 가질 때 더 구체적인 유형의 접속 형식을 구성할 수 있다. 이는 E에 대한 특정 부류의 틀 **e**를 지정하는 것으로, 이 틀들은 리 군 G에 의해 서로 관련된다. 예를 들어, E에 계량이 있는 경우, 각 점에서 정규 직교 기저를 형성하는 틀로 작업한다. 이 경우 구조 군은 틀의 정규 직교성을 보존하므로 직교군이다. 다른 예시는 다음과 같다. * 이전 섹션에서 고려한 일반적인 틀은 E의 올 차원이 k일 때 구조 군 GL(k)를 가진다. * 복소다양체 (또는 개복소다양체)의 정칙 접다발.Wells (1973). 여기서 구조 군은 GL2n(**R**) ⊂ GLn(**C**)이다.예를 들어 Kobayashi와 Nomizu, Volume II를 참조하시오. 에르미트 계량이 주어진 경우, 구조 군은 유니터리 틀에 작용하는 유니터리 군으로 축소된다. * 스핀 구조를 갖춘 다양체의 스피너. 틀은 스핀 공간의 불변 내적에 대해 유니터리하며, 군은 스핀 군으로 축소된다. * CR 다양체의 정칙 접다발.Chern과 Moser를 참조하시오. 일반적으로, 올 차원이 k이고 G ⊂ GL(k)가 **R**k의 일반 선형 군의 주어진 리 부분군인 벡터 다발 E가 있다고 하자. (eα)가 E의 국소 틀일 때, 행렬 값 함수 (gij): M → G가 eα에 작용하여 새로운 틀 :e_\alpha' = \sum_\beta e_\beta g_\alpha^\beta. 을 생성할 수 있다. 이러한 두 틀은 ***G*-관련**되어 있다. 비형식적으로, 벡터 다발 E는 국소적으로 서로 G-관련된 틀의 선호 부류가 지정되면 ***G*-다발의 구조**를 가진다. 형식적으로, E는 **R**k를 전형적인 올로 가지고 GL(k)의 부분군으로 G의 자연스러운 작용을 하는 구조 군 G를 가진 올다발이다.
## 호환 접속
접속은 E 위의 G-다발 구조와 호환되며, 이는 관련된 평행 운송 사상이 항상 한 G-틀을 다른 G-틀로 보낸다는 것을 의미한다. 형식적으로, 곡선 γ를 따라 다음이 국소적으로 (즉, 충분히 작은 t 값에 대해) 성립해야 한다. :\Gamma(\gamma)_0^t e_\alpha(\gamma(0)) = \sum_\beta e_\beta(\gamma(t))g_\alpha^\beta(t) 어떤 행렬 gαβ (t에 따라 달라질 수 있음)에 대해. t=0에서 미분하면 다음이 나온다. :\nabla_{\dot{\gamma}(0)} e_\alpha = \sum_\beta e_\beta \omega_\alpha^\beta(\dot{\gamma}(0)) 여기서 계수 ωαβ는 리 군 G의 리 대수 **g**에 속한다. 이 관찰에 따라 다음으로 정의되는 접속 형식 ωαβ는 :D e_\alpha = \sum_\beta e_\beta\otimes \omega_\alpha^\beta(\mathbf e) 1-형식 행렬 ωαβ(**e**)가 그 값을 **g**에 취할 때 **구조와 호환**된다. 호환 접속의 곡률 형식은 더욱이 **g**-값 2-형식이다.
## 틀의 변경
틀 변경 시 :e_\alpha' = \sum_\beta e_\beta g_\alpha^\beta 여기서 g는 M의 열린 부분집합에 정의된 G-값 함수이다. 접속 형식은 다음과 같이 변환된다. :\omega_\alpha^\beta(\mathbf e\cdot g) = (g^{-1})_\gamma^\beta dg_\alpha^\gamma + (g^{-1})_\gamma^\beta \omega_\delta^\gamma(\mathbf e)g_\alpha^\delta. 또는 행렬 곱을 사용하면 다음과 같다. :\omega({\mathbf e}\cdot g) = g^{-1}dg + g^{-1}\omega g. 이러한 각 항을 해석하려면 g : M → G가 G-값 (국소적으로 정의된) 함수임을 상기한다. 이를 염두에 두면 :\omega({\mathbf e}\cdot g) = g^*\omega_{\mathfrak g} + \text{Ad}_{g^{-1\omega(\mathbf e) 여기서 ω**g**는 군 G의 모러-카르탕 형식으로, 여기서는 함수 g를 따라 M로 당겨지고, Ad는 G의 리 대수에 대한 딸림표현이다.
# 주다발
지금까지 소개된 접속 형식은 특정 틀 선택에 따라 달라진다. 첫 번째 정의에서 틀은 단지 단면의 국소 기저이다. 각 틀에 대해 접속 형식은 한 틀에서 다른 틀로 넘어가는 변환 법칙과 함께 주어진다. 두 번째 정의에서 틀 자체는 리 군이 제공하는 추가 구조를 가지며, 틀 변경은 그 값을 취하는 것으로 제한된다. 샤를 에레스만이 1940년대에 개척한 주다발의 언어는 이러한 많은 접속 형식과 그것들을 연결하는 변환 법칙을 하나의 내재적 형식으로 단일 변환 규칙과 함께 구성하는 방법을 제공한다. 이 접근 방식의 단점은 형식이 더 이상 다양체 자체에 정의되지 않고 더 큰 주다발에 정의된다는 것이다.
## 접속 형식에 대한 주접속
E → M이 구조 군 G를 가진 벡터 다발이라고 가정하자. {U}를 M의 열린 덮개라고 하고, 각 U에 G-틀이 **e**U로 표시된다고 하자. 이들은 겹치는 열린 집합의 교집합에서 다음으로 관련된다. :{\mathbf e}_V={\mathbf e}_U\cdot h_{UV} U ∩ V에 정의된 G-값 함수 hUV에 대해. FGE를 M의 각 점에 걸쳐 취해진 모든 G-틀의 집합이라고 하자. 이것은 M 위의 주 G-다발이다. 자세히 말하면, G-틀이 모두 G-관련되어 있다는 사실을 이용하여 FGE는 열린 덮개의 집합 사이의 접합 데이터 측면에서 실현될 수 있다. :F_GE = \left.\coprod_U U\times G\right/\sim 여기서 동치 관계 \sim는 다음으로 정의된다. :((x,g_U)\in U\times G) \sim ((x,g_V) \in V\times G) \iff {\mathbf e}_V={\mathbf e}_U\cdot h_{UV} \text{ and } g_U = h_{UV}^{-1}(x) g_V. FGE 위에, 각 곱 U × G에 대해 **g**-값 1-형식을 지정하여 주접속을 다음과 같이 정의한다. 이는 겹치는 영역의 동치 관계를 존중한다. 먼저 다음을 정의하자. :\pi_1:U\times G \to U,\quad \pi_2 : U\times G \to G 는 사영 사상이다. 이제 (x,g) ∈ U × G 점에 대해 다음을 설정한다. :\omega_{(x,g)} = Ad_{g^{-1\pi_1^*\omega(\mathbf e_U)+\pi_2^*\omega_{\mathbf g}. 이러한 방식으로 구성된 1-형식 ω는 겹치는 집합 간의 전이를 존중하며, 따라서 주다발 FGE 위의 전역적으로 정의된 1-형식을 제공한다. ω는 FGE에 대한 오른쪽 G 작용의 생성자를 재현하고, T(FGE)에 대한 오른쪽 작용과 G의 딸림표현을 동변적으로 얽히게 한다는 의미에서 주접속임을 보일 수 있다.
## 주접속과 관련된 접속 형식
반대로, 주 G-다발 P→M의 주 G-접속 ω는 M 위의 접속 형식 모음을 생성한다. **e** : M → P가 P의 국소 단면이라고 가정하자. 그러면 **e**를 따른 ω의 당김은 M 위의 **g**-값 1-형식을 정의한다. :\omega({\mathbf e}) = {\mathbf e}^*\omega. G-값 함수 g로 틀을 변경하면, 라이프니츠 규칙과 딸림을 사용하여 ω(**e**)가 필요한 방식으로 변환되는 것을 볼 수 있다. :\langle X, ({\mathbf e}\cdot g)^*\omega\rangle = \langle [d(\mathbf e\cdot g)](X), \omega\rangle 여기서 X는 M 위의 벡터이고, d는 밀어내기를 나타낸다.
# 참고문헌
* Chern, S.-S., Topics in Differential Geometry, Institute for Advanced Study, mimeographed lecture notes, 1951. * * * * * * * * * 다양체 위키데이터 속성 추적 분류:미분기하학 분류:올다발 분류:접속 (수학) 분류:매끄러운 함수