[논문 리뷰] JET BUNDLES ON PROJECTIVE SPACE: NEW EXAMPLES

Helge Øystein Maakestad|arXiv (Cornell University)|2012. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 2

한 줄 요약

이 논문은 프로젝티브 공간 Pⁿ에서 차원이 1보다 큰 모든 경우에 대해, 왼쪽과 오른쪽 O-모듈러 구조가 서로 미분류인 제트 번들의 첫 번째 알려진 예를 J¹(O(l))의 일阶주조 부분층을 통해 구성한다. 주요 결과는 이러한 구조들이 다르지만, 이들의 대응하는 K-이론 클래스는 일반화된 아티야 클래스에 의해 감지되며, 동일하다는 것이다. 이 작업은 아티야 수열과 아티야 클래스를 임의의 링드 위상공간으로 일반화하고, 이러한 조건 하에서 제트 번들의 K-이론 불변성을 증명한다.

ABSTRACT

In previous papers it was shown that the left and right O-module structure of the jet bundles on the projective line differed. In this paper we show that similar statements hold for jet bundles on projective space in any dimension. We also consider some classes associated to jet bundles in the algebraic K-theory of projective space.

연구 동기 및 목표

• 프로젝티브 공간에서 차원이 1보다 큰 경우에 대해, 왼쪽과 오른쪽 O-모듈러 구조가 서로 미분류인 제트 번들의 첫 번째 예를 구성하는 것.
• 임의의 링드 위상공간에 대해 아티야 수열과 아티야 클래스를 일반화하는 것.
• 이러한 서로 미분류인 제트 번들의 K-이론에서의 동치류가 동일함을 증명하는 것.
• 클래식한 매끄러운 스킴의 설정을 넘어서 제트 번들과 특성류의 이론을 확장하는 것.

제안 방법

• 임의의 링드 위상공간 (X, O)에서 유도자 d: O → I에 대해, I를 왼쪽과 오른쪽 O-모듈러로 아벨화한 일반화된 아티야 수열을 정의한다.
• 공식 (2.1.1)과 (2.1.2)를 통해 명시적인 왼쪽 및 오른쪽 O-모듈러 구조를 가진 일阶 제트 번들 J(E) = I ⊗O E ⊕ E 를 구성한다.
• 일반화된 아티야 수열이 오른쪽으로 분할됨을 증명하여, 일반화된 아티야 클래스가 0이 되는 것과 왼쪽 및 오른쪽 구조가 서로 미분류임이 동치임을 밝힌다.
• 프로젝티브 번들의 공식을 사용하여 K(Pⁿ)의 그로텐디크 군을 계산하고, t = 1 - [O(-1)] 를 통해 Z{1, t, ..., tⁿ⁻¹} 와 동형임을 식별한다.
• K-이론 동형을 적용하여, 임의의 k ≥ 1 및 국소적으로 자유로운 E에 대해 K(X)에서 [Jᵏ(E)left] = [Jᵏ(E)right] 임을 인도법과 Symᵏ(Ω¹_X/S) ⊗ E 의 아벨화 성질을 통해 보인다.
• 선다발 O(l) 에서 Pⁿ 상에서 J¹(O(l)) 의 왼쪽 및 오른쪽 구조는 서로 미분류임을 보여주지만, K-이론 클래스는 동일하다.

실험 결과

연구 질문

• RQ1 차원이 1보다 큰 프로젝티브 공간에서 제트 번들의 왼쪽과 오른쪽 O-모듈러 구조를 서로 미분류로 구성할 수 있는가?
• RQ2 일반화된 아티야 클래스는 제트 번들의 왼쪽과 오른쪽 모듈러 구조의 미분류성을 감지하는 데 어떤 역할을 하는가?
• RQ3 이러한 서로 미분류인 제트 번들의 K-이론 동치류는 동일한가?
• RQ4 아티야 수열과 아티야 클래스는 어떻게 임의의 링드 위상공간으로 일반화할 수 있는가?
• RQ5 기저 스킴이 미분적으로 매끄럽지 않은 경우에도 제트 번들의 K-이론 불변성이 유지되는가?

주요 결과

• 논문은 n ≥ 2 인 Pⁿ 에서 J¹(O(l)) 의 왼쪽과 오른쪽 O-모듈러 구조가 서로 미분류임을 명시적으로 구성하여 오랫동안 남아있던 열린 문제를 해결한다.
• 모든 n ≥ 1 에 대해 Pⁿ 상에서 O(l) 의 일반화된 아티야 수열은 오른쪽으로 분할되지만, 일반화된 아티야 클래스가 0이 아니므로 왼쪽과 오른쪽 O-모듈러 구조는 서로 미분류임을 보여준다.
• J¹(O(l)) 가 왼쪽 O-모듈러로 볼 때와 오른쪽 O-모듈러로 볼 때의 동치류는 그로텐디크 군 K(Pⁿ) 내에서 동일하다. 이는 프로젝티브 번들의 공식과 K-이론 동형을 통해 증명된다.
• 일반화된 아티야 클래스 a(E) ∈ Ext¹(O, Ω¹ ⊗ E) 는 오직 오직 왼쪽과 오른쪽 O-모듈러 구조가 서로 미분류일 때에만 0이 되며, 이는 코homological한 장벽을 제공한다.
• 모든 k ≥ 1 과 미분적으로 매끄러운 X/S 상의 국소적으로 자유로운 E 에 대해, [Jᵏ(E)left] 와 [Jᵏ(E)right] 는 K-이론에서 동일하다. 이는 Symᵏ(Ω¹) ⊗ E 의 아벨화 성질 때문이지만, 이는 일반화된 아티야 클래스의 성질에 기반한다.
• P¹ 상의 선다발의 경우, 일반화된 아티야 클래스 a(O(l)) 는 H¹(P¹, Ω¹) 에 속하는 첫 번째 체르니클 클래스 c₁(O(l)) 와 대응되며, a(O(l)) = 0 이 되는 것은 오직 왼쪽과 오른쪽 구조가 서로 미분류일 때에만 성립한다.