에레스만 접속

미분기하학에서 **에레스만 접속**(Ehresmann接續, )은 임의의 올다발에서, 올의 원소를 주어진 곡선을 따라 "평행하게" 이동하는 방법을 제시하는 구조이다. 구체적으로, 올다발의 접다발에서, 밑공간과 평행한 방향으로 구성되는 부분 벡터 다발이다. 이를 통해 평행 운송과 홀로노미 및 곡률을 정의할 수 있지만, 단면에 대한 공변 미분 연산자를 정의할 수 없다. 벡터 다발의 코쥘 접속이나, 주다발의 주접속의 공통된 일반화이다.

## 정의
매끄러운 다양체 M 위의 매끄러운 올다발
:\pi\colon E\twoheadrightarrow M
이 주어졌다고 하고, E 및 E의 각 올이 매끄러운 다양체를 이룬다고 하자. 그렇다면 수직 벡터 다발 \mathrm VE\subseteq\mathrm TE를 정의할 수 있다.

이에 따라, 짧은 완전열
:0\to\mathrm VE\hookrightarrow\mathrm TE\;\overset{\pi^*\mathrm T\pi}\twoheadrightarrow\;\pi^*\mathrm TM\to0
이 존재한다. (여기서 \pi^*\mathrm T\pi\colon(e,u)\mapsto(e,\mathrm T\pi(u))이다.) 이는 (벡터 다발의 범주이므로) 물론 분할 완전열이지만, 이러한 분할은 (추가 데이터 없이) 표준적으로 주어지지 않는다. 에레스만 접속은 위 분할을 표준적으로 제시하는 데이터이다.

E 위의 **(에레스만) 접속**(Ehresmann接續, ) \iota\colon H\hookrightarrow\mathrm TE는 다음 조건을 만족시키는 \mathrm TE\twoheadrightarrow E의 매끄러운 부분 벡터 다발이다.
:\mathrm TE=H\oplus\mathrm VE
이는 1차 제트 다발 \mathrm J^1E\twoheadrightarrow E의 매끄러운 단면과 같다. 직관적으로, 에레스만 접속은 E의 접공간 \mathrm T_eE를 밑공간 M과 수직인 방향 \mathrm V_eE과 수평인 방향 H_e으로 분해한다. 밑방향와 수직인 방향은 에레스만 접속 없이도 정의할 수 있지만, 밑공간과 수평인 방향을 정의하려면 에레스만 접속이 필요하다.

에레스만 접속 H가 주어졌을 때, 다음과 같은 벡터 다발 사영을 정의할 수 있다.
:v\colon\mathrm TE\twoheadrightarrow\mathrm VE
:v\colon (h,u)\mapsto u\qquad\left(h\in\Gamma(H),\;u\in\Gamma(\mathrm VE)\right)
:0\to\mathrm VE\;\underset v\rightleftarrows\;\mathrm TE\;\overset{\pi^*\mathrm T\pi}{\underset\iota\rightleftarrows}\;\pi^*\mathrm TM\to0
즉,
:H=\ker v
가 된다. 이 경우, v를 에레스만 접속 H의 **접속 형식**(接續形式, )이라고 한다. v는 E 위의, \mathrm VE 값을 갖는 1차 미분 형식으로 간주할 수 있다.

### 곡률
올다발 \pi\colon E\twoheadrightarrow M 위의 에레스만 접속 \ker v의 **곡률 형식**(曲率形式, )은 다음과 같은, E 위의 \mathrm TE 값의 2차 미분 형식이다.
:R=\frac12[v\wedge v]\in \Omega^2(E,\mathrm TE)
여기서 [\wedge]는 \mathrm TE 값의 미분 형식 v\in\Omega^1(E,\mathrm TE)의 괄호이다.
곡률 형식이 0인 에레스만 접속을 **평탄 에레스만 접속**(平坦Ehresmann接續, )이라고 한다.

### 평행 운송

밑공간 M 위에 곡선 \gamma\colon [a,b]\to M이 주어졌다고 하고, M 위의 매끄러운 올다발 E 속에 에레스만 접속 H가 주어졌다고 하자. 그렇다면, 접속을 사용하여 올 사이의 **[[평행 운송]]**
:P(\gamma)\colon E_{\gamma(a)} \to E_{\gamma(b)}
을 정의할 수 있다.

## 예
올다발에 벡터 다발이나 주다발과 같은 추가 구조가 주어질 경우, 이들 구조와 호환되는 특수한 접속들을 정의할 수 있다. 반대로, 에레스만 접속의 개념은 벡터 다발이나 주다발 위의 접속의 개념의 일반화이다.

### 주접속

리 군 G에 대하여, \pi\colon E\twoheadrightarrow M가 G-주다발이라고 하자. 이 경우, 수직 벡터 다발 VE는 리 대수 \mathfrak g=T_1G에 대한 자명한 벡터 다발과 동형이다.
:\mathrm VE\cong \mathfrak g\times E
따라서, E 위의 에레스만 접속 형식 v\colon\mathrm TE\twoheadrightarrow\mathrm VE는 \mathfrak g 값의 1차 미분 형식이 된다. 만약 v가 G의 작용과 호환된다면, 이는 주다발 E의 주접속을 이룬다.

### 코쥘 접속

E가 벡터 다발이라고 하자. 이 경우, 수직 벡터 다발 \mathrm VE는 표준적으로 다발의 당김 \pi^*E와 동형이다. E 위의 에레스만 접속 \ker v가 주어졌다고 하자. E의 매끄러운 단면 s\in\Gamma(E)는 함수
:s\colon M\to E
로 생각할 수 있으며, 따라서 그 미분
:\mathrm ds\colon\mathrm TM\to TE
를 정의할 수 있다. 여기에
:v\colon\mathrm TE\to\mathrm VE\cong\pi^*E
를 합성하자.
:v\circ\mathrm ds\colon\mathrm TM\to \pi^*E
만약 v\colon\mathrm TM\to\mathrm TE가 선형이라면 (즉, 벡터 다발의 사상이라면), v\circ ds 역시 벡터 다발의 사상이 되며,
:\nabla\colon\Gamma(E)\to\Gamma(\mathrm T^*M\otimes E)
:\nabla\colon s\mapsto v\circ\mathrm ds
는 벡터 다발의 코쥘 접속을 이룬다. 반대로, E 위의 코쥘 접속 \nabla가 주어졌을 때,
:H_e=\{\mathrm ds_{\pi(e)}(T_{\pi(e)}M)\colon s\in\Gamma(E),\;s(\pi(e))=e,\;\nabla s=0\}
로 정의하면 H는 에레스만 접속을 이룬다.

### 카르탕 접속

E\twoheadrightarrow M가 동차공간 G/H를 올로 하는 올다발이라고 하고, 또 G/H에서 0의 잉여류에 해당하는 매끄러운 단면 s\in\Gamma(E)이 주어졌다고 하자.

E 위의 에레스만 접속 \ker v가 다음 두 조건을 만족시킨다고 하자.
* 국소적 자명화를 잡았을 때, 임의의 곡선 \gamma\colon[0,1]\to M에 대하여, 평행 운송 T_{\gamma(0)}M\to T_{\gamma(1)}M은 어떤 g\in G의 작용으로 주어진다.
*임의의 x\in M에 대하여, s^*v\colon T_xM\to  V_{s(x)}E는 벡터 공간의 동형이다.
그렇다면 이는 M 위의 G/H-올다발 위의 카르탕 접속의 개념과 동치이다.

## 역사
역사적으로 접속은 리만 기하학에서 무한소적 관점으로 다루어졌다. 이는 일정 부분 엘빈 브루노 크리스토펠의 연구로 시작되었으며, 나중에 그레고리오 리치쿠르바스트로와 툴리오 레비치비타가 크리스토펠이 사용한 의미의 접속을 이용하면 평행 운송의 개념을 만들 수 있음을 발견하면서 보다 큰 관심을 받게 되었다.

레비치비타는 접속을 일종의 미분 작용소로, 평행 운송을 미분 방정식의 해로 보았다. 20세기에 엘리 카르탕은 미분 형식의 기술을 펠릭스 클라인의 에를랑겐 프로그램에 적용하려고 하면서 접속의 새로운 개념을 개발해냈다. 그는 자신의 카르탕 접속이 고전적인 에를랑겐 기하학에는 존재하지 않는 곡률의 개념을 제공한다는 것을 알아차렸다. 뿐만 아니라 카르탕은 장 가스통 다르부의 동역학을 이용해 평행 운송을 카르탕 접속에 대해 일반화시키고, 이를 통해 접속을 미분형식의 한 종류로 보는 새로운 흐름이 나타났다.

1950년에 장루이 코쥘은 벡터 다발의 코쥘 접속의 현대적인 정의를 제시하였다. 같은 해에 카르탕의 제자 샤를 에레스만()은 임의의 올다발 위의 에레스만 접속의 개념을 도입하였다.

## 각주

* 
* 

## 외부 링크
* 
* 
* 
* 
*