세타 함수

수학에서 **세타 함수**()는 타원 곡선 또는 아벨 다양체 위의 선다발의 단면이다.

## 정의
복소수 주극성화 아벨 다양체 (V/\Gamma,h)가 주어졌다고 하자. 즉,
* V는 복소수 벡터 공간이다.
* \Lambda \le V는 그 속의 (덧셈에 대한) 이산 부분군이다. 즉, 격자이다.
* h\colon V \times V \to \mathbb C는 리만 형식이다. 즉, 반쌍선형 형식이며, \forall u,v\in\Lambda\colon\operatorname{Im} h(u,v) \in \mathbb Z 이다.
이 경우, \operatorname{Im}h는 V/\Gamma 위의 2차 미분 형식이며, 드람 코호몰로지를 통해 정수 계수 2차 코호몰로지 \operatorname H^2(V/\Gamma;\mathbb Z)의 원소를 정의한다. 이는 (1차 천 특성류를 통해) 어떤 정칙 선다발 L에 대응하며, 이는 항상 풍성한 선다발이다. 이 선다발의 **단면**을 **세타 함수**라고 한다.

보다 구체적으로, 사영 사상 \pi\colon V \twoheadrightarrow V/\Gamma을 통하여, L의 당김 L^*V \twoheadrightarrow V을 정의할 수 있다. 이는 자명한 정칙 선다발이며, L의 단면은 V 위의 다음과 같은 **함수 방정식**(函數方程式, )을 따르는 정칙 함수 f\colon V \to \mathbb C로 주어진다.
:f(v + \lambda) = \alpha(\lambda)\exp\left(\pi h(v,\lambda)+\frac12\pi h(\lambda,\lambda)\right) f(v) \qquad\forall v\in V,\;\lambda \in \Lambda
여기서
:\alpha \colon \Gamma \to \operatorname U(1)
는 일반적으로 군 준동형이 아니며, 다음 조건을 따른다.
:\alpha (\lambda + \lambda') = \exp\left(\mathrm i\pi \operatorname{Im}h(\lambda,\lambda')\right) \alpha(\lambda) \alpha(\lambda')
이는 군 준동형이 아니지만, 임의의 군 준동형 \phi \colon \Gamma \to \operatorname U(1)에 대하여 \alpha' = \phi \alpha  역시 위의 조건을 따른다. 즉, 이러한 \alpha들의 공간은 \hom(\Gamma,\operatorname U(1)) \cong \operatorname U(1)^{\dim V} 위의 아핀 공간이다.

이러한 함수 방정식을 따르는 정칙 함수를 **세타 함수**라고 한다.

## 예
### 야코비 세타 함수
**야코비 세타 함수**(카를 구스타프 야코프 야코비의 이름에서 비롯됨)는 z와 \tau를 변수로 갖는 2변수 복소함수로, z는 임의의 복소수가 될 수 있지만 \tau는 상반평면으로 제한되어 언제나 양의 허수부를 갖는다. 그 정의는 다음과 같다.
:\vartheta(z; \tau) = \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau + 2 \pi i n z}= 1 + 2 \sum_{n=1}^\infty \left(e^{\pi i\tau}\right)^{n^2} \cos(2\pi n z)=\sum_{n=-\infty}^\infty q^{n^2/2}\eta^n
여기서
:q=\exp(2\pi i\tau)
:\eta=\exp(2\pi iz)
이다.

또한, 보통 다음과 같은 함수들을 정의한다.
:
\begin{align}
\vartheta_{00}(z;\tau)& = \sum q^{n^2/2}\eta^n = \vartheta(z;\tau)\\
\vartheta_{01}(z;\tau)& = \sum q^{n^2/2}(-\eta)^n = \vartheta(z+{\textstyle\frac{1}{2}};\tau)\\
\vartheta_{10}(z;\tau)& = \sum q^{(n+1/2)^2/2}\eta^{n+1/2} = \exp(\pi i \tau/4 + \pi i z)\vartheta(z +1/2\tau;\tau)\\
\vartheta_{11}(z;\tau)& = \sum q^{(n+1/2)^2/2}(-\eta)^{n+1/2} = \exp(\pi i \tau/4 + \pi i(z+1/2))\vartheta(z+\tau/2 + 1/2;\tau)
\end{align}

이를 다음과 같이 표기하기도 한다.
:
\begin{align}
\theta_1(z;q) &= -\vartheta_{11}(z;\tau)\\
\theta_2(z;q) &= \vartheta_{10}(z;\tau)\\
\theta_3(z;q) &= \vartheta_{00}(z;\tau)\\
\theta_4(z;q) &= \vartheta_{01}(z;\tau)
\end{align}

야코비 세타 함수는 책마다 조금씩 다르게 정의하는 경우가 많으므로 주의하여야 한다.

#### 성질
야코비 세타 함수는 다음과 같은 함수 방정식을 만족시킨다. 임의의 (a,b)\in\mathbb Z^2에 대하여,
:\vartheta(z+a+b\tau;\tau)=\exp(-\pi ib^2\tau-2\pi ibz)\vartheta(z;\tau)
즉, 야코비 세타 함수는 \mathbb C/\langle1,\tau\rangle 위에서, z\sim z+\tau 방향으로 뒤틀어져 있는 해석적 선다발의 단면이다.

### 리만 세타 함수
지겔 상반평면
:\mathbb{H}_g=\{F\in\operatorname{Mat}(n,\mathbb{C})\colon F=F^\top,\;\mbox{Im} F\text{ is positive-definite}\}
이 주어졌다고 하자. **리만 세타 함수**()
:\vartheta\colon\mathbb C^g\times\mathbb H_g\to\mathbb C
:\vartheta\colon(z,\tau)\mapsto\vartheta(z,\tau)
는 다음과 같다.
:\vartheta(z,\tau)=\sum_{m\in\mathbb Z^g}\exp\left(2\pi i\left(\frac12m^\top\tau m+m^\top z\right)\right)
이 급수는 \mathbb C^g\times\mathbb H_g의 임의의 콤팩트 부분공간에서 균등수렴한다.

리만 세타 함수는 다음과 같은 함수 방정식을 만족시킨다. 임의의 (a,b)\in\mathbb Z^g\times\mathbb Z^g에 대하여,
:\vartheta(z+a+\tau b,\tau)=\exp\left(-2\pi i\left(b^\top\tau b/2+b^\top z\right)\right)\theta(z,\tau)

### 일반적인 격자의 세타 함수
양의 정부호 내적이 주어진 격자 (\Lambda,\langle\cdot,\cdot\rangle)가 주어졌다면, 이에 대응하는 **세타 열**()
:\Theta_\Lambda\colon\mathbb H\to\mathbb C
를 다음과 같이 정의할 수 있다.
:\Theta_\Lambda(\tau)=\sum_{x\in\Lambda}\exp(i\pi\tau\langle x,x\rangle)=\sum_{x\in\Lambda}q^{\langle x,x\rangle/2}
:q=\exp(2\pi i\tau)
이는 상반평면 \mathbb H 위의 정칙함수이다. 만약 \Lambda가 n차원 짝 유니모듈러 격자라면, 이는 무게가 n/2인 모듈러 형식을 이룬다. 홀 유니모듈러 격자의 세타 함수는 다음과 같은 모듈러 항등식들을 만족시킨다.
:\Theta_\Lambda(\tau)=\Theta_\Lambda(\tau+2)=(i/\tau)^{n/2}\Theta_\Lambda(-1/\tau)
따라서 이는 합동 부분군 Γ0(4)에 대한 무게 n/2의 모듈러 형식이다.

예를 들어, 격자 \mathbb Z에 대한 세타 함수는 다음과 같은 야코비 세타 함수이다.
:\Theta_{\mathbb Z}=\sum_{n\in\mathbb Z}q^{n^2/2}=\vartheta_{00}(0;\tau)
마찬가지로, 격자 \mathbb Z+1/2에 대한 세타 함수는 다음과 같은 야코비 세타 함수이다.
:\Theta_{\mathbb Z+1/2}=\sum_{n\in\mathbb Z}q^{(n^2+n+1/4)/2}=\vartheta_{10}(0;\tau)

## 응용
야코비 세타 함수는 아벨 다양체 및 모듈라이 공간 및 이차 형식의 연구에 중요하게 쓰이며, 솔리톤 이론에도 응용되었다. 그라스만 대수에 대해 일반화할 경우 양자장론, 특히 끈 이론과 D-막 등에도 연관된다. 세타 함수의 대표적인 예는 타원함수론에 나타난다.

세타 함수는 기하학적 양자화에 등장한다. 위상 공간이 켈러 다양체인 해밀턴 계를 양자화할 경우, 양자역학적 상태들은 어떤 해석적 다발의 해석적 단면들의 힐베르트 공간의 원소가 된다. 특히, 위상 공간이 극성화가 주어진 아벨 다양체인 경우, 상태들은 세타 함수가 된다.

## 각주

* 

## 같이 보기
* 세타 지표
* 타원함수

## 외부 링크
* 
* 


분류:타원함수
분류:모듈러 형식
분류:리만 곡면
분류:다변수 복소함수론