Derived representation schemes with arbitrary coefficients and associative smoothness

기술 요약: 임의의 계수를 가진 유도 표현 스킴과 결합적 매끄러움

문제 정의
본 논문은 결합 대수(associative algebras)의 형식적 매끄러움(formal smoothness)을 탐지하는 데 있어 고전적인 표현 호몰로지(representation homology)가 가진 한계를 다룬다. 유도된 콘체비치-로젠버그 원리(derived Kontsevich–Rosenberg principle)는 대수 $A$의 기하학적 성질이 그 유도 표현 스킴 $DRep_V(A)$에 반영되어야 함을 시사하지만, 기존의 결과들(특히 Berest–Felder–Ramadorn의 소멸 정리)은 $A$가 형식적으로 매끄러울 경우 고차 표현 호몰로지 $HR_i(A, V)$가 $i > 0$에 대해 소멸함을 보여준다. 그러나 역은 성립하지 않는다. 즉, 특정 양자 평면(quantum planes)과 같이 비매끄러운 대수들이 계수를 행렬 대수 $End_k(V)$로 제한할 경우 고차 표현 호몰로지가 소멸하는 사례가 존재한다. 핵심적인 문제는 계수의 범위를 행렬 대수를 넘어 임의의 유한 차원 대수로 확장했을 때, 형식적 매끄러움을 특징지울 수 있는 더 강력한 매끄러움 테스트를 얻을 수 있는지 여부이다.

방법론
저자는 표준 계수 대수인 $End_k(V)$를 임의의 유한 차원 $k$-대수 $M$으로 대체함으로써 표현 호몰로지의 프레임워크를 일반화한다.

1. 일반화된 계수: 계수 $M$을 가진 $A$의 표현은 대수 준동형 사상 $A \to M$으로 정의된다. 이와 관련된 유도 스킴을 $DRep_M(A)$라 하며, 그 호몰로지를 $HR_*(A, M)$이라 한다.
2. 소멸 정리 증명: 모든 유한 차원 계수에 대해 형식적 매끄러움이 고차 표현 호몰로지의 소멸을 함을 증명하기 위해, 저자는 이전의 증명들(예: Ciocan-Fontanine–Kapranov)에서 사용된 "국소적으로 유한 차원인 기저 DG 대가를 가진 반자유 분해(semifree resolution)" 가설을 피한다. 대신, 저자는 다음을 활용하여 증명을 수행한다:
   • 코탕젠트 복합체(cotangent complex)를 이용한 비교 논증.
   • 모든 점에서의 유도 접공간(derived tangent spaces)에 동형을 유도하면 DG 스킴 간의 사상이 준동형(quasi-isomorphism)이 된다는 Neeman의 점별 탐지 정리(Lemma 2.11 in [15]).
   • 유도 접공간 $\pi_i(DRep_M(A), \rho)$를 Hochschild 코호몰로지 그룹 $HH^{i+1}(A, M_F)$와 동일시함.
3. 반례 구축: 임의의 계수가 가지는 증가된 민감도를 입증하기 위해, 저자는 계수로 엄격한 상삼각 행렬 대수인 $(\mathfrak{n}_3)^+$를 사용하여 양자 평면 $k[x,y]_q$와 조르단 평면(Jordan plane)에 대한 표현 호몰로지를 명시적으로 계산한다. 이 과정에서 비자명한 호몰로지를 보이기 위해 코쉴 복합체(Koszul complexes)를 구성한다.
4. 유한 차원 대수에 대한 특징화: $A$ 자체가 유한 차원인 경우, 저자는 테스트 계수로 자명 확장(trivial extension) $A \ltimes N$을 활용하여 소멸 정리의 역을 증명한다.

주요 기여 및 결과

• 정리 3.4 (일반화된 소멸): $A$가 유한 생성된 형식을 갖는 매끄러운 $k$-대수이면, 임의의 유한 차원 $k$-대수 $M$에 대해 모든 $i > 0$에 대하여 $HR_i(A, M) = 0$이다.

  • 의의: 이는 $A$의 반자유 분해에 대한 "국소적으로 유한 차원"이라는 기술적으로 까다로운 조건을 요구하지 않고, $A$의 유한성과 코탕젠트 복합체의 성질에 의존하여 알려진 소멸 정리를 회복한다.

• 비매끄러움의 탐지 (정리 4.1 & 4.2): 본 논문은 비행렬 계수를 가진 표현 호몰로지가 행렬 계수로는 보이지 않는 특이점(singularities)을 탐지함을 보여준다.

  • 양자 평면 $k[x,y]_q$ ($q$가 루트 단위가 아닐 때), $HR_1(k[x,y]_q, (\mathfrak{n}_3)^+) \neq 0$이다.
  • 조르단 평면 $k[x,y]_J$, $HR_1(k[x,y]_J, (\mathfrak{n}_3)^+) \neq 0$이다.
  • 이러한 결과들은 행렬에서 임의의 유한 차원 계수로 전환하는 것이 엄격하게 더 강력한 매끄러움 테스트를 제공함을 확인시켜 준다.

• 정리 4.3 (유한 차원 대수에 대한 특징화): 대수적 폐체 $k$ 위의 유한 차원 $k$-대수 $A$에 대하여, $A$가 형식을 갖는 매끄러운 대수일 필요충분조건은 모든 유한 차원 대수 $M$에 대해 모든 $i > 0$에 대하여 $HR_i(A, M) = 0$인 것이다.

  • 메커니즘: 증명은 테스트 계수로 자명 확장 $M = A \ltimes N$을 사용한다. $HR_i(A, A \ltimes N)$의 소멸은 모든 유한 차원 양측 모듈 $N$에 대해 $HH^{i+1}(A, N)$의 소멸을 의미하며, 이는 유한 차원 대수에 대한 형식적 매끄러움을 특징짓는다.

• 부록 (비교 기준): 저자는 주 증명의 핵심 논증을 분리하여 DG 스킴에 대한 일반적인 비교 기준(Proposition A.4)을 확립한다. 이 결과는 "DG-다양체"라는 특정 구조적 제약을 요구하는 대신, 기저 스킴이 국소적 노터(locally Noetherian)이기만 하면 되는 더 약한 가설 하에서 Ciocan-Fontanine–Kapranov 비교 정리를 회복한다.

의의 및 주장
본 논문은 임의의 유한 차원 계수를 가진 유도 표현 스킴이 고전적인 행렬 값 버전보다 "엄격하게 더 강력한 매끄러움 테스트"를 제공한다고 주장한다.

• 철학적 일치: 이러한 결과들은 임의의 계수를 가진 표현 호몰로지가 결합적 매끄러움의 완전한 호몰로피적 특징화를 제공할 수 있음을 시사함으로써, 유도된 콘체비치-로젠버그 원리를 지지한다.
• 한계 및 열린 질문: 저자는 일반적인 유한 생성 노터 대수에 대한 소멸 정리의 역(converse)을 열린 문제(Question 1)로 명시적으로 남겨두었다. 유한 차원 대수에 대해서는 역이 증명되었으나, 저자는 일반적인 경우를 해결했다고 주장하지 않는다.
• 모리타 불변성(Morita Invariance): 저자는 유한 차원 계수를 가진 표현 호몰로지가 (형식적 매끄러움 자체와 달리) 모리타 불변이 아님을 언급하며, 대수적 성질과 그 표현론적 불변성 사이의 근본적인 차이를 강조한다.

요약하자면, 본 연구는 계수 클래스를 확장함으로써 표현 호몰로지의 알려진 반례들을 해결하고, 비매끄러움을 탐지하는 견고한 도구를 구축하며, 중요하면서도 특수한 유한 차원 대수 클래스에 대해 완전한 특징화를 제공한다.