[논문 리뷰] The Euler Series of Restricted Chow Varieties

Javier Elizondo|ArXiv.org|1993. 08. 11.

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

한 줄 요약

이 논문은 대수적 토러스 작용을 가진 사영 대수기하학적 다양체에 대해 제약된 초주변의 오일러 급수를 도입하며, 유한한 불변 부분다양체를 가질 경우 이 급수가 유리수임을 증명한다. 이 틀을 매끄러운 다양체의 등변 설정으로 확장하고, 유리수 결과를 확립하며, 효율적 사이클의 모노이드 위에서 호모로지 클래스와 복합 대수를 사용하여 사영 공간과 히르체브루흐 표면 등의 명시적 예를 계산한다.

ABSTRACT

Let X be an algebraic projective variety in {\bf P}^n. Denote by {\cal C}_λ the space of all effective cycles on X whose homology class is λ\in H_{2p} (X,{\bf Z}). It is easy to show that {\cal C}_λ is an algebraic projective variety. Let χ({\cal C}_λ be its Euler characteristic. Define the Euler series of X by E_{p} = \sum_{λ\in{C}} \, χ({\cal C}_λ λ \in \, {\bf Z}[[C]] where {\bf Z}[[C]] is the full algebra over {\bf Z} of the monoid C of all homology classes of effective p-cyles on X. This algebra is the ring of function (with respect the convolution product) over C. Denote by {\bf Z}[C] the ring of functions with finite support on C. We say that an element of {\bf Z}[[C]] is rational if it is the quotient of two elements in {\bf Z}[C]. If a basis for homology is fixed we can associated to any rationa element a rational function and therefore compute the Euler characteristic of {\cal C}_λ. We prove that E_p is rational for any projective variety endowed with an algebraic torus action in such a way that there are finitely many irreducible invariant subvarieties. If it is smooth we also define the equivariant Euler series and proved it is rational, we relate both series and compute some classical examples. The projective space {\bf P}^n, the blow up of {\bf P}^n at a point, Hirzebruch surfaces, the product of {\bf P}^n with {\bf P}^m.

연구 동기 및 목표

• 사영 다양체 위의 유효 사이클 공간의 오일러 특성을 코딩하는 제약된 초주변의 오일러 급수를 정의하고 연구한다.
• 특히 대수적 토러스 작용 하에서 기약 불변 부분다양체가 유한한 다양체의 경우 이 급수가 유리수임을 보이는 조건을 확립한다.
• 매끄러운 다양체에 대해 오일러 급수를 등변 설정으로 확장하고, 비등변 판본과의 관계를 설정한다.
• 표준적인 다양체인 사영 공간, 블로우업, 히르체브루흐 표면 등의 오일러 급수를 명시적으로 계산한다.

제안 방법

• 고정된 호모로지 클래스 $\lambda \in H_{2p}(X, \mathbb{Z})$ 를 가진 사영 다양체 $X$ 위의 유효 사이클의 공간으로서 초주변 $\mathcal{C}_\lambda$ 를 정의하며, 이는 대수적 사영 다양체임을 보인다.
• 모노이드 $C$ 를 유효 $p$-사이클 클래스의 집합으로 하여, $\mathbb{Z}[[C]]$ 에서 오일러 급수 $E_p = \sum_{\lambda \in C} \chi(\mathcal{C}_\lambda) \cdot \lambda$ 를 정의한다.
• 유한 지지 함수의 링 $\mathbb{Z}[C]$ 에서의 원소의 몫으로서 유리수성을 정의하기 위해 $\mathbb{Z}[[C]]$ 위의 복합 대수의 구조를 사용한다.
• 다양체 $X$ 가 대수적 토러스 작용을 하며 기약 불변 부분다양체가 유한할 경우 $E_p$ 의 유리수성을 증명한다.
• 매끄러운 다양체에 대해 등변 오일러 급수를 정의하고, 등변 콘 라이프트 또는 국소화 기법을 통해 비등변 판본과의 관계를 설정한다.
• 표준적인 예제들에 대해 급수를 명시적으로 계산한다: $\mathbb{P}^n$, 점에서의 $\mathbb{P}^n$ 블로우업, 히르체브루흐 표면, 그리고 곱 $\mathbb{P}^n \times \mathbb{P}^m$.

실험 결과

연구 질문

• RQ1 제약된 초주변의 오일러 급수가 어떤 조건에서 유리수일까?
• RQ2 기약 불변 부분다양체가 유한한 토러스 작용이 오일러 급수의 유리수성에 어떤 영향을 미치는가?
• RQ3 매끄러운 사영 다양체에 대해 등변 및 비등변 오일러 급수 간의 관계는 무엇인가?
• RQ4 사영 공간 $\mathbb{P}^n$ 과 히르체브루흐 표면 같은 고전적 대수기하학적 다양체에 대해 오일러 급수를 명시적으로 계산할 수 있는가?
• RQ5 유효 사이클 클래스의 모노이드 위에서 형식적 거듭제곱 급수의 링 위의 복합 대수의 구조는 유리수 증명에 어떻게 기여하는가?

주요 결과

• 모든 대수적 토러스 작용을 가지며 기약 불변 부분다양체가 유한한 사영 다양체에 대해 오일러 급수 $E_p$ 는 유리수이다.
• 매끄러운 다양체의 경우 등변 오일러 급수 역시 유리수이며, 등변 및 비등변 급수 간의 정확한 관계가 확립된다.
• $\mathbb{P}^n$, 점에서의 $\mathbb{P}^n$ 블로우업, 히르체브루흐 표면, $\mathbb{P}^n \times \mathbb{P}^m$ 에 대해 오일러 급수의 명시적 유리수 표현이 계산되었다.
• $E_p$ 의 유리수성은 유효 사이클 클래스의 모노이드의 구조와 $\mathbb{Z}[[C]]$ 위의 복합 대수의 구조를 통해 증명되었으며, 유리수성은 $\mathbb{Z}[C]$ 의 원소의 몫으로 정의된다.
• 이 구성은 각 $\lambda$ 에 대해 관련된 유리함수를 통해 $\chi(\mathcal{C}_\lambda)$ 를 계산할 수 있도록 한다.
• 이 틀은 토러스 대칭 하에서 대수적 및 호모로지적 자료를 사용하여 초주변의 오일러 특성을 체계적으로 계산할 수 있는 방법을 제공한다.