Arithmetic, Homotopy, and Geometry

Lecture - Anabelian reconstructions principles

Season A - Homotopy, rationality, and geometry


Lecture - Anabelian reconstructions principles

May 17 - 21, 2027 RIMS Kyoto, JP Lecturers: B. Collas (RIMS, JP), K. Sawada (RIMS, JP), S. Tsujimura (RIMS, JP)

This lecture program introduces the key ideas of anabelian geometry, focusing on how arithmetic and geometric objects can be reconstructed from their associated Galois or fundamental groups. Starting with the arithmetic of the étale fundamental group and the example of the projective line minus three points, the series illustrates how discrete invariants, such as inertia and decomposition groups, can be recovered using group-theoretic methods.
The lectures then develop reconstruction techniques for fields and curves, including Uchida-style field reconstruction using tools from class field theory, as well as Tamagawa’s approach to the anabelian geometry of affine curves. The program concludes with topics in absolute and mono-anabelian geometry, covering methods for reconstructing p-adic fields, cyclotomic data, and invariants arising from p-adic Hodge theory. One lecture is dedicated to explore how aspects of these ideas can be explored into Lean's formalized mathematical setting.

Scientific Program & schedule

Lecture 1

Arithmetic invariants from homotopy Galois theory

(Mo) May 17, 2027 - 9:00-11:30 Lecturer: B. Collas

Introduction to the arithmetic of the étale fundamental group through its geometric Galois action. The lecture studies the example of the projective line minus three points and explains how inertia and decomposition groups can be reconstructed using Nakamura’s lemma.

Keywords: Étale fundamental group; Geometric Galois action; Inertia and decomposition groups; Nakamura’s lemma.
Lecture 2

Fields reconstruction à la Uchida

(Tue) May 18, 2027 - 9:00-11:30 Lecturer: K. Sawada

Presentation of Uchida-style field reconstruction from group-theoretic data. The lecture covers valuations, units, and tools from local and global class field theory (Brauer groups and Artin reciprocity) leading to multiplicative and then additive reconstruction.

Keywords: Uchida reconstruction; Valuations and units; Class field theory; Brauer group; Artin reciprocity law.
Lecture 3

Anabelian geometry for affine curves

(Wed) May 19, 2027 - 9:00-11:30 Lecturer: B. Collas

Overview of Tamagawa’s approach to anabelian geometry of curves over number fields and finite fields. Key tools include semistable models, the Oda–Tamagawa good reduction criterion, Lefschetz-type counting of rational points, and multiplicative reconstruction of function fields.

Keywords: Anabelian geometry of curves; Semistable models; Oda–Tamagawa criterion; Function field reconstruction.
Lecture+ A

Lean & Anabelian arithmetic

(Wed) May 19, 2027 - 17:00-18:30 Lecturer: TBA.

To be announced

Keywords: ...
Lecture 4

Elements of absolute anabelian geometry

(Thu) May 20, 2027 - 9:00-11:30 Lecturer: S. Tsujimura

Introduction to techniques in absolute anabelian geometry inspired by Mochizuki. The lecture discusses Belyi cuspidalization, synchronization of cyclotomic data via Kummer theory, and applications of Hochschild–Serre spectral sequence together with Uchida’s lemma.

Keywords: Absolute anabelian geometry; Belyi cuspidalization; Kummer theory; Cyclotomic synchronization; Uchida's lemma.
Lecture 5

Mono-anabelian reconstruction over p-adic fields

(Fr) May 21, 2027 - 9:00-11:30 Lecturer: K. Sawada

Study of mono-anabelian reconstruction for p-adic fields using purely group-theoretic methods. The lecture presents principles, examples and counterexamples in mixed characteristic, and algorithms recovering numerical field-related invariants and cyclotomic data.

Keywords: Mono-anabelian reconstruction; p-adic fields; Mixed characteristic; Numerical invariants; Cyclotomic synchronization.
Lecture+ B

Anabelian properties of Hodge-Tate representations

(Fr) May 21, 2027 - 17:00-18:30 Lecturer: S. Tsujimura

Exploration of anabelian properties for p-adic Hodge theory. After introducing Hodge–Tate representations, the lecture explains absolute anabelian reconstruction for local p-adic fields and additive reconstruction via the ramification filtration.

Keywords: Hodge–Tate representations; p-adic Hodge theory; Local p-adic fields; Ramification filtration; Additive reconstruction.

References - Books

References - Research articles

Venue

All talks take place at RIMS, Kyoto University [How to come].

Registration

Registration to be opened...

Next events :: Lectures, Conference, Workshops...

Lectures - Variations around the Hilbert property

May 17-June 21, 2027 RIMS

Lecturers: A. Behajaina (Lille, FR), C. Demarche (IMJ-PRG, FR), A. Fehm (TU Dresden, DE), A. Javanpeykar (Radboud, NL), D. Neftin (Technion, IL)

Conference - Homotopy, rationality, and geometry

May 24 - 28, 2027 RIMS

Scientific committee: B. Collas (RIMS, JP), P. Dèbes (Lille, FR), C. Demarche (IMJ-PRG, FR), A. Fehm (TU Dresden, DE) & S. Mochizuki (RIMS, JP).

Workshop - Arithmetic invariants from homotopy Galois theory

May 31- June 1, 2027 RIMS

Org.: S. Philip (Stockholm, SE), N. Yamaguchi (IS Tokyo, JP)