[논문 리뷰] Theta Functions and Szegö Kernels

Dani Ben‐Zvi, Indranil Biswas|arXiv (Cornell University)|2002. 11. 29.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 벡터(bundle)의 모듈리 공간 위의 θ 함수와 곡선의 곱 위의 Szegő 커널 사이의 깊은 연결 고리를 확립하며, θ 함수가 Szegő 커널의 행렬식으로 끌려오는 것과, Szegő 커널의 대각선 전개가 θ 함수의 로그 도함수를 제공하는 것을 보여준다. 이는 θ 선다발 위의 접속과 평탄한 벡터 다발의 모듈러스 사이의 식별을 고정된 곡선의 경우에서 변하는 곡선의 경우로 확장하는 확장된 접속을 통해 일반화된다.

ABSTRACT

We study relations between two fundamental constructions associated to vector bundles on a smooth complex projective curve; the theta function (a section of a line bundle on the moduli space of vector bundles) and the Szego kernel (a section of a vector bundle on the square of the curve). Two types of relations are demonstrated. First, we establish a higher-rank version of the prime form, describing the pullback of determinant line bundles by difference maps, and show that the theta function pulls back to the determinant of the Szego kernel. Next, we prove that the expansion of the Szego kernel at the diagonal gives the logarithmic derivative of the theta function over the moduli space of bundles for a fixed, or moving, curve. In particular, we recover the identification of the space of connections on the theta line bundle with moduli space of flat vector bundles, when the curve is fixed. When the curve varies, we identify this space of connections with the moduli space of extended connections, which we introduce.

연구 동기 및 목표

• 벡터 다발의 모듈리 공간 위의 θ 함수와 곡선의 곱 위의 Szegő 커널 사이의 상호작용을 이해하는 것.
• 행렬식 선다발과 차이 맵을 통해 고계수 다발로의 프라임 형식의 일반화를 시도하는 것.
• 곡선이 고정되어 있을 때, θ 선다발 위의 접속 공간을 평탄한 벡터 다발의 모듈러스와 정확히 식별하는 것.
• 곡선이 모듈리 공간에서 변할 수 있도록 허용할 경우, 이러한 식별을 확장하기 위해 확장된 접속의 개념을 도입하는 것.

제안 방법

• 곡선 위의 차이 맵을 통한 행렬식 선다발의 역상에 의한 고계수 프라임 형식의 버전을 구성하는 것.
• θ 함수의 곡선의 곱 위로의 끌림을 분석하고, 이것이 곡선의 곱 위의 Szegő 커널의 행렬식과 일치함을 보이는 것.
• 곡선 곱의 대각선 분할 위에서 Szegő 커널을 형식적 멱급수로 전개하는 것.
• 이 전개의 주요 항이 모듈리 공간 위의 θ 함수의 로그 도함수와 관련이 있음을 밝히는 것.
• 이 관계를 이용해 고정된 곡선에 대해 θ 선다발 위의 접속 공간을 평탄한 벡터 다발의 모듈러스와 자연스럽게 식별하는 것.
• 곡선이 변할 경우 이를 일반화하기 위해 확장된 접속의 개념을 도입하는 것.

실험 결과

연구 질문

• RQ1 벡터 다발의 모듈리 공간 위의 θ 함수는 곡선의 곱 위의 Szegő 커널과 어떻게 관련이 있는가?
• RQ2 행렬식 선다발과 차이 맵을 통해 고계수 다발로의 프라임 형식의 일반화를 구성할 수 있는가?
• RQ3 Szegő 커널의 대각선 전개의 기하학적 의미는 θ 함수의 관점에서 무엇인가?
• RQ4 곡선이 허용되는 경우, θ 선다발 위의 접속과 평탄한 다발의 모듈러스 사이의 식별은 어떻게 확장되는가?
• RQ5 곡선이 고정되어 있지 않을 때, 모듈리 공간에서 평탄한 접속을 대체할 구조는 무엇인가?

주요 결과

• 차이 맵을 통해 θ 함수를 끌어올리는 것은 곡선의 곱 위의 Szegő 커널의 행렬식과 같다.
• Szegő 커널의 대각선 전개에서의 일阶항은 모듈리 공간 위의 θ 함수의 로그 도함수에 해당한다.
• 고정된 곡선에 대해, θ 선다발 위의 접속 공간은 평탄한 벡터 다발의 모듈러스 공간과 자연스럽게 식별된다.
• 곡선이 변할 경우, 이러한 식별은 접속과 새로운 유형의 대상인 확장된 접속 사이의 대응으로 확장된다.
• 이 구성은 대수기하학에서 고전적인 프라임 형식의 고계수 일반화를 제공한다.
• 결과적으로, 다양한 곡선을 통해 θ 함수, Szegő 커널, 접속의 모듈러스를 연결하는 통합적인 프레임워크를 수립한다.