코쥘 접속

위키백과, 우리 모두의 백과사전.
(아핀 접속에서 넘어옴)
이동: 둘러보기, 검색
위의 아핀 접속은 접평면을 한 점의 표면에서 다른 점의 표면으로 밀어 옮기는 과정으로 이해할 수 있다.

미분기하학에서, 코쥘 접속(Koszul接續, 영어: Koszul connection)은 벡터 다발의 각 올들을 이어붙여, 벡터장의 미분을 정의할 수 있게 하는 구조이다.

정의[편집]

매끄러운 다양체 위의 매끄러운 실수 벡터 다발 이 주어졌다고 하자. 매끄러운 단면들의 실수 벡터 공간라고 하자.

위의 (코쥘) 접속 또는 공변 미분(共變微分, 영어: covariant derivative)은 다음 조건을 만족시키는 선형 변환

이다.

  • (곱규칙) 임의의 매끄러운 함수 매끄러운 단면 에 대하여,

여기서 공변접다발이며, 외미분으로 얻은 1차 미분 형식이다. 이는 일반적 올다발 위의 에레스만 접속의 개념의 특수한 예이며, 접속이 벡터 다발의 선형 구조와 호환되는 경우이다.

위의 아핀 접속(affine接續, 영어: affine connection)은 그 접다발 위의 코쥘 접속이다. 아핀 접속을 갖춘 매끄러운 다양체아핀 다양체(affine多樣體, 영어: affine manifold)라고 한다.

임의의 벡터장 에 대하여,

를 정의할 수 있다. 이를 의 단면의 방향의 공변 미분이라고 한다.

곡률[편집]

벡터 다발 위의 코쥘 접속 곡률(曲率, 영어: curvature) 는 다음과 같이 정의되는, 값의 2차 미분 형식이다.

여기서 는 벡터장의 리 미분이다. 이는 일반적 올다발 위의 에레스만 접속의 곡률의 특수한 경우이다.

곡률이 0인 코쥘 접속을 평탄 코쥘 접속(영어: flat Koszul connection)이라고 한다.

아핀 접속의 곡률은 리만 곡률이라고 하며, 이는 (3,1)-텐서장으로 여길 수 있다. 또한, 아핀 접속 의 경우, 곡률과 더불어 비틀림(영어: torsion)을 정의할 수 있다. 비틀림 은 다음과 같다.

비틀림은 (2,1)-텐서장으로 여길 수 있다.

평행 운송[편집]

코쥘 접속은 에레스만 접속의 특수한 경우이므로, 평행 운송(영어: parallel transport)을 정의할 수 있다. 구체적으로, 다음과 같은 데이터가 주어졌다고 하자.

  • 벡터 다발
  • 매끄러운 단면
  • 위의 접속
  • 매끄러운 곡선

만약

이 성립한다면, 평행 단면이라고 한다. 이는 단면의 당김 의, 당겨진 접속 에 대한 공변 미분이 0이라는 것과 동치이다.

이 경우, 의, 곡선 를 따른 평행 운송이라고 한다. 평행 운송은 선형 변환

으로 생각할 수 있으며, 이는 벡터 공간의 동형을 이룬다. 이와 같이, 코쥘 접속은 의 각 올공간들을 (주어진 경로에 따라) "이어붙이는" 것을 알 수 있다.

성질[편집]

국소성[편집]

공변 미분 의, 에서의 값은 근방의 값에만 의존한다.

벡터 다발 위의 두 코쥘 접속 , 이 주어졌다고 하자. 그렇다면,

는 매끄러운 다발 사상을 이룬다. 즉, 에서의 값은 에만 의존한다.

당김[편집]

다음과 같은 데이터가 주어졌다고 하자.

  • 매끄러운 다양체 ,
  • 그 사이의 매끄러운 함수
  • 위의 벡터 다발
  • 위의 코쥘 접속

그렇다면, 를 통해 위의 당김 다발 를 정의할 수 있다. 이 위에 당김 접속

은 다음 조건을 만족시키는 유일한 코쥘 접속이다.

여기서 으로의 밂(영어: pushforward)이다.

[편집]

자명한 벡터 다발 위의 접속[편집]

매끄러운 다양체 위에 자명한 벡터 다발 이 주어졌다고 하자. 기저라고 하자. 그렇다면, 의 단면은 매끄러운 함수로 생각할 수 있다.

이 경우, 위의 모든 코쥘 접속은 다음과 같은 꼴이다.

여기서

1차 미분 형식 정사각 행렬이며,

의 각 벡터 성분에 대한 외미분이다. 이 경우,

접속 형식(接續形式, 영어: connection form)이라고 한다. 만약 접속 형식이 0이라면, 코쥘 접속은 평탄 코쥘 접속을 이룬다.

보다 일반적으로, 임의의 벡터 다발의 경우 국소적 자명화를 (비표준적으로) 잡을 수 있으며, 위와 같이 접속 형식을 정의할 수 있다. 물론 이는 선택한 국소적 자명화에 의존하며, 또 일반적으로 대역적으로 정의될 수 없다.

레비치비타 접속[편집]

일반화 리만 다양체 위에는 리만 계량으로부터 레비치비타 접속이라는 아핀 접속을 표준적으로 정의할 수 있다.

역사[편집]

아핀 접속의 개념은 19세기의 기하학 및 텐서 미적분학 등에서 유래하였다. 1920년대 초에 엘리 카르탕카르탕 접속 이론의 일부로서 아핀 접속의 개념을 체계적으로 개발하였고, 이와 동시에 헤르만 바일일반 상대성 이론의 수학적 기초를 위하여 접속 이론을 개발하였다. "접속"이라는 용어 역시 카르탕이 도입하였다.

1950년에 장루이 코쥘접다발 위의 아핀 접속의 개념을 일반화하여, 임의의 벡터 다발 위의 코쥘 접속의 현대적인 정의를 제시하였다.[1]

참고 문헌[편집]

  1. Koszul, J. L. (1950). “Homologie et cohomologie des algebres de Lie”. 《Bulletin de la Société Mathématique》 (프랑스어) 78: 65–127. Zbl 0039.02901. 

바깥 고리[편집]

같이 보기[편집]