[논문 리뷰] Elliptic formal group laws, integral Hirzebruch genera and Krichever genera

Victor Matveevich Buchstaber, E. Yu. Bunkova|arXiv (Cornell University)|2010. 10. 05.

Algebraic structures and combinatorial models참고 문헌 29인용 수 22

한 줄 요약

이 논문은 타원 곡선의 기하학을 통해 타원형 형식적 군법칙, 정수 계수 히르츠부르크 종, 크리체버 종을 연결하는 종합적인 프레임워크를 수립한다. 타원형 형식적 군법칙의 지수함수에 대한 미분방정식을 유도하고, 정수 계수 히르츠부르크 종의 5파라미터 가족을 구성하며, 두 개의 분지점이 있는 비해석적 베크어-아키에제르 유형 함수를 사용한 일반화된 크리체버 종을 도입하여 대수적 토폴로지와 복소기하학의 핵심 구조를 통합한다.

ABSTRACT

We consider the geometrical addition law on the elliptic curve in Tate coordinates. It corresponds to the general formal group law over the ring of polynomials with integer coefficients of the parametra of the curve. We study the structure of this law and the differential equation that determines its exponent. We describe a 5-parametric family of Hirzebruch genera with integer values on stably complex manifolds. We introduce the general Krichever genus, which is given by a generalized Baker-Akhiezer function. This function has many of the fundamental properties of the Baker-Akhiezer function, but unlike it, it is not meromorphic, because it can have two branch points in the parallelogram of periods.

연구 동기 및 목표

• 타원 곡선의 기하학적 군법칙에서 유도된 다항식환 $\mathbb{Z}[\mu_1,\mu_2,\mu_3,\mu_4,\mu_6]$ 위에서의 일반 타원형 형식적 군법칙의 구조를 체계적으로 연구하기 위해.
• 타원형 형식적 군법칙의 지수함수를 지배하는 미분방정식을 규명하고, 특히 테이트 좌표계와 웨이어스트라스 좌표계에서의 관계를 분석하기 위해.
• 안정적으로 복소다양체에서 정수 값을 갖는 5파라미터 가족의 히르츠부르크 종을 구성하고, 고전적 종들을 일반화하기 위해.
• 주기 평행사변형 내에서 두 개의 분지점이 있을 수 있는 비해석적 베크어-아키에제르 함수를 사용하여 일반화된 크리체버 종을 정의하고, 이를 통해 크리체버의 원래 구성의 확장을 이루기 위해.
• 형식적 군법칙의 지수함수가 $A[[u]]$에 속할 수 있는 대수적 및 기하학적 조건을 명확히 하여, 관련 종의 정수성을 보장하기 위해.

제안 방법

• 형식적 군법칙과 그 로그/지수함수를 표현하기 위해 토퍼션 없는 군화된 링 $A$ 위에서의 군화된 투르비츠 급수를 사용한다.
• 타원 곡선을 매개변수화하고, $\mathbb{Z}[\mu_1,\mu_2,\mu_3,\mu_4,\mu_6]$ 위에서 일반 형식적 군법칙을 유도하기 위해 테이트 좌표계를 적용한다.
• 특수한 경우 $\mu_1 = \mu_2 = \mu_4 = \mu_6 = 0$에서 지수함수에 대한 미분방정식 $f'(u)^2 = -4\mu_3 f(u)^3 + 1$을 도출하고, 웨이어스트라스 $\wp$-함수와의 연결을 규명한다.
• 주기 평행사변형 내에서 두 개의 분지점이 존재할 수 있도록, 비해석적 미분방정식의 해로 일반화된 베크어-아키에제르 함수를 구성한다.
• 로그와 지수의 동형을 활용하여 형식적 군법칙을 $A \otimes \mathbb{Q}$ 위의 보편 형식적 군법칙과 연결하고, 정수성 조건을 보장한다.
• 형식적 군법칙 이론을 적용하여 일반화된 지수함수를 통해 크리체버 종을 정의하고, 특수한 경우(예: 곱셈형 및双곡탄젠트 유형)에 대해 명시적인 공식을 제공한다.

실험 결과

연구 질문

• RQ1 타원 곡선의 기하학적 군법칙에서 유도된 형식적 군법칙이 테이트 좌표계에서 어떤 구조를 가지는가?
• RQ2 타원형 형식적 군법칙의 지수함수를 지배하는 미분방정식은 무엇이며, 웨이어스트라스 $\wp$-함수와 어떻게 관련되는가?
• RQ3 타원형 형식적 군법칙의 지수함수가 어떤 조건에서 $A[[u]]$에 속하게 되어 관련 종의 정수성을 보장하는가?
• RQ4 두 개의 분지점이 있는 비해석적 함수를 사용하여 일반화된 크리체버 종을 어떻게 정의할 수 있으며, 그 대수적 성질은 무엇인가?
• RQ5 타원형 형식적 군법칙으로부터 유도되는 안정적으로 복소다양체에서 정수 값을 갖는 5파라미터 가족의 히르츠부르크 종은 무엇인가?

주요 결과

• 특수한 경우 $\mu_1 = \mu_2 = \mu_4 = \mu_6 = 0$에서 타원형 형식적 군법칙의 지수함수는 미분방정식 $f'(u)^2 = -4\mu_3 f(u)^3 + 1$을 만족하며, 그 해는 $f(u) = -\frac{1}{\mu_3} \wp(u + c; 0, -\mu_3^2)$이다.
• 특수한 경우 $\mu_2 = \mu_3 = \mu_4 = \mu_6 = 0$에서 형식적 군법칙은 곱셈형 군법칙 $F_\mu(t_1,t_2) = t_1 + t_2 - \mu_1 t_1 t_2$로 간소화되며, 지수함수는 $f(u) = \frac{1 - e^{-\mu_1 u}}{\mu_1}$이다.
• 특수한 경우 $\mu_1 = \mu_3 = \mu_4 = \mu_6 = 0$에서 형식적 군법칙은 $F_\mu(t_1,t_2) = \frac{t_1 + t_2}{1 + \mu_2 t_1 t_2}$로 변환되며, 이는 쌍곡탄젠트 덧셈 법칙에 해당하고, 지수함수는 $f(u) = \frac{1}{\sqrt{\mu_2}} \tanh(\sqrt{\mu_2} u)$이다.
• 일반화된 크리체버 종은 $f'(u)^3 = \left((1 - \frac{1}{2}\mu_1 f(u))^3 - 3\mu_3 f(u)^3\right)^2$를 만족하는 비해석적 함수를 통해 정의되며, $\wp$-함수의 형태로 명시적으로 표현된다.
• 지수 급수의 계수들로 생성된 링 $B_f$는 $\mathbb{Z}[b_n]/J$이며, 여기서 $J$는 정수성 조건을 포함하는 아이디얼로, 종이 정수 값을 갖도록 보장한다.
• 안정적으로 복소다양체에서 정수 값을 갖는 5파라미터 가족의 정수 계수 히르츠부르크 종이 구성되었으며, 이는 고전적 종들인 $\hat{A}$-종과 타원형 종을 일반화한다.