
\documentclass[12pt]{article}
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage{amssymb}
\def\Dirac{\not\hspace{-1.25mm}\partial}
\usepackage{amsfonts}
\usepackage{rawfonts}
\input{prepictex}
\input{pictex}
\input{postpictex}
\begin{document}


%\def\Bbb{\bf }
\title{Ideas for the Simons Wall Project}
\author{Claude LeBrun\\
Department of Mathematics\
\\Stony
 Brook}
\maketitle

\pagebreak 


Uniformization of a surface of genus $2$:
\bigskip 

%hyperbolic surface
\begin{center}
\mbox{
\beginpicture
\setplotarea x from -100 to 100, y from -100 to 100

\circulararc 360 degrees from  0 -100  center at 0 0
\circulararc 45 degrees from  0 -59  center at 0 -100
\circulararc -45 degrees from  0 59  center at 0 100
\circulararc 45 degrees from  0 59  center at 0 100
\circulararc -45 degrees from  0 -59  center at 0 -100
\circulararc 45 degrees from   -59 0 center at  -100 0
\circulararc -45 degrees from  -59   0 center at  -100 0
\circulararc 45 degrees from  59 0  center at  100 0
\circulararc -45 degrees from  59 0 center at  100 0
\circulararc 45 degrees from  42 -42  center at  71 -71
\circulararc -45 degrees from  42 -42 center at  71 -71
\circulararc 45 degrees from  42 42  center at  71 71
\circulararc -45 degrees from  42 42 center at  71 71
\circulararc 45 degrees from  -42 -42  center at  -71 -71
\circulararc -45 degrees from  -42 -42 center at  -71 -71
\circulararc 45 degrees from  -42 42  center at  -71 71
\circulararc -45 degrees from  -42 42 center at  -71 71
\arrow <3pt> [1,3] from 59  2 to 59 -2
\arrow <3pt> [1,3] from -2 -59 to 2 -59
\arrow <3pt> [1,3] from -2 -59 to 2 -59
\arrow <3pt> [1,3] from 40 -44 to 42 -42
\arrow <3pt> [1,3] from 42 -42 to 44 -40
\arrow <3pt> [1,3] from 40 44 to 42 42
\arrow <3pt> [1,3] from 42 42 to 44 40
\arrow <3pt> [1,3] from -40 44 to -42 42
\arrow <3pt> [1,3] from -42 42 to -44 40
\arrow <3pt> [1,3] from -44 40 to -46 38
\arrow <3pt> [1,3] from 42 42 to 44 40
\arrow <3pt> [1,3] from -40 -44 to -42 -42
\arrow <3pt> [1,3] from -42 -42 to -44 -40
\arrow <3pt> [1,3] from -44 -40 to -46 -38
\arrow <3pt> [1,3] from -2 59   to 0 59 
\arrow <3pt> [1,3] from 0 59   to 2 59 
\arrow <3pt> [1,3] from -4 59   to -2 59 
\arrow <3pt> [1,3] from 2 59   to 4 59 
\arrow <3pt> [1,3] from -59  2   to -59  0
\arrow <3pt> [1,3] from -59  0 to -59 -2
\arrow <3pt> [1,3] from -59 -2  to -59 -4
\arrow <3pt> [1,3] from -59   4 to -59 2
\endpicture
}

\mbox{
\beginpicture
\setplotarea x from 0 to 290, y from 0 to 100
\arrow <6pt> [1,2] from 145 70  to 145 10
\endpicture
}


%\begin{center}
\mbox{
\beginpicture
\setplotarea x from 20 to 290, y from 0 to 60
\ellipticalarc axes ratio 3:1  270 degrees from 150 40
center at 120 30
\ellipticalarc axes ratio 3:1  -270 degrees from 175 40
center at 205 30
\ellipticalarc axes ratio 4:1 -180 degrees from 135 33
center at 120 33
\ellipticalarc axes ratio 4:1 145 degrees from 130 30
center at 120 29
\ellipticalarc axes ratio 4:1 180 degrees from 190 33
center at 205 33
\ellipticalarc axes ratio 4:1 -145 degrees from 195 30
center at 205 29
{\setquadratic 
\plot 150 40    163 37    175 40   /
\plot 150 20    163 23    175 20  /
}
\endpicture
}


\end{center}

\pagebreak 


Index theorem for coupled Dirac operator: 

{\Large


$$\Dirac :  \Gamma ({\mathbb S}_+\otimes E) \to \Gamma ({\mathbb S}_-\otimes E)$$

$$\dim \ker  (\Dirac) - \dim \ker  (\Dirac^*)  = \int_{M^{4k}} \hat{A}(M) \smile ch (E)$$
}



\pagebreak 

Generalized Gauss-Bonnnet theorem:




\bigskip
{\Large

$$
\chi (M^{2n})= \frac{1}{(8\pi)^n n!}
\int_{M}\underbrace{R^{ij}_{ab}\cdots R^{k\ell}_{cd}}_n
\varepsilon^{ab\cdots cd}
\varepsilon_{ij\cdots k\ell}
~d\mu 
$$

}

\vspace{1in}


Classical Gauss-Bonnnet theorem:




\bigskip
{\Large

$$
\chi (M^{2})= \frac{1}{2\pi}
\int_{M}K 
~dA 
$$
}



\begin{center}
\mbox{
\beginpicture
\setplotarea x from 0 to 350, y from -5 to 70
\put {$\chi (M)= -4$} [B1] at 40 20 
\ellipticalarc axes ratio 5:2  280 degrees from 150 40
center at 120 30
\ellipticalarc axes ratio 5:2  -100 degrees from 175 40
center at 205 30
\ellipticalarc axes ratio 5:2  100 degrees from 175 20
center at 205 30
\ellipticalarc axes ratio 5:2  -280 degrees from 260 40
center at 290 30
\ellipticalarc axes ratio 4:1 -180 degrees from 135 33
center at 120 33
\ellipticalarc axes ratio 4:1 145 degrees from 130 30
center at 120 29
\ellipticalarc axes ratio 4:1 180 degrees from 190 33
center at 205 33
\ellipticalarc axes ratio 4:1 -145 degrees from 195 30
center at 205 29
\ellipticalarc axes ratio 4:1 180 degrees from 275 33
center at 290 33
\ellipticalarc axes ratio 4:1 -145 degrees from 280 30
center at 290 29
{\setquadratic 
\plot 150 40    163 38    175 40   /
\plot 150 20    163 22    175 20  /
\plot 235 40    248 38    260 40   /
\plot 235 20    248 22    260 20  /
}
\endpicture
}
\end{center}



\pagebreak 

 Einstein's gravitational field equations:
 
 

\bigskip
{\Large

$$
R_{\mu \nu} -\frac{R}{2}g_{\mu\nu}= {\frac{8\pi G}{c^4}} T_{\mu\nu}
$$
}


\pagebreak 

Hodge theorem:


\bigskip
{\Large

$$
H^p(M) = \{ \varphi \in \Omega^p(M)~|~ d\varphi = 0, ~d\star \varphi = 0\}
$$
}


\pagebreak 

Dirac Equation:


\bigskip
{\Large
\begin{eqnarray*}
\left(-i\hbar \gamma^\mu \nabla_\mu +mc\right)  \psi&=&0\\
\gamma^\mu\gamma^\nu+ \gamma^\nu\gamma^\mu&=&g^{\mu\nu}
\end{eqnarray*}

}


\pagebreak 

Seiberg-Witten Equations:


\bigskip
{\Large
\begin{eqnarray*}
\Dirac_A  \psi&=&0\\
F_A^+&=&-\frac{1}{2} \psi \odot \bar{\psi} 
\end{eqnarray*}

}

\pagebreak 


Elliptic curve, and uniformizing elliptic integral:

\begin{center}
\mbox{
\beginpicture
\setplotarea x from 0 to 200, y from 40 to 200
\put {$\times$} [B1] at 140 78 
\put {$\times$} [B1] at 121 107 
\put {$\times$} [B1] at 161 127 
\put {$\times$} [B1] at 140 155 
\circulararc 360 degrees from 100 120 center at 140 120
\ellipticalarc axes ratio 4:1 180 degrees from 100 120
center at 140 120
\ellipticalarc axes ratio 2:5  -360 degrees from 40 150 
center at 30 120 
\ellipticalarc axes ratio 1:4  180 degrees from  33 135
center at  33 120
\ellipticalarc axes ratio 1:4 -145 degrees from  30 130
center at  29 120
%\ellipticalarc axes ratio 1:2 140 degrees from 70 35
%center at 70 30
%\ellipticalarc axes ratio 1:2 140 degrees from 70 25
%center at 70 30
\ellipticalarc axes ratio 2:1 140 degrees from 35 68
center at 30 68
\ellipticalarc axes ratio 2:1 140 degrees from 25 68
center at 30 68
%\arrow <2pt> [.1,.3] from 70 35 to 71 35
%\arrow <2pt> [.1,.3] from 70 25 to 69 25
\arrow <2pt> [.1,.3] from 35 68 to 35 67
\arrow <2pt> [.1,.3] from 25 68 to 25 69
\arrow <4pt> [1,2] from 60 120  to 90   120
{\setlinear
\setdashes 
\plot   30 62  30 82  /
%\plot  60 30 80 30   /
%\plot  160 30 180 30   /
\plot   30 160  30  180  /
}
\endpicture
}
\end{center}


{\Large
$$
F(z)=  \int_{z_0}^z \frac{d\zeta}{\sqrt{\zeta(\zeta -1)(\zeta -\lambda)}}
$$
}

\end{document}
