[논문 리뷰] Semiinfinite symmetric powers

Mikhail Kapranov|arXiv (Cornell University)|2001. 07. 12.

advanced mathematical theories참고 문헌 10인용 수 32

한 줄 요약

이 논문은 국소적으로 선형으로 컴acts한 실수 벡터 공간 위에서, 유한차원 부분몫공간들에 대한 이重 프로젝티브 극한을 통해 부드러운 측도와 미분형식의 공간을 구성함으로써, 반무한 대칭 거듭제곱 이론을 제시한다. 쌍대 공간 위의 측도 공간 간에 푸리에 변환을 수립하고, 이상성의 구조가 단순화된 반무한 de Rham 복합체를 정의하며, 비아르키메데스 체와 반무한 와이드 이론의 구성들을 일반화한다.

ABSTRACT

We develop a theory of measures, differential forms and Fourier tramsforms on some infinite-dimensional real vector spaces by generalizing the following two constructions: (a) The construction of the semiinfinite wedge power of a Tate vector space V. Recall that it is obtained as a certain double inductive limit of the exterior algebras of finite-dimensional subquotients of V. (b) The construction of the space of measures on a nonarchimedean local field K with maximal ideal M as a double projective limit of the spaces of measures (=functions) on finite subquotients M^i/M^j of K.

연구 동기 및 목표

• 비아르키메데스 국소체에서의 측도 및 미분형식 이론을 $\mathbb{R}((t))$와 $\mathbb{C}((t))$와 같은 고차원 국소체로 일반화하기.
• 국소적으로 선형으로 컴acts한 벡터 공간을 이용하여 무한차원 해석학에서 반무한 구조의 프레임워크를 제공하고, 반무한 와이드 거듭제곱 이론을 확장하기.
• 측도 이론에서의 프로젝티브 표현 문제를 하어 이론을 기반으로 한 게르베로 해결하여 일관된 푸리에 대칭성을 가능하게 하기.
• 방향성 자료로부터 $\mathbb{Z}/2$-확장으로 줄어든 최소한의 이상성을 가진 반무한 de Rham 복합체를 정의하기.
• 측도와 형식을 프로-오브젝트가 아니라 인드-프로-오브젝트로 간주하여 표현 이론,代수기하학, 해석학의 구성들을 통합하기.

제안 방법

• 레프셰츠와 셰바리에의 프레임워크를 일반화하여 국소적으로 선형으로 컴acts한 $\mathbb{R}$-벡터 공간을 기초 설정으로 정의하기.
• 열린 선형으로 컴acts한 부분공간 $U \subset V$에 대한 이중 프로젝티브 극한을 통해 부드러운 측도 공간 $M_h(V)$를 구성하고, 프로젝티브 이상성을 해결하기 위해 하어 이론 $h$를 통합하기.
• 푸리에 변환을 $M_h(V)$에서 $M_{h^\vee}(V^\vee)$로 정의하며, $V^\vee$의 푸앵카레 쌍대공간 위의 쌍대 하어 이론 $h^\vee$를 고려하여 대칭성의 호환성을 확보하기.
• 부분몫공간 $U_1/U_2$ 위의 de Rham 복합체에 대한 이중 프로젝티브 극한으로 반무한 de Rham 복합체 $\Omega^\bullet(V)$를 정의하고, 차수 $\overline{1}$의 미분을 포함하기.
• 스우퍼대수 기법, 특히 $\Lambda[\epsilon]$-확장과 베레진 적분을 사용하여 자동형사상에 대한 미분의 자연성을 보여주기.
• 이 프레임워크를 복합체에 적용하여 유계 적합한 복합체 $V^\bullet$에 대해 $M_h(V^\bullet)$를 정의하고, 반무한 코즐 복합체를 특수한 경우로 구성하기.

실험 결과

연구 질문

• RQ1 측도 및 미분형식 이론은 1차원 국소체에서 2차원 국소체인 $\mathbb{R}((t))$로 어떻게 일반화될 수 있는가?
• RQ2 해석학적 및 표현론적 구조를 포함하는 반무한 차원에서의 대칭 거듭제곱의 올바른 무한차원 해석은 무엇인가?
• RQ3 하어 이론의 게르베를 통해 $GL(V)$의 측도 위의 프로젝티브 작용 문제는 어떻게 해결할 수 있는가?
• RQ4 반무한 de Rham 복합체의 이상성의 구조는 무엇이며, 측도 공간의 이상성과 비교해보면 어떠한가?
• RQ5 반무한 코즐 복합체는 자연스럽게 정의될 수 있으며, 반무한 de Rham 복합체와 어떻게 관련되는가?

주요 결과

• 국소적으로 선형으로 컴acts한 $\mathbb{R}$-벡터 공간 $V$ 위의 부드러운 측도 공간 $M_h(V)$는 이중 프로젝티브 극한으로 구성되며, 하어 이론을 통해 프로젝티브 표현 문제를 해결한다.
• 푸리에 변환은 $M_h(V)$에서 $M_{h^\vee}(V^\vee)$로 정의되며, 고전적 푸리에 해석을 무한차원으로 일반화하는 대칭성을 확립한다.
• 반무한 de Rham 복합체 $\Omega^\bullet(V)$의 이상성은 방향성 자료로부터 유래한 $\mathbb{Z}/2$-중앙 확장으로 줄어들며, $\mathbb{C}$-공간의 경우 완전히 사라진다.
• 순수하게 홀수 차수의 슈퍼벡터 공간의 경우, $D_h(V)$는 반무한 외적 거듭제곱 $\Lambda^{\infty/2 + \bullet}_\Delta(\overline{V})$와 일치하여 기존의 반무한 와이드 이론과의 일관성을 보여준다.
• $M_h(V)$의 쌍대공간인 $D_h(V)$는 $V$의 열린 선형으로 컴acts한 부분공간들과 관련된 모든 진공 모듈을 자연스럽게 포함하며, 반무한 대칭 거듭제곱의 보편적 실현을 제공한다.
• 복합체 $V \xrightarrow{\text{id}} V$에 대한 반무한 코즐 복합체 $M_h(CV)$는 이동 후에 $\Omega^\bullet_O(V)$와 동형이며, $V$ 위의 방향성 게르베와 관련되어 있다.