Cote n° 63 · pages 65–98 · 55 displayed formulas · Formulaire courbes elliptiques : notes et copies de notes manuscrites (s.d.), tapuscrit (s.d.), copies d'articles (s.d.).
Inventory dating : [à partir de 1964-vers 1970]
Édition de démonstration

batch 4 · p. 65 — read it beside the facsimile1 / 55 · 10 distinct symbols, 25 written
\[x_2,\ y_3,\ g_4,\ g_6 \qquad \boxed{y_3^2 = x_2^3 + g_4x_2 + g_6}\]
LaTeX source
\[
x_2,\ y_3,\ g_4,\ g_6 \qquad \boxed{y_3^2 = x_2^3 + g_4x_2 + g_6}
\]
batch 4 · p. 65 — read it beside the facsimile2 / 55 · 16 distinct symbols, 73 written
\[\begin{cases} x = x_\omega = \omega^{-2}x_2\\ y = y_\omega = \omega^{-3}y_3\\ \gamma_4 = \gamma_{4\omega} = \omega^{-4}g_4\\ \gamma_6 = \gamma_{6\omega} = \omega^{-6}g_6 \end{cases} \qquad \text{i.e.}\quad y^2 = x^3 + \gamma_4x + \gamma_6\]
LaTeX source
\[
\begin{cases}
x = x_\omega = \omega^{-2}x_2\\
y = y_\omega = \omega^{-3}y_3\\
\gamma_4 = \gamma_{4\omega} = \omega^{-4}g_4\\
\gamma_6 = \gamma_{6\omega} = \omega^{-6}g_6
\end{cases}
\qquad \text{i.e.}\quad y^2 = x^3 + \gamma_4x + \gamma_6
\]
batch 4 · p. 65 — read it beside the facsimile3 / 55 · 11 distinct symbols, 28 written
\[\boxed{dx = 2y\,\omega}\quad \text{i.e.}\quad \boxed{d(\omega^{-2}x_2) = 2\omega^{-2}y_3}\]
LaTeX source
\[
\boxed{dx = 2y\,\omega}\quad \text{i.e.}\quad
\boxed{d(\omega^{-2}x_2) = 2\omega^{-2}y_3}
\]
batch 4 · p. 65 — read it beside the facsimile4 / 55 · 12 distinct symbols, 27 written
\[2y\,dy = (3x^2+\gamma_4)\,dx = 2y\,(3x^2+\gamma_4)\,\omega\]
LaTeX source
\[
2y\,dy = (3x^2+\gamma_4)\,dx = 2y\,(3x^2+\gamma_4)\,\omega
\]
batch 4 · p. 65 — read it beside the facsimile5 / 55 · 15 distinct symbols, 36 written
\[\boxed{dy = (3x^2+\gamma_4)\,\omega}\qquad \boxed{d(\omega^{-3}y_3) = (3x_2^2+g_4)\,\omega^{-3}}\]
LaTeX source
\[
\boxed{dy = (3x^2+\gamma_4)\,\omega}\qquad
\boxed{d(\omega^{-3}y_3) = (3x_2^2+g_4)\,\omega^{-3}}
\]
batch 4 · p. 65 — read it beside the facsimile6 / 55 · 16 distinct symbols, 48 written
\[\begin{cases} \omega = \dfrac12\,\dfrac{dx}{y}\\[2mm] \eta = \omega x = \dfrac12\,\dfrac{x\,dx}{y} \end{cases} \qquad [\,= \omega^{-1}x_2\,]\]
LaTeX source
\[
\begin{cases}
\omega = \dfrac12\,\dfrac{dx}{y}\\[2mm]
\eta = \omega x = \dfrac12\,\dfrac{x\,dx}{y}
\end{cases}
\qquad [\,= \omega^{-1}x_2\,]
\]
batch 4 · p. 65 — read it beside the facsimile7 / 55 · 24 distinct symbols, 65 written
\[\begin{cases} \int_{\gamma_1}\omega = \omega_1, & \omega_1 = \int_0^{\omega_1}dz\\[1mm] \int_{\gamma_2}\omega = \omega_2, & \omega_2 = \int_0^{\omega_2}dz \end{cases} \qquad X^{\mathrm{an}} \simeq \mathbf{C}/E(\omega_1,\omega_2)\]
LaTeX source
\[
\begin{cases}
\int_{\gamma_1}\omega = \omega_1, & \omega_1 = \int_0^{\omega_1}dz\\[1mm]
\int_{\gamma_2}\omega = \omega_2, & \omega_2 = \int_0^{\omega_2}dz
\end{cases}
\qquad X^{\mathrm{an}} \simeq \mathbf{C}/E(\omega_1,\omega_2)
\]
batch 4 · p. 65 — read it beside the facsimile8 / 55 · 22 distinct symbols, 77 written
\[\begin{cases} x = \dfrac{1}{z^2} + \sum'_{a\in E(\omega_1,\omega_2)} \Bigl[\dfrac{1}{(z-a)^2} - \dfrac{1}{a^2}\Bigr]\\[3mm] y = -\dfrac{1}{z^3} - \sum_{a\in E(\omega_1,\omega_2)}\dfrac{1}{(z-a)^3} \end{cases}\]
LaTeX source
\[
\begin{cases}
x = \dfrac{1}{z^2} + \sum'_{a\in E(\omega_1,\omega_2)}
\Bigl[\dfrac{1}{(z-a)^2} - \dfrac{1}{a^2}\Bigr]\\[3mm]
y = -\dfrac{1}{z^3} - \sum_{a\in E(\omega_1,\omega_2)}\dfrac{1}{(z-a)^3}
\end{cases}
\]
batch 4 · p. 65 — read it beside the facsimile9 / 55 · 15 distinct symbols, 47 written
\[\begin{cases} \omega = dz\\ \eta = x\,dz \end{cases} \qquad \eta_1 = \int_u^{u+\omega_1}x\,dz,\quad \eta_2 = \int_u^{u+\omega_2}x\,dz\]
LaTeX source
\[
\begin{cases}
\omega = dz\\
\eta = x\,dz
\end{cases}
\qquad \eta_1 = \int_u^{u+\omega_1}x\,dz,\quad
\eta_2 = \int_u^{u+\omega_2}x\,dz
\]
batch 4 · p. 65 — read it beside the facsimile10 / 55 · 4 distinct symbols, 7 written
\[\gamma_4 = \qquad \gamma_6 =\]
LaTeX source
\[
\gamma_4 = \qquad \gamma_6 =
\]
batch 4 · p. 66 — read it beside the facsimile11 / 55 · 18 distinct symbols, 51 written
\[\begin{cases} \eta + \alpha\omega = \beta\bar\omega\\[1mm] \alpha = -\dfrac{\bar\omega_1\eta_2 - \bar\omega_2\eta_1} {\bar\omega_1\omega_2 - \bar\omega_2\omega_1} \end{cases}\]
LaTeX source
\[
\begin{cases}
\eta + \alpha\omega = \beta\bar\omega\\[1mm]
\alpha = -\dfrac{\bar\omega_1\eta_2 - \bar\omega_2\eta_1}
{\bar\omega_1\omega_2 - \bar\omega_2\omega_1}
\end{cases}
\]
batch 4 · p. 66 — read it beside the facsimile12 / 55 · 13 distinct symbols, 24 written
\[\pi = \alpha\,\omega^2 \in \Gamma\,\mathrm{Hom}(\underline{\omega}^{-1}, \underline{\omega}) = \Gamma\,\underline{\omega}^2\]
LaTeX source
\[
\pi = \alpha\,\omega^2 \in \Gamma\,\mathrm{Hom}(\underline{\omega}^{-1},
\underline{\omega}) = \Gamma\,\underline{\omega}^2
\]
batch 4 · p. 68 — read it beside the facsimile13 / 55 · 15 distinct symbols, 42 written
\[\eta_1 = \Bigl[-\frac1z\Bigr]_u^{u+\omega_1} + \sum_{a\neq 0}\Bigl[-\frac{1}{z-a} - \frac{1}{a^2}\,z\Bigr]_u^{u+\omega_1}\]
LaTeX source
\[
\eta_1 = \Bigl[-\frac1z\Bigr]_u^{u+\omega_1}
+ \sum_{a\neq 0}\Bigl[-\frac{1}{z-a} - \frac{1}{a^2}\,z\Bigr]_u^{u+\omega_1}
\]
batch 4 · p. 68 — read it beside the facsimile14 / 55 · 15 distinct symbols, 44 written
\[= \Bigl(\frac1u - \frac{1}{u+\omega_1}\Bigr) + \sum_{a\neq 0}\Bigl[\frac{1}{u-a} - \frac{1}{u+\omega_1-a} - \frac{\omega_1}{a^2}\Bigr]\]
LaTeX source
\[
= \Bigl(\frac1u - \frac{1}{u+\omega_1}\Bigr)
+ \sum_{a\neq 0}\Bigl[\frac{1}{u-a} - \frac{1}{u+\omega_1-a}
- \frac{\omega_1}{a^2}\Bigr]
\]
batch 4 · p. 68 — read it beside the facsimile15 / 55 · 15 distinct symbols, 45 written
\[= \omega_1\Bigl[\frac{1}{u(u+\omega_1)} + \sum_{a\neq 0}\Bigl(\frac{1}{(u-a)(u+\omega_1-a)} - \frac{1}{a^2}\Bigr)\Bigr]\]
LaTeX source
\[
= \omega_1\Bigl[\frac{1}{u(u+\omega_1)}
+ \sum_{a\neq 0}\Bigl(\frac{1}{(u-a)(u+\omega_1-a)} - \frac{1}{a^2}\Bigr)\Bigr]
\]
batch 4 · p. 68 — read it beside the facsimile16 / 55 · 16 distinct symbols, 43 written
\[= \omega_1\Bigl[\frac{1}{u(u+\omega_1)} + \frac{1}{(u-\omega_1)u} - \frac{1}{\omega_1^2} + \sum_{\substack{a\neq 0\\ a\neq\omega_1}}\cdots\Bigr]\]
LaTeX source
\[
= \omega_1\Bigl[\frac{1}{u(u+\omega_1)} + \frac{1}{(u-\omega_1)u}
- \frac{1}{\omega_1^2} + \sum_{\substack{a\neq 0\\ a\neq\omega_1}}\cdots\Bigr]
\]
batch 4 · p. 68 — read it beside the facsimile17 / 55 · 14 distinct symbols, 39 written
\[\eta_1 = \omega_1\Bigl[-\frac{3}{\omega_1^2} + \sum_{\substack{a\neq 0\\ a\neq\omega_1}}\frac{1}{a^3}\, \frac{\omega_1}{1-\omega_1a^{-1}}\Bigr]\]
LaTeX source
\[
\eta_1 = \omega_1\Bigl[-\frac{3}{\omega_1^2}
+ \sum_{\substack{a\neq 0\\ a\neq\omega_1}}\frac{1}{a^3}\,
\frac{\omega_1}{1-\omega_1a^{-1}}\Bigr]
\]
batch 4 · p. 68 — read it beside the facsimile18 / 55 · 15 distinct symbols, 68 written
\[\eta_1 = -\frac{3}{\omega_1} + \omega_1\sum_{\substack{a\neq 0\\ a\neq\omega_1}} \Bigl(\frac{1}{a^3}\,\frac{1}{\omega_1^{-1}-a^{-1}}\Bigr) = -\frac{3}{\omega_1} + \omega_1^2\sum_{\substack{a\neq 0\\ a\neq\omega_1}} \frac{1}{a^2}\cdot\frac{1}{a-\omega_1}\]
LaTeX source
\[
\eta_1 = -\frac{3}{\omega_1} + \omega_1\sum_{\substack{a\neq 0\\ a\neq\omega_1}}
\Bigl(\frac{1}{a^3}\,\frac{1}{\omega_1^{-1}-a^{-1}}\Bigr)
= -\frac{3}{\omega_1} + \omega_1^2\sum_{\substack{a\neq 0\\ a\neq\omega_1}}
\frac{1}{a^2}\cdot\frac{1}{a-\omega_1}
\]
batch 4 · p. 68 — read it beside the facsimile19 / 55 · 8 distinct symbols, 9 written
\[a = m\omega_1 + n\omega_2\]
LaTeX source
\[
a = m\omega_1 + n\omega_2
\]
batch 4 · p. 68 — read it beside the facsimile20 / 55 · 12 distinct symbols, 32 written
\[\eta_2 = \qquad -\frac{3}{\omega_2} + \omega_2^2\sum_{\substack{a\neq 0\\ a\neq\omega_2}} \frac{1}{a^2}\,\frac{1}{a-\omega_2}\]
LaTeX source
\[
\eta_2 = \qquad -\frac{3}{\omega_2} + \omega_2^2\sum_{\substack{a\neq 0\\ a\neq\omega_2}}
\frac{1}{a^2}\,\frac{1}{a-\omega_2}
\]
batch 4 · p. 70 — read it beside the facsimile21 / 55 · 15 distinct symbols, 57 written
\[\eta_1 = -\frac{3}{\omega_1} + \omega_1^2 \sum_{\substack{(m,n)\neq(0,0)\\ (m,n)\neq(1,0)}} \frac{1}{(m\omega_1+n\omega_2)^2}\,\frac{1}{(m-1)\omega_1+n\omega_2}\]
LaTeX source
\[
\eta_1 = -\frac{3}{\omega_1} + \omega_1^2
\sum_{\substack{(m,n)\neq(0,0)\\ (m,n)\neq(1,0)}}
\frac{1}{(m\omega_1+n\omega_2)^2}\,\frac{1}{(m-1)\omega_1+n\omega_2}
\]
batch 4 · p. 70 — read it beside the facsimile22 / 55 · 15 distinct symbols, 57 written
\[\eta_2 = -\frac{3}{\omega_2} + \omega_2^2 \sum_{\substack{(m,n)\neq(0,0)\\ (m,n)\neq(0,1)}} \frac{1}{(m\omega_1+n\omega_2)^2}\,\frac{1}{m\omega_1+(n-1)\omega_2}\]
LaTeX source
\[
\eta_2 = -\frac{3}{\omega_2} + \omega_2^2
\sum_{\substack{(m,n)\neq(0,0)\\ (m,n)\neq(0,1)}}
\frac{1}{(m\omega_1+n\omega_2)^2}\,\frac{1}{m\omega_1+(n-1)\omega_2}
\]
batch 4 · p. 70 — read it beside the facsimile23 / 55 · 21 distinct symbols, 57 written
\[\bar\omega_1\eta_2 - \bar\omega_2\eta_1 = -3\Bigl(\frac{\bar\omega_1}{\omega_2} - \frac{\bar\omega_2}{\omega_1}\Bigr) + \sum_{(m,n)\neq(0,0),(1,0),(0,1)} \frac{N_{m,n}}{D_{m,n}}\]
LaTeX source
\[
\bar\omega_1\eta_2 - \bar\omega_2\eta_1
= -3\Bigl(\frac{\bar\omega_1}{\omega_2} - \frac{\bar\omega_2}{\omega_1}\Bigr)
+ \sum_{(m,n)\neq(0,0),(1,0),(0,1)} \frac{N_{m,n}}{D_{m,n}}
\]
batch 4 · p. 70 — read it beside the facsimile24 / 55 · 13 distinct symbols, 55 written
\[N_{m,n} = |\omega_1|^2\Bigl((m-1)\omega_2^2 + n\,\frac{\omega_2^3}{\omega_1}\Bigr) - |\omega_2|^2\Bigl((n-1)\omega_1^2 + m\,\frac{\omega_1^3}{\omega_2}\Bigr)\]
LaTeX source
\[
N_{m,n} = |\omega_1|^2\Bigl((m-1)\omega_2^2 + n\,\frac{\omega_2^3}{\omega_1}\Bigr)
- |\omega_2|^2\Bigl((n-1)\omega_1^2 + m\,\frac{\omega_1^3}{\omega_2}\Bigr)
\]
batch 4 · p. 70 — read it beside the facsimile25 / 55 · 11 distinct symbols, 44 written
\[D_{m,n} = (m\omega_1+n\omega_2)^2\,\bigl((m-1)\omega_1+n\omega_2\bigr) \bigl(m\omega_1+(n-1)\omega_2\bigr)\]
LaTeX source
\[
D_{m,n} = (m\omega_1+n\omega_2)^2\,\bigl((m-1)\omega_1+n\omega_2\bigr)
\bigl(m\omega_1+(n-1)\omega_2\bigr)
\]
batch 4 · p. 70 — read it beside the facsimile26 / 55 · 12 distinct symbols, 38 written
\[+\ \bar\omega_1\omega_2^2\,\frac{1}{\omega_1^2(\omega_1-\omega_2)} - \bar\omega_2\omega_1^2\,\frac{1}{\omega_2^2(\omega_2-\omega_1)}\]
LaTeX source
\[
+\ \bar\omega_1\omega_2^2\,\frac{1}{\omega_1^2(\omega_1-\omega_2)}
- \bar\omega_2\omega_1^2\,\frac{1}{\omega_2^2(\omega_2-\omega_1)}
\]
batch 4 · p. 70 — read it beside the facsimile27 / 55 · 21 distinct symbols, 66 written
\[= \frac{\bar\omega_1\omega_2^4+\bar\omega_2\omega_1^4}{\omega_1^2\omega_2^2(\omega_1-\omega_2)} - 3\,\frac{|\omega_1|^2-|\omega_2|^2}{\omega_1\omega_2} + \sum_{(m,n)\neq(0,0),(1,0),(0,1)}\cdots\]
LaTeX source
\[
= \frac{\bar\omega_1\omega_2^4+\bar\omega_2\omega_1^4}{\omega_1^2\omega_2^2(\omega_1-\omega_2)}
- 3\,\frac{|\omega_1|^2-|\omega_2|^2}{\omega_1\omega_2}
+ \sum_{(m,n)\neq(0,0),(1,0),(0,1)}\cdots
\]
batch 4 · p. 70 — read it beside the facsimile28 / 55 · 14 distinct symbols, 41 written
\[= \frac{|\omega_1|^2}{\omega_1^2}\,\frac{\tau^4+\bar\tau}{\tau^2(1-\tau)} - \frac{|\omega_1|^2}{\omega_1^2}\,\frac{1-|\tau|^2}{\tau}\]
LaTeX source
\[
= \frac{|\omega_1|^2}{\omega_1^2}\,\frac{\tau^4+\bar\tau}{\tau^2(1-\tau)}
- \frac{|\omega_1|^2}{\omega_1^2}\,\frac{1-|\tau|^2}{\tau}
\]
batch 4 · p. 70 — read it beside the facsimile29 / 55 · 15 distinct symbols, 90 written
\[+ \sum_{(m,n)\neq(0,0),(0,1),(1,0)}\frac{|\omega_1|^2}{\omega_1^2}\, \frac{(m-1)\tau^2+n\tau^3-(n-1)|\tau|^2+m|\tau|^2\tau^{-1}} {(m+n\tau)^2\bigl((m-1)+n\tau\bigr)\bigl(m+(n-1)\tau\bigr)}\]
LaTeX source
\[
+ \sum_{(m,n)\neq(0,0),(0,1),(1,0)}\frac{|\omega_1|^2}{\omega_1^2}\,
\frac{(m-1)\tau^2+n\tau^3-(n-1)|\tau|^2+m|\tau|^2\tau^{-1}}
{(m+n\tau)^2\bigl((m-1)+n\tau\bigr)\bigl(m+(n-1)\tau\bigr)}
\]
batch 4 · p. 70 — read it beside the facsimile30 / 55 · 18 distinct symbols, 118 written
\[= \frac{|\omega_1|^2}{\omega_1^2}\Bigl(\frac{\tau^5+|\tau|^2}{\tau^3(1-\tau)} - \frac{1-|\tau|^2}{\tau} + \sum_{(m,n)\neq(0,0),(0,1),(1,0)} \frac{n\tau^4+(m-1)\tau^3+(n-1)|\tau|^2\tau+m|\tau|^2} {\tau(m+n\tau)^2\bigl((m-1)+n\tau\bigr)\bigl(m+(n-1)\tau\bigr)}\Bigr)\]
LaTeX source
\[
= \frac{|\omega_1|^2}{\omega_1^2}\Bigl(\frac{\tau^5+|\tau|^2}{\tau^3(1-\tau)}
- \frac{1-|\tau|^2}{\tau}
+ \sum_{(m,n)\neq(0,0),(0,1),(1,0)}
\frac{n\tau^4+(m-1)\tau^3+(n-1)|\tau|^2\tau+m|\tau|^2}
{\tau(m+n\tau)^2\bigl((m-1)+n\tau\bigr)\bigl(m+(n-1)\tau\bigr)}\Bigr)
\]
batch 4 · p. 70 — read it beside the facsimile31 / 55 · 26 distinct symbols, 89 written
\[\alpha = -\frac{\bar\omega_1\eta_2-\bar\omega_2\eta_1}{2i\,|\omega_1|^2\,\mathrm{Im}\,\tau} = -\frac{1}{2i\,\omega_1^2\,\mathrm{Im}(\tau)} \Bigl(\frac{\tau^5+|\tau|^2}{\tau^3(1-\tau)} - \frac{1-|\tau|^2}{\tau} + \sum_{(m,n)\neq(0,0),(0,1),(1,0)}\cdots\Bigr)\]
LaTeX source
\[
\alpha = -\frac{\bar\omega_1\eta_2-\bar\omega_2\eta_1}{2i\,|\omega_1|^2\,\mathrm{Im}\,\tau}
= -\frac{1}{2i\,\omega_1^2\,\mathrm{Im}(\tau)}
\Bigl(\frac{\tau^5+|\tau|^2}{\tau^3(1-\tau)} - \frac{1-|\tau|^2}{\tau}
+ \sum_{(m,n)\neq(0,0),(0,1),(1,0)}\cdots\Bigr)
\]
batch 4 · p. 72 — read it beside the facsimile32 / 55 · 6 distinct symbols, 7 written
\[V = L + L^{-1}\]
LaTeX source
\[
V = L + L^{-1}
\]
batch 4 · p. 72 — read it beside the facsimile33 / 55 · 12 distinct symbols, 27 written
\[\bar L \to L + L^{-1} \qquad \alpha\in \bar L^{-1}\otimes L,\quad \beta\in(\bar L L)^{-1}\]
LaTeX source
\[
\bar L \to L + L^{-1} \qquad \alpha\in \bar L^{-1}\otimes L,\quad
\beta\in(\bar L L)^{-1}
\]
batch 4 · p. 72 — read it beside the facsimile34 / 55 · 7 distinct symbols, 8 written
\[V = L + \varphi(L)\]
LaTeX source
\[
V = L + \varphi(L)
\]
batch 4 · p. 72 — read it beside the facsimile35 / 55 · 6 distinct symbols, 8 written
\[\alpha\,\bar z = y + \bar x\]
LaTeX source
\[
\alpha\,\bar z = y + \bar x
\]
batch 4 · p. 72 — read it beside the facsimile36 / 55 · 10 distinct symbols, 19 written
\[\varphi(x) = \bar x = \alpha(\tilde x) + \beta(\tilde x)\]
LaTeX source
\[
\varphi(x) = \bar x = \alpha(\tilde x) + \beta(\tilde x)
\]
batch 4 · p. 72 — read it beside the facsimile37 / 55 · 12 distinct symbols, 32 written
\[y = a + \varphi(b) \quad a\in L,\ b\in L;\qquad = \bigl(a+\alpha(b)\bigr) + \beta(b)\]
LaTeX source
\[
y = a + \varphi(b) \quad a\in L,\ b\in L;\qquad
= \bigl(a+\alpha(b)\bigr) + \beta(b)
\]
batch 4 · p. 72 — read it beside the facsimile38 / 55 · 15 distinct symbols, 22 written
\[y = -\alpha\beta^{-1}(y) + \overline{\beta^{-1}(y)}, \quad\text{d'où}\]
LaTeX source
\[
y = -\alpha\beta^{-1}(y) + \overline{\beta^{-1}(y)}, \quad\text{d'où}
\]
batch 4 · p. 72 — read it beside the facsimile39 / 55 · 17 distinct symbols, 47 written
\[\bar y = \beta^{-1}(y) - \overline{\alpha\beta^{-1}(y)} = \bigl(\beta^{-1}(y) - \alpha^2\beta^{-1}(y)\bigr) - \beta\alpha\beta^{-1}(y)\]
LaTeX source
\[
\bar y = \beta^{-1}(y) - \overline{\alpha\beta^{-1}(y)}
= \bigl(\beta^{-1}(y) - \alpha^2\beta^{-1}(y)\bigr) - \beta\alpha\beta^{-1}(y)
\]
batch 4 · p. 72 — read it beside the facsimile40 / 55 · 17 distinct symbols, 52 written
\[\langle\bar x,\bar y\rangle = \langle\underbrace{\alpha(x)}_{L} + \underbrace{\beta(x)}_{L^{-1}},\ \bigl(\beta^{-1}(y)-\alpha^2\beta^{-1}(y)\bigr) - \beta\alpha\beta^{-1}(y)\rangle\]
LaTeX source
\[
\langle\bar x,\bar y\rangle = \langle\underbrace{\alpha(x)}_{L}
+ \underbrace{\beta(x)}_{L^{-1}},\ \bigl(\beta^{-1}(y)-\alpha^2\beta^{-1}(y)\bigr)
- \beta\alpha\beta^{-1}(y)\rangle
\]
batch 4 · p. 72 — read it beside the facsimile41 / 55 · 13 distinct symbols, 34 written
\[= -\langle\alpha(x),\beta\alpha\beta^{-1}(y)\rangle + \langle\beta^{-1}y-\alpha^2\beta^{-1}y,\ \beta(x)\rangle\]
LaTeX source
\[
= -\langle\alpha(x),\beta\alpha\beta^{-1}(y)\rangle
+ \langle\beta^{-1}y-\alpha^2\beta^{-1}y,\ \beta(x)\rangle
\]
batch 4 · p. 74 — read it beside the facsimile42 / 55 · 26 distinct symbols, 66 written
\[\beta(\omega,\omega) = \int_X\omega\bar\omega = \int_X(dx+i\,dy)(dx-i\,dy) = -2i\int_X dx\wedge dy = -2i\,|\omega_1|^2\,\mathrm{Im}\,\tau = |\omega_1|^2(\bar\tau-\tau)\]
LaTeX source
\[
\beta(\omega,\omega) = \int_X\omega\bar\omega = \int_X(dx+i\,dy)(dx-i\,dy)
= -2i\int_X dx\wedge dy = -2i\,|\omega_1|^2\,\mathrm{Im}\,\tau
= |\omega_1|^2(\bar\tau-\tau)
\]
batch 4 · p. 74 — read it beside the facsimile43 / 55 · 14 distinct symbols, 26 written
\[\beta = -2i\rho \quad\text{avec}\quad \rho>0, \qquad \rho = \int_X dx\wedge dy\]
LaTeX source
\[
\beta = -2i\rho \quad\text{avec}\quad \rho>0, \qquad \rho = \int_X dx\wedge dy
\]
batch 4 · p. 74 — read it beside the facsimile44 / 55 · 17 distinct symbols, 19 written
\[\rho = -\frac{1}{2i}\int\omega\bar\omega = \mathrm{Vol}(X),\]
LaTeX source
\[
\rho = -\frac{1}{2i}\int\omega\bar\omega = \mathrm{Vol}(X),
\]
batch 4 · p. 74 — read it beside the facsimile45 / 55 · 12 distinct symbols, 13 written
\[\sigma = -\frac{1}{2i}\int\eta_0\bar\eta_0\]
LaTeX source
\[
\sigma = -\frac{1}{2i}\int\eta_0\bar\eta_0
\]
batch 4 · p. 74 — read it beside the facsimile46 / 55 · 13 distinct symbols, 11 written
\[4\rho\sigma = (1-\alpha\bar\alpha)\]
LaTeX source
\[
4\rho\sigma = (1-\alpha\bar\alpha)
\]
batch 4 · p. 76 — read it beside the facsimile47 / 55 · 8 distinct symbols, 7 written
\[0\leq\alpha\bar\alpha\leq 1\]
LaTeX source
\[
0\leq\alpha\bar\alpha\leq 1
\]
batch 4 · p. 76 — read it beside the facsimile48 / 55 · 11 distinct symbols, 23 written
\[1-\alpha\bar\alpha = 4\rho\sigma, \quad\text{i.e.}\quad \alpha\bar\alpha = 1-4\rho\sigma\]
LaTeX source
\[
1-\alpha\bar\alpha = 4\rho\sigma, \quad\text{i.e.}\quad
\alpha\bar\alpha = 1-4\rho\sigma
\]
batch 4 · p. 76 — read it beside the facsimile49 / 55 · 7 distinct symbols, 8 written
\[(\arg\alpha)^6\in\mathcal{U}.\]
LaTeX source
\[
(\arg\alpha)^6\in\mathcal{U}.
\]
batch 5 · p. 95 — read it beside the facsimile50 / 55 · 19 distinct symbols, 132 written
\[\begin{cases} \operatorname{div}(j)^{+} = 3\operatorname{div}(c_4) & \tfrac13\operatorname{div}(j)^{+} = \operatorname{div} c_4\\ \operatorname{div}(j)^{-} = M^{(\infty)} & \\ \operatorname{div}(j-12^3)^{+} = 2\operatorname{div}(c_6) & \tfrac12\operatorname{div}(j-12^3)^{+} = \operatorname{div} c_6\\ \operatorname{div}(j-12^3)^{-} = M^{(\infty)} & \\ M^{(\infty)} = \operatorname{div}\Delta & \end{cases}\]
LaTeX source
\[
\begin{cases}
\operatorname{div}(j)^{+} = 3\operatorname{div}(c_4) & \tfrac13\operatorname{div}(j)^{+} = \operatorname{div} c_4\\
\operatorname{div}(j)^{-} = M^{(\infty)} & \\
\operatorname{div}(j-12^3)^{+} = 2\operatorname{div}(c_6) & \tfrac12\operatorname{div}(j-12^3)^{+} = \operatorname{div} c_6\\
\operatorname{div}(j-12^3)^{-} = M^{(\infty)} & \\
M^{(\infty)} = \operatorname{div}\Delta &
\end{cases}
\]
batch 5 · p. 95 — read it beside the facsimile51 / 55 · 20 distinct symbols, 69 written
\[\begin{cases} \mathrm{cl}\bigl(\tfrac13\operatorname{div}(j)^{+}\bigr) = \omega^{4}\\ \mathrm{cl}\bigl(\tfrac12\operatorname{div}(j-12^3)^{+}\bigr) = \omega^{6}\\ \mathrm{cl}(M^{\infty}) = \omega^{12} \end{cases}\]
LaTeX source
\[
\begin{cases}
\mathrm{cl}\bigl(\tfrac13\operatorname{div}(j)^{+}\bigr) = \omega^{4}\\
\mathrm{cl}\bigl(\tfrac12\operatorname{div}(j-12^3)^{+}\bigr) = \omega^{6}\\
\mathrm{cl}(M^{\infty}) = \omega^{12}
\end{cases}
\]
batch 5 · p. 95 — read it beside the facsimile52 / 55 · 15 distinct symbols, 53 written
\[H^1(\operatorname{Spec}\mathbf{Z}[\tfrac16], \mu_6) \simeq \bigl(\mathbf{Z}[\tfrac16]\bigr)^{*}_{6} \simeq \mathbf{Z}/6\mathbf{Z} \times \mathbf{Z}/6\mathbf{Z} \times \mathbf{Z}/2\mathbf{Z}\]
LaTeX source
\[
H^1(\operatorname{Spec}\mathbf{Z}[\tfrac16], \mu_6) \simeq
\bigl(\mathbf{Z}[\tfrac16]\bigr)^{*}_{6} \simeq \mathbf{Z}/6\mathbf{Z}
\times \mathbf{Z}/6\mathbf{Z} \times \mathbf{Z}/2\mathbf{Z}
\]
batch 5 · p. 97 — read it beside the facsimile53 / 55 · 13 distinct symbols, 25 written
\[\mapsto \mathbf{F}_4 \qquad \begin{pmatrix} * & * \\ 0 & 1 \end{pmatrix}\]
LaTeX source
\[
\mapsto \mathbf{F}_4 \qquad \begin{pmatrix} * & * \\ 0 & 1 \end{pmatrix}
\]
batch 5 · p. 98 — read it beside the facsimile54 / 55 · 11 distinct symbols, 33 written
\[\struck{\ill{}}\ W[[t]] \qquad (t=a_1 \text{ en car.\ 2},\ t=b_2 \text{ en car.\ 3})\]
LaTeX source
\[
\struck{\ill{}}\ W[[t]] \qquad (t=a_1 \text{ en car.\ 2},\ t=b_2 \text{ en car.\ 3})
\]
batch 5 · p. 98 — read it beside the facsimile55 / 55 · 10 distinct symbols, 12 written
\[\mu_3^{*}(\tfrac16) \overset{B}{\times} G\]
LaTeX source
\[
\mu_3^{*}(\tfrac16) \overset{B}{\times} G
\]