Seminari/Colloquia
Pagina 9
Date  Type  Start  End  Room  Speaker  From  Title 

02/02/24  Seminario  16:00  17:00  1201 Dal Passo  "Specialization map for quiver Grassmannians"
We define a specialization map for quiver Grassmannians of Dynkin type and prove that it is surjective in type A. This generalizes a beautiful theorem of Lanini and Strickland concerning the cohomology of degenerate flag varieties.
This is a joint ongoing work with Francesco Esposito, Ghislain Fourier and Fang Xin.  
02/02/24  Seminario  14:30  15:30  1201 Dal Passo  "Zastava Spaces via nondegenerate maps"
Let k be a field, G be a reductive group over k, B be a Borel subgroup of G and C be a smooth curve over k. The Borbit stratification of the flag variety G/B induces a natural stratifycation on the moduli space of maps from C to G/B . The open stratum is strictly related to the socalled Zastava spaces.
In this talk, we give an overview of the main properties of these spaces. If time permits, we also present some consequences on the moduli space of Gbundles.  
30/01/24  Seminario  16:00  17:00  1201 Dal Passo  Daniele Castorina  Università di Napoli Federico II  Mean field sparse optimal control of systems with additive white noise
We analyze the problem of controlling a multiagent system with additive white noise through parsimonious interventions on a selected subset of the agents (leaders). For such a controlled system with a SDE constraint, we introduce a rigorous limit process towards an infinite dimensional optimal control problem constrained by the coupling of a system of ODE for the leaders with a McKeanVlasovtype SDE, governing the dynamics of the prototypical follower. The latter is, under some assumptions on the distribution of the initial data, equivalent with a (nonlinear parabolic) PDEODE system. The derivation of the limit meanfield optimal control problem is achieved by linking the meanfield limit of the governing equations together with the Gammalimit of the cost functionals for the finite dimensional problems.
Joint work with Giacomo Ascione (SSM Napoli) and Francesco Solombrino (Napoli Federico II).
NB:This talk is part of the activity of the MIUR Excellence Department Project MATH@TOV CUP E83C23000330006 
30/01/24  Seminario  14:30  16:00  1101 D'Antoni  Luca Battistella  Università di Bologna  Hyperelliptic curves and differentials
Strata of differentials have been studied from several perspectives, from dynamics to geometry and topology.
Algebraic geometers need compactifications. One, which is a posteriori logarithmic, was introduced by BainbridgeChenGendronGrushevskyMöller in terms of multiscale (collections of) differentials (on reducible nodal curves). This natural compactification is unfortunately not irreducible, but they were able to single out the main component in terms of a condition on global residues; their proof rests on transcendental methods. I will mention a conjecturally equivalent condition which is purely algebraic. In joint work with Sebastian Bozlee, we give a proof of concept of this conjecture in the case of hyperelliptic differentials. The technical core of our work is a flexible tool for constructing hyperelliptic Gorenstein contractions of reducible nodal curves, given a hyperelliptic tropical differential, i.e. a suitable piecewiselinear function, on the dual graph.

26/01/24  Colloquium  14:30  15:30  1201 Dal Passo  Kevin Buzzard  Imperial College London  Formalising modern research mathematics
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.
Computerverified proofs: 48 hours in Rome

25/01/24  Seminario  14:30  15:30  1201 Dal Passo  Gihan Marasingha  University of Exeter  The benefits and challenges of teaching proof with Lean
This presentation will explore the pivotal role of the Lean in enhancing firstyear undergraduates' understanding of mathematical proofs. I will share insights from my experiences and initial educational research on teaching a large firstyear 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.
Computerverified proofs: 48 hours in Rome

25/01/24  Seminario  12:00  13:00  1201 Dal Passo  Floris van Doorn  University of Bonn  The internals of Lean
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.
Computerverified proofs: 48 hours in Rome

24/01/24  Seminario  15:30  16:30  1201 Dal Passo  Filippo A. E. Nuccio Mortarino Majno di Capriglio  Université Jean Monnet SaintÉtienne  How to enjoy a mathematical discussion with your laptop
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 wellknown proofs trying to understand the feedback provided by the computer and will try to share the fun involved in the process.
Computerverified proofs: 48 hours in Rome

23/01/24  Seminario  14:30  16:00  1101 D'Antoni  Michele Pernice  KTH (Stockholm)  A stacky Castelnuovo's contraction theorem
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 npointed stable curves of genus 1 is a weighted blowup.
This is a joint work with Arena, Di Lorenzo, Inchiostro, Mathur, Obinna.

23/01/24  Seminario  14:00  15:00  1201 Dal Passo  Marco Lenci  University of Bologna  Internalwave billiards in trapezoids and similar tables
We call internalwave 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 internalwave billiards), whereas the sets for (2) and (3) are nonempty but have measure zero.
Joint work with C. Bonanno and G. Cristadoro.

<< 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 >>