Orateur : Giuseppe Ancona (Université de Strasbourg) Titre : Corps de définition et périodes ramifiées Résumé : Dans un travail en commun avec Dragos Fratila et Alberto Vezzani, nous construisons des courbes hyperelliptiques de genre grand, définies sur des corps quadratiques qui sont isomorphes à leur conjuguées galoisiens mais qui ne descendent pas sur Q. […]
Évènements
Calendrier de Évènements
|
L
lundi
|
M
mardi
|
M
mercredi
|
J
jeudi
|
V
vendredi
|
S
samedi
|
D
dimanche
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
–
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
Orateur : Zhenghui Li (Sorbonne Université) Titre : On p-torsions of geometric Brauer groups Résumé : Let X be a smooth projective irreducible variety over a finitely generated field k of characteristic p>0. We show that the finiteness of the exponent of the p-primary part of the geometric Brauer group is equivalent to the Tate […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
1 évènement,
–
Voyage aux pays de EDP, Probabilités et Statistique avec des processus ponctuels |
1 évènement,
–
Orateur : Liu Yuanmin (The University of Tokyo) Titre : p-adic weight spectral sequences of strictly semi-stable schemes over formal power series rings via arithmetic D-modules Résumé : Over the Laurent series field k((t)), Lazda–Pál defined the E†-valued rigid cohomology and Caro constructed the theory of arithmetic D-modules. These p-adic cohomology and its coefficients theory […] |
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
–
|
0 évènement,
|
1 évènement,
–
Orateur : Filippo Nuccio (Université Jean Monnet Saint-Étienne) Titre : Expliquer un peu d'arithmétique à un ordinateur Résumé : Dans cet exposé j'essaierai d'illustrer ce que signifie formaliser des mathématiques dans un assistant de preuve (j'utiliserai le logiciel Lean), en commençant par un exemple simple et par un survol de la pratique de formalisation et […] |
0 évènement,
|
0 évènement,
|
|
|
0 évènement,
|
2 évènements,
–
Journées scientifiques communes : exposés et échanges |
0 évènement,
|
1 évènement,
–
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
