"Jacobi's theta function from a representation theoretic viewpoint"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
imported>Pythagoras0
imported>Pythagoras0
1번째 줄: 1번째 줄:
 +
==abstract==
 +
* Jacobi introduced the theta function to build the theory of elliptic functions. Jacobi's theta function has two notable properties : quasi-periodicity and modularity. Weil's approach to theta functions opened up the way to understand these transformaion properties from a representation theoritic viewpoint, which paved the way to the theory of Howe duality. This involves the Heisenberg group, the Stone-Von Neumann theorem and Weil representations of metapletic groups. In this talk, I will explain the basics of these notions.
 +
 
==introduction==
 
==introduction==
 
* $g\in \mathbb{Z}$, $g\geq 1$
 
* $g\in \mathbb{Z}$, $g\geq 1$

2015년 5월 21일 (목) 02:00 판

abstract

  • Jacobi introduced the theta function to build the theory of elliptic functions. Jacobi's theta function has two notable properties : quasi-periodicity and modularity. Weil's approach to theta functions opened up the way to understand these transformaion properties from a representation theoritic viewpoint, which paved the way to the theory of Howe duality. This involves the Heisenberg group, the Stone-Von Neumann theorem and Weil representations of metapletic groups. In this talk, I will explain the basics of these notions.

introduction

  • $g\in \mathbb{Z}$, $g\geq 1$
  • Heisenberg group $H(2g, \mathbb{R})$ and its Lie algebra
  • Schrodinger representation of $H(2g, \mathbb{R})$ on $\mathcal{H}=L^2(\mathbb{R}^g)$
  • Stone-von Neumann theorem induces an action of $Sp(2g,\mathbb{R})$ on $\mathcal{H}$
    • but this is only a projective representation
  • we can turn it into a genuine representation of the metaplectic group and we call it the Weil representation
  • a smooth vector $f_{\Omega}\in \mathcal{H}_{\infty}$, Schwartz space
  • a functional $\mu_{\mathbb{Z}}\in \mathcal{H}_{-\infty}$
  • let $\mathbf{x}=(x_1,x_2)$ and $\underline{x}=\Omega x_1+x_2$
  • $\theta(\underline{x},\Omega)$ appears as pairing

$$ \langle U_{(1,x)}f_{\Omega}, \mu_{\mathbb{Z}}\rangle=c\exp(\pi i ^tx_1 \mathbf{x})\theta(\underline{x},\Omega) $$

  • modular transformation properties follows from the action of $Mp(2g,\mathbb{R})$ on $\mathfrak{h}_g$ and $H$

related items


computational resource