시프트가 있는 타원형 미분 연산자의 코호몰로지 지수 공식

논문은 “시프트가 있는 타원형 미분 연산자”라는 새로운 연산자 클래스를 정의하고, 이들의 인덱스를 코호몰로지 형태로 표현하는 전역 지수 공식을 증명한다. 1. **배경 및 목표** 첫 번째 논문(0706.3511)에서는 행렬형 시프트 연산자에 대한 로컬 인덱스 공식을 얻었다. 그러나 로컬 공식은 심볼의 미분 형태만을 이용해 지역적 적분으로 표현되며, 전역적인 위상학적 의미를 충분히 드러내지 못한다. 본 논문은 이러한 한계를 극복하고, Atiyah‑Singer 스타일의 코호몰로지 인덱스 공식을 구축함으로써, 일반 벡터 번들 사이의 시프트 연산자에 대한 위상학적 해석을 제공한다. 2. **시프트 연산자와 그룹 Γ** M은 무경계 컴팩트 리만 다양체이며, Γ는 M의 방향 보존 등거리 변환들의 가산 조밀 부분군이다. Γ는 두 가지 핵심 가정을 만족한다. (i) **다항 성장**: 생성자 집합에 대한 단어 길이 k에 대해 원소 수가 다항식으로 제한된다. (ii) **Diophantine 성질**: 거리 추정식 dist(g·x, x) ≥ C|g|^{−N} dist(x, Fix(g)) 가 모든 x와 g에 대해 성립한다. 이 두 조건은 비국소적 연산자의 급격한 감소와 적절한 분석적 제어를 보장한다. 3. **시프트가 있는 ΨDO 정의** 연산자는 D = ∑_{g∈Γ} T_g D_g 형태이며, 여기서 T_g는 함수 u에 대해 (T_g u)(x)=u(g^{−1}x)인 시프트 연산자, D_g는 전통적인 차수 m의 ΨDO이다. D_g는 |g|→∞일 때 프레셰 프라톨로지에서 급격히 감소한다. 벡터 번들 E, F에 대한 경우, 지역적 평탄화(trivialization)와 부드러운 절단함수 φ, ψ를 이용해 ψ D φ가 위와 같은 형태의 행렬 ΨDO가 되도록 정의한다. 이렇게 하면 Ψ^m(E,F)_Γ라는 선형 공간을 얻으며, 연산자 곱은 자연스럽게 차수 합을 보존한다. 4. **심볼과 타원성** 행렬 경우 심볼은 σ(D) = ∑_{g∈Γ} T_{∂g} σ(D_g) 이며, ∂g는 코사인 번들 S* M 위의 변환이다. 일반 번들 경우, σ(D)는 L²(S* M,π*E)→L²(S* M,π*F) 사이의 연산자로 정의된다. 이는 지역적 평탄화와 절단함수에 대해 일관되게 정의됨을 보인다. 심볼이 가역이면 연산자 D는 Fredholm이며, 이는 “유한성 정리”(정리 3)로 정리된다. 5. **Γ‑작용에 대한 미분 대수와 등급 추적 τ** X에 대한 Γ‑불변 연속 함수 대수 C^∞(X)_Γ를 고려한다. Λ⁎(X,End E)_Γ는 형태 A = ∑_{g∈Γ} ω_g, ω_g = T_g a_g 로 정의된 차등 형태들의 집합이다. 여기서 a_g는 급격히 감소하는 C^∞ 형태이며, T_g는 pull‑back 연산자이다. 등급 추적 τ는 각 공액 클래스