스테펠 다양체의 모티브 코호몰로지 완전 계산

본 논문은 “스테펠 다양체”라 불리는, n×m 행렬 중 랭크가 정확히 m인 부분집합 V_{n,m}에 대한 모티브 코호몰로지를 완전히 계산한다. 연구 동기는 모티브 코호몰로지가 대수기하학에서 중요한 불변량이며, 특히 GL_n 과 같은 군 스키마의 코호몰로지는 다양한 응용(예: 고전적 특성 클래스, K-이론, 동형론)에서 핵심적인 역할을 한다는 점에 있다. 그러나 V_{n,m}은 GL_n 의 열린 부분집합이면서도 베이스포인트를 포함한 Tate 서스펜션 구조와 깊은 연관을 가지고 있어, 기존 결과를 직접 적용하기는 어렵다. 논문은 다음과 같은 흐름으로 전개된다. 1. **배경 및 정의** (Section 1): 스테펠 다양체 V_{n,m}을 스키마 이론적으로 정의하고, 그가 A¹-연결된 스키마임을 보인다. 또한, 모티브 코호몰로지 H^{p,q}(X,ℤ)와 그 기본 성질(베타-정리, 장축 전이 등)을 요약한다. 2. **GL_n 과의 비교** (Section 2): V_{n,m}이 GL_n 의 열린 부분집합임을 이용해, 두 스키마 사이의 A¹-동등성을 구축한다. 핵심은 V_{n,m}↪GL_n 이 포함 사상으로, 여집합이 차원 ≥ n·(m+1)인 고차원 폐쇄 부분집합이므로 A¹-동등성에 영향을 주지 않는다는 Lemma 2.3이다. 3. **Tate 서스펜션과 ℙ^{n‑1}** (Section 3): GL_n 을 (ℙ^{n‑1})⁺의 (m‑1)번 Tate 서스펜션 Σ_T^{m‑1}ℙ^{n‑1}_+ 와 A¹-동등하게 만든다. 여기서 ℙ^{n‑1}에 베이스포인트를 추가한 스페이스를 + 로 표기하고, Σ_T는 ℙ¹-스펙트럼에 대한 Tate 서스펜션을 의미한다. Proposition 3.5는 이 동등성을 명시적으로 구성하고, 그 증명은 전통적인 셀 분해와 A¹-호몰로지의 Mayer‑Vietoris 시퀀스를 결합한다. 4. **모티브 코호몰로지 계산** (Section 4): 위 동등성을 이용해 V_{n,m}의 모티브 코호몰로지를 계산한다. 먼저 GL_n 의 코호몰로지가 ℤ