미분기하학에서 납땜(영어: soldering)은 올다발의 수직 벡터 다발과 올다발의 밑공간의 접다발 사이의 동형 사상이다. 이를 통해, 올다발의 올들이 "수평 방향"으로 붙어 있다고 간주할 수 있다.
다음 데이터가 주어졌다고 하자.
- 매끄러운 다양체
![{\displaystyle M}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AyjdDoqvBytG5ygzBnjmOnAvCajG3atdBzqoQoNmPzti3ztFFagvC)
- 매끄러운 올다발
. 또한,
역시 다양체라고 하자.
그렇다면,
의 납땜
은 다음과 같은 데이터로 주어진다.
- 매끄러운 단면
![{\displaystyle o\in \Gamma (E)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80yga1othBngrCo2a3zArFajBEo2hEzqhAa2iQzNsNyqrFajK0ytBA)
- 매끄러운 벡터 다발의 동형
. 여기서
는
의 수직 벡터 다발이며,
는 벡터 다발의 당김이다.
이에 따라,
는 다음과 같은,
값의 1차 미분 형식으로 여길 수 있다.
![{\displaystyle \theta \in \Omega ^{1}(M;o^{*}\mathrm {V} E)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9CatK4oqhCatG5aqi2aNi3nDa3aqrCajK4zjmNzDhFoNw4nqwQyqzF)
이를 납땜 형식(-形式, 영어: solder form)이라고 한다.
만약
가 이미 매끄러운 벡터 다발이라면, 그 위의 납땜을 보통 암묵적으로
가
이 되게 잡는다.
다양체
위의 매끄러운 올다발
위에 납땜이 존재할 필요 조건은
인 것이다.
다양체
위의 접다발
은 자명한 납땜 형식을 갖는다. (이 경우
이다.)
매끄러운 다양체
위의 일반화 리만 계량
은, 공변접다발
위의 납땜
가운데 다음 조건을 만족시키는 것과 사실상 동치인 개념이다.
이며, 임의의
및
에 대하여 ![{\displaystyle \theta (u)(v)=\theta (v)u}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85ztBCntrBz2a1zti4zAa5nDa0nDhDzgi4yjlDzqnFaAhBoDa3a2rF)
위 조건은 일반화 리만 계량의 대칭성을 나타내며, 일반화 리만 계량의 비퇴화성은
가 벡터 다발의 동형이어야 한다는 것에 해당한다.
구체적으로, 일반화 리만 계량
는 벡터 다발의 동형
![{\displaystyle \theta \colon \mathrm {T} M\to \mathrm {T} ^{*}M}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82zjJAytrDnDaPags0atBFzqa1ajo3a2dFygaQajvFngi4ajhFnAoQ)
![{\displaystyle \theta \colon (x,v)\mapsto \left(x,g(v,-)\right)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DoNKOaga1nqaNngePzjC3zNC0oNm0yjhBotC4otvAaqw0nAe1ags5)
을 정의한다. 반대로, 위 조건을 만족시키는 납땜
이 주어졌을 때, 일반화 리만 계량
![{\displaystyle g(u,v)=\left(\theta (u)\right)(v)=\left(\theta (v)\right)(u)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81zgi1yqw3oqw4njvFotCNzjvCoAhEzgo5ajvAnjBFyjG2zAs2nge1)
를 정의할 수 있다.
심플렉틱 다양체
가 주어졌다고 하자. 그렇다면, 다발 사상
![{\displaystyle \mathrm {T} M\to \mathrm {T} ^{*}M}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DaDFFoAdDo2vCotGNoAi4oDlFajdDaNCQnAs1nqoPajvDzqrAngnA)
![{\displaystyle (x,v)\mapsto (x,\omega (v,-))}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9CztKPa2hCngvAzDm4oAo2oAwNaqo3zjhAaNs0njiOz2s2ajiPoNzA)
은 공변접다발
위의 납땜을 정의한다.
다음 데이터가 주어졌다고 하자.
- 매끄러운 다양체
![{\displaystyle M}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AyjdDoqvBytG5ygzBnjmOnAvCajG3atdBzqoQoNmPzti3ztFFagvC)
- 리 군
![{\displaystyle G}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AzqoNoNG5aDhFa2eNztdCntw1zjw2oto3yjBEatm0zjs4oNBAytlE)
-매끄러운 주다발 ![{\displaystyle P}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9EzgvDzNzEnDwQaNi0ytw1nAoNzNnEnja2aNCPzAi3aNG1zjFCzjlF)
의 매끄러운 유한 차원 실수 표현 ![{\displaystyle \rho \colon V\to \operatorname {GL} (V;\mathbb {R} )}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO84aArBagi4oNaQnDJEzqoPnqwQntnBzDFFaDm3zjdDotlBnqdFzte5)
이 경우, 연관 벡터 다발
를 구성할 수 있다. 이 경우,
위의 납땜은 각
에 대하여 동형 사상
![{\displaystyle \theta _{x}\colon \mathrm {T} _{x}M\to P\times _{G}V}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85yga1oNJDz2w0yqa0zDe2otKOzDs1aAvCoNC2oNmNa2vDnDlBntC0)
로 주어진다.
즉, 이 경우 납땜 형식
는
-등변
값 1차 미분 형식
![{\displaystyle \theta \in \Omega ^{1}(P;{\mathfrak {g}})}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9CztdCoNw2oqwNzAhEotzBaDs1oqiPagi5ajJCaDG1njw0otJBa2rB)
가운데,
인 것이다. 특히,
는 수평 미분 형식이다.[1]:§5.1
이 경우,
를
위의
-구조(
-構造, 영어:
-structure)라고 한다.[1]:§5.1[2]
만약 추가로
가 충실한 표현(즉, 단사 함수)일 경우, 이 경우
는 1차 틀다발
의 부분 주다발이 된다. 구체적으로,
에 대응하는 틀은 다음과 같다.
![{\displaystyle v\mapsto \theta _{\pi (x)}^{-1}([(p,v)])\qquad (v\in V)}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81zgvAotw4nDaNzNdCoNs3o2wOzqa0z2zEnjFAaNmPzga4ztCNoNs5)
매끄러운 다양체
위의 매끄러운 주다발
의 납땜
의 개념은 자명하다. 이는 단면
의 존재에 따라
가 대역적으로 자명한 주다발
이 되며,
이므로 이에 따라
![{\displaystyle \mathrm {T} M\cong M\times {\mathfrak {g}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83zDs1aja0atGPaAvAoDJCajG0z2nAoqwPyghEzts3zjzDyqdEztnF)
가 되기 때문이다. 즉, 접다발
역시 자명한 벡터 다발이 된다.
이 때문에, 보통 "주다발 위의 납땜"은 사실 그 위의 어떤 연관 벡터 다발 위의 납땜을 뜻한다.