폰트랴긴 쌍대성

조화해석학과 위상군론에서 **폰트랴긴 쌍대성**(Понтрягин雙對性, )은 국소 콤팩트 아벨 군 사이의 쌍대성이다. 이는 일반적으로 국소 콤팩트 아벨 군 위에 정의된 함수의 푸리에 변환이 다른 국소 콤팩트 아벨 군 위에 정의된 함수라는 사실에서 기인한다.

## 정의
하우스도르프 국소 콤팩트 아벨 위상군 G가 주어졌을 때, G에서 원군(circle group) U(1)로 가는 연속 군 준동형 사상 \gamma: G \to U(1)를 G의 **지표**()로 정의한다. G의 지표들은 모든 점에서의 곱셈(pointwise product)을 통해 군을 이루는데, 이를 G의 **지표군**() \hat G이라고 정의한다. 지표군은 아벨 군이며, 여기에 콤팩트-열린집합 위상을 주면 \hat G은 국소 콤팩트 아벨 위상군을 이룬다.

지표군의 지표군 \hat{\hat G}\cong G은 원래 군과 동형임을 보일 수 있다. 구체적인 동형사상 \iota\colon G\to\hat{\hat G}은 다음과 같다.
:\iota\colon g\mapsto(\gamma\mapsto\gamma(g))
따라서, 국소 콤팩트 아벨 군과 그 지표군이 서로 쌍대 관계를 이루는 것을 알 수 있다. 이를 **폰트랴긴 쌍대성**이라고 한다.

## 성질
폰트랴긴 쌍대성 아래, 하우스도르프 아벨 위상군에 대하여 다음 조건들이 서로 쌍대이다. 다시 말해, G가 왼쪽 조건을 만족시킨다는 것과 \hat G이 오른쪽 조건을 만족시킨다는 것이 서로 동치이다.
:
물론, \hat{\hat G}\cong G이므로 위 조건을 맞바꿀 수 있다.

이 표는 다음과 같이 범주의 동치로도 적을 수 있다.
:\operatorname{HausLocCompAb}^{\operatorname{op}}\simeq\operatorname{HausLocCompAb}
:\operatorname{HausCompAb}^{\operatorname{op}}\simeq\operatorname{Ab}
:\vdots
여기서 \operatorname{HausLocCompAb}는 하우스도르프 국소 콤팩트 아벨 위상군과 연속 군 준동형의 범주이며, \operatorname{HausCompAb}는 하우스도르프 콤팩트 아벨 위상군과 연속 군 준동형의 범주이며, \operatorname{Ab}는 아벨 군의 범주이다. (모든 아벨 군에는 자명하게 이산 위상을 줄 수 있으며, 두 이산 공간 사이의 임의의 함수는 항상 연속 함수이다.)

## 푸리에 변환

국소 콤팩트 아벨 위상군 위에서 푸리에 변환을 정의하면 그 결과는 폰트랴긴 쌍대군 위에서의 함수로 나타나게 된다.

우선 국소 콤팩트 아벨 위상군 G 위에 하르 측도 \mu를 정의한다. (만약 G가 콤팩트하지 않다면, 하르 측도 \mu의 크기를 골라야 한다.)

그렇다면, G 위의 적분 가능 함수 f\in L^1(G)의 **푸리에 변환** \hat f\colon\hat G\to\mathbb C은 다음과 같다. 모든 \hat g\in\hat G에 대하여,
:\hat f(\hat g)=\int_Gf(g)\overline{\hat g(g)}\,d\mu(g)
마찬가지로, \hat f\in L^1(\hat G)의 **역 푸리에 변환**은 다음과 같다.
:f(g)=\int_{\hat G}\hat f(\hat g)\hat g(g)\,d\hat\mu(\hat g)
여기서 \hat\mu은 쌍대군 \hat G 위에 정의된 하르 측도이다. 역 푸리에 변환이 푸리에 변환의 역이 되게 하는 \hat\mu는 G의 측도 \mu에 의해 유일하게 결정되는데, 이를 \mu의 **쌍대 측도**()라고 한다.

콤팩트 군의 경우, 통상적으로 군의 부피가 1이 되게 (\operatorname{vol}(G)=1) 하는 측도를 사용하며, 이산군의 경우 이산 측도를 사용한다. 콤팩트성과 이산성은 서로 쌍대적이며, 군의 부피가 1이 되는 측도의 쌍대 측도는 이산 측도이다. 콤팩트 이산군이라면 두 측도 다 정의되며, 이는 (자명군을 제외하면) \#G배만큼 다르다. 예를 들어, 순환군 \mathbb Z/n의 경우, 군의 부피가 1이 되게 정의하면 \mu(S)=\#S/n이지만, 이산 측도는 \mu(S)=\#S이다.

보다 일반적으로, 조절 분포를 (슈바르츠 함수의 일반화인) 를 사용하여 정의할 수 있다.

## 예
다음과 같은 폰트랴긴 쌍대군들이 존재한다.
:

따라서, U(1) 위에 정의된 함수의 푸리에 변환은 ℤ 위에 정의된 함수(수열)이다. 이는 주기함수의 푸리에 급수에 해당한다. 또한, 순환군 위에 정의된 함수의 푸리에 변환은 이산 푸리에 변환에 해당한다.

### 유한 아벨 군의 폰트랴긴 쌍대군
순환군 \mathbb Z/n\mathbb Z의 폰트랴긴 쌍대군은 \tfrac1n\mathbb Z/\mathbb Z이며, 이는 물론 원래 군과 동형이다. 이 경우 폰트랴긴 쌍대성에 의하여 존재하는 군 준동형은 다음과 같다.
:(\mathbb Z/n\mathbb Z)\times(\tfrac1n\mathbb Z/\mathbb Z)\to\operatorname U(1)=\{z\in\mathbb C\colon|z|=1\}
:([a],[b])\mapsto\exp(2\pi iab)
모든 유한 아벨 군은 순환군들의 직합으로 나타낼 수 있으므로, 모든 유한 아벨 군의 쌍대군은 순환군들로 분해한 뒤 각 성분을 위와 같이 쌍대화하여 얻을 수 있다.

### 유한 차원 실수 벡터 공간의 폰트랴긴 쌍대군
V가 표준적인 위상을 갖춘 실수 위의 유한 차원 벡터 공간이라고 하면, 그 덧셈군의 폰트랴긴 쌍대군은 쌍대 공간 V^*의 덧셈군이다. 이 경우 V와 V^* 사이에는 동형이 존재하지만, 이는 표준적이지 않다. 구체적으로, 폰트랴긴 쌍대성은 다음과 같다.
:V\times V^*\to\operatorname U(1)=\{z\in\mathbb C\colon|z|=1\}
:(u,v)\mapsto\exp(2\pi iu\cdot v)

무한 차원 실수 벡터 공간은 일반적으로 국소 콤팩트 공간이 아니므로 해당되지 않는다. 마찬가지로, 예를 들어 유리수 위의 벡터 공간의 경우, 유리수의 표준적 (실수 부분 집합으로의) 위상을 잡으면 국소 콤팩트 공간이 되지 않는다.

### p진수의 폰트랴긴 쌍대군
유리수의 각 위치 \nu\in\{0,2,3,5,7,\dots\}에 대하여, 다음과 같은 위상 아벨 군의 짧은 완전열이 존재한다.
:0\to\mathbb Z_\nu\to\mathbb Q_\nu\to\mathbb Q_\nu/\mathbb Z_\nu\to0
여기서 \nu=0일 경우, 이 완전열은 무한 순환군과 원군을 다음과 같이 연결한다.
:0\to\mathbb Z\to\mathbb R\to\mathbb R/\mathbb Z=\operatorname U(1)\to0
\nu=p일 경우, 이 완전열은 p진 정수와 프뤼퍼 군을 연결한다.
:0\to\mathbb Z_p\to\mathbb Q_p\to\mathbb Q_p/\mathbb Z_p=\mathbb Z(p^\infty)\to0
이 완전열은 폰트랴긴 쌍대성에 대해서 대칭이다. 다시 말해, 가운데 원소 \mathbb Q_\nu는 스스로의 폰트랴긴 쌍대군과 동형이며, \mathbb Z_\nu와 \mathbb Q_\nu/\mathbb Z_\nu는 서로 폰트랴긴 쌍대이다.

### 수체의 폰트랴긴 쌍대군
유리수의 덧셈군에, (실수의 부분 공간으로서의) 표준 위상을 부여하면 이는 국소 콤팩트 공간을 이루지 않지만, 대신 이산 위상을 부여하면 이는 국소 콤팩트 공간을 이룬다. 이산 위상을 부여한 유리수 덧셈군의 폰트랴긴 쌍대군은 유리수의 아델 환 \mathbb A_{\mathbb Q}의 덧셈군의 몫군 \mathbb A_{\mathbb Q}/\mathbb Q이다. 구체적으로, 이는 아델 환
:\mathbb A_{\mathbb Q}=\mathbb R\times\operatorname{\prod'}_p\mathbb Q_p
에서, 대각선 포함 사상
:\mathbb Q\hookrightarrow\mathbb A_{\mathbb Q}
:q\mapsto(q,q,q,\dots)
에 대한 몫환이다. 보다 일반적으로, 대수적 수체 K/\mathbb Q의 덧셈군에 이산 위상을 주었을 때, 그 폰트랴긴 쌍대군은
:\hat K\cong\mathbb A_K/K
이다. 즉, 짧은 완전열
:0\to K\to\mathbb A_K\to\mathbb A_K/K\to0
은 폰트랴긴 쌍대성에 대하여 대칭이다.

## 역사
레프 폰트랴긴이 1934년에 도입하였다. 에흐베르튀스 판 캄펀 (1935)과 앙드레 베유 (1940)가 이를 일반적인 국소 콤팩트 아벨 군에 대하여 확장하였다.

이후, 1950년에 존 테이트가 박사 학위 논문에서 유체론을 사용하여 아델 환 및 대수적 수체의 폰트랴긴 쌍대성을 분석하였고, 이와사와 겐키치도 독자적으로 사실상 같은 이론을 거의 동시에 개발하였다. 이 이론을 **테이트 학위 논문**() 또는 **테이트-이와사와 이론**()이라고 한다.

## 같이 보기
* 페터-바일 정리
## 각주

## 외부 링크
* 
* 
* 
* 
* 
* 
* 

분류:위상군
분류:조화해석학
분류:쌍대성이론
분류:해석학 정리
분류:푸리에 해석학