VaNTAGe
VaNTAGe
  • 91
  • 39 637
Padma Srinivasan, Algorithms for certifying nontriviality of Ceresa cycles
VaNTAGe Seminar, September 10, 2024
License CC-BY-NC-SA
มุมมอง: 54

วีดีโอ

Ari Shnidman, Vanishing criteria for Ceresa classes and examples1:04:05Ari Shnidman, Vanishing criteria for Ceresa classes and examples
Ari Shnidman, Vanishing criteria for Ceresa classes and examples
มุมมอง 6814 วันที่ผ่านมา
VaNTAGe Seminar, August 27, 2024 License: CC-BY-NC-SA Links to some of the papers mentioned in the talks: Qiu-Zhang: arxiv.org/pdf/2209.09736 Bisogno-Li-Litt-Srinivasan: arxiv.org/abs/2004.06146 Beauville: arxiv.org/abs/2105.07160 Lilienfeldt-Shnidman: arxiv.org/abs/2112.00520 Laterveer: arxiv.org/abs/2211.15291 Laga-Shnidman: arxiv.org/abs/2312.12965
Alex Kontorovich, Polymath-type projects in the age of formalized mathematics1:07:00Alex Kontorovich, Polymath-type projects in the age of formalized mathematics
Alex Kontorovich, Polymath-type projects in the age of formalized mathematics
มุมมอง 6053 หลายเดือนก่อน
VaNTAGe Seminar, May 7, 2024 License: CC-BY-NC-SA PNT GitHub repo: github.com/AlexKontorovich/PrimeNumberTheoremAnd
Kevin Buzzard, On the ingredients for Fermat56:42Kevin Buzzard, On the ingredients for Fermat
Kevin Buzzard, On the ingredients for Fermat
มุมมอง 1.3K4 หลายเดือนก่อน
VaNTAGe Seminar, April 30, 2024 License: CC-BY-NC-SA Link to Lean/FLT GitHub repo: github.com/ImperialCollegeLondon/FLT
Michael Stoll, How to translate a proof into Lean1:00:20Michael Stoll, How to translate a proof into Lean
Michael Stoll, How to translate a proof into Lean
มุมมอง 3904 หลายเดือนก่อน
VaNTAGe Seminar, April 23, 2024 License: CC-BY-NC-SA
María Inés de Frutos-Fernández, Local Fields in Lean48:18María Inés de Frutos-Fernández, Local Fields in Lean
María Inés de Frutos-Fernández, Local Fields in Lean
มุมมอง 2684 หลายเดือนก่อน
VaNTAGe Seminar, April 16, 2024 License: CC-BY-NC-SA
Alex Best, Formalization and arithmetic geometry: Past, present, and future.1:09:56Alex Best, Formalization and arithmetic geometry: Past, present, and future.
Alex Best, Formalization and arithmetic geometry: Past, present, and future.
มุมมอง 4265 หลายเดือนก่อน
VaNTAGe Seminar, April 9, 2024 License: CC-BY-NC-SA Links to some of the papers and projects mentioned in this talk: Gowers-Green-Manners-Tao (2023): arxiv.org/abs/2311.05762 Lean repository for the PFR project: teorth.github.io/pfr/ Tao blog post on PFR: terrytao.wordpress.com/2023/11/13/on-a-conjecture-of-marton/ Mathlib: leanprover-community.github.io/ Best,Birkbeck,Brasca,Rodriguez Boidi (2...
Sara Checcoli, On fields with finitely many points of bounded height: around property (N)52:51Sara Checcoli, On fields with finitely many points of bounded height: around property (N)
Sara Checcoli, On fields with finitely many points of bounded height: around property (N)
มุมมอง 1116 หลายเดือนก่อน
VaNTAGe Seminar, February 27, 2024 License: CC-BY-NC-SA Links to papers mentioned in the talk: Northcott (1949): doi.org/10.1017/S0305004100025202 Lehmer (1933): www.jstor.org/stable/1968172 Smyth (1971): londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms/3.2.169 Amoroso-David (1999): amoroso.users.lmno.cnrs.fr/files-heightGmn/Crelle.pdf Amoroso-Masser (2016): hal.science/hal-01311299/documen...
Ziyang Gao, Sparsity of rational points on curves: What is known and what is expected1:01:33Ziyang Gao, Sparsity of rational points on curves: What is known and what is expected
Ziyang Gao, Sparsity of rational points on curves: What is known and what is expected
มุมมอง 2406 หลายเดือนก่อน
VaNTAGe Seminar, February 20, 2024 License: CC-BY-NC-SA
Philipp Habegger, Conjectures on unlikely intersections: What is known and what is open?56:02Philipp Habegger, Conjectures on unlikely intersections: What is known and what is open?
Philipp Habegger, Conjectures on unlikely intersections: What is known and what is open?
มุมมอง 1546 หลายเดือนก่อน
VaNTAGe Seminar, February 6, 2024 License: CC-BY-NC-SA Links to some of the papers mentioned in the talk: Bombieri-Masser-Zannier (1999): doi.org/10.1155/S1073792899000628 Zilber (2002): dx.doi.org/10.1112/S0024610701002861 Pink (2005): doi.org/10.1007/0-8176-4417-2_11 Faltings (1983): link.springer.com/article/10.1007/BF01388432 Maurin (2008): link.springer.com/article/10.1007/s00208-008-0212-...
Hector Pasten, A criterion for algebraic degeneracy of integral points59:01Hector Pasten, A criterion for algebraic degeneracy of integral points
Hector Pasten, A criterion for algebraic degeneracy of integral points
มุมมอง 1K6 หลายเดือนก่อน
VaNTAGe Seminar, January 23, 2024 License: CC-BY-NC-SA Links to some of the papers mentioned in the talk: Levin 2009: annals.math.princeton.edu/wp-content/uploads/annals-v170-n2-p04-p.pdf Garcia-Fritz, Pasten 2023: arxiv.org/abs/2311.17701 McKinnon, Roth 2015: arxiv.org/abs/1306.2976
Noemie Combe, Grothendieck-Teichmuller avatars and the absolute Galois group1:01:06Noemie Combe, Grothendieck-Teichmuller avatars and the absolute Galois group
Noemie Combe, Grothendieck-Teichmuller avatars and the absolute Galois group
มุมมอง 6398 หลายเดือนก่อน
VaNTAGe Seminar, December 19, 2023 License: CC-BY-NC-SA
Andrew Obus, Abhyankar's conjectures and fundamental groups1:05:10Andrew Obus, Abhyankar's conjectures and fundamental groups
Andrew Obus, Abhyankar's conjectures and fundamental groups
มุมมอง 1329 หลายเดือนก่อน
VaNTAGe Seminar, December 12, 2023 License: CC-BY-NC-SA Links to some of the papers mentioned in this talk: Abhyankar 1992: arxiv.org/abs/math/9207210 Abhyankar 2001: www.ams.org/journals/bull/2001-38-02/S0273-0979-00-00892-2/ Harbater-Obus-Pries-Stevenson: arxiv.org/abs/1408.0859
Daniel Litt, Galois theory of local systems59:48Daniel Litt, Galois theory of local systems
Daniel Litt, Galois theory of local systems
มุมมอง 3769 หลายเดือนก่อน
VaNTAGe Seminar, December 5, 2023 License: CC-BY-NC-SA Links to some of the papers mentioned in the talk: Lisovyy-Tykhyy: arxiv.org/abs/0809.4873 Esnault-Kerz:arxiv.org/abs/2005.12819 Budur-Wang: arxiv.org/abs/1702.06267 Landesman-Litt: arxiv.org/abs/2202.00039 Lam-Landesman-Litt: arxiv.org/abs/2308.01376
Jesse Wolfson, Perspectives on Hilbert's 13th problem50:25Jesse Wolfson, Perspectives on Hilbert's 13th problem
Jesse Wolfson, Perspectives on Hilbert's 13th problem
มุมมอง 4239 หลายเดือนก่อน
VaNTAGe Seminar, November 7, 2023 License: CC-BY-NC-SA A corrected version of the slides is available at math.mit.edu/~drew/vantage/WolfsonSlides.pdf Links to some of the papers listed in the talk appear below: Farb, Kisin, Wolfson (2019), arxiv.org/abs/1912.12536 Farb, Kisin, Wolfson (2021): arxiv.org/abs/1901.09013 Farb, Kisin, Wolfson (2023): arxiv.org/abs/2110.05534 Farb, Wolfson: arxiv.org...
Sam Schiavone, In search of 17T7: Explicit realizations of Galois groups40:11Sam Schiavone, In search of 17T7: Explicit realizations of Galois groups
Sam Schiavone, In search of 17T7: Explicit realizations of Galois groups
มุมมอง 1939 หลายเดือนก่อน
Sam Schiavone, In search of 17T7: Explicit realizations of Galois groups
Abhishek Oswal, Lifts of supersingular and almost ordinary abelian varieties1:01:11Abhishek Oswal, Lifts of supersingular and almost ordinary abelian varieties
Abhishek Oswal, Lifts of supersingular and almost ordinary abelian varieties
มุมมอง 10810 หลายเดือนก่อน
Abhishek Oswal, Lifts of supersingular and almost ordinary abelian varieties
Sug Woo Shin, The Langlands-Rapoport conjecture and related topics59:41Sug Woo Shin, The Langlands-Rapoport conjecture and related topics
Sug Woo Shin, The Langlands-Rapoport conjecture and related topics
มุมมอง 23410 หลายเดือนก่อน
Sug Woo Shin, The Langlands-Rapoport conjecture and related topics
Damien Robert, Applications of isogenies between abelian varieties to elliptic curves cryptosystems.1:07:42Damien Robert, Applications of isogenies between abelian varieties to elliptic curves cryptosystems.
Damien Robert, Applications of isogenies between abelian varieties to elliptic curves cryptosystems.
มุมมอง 13110 หลายเดือนก่อน
Damien Robert, Applications of isogenies between abelian varieties to elliptic curves cryptosystems.
Chloe Martindale, Torsion-point attacks on the SIDH key exchange protocol52:45Chloe Martindale, Torsion-point attacks on the SIDH key exchange protocol
Chloe Martindale, Torsion-point attacks on the SIDH key exchange protocol
มุมมอง 10110 หลายเดือนก่อน
Chloe Martindale, Torsion-point attacks on the SIDH key exchange protocol
Jen Paulhus, Automorphism groups of compact Riemann surfaces59:40Jen Paulhus, Automorphism groups of compact Riemann surfaces
Jen Paulhus, Automorphism groups of compact Riemann surfaces
มุมมอง 20010 หลายเดือนก่อน
Jen Paulhus, Automorphism groups of compact Riemann surfaces
Lior Bary-Soroker, On the discriminant of random polynomials54:06Lior Bary-Soroker, On the discriminant of random polynomials
Lior Bary-Soroker, On the discriminant of random polynomials
มุมมอง 16910 หลายเดือนก่อน
Lior Bary-Soroker, On the discriminant of random polynomials
David Harbater, An overview of the inverse Galois problem51:28David Harbater, An overview of the inverse Galois problem
David Harbater, An overview of the inverse Galois problem
มุมมอง 54810 หลายเดือนก่อน
David Harbater, An overview of the inverse Galois problem
Maria Fox, Supersingular loci of some unitary Shimura varieties58:20Maria Fox, Supersingular loci of some unitary Shimura varieties
Maria Fox, Supersingular loci of some unitary Shimura varieties
มุมมอง 186ปีที่แล้ว
Maria Fox, Supersingular loci of some unitary Shimura varieties
Elena Mantovan, Density of primes of ordinary reduction for abelian varieties with simple signature53:11Elena Mantovan, Density of primes of ordinary reduction for abelian varieties with simple signature
Elena Mantovan, Density of primes of ordinary reduction for abelian varieties with simple signature
มุมมอง 209ปีที่แล้ว
Elena Mantovan, Density of primes of ordinary reduction for abelian varieties with simple signature
Bryden Cais, Iwasawa theory for class group schemes in characteristic p55:42Bryden Cais, Iwasawa theory for class group schemes in characteristic p
Bryden Cais, Iwasawa theory for class group schemes in characteristic p
มุมมอง 250ปีที่แล้ว
Bryden Cais, Iwasawa theory for class group schemes in characteristic p
Luca De Feo, Proving knowledge of isogenies, quaternions and signatures1:08:13Luca De Feo, Proving knowledge of isogenies, quaternions and signatures
Luca De Feo, Proving knowledge of isogenies, quaternions and signatures
มุมมอง 216ปีที่แล้ว
Luca De Feo, Proving knowledge of isogenies, quaternions and signatures
Wouter Castryck, An efficient key recovery attack on supersingular isogeny Diffie-Hellman1:07:32Wouter Castryck, An efficient key recovery attack on supersingular isogeny Diffie-Hellman
Wouter Castryck, An efficient key recovery attack on supersingular isogeny Diffie-Hellman
มุมมอง 933ปีที่แล้ว
Wouter Castryck, An efficient key recovery attack on supersingular isogeny Diffie-Hellman
Benjamin Smith, Isogenies in genus 2 for cryptographic applications1:02:03Benjamin Smith, Isogenies in genus 2 for cryptographic applications
Benjamin Smith, Isogenies in genus 2 for cryptographic applications
มุมมอง 202ปีที่แล้ว
Benjamin Smith, Isogenies in genus 2 for cryptographic applications
Steven Galbraith, Isogeny graphs, computational problems, and applications to cryptography1:02:44Steven Galbraith, Isogeny graphs, computational problems, and applications to cryptography
Steven Galbraith, Isogeny graphs, computational problems, and applications to cryptography
มุมมอง 319ปีที่แล้ว
Steven Galbraith, Isogeny graphs, computational problems, and applications to cryptography

ความคิดเห็น

  • @damiansiniakowicz1294
    @damiansiniakowicz1294 2 หลายเดือนก่อน

  • @clickaccept
    @clickaccept 3 หลายเดือนก่อน

    You want to live in a world where there are only mountains and light, but the dark oceans will always be there. Your formalised mathematics cannot swim, and all questions emerge from the depths. As a precise example, consider a mathematical principle, which is diminised irreversibly if you try to place it into the straight jacket of a definition. Like duality.