"Talk on Gross-Keating invariants"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
imported>Pythagoras0
 
(사용자 2명의 중간 판 101개는 보이지 않습니다)
1번째 줄: 1번째 줄:
 
==overview==
 
==overview==
* definition of the Gross-Keating invariant of a quadratic form over Zp
+
* defn of Gross-Keating inv. of a quad. form over Zp
* binary quadratic forms and class number relations
+
* bin. quad. forms and class number relations
* representation of integers by quadratic forms  
+
* representation of integers by quad. forms  
* a computer program that computes the Gross-Keating invariant of a quadratic form over Zp
+
* (skip if no time) computer program that computes Gross-Keating inv. of a quad. form over Zp
 
+
<math>
 
 
$
 
 
\newcommand{\Z}{\mathbb Z}
 
\newcommand{\Z}{\mathbb Z}
 
\newcommand{\Zn}{\Z_{\geq 0}^n}
 
\newcommand{\Zn}{\Z_{\geq 0}^n}
38번째 줄: 36번째 줄:
 
\newcommand\Xtwo{\siX 2^{\rm semi}}
 
\newcommand\Xtwo{\siX 2^{\rm semi}}
 
\newcommand\hh[1]{\mathbb{H}_{#1}}
 
\newcommand\hh[1]{\mathbb{H}_{#1}}
$
+
</math>
  
==Gross-Keating invariant==
+
==Gross-Keating inv.==
* Let $p\in \Z_{\geq 0}$ be a prime,
+
* [[Gross-Keating invariants of a quadratic form]]
* $\Qp$ : $p$-adic completion of $\Q$, and $\Zp$ : ring of integers
+
* <math>p\in \Z_{> 0}</math> : prime
* For $a\in \Qp^\times$, $\ord(a)=n$ if $a\in p^n \Zp^\times$
+
* <math>\Qp</math> : <math>p</math>-adic completion of <math>\Q</math>, and <math>\Zp</math> : ring of int.
* symmetric matrix $B=(b_{ij}),\, b_{ij}\in \Qp$ is half-integral if $b_{ii}\in \Zp$ and $2b_{ij}\in \Zp$
+
* For <math>a\in \Qp^\times</math>, <math>\ord(a)=n</math> if <math>a\in p^n \Zp^\times</math>, <math>\ord(0)=\infty</math>
* $\matn$ : set of non-degenerate half-integral symmetric matrix of size $n$
+
* symm. <math>n\times n</math> mat. <math>B=(b_{ij}),\, b_{ij}\in \Qp</math> is half-integral if <math>b_{ii}\in \Zp</math> and <math>2b_{ij}\in \Zp</math>
 +
* <math>\matn</math> : set of <math>n\times n</math> non-deg. half-int. mat.
  
;def (Gross-Keating invariant)
+
;def
Let $B=(b_{ij})\in\matn$.
+
<math>B=(b_{ij})\in\matn</math>
Let $S(B)$ be the set of all non-decreasing sequences $(a_1, \dots, a_n)\in\Zn$ such that
+
 
 +
<math>S(B)</math> : set of all non-decreasing seq. <math>(a_1, \dots, a_n)\in\Zn</math> s.t.
 
\begin{align*}
 
\begin{align*}
 
&\ord(b_{ii})\geq a_i \qquad\qquad\qquad\quad (1\leq i\leq n), \\
 
&\ord(b_{ii})\geq a_i \qquad\qquad\qquad\quad (1\leq i\leq n), \\
 
&\ord(2 b_{ij})\geq (a_i+a_j)/2  \qquad\; (1\leq i\leq j\leq n),
 
&\ord(2 b_{ij})\geq (a_i+a_j)/2  \qquad\; (1\leq i\leq j\leq n),
 
\end{align*}
 
\end{align*}
and $S(\{B\}):=\bigcup_{U\in\GL_n(\Zp)} S(U^{t}BU)$.  
+
 
The Gross-Keating invariant $\GK(B)=(a_1, \dots, a_n)\in\Zn$ of $B$ is defined by
+
<math>S(\{B\}):=\bigcup_{U\in\GL_n(\Zp)} S(U^{t}BU)</math>
 +
 
 +
GK inv. <math>\GK(B)=(a_1, \dots, a_n)\in\Zn</math> of <math>B</math> is  
 
\begin{align*}
 
\begin{align*}
 
a_1&=\max_{(y_1, \dots)\in S(\{B\})} \,y_1, \\
 
a_1&=\max_{(y_1, \dots)\in S(\{B\})} \,y_1, \\
63번째 줄: 65번째 줄:
 
\end{align*}
 
\end{align*}
  
* By definition $GK(B)$ only depends on $\Zp$-class of $B$ under the relation $B\sim B'$ if $B' = U^{t}BU$ for some $U\in\GL_n(\Zp)$
+
* By definition <math>GK(B)</math> depends only on <math>\Zp</math>-class of <math>B</math> under <math>B\sim B'</math> if <math>B' = U^{t}BU</math> for some <math>U\in\GL_n(\Zp)</math>
* hard to use
+
* hard to compute from definition
  
 +
;remarks
 +
* 1993 : Gross-Keating : introduced <math>GK(B)</math> for 3x3 <math>B</math> in study of arithmetic intersection number related to three modular poly.
 +
* 2015 : Ikeda-Katsurada : defined <math>GK(B)</math> for <math>B</math> <math>n\times n</math> half-int. over a finite ext'n of <math>\Qp</math>
 +
* 2016 : Ikeda-Katsurada : Siegel series of <math>B</math> (local factor of Fourier coef of Siegel-Eisenstein series) is determined by <math>GK(B)</math>
 +
* 2017 : Cho-Ikeda-Katsurada-Yamauchi : computer-friendly (not human-friendly) inductive formulas for <math>GK(B)</math>
 +
* I recently wrote computer program using Mathematica; arXiv:1809.10323
  
===history===
+
==bin. quad. forms and class number relations==
* 1993 : Gross-Keating : introduced $GK(B)$ when $B$ is of size $3$ in the study of arithmetic intersection number related to three modular polynomials
+
* <math>Q=Ax^2+Bxy+Cy^2</math> : pos. def. bin. quad. form over <math>\Z</math>, write <math>Q=[A,B,C]</math>
* 2015 : Ikeda-Katsurada : defined $GK(B)$ for $B$ half-integral of arbitary size over a finite extension of $\Qp$
+
* disc. of <math>Q</math> <math>B^2-4AC<0</math>
* 2016 : Ikeda-Katsurada : showed that the Siegel series of $B$ (this is something appearing as a local factor of Fourier coefficient of Siegel-Eisenstein series) is determined by $GK(B)$
+
* for int. <math>d>0</math>,
* 2017 : Cho-Ikeda-Katsurada-Yamauchi : many computer-friendly (not human-friendly) formulas (and I recently wrote computer program using Mathematica)
+
** <math>\mathcal{Q}_d=\{Q:B^2-4AC=-d\}</math>
 
+
** <math>\mathcal{Q}_{d}^{pr}=\{Q\in \mathcal{Q}_d:\text{primitive}\}</math>. <math>Q</math> is prim. if <math>\rm{GCD}(A,B,C)=1</math>
==binary quadratic forms and class number relations==
+
* <math>\Gamma=PSL_2(\mathbb{Z})</math> acts on <math>\mathcal{Q}_d</math> (and <math>\mathcal{Q}_{d}^{pr}</math>) : <math>Q\mapsto Q'</math> by <math>Q'(x,y)=Q(ax+by,cx+dy)</math>
* $Q=Ax^2+Bxy+Cy^2$ : positive definite binary quadratic form over $\Z$, write $Q=[A,B,C]$
+
:<math>
* discriminant of $Q$ $B^2-4AC<0$
 
* for positive integer $d$, define
 
** $\mathcal{Q}_d=\{Q:B^2-4AC=-d\}$
 
** $\mathcal{Q}_{d}^{pr}=\{Q\in \mathcal{Q}_d:\text{primitive}\}$. $Q$ is primitive if $A,B,C$ is coprime
 
* $\Gamma=PSL_2(\mathbb{Z})$ acts on $\mathcal{Q}_d$ (and $\mathcal{Q}_{d}^{pr}$) : $Q\mapsto Q'$ by $Q'(x,y)=Q(ax+by,cx+dy)$, in matrix form,
 
$$
 
 
\left(
 
\left(
 
\begin{array}{cc}
 
\begin{array}{cc}
104번째 줄: 106번째 줄:
 
\end{array}
 
\end{array}
 
\right)
 
\right)
$$
+
</math>
* for each $Q$, let $w_{Q}$ be the size of stabilizers
+
* for each <math>Q</math>, <math>w_{Q}</math> : size of stabilizers
** $w_Q=2$ if $Q\sim [a,0,a]$
+
** <math>w_Q=2</math> if <math>Q\sim [a,0,a]</math>
** $w_Q=3$ if $Q\sim [a,a,a]$
+
** <math>w_Q=3</math> if <math>Q\sim [a,a,a]</math>
** $w_Q=1$ otherwiser
+
** <math>w_Q=1</math> otherwise
;def (class number and Hurwitz-Kronecer class number)
+
;def (class number and Hurwitz-Kronecker class number)
For pos. int. $d>0$, define
+
For int. <math>d>0</math>,
$$h_{d}^{pr}:=\sum_{Q\in \mathcal{Q}_d^{pr}/\Gamma} 1$$
+
:<math>h_{d}^{pr}:=\#(\mathcal{Q}_d^{pr}/\Gamma),\quad h_d:=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}</math>
 
 
$$h_d:=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}$$
 
  
 
;example
 
;example
* $\mathcal{Q}_{12}^{pr}/\Gamma = \{[1,0,3]\}$, $h_{d}^{pr} = 1$
+
* <math>\mathcal{Q}_{12}^{pr}/\Gamma = \{[1,0,3]\}</math>, <math>h_{12}^{pr} = 1</math>
* $\mathcal{Q}_{12}/\Gamma = \{[1,0,3],[2,2,2]\}$, $h_{d} = 4/3$
+
* <math>\mathcal{Q}_{12}/\Gamma = \{[1,0,3],[2,2,2]\}</math>, <math>h_{12} = 4/3</math>
* when $d=23$, they are the same : $\{[1,1,6], [2,-1,3], [2,1,3]\}$, $h_{d}=h_{d}^{pr} = 3$
+
* when <math>d=23</math>, both are : <math>\{[1,1,6], [2,-1,3], [2,1,3]\}</math>, <math>h_{23}=h_{23}^{pr} = 3</math>
  
  
===class polynomials===
+
===class poly===
;def (j-invariant)
+
;def (j-inv.)
:$
+
:<math>
j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=q^{-1}+744+196884q+21493760q^2+\cdots,\, q=e^{2\pi i\tau},\tau\in \mathbb{H}
+
j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=q^{-1}+744+196884q+\cdots,\, q=e^{2\pi i\tau},\tau\in \mathbb{H}
$
+
</math>
 
where
 
where
:$ E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n= 1+240q+2160q^2+\cdots,\quad \sigma_3(n)=\sum_{d|n}d^3$
+
:<math> E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n,\quad \sigma_3(n)=\sum_{d|n}d^3</math>
:$\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}= q-24q+252q^2+\cdots$
+
:<math>\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}</math>
  
  
 
;thm
 
;thm
Let $Q=[a,b,c]$ be primitive of discriminant $-d$, and $\tau_Q = \frac{-B+\sqrt{B^2-4AC}}{2A}\in \mathbb{H}$. Then $j(\tau_Q)$ is an algebraic integer with minimal polynomial
+
<math>Q=[A,B,C]</math> : prim of disc <math>-d</math>, and <math>\tau_Q = \frac{-B+\sqrt{B^2-4AC}}{2A}\in \mathbb{H}</math>.  
$$
+
 
 +
Then <math>j(\tau_Q)</math> is an alg. int. with minimal poly.
 +
:<math>
 
H_d(x) : = \prod_{Q\in \mathcal{Q}_{d}^{\rm{pr}}/\Gamma}(x-j(\tau_Q))\in \Z[x]
 
H_d(x) : = \prod_{Q\in \mathcal{Q}_{d}^{\rm{pr}}/\Gamma}(x-j(\tau_Q))\in \Z[x]
$$
+
</math>
In particular, $h_{d}^{\rm{pr}}=1$, then $j(\tau_Q)\in \mathbb{Z}$.
+
In particular, <math>h_{d}^{\rm{pr}}=1</math>, then <math>j(\tau_Q)\in \mathbb{Z}</math>.
  
* $\Delta =-163$; $h_{163}^{pr}=1$
+
;example
$$j(\frac {-1+\sqrt{-163}} {2})=-640320^3$$
+
<math>h_{23}^{pr}=3, \qquad H_{23}(x) = x^3+3491750 x^2-5151296875 x+12771880859375</math>
* $\Delta =-23$; $h_{23}^{pr}=3$
 
$$
 
H_{23}(x) = x^3+3491750 x^2-5151296875 x+12771880859375
 
$$
 
 
 
===modular polynomials===
 
* Let $m$ be a positive integer
 
* there exists $\phi_m(x,y)\in{\mathbb{Z}}[x,y]$ such that
 
$$\prod_{ad=m,1\leq b \leq d}(x-j(\frac{a\tau+b}{d}))=\phi_m(x,j(\tau))$$
 
* as a polynomial in $x$, $\deg \phi_m(x,y)=\sigma_1(m)=\sum_{d|m}d$
 
  
 +
===modular poly===
 +
* <math>m>0</math> : int
 +
* <math>\exists</math> <math>\phi_m(x,y)\in{\mathbb{Z}}[x,y]</math> such that
 +
:<math>\prod_{ad=m,a,d>0,0\leq b \leq d-1}(x-j(\frac{a\tau+b}{d}))=\phi_m(x,j(\tau))</math>
 +
* <math>\phi_m(j(m\tau),j(\tau))=0</math>
 +
* as a poly. in <math>x</math>, <math>\deg \phi_m(x,y)=\sigma_1(m)=\sum_{d|m}d</math>
  
 
;examples
 
;examples
* $m=1$$\phi_1(x,y)=x-y$
+
* <math>m=1</math><math>\phi_1(x,y)=x-y</math>
* $m=2$
+
* <math>m=2</math>
$$
+
:<math>
 
\phi_2(x,y)=x^3+y^3-x^2 y^2+1488 (x^2 y + x y^2)-162000 (x^2+y^2) +40773375 x y+8748000000 (x + y)-157464000000000
 
\phi_2(x,y)=x^3+y^3-x^2 y^2+1488 (x^2 y + x y^2)-162000 (x^2+y^2) +40773375 x y+8748000000 (x + y)-157464000000000
$$
+
</math>
* $m=3$
+
* <math>\phi_3(x,y) =x^4+\dots,\quad \phi_4(x,y) = x^7+\dots</math>
$$
+
* interested in <math>F_m(x):=\phi_m(x,x)\in \Z[x]</math> :
\begin{aligned}
+
:<math>
\phi_3(x,y) =x^4+x^3 \left(-y^3+2232 y^2-1069956 y+36864000\right)+\dots
 
\end{aligned}
 
$$
 
* $m=4$
 
$$
 
\phi_4(x,y) = x^7+x^6 \left(-y^4+2976 y^3-2533680 y^2+561444610 y-8507430000\right)+\dots
 
$$
 
 
 
* we are interested in $F_m(x):=\phi_m(x,x)\in \Z[x]$ :
 
$$
 
 
F_1(x)=0
 
F_1(x)=0
$$
+
</math>
$$
+
:<math>
F_2(x) = -(x-1728)(x+3375)^2(x-8000) = -H_{4}(d)H_{7}(x)^2H_{8}(x)
+
F_2(x) = -(x-1728)(x+3375)^2(x-8000) = -H_{4}(x)H_{7}(x)^2H_{8}(x)
$$
+
</math>
$$
+
:<math>
 
F_3(x) = -x(x-8000)^2  (x+32768)^2(x-54000)  = - H_3(x)H_{8}(x)^2H_{11}(x)^2H_{12}(x)
 
F_3(x) = -x(x-8000)^2  (x+32768)^2(x-54000)  = - H_3(x)H_{8}(x)^2H_{11}(x)^2H_{12}(x)
$$
+
</math>
  
* if $m$ is not a perfect square, $F_m(x)$ is non-zero.
+
* <math>F_m(x)\neq 0</math> if <math>m</math> is not a perfect square
  
 
* Hurwitz calculated its degree :
 
* Hurwitz calculated its degree :
$$\deg F_m(x)= \sum_{d|m}\max(d,m/d)$$
+
:<math>\deg F_m(x)= \sum_{d|m}\max(d,m/d)</math>
  
* Kronecker gave its explicit factorization in terms of class polynomials:
+
* Kronecker : explicit factor. in class poly:
$$
+
:<math>
 
F_m(x) =\pm \prod_{t\in \Z,t^2 \leq 4m}\mathcal{H}_{4m − t^2}(x)
 
F_m(x) =\pm \prod_{t\in \Z,t^2 \leq 4m}\mathcal{H}_{4m − t^2}(x)
$$
+
</math>
 
where
 
where
$$
+
:<math>
\mathcal{H}_d(x) = \prod_{Q\in \Gamma\backslash \mathcal{Q}_d}(x-j(\tau_Q))^{1/w_{Q}}
+
\mathcal{H}_d(x) = \prod_{Q\in \mathcal{Q}_d/\Gamma}(x-j(\tau_Q))^{1/w_{Q}}
$$
+
</math>
 +
* can be also written as a product of <math>H_d(x)</math>
  
* it can be written as a product of class polynomials $H_d(x)$'s with known exponents.
+
;thm (H.-K. class number relation)
 +
If <math>m</math> is not a perfect sq., then
 +
:<math>
 +
\sum_{d|m}\max(d,m/d) = \sum_{t\in \Z,t^2 \leq 4m}h_{4m − t^2}
 +
</math>
 +
 
 +
* this is surprising ; class numbers with different disc. have a linear relation!
 +
* geometric interpretation : <math>\deg F_m(x)</math> = number of intersections of two curves <math>\phi_1(x,y)=x-y=0</math> and <math>\phi_m(x,y)=0</math> in <math>\C^2</math>
 +
* Hurwitz computed this for pairs <math>\phi_{m_1}</math> and <math>\phi_{m_2}</math>
  
;thm (Kronecker-Hurwitz class number relation)
 
If $m$ is not a perfect square, then
 
$$
 
\sum_{d|m}\max(d,m/d) = \sum_{t\in \Z,t^2 \leq 4m}h_{4m − t^2}
 
$$
 
  
* this is surprising ; class numbers with different discriminants have a linear relation!
+
;thm (Gross-Keating, 1993)  
* geometric interpretation : $\deg F_m(x)$ : number of intersections of two curves $\phi_1(x,y)=x-y=0$ and $\phi_m(x,y)=0$ in $\C^2$
+
<math>m_1,m_2,m_3</math> : pos int, and <math>A=\Z[X,Y]/\langle \phi_{m_1},\phi_{m_2},\phi_{m_3}\rangle</math>
* Hurwitz actually computed this for pairs $\phi_{m_1}$ and $\phi_{m_2}$
 
  
===arithmetic intersection number===
+
# <math>\#A</math> is finite if and only if there is no pos. def. form <math>[a,b,c]</math> which represents <math>m_1,m_2,m_3</math>.  
;thm (Gross-Keating)
+
# Let <math>\log \#A=\sum_{p}n(p)\log p</math>. Then <math>n(p)=0</math> for <math>p>4m_1m_2m_3</math>. For <math>p\leq 4m_1m_2m_3</math>,
Let $m_1,m_2,m_3$ be positive integers.
+
:<math>
# The cardinality of the quotient ring $A=\Z[X,Y]/(\phi_{m_1},\phi_{m_2},\phi_{m_3})$ is finite if and only if there is no positive definite integral binary quadratic form $a x^2+bxy+cy^2$ which represents the three integers $m_1,m_2,m_3$.  
 
# Assume that $m_1,m_2,m_3$ satisfy this condition. Let $\log \#A=\sum_{p}n(p)\log p$. Then $n(p)=0$ for $p>4m_1m_2m_3$. For $p\leq 4m_1m_2m_3$,
 
$$
 
 
n(p) = \frac{1}{2}\sum_{Q}\left(\prod_{l\mid 4\det Q,\, l\neq p} \beta_l(Q) \right)\cdot \alpha_p(Q).
 
n(p) = \frac{1}{2}\sum_{Q}\left(\prod_{l\mid 4\det Q,\, l\neq p} \beta_l(Q) \right)\cdot \alpha_p(Q).
$$
+
</math>
* Here the sum is over all positive definite non-degenerate half-integral matrices $Q$ over $\Z$ with diagonal $(m_1,m_2,m_3)$ which are isotropic over $\Q_{l}$ for all $l\neq p$ and anisotropic over $\Qp$
+
* sum is over all pos. def. half-int. <math>Q</math> over <math>\Z</math> with diagonal <math>(m_1,m_2,m_3)</math> which are isotropic over <math>\Q_{l}</math> for all <math>l\neq p</math> and anisotropic over <math>\Qp</math>
* $\alpha_p(Q)$ and $\beta_p(Q)$ are given explicitly in terms of $GK(Q)=(a_1,a_2,a_3)$ ($Q$ as a matrix over $\Qp$). For example,
+
* <math>\alpha_p(Q)</math> and <math>\beta_p(Q)</math> given in terms of <math>GK(Q)=(a_1,a_2,a_3)</math> (<math>Q</math> as a mat. over <math>\Qp</math>). For example,
If $a_1\not\equiv a_2 \pmod 2$,
+
If <math>a_1\not\equiv a_2 \pmod 2</math>,
$$
+
:<math>
 
\alpha_p(Q) = \sum_{i=0}^{a_1-1} (i+1) (a_1+a_2+a_3-3 i)p^i +\sum _{i=a_1}^{(a_1+a_2-1)/2} (a_1+1) (2a_1+a_2+a_3-4i)p^i.
 
\alpha_p(Q) = \sum_{i=0}^{a_1-1} (i+1) (a_1+a_2+a_3-3 i)p^i +\sum _{i=a_1}^{(a_1+a_2-1)/2} (a_1+1) (2a_1+a_2+a_3-4i)p^i.
$$
+
</math>
$$
+
:<math>
 
\beta_p(Q) = \sum _{i=0}^{a_1-1} 2(i+1)p^i +\sum _{i=a_1}^{(a_1+a_2-2)/2} 2(a_1+1)p^i.
 
\beta_p(Q) = \sum _{i=0}^{a_1-1} 2(i+1)p^i +\sum _{i=a_1}^{(a_1+a_2-2)/2} 2(a_1+1)p^i.
$$
+
</math>
* Let $S=\mathrm{Spec}\, \Z[X,Y]$ and $T_m$ be the divisor on $S$ corresponding to $\phi_m$. $\intmult$ is called the arithmetic intersection number.
+
* => <math>\#A</math> :  arithmetic intersection number of divisors corr. to <math>\phi_m</math> on <math>S=\mathrm{Spec}\, \Z[X,Y]</math>
  
==representation of integers by quadratic forms==
+
==repn of integers by quad. forms==
* Let $Q$ be a positive definite integral quadratic form in $n$ variables, i.e. $Q(X) = X^t A_{Q} X$ for some positive definite half-integral symmetric square matrix $A_{Q}$
+
* <math>Q</math> : a pos. def. quad. form <math>/\Z</math> in <math>n</math> var., i.e. <math>Q(X) = X^t A_{Q} X</math> for some pos. def. half-int. mat. <math>A_{Q}</math>, <math>X\in \Z^n</math>
* $r(Q, m)$ : number of $X\in \Z^n$ such that $Q(X) = m$
+
* <math>r(Q, m),\, m\geq 0</math> : number of <math>X\in \Z^n</math> such that <math>Q(X) = m</math>
* theta function of $Q$
+
* theta function of <math>Q</math>
$$
+
:<math>
 
\theta_Q(\tau)=\sum_{m=0}^\infty r(Q, m)q^{m}
 
\theta_Q(\tau)=\sum_{m=0}^\infty r(Q, m)q^{m}
$$
+
</math>
* set $\det Q := \det (2A_Q)$
+
* set <math>\det Q := \det (2A_Q)</math>
* level $N$ of $Q$ : smallest integer $N$ such that $N(2A_Q)^{-1}$ is twice of a half-integral matrix
+
* level <math>N</math> of <math>Q</math> : smallest int. <math>N</math> such that <math>N(2A_Q)^{-1}</math> is twice of a half-int mat.
* for example, $Q=x^2$, $\det Q = 2$, $N=4$; $Q=4x^2+6y^2$, $\det Q = 96$, $N=48$
+
* for example, <math>Q=4x^2+6y^2</math>, <math>\det Q = 96</math>, <math>N=48</math>
 
;thm  (see [[Theta function of a quadratic form]])
 
;thm  (see [[Theta function of a quadratic form]])
For simplicity assume that $Q$ has even number of variables. (i.e. $n$ even)
+
For simplicity assume that <math>Q</math> has even number of var. (i.e. <math>n</math> even)
  
For $\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in SL_2(\Z)$ with $c\equiv 0 \pmod N$,
+
For <math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in SL_2(\Z)</math> with <math>c\equiv 0 \pmod N</math>,
$$
+
:<math>
 
\theta_Q\left(\frac{a\tau+b}{c\tau+d}\right) = \left(\frac{(-1)^{n/2}\det Q}{d}\right)(c\tau+d)^{n/2}\theta_Q(\tau)
 
\theta_Q\left(\frac{a\tau+b}{c\tau+d}\right) = \left(\frac{(-1)^{n/2}\det Q}{d}\right)(c\tau+d)^{n/2}\theta_Q(\tau)
$$
+
</math>
i.e., $\theta_Q$ is a modular form of weight $n/2$ with a Dirichlet character w.r.t. $\Gamma_0(N)$
+
i.e., <math>\theta_Q</math> is a modular form of weight <math>n/2</math> with a Dirichlet character w.r.t. <math>\Gamma_0(N)</math>
* vector space of modular forms with given weight, level, character  =  (space of Eisenstein series) + (space of cusp forms)
+
* space of modular forms with given weight, level, character  =  (space of Eisenstein series) + (space of cusp forms)
* $\theta_Q(\tau) = E_Q(\tau)+C_Q(\tau)$
+
* <math>\theta_Q(\tau) = E_Q(\tau)+C_Q(\tau)</math>
* $r(Q, m)$ = Fourier coefficient of $E_Q(\tau)$ + Fourier coefficient of $C_Q(\tau)$ (i.e. dominant term + error term)
+
* <math>r(Q, m)</math> = Fourier coef. of <math>E_Q(\tau)</math> + Fourier coef. of <math>C_Q(\tau)</math> (i.e. dominant term + error term)
  
 
===Siegel-Weil formula===
 
===Siegel-Weil formula===
* key message : do not study a single form. consider all forms in its genus
+
* key message : single form : hard ; consider all forms in its genus
;def (genus of an integral quadratic form)
+
* aut. gp. of <math>Q</math> : <math>{\rm Aut}(Q) = \{U\in GL_{n}(\Z):U^t A_Q U = A_Q\}</math>
For $Q$, ${\rm gen}(Q)$ is the set of $\Z$-equivalence classes of quadratic forms that are $\Z_p$-equivalent to $Q$ at all $p$ (including $p=\infty$)
+
;def (genus of quad. form <math>/\Z</math>)
 +
<math>{\rm gen}(Q)</math> : set of <math>\Z</math>-equiv. classes of quad. forms that are <math>\Z_p</math>-equivalent to <math>Q</math> at all <math>p</math> (including <math>p=\infty</math>)
  
When $Q$ is positive definite, ${\rm gen}(Q)$ is a finite set.
+
When <math>Q</math> is pos. def., <math>{\rm gen}(Q)</math> is finite (local-global fails)
;example
+
 
$f_1(x,y) =x^2+82y^2$ and $f_2(x,y) =2x^2+41y^2$ are $\Zp$-equivalent for all $p$ , but not $\Z$-equivalent
+
;example (skip if no time)
 +
<math>f_1(x,y) =x^2+82y^2</math> and <math>f_2(x,y) =2x^2+41y^2</math> are <math>\Zp</math>-equivalent for all <math>p</math> , but not <math>\Z</math>-equivalent
  
  
 
;thm (Siegel)
 
;thm (Siegel)
Let $Q$ be a positive definite quadratic form $Q$ over $\Z$.
+
<math>Q</math> : a pos. def. quad form <math>.\Z</math>. on <math>n</math> var.
To each $Q' \in {\rm gen}(Q)$, assign the weight $w(Q')$ proportional to $\frac{1}{|{\rm Aut}(Q')|}$ so that $\sum_{Q'} w(Q')=1$ i.e.
+
 
$$
+
To each <math>Q' \in {\rm gen}(Q)</math>, assign weight <math>w(Q')</math> proportional to <math>\frac{1}{|{\rm Aut}(Q')|}</math> so that <math>\sum_{Q'} w(Q')=1</math> i.e.
 +
:<math>
 
w(Q') = \frac{1}{|{\rm Aut}(Q')|}\,\cdot\,\left(\sum_{Q'\in {\rm gen}(Q)}\frac{1}{|{\rm Aut}(Q')|}\right)^{-1}
 
w(Q') = \frac{1}{|{\rm Aut}(Q')|}\,\cdot\,\left(\sum_{Q'\in {\rm gen}(Q)}\frac{1}{|{\rm Aut}(Q')|}\right)^{-1}
$$
+
</math>
# weighted average of theta functions is the Eisenstein part $E_{Q}$ of $\theta_Q$ $$\sum_{Q'\in {\rm gen}(Q)}w(Q')\theta_{Q'}(\tau)=E_{Q}(\tau)$$
+
# weighted average of theta functions : :<math>\sum_{Q'\in {\rm gen}(Q)}w(Q')\theta_{Q'}(\tau)=E_{Q}(\tau)</math>
# weighed average of representation number, i.e. the Fourier coefficient of $E_Q$ is
+
# weighted average of representation number (i.e. Fourier coef. of <math>E_Q</math>)
$$
+
:<math>
\sum_{Q'\in {\rm gen}(Q)}w(Q')r(Q', m)=\prod_{p:\text{primes}}\alpha_{p}(Q,m) = \alpha_{\infty}(Q,m)\alpha_{2}(Q,m)\alpha_{3}(Q,m)\dots
+
\sum_{Q'\in {\rm gen}(Q)}w(Q')r(Q', m)=(\text{const. on }n) \prod_{p:\text{primes}}\alpha_{p}(Q,m) = (*) \alpha_{\infty}(Q,m)\alpha_{2}(Q,m)\alpha_{3}(Q,m)\dots
$$
+
</math>
where $\alpha_{p}(Q,m)$ is the local density at $p$ (will be defined soon).
+
where <math>\alpha_{p}(Q,m)</math> is local density at <math>p</math> (will be defined soon).
 
;remark
 
;remark
* Let $A$ and $B$ be half-integral symmetric square matrices over $\Z$ of size $m$ and $n$
+
* regard <math>m\in \Z_{\geq 0}</math> as half-int. <math>1\times 1</math> mat
* define $r(A,B)$ to be the number of $m \times n$ integral matrices $X$ such that $X^t A X = B$.
+
* <math>A</math> and <math>B</math> be half-int. over <math>\Z</math> of size <math>m</math> and <math>n</math>, <math>m\geq n\geq 1</math>
* Siegel's theorem holds for $r(A,B)$, modular form becomes Siegel modular forms
+
* <math>r(A,B)</math> : number of <math>m \times n</math> int. mat. <math>X</math> s.t. <math>X^t A X = B</math>
 +
* Siegel's theorem holds for <math>r(A,B)</math>, modular form becomes Siegel modular forms
  
 
===Local density and Siegel series===
 
===Local density and Siegel series===
 
;def (local density)
 
;def (local density)
 
Define
 
Define
$$
+
:<math>
 
\alpha_{p}(A,B)= \lim_{\ell\to\infty}p^{-\ell(mn-n(n+1)/2)}N_{p^{\ell}}(A,B)
 
\alpha_{p}(A,B)= \lim_{\ell\to\infty}p^{-\ell(mn-n(n+1)/2)}N_{p^{\ell}}(A,B)
$$
+
</math>
 
where
 
where
$$
+
:<math>
 
N_{p^{\ell}}(A,B) = \#\{X\in M_{m\times n}(\Zp/p^{\ell}\Zp)\, | X^{t}AX = B \pmod{p^{\ell}\calh_n(\Zp)}\}
 
N_{p^{\ell}}(A,B) = \#\{X\in M_{m\times n}(\Zp/p^{\ell}\Zp)\, | X^{t}AX = B \pmod{p^{\ell}\calh_n(\Zp)}\}
$$
+
</math>
* it is very difficult to compute $\alpha_{p}(A,B)$ in general
+
* <math>\alpha_{p}(A,B)</math> : very difficult to compute in general
* there is an important special case
+
* <math>\exists</math> important special case we know more
  
 
;thm (?Kitaoka)
 
;thm (?Kitaoka)
Let $B\in \matn$. There exists a polynomial $f_p(B;X)\in \Z[X]$ such that for $k\geq n$,
+
<math>B\in \matn</math>. <math>\exists</math> a poly <math>f_p(B;X)\in \Z[X]</math> such that for <math>k\geq n</math>,
$$
+
:<math>
 
f_p(B;p^{-k}) = \alpha_{p}(H_{k},B)
 
f_p(B;p^{-k}) = \alpha_{p}(H_{k},B)
$$
+
</math>
where $H_k=\left(
+
where <math>H_k=\underbrace{\left(
 
\begin{array}{cc}
 
\begin{array}{cc}
 
  0 & \frac{1}{2} \\
 
  0 & \frac{1}{2} \\
302번째 줄: 294번째 줄:
 
  \frac{1}{2} & 0 \\
 
  \frac{1}{2} & 0 \\
 
\end{array}
 
\end{array}
\right)$
+
\right)}_{k}</math>
  
;def (Siegel series)
+
;def
the polynomial $f_p(B;X)$ (more precisely, $f_p(B;p^{-s}),\, s\in \C$) is called the Siegel series of $B$
+
Siegel series of <math>B</math> : <math>f_p(B;X)</math> (more precisely, <math>f_p(B;p^{-s}),\, s\in \C</math>)
  
 
;remark
 
;remark
* the Siegel series appear as the $p$-factors of the Fourier coefficients of the Siegel-Eisenstein series (for the full modular group $\operatorname{Sp}(n,\Z)$, or weighted average for even unimodular lattices)
+
* Siegel series : <math>p</math>-local factor of Fourier coef. of Siegel-Eisenstein series (for <math>\operatorname{Sp}_{n}(\Z)</math>, or weighted average for even unimodular lattices)
 
 
  
 
;thm (Ikeda-Katsurada 2016)
 
;thm (Ikeda-Katsurada 2016)
The Siegel series of $B$ is determined by $GK(B)=(a_1,\dots, a_n)$ and there is an algorithm to compute it from $GK(B)$.
+
Siegel series of <math>B</math> only depends on <math>GK(B)=(a_1,\dots, a_n)</math> (there is an algorithm to compute it from <math>GK(B)</math>)
  
 
==memo==
 
==memo==
 
* Eisenstein series
 
* Eisenstein series
$$
+
:<math>
 
E_{2k}(\tau)=1+\frac {2}{\zeta(1-2k)}\left(\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)
 
E_{2k}(\tau)=1+\frac {2}{\zeta(1-2k)}\left(\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)
$$
+
</math>
$$
+
:<math>
 
E_{12}(\tau) =1+ \frac{65520 q}{691}+\frac{134250480 q^2}{691}+\dots
 
E_{12}(\tau) =1+ \frac{65520 q}{691}+\frac{134250480 q^2}{691}+\dots
$$
+
</math>
  
 
===Siegel modular forms===
 
===Siegel modular forms===
A Siegel modular form $f$ of genus $g$ has an expansion of the form
+
A Siegel modular form <math>f</math> of genus <math>g</math> has an expansion of the form
$$f(Z)=\sum_{T\in \Xgsemi}a(T;f)\e(\ip TZ)$$
+
:<math>f(Z)=\sum_{T\in \Xgsemi}a(T;f)\e(\ip TZ)</math>
where $\e(\ip TZ):=\exp\left(2\pi i \operatorname{Tr}(TZ)\right)$ and $\Xgsemi$ denotes the set of half-integral positive semi-definite symmetric
+
where <math>\e(\ip TZ):=\exp\left(2\pi i \operatorname{Tr}(TZ)\right)</math> and <math>\Xgsemi</math> denotes the set of half-int. pos. semi-def symm.
$g\times g$ matrices.
+
<math>g\times g</math> matrices.
 
}
 
}
  
 
;example Fourier expansion in genus 2
 
;example Fourier expansion in genus 2
Let $f$ be a Siegel modular form of genus 2 and consider its Fourier expansion
+
Let <math>f</math> be a Siegel modular form of genus 2 and consider its Fourier expansion
$$f(Z)=\sum_{T\in \Xtwo}a(T;f)\e(\ip TZ).$$
+
:<math>f(Z)=\sum_{T\in \Xtwo}a(T;f)\e(\ip TZ).</math>
  
 
For
 
For
$
+
<math>
 
T=\begin{pmatrix}a & b/2 \\ b/2 & c \\\end{pmatrix} \in \Xtwo
 
T=\begin{pmatrix}a & b/2 \\ b/2 & c \\\end{pmatrix} \in \Xtwo
$
+
</math>
 
and  
 
and  
$
+
<math>
 
Z=\begin{pmatrix}\tau_1 & z \\ z & \tau_2 \\\end{pmatrix}\in \hh{2}
 
Z=\begin{pmatrix}\tau_1 & z \\ z & \tau_2 \\\end{pmatrix}\in \hh{2}
$,  
+
</math>,  
$$
+
:<math>
 
\operatorname{Tr}(T Z)=a \tau_1+b z+c \tau_2.
 
\operatorname{Tr}(T Z)=a \tau_1+b z+c \tau_2.
$$
+
</math>
  
If we set $q_i=e^{2\pi i \tau_i}$, $\zeta=e^{2\pi i z}$, then
+
If we set <math>q_i=e^{2\pi i \tau_i}</math>, <math>\zeta=e^{2\pi i z}</math>, then
$$
+
:<math>
 
\e(\ip TZ)=\exp\left(2\pi i \operatorname{Tr}(T Z)\right)=q_1^a\zeta^bq_2^c
 
\e(\ip TZ)=\exp\left(2\pi i \operatorname{Tr}(T Z)\right)=q_1^a\zeta^bq_2^c
$$
+
</math>
 
and thus,
 
and thus,
$$f(Z)=\sum_{T\in \Xtwo}a(T;f)q_1^a\zeta^bq_2^c.$$
+
:<math>f(Z)=\sum_{T\in \Xtwo}a(T;f)q_1^a\zeta^bq_2^c.</math>
  
===Fourier coefficients of Siegel-Eisenstein series===
+
===Fourier coef.s of Siegel-Eisenstein series===
The Eisenstein series of weight $k$ (even) and genus $g$ is
+
The Eisenstein series of weight <math>k</math> (even) and genus <math>g</math> is
$$
+
:<math>
 
\Egk(Z) = \sum_{\tiny{\begin{pmatrix}A & B \\ C & D \\\end{pmatrix}}\in \Gamma_{g,0}\backslash \Gamma_{g}} \frac{1}{\det(CZ +D)^{k}},
 
\Egk(Z) = \sum_{\tiny{\begin{pmatrix}A & B \\ C & D \\\end{pmatrix}}\in \Gamma_{g,0}\backslash \Gamma_{g}} \frac{1}{\det(CZ +D)^{k}},
$$
+
</math>
 
where
 
where
$$
+
:<math>
 
\Gamma_{g,0}=\{\begin{pmatrix}A & B \\ 0 & D \\\end{pmatrix}\in \Gamma_{g}\}.
 
\Gamma_{g,0}=\{\begin{pmatrix}A & B \\ 0 & D \\\end{pmatrix}\in \Gamma_{g}\}.
$$
+
</math>
In other words, the summation is over all classes of coprime symmetric pairs $(C,D)$.
+
In other words, the summation is over all classes of coprime pairs <math>(C,D)</math>.
  
The Eisenstein series $\Egk(Z)$ is a Siegel modular form of weight $k$ and of genus $g$.
+
The Eisenstein series <math>\Egk(Z)</math> is a Siegel modular form of weight <math>k</math> and of genus <math>g</math>.
  
Consider the Fourier expansion of $\Egk(Z)$ :
+
Consider the Fourier expansion of <math>\Egk(Z)</math> :
$$
+
:<math>
 
\Egk(Z)=\sum_{T\in\Xgsemi}\fc T{\Egk}\,\e(\ip TZ).
 
\Egk(Z)=\sum_{T\in\Xgsemi}\fc T{\Egk}\,\e(\ip TZ).
$$
+
</math>
  
 
;thm (Kitaoka?)
 
;thm (Kitaoka?)
'''check the condition on $k$ and $g$ for the formula'''
+
'''check the condition on <math>k</math> and <math>g</math> for the formula'''
  
Assume that $k>g$. For non-degenerate $T\in\Xgsemi$,
+
Assume that <math>k>g</math>. For non-deg. <math>T\in\Xgsemi</math>,
$$
+
:<math>
 
\fc T\Egk=
 
\fc T\Egk=
 
\dfrac{2^{\lfloor \frac{g+1}{2} \rfloor} \prod_{p}F_p(T,p^{k-g-1})}
 
\dfrac{2^{\lfloor \frac{g+1}{2} \rfloor} \prod_{p}F_p(T,p^{k-g-1})}
383번째 줄: 374번째 줄:
 
1&\text{$g$ odd}
 
1&\text{$g$ odd}
 
\end{cases}
 
\end{cases}
$$
+
</math>
where $F_p(T,X)\in \Z[X]$ depending only on the $\Zp$-class of $T$. The product is over all primes $p\mid2\det(2T)$.
+
where <math>F_p(T,X)\in \Z[X]</math> depending only on the <math>\Zp</math>-class of <math>T</math>. The product is over all primes <math>p\mid2\det(2T)</math>.
  
 
==related items==
 
==related items==
 
* [[Talk on Siegel theta series and modular forms]]
 
* [[Talk on Siegel theta series and modular forms]]
 +
* [[Talk on Fourier coefficients of Siegel-Eisenstein series]]
 
* [[Fourier coefficients of Siegel-Eisenstein series]]
 
* [[Fourier coefficients of Siegel-Eisenstein series]]
 
* [[Gross-Keating invariants of a quadratic form]]
 
* [[Gross-Keating invariants of a quadratic form]]
404번째 줄: 396번째 줄:
 
[[분류:talks and lecture notes]]
 
[[분류:talks and lecture notes]]
 
[[분류:theta]]
 
[[분류:theta]]
 +
[[분류:migrate]]

2020년 11월 16일 (월) 08:38 기준 최신판

overview

  • defn of Gross-Keating inv. of a quad. form over Zp
  • bin. quad. forms and class number relations
  • representation of integers by quad. forms
  • (skip if no time) computer program that computes Gross-Keating inv. of a quad. form over Zp

\( \newcommand{\Z}{\mathbb Z} \newcommand{\Zn}{\Z_{\geq 0}^n} \newcommand{\Zp}{\mathbb {Z}_p} \newcommand{\matn}{\calh_n(\Zp)^{\rm nd}} \def\Zmat#1{\calh_{#1}(\Z)^{\rm nd}} \def\mat#1#2{\calh_{#1}(\Z_{#2})^{\rm nd}} \newcommand{\ord}{\mathrm{ord}} \newcommand{\calh}{\mathcal H} \newcommand{\frko}{\mathfrak o} \newcommand{\GL}{{\mathrm{GL}}} \newcommand{\GK}{\mathrm{GK}} \newcommand{\vep}{\varepsilon} \newcommand{\intmult}{(T_{m_1} \cdot T_{m_2}\cdot T_{m_3})_{S}} \newcommand{\Qp}{\mathbb {Q}_p} \newcommand{\diag}{\mathrm{diag}} \def\sym#1{{\rm Sym}_n(#1)} \newcommand\supparen[1]{^{(#1)}} \newcommand\Egk{E_k\supparen g} \newcommand\GLnZ{\GL n\Z} \newcommand\Xgsemi{\siX g^{\rm semi}} \newcommand\fc[2]{a(#1;#2)} \newcommand\e{\operatorname{e}} \newcommand\ip[2]{\langle #1,#2\rangle} \newcommand\siX[1]{{\mathcal X}_{#1}} \newcommand\Xn{\siX n} \newcommand\Xm{\siX m} \newcommand\Xg{\siX g} \newcommand\Xnsemi{\siX n^{\rm semi}} \newcommand\Xgsemi{\siX g^{\rm semi}} \newcommand\Xtwo{\siX 2^{\rm semi}} \newcommand\hh[1]{\mathbb{H}_{#1}} \)

Gross-Keating inv.

  • Gross-Keating invariants of a quadratic form
  • \(p\in \Z_{> 0}\) : prime
  • \(\Qp\) \[p\]-adic completion of \(\Q\), and \(\Zp\) : ring of int.
  • For \(a\in \Qp^\times\), \(\ord(a)=n\) if \(a\in p^n \Zp^\times\), \(\ord(0)=\infty\)
  • symm. \(n\times n\) mat. \(B=(b_{ij}),\, b_{ij}\in \Qp\) is half-integral if \(b_{ii}\in \Zp\) and \(2b_{ij}\in \Zp\)
  • \(\matn\) : set of \(n\times n\) non-deg. half-int. mat.
def

\(B=(b_{ij})\in\matn\)

\(S(B)\) : set of all non-decreasing seq. \((a_1, \dots, a_n)\in\Zn\) s.t. \begin{align*} &\ord(b_{ii})\geq a_i \qquad\qquad\qquad\quad (1\leq i\leq n), \\ &\ord(2 b_{ij})\geq (a_i+a_j)/2 \qquad\; (1\leq i\leq j\leq n), \end{align*}

\(S(\{B\}):=\bigcup_{U\in\GL_n(\Zp)} S(U^{t}BU)\)

GK inv. \(\GK(B)=(a_1, \dots, a_n)\in\Zn\) of \(B\) is \begin{align*} a_1&=\max_{(y_1, \dots)\in S(\{B\})} \,y_1, \\ a_2&=\max_{(a_1, y_2, \dots)\in S(\{B\})}\, y_2, \\ &\dots \\ a_n&=\max_{(a_1, a_2, \dots, a_{n-1}, y_n)\in S(\{B\})}\, y_n. \end{align*}

  • By definition \(GK(B)\) depends only on \(\Zp\)-class of \(B\) under \(B\sim B'\) if \(B' = U^{t}BU\) for some \(U\in\GL_n(\Zp)\)
  • hard to compute from definition
remarks
  • 1993 : Gross-Keating : introduced \(GK(B)\) for 3x3 \(B\) in study of arithmetic intersection number related to three modular poly.
  • 2015 : Ikeda-Katsurada : defined \(GK(B)\) for \(B\) \(n\times n\) half-int. over a finite ext'n of \(\Qp\)
  • 2016 : Ikeda-Katsurada : Siegel series of \(B\) (local factor of Fourier coef of Siegel-Eisenstein series) is determined by \(GK(B)\)
  • 2017 : Cho-Ikeda-Katsurada-Yamauchi : computer-friendly (not human-friendly) inductive formulas for \(GK(B)\)
  • I recently wrote computer program using Mathematica; arXiv:1809.10323

bin. quad. forms and class number relations

  • \(Q=Ax^2+Bxy+Cy^2\) : pos. def. bin. quad. form over \(\Z\), write \(Q=[A,B,C]\)
  • disc. of \(Q\) \[B^2-4AC<0\]
  • for int. \(d>0\),
    • \(\mathcal{Q}_d=\{Q:B^2-4AC=-d\}\)
    • \(\mathcal{Q}_{d}^{pr}=\{Q\in \mathcal{Q}_d:\text{primitive}\}\). \(Q\) is prim. if \(\rm{GCD}(A,B,C)=1\)
  • \(\Gamma=PSL_2(\mathbb{Z})\) acts on \(\mathcal{Q}_d\) (and \(\mathcal{Q}_{d}^{pr}\)) \[Q\mapsto Q'\] by \(Q'(x,y)=Q(ax+by,cx+dy)\)

\[ \left( \begin{array}{cc} A & \frac{B}{2} \\ \frac{B}{2} & C \\ \end{array} \right) \mapsto \left( \begin{array}{cc} a & b \\ c & d \\ \end{array} \right)^t\left( \begin{array}{cc} A & \frac{B}{2} \\ \frac{B}{2} & C \\ \end{array} \right)\left( \begin{array}{cc} a & b \\ c & d \\ \end{array} \right) \]

  • for each \(Q\), \(w_{Q}\) : size of stabilizers
    • \(w_Q=2\) if \(Q\sim [a,0,a]\)
    • \(w_Q=3\) if \(Q\sim [a,a,a]\)
    • \(w_Q=1\) otherwise
def (class number and Hurwitz-Kronecker class number)

For int. \(d>0\), \[h_{d}^{pr}:=\#(\mathcal{Q}_d^{pr}/\Gamma),\quad h_d:=\sum_{Q\in \mathcal{Q}_d/\Gamma} \frac{1}{w_Q}\]

example
  • \(\mathcal{Q}_{12}^{pr}/\Gamma = \{[1,0,3]\}\), \(h_{12}^{pr} = 1\)
  • \(\mathcal{Q}_{12}/\Gamma = \{[1,0,3],[2,2,2]\}\), \(h_{12} = 4/3\)
  • when \(d=23\), both are \[\{[1,1,6], [2,-1,3], [2,1,3]\}\], \(h_{23}=h_{23}^{pr} = 3\)


class poly

def (j-inv.)

\[ j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=q^{-1}+744+196884q+\cdots,\, q=e^{2\pi i\tau},\tau\in \mathbb{H} \] where \[ E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n,\quad \sigma_3(n)=\sum_{d|n}d^3\] \[\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}\]


thm

\(Q=[A,B,C]\) : prim of disc \(-d\), and \(\tau_Q = \frac{-B+\sqrt{B^2-4AC}}{2A}\in \mathbb{H}\).

Then \(j(\tau_Q)\) is an alg. int. with minimal poly. \[ H_d(x) : = \prod_{Q\in \mathcal{Q}_{d}^{\rm{pr}}/\Gamma}(x-j(\tau_Q))\in \Z[x] \] In particular, \(h_{d}^{\rm{pr}}=1\), then \(j(\tau_Q)\in \mathbb{Z}\).

example

\(h_{23}^{pr}=3, \qquad H_{23}(x) = x^3+3491750 x^2-5151296875 x+12771880859375\)

modular poly

  • \(m>0\) : int
  • \(\exists\) \(\phi_m(x,y)\in{\mathbb{Z}}[x,y]\) such that

\[\prod_{ad=m,a,d>0,0\leq b \leq d-1}(x-j(\frac{a\tau+b}{d}))=\phi_m(x,j(\tau))\]

  • \(\phi_m(j(m\tau),j(\tau))=0\)
  • as a poly. in \(x\), \(\deg \phi_m(x,y)=\sigma_1(m)=\sum_{d|m}d\)
examples
  • \(m=1\), \(\phi_1(x,y)=x-y\)
  • \(m=2\)

\[ \phi_2(x,y)=x^3+y^3-x^2 y^2+1488 (x^2 y + x y^2)-162000 (x^2+y^2) +40773375 x y+8748000000 (x + y)-157464000000000 \]

  • \(\phi_3(x,y) =x^4+\dots,\quad \phi_4(x,y) = x^7+\dots\)
  • interested in \(F_m(x):=\phi_m(x,x)\in \Z[x]\) :

\[ F_1(x)=0 \] \[ F_2(x) = -(x-1728)(x+3375)^2(x-8000) = -H_{4}(x)H_{7}(x)^2H_{8}(x) \] \[ F_3(x) = -x(x-8000)^2 (x+32768)^2(x-54000) = - H_3(x)H_{8}(x)^2H_{11}(x)^2H_{12}(x) \]

  • \(F_m(x)\neq 0\) if \(m\) is not a perfect square
  • Hurwitz calculated its degree :

\[\deg F_m(x)= \sum_{d|m}\max(d,m/d)\]

  • Kronecker : explicit factor. in class poly:

\[ F_m(x) =\pm \prod_{t\in \Z,t^2 \leq 4m}\mathcal{H}_{4m − t^2}(x) \] where \[ \mathcal{H}_d(x) = \prod_{Q\in \mathcal{Q}_d/\Gamma}(x-j(\tau_Q))^{1/w_{Q}} \]

  • can be also written as a product of \(H_d(x)\)
thm (H.-K. class number relation)

If \(m\) is not a perfect sq., then \[ \sum_{d|m}\max(d,m/d) = \sum_{t\in \Z,t^2 \leq 4m}h_{4m − t^2} \]

  • this is surprising ; class numbers with different disc. have a linear relation!
  • geometric interpretation \[\deg F_m(x)\] = number of intersections of two curves \(\phi_1(x,y)=x-y=0\) and \(\phi_m(x,y)=0\) in \(\C^2\)
  • Hurwitz computed this for pairs \(\phi_{m_1}\) and \(\phi_{m_2}\)


thm (Gross-Keating, 1993)

\(m_1,m_2,m_3\) : pos int, and \(A=\Z[X,Y]/\langle \phi_{m_1},\phi_{m_2},\phi_{m_3}\rangle\)

  1. \(\#A\) is finite if and only if there is no pos. def. form \([a,b,c]\) which represents \(m_1,m_2,m_3\).
  2. Let \(\log \#A=\sum_{p}n(p)\log p\). Then \(n(p)=0\) for \(p>4m_1m_2m_3\). For \(p\leq 4m_1m_2m_3\),

\[ n(p) = \frac{1}{2}\sum_{Q}\left(\prod_{l\mid 4\det Q,\, l\neq p} \beta_l(Q) \right)\cdot \alpha_p(Q). \]

  • sum is over all pos. def. half-int. \(Q\) over \(\Z\) with diagonal \((m_1,m_2,m_3)\) which are isotropic over \(\Q_{l}\) for all \(l\neq p\) and anisotropic over \(\Qp\)
  • \(\alpha_p(Q)\) and \(\beta_p(Q)\) given in terms of \(GK(Q)=(a_1,a_2,a_3)\) (\(Q\) as a mat. over \(\Qp\)). For example,

If \(a_1\not\equiv a_2 \pmod 2\), \[ \alpha_p(Q) = \sum_{i=0}^{a_1-1} (i+1) (a_1+a_2+a_3-3 i)p^i +\sum _{i=a_1}^{(a_1+a_2-1)/2} (a_1+1) (2a_1+a_2+a_3-4i)p^i. \] \[ \beta_p(Q) = \sum _{i=0}^{a_1-1} 2(i+1)p^i +\sum _{i=a_1}^{(a_1+a_2-2)/2} 2(a_1+1)p^i. \]

  • => \(\#A\) : arithmetic intersection number of divisors corr. to \(\phi_m\) on \(S=\mathrm{Spec}\, \Z[X,Y]\)

repn of integers by quad. forms

  • \(Q\) : a pos. def. quad. form \(/\Z\) in \(n\) var., i.e. \(Q(X) = X^t A_{Q} X\) for some pos. def. half-int. mat. \(A_{Q}\), \(X\in \Z^n\)
  • \(r(Q, m),\, m\geq 0\) : number of \(X\in \Z^n\) such that \(Q(X) = m\)
  • theta function of \(Q\)

\[ \theta_Q(\tau)=\sum_{m=0}^\infty r(Q, m)q^{m} \]

  • set \(\det Q := \det (2A_Q)\)
  • level \(N\) of \(Q\) : smallest int. \(N\) such that \(N(2A_Q)^{-1}\) is twice of a half-int mat.
  • for example, \(Q=4x^2+6y^2\), \(\det Q = 96\), \(N=48\)
thm (see Theta function of a quadratic form)

For simplicity assume that \(Q\) has even number of var. (i.e. \(n\) even)

For \(\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in SL_2(\Z)\) with \(c\equiv 0 \pmod N\), \[ \theta_Q\left(\frac{a\tau+b}{c\tau+d}\right) = \left(\frac{(-1)^{n/2}\det Q}{d}\right)(c\tau+d)^{n/2}\theta_Q(\tau) \] i.e., \(\theta_Q\) is a modular form of weight \(n/2\) with a Dirichlet character w.r.t. \(\Gamma_0(N)\)

  • space of modular forms with given weight, level, character = (space of Eisenstein series) + (space of cusp forms)
  • \(\theta_Q(\tau) = E_Q(\tau)+C_Q(\tau)\)
  • \(r(Q, m)\) = Fourier coef. of \(E_Q(\tau)\) + Fourier coef. of \(C_Q(\tau)\) (i.e. dominant term + error term)

Siegel-Weil formula

  • key message : single form : hard ; consider all forms in its genus
  • aut. gp. of \(Q\) \[{\rm Aut}(Q) = \{U\in GL_{n}(\Z):U^t A_Q U = A_Q\}\]
def (genus of quad. form \(/\Z\))

\({\rm gen}(Q)\) : set of \(\Z\)-equiv. classes of quad. forms that are \(\Z_p\)-equivalent to \(Q\) at all \(p\) (including \(p=\infty\))

When \(Q\) is pos. def., \({\rm gen}(Q)\) is finite (local-global fails)

example (skip if no time)

\(f_1(x,y) =x^2+82y^2\) and \(f_2(x,y) =2x^2+41y^2\) are \(\Zp\)-equivalent for all \(p\) , but not \(\Z\)-equivalent


thm (Siegel)

\(Q\) : a pos. def. quad form \(.\Z\). on \(n\) var.

To each \(Q' \in {\rm gen}(Q)\), assign weight \(w(Q')\) proportional to \(\frac{1}{|{\rm Aut}(Q')|}\) so that \(\sum_{Q'} w(Q')=1\) i.e. \[ w(Q') = \frac{1}{|{\rm Aut}(Q')|}\,\cdot\,\left(\sum_{Q'\in {\rm gen}(Q)}\frac{1}{|{\rm Aut}(Q')|}\right)^{-1} \]

  1. weighted average of theta functions : \[\sum_{Q'\in {\rm gen}(Q)}w(Q')\theta_{Q'}(\tau)=E_{Q}(\tau)\]
  2. weighted average of representation number (i.e. Fourier coef. of \(E_Q\))

\[ \sum_{Q'\in {\rm gen}(Q)}w(Q')r(Q', m)=(\text{const. on }n) \prod_{p:\text{primes}}\alpha_{p}(Q,m) = (*) \alpha_{\infty}(Q,m)\alpha_{2}(Q,m)\alpha_{3}(Q,m)\dots \] where \(\alpha_{p}(Q,m)\) is local density at \(p\) (will be defined soon).

remark
  • regard \(m\in \Z_{\geq 0}\) as half-int. \(1\times 1\) mat
  • \(A\) and \(B\) be half-int. over \(\Z\) of size \(m\) and \(n\), \(m\geq n\geq 1\)
  • \(r(A,B)\) : number of \(m \times n\) int. mat. \(X\) s.t. \(X^t A X = B\)
  • Siegel's theorem holds for \(r(A,B)\), modular form becomes Siegel modular forms

Local density and Siegel series

def (local density)

Define \[ \alpha_{p}(A,B)= \lim_{\ell\to\infty}p^{-\ell(mn-n(n+1)/2)}N_{p^{\ell}}(A,B) \] where \[ N_{p^{\ell}}(A,B) = \#\{X\in M_{m\times n}(\Zp/p^{\ell}\Zp)\, | X^{t}AX = B \pmod{p^{\ell}\calh_n(\Zp)}\} \]

  • \(\alpha_{p}(A,B)\) : very difficult to compute in general
  • \(\exists\) important special case we know more
thm (?Kitaoka)

\(B\in \matn\). \(\exists\) a poly \(f_p(B;X)\in \Z[X]\) such that for \(k\geq n\), \[ f_p(B;p^{-k}) = \alpha_{p}(H_{k},B) \] where \(H_k=\underbrace{\left( \begin{array}{cc} 0 & \frac{1}{2} \\ \frac{1}{2} & 0 \\ \end{array} \right)\bot \dots \bot \left( \begin{array}{cc} 0 & \frac{1}{2} \\ \frac{1}{2} & 0 \\ \end{array} \right)}_{k}\)

def

Siegel series of \(B\) \[f_p(B;X)\] (more precisely, \(f_p(B;p^{-s}),\, s\in \C\))

remark
  • Siegel series \[p\]-local factor of Fourier coef. of Siegel-Eisenstein series (for \(\operatorname{Sp}_{n}(\Z)\), or weighted average for even unimodular lattices)
thm (Ikeda-Katsurada 2016)

Siegel series of \(B\) only depends on \(GK(B)=(a_1,\dots, a_n)\) (there is an algorithm to compute it from \(GK(B)\))

memo

  • Eisenstein series

\[ E_{2k}(\tau)=1+\frac {2}{\zeta(1-2k)}\left(\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right) \] \[ E_{12}(\tau) =1+ \frac{65520 q}{691}+\frac{134250480 q^2}{691}+\dots \]

Siegel modular forms

A Siegel modular form \(f\) of genus \(g\) has an expansion of the form \[f(Z)=\sum_{T\in \Xgsemi}a(T;f)\e(\ip TZ)\] where \(\e(\ip TZ):=\exp\left(2\pi i \operatorname{Tr}(TZ)\right)\) and \(\Xgsemi\) denotes the set of half-int. pos. semi-def symm. \(g\times g\) matrices. }

example Fourier expansion in genus 2

Let \(f\) be a Siegel modular form of genus 2 and consider its Fourier expansion \[f(Z)=\sum_{T\in \Xtwo}a(T;f)\e(\ip TZ).\]

For \( T=\begin{pmatrix}a & b/2 \\ b/2 & c \\\end{pmatrix} \in \Xtwo \) and \( Z=\begin{pmatrix}\tau_1 & z \\ z & \tau_2 \\\end{pmatrix}\in \hh{2} \), \[ \operatorname{Tr}(T Z)=a \tau_1+b z+c \tau_2. \]

If we set \(q_i=e^{2\pi i \tau_i}\), \(\zeta=e^{2\pi i z}\), then \[ \e(\ip TZ)=\exp\left(2\pi i \operatorname{Tr}(T Z)\right)=q_1^a\zeta^bq_2^c \] and thus, \[f(Z)=\sum_{T\in \Xtwo}a(T;f)q_1^a\zeta^bq_2^c.\]

Fourier coef.s of Siegel-Eisenstein series

The Eisenstein series of weight \(k\) (even) and genus \(g\) is \[ \Egk(Z) = \sum_{\tiny{\begin{pmatrix}A & B \\ C & D \\\end{pmatrix}}\in \Gamma_{g,0}\backslash \Gamma_{g}} \frac{1}{\det(CZ +D)^{k}}, \] where \[ \Gamma_{g,0}=\{\begin{pmatrix}A & B \\ 0 & D \\\end{pmatrix}\in \Gamma_{g}\}. \] In other words, the summation is over all classes of coprime pairs \((C,D)\).

The Eisenstein series \(\Egk(Z)\) is a Siegel modular form of weight \(k\) and of genus \(g\).

Consider the Fourier expansion of \(\Egk(Z)\) : \[ \Egk(Z)=\sum_{T\in\Xgsemi}\fc T{\Egk}\,\e(\ip TZ). \]

thm (Kitaoka?)

check the condition on \(k\) and \(g\) for the formula

Assume that \(k>g\). For non-deg. \(T\in\Xgsemi\), \[ \fc T\Egk= \dfrac{2^{\lfloor \frac{g+1}{2} \rfloor} \prod_{p}F_p(T,p^{k-g-1})} {\zeta(1-k)\prod_{i=1}^{\lfloor g/2\rfloor}\zeta(1-2k+2i)} \cdot\begin{cases} L_{D_T}(1-k+g/2)&\text{$g$ even},\\ 1&\text{$g$ odd} \end{cases} \] where \(F_p(T,X)\in \Z[X]\) depending only on the \(\Zp\)-class of \(T\). The product is over all primes \(p\mid2\det(2T)\).

related items

computational resource