칼다루루 추측과 티시간 형식성: 토드 클래스가 연결하는 프리칼큘루스

초록

본 논문은 칼다루루의 추측을 완전히 증명한다. 구체적으로, 다항벡터장 위의 미분형식 모듈 구조와 호흐시드 동류 위의 호흐시드 코호몰로지 모듈 구조가 토드 클래스의 제곱근으로 꼬임(twist)될 때 정확히 일치함을 보인다. 이를 위해 형식기하와 페도프 해석을 이용해 Kontsevich‑Shoikhet 형태성 정리를 전역화하고, Maurer‑Cartan 꼬임과 캡 곱 호환성을 활용한다. 주요 결과는 파생 범주 D(X)에서의 프리칼큘루스 사상들의 교환 사각형과, 이를 통한 칼다루루‑티시간 추측의 완전한 증명이다.

상세 분석

이 논문은 먼저 Lie 알gebroid L의 Atiyah 클래스 A(L)와 그로부터 정의되는 Todd 클래스 td(L)를 상세히 전개한다. Atiyah 클래스는 전역 L‑연결이 존재하지 않을 때의 장애 요소이며, td(L)=det( A(L)·(1−e^{−A(L)})^{−1}) 로 표현된다. 이어 Gerstenhaber 대수와 precalculus 구조를 도입한다. Gerstenhaber 대수는 Lie 괄호와 cup‑product를 동시에 갖는 graded vector space이며, precalculus는 이 위에 contraction(ι)와 Lie‑derivation(L)이라는 두 연산을 추가해 모듈 구조와 Lie‑module 구조를 동시에 만족하도록 만든다.

다항벡터장 sheaf T_{poly}^L(X)와 다항 미분연산자 sheaf D_{poly}^L(X) 사이의 HKR(호흐시드‑코스탄트‑로젠버그) 준동형사상은 일반적으로 precalculus 구조를 보존하지 않는다. 저자들은 이를 해결하기 위해 sqrt(td(L)) 로 꼬인 연산 (√td(L)∧−) 을 도입한다. 이 꼬임은 precalculus 구조를 정확히 일치시키는 데 필수적이며, Theorem 1.1에서 D(X) 내의 교환 사각형으로 명시된다.

기술적인 핵심은 형식기하(formal geometry)를 이용한 Fedosov 해석이다. 저자들은 L‑알gebroid에 대한 Fedosov 해석을 구축하고, 이를 통해 지역적인 Kontsevich‑Shoikhet 형태성 quasi‑isomorphism을 전역적인 L∞‑quasi‑isomorphism으로 승격한다. 특히 Shoikhet의 quasi‑isomorphism이 Maurer‑Cartan 꼬임 후 cap‑product와 호환된다는 최근 결과(