Relative tensor products and Koszul duality in monoidal oo-categories

기술 요약: 모노이달 $\infty$-범주에서의 상대적 텐서 곱과 코쉬ul 쌍대성

문제 제기
본 논문은 모노이달 $\infty$-범주 설정 내에서 상대적 텐서 곱의 기초 이론과 코쉬ul 쌍대성(Koszul duality)에 대한 응용을 다룬다. 구체적으로, 본 연구는 Lurie의 Higher Algebra [15]에서 확립된 코쉬ul 쌍대성 프레임워크를 대수(algebra)뿐만 아니라 모듈(module)까지 포함하도록 일반화하는 것을 목표로 한다. Lurie의 구성은 증강 대수(augmented algebras)와 증강 여코대수(augmented coalgebras) 사이의 인접 관계(adjunction)를 제공하지만, (증강 대수, 모듈) 쌍과 (증강 여코대수, 코모듈) 쌍 사이의 인접 관계로 확장하기 위해서는 외부 상대적 텐서 곱을 통해 이항 모듈(bimodules)이 모듈에 작용하는 방식에 대한 견고한 이해가 필요하다.

저자들이 식별한 핵심적인 기술적 난제는 $A$-$A$-이항 모듈의 모노이달 $\infty$-범주가 좌 $A$-모듈의 $\infty$-범주에 작용하는 좌측 작용(left action)을 구축하는 것이다. 기존 문헌(포함하여 [15])은 종종 단위 대상(unit object)이 터미널(terminal)이거나 텐서 곱이 모든 기하적 실현(geometric realizations)과 가환적이라는 막연한 가정을 전제했다. 저자들은 단위 대상이 터미널이 아닌 경우와 실현과의 호환성이 특정 클래스의 대수(바-호환적 대수, bar compatible algebras)로 제한되는 경우를 모두 처리할 수 있도록 이러한 구성을 정교화하고자 한다.

방법론
저자들은 $\infty$-오퍼라드(operad)와 이중 $\infty$-범주(double $\infty$-categories) 이론에 뿌리를 둔 직접적이고 구성적인 접근 방ط을 채택한다. 저자들의 방법론은 다음과 같은 단계로 진행된다:

1. 이항 모듈의 이중 $\infty$-범주 정교화:
   본 논문은 Lurie의 모리타 이중 $\infty$-범주(Morita double $\infty$-category) 구성을 정교화한다. 모노이달 범주 $\mathcal{C}$가 텐서 곱과 호환되는 모든 기하적 실현을 가진다고 가정하는 대신, 저자들은 "바-호환적(bar compatible)"인 대수 $\mathcal{A}$의 클래스에 주의를 집중한다. 저자들은 $[\text{n}]$에 대한 파이버(fiber)가 $\mathcal{A}$-다중 모듈(multimodules)로 구성되는 이중 $\infty$-범주 $\text{BMod}_{\mathcal{A}}(\mathcal{C})^{\boxtimes}$를 구축한다. 이를 통해 전역적인 실현의 존재를 요구하지 않고도 상대적 텐서 곱을 구축할 수 있다.

2. LM-모노이달 작용의 구축:
   핵심적인 기술적 혁신은 LM-모노이달 $\infty$-범주 $\text{BLMod}_{\mathcal{A}}(\mathcal{C})^{\otimes}$를 구축하는 것이다. 이 범주는 $A$-$A$-이항 모듈의 모노이달 $\infty$-범주($\text{BMod}_{A}^{A}(\mathcal{C})$)가 좌 $A$-모듈의 $\infty$-범주($\text{LMod}_{A}(\mathcal{C})$)에 작용함을 보여준다. 이는 이중 $\infty$-범주의 수평 모르핌(horizontal morphisms)의 $\infty$-범주를 정의하고, 이러한 모르핌에 대한 수평 엔도모르핌(horizontal endomorphisms)의 작용을 구축함으로써 달성된다. 이 작용은 상대적 텐서 곱 $N \otimes_A M$에 의해 명시적으로 주어진다.

3. BM-모노이달 범주로의 일반화:
   단위 대상이 터미널이 아닌 경우를 처리하기 위해, 저자들은 (잠재적으로 서로 다른 두 모노이달 범주 위의 이항 모듈인) 더 일반적인 BM-모노이달 $\infty$-범주 프레임워크 내에서 작업한다. 저자들은 일반화된 $\infty$-오퍼라드 $\text{Tens}^{\otimes}_{\vec{\nabla}}$를 구축하고 이를 사용하여 "외부적" 상대적 텐서 곱을 정의한다. 이를 통해 단위 대상이 터미널이 아니더라도 슬라이스 범주(slice category) $\mathcal{C}_{/1}$를 통해 비틀린 화살표 범주(twisted arrow category) $\text{TwArr}(\mathcal{C})$를 LM-모노이달 범주로 다룰 수 있다.

4. 표현 가능성을 통한 코쉬ul 쌍대성:
   코쉬ul 쌍대성 구축의 핵심은 "좌 표현 가능한 페어링(left representable pairings)" 개념에 달려 있다. 저자들은 LM-모노이달 페어링 $\lambda$를 정의하고, 특정 가정(바 구성의 실현 존재, 특정 대수의 자명성, 그리고 토탈리제이션(totalization) 능력) 하에서 유도된 모듈 범주 상의 페어링이 좌 표현 가능하다는 것을 증명한다. 이는 쌍대성 함수 $D_{\text{Ksz}}$를 산출한다.

주요 기여 및 결과

• 외부 상대적 텐서 곱: 본 논문은 외부 상대적 텐서 곱 $N \otimes_A M$을 통해 $A$-$A$-이항 모듈이 좌 $A$-모듈에 작용함을 구축한다. 저자들은 "내부적"인 경우($\mathcal{C} = \mathcal{M}$)조차도 이전 문헌에서는 부재했던 것으로 보인다고 언급한다.
• 모듈을 위한 코쉬ul 쌍대성: 주요 결과(정리 9.4.3)는 증강 모듈 $\text{LMod}_{\text{aug}}(\mathcal{C})$와 증강 코모듈 $\text{coLMod}_{\text{aug}}(\mathcal{C})$ 사이의 인접 관계를 확립한다.
  • 함수 $D_{\text{Ksz}}$는 쌍 $(A, X)$ (증강 대수와 그 모듈)를 쌍 $(1 \otimes_A 1, 1 \otimes_A X)$로 사상한다.
  • 대상 $1 \otimes_A 1$은 코쉬ul 쌍대 코대수이며, $1 \otimes_A X$는 쌍대 코모듈의 기저 대상이다.
• 가정의 완화: 본 구성은 다음을 통해 Lurie의 결과를 일반화한다:
  • 단위 대상을 터미널이 아니게 허용함 (슬라이스 $\mathcal{C}_{/1}$와 관련된 LM-모노이달 범주로 넘어감으로써).
  • 텐서 곱이 실현과 호환되어야 하는 조건을 모든 대수가 아닌 특정 클래스(바-호환적 대수)로 제한함.
• 비틀린 화살표 범주 실현: 저자들은 기저 범주가 실현을 가진다면 비틀린 화살표 범주 $\text{TwArr}(\mathcal{C})$가 텐서 곱과 호환되는 바 구성의 실현을 가진다는 것을 입증한다. 이는 코쉬ul 쌍대성 함수를 위한 설정으로서 비틀린 화살표 범주의 사용을 정당화한다.

의의 및 주장

저자들은 본 작업을 Lurie의 Higher Algebra [15]에 대한 "반-설명적(semi-expository)" 확장으로 위치시키며, 특히 상대적 텐서 곱과 모듈에 대한 적용에 관한 "다소 압축적인 설명"을 다루고 있다고 밝힌다.

• 개념적 명료성: 본 논문은 모듈에 대한 코쉬ul 쌍대성에 대해 "일관되고 개념적으로 만족스러운 그림"을 제공한다고 주장한다. 이항 모듈이 모듈에 작용하는 방식을 명시적으로 구축함으로써, 저자들은 대수 쌍대성에서 모듈 쌍대성으로의 업그레이드를 명확히 하고자 한다.
• 기초적 유용성: 저자들은 이중 $\infty$-범주에서 엔도모듈 범주가 모르핌 범주에 작용하는 것에 대한 기초적 연구가 독립적인 관심사라고 언급한다.
• 일반성에 대한 겸손함: 저자들은 자신들의 "직관적인 접근 방식"이 텐서 곱과 리미트(limit) 간의 호환성에 관한 가정을 필요로 한다는 점을 인정한다. 저자들은 이후 Brantner–Campos–Nuiten [4]의 연구가 보다 간접적인 방식으로 이러한 가정들이 불필요함을 보여주었다고 언급한다. 그러나 저자들은 자신들의 직접적인 구성이 기술적 가정은 덜 일반적일지라도, 모듈의 특정 사례에 대해서는 더 명확한 개념적 프레임워크를 제공한다고 주장한다.
• 모티브(Motives)에 대한 응용: 본 논문은 증강 대수의 코쉬ul 쌍대생이 스킴(scheme)의 경로의 토르서(torsors of paths) 및 유니포턴트 근본군(unipotent fundamental group)과 어떻게 연관되는지를 통해, 모티브 내의 가환 대수 연구에 대한 잠재적 응용을 짧게 예시한다. 이는 완성된 응용이라기보다 향후 연구 방향으로 제시된다.

요약하자면, 본 논문은 모노이달 $\infty$-범주에서 모듈에 대한 코쉬ul 쌍대성을 구축하기 위해 엄밀하고 단계적인 과정을 제공하며, 이항 모듈과 모듈 사이의 상호작용에 관한 문헌의 공백을 메우고, 비터미널 단위 대상을 수용하기 위해 필요한 기술적 가정을 정교화한다.