확장된 코호프 아크 대수의 A∞ 변형과 스트로펠 추측 반증

초록

본 논문은 확장된 코호프 아크 대수 Kⁿ_m 에 대해 스트로펠이 제시한 Hochschild 공동동치 사라짐 추측이 m,n ≥ 2 인 경우 성립하지 않음을 보인다. 저자들은 Kⁿ_m 을 쿼터와 관계식으로 표현하고, 그 코시볼 이중체와의 관계를 이용해 비자명한 A∞ 변형을 명시적으로 구성한다. 결과적으로 Kⁿ_m 은 내재적으로 형식적이지 않으며, 고차 곱이 존재함을 증명한다.

상세 분석

논문은 먼저 확장된 코호프 아크 대수 Kⁿ_m 을 k‑선형 quiver Qⁿ_m 와 이중 사상 Iⁿ_m 으로 정의한다. Qⁿ_m 은 이분 그래프 Γⁿ_m 의 이중 쿼터이며, Iⁿ_m 은 세 종류의 2차 관계식으로 생성된다. 이러한 구성을 통해 Kⁿ_m 이 Koszul 대수임을 확인하고, 그 코시볼 이중체 (Kⁿ_m)^! 을 Qⁿ_m^{op} 위의 관계식 (Iⁿ_m)^{⊥} 으로 기술한다. 저자들은 Bergman의 다이아몬드 정리를 활용해 (Kⁿ_m)^! 에 대한 감소 시스템 Rⁿ_m 을 구축하고, 이 시스템이 완전하고 무모순임을 증명한다. 특히, 비가환 경로들의 불변량을 Kazhdan–Lusztig 다항식과 연결시켜, 비가환 구조의 복잡성을 정량화한다.

그 다음 단계에서는 Koszul 이중성에 의해 Hochschild 공동동치 HH^{2i-2}(Kⁿ_m,Kⁿ_m) 와 (Kⁿ_m)^! 의 2‑차 변형 사이에 일대일 대응이 존재함을 이용한다. 저자들은 Rⁿ_m 의 첫 번째 차수 변형 \tilde Rⁿ_m 을 명시적으로 정의하고, 이 변형이 비자명한 2‑차 Hochschild 클래스를 생성함을 보인다. Keller의 이중성 정리(정리 4.2)를 적용하면, 해당 클래스가 Kⁿ_m 의 Hochschild 공동동치에서도 1‑차원임을 얻는다.

마지막으로, 이러한 2‑차 변형을 필터드 연관 변형으로 승격시키고, 단순 모듈들의 파생된 엔도알제브라의 최소 모델을 이용해 A∞ 구조를 복원한다. 구체적으로, 비자명한 고차 곱 m₃, m₄ … 이 존재함을 보이며, 이는 Kⁿ_m 이 내재적으로 형식적이지 않다는 결론으로 이어진다. 특히 K²_2 의 경우, 그림 11 에 나타난 대수적·도식적 변형을 통해 전체 구조를 직관적으로 설명한다.

이러한 결과는 스트로펠이 제시한 “HH^{2i-2}(Kⁿ_m,Kⁿ_m)=0 (i≠0)”라는 추측을 m,n ≥ 2 에 대해 반증한다. 또한, Fukaya–Seidel 카테고리 FS(Xⁿ_m,πⁿ_m) 와의 동형성 관점에서, 해당 카테고리 역시 비형식적이며, 고차 A∞ 구조가 존재함을 시사한다. 이는 코호프 호몰로지, 저차원 위상수학, 그리고 파라볼릭 Category O 이론 사이의 깊은 연결고리를 새롭게 조명한다.