[논문 리뷰] Projective multiresolution analyses for $L^2(R^2)$

Judith Packer, Marc A. Rieffel|ArXiv.org|2003. 08. 14.

Mathematical Analysis and Transform Methods참고 문헌 6인용 수 7

한 줄 요약

이 논문은 $L^2(\mathbb{R}^2)$에 대해 프로젝티브 다중해상 분석(PMRA)을 도입하며, 初기 공간이 $C(\mathbb{T}^2)$ 위의 유한 생성 프로젝티브 모듈러이지만 자유 모듈이 아닌 경우를 일반화한다. 정수 계수를 가진 $2\times2$ 대각 행렬에 대해 PMRA를 구성하고, 해당 웨이브릿 모듈이 $X((\det A)q, a)$와 동형임을 보이며, 모듈 프레임과 $K$-이론 분류를 통해 $\det A > 0$이면 웨이브릿 공간이 자유 모듈이고, $\det A < 0$ 이며 $a \neq 0$ 이면 비자유 모듈임을 증명한다.

ABSTRACT

We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an $n$-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for $L^2(\brn)$. Then we show how to construct examples for the case of any diagonal $2 imes 2$ dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective $C(\mathbb T^2)$-module. We compute the isomorphism classes of the corresponding wavelet modules.

연구 동기 및 목표

• $C(\mathbb{T}^2)$ 위의 자유 모듈이 아닌, 임의의 유한 생성 프로젝티브 모듈로 스케일링 함수의 자유 모듈을 대체함으로써 고전적 다중해상 분석을 일반화한다.
• 프로젝티브 모듈을 사용하여 $L^2(\mathbb{R}^2)$에서 웨이브릿과 타이트 프레임을 구성하는 프레임워크를 수립한다.
• 특히 대각 $2\times2$ 확대 행렬에 대해 이러한 PMRA로부터 유도되는 웨이브릿 모듈의 동형류를 규명한다.
• 모듈 이론적 기법을 사용하여 $\det A > 0$ 이면 웨이브릿 공간이 자유 모듈이고, $\det A < 0$ 이며 $a \neq 0$ 이면 비자유 모듈임을 보인다.

제안 방법

• $L^2(\mathbb{R}^2)$ 내의 증가하는 부분공간의 열 $\{V_j\}$로 프로젝티브 다중해상 분석(PMRA)을 정의하며, $V_0$ 는 $\mathbb{T}^2$ 위의 복소 벡터(bundle)의 연속 섹션의 역 푸리에 변환의 프로젝티브 $C(\mathbb{T}^2)$-모듈이다.
• $C(\mathbb{T}^2)$ 위의 힐버트 $C^*$-모듈의 대수적 구조를 사용하여 모듈 프레임을 정의하고, $L^2(\mathbb{R}^2)$에 대한 정규화된 타이트 프레임을 유도한다.
• $\Xi$로의 $C_c(\mathbb{R}^2)$의 더 강한 노름에 대한 완비화에서, 주파수 도메인에서 스케일링 함수를 $\Xi$의 $C(\mathbb{T}^2)$-부분모듈의 생성자로 구성한다.
• 함수 공간 $Z(p;q;a)$에 순환군의 작용을 자동형사상으로 적용하여 등급별 성분으로 분해하고, 이를 통해 모듈 동형류 분류를 가능하게 한다.
• Theorem 4.2를 통해 $K$-이론의 취소 성질을 활용하여 직접 합 분해로부터 웨이브릿 모듈의 동형류를 분류한다.
• $X(q,a)$ 모듈의 구조와 확대에 따른 행동을 활용하여 웨이브릿 공간 $W_0$의 동형 유형을 계산한다.

실험 결과

연구 질문

• RQ1 자유 $C(\mathbb{T}^2)$-모듈을 초월하여 임의의 유한 생성 프로젝티브 모듈을 포함하도록 다중해상 분석을 일반화할 수 있는가?
• RQ2 프로젝티브 다중해상 분석은 자연스럽게 $L^2(\mathbb{R}^2)$에 대한 정규화된 타이트 프레임을 유도하는가?
• RQ3 주어진 PMRA에 기반한 웨이브릿 모듈 $W_0$의 동형류는 무엇인가? 특히 대각 $2\times2$ 확대 행렬에 대해.
• RQ4 웨이브릿 모듈이 자유 또는 비자유일 조건는 무엇인가? 특히 $\det A$의 부호와의 관계에서.
• RQ5 임의의 유한 생성 프로젝티브 $C(\mathbb{T}^2)$-모듈과 임의의 정수 계수를 가진 대각 $2\times2$ 정수 확대 행렬에 대해 이러한 PMRA를 구성할 수 있는가?

주요 결과

• 웨이브릿 공간 $W_0$ 는 $\mathcal{A}$-모듈로서 $X\big{(}(|\det(A)|-1)q, (\mathrm{sign}(\det(A))-1)a\big{)}$ 와 동형이다.
• $\det A > 0$ 이면 $W_0$ 는 자유 모듈이다; $\det A < 0$ 이며 $a \neq 0$ 이면 $W_0$ 는 자유 모듈이 아니다.
• 초기 모듈 $V_0$ 는 $X(q,a)$ 와 동형이며, 웨이브릿 모듈 $W_0$ 는 $W_0 \oplus X(q,a) \cong X(|\det(A)|q, \mathrm{sign}(\det(A))a)$ 를 만족한다.
• 임의의 대각 $2\times2$ 확대 행렬 $A$가 정수 계수를 가지며, 임의의 유한 생성 프로젝티브 $C(\mathbb{T}^2)$-모듈에 대해, 그 모듈과 동형인 $V_0$ 를 갖는 PMRA를 구성할 수 있다.
• 이 구성은 순환군 작용에 따른 함수 공간의 등급별 성분으로의 분해에 기반하며, 이는 $K$-이론을 통한 모듈 동형류 분류를 가능하게 한다.
• 웨이브릿 모듈 $V_1$ 은 $Y_A(q,a)$ 와 동형이며, 이는 다시 $X((\det A)q, a)$ 와 동형이다.