모듈러 형식: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
20번째 줄:
== 모듈러 형식의 공간 ==
다음과 같은 공간들을 정의하자.
* <math>A_k</math>는 무게 <math>k</math>의 (극점들을 가질 수 있는) 모듈러 함수들의형식들의 복소 벡터공간이다. <math>A=\bigoplus_kA_k</math>는 곱셈에 대하여 등급 [[체 (수학)|체]]를 이룬다. 또한, <math>A_0</math> 자체도 체를 이루며, 모든 <math>A_k</math> (<math>k\ne1</math>)는 <math>A_0</math>에 대한 1차원 벡터공간을 이룬다. 구체적으로
::<math>A_k=\operatorname{Span}_{A_0}\{(g_3/g_2)^{k/2}\}</math>
:이다. 또한, <math>A_0</math>은 [[j-불변량]]에 대한 복소 [[유리함수]]의 체이다.