1 \documentclass[9pt,blackandwhite,roman,handout
]{beamer
}
4 \usefonttheme{professionalfonts
}
11 %\usecolortheme{seahorse}
13 \usecolortheme{seagull
}
14 %\usefonttheme[onlylarge]{structurebold}
15 %\setbeamerfont*{frametitle}{size=\normalsize,series=\bfseries}
16 %\setbeamertemplate{navigation symbols}{}
21 %\usepackage[frenchb]{babel}
22 %\usepackage[english]{babel}
23 \usepackage[utf8
]{inputenc}
24 %\usepackage[T1]{fontenc}
26 \usepackage[sans
]{dsfont
}
30 \usepackage[cal=euler,scr=rsfso
]{mathalfa
}%bb=cm,
33 \usepackage{mathrsfs
} % pour faire des majuscules calligraphiées \mathcal{blabla}
34 %\usepackage[french,lined]{algorithm2e} % rajouter linesnumbered dans les arguments pour numéroter les lignes des algos, boxed pour l'encadrement
35 %\usepackage{extsizes}
36 %\usepackage{MnSymbol}
43 %\usepackage[varg]{txfonts}
46 %\usepackage{MyMnSymbol}
49 %usepackage{mathtools}
57 \usetikzlibrary{matrix,arrows
}
58 \tikzstyle{block
}=
[draw opacity=
0.7,line width=
1.4cm
]
60 \newcommand{\gk}{$g_k =
\left \
{ \begin{array
}{ll
}
61 q^k+q^
{k-
1}-q^
\frac{k+
1}{2} -
2q^
\frac{k-
1}{2}+
1 &
\mbox{si
} k
\equiv 1 \pmod 2,\\
62 q^k+q^
{k-
1}-
\frac{1}{2}q^
{\frac{k
}{2}+
1} -
\frac{3}{2}q^
{\frac{k
}{2}}-q^
{\frac{k
}{2}-
1} +
1&
\mbox{si
} k
\equiv 0 \pmod 2.
63 \end{array
} \right .$
}
65 \newcommand{\ext}{\xymatrix{
66 \FF=
\Fq(x)(y)
\ar@
{-
}[d
]^
{<
\infty} \\
\Fq(x)
\ar@
{-
}[d
] \\
\Fq} }
68 \newcommand{\twoheaddownarrow}{%
69 \mathrel{\reflectbox{\rotatebox[origin=c
]{-
90}{$
\xtwoheadrightarrow[ \;
]{ \reflectbox{\rotatebox[origin=c
]{-
90}{$
\pi_Q \ $
}} \ \
}$
}}}}
71 \newcommand{\longdownmapsto}{%
72 \mathrel{\reflectbox{\rotatebox[origin=c
]{-
90}{$
\xmapsto{ \ \ \
\reflectbox{\rotatebox[origin=c
]{-
90}{$
\pi_Q \ $
}} \ \ \
}$
}}}}
74 \newcommand{\bigubrace}[1]{\underbrace{\mbox{}f(P_i), f'(P_i),
\ldots, f^
{(
\ell_i-
1)
}(P_i)
\vphantom{\sum_0^
0}\hspace{#1}\mbox{}}_?
}
76 \newcommand{\myubrace}[2]{\rotatebox[origin=c
]{90}{$
77 \rotatebox[origin=c
]{-
90}{#1} \left \
{
81 \right .
\hspace{-
1em
}
84 \newcommand{\bluebrace}{{\color{blue
}\left\
{}}
87 \definecolor{mycvblue
}{rgb
}{0.302,
0.537,
0.737}
90 \setbeamercolor{structure
}{fg=mycvblue
}
91 \setbeamercolor{palette primary
}{fg=mycvblue
}
92 \setbeamercolor{subsection in head/foot
}{parent=palette primary
}
94 \setbeamertemplate{navigation symbols
}{
95 % \insertslidenavigationsymbol
96 % \insertframenavigationsymbol
97 % \insertsubsectionnavigationsymbol
98 % \insertsectionnavigationsymbol
99 % \insertdocnavigationsymbol
100 % \insertbackfindforwardnavigationsymbol
103 %\renewcommand{\item}{\item[$\bullet$]}
107 \title[]{\LARGE{\textsc{Familles denses de courbes modulaires, nombres premiers\\ et \
\rang de tenseur symétrique uniforme de la multiplication dans les corps finis
}}}
109 \author[Alexey
{\textsc Zykin
}]{\textbf{Alexey
{\textsc Zykin
}$^
{\dag}$
} \\ (
\textbf{1984 -
2017}) \
\Laboratoire GAATI \
\Université de la Polynésie Française\\
110 {\small National Research University Higher School of Economics
} \\ Institute for Information Transmission Problems of the Russian Academy of Sciences\\
\vspace{1em
}\textbf{\textcolor{mycvblue
}{en collaboration avec
}}\\
\vspace{1em
} \textbf{Stéphane
{\textsc Ballet
}}\\ Equipe Arithmétique et Théorie de l'Information\\ Institut de Mathématiques de Marseille \\ Aix-Marseille Université
}
113 \date[]{\\
\vspace{2em
} {\bf Séminaire GAATI
}\\
{\bf UPF
} \\
{\small Avril
2017}}
115 \newtheorem{defin
}{Définition
}
116 \newtheorem{theoreme
}{Théorème
}
117 \newtheorem{lemme
}{Lemme
}
118 \newtheorem{corollaire
}{Corollaire
}
119 \newtheorem{proposition
}{Proposition
}
120 \newtheorem{propriete
}{Propriété
}
121 %\newtheorem{exemple}[definition]{Exemple}
123 \newcommand{\NN}{\ensuremath{\mathbb{N
}}}
124 \newcommand{\CC}{\ensuremath{\mathbb{C
}}}
125 \newcommand{\ZZ}{\ensuremath{\mathbb{Z
}}}
126 \newcommand{\PF}{\mathbf{P
}_F
}
127 \newcommand{\DF}{\mathsf{Div
}(F)
}
128 \newcommand{\Jac}{\ensuremath{\mathcal{J
}\mathsf{ac
}(F/
\Fq)
}}
129 \newcommand{\Fqr}[2][q
]{\mathds{F
}_
{\!
{#1}^
{#2}}}
130 \newcommand{\Fq}{\Fqr{}}
131 \newcommand{\F}{\mathds{F
}}
132 \newcommand{\FF}{\mathsf{F
}}
133 \newcommand{\Fqn}{\Fqr{n
}}
134 \newcommand{\D}[1][D
]{\ensuremath{\mathcal{#1}}}
135 \newcommand{\Ld}[1][\D]{\ensuremath{\mathscr{L
}\!\!
\left(
#1\right)
}} % utilisation : \Ld ou \Ld[A] pour un diviseur A au lieu de D
136 \newcommand{\Ak}[1][k
]{\ensuremath{\mathbb{A
}_
{#1}}}
137 \newcommand{\A}{\ensuremath{\mathsf{A
}}}
138 \newcommand{\Cl}{\ensuremath{\mathsf{Cl
}}}
139 \newcommand{\mus}{\ensuremath{\mu^
\mathsf{sym
}}}
140 \newcommand{\Ms}{\ensuremath{M^
\mathsf{sym
}}}
141 \newcommand{\ms}{\ensuremath{m^
\mathsf{sym
}}}
142 \newcommand{\chch}{{C
}hudnovsky-
{C
}hudnovsky
}
143 \newcommand{\ch}{{C
}hudnovsky
}
147 \addtobeamertemplate{footline
}{\texttt{\hfill\insertframenumber/
{\inserttotalframenumber}}}
149 %\AtBeginSubsection[] {
150 %\begin{frame}<beamer>
152 %\tableofcontents[currentsection,currentsubsection]
156 %\begin{frame}<beamer>
158 %\tableofcontents[currentsection]%,currentsubsection]
162 \setbeamertemplate{sections/subsections in toc
}[sections numbered
]
163 %\setbeamertemplate{sections in toc}[sections numbered]
167 % \begin{frame}[plain]
171 % {\bf Institut de Mathématiques de Marseille}\\
173 % {\bf Equipe Analyse, Géométrie et Topologie (AGT) }\\
177 % {\bf Séminaire de Géométrie Complexe}\\
193 \begin{frame
}[plain
]{Plan
}
199 \section{Introduction
}
201 \subsection{Définitions
}
204 \begin{frame
}{Définition formelle I
}
209 \begin{frame
}{Définition formelle II
}
214 \begin{frame
}{Définition formelle III
}
218 \subsection{Quantités asymptotiques
}
225 \section{Algorithme de D.V. et G.V. Chudnovsky (
1987)
}
227 \subsection{Avec des places rationnelles
}
230 \begin{frame
}{Algorithme original de Chudnovsky et Chudnovsky
}
234 \subsection{Principe
}
237 \begin{frame
}{Principe pour multiplier avec l'algorithme de Chudnovsky
}
241 \subsection{Avec des places de degré un et deux
}
244 \begin{frame
}{Evaluations sur des places de degré
1 et
2}
248 \section{Conditions permettant l'utilisation de l'algorithme
}
250 \subsection{Conditions principales
}
253 \begin{frame
}{Conditions suffisantes pour appliquer l'algorithme
}
257 \subsection{Applications
}
260 \begin{frame
}{Le cas des extensions de petits degré
}
264 \begin{frame
}{Algorithme de Chudnovsky sur un corps de fonctions hyperelliptique de genre
2}
269 \begin{frame
}{Exemple pour les
\textit{petites
} extensions $
\F_{16^n
}$ de $
\F_{16}$
}
273 \setbeamercovered{transparent
}
279 %%%%%%%%%%%%% T %%%%%%%%%%%%%%%
282 %%%%%%%%%%%%% T %%%%%%%%%%%%%%%
285 %%%%%%%%%%%%% T %%%%%%%%%%%%%%%
287 \section{Nouveau résultats
}
289 \subsection{Bornes uniformes connues
}
295 \subsection{Nouvelles bornes uniformes
}
302 \begin{frame
}{Corps de fonctions sur $
\F_{p^
2}$
}
310 %%%%%%%%%%%%% T %%%%%%%%%%%%%%%
320 \section{Conclusions et perspectives
}
322 \subsection{Problèmes et/ou travail en cours
}
326 \begin{frame
}{Conclusion
}
337 \begin{beamerboxesrounded
}%
338 [lower=block title,
%
342 {\Large \textbf{{\color{mycvblue
}Thank you for your attention.
}}}\\
344 {\Large \textbf{{\color{mycvblue
}Questions?
}}}\\
346 \end{beamerboxesrounded
}