APS 지수 클래스와 고차 서명에 대한 곱 공식

본 논문은 Atiyah‑Patodi‑Singer(AP​S) 경계조건을 일반화하여, C⁎‑벡터 번들을 장착한 Dirac 연산자에 대한 K‑이론적 지수 클래스의 곱 공식을 체계적으로 구축한다. 먼저, 유향이며 경계가 있는 짝 차원 매니폴드 M과 폐곡면 N을 고려한다. 각각에 대해 유니터리 평탄 번들 F_M (A‑벡터 번들)와 F_N (B‑벡터 번들)을 선택하고, 이들 위에 Dirac 연산자 ∂_M, ∂_N을 정의한다. 전통적인 APS 경계조건은 스펙트럼 투영을 이용해 정의되지만, 이는 곱 구조에 대해 닫히지 않는다. 저자는 ‘대칭 스펙트럴 섹션’ 개념을 확장하여, 임의의 반전 연산자 z에 대해 z‑대칭성을 만족하는 새로운 경계조건 A를 도입한다. 이때 A는 ∂_M의 경계 연산자 D_∂M에 대해 ‘trivializing operator’ 역할을 하며, D_M(A)는 Fredholm 연산자로서 K‑이론 클래스