Tautological modular forms of level two and degree two

기술적 요약: 차수 2 및 레벨 2 의 타우토로지컬 모듈러 형식

문제 제기
본 논문은 차수 2 및 레벨 2 의 벡터값 시겔 모듈러 형식의 환, 즉 $R(A_2[2])$의 구성과 명시적 기술에 관한 것이다. 타원곡선의 경우 $E_4, E_6$ 아이젠슈타인 급수나 종수 2 의 특정 형식에 의해 유한 생성되는 레벨 1 의 모듈러 형식 환과 달리, 차수 2 의 벡터값 모듈러 형식 환은 유한 생성되지 않는 것으로 알려져 있다 (Grundh [2]). 저자들은 이 비유한 생성 환을 공간의 모듈라이 해석과 밀접하게 연결된 "타우토로지컬" 형식을 사용하여 기술하고, 이 환을 유한 생성 구조에 매장하여 명시적 계산을 용이하게 하는 방법을 모색한다.

방법론
저자들은 모듈라이 스택 이론, 불변식 이론, 그리고 쎄타 함수를 결합한 기하학적 접근법을 사용한다.

1. 모듈라이 스택 해석: 완전 레벨 2 구조를 갖는 주 극성 아벨 곡면의 모듈라이 공간 $A_2[2]$는 스택 몫으로 해석된다. 구체적으로, 표기된 웨어스트라스 점을 갖는 종수 2 곡선의 모듈라이 공간 $M_2[2]$는 스택 $[P/GL_2]$와 동일시되며, 여기서 $P$는 $\mathbb{P}^1$ 위의 여섯 점 $(p_1, \dots, p_6)$과 이 점들에서 소멸하는 이차 6 차 형식 $f$로 구성된 쌍들의 공간이다. 대칭군 $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$는 여섯 웨어스트라스 점을 치환함으로써 이 공간에 작용한다.
2. 형식의 기하학적 구성: 저자들은 사영화된 호지 다발 $\mathbb{P}(E)$ 위의 약수들을 해석함으로써 벡터값 모듈러 형식을 구성한다. 보편 곡선 위의 여섯 웨어스트라스 점은 여섯 단면들을 정의하며, 이들의 폐포는 약수 $W_i$를 이룬다. 저자들은 이러한 약수들을 여섯 개의 홀수 쎄타 함수의 기울기 (gradient) 인 $G_1, \dots, G_6$와 연관시킨다.
3. 불변식 이론과 공변량: 문제는 고전적 불변식 이론의 언어로 번역된다. $A_2[2]$ 위의 벡터값 모듈러 형식은 $GL_2$의 $V^{\oplus 6}$ (두 변수에 대한 여섯 개의 선형 형식) 공간에 대한 작용의 공변량 (covariants) 으로 식별된다. 공변량의 환 $C(V^{\oplus 6})$은 고르단 (Gordan) 의 정리에 의해 유한 생성되지만, 모듈러 형식의 환은 그렇지 않다.
4. 동형사상 $\mu$와 $\nu$:
   • 특정 차수 제약 조건을 가진 공변량으로 모듈러 형식을 매핑하는 동형사상 $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$이 정의된다.
   • 역방향 동형사상 $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$는 공변량 다항식에 모듈러 형식 $G_i$(및 쎄타 상수) 를 대입함으로써 구성된다. 이 사상은 유리형 모듈러 형식의 환으로 사상된다.
5. 정칙성 기준: 정칙 모듈러 형식의 환을 복원하기 위해 저자들은 정칙성을 위한 대수적 기준을 수립한다. 공변량 $C$가 모든 분할 $\pi$에 대해 경계 약수 $H_\pi$(여섯 점의 분할에 해당) 를 따라 값 $v_\pi(C)$가 음이 아닌 경우에만 정칙 모듈러 형식을 산출한다.

주요 기여 및 결과

• 타우토로지컬 형식: 본 논문은 약수, 보편 이차 6 차 형식의 계수, 그리고 홀수 쎄타 함수의 기울기에 의해 정의된 "타우토로지컬" 벡터값 모듈러 형식을 구성한다. 구체적으로, 홀수 쎄타 함수의 기울기인 형식 $G_i$와 짝수 쎄타 상수의 곱인 판별식의 제곱근 $\chi_5$가 근본적인 구성 요소로 작용한다.
• 명시적 동형: 레벨 2 의 벡터값 시겔 모듈러 형식의 환은 유한 생성된 공변량 환의 부분환으로 명시적으로 식별된다:
  $$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ for all } \pi \}$$
  이는 유한 생성된 포괄 환을 통해 비유한 생성된 환에 대한 구체적인 기술을 제공한다.
• 구체적 형식의 구성: 저자들은 $S_{2,5}$, $S_{4,4}$, $S_{4,5}$, $S_{6,4}$와 같은 다양한 모듈러 형식 공간에 대한 명시적 기저를 구성함으로써 이 방법을 시연한다. 이들은 이러한 형식들에 대한 푸리에 전개와 헤케 고유값을 계산하여 유한체 위의 점 수 세기와 같은 기존 데이터와 비교하여 그 성질을 검증한다.
• 중간 레벨: 프레임워크는 레벨 1 과 레벨 2 사이의 중간 레벨 (예: 표기된 웨어스트라스 점을 갖는 곡선의 모듈라이 $A_2[w]$) 로 확장된다. 보편 이차 6 차 형식을 인수 (예: 5 차 형식과 선형 형식) 로 분해함으로써, 저자들은 더 작은 차수의 이차 형식에 대한 공변량을 사용하여 이러한 중간 레벨에 대한 모듈러 형식을 구성한다.

의의
본 논문은 이 구성 방법이 차수 2 의 벡터값 모듈러 형식 환에 대한 유한 생성 집합의 부재를 "훌륭한 보상"으로 제공한다고 주장한다. 환을 유한 생성된 공변량 환에 매장함으로써, 저자들은 모든 모듈러 형식을 명시적으로 생성하는 체계적인 방법을 제공한다. 또한 저자들은 이 방법이 "모듈러 형식의 기계적 구성에 즉시 적용 가능"하다고 언급하며, 푸리에 전개 및 기타 불변량의 계산을 용이하게 한다고 강조한다. 이 연구는 종수 2(레벨 1) 및 종수 3 모듈라이에 대한 이전 결과를 일반화하여, 이러한 기법을 종수 3 으로 확장할 수 있는 경로를 제시한다. 본 논문은 유한 생성 문제를 해결한다고 주장하기보다는, 환의 구조와 원소에 대한 실용적이고 명시적인 기술을 제공하는 데 그 목적이 있다.