[논문 리뷰] On Well-behaved Unbounded Representations of *-Algebras

Konrad Schmuedgen|ArXiv.org|2000. 04. 26.

Advanced Operator Algebra Research참고 문헌 15인용 수 21

한 줄 요약

이 논문은 호환되는 쌍 (X, B)를 사용하여 잘 정의된 유계가 아닌 *-표류를 구성하기 위한 일반적 프레임워크를 제안한다. 여기서 X는 *-대수이고 B는 호환되는 왼쪽 작용을 가진 노름진 *-대수이다. B의 임의의 연속적이고 비퇴화된 *-표류 ρ에 대해, ρ′(x)ρ(b) = ρ(x▹b)로 정의되는 닫힌 *-표류 ρ′가 X에 대해 자연스럽게 유도되며, 이는 물리적 및 수학적으로 의미 있는 표류를 체계적으로 생성하는 방법을 제공한다. 특히 다항식 대수, 리 대수, 초함수적 미분 연산자, 양자군에 적용 가능하다.

ABSTRACT

A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the pair (X,B) is called a compatible pair. For any continuous non-degenerate *-representation ρof B there exists a closed *-representation ρ' of X such that ρ'(x)ρ(b)=ρ(x |> b), where x\in X and b\in B. The *-representations ρ' are called the well-behaved *-representations associated with the compatible pair (X,B). A number of examples are developed in detail.

연구 동기 및 목표

• 일반적인 *-대수의 모든 *-표류를 분류하는 문제는 병적인 예가 너무 많아서 본질적으로 정의되지 않기 때문에, 이를 해결하고자 한다.
• 병원적인 행동을 배제하고 물리적 및 수학적 응용에 적합한 '잘 정의된' 유계가 아닌 *-표류의 클래스를 식별하고 형식화하고자 한다.
• 호환되는 쌍 (X, B)의 *-대수와 호환되는 왼쪽 작용을 가진 일반적이고 체계적인 방법을 통해 이러한 잘 정의된 표류를 구성하고자 한다.
• 이 프레임워크가 다항식 대수, 리 군의 표류, 초함수적 미분 연산자, 양자군 등 다양한 맥락에 적용 가능함을 보여주고자 한다.
• 잘 정의됨이 절대적인 것이 아니라 대수적 맥락에 따라 달라지며, 이를 바탕으로 기존의 다양한 개념들을 하나의 형식론으로 통합하고자 한다.

제안 방법

• X가 *-대수이고, B가 노름진 *-대수이며, X가 B에 왼쪽 작용 ▹를 통해 작용하여 모든 a,b ∈ B, x ∈ X에 대해 (x▹a)+b = a+(x+▹b)를 만족하는 호환되는 쌍 (X, B)를 정의한다.
• B의 임의의 연속적이고 비퇴화된 *-표류 ρ를 사용하여 공식 ρ′(x)ρ(b) = ρ(x▹b)로 X에 대한 닫힌 *-표류 ρ′를 유도한다.
• 유도된 사상 ρ′가 잘 정의된 닫힌 *-표류임을 증명하여, 작용이 *-대수의 구조와 호환됨을 보장한다.
• 이 구성이 자연스럽고 함자적 성격을 띠며, 표류의 대수적 및 위상적 성질을 유지함을 보여준다.
• 구체적인 예를 통해 프레임워크를 설명한다: 다항식 대수, C∞₀(G)를 통한 리 대수의 표류, 초함수적 미분 연산자의 와일 계산, SUq(1,1)과 같은 양자군.
• 많은 경우에서 작용 ▹는 X와 B를 포함하는 더 큰 *-대수 A에서의 곱셈으로 자연스럽게 유도되며, ▹(x,b) = xb로 표현된다.

실험 결과

연구 질문

• RQ1 어떻게 체계적으로 *-대수의 '잘 정의된' 유계가 아닌 *-표류를 정의하고 구성할 수 있는가? 모든 가능한 표류를 분류하는 문제의 정의 불능성을 피하기 위해.
• RQ2 어떤 대수적 구조가 *-대수 X의 노름진 *-대수 B에 대한 왼쪽 작용이 B의 표류로부터 X의 닫힌 *-표류를 유도하는가를 보장하는가?
• RQ3 기존의 잘 정의됨의 개념들 — 예를 들어 자기수반성, 본질적 자기수반성, 또는 와일 관계 — 는 어떻게 통합된 프레임워크에 포함되는가?
• RQ4 이 프레임워크는 다항식 대수, 리 대수의 포괄 대수, 양자 대수 등 다양한 대수에 어떻게 적용될 수 있는가?
• RQ5 유도된 표류 ρ′의 일관성과 닫힘을 보장하는 데서 호환성 조건 (x▹a)+b = a+(x+▹b)의 역할은 무엇인가?

주요 결과

• 모든 호환되는 쌍 (X, B)와 B의 연속적이고 비퇴화된 *-표류 ρ에 대해, 모든 x ∈ X, b ∈ B에 대해 ρ′(x)ρ(b) = ρ(x▹b)를 만족하는 유일한 닫힌 *-표류 ρ′가 존재한다.
• 이 구성은 스펙트럼 사영, 와일 관계, 적분 가능성 조건에 기반한 기존의 잘 정의된 표류의 다양한 클래스를 일반화하고 통합한다.
• 다항식 대수 C[x₁,…,xₙ]의 경우, 생성자가 본질적으로 자기수반이며 그 스펙트럼 사영이 서로 교환된다는 잘 정의된 표류를 도출한다.
• 리 대수 g의 포괄 대수 E(g)의 경우, X가 C∞₀(G)에 복합 곱셈을 통해 작용함으로써 G-적분 가능한 표류를 회복한다.
• 양자 평면 O(R²q)의 경우, 초함수적 미분 연산자의 와일 계산은 자연스러운 호환되는 쌍을 제공하며, 좌표 *-대수의 잘 정의된 표류를 도출한다.
• 이 프레임워크는 많은 물리적 및 수학적 논문에서 암묵적으로 잘 정의됨을 가정하는 이유를 설명한다: 이러한 가정은 병적인 표류를 피하고 물리적 일관성을 확보하기 위해 필수적이다.