CHANGE seminar
CHallenges in ANalysis and GEometry
Welcome to our group seminar website! The seminar will be held in Aula Seminari, Povo 0.
| Monday | 20.01.2025 | ||
| 10:00 | Luciano Luzzi | Introduction to the Horowitz-Myers conjecture | [1] |
| 11:00 | David Wiygul | Choe's reflection principle for free boundary minimal surfaces in the ball and the uniqueness of the critical catenoid | [3] |
| Friday | 31.01.2025 | ||
| 10:00 | Mario Schulz | Morse–Radó theory for minimal surfaces | [4] |
| 11:00 | Paul Sweeney | Positive Mean Curvature Constructions: Handle Attaching and Frizzing | [5, 6] |
| Tuesday | 04.02.2025 | ||
| 10:00 | Luciano Luzzi | Introduction to the Horowitz-Myers conjecture (continued) | [1] |
| 11:00 | David Wiygul | Choe's reflection principle for free boundary minimal surfaces in the ball and the uniqueness of the critical catenoid (continued) | [3] |
| Tuesday | 11.02.2025 | ||
| 10:00 – 12:00 |
Pietro Monticone | An Invitation to Blueprint-Driven Formalisation of Mathematical Research in Lean | [7, 8, 9, 10] |
| Tuesday | 18.02.2025 | ||
| 10:00 – 12:00 |
Gianmarco Caldini | On the smooth approximation of integral cycles | [11] |
| Tuesday | 25.02.2025 | ||
| 10:00 | Mario Schulz | Boundary graphs and Heegaard splittings | [13, 14, 15] |
| 11:00 | Paul Sweeney | Positive Mean Curvature Constructions (continued) | [5, 6] |
| Tuesday | 04.03.2025 | ||
| 10:00 – 12:00 |
Gianmarco Caldini | On the smooth approximation of integral cycles (continued) | [11] |
| Tuesday | 11.03.2025 | ||
| 10:00 – 12:00 |
Luciano Luzzi | Introduction to the Horowitz-Myers conjecture (continued) | [1] |
| Tuesday | 18.03.2025 | ||
| 10:00 – 12:00 |
Paul Sweeney | Positive Scalar Curvature and Topology of 4-manifolds | [16] |
| Tuesday | 01.04.2025 | ||
| 10:00 – 12:00 |
Paul Sweeney | Positive Scalar Curvature and Topology of 4-manifolds (continued) | [16] |
| Tuesday | 08.04.2025 | ||
| 10:00 – 12:00 |
Luciano Luzzi | Fill-Ins and The Positive Mass Theorem | [17] |
| Tuesday | 15.04.2025 | ||
| 10:00 – 12:00 |
Virginia Agostiniani | Gradient estimates for scalar curvature | [12] |
| Tuesday | 29.04.2025 | ||
| 10:00 – 12:00 |
Luciano Luzzi | Total Mean Curvature, Scalar Curvature, and a Variational Analog of Brown–York Mass | [18] |
| Tuesday | 20.05.2025 | ||
| 10:00 – 12:00 |
(tba) | (tba) | |
| Tuesday | 27.05.2025 | ||
| 10:00 – 12:00 |
Paul Sweeney | Stable minimal hypersurfaces with simple topology in certain compact 4-manifolds with boundary | [19] |
References
- S. Brendle, P. K. Hung, Systolic inequalities and the Horowitz-Myers conjecture. Preprint (arXiv:2406.04283).
- S. Montiel and A. Ros, Schrödinger operators associated to a holomorphic map. Global Differential Geometry and Global Analysis (1991).
- J. Choe, Free boundary minimal surfaces and the reflection principle. Preprint (arXiv:2501.02700).
- D. Hoffman, F. MartÃn, B. White, Morse–Radó theory for minimal surfaces. Journal of the London Mathematical Society, Vol. 108, No. 4 (2023).
- H. B. Lawson, M.-L. Michelsohn, Embedding and surrounding with positive mean curvature. Inventiones mathematicae 77, 399–419 (1984).
- H. B. Lawson, M.-L. Michelsohn, Approximation by positive mean curvature immersions: frizzing. Inventiones mathematicae 77, 421–426 (1984).
- J.Avigad, Mathematics and the Formal Turn. Bulletin of the American Mathematical Society, Vol. 61, 225-240 (2024).
- J. Avigad, J. Commelin, H. Macbeth, A. Topaz, Anatomy of a Formal Proof. Bulletin of the American Mathematical Society, Vol. 72, 188-195 (2025).
- F. van Doorn, P. Massot, O. Nash, Formalising the h-Principle and Sphere Eversion. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (2023).
- P. Monticone, LeanProject: A Template for Blueprint-Driven Formalisation Projects in Lean. GitHub Repository (2024).
- F. Almgren, W. Browder, G. Caldini and C. De Lellis, Optimal smooth approximation of integral cycles. Preprint (arXiv:2411.17678).
- T. Colding, W. Minicozzi, Gradient estimates for scalar curvature. Preprint (arXiv:2501.17947).
- S. Chu, G. Franz, Unknottedness of free boundary minimal surfaces and self-shrinkers. Preprint (arXiv:2412.16785).
- C. Frohman, Heegaard splittings of the three-ball. Topology '90 (Columbus, OH, 1990).
- J. Choe, A. Fraser, Mean curvature in manifolds with Ricci curvature bounded from below. Commentarii Mathematici Helvetici 93 (2018).
- O. Chodosh, D. Maximo, A. Mukherjee, Complete Riemannian 4-manifolds with uniformly positive scalar curvature. Preprint (arXiv:2407.05574).
- Y. Wang, Fill-Ins of Tori with Scalar Curvature Bounded from Below. Preprint (arXiv:2411.14667).
- C. Mantoulidis, P. Miao, Total Mean Curvature, Scalar Curvature, and a Variational Analog of Brown–York Mass. Commun. Math. Phys. 352, 703–718 (2017).
- C Li, B. Zhang, On the topology of stable minimal hypersurfaces in a homeomorphic S4. Preprint (arXiv:2503.19313).