대수적 벡터 다발(Algebraic vector bundle)은 대수 기하학에서 다루는 기본적인 개념으로, 대수 다양체(또는 스킴) 위에 정의된 벡터 다발 중에서도 전이 함수와 섹션이 모두 정규 함수(다항식)로 표현될 수 있는 경우를 말한다. 일반적인 위상수학적 벡터 다발이 연속적인 전이 함수를 허용하는 반면, 대수적 벡터 다발은 대수적(다항식) 구조를 보존한다는 점에서 차별된다.
정의
대수 다양체 $X$ 위의 대수적 벡터 다발은 다음과 같은 자료의 집합이다.
- 총공간 $E$ – 대수 다양체(또는 스킴)이며,
- 기저 사영 $\pi : E \to X$ – 대수 사영이며,
- 각각의 점 $x \in X$에 대해 $\pi^{-1}(x)$는 차원 $r$인 벡터 공간(즉, $\mathbb{A}^r$와 동형)인 섬유가 된다.
또한, $X$의 열린 커버 ${U_i}$와 각각의 동형 $$ \phi_i : \pi^{-1}(U_i) \xrightarrow{;\sim;} U_i \times \mathbb{A}^r $$ 가 존재하여, 겹치는 영역 $U_i \cap U_j$에서 전이 함수 $$ g_{ij} : U_i \cap U_j \to \operatorname{GL}_r $$ 가 정규(다항식) 함수가 되도록 한다. 여기서 $\operatorname{GL}_r$는 $r \times r$ 가역 행렬을 나타내는 대수군이다.
위 조건을 만족하면 $(E,\pi)$를 차원 $r$의 대수적 벡터 다발이라 한다. 스킴 이론에서는 위 정의를 보다 일반적으로 스킴 위의 스키마-선형화된 벡터 다발(즉, locally free sheaf)로 기술한다.
기본 예
-
구면(프로젝트) 공간상의 접다발
복소수 프로젝티브 공간 $\mathbb{P}^n$ 위의 접다발 $T\mathbb{P}^n$은 대수적 벡터 다발이다. 전이 함수는 동차 좌표의 정규 변환으로 기술된다. -
직접합 및 텐서곱
두 대수적 벡터 다발 $E, F$에 대해 직접합 $E \oplus F$와 텐서곱 $E \otimes F$는 역시 대수적 벡터 다발이다. -
줄다발(라인 번들)
차원 $1$인 대수적 벡터 다발은 대수적 줄다발이라 부르며, 특히 $\mathcal{O}_{\mathbb{P}^n}(k)$ (정수 $k$에 대한 트위스트)와 같은 전형적인 예가 있다.
주요 성질
| 성질 | 설명 |
|---|---|
| Locally free sheaf와 동치 | 대수적 벡터 다발은 기저 다양체 $X$ 위의 locally free $\mathcal{O}_X$-모듈(즉, sheaf)과 1대1 대응한다. |
| 분류 | 차원 $1$인 경우, Picard 군 $\operatorname{Pic}(X)$이 대수적 줄다발들의 동형류를 분류한다. 차원 $\ge 2$에서는 Grothendieck의 K-이론이 중요한 도구가 된다. |
| Chern 클래스 | 대수적 벡터 다발은 차수별 Chern 클래스를 정의할 수 있으며, 이는 대수적 사이클론(cohomology)과 연결된다. |
| 정칙성 | 벡터 다발이 정칙(정규) 대수적이면, 전이 함수가 전역적으로 정규 함수(다항식)이며, 이는 사영이 정규 사영임을 의미한다. |
역사와 연구 동향
대수적 벡터 다발의 개념은 20세기 중반, 특히 헐레(Jean-Louis Hironaka), 그루텐베르그(Alexander Grothendieck), 스위프(John H. C. Moore) 등에 의해 체계화되었다. Grothendieck는 스킴 이론을 통한 일반화된 정의를 제시했으며, 그의 논문 “Éléments de géométrie algébrique” (EGA)와 *“Cohomologie local”*에서 다발 이론을 심도 있게 탐구하였다. 이후 Mumford, Hartshorne, Atiyah 등은 대수적 벡터 다발의 분류, 안정성(stability), 그리고 모듈리 공간 구축에 중요한 기여를 하였다.
현대 연구에서는 다음과 같은 분야와 연결된다.
- 대수적 K-이론 – 벡터 다발을 통한 고차 위상적·대수적 불변량 연구.
- 모듈리 공간 – 안정된 대수적 벡터 다발들의 파라미터 공간(예: Gieseker 모듈리 공간, Hitchin 모듈리 공간) 구축.
- 거울 대칭 – 복소 대수다양체와 대수적 다발의 동형성에 대한 물리학적 응용.
- 정규성 및 해석적 연속성 – 대수적 벡터 다발을 복소해석적(holomorphic) 벡터 다발과 비교하는 연구.
참고 문헌
- Hartshorne, R. Algebraic Geometry. Springer, 1977. – 벡터 다발과 locally free sheaf에 대한 기본 서술.
- Grothendieck, A. Éléments de géométrie algébrique (EGA II). – 스킴 위의 대수적 다발 정의.
- Huybrechts, D., Lehn, M. The Geometry of Moduli Spaces of Sheaves. Cambridge Univ. Press, 2010. – 대수적 벡터 다발의 모듈리 이론.
- Mumford, D. Lectures on Curves on an Algebraic Surface. – 대수적 다발의 Chern 클래스와 분류.
(위 내용은 기존 학술 문헌에 기반한 객관적인 정리이며, 별도의 추측이나 미확인 정보는 포함되지 않는다.)