[논문 리뷰] Second Chern numbers of vector bundles and higher adeles

Denis Vasilievich Osipov|arXiv (Cornell University)|2017. 06. 22.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 대수적 K-이론을 사용하지 않고, 아델 전이 행렬과 ℤ에 대한 GL_n(𝔸_X)의 중심 확장에 기반하여, 완전체 위의 매끄럽고 사영인 표면 위의 벡터 번들의 두 번째 체르넘 수를 새롭게 구성한다. 이 방법은 국소적으로 선형적으로 컴팩트한 벡터 공간에서 유래하는 자연스러운 ℤ-토르스를 이용하며, 전이 행렬을 중심 확장으로 올리면 그 곱이 정수로서 두 번째 체르넘 수를 얻게 되어, 분석적 리만-로흐 증명과 유사한 새로운 접근을 제공한다.

ABSTRACT

We give a construction of the second Chern number of a vector bundle over a smooth projective surface by means of adelic transition matrices for the vector bundle. The construction does not use an algebraic $K$-theory and depends on the canonical $\mathbb{Z}$-torsor of a locally linearly compact $k$-vector space. Analogs of certain auxiliary results for the case of an arithmetic surface are also discussed.

연구 동기 및 목표

• 대수적 K-이론에 의존하지 않고, 매끄럽고 사영인 표면 위의 벡터 번들의 두 번째 체르넘 수를 대체적이고 기본적인 방법으로 구성하는 것.
• 두 번째 체르넘 수와 ℤ에 대한 GL_n(𝔸_X)의 중심 확장에서의 올림의 교환자 간의 관계를 설정하는 것.
• 실수 값의 토르스를 통해 아르키메데스 성분을 포함시켜 산술 표면으로 이 구성의 확장을 이루는 것.
• ℝ₊*에 대한 중심 확장을 사용하여 이론을 산술적 경우로 일반화하고, 산술 리만-로흐 및 노이터 공식에의 응용을 가능하게 하는 것.

제안 방법

• 완전체 k 위의 매끄럽고 사영인 표면 X에 대해 파르신-벨린슨 아델 링 𝔸_X를 구성한다.
• 표면 X 위의 서브다이버터를 통한 필터링에서 유래하는 국소적으로 선형적으로 컴팩트한 k-벡터 공간의 차원 이론에 대한 자연스러운 ℤ-토르스를 이용한다.
• 𝔸_X^n 위의 토르스 구조를 사용하여 GL_n(𝔸_X)에 대한 ℤ에 대한 중심 확장 𝔾𝕃̃_n(𝔸_X)을 정의한다.
• 첫 번째 확장과 호환되는 두 번째 중심 확장 𝔾𝕃̂_n(𝔸_X)을 ℤ에 대해 정의하고, GL_n(𝔸_X)의 특정 부분군에서의 자연스러운 분할이 있음을 증명한다.
• 스킴의 점들에서의 번들의 자명화를 통해 GL_n(𝔸_X)에 값을 갖는 전이 행렬을 얻고, 이는 코호호몰로지 조건을 만족한다.
• 자연스러운 분할을 사용하여 이러한 행렬을 𝔾𝕃̂_n(𝔸_X)로 올리며, 그 곱이 ℤ에 속하게 되어 두 번째 체르넘 수가 정수로 얻어진다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영인 표면 위의 벡터 번들의 두 번째 체르넘 수는 대수적 K-이론을 사용하지 않고 아델 전이 행렬과 토르스 구조만을 이용해 구성할 수 있는가?
• RQ2 국소적으로 선형적으로 컴팩트한 벡터 공간의 차원 이론을 이용해 GL_n(𝔸_X)에 대한 ℤ에 대한 중심 확장을 어떻게 자연스럽게 정의할 수 있는가?
• RQ3 GL_n(𝔸_X)의 부분군에서 중심 확장 𝔾𝕃̂_n(𝔸_X)의 자연스러운 분할이 두 번째 체르넘 수의 정의에 어떤 역할을 하는가?
• RQ4 실수 값의 토르스와 ℝ₊*에 대한 중심 확장을 통해 이 구성은 아르키메데스 성분을 포함하는 산술 표면으로 어떻게 확장될 수 있는가?
• RQ5 이 방법을 사용하여 분석적 리만-로흐 정리의 정신에 따라 노이터 공식을 증명할 수 있는가?

주요 결과

• 완전체 위의 매끄럽고 사영인 표면 위의 벡터 번들의 두 번째 체르넘 수는 GL_n(𝔸_X)에 대한 ℤ에 대한 중심 확장으로의 아델 전이 행렬의 올림을 통해 정수로서 구성된다.
• 이 구성은 표면 X 위의 서브다이버터에 의한 필터링에서 유래하는 국소적으로 선형적으로 컴팩트한 k-벡터 공간의 차원 이론에 대한 자연스러운 ℤ-토르스에 의존한다.
• GL_n(𝔸_X)의 특정 부분군에서 중심 확장 𝔾𝕃̂_n(𝔸_X)의 자연스러운 분할을 통해 전이 행렬을 올리며, 그 곱이 두 번째 체르넘 수를 정수로 제공한다.
• 산술 표면의 경우, ℝ₊*에 대한 중심 확장 𝔾𝕃̂_n(𝔸_X^ar)은 GL_n(𝔸_X,12) × GL_n(𝔸_X,∞(0)), GL_n(𝔸_X,02), 및 GL_n(𝔸_X,01)과 같은 부분군에서 자연스럽게 분할되며, 대수적 경우를 일반화한다.
• 중심 확장 𝔾𝕃̂_n(𝔸_X^ar)은 GL_n(𝔸_X) 및 GL_n(𝔸_X,∞)에서의 확장의 백어 합( Baer sum )으로서 정의되어 산술 설정과의 호환성을 확보한다.
• 이 방법은 노이터 공식을 증명하는 데 기초를 마련하고, 아델 프레임워크 내에서 고차수의 체르넘 수로 분석적 리만-로흐 정리를 일반화하는 데 응용 가능하다.