폰트랴긴 쌍대성

조화해석학과 위상군론에서 폰트랴긴 쌍대성(Понтрягин雙對性, )은 국소 콤팩트 아벨 군 사이의 쌍대성이다. 이는 일반적으로 국소 콤팩트 아벨 군 위에 정의된 함수의 푸리에 변환이 다른 국소 콤팩트 아벨 군 위에 정의된 함수라는 사실에서 기인한다.
정의.
하우스도르프 국소 콤팩트 아벨 위상군 formula_1가 주어졌을 때, formula_1에서 원군(circle group) formula_3로 가는 연속 군 준동형 사상 formula_4를 formula_1의 지표()로 정의한다. formula_1의 지표들은 모든 점에서의 곱셈(pointwise product)을 통해 군을 이루는데, 이를 formula_1의 지표군() formula_8이라고 정의한다. 지표군은 아벨 군이며, 여기에 콤팩트-열린 집합 위상을 주면 formula_8은 국소 콤팩트 아벨 위상군을 이룬다.
지표군의 지표군 formula_10은 원래 군과 동형임을 보일 수 있다. 구체적인 동형사상 formula_11은 다음과 같다.
따라서, 국소 콤팩트 아벨 군과 그 지표군이 서로 쌍대 관계를 이루는 것을 알 수 있다. 이를 폰트랴긴 쌍대성이라고 한다.
성질.
폰트랴긴 쌍대성 아래, 하우스도르프 아벨 위상군에 대하여 다음 조건들이 서로 쌍대이다. 다시 말해, formula_1가 왼쪽 조건을 만족시킨다는 것과 formula_8이 오른쪽 조건을 만족시킨다는 것이 서로 동치이다.
물론, formula_10이므로 위 조건을 맞바꿀 수 있다.
이 표는 다음과 같이 범주의 동치로도 적을 수 있다.
여기서 formula_19는 하우스도르프 국소 콤팩트 아벨 위상군과 연속 군 준동형의 범주이며, formula_20는 하우스도르프 콤팩트 아벨 위상군과 연속 군 준동형의 범주이며, formula_21는 아벨 군의 범주이다. (모든 아벨 군에는 자명하게 이산 위상을 줄 수 있으며, 두 이산 공간 사이의 임의의 함수는 항상 연속 함수이다.)
푸리에 변환.
국소 콤팩트 아벨 위상군 위에서 푸리에 변환을 정의하면 그 결과는 폰트랴긴 쌍대군 위에서의 함수로 나타나게 된다.
우선 국소 콤팩트 아벨 위상군 formula_1 위에 하르 측도 formula_23를 정의한다. (만약 formula_1가 콤팩트하지 않다면, 하르 측도 formula_23의 크기를 골라야 한다.)
그렇다면, formula_1 위의 적분 가능 함수 formula_27의 푸리에 변환 formula_28은 다음과 같다. 모든 formula_29에 대하여,
마찬가지로, formula_31의 역 푸리에 변환은 다음과 같다.
여기서 formula_33은 쌍대군 formula_8 위에 정의된 하르 측도이다. 역 푸리에 변환이 푸리에 변환의 역이 되게 하는 formula_33는 formula_1의 측도 formula_23에 의해 유일하게 결정되는데, 이를 formula_23의 쌍대 측도()라고 한다.
콤팩트 군의 경우, 통상적으로 군의 부피가 1이 되게 (formula_39) 하는 측도를 사용하며, 이산군의 경우 이산 측도를 사용한다. 콤팩트성과 이산성은 서로 쌍대적이며, 군의 부피가 1이 되는 측도의 쌍대 측도는 이산 측도이다. 콤팩트 이산군이라면 두 측도 다 정의되며, 이는 (자명군을 제외하면) formula_40배만큼 다르다. 예를 들어, 순환군 formula_41의 경우, 군의 부피가 1이 되게 정의하면 formula_42이지만, 이산 측도는 formula_43이다.
보다 일반적으로, 조절 분포를 (슈바르츠 함수의 일반화인) 를 사용하여 정의할 수 있다.
예.
다음과 같은 폰트랴긴 쌍대군들이 존재한다.
따라서, U(1) 위에 정의된 함수의 푸리에 변환은 ℤ 위에 정의된 함수(수열)이다. 이는 주기함수의 푸리에 급수에 해당한다. 또한, 순환군 위에 정의된 함수의 푸리에 변환은 이산 푸리에 변환에 해당한다.
유한 아벨 군의 폰트랴긴 쌍대군.
순환군 formula_44의 폰트랴긴 쌍대군은 formula_45이며, 이는 물론 원래 군과 동형이다. 이 경우 폰트랴긴 쌍대성에 의하여 존재하는 군 준동형은 다음과 같다.
모든 유한 아벨 군은 순환군들의 직합으로 나타낼 수 있으므로, 모든 유한 아벨 군의 쌍대군은 순환군들로 분해한 뒤 각 성분을 위와 같이 쌍대화하여 얻을 수 있다.
유한 차원 실수 벡터 공간의 폰트랴긴 쌍대군.
formula_48가 표준적인 위상을 갖춘 실수 위의 유한 차원 벡터 공간이라고 하면, 그 덧셈군의 폰트랴긴 쌍대군은 쌍대 공간 formula_49의 덧셈군이다. 이 경우 formula_48와 formula_49 사이에는 동형이 존재하지만, 이는 표준적이지 않다. 구체적으로, 폰트랴긴 쌍대성은 다음과 같다.
무한 차원 실수 벡터 공간은 일반적으로 국소 콤팩트 공간이 아니므로 해당되지 않는다. 마찬가지로, 예를 들어 유리수 위의 벡터 공간의 경우, 유리수의 표준적 (실수 부분 집합으로의) 위상을 잡으면 국소 콤팩트 공간이 되지 않는다.
p진수의 폰트랴긴 쌍대군.
유리수의 각 위치 formula_54에 대하여, 다음과 같은 위상 아벨 군의 짧은 완전열이 존재한다.
여기서 formula_56일 경우, 이 완전열은 무한 순환군과 원군을 다음과 같이 연결한다.
formula_58일 경우, 이 완전열은 p진 정수와 프뤼퍼 군을 연결한다.
이 완전열은 폰트랴긴 쌍대성에 대해서 대칭이다. 다시 말해, 가운데 원소 formula_60는 스스로의 폰트랴긴 쌍대군과 동형이며, formula_61와 formula_62는 서로 폰트랴긴 쌍대이다.
수체의 폰트랴긴 쌍대군.
유리수의 덧셈군에, (실수의 부분 공간으로서의) 표준 위상을 부여하면 이는 국소 콤팩트 공간을 이루지 않지만, 대신 이산 위상을 부여하면 이는 국소 콤팩트 공간을 이룬다. 이산 위상을 부여한 유리수 덧셈군의 폰트랴긴 쌍대군은 유리수의 아델 환 formula_63의 덧셈군의 몫군 formula_64이다. 구체적으로, 이는 아델 환
에서, 대각선 포함 사상
에 대한 몫환이다. 보다 일반적으로, 대수적 수체 formula_68의 덧셈군에 이산 위상을 주었을 때, 그 폰트랴긴 쌍대군은
이다. 즉, 짧은 완전열
은 폰트랴긴 쌍대성에 대하여 대칭이다.
역사.
레프 폰트랴긴이 1934년에 도입하였다. 에흐베르튀스 판 캄펀 (1935)과 앙드레 베유 (1940)가 이를 일반적인 국소 콤팩트 아벨 군에 대하여 확장하였다.
이후, 1950년에 존 테이트가 박사 학위 논문에서 유체론을 사용하여 아델 환 및 대수적 수체의 폰트랴긴 쌍대성을 분석하였고, 이와사와 겐키치도 독자적으로 사실상 같은 이론을 거의 동시에 개발하였다. 이 이론을 테이트 학위 논문() 또는 테이트-이와사와 이론()이라고 한다.