September 2026

  1. hexagon:2609.00001v1
  2. hexagon:2609.00102v1

    Inclusions between p-bounded crystalline loci in dimension two

    Kalyani Kansal, Brandon Levin, David Savitt

  3. hexagon:2609.00104v1

    Derived invariance of the signature and Hodge numbers of fourfolds

    Benjamin Antieau, Andrei Căldăraru, Ruoxi Li, Akhil Mathew, Joshua Mundinger, Noah Olander, Martin Olsson

  4. hexagon:2609.00105v1
  5. hexagon:2609.00110v1
  6. hexagon:2609.00111v1
  7. hexagon:2609.00112v1
  8. hexagon:2609.00114v5
  9. hexagon:2609.00116v1
  10. hexagon:2609.00117v1
  11. hexagon:2609.00118v1
  12. hexagon:2609.00119v1
  13. hexagon:2609.00121v1
  14. hexagon:2609.00122v1
  15. hexagon:2609.00123v1
  16. hexagon:2609.00124v3
  17. hexagon:2609.00126v1
  18. hexagon:2609.00128v1
  19. hexagon:2609.00130v1
  20. hexagon:2609.00132v1
  21. hexagon:2609.00133v1
  22. hexagon:2609.00134v1
  23. hexagon:2609.00135v1
  24. hexagon:2609.00137v1
  25. hexagon:2609.00138v1
  26. hexagon:2609.00140v1
  27. hexagon:2609.00141v1
  28. hexagon:2609.00142v1
  29. hexagon:2609.00143v2
  30. hexagon:2609.00144v1
  31. hexagon:2609.00145v2
  32. hexagon:2609.00146v1
  33. hexagon:2609.00147v1
  34. hexagon:2609.00148v1

    A Lean Formalization of Finite Zero Sum Minimax via Sion's Theorem

    Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

  35. hexagon:2609.00149v1

    Deferred Acceptance in Lean for Finite Strict Preference Markets

    Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

  36. hexagon:2609.00150v1

    Finite VCG and Groves Payments in Lean

    Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

  37. hexagon:2609.00151v1

    A Lean Formalization of Roberts Theorem on Unrestricted Valuations

    Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz

  38. hexagon:2609.00152v1

    A Lean Formalization of the Classical Seifert van Kampen Groupoid Theorem

    Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz