https://kevins.science/ Recent content on Kevin Klinge Hugo en https://kevins.science/research/ Mon, 01 Jan 0001 00:00:00 +0000 https://kevins.science/research/ <h2 id="publications-and-preprints">Publications and Preprints</h2> <ul> <li>Cops and robbers for hyperbolic and virtually free groups, with Raphael Appenzeller <a href="https://arxiv.org/abs/2502.04540">arXiv</a> - To appear in Groups, Geometry, and Dynamics</li> <li>Dimension drop in residual chains, with Sam Fisher, 2026 <a href="https://www.ams.org/journals/tran/0000-000-00/S0002-9947-2026-09612-6/?active=current">Transactions of the AMS</a></li> <li>Order Σ-invariants, Novikov homology and nilpotent groups, 2024, <a href="https://kevins.science/diss.pdf">Doctoral Thesis</a></li> <li>Sigma invariants for partial orders on nilpotent groups, 2023, <a href="https://arxiv.org/abs/2311.00620">arXiv</a></li> <li>Ore localisation: A formalisation in Lean, with Jakob von Raumer, 2022, <a href="https://github.com/leanprover-community/mathlib4/tree/master/Mathlib/RingTheory/OreLocalization">mathlib</a></li> </ul> https://kevins.science/office/ Mon, 01 Jan 0001 00:00:00 +0000 https://kevins.science/office/ <p>My office is Room 03.327 in the Mathematikon, Im Neuenheimer Feld 205, 69120 Heidelberg, Germany, Europe, Earth, Sol, Milky Way</p> <p>If you have an appointment with me, it is probably there.</p> <p>You are very welcome to drop by whenever I&rsquo;m available. If you wish to make an appointment beforehand, you can write me an <a href="mailto:kklinge@mathi.uni-heidelberg.de">email</a>.</p> https://kevins.science/teaching/ Mon, 01 Jan 0001 00:00:00 +0000 https://kevins.science/teaching/ <h2 id="current">Current</h2> <ul> <li><a href="https://www.mathi.uni-heidelberg.de/~aschilling/teaching/proseminar_teaching_math_SoSe26.html">HEGL Seminar Teaching Mathematics</a>, with Anna Schilling</li> </ul> <h2 id="past">Past</h2> <ul> <li><a href="https://matematiflo.github.io/HEGL_IMS_WiSe_2025/">HEGL Seminar Illustrating Mathematics</a>, with Florent Schaffhauser</li> <li>Computer Science 2, 2025, Lecturer</li> <li>Algebraic Excursions in Groups and Spaces, 2024, <a href="https://kevins.science/algebraic_excursions_in_groups_and_spaces.pdf">Seminar plan</a></li> <li>Algebraic and Analytic Aspects of Group Rings, 2023, TA</li> <li>Mathematics II for Scientists, 2022, TA</li> <li>Animated Mathematics, 2021/22, the students made these cool <a href="https://www.youtube.com/watch?v=Hb35djuGMIg&amp;list=PL2Rb_pWJf9Joe3_90fXvTKCKB71UjQola&amp;index=5">videos</a></li> </ul> https://kevins.science/conferences/ Mon, 01 Jan 0001 00:00:00 +0000 https://kevins.science/conferences/ <h2 id="upcoming">Upcoming</h2> <ul> <li><a href="https://iag.math.kit.edu/topoggt/topoggt_661.php">Formal proof and synthetic mathematics</a>, Heidelberg, June 2026 (I am an organiser)</li> <li><a href="https://iag.math.kit.edu/topoggt/topoggt_661.php">Topology and geometric group theory seminar</a>, Karlsruhe, May 2026</li> </ul> <h2 id="recent-conferences-and-talks">Recent conferences and talks</h2> <ul> <li><a href="https://www.math.uni-bielefeld.de/groupsgeometry/thgt26/index.php">Topological and Homological Methods in Group Theory</a>, Bielefeld, March 2026</li> <li><a href="https://transcouesnon.sciencesconf.org/?forward-action=index&amp;forward-controller=index&amp;lang=en">Journées Trans-Couesnon de théorie des groupes</a>, Caen, March 2026</li> <li><a href="https://geometry-dynamics.mathi.uni-heidelberg.de/research/seminars-events/detail/fibrations-and-nilpotent-groups">Geometry Seminar</a>, Heidelberg, October 2025</li> <li><a href="https://sites.google.com/impan.pl/aamgt/home-page">Algebraic and Analytic Methods in Group Theory</a>, Warsaw, August 2025</li> <li><a href="https://matematiflo.github.io/FormalMathSeminar/SS2025.html">Research Seminar on Formal Mathematics</a>, Heidelberg, May 2025</li> <li><a href="https://www.uni-muenster.de/MathematicsMuenster/events/2024/buildings.html">Buildings 2024</a>, Münster, September 2024</li> <li><a href="https://topology.math.kit.edu/english/1342.php">Workshop: Profinite Rigidity</a>, Karlsruhe, August 2024 (I was an organiser)</li> <li><a href="https://www.uni-muenster.de/AGKramer/index.php?name=TSSS24&amp;menu=teesemi&amp;lang=de">Tea Seminar</a>, Münster, June 2024</li> <li><a href="https://www.mpim-bonn.mpg.de/HOGRO2024">Homology Growth in Topology and Group Theory</a>, Bonn, May 2024</li> <li><a href="https://sites.google.com/view/yggt2024">Young Geometric Group Theory XII</a>, Bristol, April 2024</li> <li><a href="https://www.math.uni-bielefeld.de/groupsgeometry/thgt24/index.php">Topological and Homological Methods in Group Theory</a>, Bielefeld, March 2024</li> </ul>