[논문 리뷰] A Canonical Quadratic Form on the Determinant Line of a Flat Vector Bundle

Maxim Braverman, Thomas Kappeler|ArXiv.org|2007. 10. 05.

Advanced Operator Algebra Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 홀수 차원의 닫힘 또는ients된 다양체 위의 평탄한 벡터(bundle)의 결정선에 대한 표준 토르션 2차형식을 도입한다. 이 형식은 분석적 토르션을 통해 구성되며, 버그헤일-할러 토르션과 캡엘-밀러 토르션과 관련되어 있다. 이 형식이 부호와 오일러 구조에 따라 의존하는 인자와 함께 캡엘-밀러 토르션과 일치함을 증명하고, 각 연결 성분에서 단위 상수에 따라 분석적 토르션과 조합적 토르션 간의 관계를 확인하는 추측을 확인한다.

ABSTRACT

We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic torsion defined by Cappell and Miller and we establish the precise relationship between the two. In addition, we show that up to an explicit factor, which depends on the Euler structure, and a sign the Burghelea-Haller complex analytic torsion, whenever it is defined, is equal to our quadratic form. We conjecture a formula for the value of the torsion quadratic form at the Farber-Turaev torsion and prove some weak version of this conjecture. As an application we establish a relationship between the Cappell-Miller and the combinatorial torsions.

연구 동기 및 목표

• 홀수 차원의 닫힘 또는ients된 다양체 위의 평탄한 벡터(bundle)의 결정선에 대한 표준 2차형식을 정의한다.
• 파버-투라에프의 포incare-라이드미스터 스칼라곱의 정밀한 분석적 대응을 수립한다.
• 새로운 토르션 2차형식이 버그헤일-할러 토르션과 캡엘-밀러 토르션과 어떻게 관련되어 있는지 규명한다.
• 토르션 2차형식이 단형성과 오일러 구조를 통해 파버-투라에프 토르션과 관련된 추측의 약한 형태를 증명한다.
• 캡엘-밀러 추측, 즉 캡엘-밀러 토르션과 라이드미스터 토르션 간의 관계에 대해 부분적인 해답을 제공한다.

제안 방법

• 토르션 2차형식 τ∇는 스펙트럼 이론을 통해 비자기 연산자 유형의 라플라스 연산자에 기반한 정밀한 분석적 토르션 ρan을 사용하여 정의된다.
• 이 구성은 아티야-파돌리-식스의 홀수 서명 연산자 B와 그 제곱 B²를 사용하며, 구간 [0,λ] 및 (λ,∞)에 대한 스펙트럼 프로젝션을 통해 캡엘-밀러 토르션 T∇를 정의한다.
• τ∇(T∇) = 1 이라는 성질이 증명되어, τ∇와 캡엘-밀러 토르션 T∇ 간의 직접적인 이중성 관계를 확립한다.
• 정의에서 λ에 대한 독립성을 확보하기 위해, 연산자 B²에 대한 아그몬 각도 θ를 사용한다.
• 단형성 클래스 Arg∇ ∈ H¹(M, ℂ/ℤ)와 오일러 구조 클래스 c(ε) ∈ H₁(M, ℤ)를 통해 파버-투라에프 토르션과의 연결 고리를 확립한다.
• 결합 연산자 D를 결정선에 적용하여, 캡엘-밀러 추측을 통해 T∇를 E ⊕ E*의 라이드미스터 토르션과 연결한다.

실험 결과

연구 질문

• RQ1 비퇴사적 이차형식이 존재하지 않는 상황에서 평탄한 벡터(bundle)의 결정선에 대한 표준 2차형식은 어떻게 구성할 수 있는가?
• RQ2 새로운 토르션 2차형식과 캡엘-밀러 토르션 간의 정밀한 관계는 무엇인가?
• RQ3 토르션 2차형식이 파버-투라에프 조합적 토르션을 어느 정도 회복하는가?
• RQ4 토르션 2차형식은 버그헤일-할러 복소 분석적 토르션과 어떻게 관련되어 있는가?
• RQ5 캡엘-밀러 추측이 정확히 또는 부호와 유니타리 인자에 따라 성립하는 조건은 무엇인가?

주요 결과

• 토르션 2차형식 τ∇는 τ∇(T∇) = 1 을 만족하여, τ∇와 캡엘-밀러 토르션 T∇ 간의 직접적인 이중성 관계를 확립한다.
• 추측 τ∇(ρε,ₒ) = R𝒞 · e^{2πi⟨Arg∇, c(ε)⟩} 는 각 연결 성분 𝒞에 대해 약하게 성립하며, R𝒞 ∈ ℂ 는 단위 모듈러스를 가진다.
• 캡엘-밀러 추측 (1⊗D)T∇ = (−1)^z ρᴿ(∇⊕∇*) 는 상수 R𝒞에 대해 성립하며, ∇가 약한 헤르미트 연결을 포함하는 성분에 있을 경우 정확히 성립한다.
• 비퇴사적 이차형식 b 가 존재할 경우, 추측은 부호 오차까지 성립함을 확인하여 캡엘-밀러 추측의 부분적 결과를 확인한다.
• 토르션 2차형식은 파버-투라에프 불변량을 보다 정밀하게 다듬은 포incare-라이드미스터 스칼라곱의 분석적 대응임을 입증한다.
• 캡엘-밀러 토르션과 파버-투라에프 토르션 간의 정밀한 관계는 단형성 클래스 Arg∇ 와 오일러 구조 c(ε)를 통해 확립되며, 부호 인자 (−1)^z 가 포함된다.