[논문 리뷰] Global theory of one-frequency Schrodinger operators I: stratified analyticity of the Lyapunov exponent and the boundary of nonuniform hyperbolicity

Artur Avila|ArXiv.org|2009. 05. 25.

Spectral Theory in Mathematical Physics참고 문헌 21인용 수 35

한 줄 요약

이 논문은 해석적 잠재력과 함께 일주파수 슈뢰딩거 연산자에 대한 전역 이론을 수립하며, 리아풀로프 지수에 대한 새로운 '계층적 해석성' 프레임워크를 도입함으로써 이를 달성한다. 이는 리아풀로프 지수가 0에서 양수로 전이되는 지점인 임계 집합의 여부가 최대 코디멘션 1을 갖는다는 것을 증명한다. 이는 일반적인 잠재력에 대해 임계 에너지의 집합이 최대 가чёт수이며, 따라서 스펙트럼 측도에서 무시 가능하다는 것을 의미한다.

ABSTRACT

We study Schrodinger operators with a one-frequency analytic potential, focusing on the transition between the two distinct local regimes characteristic respectively of large and small potentials. From the dynamical point of view, the transition signals the emergence of nonuniform hyperbolicity, so the dependence of the Lyapunov exponent with respect to parameters plays a central role in the analysis. Though often ill-behaved by conventional measures, we show that the Lyapunov exponent is in fact remarkably regular in a ``stratified sense'' which we define: the irregularity comes from the matching of nice (analytic or smooth) functions along sets with complicated geometry. This result allows us to stablish that the ``critical set'' for the transition has at most codimension one, so for a typical potential the set of critical energies is at most countable, hence typically not seen by spectral measures. Key to our approach are two results about the dependence of the Lyapunov exponent of one-frequency $\SL(2,\C)$ cocycles with respect to perturbations in the imaginary direction: on one hand there is a severe ``quantization'' restriction, and on the other hand ``regularity'' of the dependence characterizes uniform hyperbolicity when the Lyapunov exponent is positive. Our method is independent of arithmetic conditions on the frequency.

연구 동기 및 목표

• 일주파수 슈뢰딩거 연산자에 대한 전역 이론을 수립하여, 비하향 및 초하향 영역 간 전이에 대한 이해의 한계를 극복하는 것.
• 리아풀로프 지수가 0에서 양수로 전이되는, 비균일 하이퍼볼릭성의 경계를 분석하는 것. 이는 스펙트럼 유형 분류에 핵심적인 영역이다.
• 기존 측도에서의 명백한 부정확성에도 불구하고, 새로운 계층적 해석성 개념을 도입함으로써 리아풀로프 지수의 정규성을 특성화하는 것.
• 리아풀로프 지수가 0이지만 비균일 하이퍼볼릭성의 임계 상태에 있는 시스템의 임계 집합이 매개변수 공간에서 최대 코디멘션 1을 갖는다는 것을 보여주며, 이는 일반적인 스펙트럼 측도에서 이를 무시할 수 있음을 의미한다.

제안 방법

• 리아풀로프 지수를 복잡한 기하학을 가진 집합을 따라 매칭된 해석 함수들의 합집합으로 묘사하기 위해 '계층적 해석성'의 새로운 개념을 도입한다.
• SL(2,ℂ)-코시클에 관한 두 가지 핵심 결과를 사용한다: 허수 변형에 대한 양자화 제약과, 리아풀로프 지수가 양수일 때 균일 하이퍼볼릭성의 정규성에 의한 특성화.
• 이 결과들을 슈뢰딩거 연산자와 관련된 전이 행렬 코시클에 적용하며, 잠재력의 해석성과 무리수 주파수를 활용한다.
• 아브리-앙드레 이중성과 전이 행렬의 복소 확장을 사용하여, 균일하게 초지수적 성장(하향)과 비균일 성장(임계) 영역을 구분한다.
• 코시클의 가속도(위상 차수)를 사용하여 영역을 분류하고, 0인 리아풀로프 지수와 0이 아닌 가속도가 동시에 성립할 경우 비균일 하이퍼볼릭성을 증명한다.
• 소규모 실수 변형에 대한 리아풀로프 지수와 가속도의 상부 반연속성 및 연속성을 활용하여, 임계 집합이 저차원 부분다양체에 포함되어 있음을 보인다.

실험 결과

연구 질문

• RQ1 표준 측도에서의 명백한 비정상성에도 불구하고, 일주파수 슈뢰딩거 연산자의 리아풀로프 지수는 어떻게 정규화될 수 있는가?
• RQ2 스펙트럼 내에서 리아풀로프 지수가 0인 에너지 집합(임계 집합)의 기하학적 및 위상수학적 구조는 무엇인가?
• RQ3 비하향 및 초하향 영역 간 전이—비균일 하이퍼볼릭성의 출현을 특징으로 하는—전역적으로 어떻게 행동하는가?
• RQ4 임계 집합이 스펙트럼 측도에서 무시 가능하다는 것을 입증할 수 있으며, 어떤 조건에서 그러한 성립이 가능한가?
• RQ5 허수 방향의 변형은 리아풀로프 지수와 가속도의 행동을 제약하는 데 어떤 역할을 하는가?

주요 결과

• 리아풀로프 지수는 '계층적 해석성'을 나타내며, 이는 각 계층에서 국소적으로 해석 함수의 제한임을 의미한다. 전역적으로는 해석적이지 않을 수 있다.
• 리아풀로프 지수가 0이지만 비균일 하이퍼볼릭성의 임계 상태에 있는 시스템의 임계 집합은 매개변수 공간에서 최대 코디멘션 1을 갖는다.
• 일반적인 해석적 잠재력에 대해 임계 에너지의 집합은 최대 가чёт수이며, 일반적으로 스펙트럼 측도에 의해 감지되지 않는다.
• 허수 변형에 대한 가속도의 양자화는 리아풀로프 지수의 가능한 행동에 엄격한 제약을 가한다.
• 허수 방향에서의 리아풀로프 지수의 정규성은 리아풀로프 지수가 양수일 때 균일 하이퍼볼릭성을 특성화한다.
• 결과들은 주파수에 대한 산술 조건 없이 성립하므로, 넓은 범위의 일주파수 슈뢰딩거 연산자에 적용 가능하다.