[논문 리뷰] Differential operators of Fuchs type, conical singularities, and asymptotic methods

Matthias Lesch|ArXiv.org|1996. 07. 19.

Spectral Theory in Mathematical Physics참고 문헌 51인용 수 20

한 줄 요약

이 논문은 콘 특이점을 가진 다양체 위의 푸크스형 미분 연산자 이론을 수립하며, 열핵의 점근 전개, 지수 정리, η-불변량의 변형 공식을 확립한다. 감소된 η-불변량이 경계 조건 매개변수에 독립적이므로, 잘라내기 및 봉합 연산에 따른 η-불변량의 봉합 공식을 도출하며, 이는 디랙 연산자와 분할 공간 위의 스펙트럼 불변량에 응용된다.

ABSTRACT

This text is a revised version of the authors Habilitationsschrift which was submitted to the University of Augsburg, 1993. Fuchs type differential operators are used to model the analysis on manifolds with cone--like singularities, or more general, stratified spaces. This book provides a self--contained treatment of the analysis of the heat equation and index theory for these operators. Major topics are short--time asymptotics, $η$-- and $ζ$--functions, (relative) index theorems. Another chapter is devoted to the discussion of deficiency indices and Dirac Schrödinger operators.

연구 동기 및 목표

• 콘 특이점을 가진 다양체 위의 푸크스형 미분 연산자에 대한 종합적인 이론을 수립하여, 고전적 타원형 이론을 매끄럽지 않은 설정으로 확장한다.
• 이러한 연산자에 대해 열핵 및 스펙트럼 제타 함수와 η 함수의 점근 전개를 확립한다.
• 푸크스형 연산자에 대한 지수 정리를 유도하고, 아티야–파타디–식스 지수 공식과의 관계를 규명한다.
• 자기수반 확장과 경계 조건에 대한 η-불변량의 의존성, 특히 봉합의 맥락에서의 의존성을 조사한다.
• 점근적 및 스펙트럼 방법을 사용하여 특이 공간 위의 디랙 및 슈뢰딩거형 연산자 분석을 위한 엄밀한 프레임워크를 제공한다.

제안 방법

• 콘 특이점을 가진 미분 연산자를 분석하기 위해 멜린 변환과 가중치 소볼레프 공간을 사용한다.
• 스케일링과 모델 콘 분석을 통해 푸크스형 연산자의 파라메트릭스를 구성함으로써, 특이 타원형 추정을 도출한다.
• 모델 콘에서의 특이 점근적 보조정리와 스케일링 성질을 적용하여 열핵 점근적 성질을 도출한다.
• 상대적 맥키ーン–식스 공식을 도입하고, 쇼로프 연산자를 사용하여 파동 전파와 커널 추정을 분석한다.
• G-불변 및 Cl_k-선형 연산자에 대한 결함 지수 이론을 적용하여 모델 콘 위의 자기수반 확장을 분류한다.
• 단조적 경계 조건 간의 보간을 통해, 단조적 연산자의 단위근에 제한된 로그 행렬식을 통해 η-불변량의 변형 공식을 도출하고, 봉합 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 푸크스형 미분 연산자는 콘 특이점을 가진 다양체 위에서 어떻게 행동하는가? 그리고 이러한 연산자에 대해 정의할 수 있는 스펙트럼 불변량은 무엇인가?
• RQ2 이러한 연산자에 대한 열핵의 점근적 구조는 무엇이며, 지수와 η-불변량과의 관계는 어떻게 되는가?
• RQ3 η-불변량은 자기수반 확장의 선택에 따라 어떻게 달라지는가? 특히 콘 특이점 존재 시에 어떻게 되는가?
• RQ4 콘 특이점을 가진 초표면을 따라 다양체를 잘라내는 경우, η-불변량에 대한 봉합 공식을 수립할 수 있는가?
• RQ5 특이 공간 위의 디랙 연산자에 대한 η-불변량과 고전적 아티야–파타디–식스 지수 공식 사이의 관계는 무엇인가?

주요 결과

• 푸크스형 연산자의 감소된 η-불변량은 연속 전달 조건과 아티야–파타디–식스 조건 사이의 보간 가중치 매개변수 θ에 대해 독립적이다.
• 두 자기수반 확장 σ₁과 σ₂ 사이의 η-불변량의 변형은 ker(Γ−i)에 제한된 단위근 연산자 σ₁σ₂의 로그 행렬식에 의해 주어지며, 이는 ℤ 모듈로로 표현된다.
• 차수 1 또는 2인 푸크스형 연산자의 η-함수는 ℂ로의 유리형 연장이 가능하며, k∈ℤ₊에 대해 m−k에서 단순극을 가지며, 0은 정상점이다.
• 아티야–파타디–식스 경계 조건을 가진 디랙 연산자에 대해, 푸크스형 연산자에 대한 지수 공식은 작은 고유값이 없을 경우 고전적 APS 지수 공식과 일치한다.
• 감소된 η-불변량의 θ-독립성에 의해 η-불변량의 봉합 공식이 유도되며, 이는 신규한 스펙트럼 접근법을 통해 대이와 프리드의 결과를 확인한다.
• 모델 콘 위의 G-불변 대칭 연산자의 결함 지수는 횡단면에 대응하는 연산자의 스펙트럼 성질에 의해 결정되며, 이는 자기수반 확장의 분류를 가능하게 한다.