오비폴드 C 대수의 레프셰츠 고정점 공식

초록

이 논문은 가산 군 G와 매끄러운 매니폴드 X에 대해, X × G가 콕시멧하고 적절한 경우, 교차곱 C*대수 C₀(X)⋊G의 엔도몰피즘에 대한 레프셰츠 고정점 공식을 제시한다. K‑이론의 비가환 파인케레 듀얼리티와 두 번째 저자의 형식적 레프셰츠 보조정리를 이용해, 유리화된 K‑이론에서의 그레이드된 트레이스(레프셰츠 수)를 고정 궤도와 해당 점의 동등군의 표현론적 데이터로 전개한다.

상세 분석

본 연구는 비가환 기하학에서 핵심적인 도구인 K‑이론 파인케레 듀얼리티를 활용하여, 교차곱 C대수 C₀(X)⋊G의 엔도몰피즘에 대한 레프셰츠 고정점 공식을 구축한다. 여기서 G는 가산 이산 군이며, X는 차원 n 의 매끄러운 매니폴드이고, X × G는 콕시멧하고 적절한 작용을 가진다. 저자들은 먼저 C₀(X)와 C(G) 사이의 K‑이론적 듀얼리티 쌍을 명시적으로 구성하고, 이를 통해 교차곱 대수의 K‑이론이 K⁎(X)와 K⁎(C*(G))의 텐서 곱 형태로 해석될 수 있음을 보인다.

다음 단계에서는 공변 쌍(covariant pair) (φ, U) 에 의해 정의되는 엔도몰피즘 α: C₀(X)⋊G → C₀(X)⋊G 를 고려한다. 여기서 φ: X → X 는 연속적인 지도이며, U: G → U(H) 는 단위 표현으로, φ와 U가 서로 교환되는 조건을 만족한다. 이러한 조건 하에 α는 K‑이론에서 선형 사상 α_*를 유도하고, 그 유도 사상의 그레이드된 트레이스, 즉 레프셰츠 수 L(α) 를 정의한다.

핵심은 레프셰츠 수를 고정 궤도와 그 궤도에 존재하는 동등군 Gₓ 의 표현론적 특성으로 전환하는 것이다. 저자들은 고정점 집합 Fix(φ) 을 조사하고, 각 고정점 x∈Fix(φ) 에 대해 동등군 Gₓ = {g∈G | g·x = x} 을 정의한다. 그 후, Gₓ 의 유한 차원 복소수 표현들의 차원과, U(g) 가 해당 고정점에서 작용하는 방식(특히 고정점 주변의 국소 좌표계에서의 미분 작용)을 결합하여, 각 고정 궤도에 기여하는 가중치를 계산한다.

이러한 가중치들의 합이 바로 레프셰츠 수와 일치함을 보이기 위해, 저자들은 두 번째 저자가 제시한 “형식적 레프셰츠 보조정리”(formal Lefschetz lemma)를 비가환 설정에 맞게 일반화한다. 이 보조정리는 K‑이론적 쌍대성에서의 캡-프로덕트와 트레이스 맵 사이의 상호작용을 이용해, 고정점 데이터가 K‑이론 사상의 트레이스와 동등함을 보인다. 결과적으로,

L(α) = ∑_{