[논문 리뷰] Frechet algebras in abstract Harmonic analysis

Zahra Alimohammadi, Ali Rejali|arXiv (Cornell University)|2018. 11. 27.

Holomorphic and Operator Theory참고 문헌 43인용 수 4

한 줄 요약

이 논문은 추상 조화해석학에서 프레셰 대수에 대한 종합적인 조사로, 바나흐 대수와의 비교를 통해 애매성, 아렌스 정규성, 세갈 대수 등의 핵심 개념을 일반화한다. 프레셰 대수에서 준위상적 연속성, 승수 대수의 구조, 그리고 군과 반군 위의 가중 대수에서 아렌스 정규성 조건의 등가성에 관한 기본 결과를 수립한다.

ABSTRACT

We provide a survey of the similarities and differences between Banach and Frechet algebras including some known results and examples. We also collect some important generalizations in abstract harmonic analysis; for example, the generalization of the concepts of vector-valued Lipschitz algebras, abstract Segal algebras, Arens regularity, amenability, weak amenability, ideal amenability, etc.

연구 동기 및 목표

• 추상 조화해석학의 맥락에서 프레셰 대수와 바나흐 대수를 비교·대조하는 것.
• 기존의 개념들—예를 들어 애매성, 약한 애매성, 이상물 애매성, 이중정규성 등—을 바나흐 대수에서 프레셰 대수로 일반화하는 것.
• 특히 반단순성과 전사 조건 하에서, 프레셰 대수 간의 준위상적 연속성에 대한 호모모르피즘의 연속성 문제를 조사하는 것.
• 세갈 대수 이론과 승수 대수 이론을 프레셰 설정으로 확장하여, 위상적 성질과 이상의 구조를 포함하는 것.
• 특히 가중 군 및 반군 대수에서 프레셰 대수의 아렌스 정규성과 그 이중대수 사이의 관계를 탐구하는 것.

제안 방법

• 프레셰 대수를 정의하기 위해 가산 기본 체계를 갖는 국소 볼록 위상 대수의 프레임워크를 사용한다.
• 국소 곱셈적으로 볼록(lmc) 대수에서의 초연속 곱셈 이론을 적용하여, 프레셰 대수의 이중대수에서 잘 정의된 아렌스 곱이 존재함을 증명한다.
• 이중대수와 단위 원소에 관한 결과를 일반화하기 위해 이중대칭 대수의 개념을 활용한다.
• 가중 군 및 반군 대수에서 아렌스 정규성을 특성화하기 위해 0-집중 함수의 개념을 적용한다.
• 승수 대수에서의 엄격, 균일, 컴act-오픈 위상 구조를 활용하여, 프레셰 대수에서의 세갈 대수 체계를 연구한다.
• 피르코브스키 및 다른 이들의 평면 순환 모듈러스와 근사 수축 가능성에 관한 결과를 활용하여, 프레셰 대수로의 호모로지적 성질을 확장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 프레셰 대수 간의 전사 호모모르피즘이 연속적인가, 특히 공도가 반단순일 경우에 대해?
• RQ2 기존의 애매성, 약한 애매성, 이상물 애매성 이론이 프레셰 대수로 얼마나 일반화될 수 있는가?
• RQ3 특히 가중 군 및 반군 대수의 맥락에서, 프레셰 대수의 아렌스 정규성에 대한 특성화는 무엇인가?
• RQ4 프레셰 대수의 승수 대수와 세갈 대수 체계 사이의 관계는 어떻게 되며, 그 행동을 지배하는 위상은 무엇인가?
• RQ5 프레셰 대수의 아렌스 정규성과 그 이중대수 사이의 등가성은 성립하는가, 그리고 이는 가중 함수의 0-집중 성질과 어떻게 관련되는가?

주요 결과

• 만약 $\mathcal{B}$ 가 반단순 프레셰 대수이고, $T: \mathcal{A} \to \mathcal{B}$ 가 특정 연속성 조건을 만족하는 전사 호모모르피즘이라면, $T$ 는 연속적이며, 존슨의 노름 유일성 정리가 일반화된다.
• 모든 반단순 바나흐 대수에는 프레셰 대수로서의 유일한 위상이 존재한다. 바나흐의 경우 전사 호모모르피즘의 연속성은 자동으로 성립하기 때문이다.
• 가환 프레셰 $Q$-대수 $\mathcal{B}$ 가 근사 항등원을 갖는다면, $\mathcal{B}$ 와 그에 속하는 임의의 세갈 프레셰 대수 $\mathcal{A}$ 의 모듈라르 최대 닫힌 이상의 공간은 위상적으로 동형이다.
• 프레셰 대수 $\mathcal{A}$ 는 아렌스 정규성이면 이중대수 $\mathcal{A}^{**}$ 에서 첫 번째 및 두 번째 아렌스 곱이 일치하는 것과 동치이며, 이 성질은 이중대칭 성질을 유지한다.
• 지표가 국소 콪 pact인 군 $G$ 와 가중치 $w$ 에 대해, $L^1(G,w)^{**}$ 는 아렌스 정규성이면 이며, $\Omega(x,y) = \frac{w(xy)}{w(x)w(y)}$ 가 0-집중이거나, $L^1(G)$ 가 아렌스 정규일 때에 한하여 성립한다.
• 유한한 개의 아이디포텐트를 갖는 역반군에서, $\ell^1(S)$ 는 아렌스 정규성이면 이며, $S$ 가 유한할 때에만 성립한다. 만약 $w$ 가 아래에서 유계이고 $\Omega$ 가 0-집중이라면, $S$ 는 가산적이다.