Bollettino settimanale
Pagina d'informazione di seminari ed eventi scientifici che avranno luogo settimanalmente per lo più in area romana. Per la pubblicazione rivolgersi a Giorgio Chiarati che ne cura la gestione. Per consultare la pagina di tutti i seminari di Dipartimento Click here.
Settimana 22/01/2024 - 26/01/2024
Seminari
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Geometry Seminar
Date: 23 January 2024
Schedule: 14:30 - Rome Time
Where: Conference Room 1101 "C. D'Antoni"
Title: " A stacky Castelnuovo's contraction theorem "
Speaker: Michele Pernice - KTH -
Abstract:
In this talk, we are going to discuss a generalization to weighted blowups of the classical Castelnuovo' contraction theorem.
Moreover, we will show as a corollary that the moduli stack of n-pointed stable curves of genus 1 is a weighted blowup.
This is a joint work with: Arena, Di Lorenzo, Inchiostro, Mathur, Obinna.
This talk is part of the activity of the MIUR Excellence Department Projects MathMod@TOV, and the PRIN 2022 Moduli Spaces and Birational Geometry
Organizing Committee:
Giulio Codogni (mail to contact)
Guido Maria Lido (mail to contact)
Further Info: Click here for Geometry Page
Streaming Link (MS Teams): This seminar will be held in person
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Mathematics-Phisics Seminar
Date: 23 January 2024
Schedule: 14:30 - Rome Time
Where: Conference Room 1201 "R. Dal Passo "
Title: " Internal-wave billiards in trapezoids and similar tables"
Speaker: Marco Lenci - University of Bologna
Abstract:
We call internal-wave billiard the dynamical system of a point particle that moves freely inside a planar domain (the table) and is
reflected by its boundary according to this rule: reflections are standard Fresnel reflections but with the pretense that the boundary
at any collision point is either horizontal or vertical (relative to a predetermined direction representing gravity).
These systems are point particle approximations for the motion of internal gravity waves in closed containers, hence the name.
The phenomenon of internal waves in a fluid occurs in many situations and has been intensively studied by physicists.
One of the first experiments, which became paradigmatic, was done in a container shaped like a rectangular trapezoid (with some thickness). For a class of tables including rectangular trapezoids, we prove that the dynamics has only three asymptotic regimes: (1) there exist a global attractor and a global repellor, which are periodic and might coincide; (2) there exists a beam of periodic trajectories, whose boundary (if any) comprises an attractor and a repellor for all the other trajectories; (3) all trajectories are dense (that is, the system is minimal). If time permits, we will also discuss the prominent case where the table is an actual trapezoid, studying the sets in parameter space relative to the three regimes. We prove in particular that the set for (1) has positive measure (giving a rigorous proof of the existence of Arnold tongues for internal-wave billiards), whereas the sets for (2) and (3) are non-empty but have measure zero.
Joint work with C. Bonanno and G. Cristadoro.
Organizing Committee:
Oliver J. Butterley (mail to contact)
Further Info: Click here for Mathematics-Phisics Page
Streaming Link (MS Teams): This seminar will be held in person
Computer-verified proofs: 48 hours in Rome
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Computer-verified proofs: 48 hours in Rome Seminar
Date: 24 January 2024
Schedule: 15:30 - Rome Time
Where: Conference Room 1201 "R. Dal Passo "
Title: " How to enjoy a mathematical discussion with your laptop "
Speaker: Filippo A. E. Nuccio Mortarino Majno di Capriglio - Université Jean Monnet Saint-Étienne/Institut Camille Jordan
Abstract:
In this talk I will illustrate how certain programs, of which Lean is
an example, permit to interact with a computer about the logical
soundness of mathematical arguments. I will go through the details of
well-known proofs trying to understand the feedback provided by the
computer and will try to share the fun involved in the process.
Organizing Committee:
Oliver J. Butterley (mail to contact)
Rafael Leon Greenblatt (mail to contact)
Yoh Tanimoto (mail to contact)
Further Info: Click here for Event Page
Streaming Link (MS Teams): This seminar will be held in person
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Computer-verified proofs: 48 hours in Rome - Colloquium
Date: 25 January 2024
Schedule: 12:00 - Rome Time
Where: Conference Room 1201 "R. Dal Passo "
Title: "The internals of Lean "
Speaker: Floris van Doorn - Bonn
Abstract:
In this talk I will describe what goes on behind the scenes of Lean. I
will explain the logic of Lean, called dependent type theory, what Lean
tactics are and explain why we can trust proofs that are checked by Lean.
Organizing Committee:
Oliver J. Butterley (mail to contact)
Rafael Leon Greenblatt (mail to contact)
Yoh Tanimoto (mail to contact)
Further Info: Click here for Event Page
Streaming Link (MS Teams): This seminar will be held in person
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Computer-verified proofs: 48 hours in Rome - Colloquium
Date: 25 January 2024
Schedule: 14:30 - Rome Time
Where: Conference Room 1201 "R. Dal Passo "
Title: "The benefits and challenges of teaching proof with Lean "
Speaker: Gihan Marasingha - University of Exeter
Abstract:
This presentation will explore the pivotal role of Lean in enhancing
first-year undergraduates' understanding of mathematical proofs. I will
share insights from my experiences and initial educational research on
teaching a large first-year undergraduate cohort with Lean, focusing on
how this tool can significantly impact student perception of proofs.
Additionally, I will address the challenges encountered in teaching
with Lean and the implications for learning and comprehension.
Organizing Committee:
Oliver J. Butterley (mail to contact)
Rafael Leon Greenblatt (mail to contact)
Yoh Tanimoto (mail to contact)
Further Info: Click here for Event Page
Streaming Link (MS Teams): This seminar will be held in person
Università degli Studi Roma Tor Vergata
Dipartimento di Matematica
Colloquium di Dipartimento
Date: 26 January 2024
Schedule: 14:30 - Rome Time
Where: Conference Room 1201 "R. Dal Passo "
Title: " Formalising modern research mathematics"
Speaker: Kevin Buzzard - Imperial College London
Abstract:
A few years ago, the idea of formalising modern research level
mathematics seemed completely out of reach. Since then, more and more
examples have appeared. I'll go through several examples (some related
to the mathematics of Scholze, Tao and Gowers), and talk about how the
process is evolving, enabling multiple people to collaborate in the
formalisation of modern research in real time.
Organizing Committee:
Oliver J. Butterley (mail to contact)
Rafael Leon Greenblatt (mail to contact)
Yoh Tanimoto (mail to contact)
Further Info: Click here for Event Page
Streaming Link (MS Teams): This seminar will be held in person
Eventi