근원단위에서의 K 이론 예외 컬렉션

초록

저자들은 토러스 작용에 대한 등변 K-이론을 원시 1차원 근원단위로 특수화함으로써, 그라스만 다양체와 매끄러운 사각형 등 다양한 종류의 다양체에서 예외 객체들의 순위와 차원에 대한 동치식(합동식)을 도출한다. 특히, 차원들이 고정 소수 (p)의 거듭제곱인 곱프로젝트 공간 (\mathbb{P}^{n_{1}-1}\times\cdots\times\mathbb{P}^{n_{k}-1})에 대해, 모든 예외 객체의 순위가 (\pm1\pmod p)임을 증명한다.

상세 분석

이 논문은 복소수 대수기하학에서 중요한 역할을 하는 파생 범주 (\mathsf{D}^{b}(X))의 예외 컬렉션을 K-이론적 관점에서 연구한다. 핵심 아이디어는 토러스 (T)가 작용하는 스키마 (X)에 대해, (T)-등변 K-이론 (K_{T}(X))을 원시 (m)차 근원단위 (\zeta_{m})에 특수화하는 것이다. 이때, (\zeta_{m})를 대입하면 가중치가 (\mathbb{Z}/m\mathbb{Z})로 축소되면서, K-군의 원소들이 모듈러 동치식으로 변환된다. 저자들은 이러한 특수화가 예외 객체들의 차원(또는 순위)과 차수(또는 Chern 클래스) 사이에 강력한 제약을 부과한다는 점을 보인다.

특히, 그라스만 다양체 (\operatorname{Gr}(k,n))와 매끄러운 사각형 (Q^{n})에 대해, 토러스 고정점이 충분히 많아 (K_{T}(X))이 자유 (\mathbb{Z})-모듈이며, 고정점 기여를 통해 베르누이-베르시코프 정리를 적용할 수 있음을 이용한다. 이 과정에서 각 고정점에 대응하는 가중치들의 곱이 (\zeta_{p}^{\alpha}) 형태로 나타나며, 이를 합산하면 전체 K-이론 클래스가 (\pm1) 모듈러 (p)와 동치임을 얻는다.

논문은 또한 곱프로젝트 공간 (X=\prod_{i=1}^{k}\mathbb{P}^{n_{i}-1})에 대해, 각 (\mathbb{P}^{n_{i}-1})의 차원이 소수 (p)의 거듭제곱이라는 가정 하에, 토러스 (T=(\mathbb{G}_{m})^{k})의 작용을 고려한다. 여기서 고정점은 각 좌표축의 교차점이며, 그에 대응하는 가중치들은 모두 (p)의 거듭제곱인 차원과 연관된다. 특수화 후 얻어지는 합동식은
\