- Group leader: Florent Schaffhauser.
- Affiliation: Institute for Mathematics, Heidelberg University.
- Years active: since 2023.
Research interests
- Higgs bundles.
- Character varieties.
- Gauge theory.
- Moduli spaces.
- Orbifolds and stacks.
- Fuchsian groups.
- Topology of real algebraic varieties.
- Homotopy type theory.
- Formal mathematics.
- Computer-assisted proof.
Team
- Prof. Florent Schaffhauser (Principal investigator).
- Dr. Tommaso Scognamiglio (Scientific collaborator).
Project collaborators
- Johannes Rau (Universidad de Los Andes).
- Manuel Aragón (Universität Bonn).
- Emanuel Roth (University of Edinburgh).
- Juan Sebastián Numpaque-Roa (Universidade do Porto).
Funding
- Excellence grant: Mobility in International Research Collaboration, 2024-2026. Project ID: ExU 11.2.1.45. Role: PI.
- AEI-DFG joint Spanish-German research project, 2025-2028. Project ID: SCHA 2147_1-1 AOBJ 706923. Role: PI.
Seminars
- Formal Mathematics Seminar (co-organized with Judith Ludwig and Denis Vogel).
Activities
- 03.06.2024-20.06.2024: Research visit from Prof. Johannes Rau (Universidad de Los Andes).
- 24.06.2024-30.07.2024: Research visit from Manuel Aragón (Universidad de Los Andes).
- Winter semester 2024/25: RTG Lectures on Vector bundles over Riemann surfaces (F. Schaffhauser).
- 14.11.2024-15.11.2024: HGS-MathComp Compact Course on Interactive Theorem Proving in Lean (F. Schaffhauser).
- 18.11.2024-22.11.2024: CIRM-Luminy Conference on Algebraic Geometry and Complex Geometry (F. Schaffhauser and T. Scognamiglio).
- 02.12.2024-06.12.2024: Mini-course on Mathematics, Logic and Informatics at Universidad de Los Andes (F. Schaffhauser).
- 12.03.2025-13.03.2025: Mini-course on Interactive Theorem Proving in Lean at the Max Planck Institute for Mathematics in the Sciences. (F. Schaffhauser).
- 07.04.2025-11.04.2025: Research visit by Emanuel Roth (University of Edinburgh).
- Summer semester 2025: RTG Lectures on Local systems on Riemann surfaces and character varieties (T. Scognamiglio).
- 02.06.2025-06.06.2025: Participation in the meeting on Real algebraic geometry and Birational geometry at CIRM in Luminy (F. Schaffhauser).
- 09.06.2025-13.06-2025: Participation in the TYPES 2025 conference at the the University of Strathclyde in Glasgow (F. Schaffhauser).
- 10.07.2025: Felix Lentze defended his Bachelor thesis on Formalizing Dedekind cuts in Lean.
- 07.08.2025: Sebastian Grafe defended his Bachelor thesis on Gaussian elimination in Lean.
- 14.08.2025: Talk on Algebra, Logic, and Proof Visualization at the Illustrating Mathematics:Reunion/Expansion meeeting.ICERM, 11-15.08.2025 (F. Schaffhauser).
- 01.09.2025-05.09.2025: Mini-course on Local systems on Riemann surfaces, character varieties, and non-abelian Hodge theory at Universidad de Los Andes (T. Scognamiglio).
Publications
- Daniele Alessandrini, Gye-Seon Lee and Florent Schaffhauser. Hitchin components for orbifolds. J. Eur. Math. Soc. 25 (2023), no. 4, pp. 1285–1347.
- Erwan Brugallé and Florent Schaffhauser. Maximality of moduli spaces of vector bundles on curves. Épijournal de Géométrie Algébrique (EPIGA), Volume 6 (2023).
- Juan Martín Pérez and Florent Schaffhauser. Orbifolds and the modular curve. In Ohshika, K., Papadopoulos, A. (eds) In the Tradition of Thurston III, pp 365–421, Springer (First online: 19 March 2024).
- Tommaso Scognamiglio. Cohomology of non-generic character stacks. Journal de l’École polytechnique — Mathématiques, Volume 11 (2024), pp. 1287-1371
Preprints
- Juan Sebastián Numpaque-Roa and Florent Schaffhauser. Flat torsors in complex geometry. arXiv:2412.15914. To appear in Moduli, Motives and Bundles, New Trends in Algebraic Geometry, LMS Lecture Note Series (CUP).
- Florent Schaffhauser and Tommaso Scognamiglio. Real Bialynicki-Birula flows in moduli spaces of Higgs bundles. arXiv:2507.18613.
Job openings
PostDoc-01.12.2024
This position has now been filled.
We are currently advertising a 12-month postdoctoral position in Complex and Differential Geometry, with moderate teaching responsibilities (~2h/week, in English or German), renewable for up to another 12 months (subject to funding availability).
- Application deadline: 01.02.2025.
- Response date: 01.04.2025.
- Start date: 01.10.2025.
- Salary scale: E13 TV-L 100% (commensurate with experience).
Keywords: Higgs bundles, character varieties, orbifold groups.
To apply, send the documents listed below to the email address
fschaffhauser_@_mathi.uni-heidelberg.de
(change_@_
to@
)
with subject line
AM-CoDiGeom-2024-1.
- A CV (2-page max) containing:
- The list of your publications,
- A summary of your teaching experience,
- The name of two potential reference persons.
- A research statement (5-page max, including bibliography), presenting:
- Your past results,
- Your ongoing collaborations (if any),
- Your research plans.
Please include clickable links to your publications and preprints in your CV. You may include a brief paragraph in your email, about why working in Heidelberg motivates you. There is no need to have the reference persons send their letter by the deadline, but make sure they agree to be asked for a letter later on in the process.
Heidelberg University stands for equal opportunities and diversity. Qualified female candidates are especially invited to apply. Persons with severe disabilities will be given preference if they are equally qualified. Information on job advertisements, the evaluation statute and the collection of personal data is available at https://www.uni-heidelberg.de/en/job-market.