[논문 리뷰] Quantum differential surfaces of higher genera

Pierre Bieliavsky|arXiv (Cornell University)|2017. 12. 18.

Advanced Algebra and Geometry참고 문헌 6인용 수 3

한 줄 요약

이 논문은 하이퍼볼릭 평면 $\mathbb{D}$ 위의 스웨츠 공간 $S(\mathbb{D})$ 위에서 $SL(2,\mathbb{R})$-불변 성질을 갖는 스타곱 $\sharp_\theta$ 가족을 구성하며, 정준 켈러 형식을 통해 점곱을 변형한다; 이는 컴act 리만 곡면 $\Sigma_\Gamma = \Gamma\backslash\mathbb{D}$로 확장되어 $C^\infty(\Sigma_\Gamma)$ 위에 프레셰 대수 구조를 부여하며, 이는 프리-$C^*$이면서 연속적 추적을 갖는다.

ABSTRACT

We first construct a real family of $SL(2,\mathbb{R})$-invariant symbol composition product $\{\sharp_θ\}_{θ\in,\mathbb{R}}$ on the analogue of the Schwartz space $S(\mathbb{D})$ on the hyperbolic plane $\mathbb{D}\;:=\;SL(2,\mathbb{R})/SO(2)$. The value $θ=0$ consists in the pointwise commutative product of functions on $\mathbb{D}$. And admits an asymptotic expansion that deforms the pointwise product in the direction of the canonical $SL(2,\mathbb{R}) $-invariant Kahler two form on $\mathbb{D}$. We then extend this construction to any (non-homogeneous) compact surface by considering the left action of an arithmetic Fuschian group $Γ\subset SL(2,\mathbb{R})$ on $\mathbb{D}$ with associated Riemann surface $Σ_Γ\;:=\;Γ\backslash\mathbb{D}$. More precisely, the product $\sharp_θ$ extends from $S(\mathbb{D})$ to a smooth $SL(2,\mathbb{R})$- sub-module of $C^\infty(\mathbb{D})$ that contains the $Γ$-invariants $C^\infty(\mathbb{D})^Γ\simeq C^\infty(Σ_Γ)$ in $C^\infty(\mathbb{D})$. In particular, $\sharp_θ$ defines a Fréchet algebra structure on $C^\infty(Σ_Γ)$. The resulting algebra is pre - $C^\ast$ and admits a continuous trace.

연구 동기 및 목표

• 고유도가 높은 하이퍼볼릭 곡면 위의 매끄러운 함수에 대한 변형 양자화를 $SL(2,\mathbb{R})$-불변 구조를 사용하여 정의하는 것.
• 스웨츠 공간 $S(\mathbb{D})$ 위에서의 기호 조합 곱 $\sharp_\theta$ 를 $\mathbb{D}$ 위의 $\Gamma$-불변 매끄러운 함수 공간으로 확장하여 $C^\infty(\Sigma_\Gamma)$ 와 식별하는 것.
• 결과로 얻어진 곱이 $C^\infty(\Sigma_\Gamma)$ 위에 프레셰 대수 구조를 유도하며, 이는 프리-$C^*$이면서 연속적 추적을 갖는다는 것을 확립하는 것.
• 비가환 기하학적 프레임워크를 제공하여 고유도가 높은 리만 곡면에 대해 양자 미분 구조를 정의하는 것.

제안 방법

• 점곱의 변형을 이끄는 정준 $SL(2,\mathbb{R})$-불변 켈러 2형식을 사용하여, $\theta = 0$일 때는 교환 법칙이 성립하는 점곱에 해당하는 실수 계수의 $SL(2,\mathbb{R})$-불변 기호 조합 곱 $\sharp_\theta$ 의 가족을 $S(\mathbb{D})$ 위에서 구성하는 것.
• 점곱의 점근적 변형을 $\theta \to 0$ 근처에서 정준 $SL(2,\mathbb{R})$-불변 켈러 2형식을 통해 정의하는 것.
• $S(\mathbb{D})$ 에서의 곱 $\sharp_\theta$ 를 $\mathbb{D}$ 위의 매끄러운 함수 공간의 $SL(2,\mathbb{R})$-부분모듈로로 확장하여, $\Gamma$-불변 함수들인 $C^\infty(\mathbb{D})^\Gamma \simeq C^\infty(\Sigma_\Gamma)$ 를 포함하는 것.
• 산술 푸크시안 군 $\Gamma \subset SL(2,\mathbb{R})$ 의 작용을 이용하여 $\mathbb{D}$ 를 몫으로 나누어 고유도가 높은 컴팩트 리만 곡면 $\Sigma_\Gamma$ 를 얻는 것.
• $\sharp_\theta$ 가 $C^\infty(\Sigma_\Gamma)$ 위에 프레셰 대수 구조를 유도하며, 곱이 연속적이고 군 작용과 호환된다는 것을 증명하는 것.
• 결과로 얻어진 대수가 프리-$C^*$이면서 연속적 추적을 갖는다는 것을 보여주는 것. 이는 $C^*$-대수 구조와의 호환성을 보장한다.

실험 결과

연구 질문

• RQ1 기호 조합 곱을 사용하여 하이퍼볼릭 평면 $\mathbb{D}$ 위에서 $SL(2,\mathbb{R})$-불변 변형 양자화를 어떻게 구성할 수 있는가?
• RQ2 $\theta \to 0$ 일 때 곱 $\sharp_\theta$ 의 점근적 행동은 어떠한가? 그리고 이는 $\mathbb{D}$ 위의 정준 켈러 형식과 어떻게 관련이 있는가?
• RQ3 산술 푸크시안 군 $\Gamma$ 에 대해 $S(\mathbb{D})$ 위의 $\theta$-곱을 $\mathbb{D}$ 위의 $\Gamma$-불변 매끄러운 함수 공간으로 확장할 수 있는가?
• RQ4 확장된 $\sharp_\theta$ 곱이 $C^\infty(\Sigma_\Gamma)$ 위에서 분석적 성질이 우수한 프레셰 대수를 유도하는가?
• RQ5 결과로 얻어진 대수 $C^\infty(\Sigma_\Gamma)$ 는 프리-$C^*$이며, 연속적 추적을 갖는가?

주요 결과

• $\sharp_\theta$ 는 $S(\mathbb{D})$ 위에서 점곱의 변형을 정의하며, 이는 $\mathbb{D}$ 위의 정준 $SL(2,\mathbb{R})$-불변 켈러 2형식에 의해 점근적으로 결정된다.
• $\theta$-곱은 $S(\mathbb{D})$ 에서 $\mathbb{D}$ 의 매끄러운 함수 공간의 $SL(2,\mathbb{R})$-부분모듈로로 확장되며, 이는 $\Gamma$-불변 함수들인 $C^\infty(\mathbb{D})^\Gamma \simeq C^\infty(\Sigma_\Gamma)$ 를 포함한다.
• $\sharp_\theta$ 를 $C^\infty(\Sigma_\Gamma)$ 에 제한하면, 이는 매끄러운 위상과 호환되는 프레셰 대수 구조를 갖는다.
• 결과로 얻어진 $C^\infty(\Sigma_\Gamma)$ 위의 프레셰 대수는 프리-$C^*$이며, $C^*$-대수 틀과의 호환성을 보장한다.
• 이 대수는 연속적 추적을 갖는다. 이는 비가환 기하학 및 지수 이론 등에의 적용을 위한 핵심 분석적 성질이다.
• 이 구성은 $SL(2,\mathbb{R})$-불변 변형 양자화를 통해 고유도가 높은 컴팩트 리만 곡면 위에 양자 미분 구조를 제공한다.