씨알제곱대수의 레프셰츠 수와 지표 공식

본 논문은 비가환 C*대수의 레프셰츠 수를 정의하고, 이를 계산하기 위한 일반적인 공식과 구체적인 적용 사례를 제시한다. 서론에서는 전통적인 레프셰츠 고정점 정리의 증명이 Poincaré 이중성과 Kunneth 정리를 기반으로 함을 언급하고, 이러한 구조를 C*대수와 KK‑이론에 옮기는 것이 가능함을 제시한다. 1. **기본 개념 정리** - KK‑이론을 Z/2‑그레이드된 가법 범주로 소개하고, 텐서곱, 외부곱, 그리고 교환(브레이딩) 구조를 상세히 기술한다. - 두 C*대수 A, B가 KK‑이중성을 만족한다는 정의를 제시한다. 여기서는 차원 이동 n을 갖는 기본 클래스 Δ∈KKⁿ(A⊗B,ℂ)와 그 쌍대 클래스 Δ′∈KK⁻ⁿ(ℂ,B⊗A)가 존재하며, (7)식과 (10)식이 전역적으로 동형을 이루는 것이 핵심이다. - 기본 클래스와 쌍대 클래스는 서로의 합성에 의해 항등원을 복원한다는 관계식 (9), (11)을 만족한다. 2. **쌍대성에 의한 쌍선형 형태** - 정의 (14)에서 K₍*₎(A)와 K₍*₎(B) 사이의 정수값 쌍선형 형태 (x|y):=y⊗_B x̂ 를 도입하고, Lemma 4를 통해 (x|y)=(-1)^{|x||y|}(x̂⊗y)⊗_{A⊗B}Δ 라는 명시적 식을 얻는다. - 이를 복소화하면 (·|·):Kℂ₍*₎(A)×Kℂ₍*₎(B)→ℂ가 비퇴화되지 않으며, Universal Coefficient Theorem(UCT)와 Kunneth 정리가 성립하는 경우에 한해 완전한 쌍대성을 확보한다. 3. **레프셰츠 수와 지표 연산** - 임의의 f∈KK⁰(B,B) 에 대해 지표 연산 Ind(Δ,f):=Δ′⊗_{B⊗A}(f⊗1_A)⊗_{B⊗A}Σ^{*}Δ∈ℤ을 정의한다. - Theorem 6은 Lef(f):=tr_s(f_{*})와 Ind(Δ,f)가 일치함을 증명한다. 증명은 (22)–(24)식에서 Δ와 Δ′의 정규화 관계를 이용해, 각 그레이드 성분별 트레이스 차이가 바로 지표와 동일함을 보인다. - 또한, ζ_f(t):=∑_{n≥0}Ind(Δ,fⁿ)tⁿ 가 유리함수를 이루는 사실을 언급하며, 이는 전통적인 Lefschetz zeta 함수와 직접적인 아날로그 관계에 있다. 4. **Cuntz‑Krieger 대수 O_A에 대한 적용** - 행렬 A∈M_{N}( {0,1}) 로 정의되는 그래프 C*대수 O_A 를 소개하고, 표준 생성자 {s_i}와 경로 공간 Σ_A 사이의 일대일 대응을 설명한다. - O_A의 엔드모르피즘은 연속적이고 부분적으로 정의된 홈오몰피즘 ϕ:Z⊂Σ_A→Σ_A 로 기술되며, 이는 무한 집합 P of finite paths에 대한 순열 σ로 변환된다. - σ가 경로 μ를 ν로 보내는 과정에서 길이 차이 |μ|−|ν|에 따라 기여가 +1(수축), 0(길이 동일), -1(팽창) 로 정의된다. 구체적으로, |μ|≤|ν|이면 +1, |μ|>|ν|+1이면 -1, |μ|=|ν|+1이면 0이다. - 이러한 규칙을 모든 생성자에 대해 합산하면 레프셰츠 수는 Lef(ϕ)=∑_{(μ,ν)} ε(μ,ν) 로 표현되며, 여기서 ε(μ,ν)∈{+1,0,-1}는 위의 길이 차이에 따른 부호이다. - 마지막으로, 각 ε(μ,ν)를 행렬 A의 원소와 연결시켜, Lef(ϕ)를 A의 엔트리와 엔드모르피즘의 프레젠테이션만으로 계산 가능한 다항식 형태로 정리한다. 이 다항식은 A의 사이클 구조와 ϕ가 경로를 어떻게 재배열하는지를 반영한다. 5. **예시와 해석** - O_A가 단순하고 핵심적인 경우, 특히 A가 비가환적인 경우에도 위 공식이 그대로 적용됨을 보인다. - 레프셰츠 수가 0이 되는 경우는 수축과 팽창이 정확히 상쇄되는 상황이며, 이는 동역학적 고정점이 없거나 고정점이 ‘가상’으로 서로 소멸되는 현상을 의미한다. - 반대로 양의 레프셰츠 수는 수축 현상이 팽창보다 우세함을 나타내며, 이는 고정점의 존재와 그 위상학적 기여가 양수임을 시사한다. 6. **결론** - 논문은 Poincaré 이중성과 Kunneth 정리를 비가환 C*대수에 적용함으로써 레프셰츠 고정점 정리를 일반화하고, 구체적인 비가환 사례(O_A)에서 실제 계산 가능한 다항식 공식을 제공한다. 이는 비가환 기하학, 동역학, 그리고 K‑이론 사이의 새로운 연결 고리를 제시하며, 향후 더 복잡한 비가환 시스템에 대한 고정점 이론을 전개하는 기반이 된다.