박스 스플라인과 등변 지표 정리

초록

본 논문은 컴팩트 토러스 G가 선형 작용을 하는 벡터 공간 M에 대해, 박스 스플라인의 반컨볼루션 연산이 토러스의 적분동형론과 K-이론 사이의 변환을 어떻게 구현하는지를 밝힌다. 특히, Todd 클래스와의 곱셈이 박스 스플라인의 반컨볼루션과 일치함을 보이고, 이를 이용해 G-횡단 타원 연산자의 지표 다중도를 구한다.

상세 분석

논문은 먼저 박스 스플라인(B‑spline)의 반컨볼루션 연산에 대한 역공식(inversion formula)을 상세히 재구성한다. 이 역공식은 반정수격자(lattice) 위에서 정의된 반이산(convolution) 연산을 해제하는데, 이는 전통적인 연속 컨볼루션의 푸리에 변환 해석과는 다른, 반이산적인 푸리에 변환 기법을 필요로 한다. 저자는 이러한 연산을 ‘deconvolution operator’라 명명하고, 이를 토러스 G의 리 대수 𝔤* 혹은 군 Ĝ(dual group) 위의 분포공간에 작용시키는 방법을 제시한다.

다음으로, G‑작용을 갖는 벡터 공간 M에 대한 등변 코호몰로지 H_G^(M)와 등변 K‑이론 K_G(M)을 각각 분포공간 D(𝔤)와 D(Ĝ)와 동형시킨다. 여기서 핵심은 두 이론 사이의 Chern‑character와 Todd 클래스가 만드는 사상이다. 저자는 Chern‑character를 통해 K_G(M)→H_G^*(M) 사상이 분포의 푸리에 변환 형태로 표현될 수 있음을 보이며, 특히 Todd 클래스와의 곱셈이 바로 앞서 정의한 박스 스플라인의 반컨볼루션 연산과 동일함을 증명한다. 이는 전통적인 알제브라적 Todd 클래스가 실제로는 ‘반컨볼루션 연산자’라는 새로운 해석을 제공한다는 점에서 의미가 크다.

마지막으로, G‑횡단 타원 연산자(D‑transversally elliptic operator)의 상징(symbol)과 그 무한소 인덱스(infinitesimal index)를 이용해 지표의 다중도(multiplicity)를 계산한다. 무한소 인덱스는 앞서 구축한 분포공간에서의 선형 함수로서, 박스 스플라인의 반컨볼루션을 적용한 후 얻어지는 결과와 정확히 일치한다. 따라서, 복잡한 대수적 계산 없이도 다중도를 직접적으로 구할 수 있는 실용적인 방법을 제공한다. 전체 흐름은 ‘분포 → 푸리에 변환 → 반컨볼루션 → Todd 클래스 → 지표 다중도’라는 일련의 변환 사슬로 요약될 수 있다.

이러한 결과는 특히 G‑작용이 비자명한 고차원 경우나, 전통적인 Atiyah‑Segal‑Singer 등변 지표 정리의 직접 적용이 어려운 상황에서 강력한 계산 도구가 된다. 또한, 박스 스플라인과 등변 위상수학 사이의 새로운 연결 고리를 제시함으로써, 수치해석, 조합론, 그리고 대수기하학 분야 간의 교류를 촉진할 가능성을 열어준다.