오비폴드 호흐코시 알제브라의 컵 곱과 링 구조

본 논문은 적절한 에테일 리군드 \(G\) 로부터 정의되는 오비폴드 \(X=G_0/G\) 를 비가환 기하학적 관점에서 연구한다. 첫 번째 목표는 군집체 대수 \(A\rtimes G\) (여기서 \(A=C^\infty(G_0)\) 는 단위 공간 위의 매끄러운 함수들의 쉐이프) 의 Hochschild cohomology와 그 위에 정의되는 컵 곱을 명시적으로 기술하는 것이다. 이를 위해 저자들은 bornological 대수 구조를 도입하고, Bar 복합을 이용해 \(A\rtimes G\) 가 H‑unital임을 보인다. 이후, ‘섬세한 프리셰이브 복합’ \(\mathcal H^\bullet\) 를 정의하고, 전역 섹션이 Hochschild 복합과 quasi‑isomorphic 함을 증명한다. \v{C}ech‑이중복합을 활용해 지역화하면, 복합의 \(E_1\) 페이지는 관성 군집체 \(B_0=\{g\in G_1\mid s(g)=t(g)\}\) 위의 뒤틀린 다중벡터장 \(\Gamma^\infty(\wedge^{\bullet-\ell}TB_0\otimes\wedge^\ell N)\) 로 식별된다. 여기서 \(\ell\) 은 \(B_0\) 의 코디멘션, \(N\) 은 법선 묶음이다. 이 식별을 통해 컵 곱은 두 다중벡터장의 외적을 관성 오비폴드 \(\widetilde X\) 로 끌어올린 형태, 즉 \(