Ah, but I play dice. It's quite fun.

Naganori Yamaguchi

日本語: URL

Position: Tokyo Denki University, School of Engineering, Department of Mathematics and Data Science, Lecturer (URL)

Expertise: Arithmetic Geometry, Anabelian Geometry

Degree: Ph.D. in Science, Kyoto University, March 2023

Email: n.yamaguchi(at)mail.dendai.ac.jp / yamaguchi.n.ac(at)m.titech.ac.jp

researchmap: R000054174 / ORCID: 0000-0002-0347-2746 / ArXiv / My bookshelf

Papers

  • Refereed Journal Articles
    • Étale Fundamental Groups of Smooth Arithmetic Surfaces and the Grothendieck Conjecture (with Ryoji Shimizu)
      • Journal of Number Theory, Available online 11 August 2026. (DOI), arXiv: 2511.06725 (URL)
    • The geometrically m-step solvable Grothendieck conjecture for affine hyperbolic curves over finitely generated fields
      • Journal of the London Mathematical Society, Volume 109, issue 5, May 2024, e12912. (DOI), arXiv: 2302.09253 (URL)
    • The geometrically m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields
      • Journal of Algebra, Volume 629, September 2023, Pages 191-226. (DOI), arXiv: 2010.00290 (URL)
  • Refereed Proceedings
    • Center-freeness of finite-step solvable groups arising from anabelian geometry
      • arXiv: 2601.07112 (URL)
    • A survey of known results on the m-step solvable anabelian geometry for hyperbolic curves
      • RIMS Kokyuroku Bessatsu (Forthcoming), arXiv: 2204.08008 (URL)
  • Preprints
    • Ab-faithfulness of absolute Galois groups in number theory
      • arXiv: 2610.05634 (URL)
    • Extension of solvable coverings across horizontal divisors over the integers
      • arXiv: 2610.02948 (URL)
    • On branched coverings of the projective line over the integers (with Ryoji Shimizu)
      • arXiv: 2608.15057 (URL)
    • Anabelian geometry for Deligne-Mumford curves (with Benjamin Collas and Séverin Philip)
      • arXiv: 2605.02577 (URL)
    • Symmetries of spaces and numbers -- anabelian geometry (with Benjamin Collas and Takahiro Murotani)
      • arXiv: 2508.01588 (URL)
    • The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields
      • arXiv: 2407.09906 (URL)
  • Other PDFs
    • Notes from “Atelier de Géométrie Arithmétique” – Étale homotopy theory and applications (with Brieuc Lair and Drimik Roy-Chowdhury) (PDF)
    • Notes from “Atelier de Géométrie Arithmétique” – Spaces and perfectoids (with E. Caeiro, A. Klughertz, and S. Philip) (PDF)
    • 遠アーベル幾何学におけるm階可解グロタンディーク予想について (PDF)

Lean 4

NYLL — Lean 4 libraries for number theory and arithmetic geometry. (GitHub)

The library pages explain selected mathematical results and link to their Lean source.

  • Pro-𝒞 groups (GitHub) — Profinite and pro-𝒞 groups, including the Golod–Shafarevich theorem and Reidemeister–Schreier theory.
  • Class field theory (GitHub) — Class field theory for local fields, number fields and function fields over finite fields: reciprocity, norm-group classification and existence of class fields.
  • Étale fundamental groups and cohomology (GitHub) — Finite étale covers, fundamental-group exact sequences and étale cohomology comparisons, following Stacks Project Chapters 58 and 59.
  • Generalized Jacobians (GitHub) — Generalized Jacobians over arbitrary fields, modulus existence and unique Abel factorization, including ordinary Jacobians at zero modulus.
  • Sawin’s totally real towers (GitHub) — Totally real towers with bounded root discriminant, including Martinet’s construction. (Formal Conjectures; Lean Eval: Martinet, Shafarevich)
  • Paper collection (GitHub) — Selected results from papers on ab-faithfulness and extension of solvable coverings.
  • Anabelian geometry (GitHub) — Nakamura’s weak reconstruction for Grothendieck’s conjecture for genus-zero hyperbolic curves over number fields (existence of a curve isomorphism from fundamental-group data), and geometric slimness for hyperbolic curves.

Talks

  • 2025
    • Nov 26: The anabelian geometry of arithmetic surfaces (Joint work with R. Shimizu) — KAIST Number Theory Seminar (URL)
    • Nov 22: ノイキルヒ・内田の定理から見る遠アーベル幾何学 — 東京科学大学整数論研究集会 (Prof. Yuichiro Taguchi's 60th birthday)
    • Sep 3: The anabelian geometry of arithmetic surfaces (Joint work with R. Shimizu) — Anabelian Geometry in Yokohama 2025 (URL)
    • Mar 31: Finite Step Solvable Aspects of Anabelian Geometry — Spring seminar on Arithmetic Galois theory in Toyonaka 2025 (URL)
  • 2024
    • Nov 23: The Finite-Step Solvability of Anabelian Geometry — 北大数論セミナー (URL)
    • Oct 25: Anabelian geometry and m-step solvable reconstruction — 九州代数学セミナー (URL)
    • Mar 12: The m-step solvable reconstruction for the Grothendieck conjecture in Anabelian Geometry — Anabelian Geometry in Tokyo 2024 (URL)
    • Feb 15: Recent developments for m-step solvable Anabelian Geometry — MathSci Freshman Seminar 2024 (URL)
  • 2023
    • Jul 14: New developments in anabelian geometry by using m-step reconstruction — 22nd Hiroshima-Sendai Workshop on Number Theory (URL)
    • Apr 17: Anabelian geometry and m-step reconstruction — Arithmetic & Homotopic Galois Theory seminar of the International Research Network (URL) (Invited Talk)
    • Mar 28: On the development of anabelian geometry using the maximal geometrically m-step solvable quotient of arithmetic fundamental groups — Low Dimensional Topology and Number Theory XIV (URL) (Invited Talk)
    • Mar 8: 遠アーベル幾何学におけるm階可解グロタンディーク予想について — The 19th Mathematics Conference for Young Researchers (URL) (Technical Report: URL)
  • 2021
    • Dec 7: The m-step solvable anabelian geometry for hyperbolic curves over finitely generated fields — The Japan Europe Number Theory Exchange Seminar (URL), Online (Invited Talk)
  • 2020
    • Dec 2: 種数0の曲線における導来商版Grothendieck予想について — Algebraic Number Theory and Related Topics 2020 (URL)
    • Sep 9: The m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields — 19th Sendai-Hiroshima Number Theory Conference (URL)
    • Aug 19: The m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields — 2nd Kyoto-Hefei Workshop on Arithmetic Geometry 2020 (URL), Online (Invited Talk)
    • Aug 11: The m-step solvable Grothendieck conjecture for genus 0 curves over finitely generated fields — Kyushu Algebraic Number Theory 2020 (URL)

Career

  • Apr. 2026 -Tokyo Denki University, School of Engineering, Department of Mathematics and Data Science, Lecturer (URL)
  • Sep. 2024 - Mar. 2025Tokyo Denki University Part-time Lecturer "Calculus II (1EJ・EH・ES)"
  • Sep. 2023 - Mar. 2024Tokyo Denki University Part-time Lecturer "Calculus II (1EJ・EH・ES)"
  • Apr. 2023 - Mar. 2026Japan Society for the Promotion of Science Research Fellow PD (URL)
  • Apr. 2021 - Mar. 2023Japan Society for the Promotion of Science Research Fellow DC2 (URL)

Education

  • Apr. 2020 - Mar. 2023Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Doctoral Program (Completed) [Doctoral thesis]
  • Apr. 2018 - Mar. 2020Kyoto University, Graduate School of Science, Division of Mathematics and Mathematical Sciences, Master's Program (Completed)
  • Apr. 2014 - Mar. 2018Tokyo Institute of Technology, Department of Mathematics, Bachelor's Program (Graduated)

Funding

  • Apr. 2023 - Mar. 2026JSPS KAKENHI Project/Area Number 23KJ0881 (URL)
  • Apr. 2021 - Mar. 2023JSPS KAKENHI Project/Area Number 21J11884 (URL)

Visits

  • Nov. 25-28, 2025Visiting researcher, Department of Mathematical Sciences, Korea Advanced Institute of Science and Technology (KAIST) (Host: Prof. Wansu Kim)
  • Sep. 16-29, 2024Participant, France-Japan international scientific exchange “Autumn in Paris 2024”, Paris, France (Host: Dr. Benjamin Collas; AHGT RIMS-CNRS IRN)