[논문 리뷰] Defect measures on graded lie groups

Véronique Fischer, Clotilde Fermanian Kammerer|arXiv (Cornell University)|2017. 07. 13.

Advanced Mathematical Physics Problems참고 문헌 16인용 수 5

한 줄 요약

이 논문은 표현 이론에 적합한 초국소적 결함 측도(MDMs)의 일반화를 위해, 계급화된 리 군에 대해 초국소적 결함 측도를 일반화한다. 이는 0-동차 기호를 위한 $C^*$-대수 프레임워크를 수립하고, 이론적 수렴을 결함 측도를 통해 증명함으로써, 비유클리드적 환경에서 보완된 컴팩턴스와 다이브-컬 렘마 결과를 확장한다. 이는 진동 및 집중 시퀀스에 응용된다.

ABSTRACT

In this article, we define a generalisation of microlocal defect measures (also known as H-measures) to the setting of graded nilpotent Lie groups. This requires to develop the notions of homogeneous symbols and classical pseudo-differential calculus adapted to this setting and defined via the representations of the groups. Our method relies on the study of the C *-algebra of 0-homogeneous symbols. Then, we compute microlocal defect measures for concentrating and oscillating sequences, which also requires to investigate the notion of oscillating sequences in graded Lie groups. Finally, we discuss compacity compactness approaches in the context of graded nilpotent Lie groups.

연구 동기 및 목표

• 유럽 공간에서의 초국소적 결함 측도(MDMs) 이론을 계급화된 리 군의 설정으로 확장하기 위해.
• 유니터리 표현과 동차 기호를 사용하여 이러한 군 위에서 고전적 초국소적 미분 연산자 계산을 개발하기 위해.
• 특히 진동 및 집중 시퀀스에 대해, 유계 시퀀스의 이차 형식의 약한 극한을 결함 측도를 통해 특성화하기 위해.
• 결함 측도와 보완된 컴팩턴스 사이의 연결고리를 설정하며, 하위리만노프 및 계층화된 리 군의 맥락에서 다이브-컬 렘마를 포함한다.

제안 방법

• 유니터리 이중 $\widehat{G}$ 위에서의 역 푸리에 변환을 사용하여 계급화된 군 위에 초국소적 미분 연산자 계산을 구성하며, 기호는 $G \times \widehat{G}$ 위의 연산자 값 필드이다.
• 동차 기호 클래스 $\dot{S}^m$ 및 점근 전개와 주된 기호를 통한 고전적 계산 $\Psi^m_{\text{cl}}(\Omega)$를 정의한다.
• 0-동차 정규 기호의 $C^*$-대수 $C^*(\widetilde{S}^0)$를 도입하고, 그 스펙트럼과 상태를 분석하여 결함 측도를 기술한다.
• 겔판드-나이마르크-세갈 구성법을 사용하여 $C^*$-대수의 상태를 벡터 상태로 표현함으로써, 약한-* 극한을 통한 결함 측도의 식별을 가능하게 한다.
• 공간적 농도 또는 진동을 보이는 함수의 시퀀스에 이 이론을 적용하기 위해, $C^*$-대수 내의 관련 상태를 분석한다.
• 문제를 더 큰 연산자 프레임워크에 통합하고, 행렬 값 기호에 대해 컬 성질을 확인함으로써, 계층화된 리 군에서 새로운 다이브-컬 렘마를 증명한다.

실험 결과

연구 질문

• RQ1 계급화된 리 군의 비유클리드적 설정으로 초국소적 결함 측도를 어떻게 일반화할 수 있는가?
• RQ2 계급화된 리 군에서 동차 기호와 주된 기호의 정의를 지원하는 적절한 초국소적 미분 연산자 계산은 무엇인가?
• RQ3 진동 및 집중 시퀀스는 계급화된 리 군에서 $L^2$ 공간에서 어떻게 행동하며, 이들의 초국소적 행동은 어떻게 결함 측도로 포착할 수 있는가?
• RQ4 이 결함 측도 프레임워크를 통해 보완된 컴팩턴스 원리와 다이브-컬 렘마를 하위리만노프 리 군으로 확장할 수 있는가?

주요 결과

• 이 논문은 $C^*$-대수 방법과 연산자 값 기호를 사용하여 계급화된 리 군에서 초국소적 결함 측도의 잘 정의된 이론을 수립한다.
• 유계 시퀀스 $u_k$에 대해 $L^2_{\text{loc}}(\Omega)$에서, 이차 형식 $\langle A(u_k - u), u_k - u \rangle$의 약한 극한은 $\Omega \times \widehat{G}$ 위의 양의 결함 측도 $\gamma$에 대한 적분으로 특성화된다.
• 결함 측도는 공간적 농도와 유니터리 표현에서 기인하는 진동을 모두 포착하며, 후자는 0-동차 기호의 $C^*$-대수 상태의 약한-* 극한과 연결된다.
• 계층화된 리 군에서 새로운 다이브-컬 렘마가 증명된다: 만약 $\text{div}(V_k) \to \text{div}(V)$ 이다 $L^2_{-1}(\Omega,\text{loc})$에서이고 $\text{Op}(\rho)W_k \to \text{Op}(\rho)W$ 이다 $L^2_{-m}(G,\text{loc})$에서, 그리고 $\rho$가 컬 성질을 만족한다면, $\langle V_k, W_k \rangle \to \langle V, W \rangle$ 는 분포의 의미에서 수렴한다.
• 이 증명은 벡터 필드를 더 큰 연산자 프레임워크에 통합하고, $C^*$-대수의 상태에 대한 컴팩턴스 결과를 적용하며, 상태 함수에 대한 음의 하한의 모순을 유도함으로써 이루어진다.
• 이 이론은 헤이젠베르크 군 및 카노우 군 설정에서 알려진 결과와 일관되며, 리 군 위에서의 초국소 분석을 통해 $L^2$에서의 컴팩턴스 결여를 분석하는 통합된 프레임워크를 제공한다.