[논문 리뷰] Algebras of Fractions and Strict Positivstellensätze for *-Algebras

Konrad Schmuedgen|ArXiv.org|2009. 03. 16.

Advanced Topics in Algebra참고 문헌 13인용 수 4

한 줄 요약

이 논문은 분수 대수와 $*$-대수의 힐버트 공간 표현을 이용하여 비가환 엄밀한 포지티브스텔렌저를 위한 일반적인 프레임워크를 개발한다. $*$-대수 내에서 양의 원소를 헤르미트 제곱의 합으로 표현하는 데 필요한 추상적 조건을 확립하며, 웨일 대수와 아핀 리 대수의 보편 대수에 이 방법을 적용하여, 해석적 조건과 다중차수 도구를 통해 새로운 통합 가능성 기준과 양의 정리들을 도출한다.

ABSTRACT

In this paper we investigate a *-algebra $\cX$ of fractions associated with a unital complex *-algebra $\cA$. The algebra $\cX$ and its Hilbert space representations are used to prove abstract noncommutative strict Positivstellensätze for $\cA$. Multi-grading of $\cA$ are studied as technical tools to verify the assumptions of this theorem. As applications we obtain new strict Positivstellensätze for the Weyl algebra and for the Lie algebra $\cg$ of the affine group of the real line. We characterize integrable representations of the Lie algebra $\cg$ in terms of resolvents of the generators and derive a new integrability criterion for representations of $\cg$.

연구 동기 및 목표

• 분수 대수와 표현을 이용하여 $*$-대수에서 비가환 엄밀한 포지티브스텔렌저를 증명하는 일반적인 방법을 개발하기 위해.
• 해석 조건과 분수 대수를 이용하여 아핀 군의 리 대수 $\mathfrak{g}$의 표현의 통합 가능성 조건을 특성화하기 위해.
• 추상적 조건과 다중차수 기법을 이용하여 웨일 대수와 $\mathfrak{g}$의 보편 대수에 대한 새로운 양의 정리를 확립하기 위해.
• 표준 교환관계에 대한 카토의 정리와 유사한 새로운 통합 가능성 기준을 $\mathfrak{g}$의 표현에 대해 제공하기 위해.

제안 방법

• 단위원 $*$-대수 $\mathcal{A}$에서 $*$-불변의 왼쪽 오어 집합 $\mathcal{S}_O$와 가산 부분모노이드 $\mathcal{S}$를 이용하여 $\mathfrak{X}$라는 $*$-대수의 분수를 구성하기 위해.
• 모든 $s^{-1}$에 대해 근이 자명한 유계 $*$-표현 $\rho$를 $\mathfrak{X}$에 대해 사용하여, $\mathcal{A}$의 비유계 $*$-표현 $\pi_\rho$를 유도하기 위해.
• 대수적 유계성과 내부자기동형사상 $\alpha_s(\cdot) = s\cdot s^{-1}$에 대한 $\mathfrak{X}$의 불변성 조건이 필요한 추상적 엄밀한 포지티브스텔렌저(정리 3)를 적용하기 위해.
• 대수 $\mathcal{A}$의 다중차수를 사용하여 정리 3의 조건을 검증하며, 특히 웨일 대수와 $\mathfrak{g}$-보편 대수의 경우에 중점을 두기 위해.
• 모든 기약 표현 $\rho$와 $s \in \mathcal{S}_G$에 대해 $\pi_\rho(c)$와 $\rho_s(t^{-1}c(t^*)^{-1})$가 엄밀히 양이면 $scs^* \in \sum \mathcal{A}^2$임을 증명하기 위해.
• 이 프레임워크를 분모 집합이 $p \pm \alpha i, q \pm \beta i$로 생성되는 웨일 대수와 $\mathcal{S}_G = \{i\sf a \pm (\alpha + n)i, i\sf b \pm \beta i\}$, $\alpha < -1$, $\beta \neq 0$, $\alpha \notin \mathbb{Z}$인 $\mathcal{E}(\mathfrak{g})$에 적용하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $*$-대수 $\mathcal{A}$의 양의 원소 $c$가 헤르미트 제곱의 유한한 합으로 표현될 수 있는가?
• RQ2 분수 대수 $\mathfrak{X}$는 어떻게 유계 표현 $\rho$로부터 $\mathcal{A}$의 비유계 $*$-표현 $\pi_\rho$를 구성하는 데 사용될 수 있는가?
• RQ3 다중차수는 추상적 엄밀한 포지티브스텔렌저의 조건을 검증하는 데 어떤 역할을 하는가?
• RQ4 해석 조건과 몫대수 $\mathfrak{X}_s$의 관련 연산자의 양의 성질은 어떻게 하여 $scs^*$가 제곱의 합임을 보장하는가?
• RQ5 분수 대수와 양의 성질을 이용하여 아핀 군의 리 대수 $\mathfrak{g}$의 표현에 대해 어떤 새로운 통합 가능성 기준을 도출할 수 있는가?

주요 결과

• 웨일 대수 $\mathcal{W}(1)$에 대해, $c = c^*$가 헤르미트 원소이고 모든 기약 표현 $\rho$와 $s \in \mathcal{S}_G = \{p \pm \alpha i, q \pm \beta i\}$에 대해 $\pi_\rho(c) > 0$ 및 $\rho_s(t^{-1}c(t^*)^{-1}) > 0$이면, 어떤 $s \in \mathcal{S}_O$에 대해 $scs^* \in \sum \mathcal{W}(1)^2$임을 보였다.
• 아핀 리 대수 $\mathfrak{g}$의 보편 대수 $\mathcal{E}(\mathfrak{g})$에 대해, $c = c^*$가 다중차수 $(2m_1, 2m_2)$를 가지며, 모든 기약 유니터리 표현 $U$와 $f_{2m_2}(\cdot + m_2 i), g_{2m_1}$이 $\mathbb{R}$에서 양이면, 어떤 $s \in \mathcal{S}$에 대해 $s^*cs \in \sum \mathcal{E}(\mathfrak{g})^2$임을 보였다.
• 논문은 $\mathfrak{g}$의 표현에 대한 새로운 통합 가능성 기준을 확립하였다: 표현은 분수 대수 $\mathfrak{X}$에서 생성자의 해석 조건이 일정한 양의 성질과 유계성 조건을 만족할 때에만 통합 가능하다.
• $\ker \rho(s^{-1}) = \{0\}$ 조건을 통해 $\rho$에서 $\pi_\rho$를 구성하는 방법은 $\mathcal{A}$의 잘 정의된 비유계 표현을 체계적으로 생성하는 데 기여한다.
• 다중차수의 사용은 정리 3의 핵심 조건 검증에 기여하며, 특히 웨일 대수와 $\mathcal{E}(\mathfrak{g})$의 경우에 대해 차수 함수 $d(c) = (d_1, d_2)$를 통한 원소의 구조 분석을 통해 이를 실현한다.
• 결과는 표준 교환관계에 대한 카토의 통합 가능성 정리의 일반화로, 아핀 리 대수의 맥락에서 몫대수의 관련 연산자의 양의 성질에 기반한 새로운 기준을 제공한다.