[논문 리뷰] A convenient category of supermanifolds

Alexander Alldridge|arXiv (Cornell University)|2011. 09. 14.

Advanced Algebra and Geometry참고 문헌 21인용 수 4

한 줄 요약

이 논문은 기능자 공간을 기반으로 하는 새로운 편리한 초만유형 범주를 제안하여 무한차원 초만유형의 사상 및 장의 전역 구조를 가능하게 하며, 루프 초군집단과 같은 구조를 포함하고, 유도 표현과 컨volution 대수학의 프레임워크를 제공한다. 주요 기여는 초군집단의 딕스미에르–말리아빈 정리의 초만유형에 해당하는 결과로, 연속 표현에서 매끄러운 벡터들이 컴 pact하게 지지된 매끄러운 초군집단 밀도로의 컨볼루션에 의해 생성되는 가르딩 공간과 일치함을 증명하는 것이다.

ABSTRACT

With a view towards applications in the theory of infinite-dimensional representations of finite-dimensional Lie supergroups, we introduce a new category of supermanifolds. In this category, supermanifolds of `maps' and `fields' (fibre bundle sections) exist. In particular, loop supergroups can be realised globally in this framework. It also provides a convenient setting for induced representations of supergroups, allowing for a version of Frobenius reciprocity. Finally, convolution algebras of finite-dimensional Lie supergroups are introduced and applied to a prove a supergroup Dixmier-Malliavin Theorem: The space of smooth vectors of a continuous representation of a supergroup pair equals the Garding space given by the convolution with compactly supported smooth supergroup densities.

연구 동기 및 목표

• 무한차원 대상, 예를 들어 사상 공간과 피브리 본드의 단면들 같은 것을 수용할 수 있는 초만유형의 범주를 개발하는 것.
• 루프 초군집단과 유한차원 리 초군집단의 유도 표현의 전역 실현을 위한 프레임워크를 제공하는 것.
• 표현에서 매끄러운 벡터를 특성화하기 위해 컴팩트하게 지지된 매끄러운 초군집단 밀도의 컨볼루션 대수학을 수립하는 것.
• 매끄러운 벡터가 컴팩트하게 지지된 매끄러운 초군집단 밀도로의 컨볼루션에 의해 생성되는 가르딩 공간과 일치하는 초군집단의 딕스미에르–말리아빈 정리의 초만유형에 해당하는 결과를 증명하는 것.
• 이론적 범주적 환경에서 무한차원 초만유형에 대해 프로페르스의 상호관계성과 윈 포멀리즘의 일반화를 수행하는 것.

제안 방법

• 논문은 국소 모델의 범주에서 위상공간 위의 층으로의 함자를 사용하는 기능자 공간을 사용하여, 무한차원 초만유형으로의 링드 공간 접근법의 일반화를 수행한다.
• 초만유형은 기능자 공간의 전순서 부분범주로 정의되어 유한차원 초만유형과의 호환성을 확보하고, 내부 호모로지(사상 공간)와 피브리 본드의 단면의 구조를 가능하게 한다.
• 리 초군집단의 리 초대수는 윈 포멀리즘을 통해 정의되어, 접선 대상과 무한소 대칭의 체계적인 다루기가 가능해진다.
• 콤팩트하게 지지된 매끄러운 밀도를 사용하여, 유한차원 리 초군집단 위에서 컨볼루션 대수학을 구성하며, 컨볼루션 곱 $ f * g = \text{pr}_{13*}(f \boxtimes g) $ 를 통해 작용을 정의한다.
• 분포 공간에서 수렴하는 $ \text{C}_c^\infty(G) $ 내의 근사 항등원의 가중치 $ \rho_U \to \rho $ 를 구성하여, 델타 함수의 근사와 표현에서의 수렴 제어를 가능하게 한다.
• 이 포멀리즘은 유도 표현에 대한 프로페르스의 상호관계성을 지원하며, 매끄러운 벡터의 특성화를 컨볼루션에 의한 가르딩 공간을 통해 가능하게 한다.

실험 결과

연구 질문

• RQ1 무한차원 대상, 예를 들어 사상 공간과 피브리 본드의 단면들 같은 것을 포함하는 편리한 초만유형의 범주를 구성할 수 있는가?
• RQ2 제안된 범주는 루프 초군집단과 같은 무한차원 초군집단 작용의 전역 실현을 지원하는가?
• RQ3 매끄러운 초군집단 밀도로의 컨볼루션에 의해 생성되는 가르딩 공간과 일치하는 매끄러운 벡터를 특성화하는 초군집단의 딕스미에르–말리아빈 정리의 초만유형을 증명할 수 있는가?
• RQ4 이 새로운 범주에서, 초군집단의 무한차원 표현에 대해, 유도 표현과 프로페르스의 상호관계성을 어떻게 정의할 수 있는가?
• RQ5 콤팩트하게 지지된 매끄러운 초군집단 밀도의 컨볼루션 대수학을 정의하고, 표현의 중복도를 연구하는 데 사용할 수 있는가?

주요 결과

• 기능자 공간의 범주는 사상과 장의 초만유형, 루프 초군집단을 포함한 내부 호모로지와 피브리 본드의 단면으로서 존재하는 초만유형이 잘 정의된 환경을 제공한다.
• 논문은 초군집단의 딕스미에르–말리아빈 정리의 초만유형을 증명한다: 초군집단 쌍의 연속 표현에서 매끄러운 벡터의 공간은 컴팩트하게 지지된 매끄러운 초군집단 밀도로의 컨볼루션에 의해 생성되는 가르딩 공간과 일치한다.
• 표현에서의 수렴 제어를 가능하게 하기 위해 $ \text{C}_c^\infty(G) $ 내의 근사 항등원의 가중치 $ \rho_U \to \rho $ 가 $ \text{E}'(G) $ 에서 수렴한다.
• 이 프레임워크에서 프로페르스의 상호관계성이 성립하여, 초군집단의 유도 표현을 체계적으로 다룰 수 있다.
• 닫힌 $ G $-불변 부분공간은 $ V_\flat $ 에서 $ G_0 $-불변 부분공간 $ U \to V $ 와 $ U_\flat $ 가 $ \frak{g} $-불변인 것과, $ \text{C}_c^\infty(G) $-불변 부분공간 $ V $ 와 이중적 대응관계를 이룬다. 이는 중복도의 등가성을 증명한다.
• 컨볼루션 대수학 $ \text{C}_c^\infty(G) $ 는 표현에 작용하며, $ G $-표현에서의 중복도 문제 연구는 초군집단 쌍 또는 컨볼루션 대수학에 대한 동일한 문제 연구와 등가이다.