September 2026
- hexagon:2609.00001v1
- hexagon:2609.00102v1
Inclusions between p-bounded crystalline loci in dimension two
Kalyani Kansal, Brandon Levin, David Savitt
- 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
- hexagon:2609.00105v1
- hexagon:2609.00110v1
Frobenius orbit maps and rank-four group schemes
Akhil Mathew
- hexagon:2609.00111v1
Torsion in and -adic vanishing cycles
Akhil Mathew
- hexagon:2609.00112v1
Swan induction for the finite-local sphere
Akhil Mathew
- hexagon:2609.00114v5
- hexagon:2609.00116v1
- hexagon:2609.00117v1
- hexagon:2609.00118v1
- hexagon:2609.00119v1
Hilbert-type inequality with primes
Kannan Soundararajan
- hexagon:2609.00121v1
Polynomials over Symmetric Polynomials
Darij Grinberg
- hexagon:2609.00122v1
- hexagon:2609.00123v1
- hexagon:2609.00124v3
- hexagon:2609.00126v1
Pauli problem in dimension 4
Dmitry Grinko
- hexagon:2609.00128v1
On properties of Plancherel algebras
Shurui Liu
- hexagon:2609.00130v1
Primitive Integer Solutions of x^4 + 4y^3 + z^3 = 0
Avraham Eisenberg
- hexagon:2609.00132v1
Primitive Integer Solutions of x^4 + 3y^3 + 2z^3 = 0
Avraham Eisenberg
- hexagon:2609.00133v1
- hexagon:2609.00134v1
- hexagon:2609.00135v1
- hexagon:2609.00137v1
On a non-basis of the coinvariant algebra
Darij Grinberg
- hexagon:2609.00138v1
Signed seeds and G-gradings on cluster algebras
Lauren Williams, Alan Yan
- hexagon:2609.00140v1
- hexagon:2609.00141v1
- hexagon:2609.00142v1
Collapsibility of Alexander duals for shade maps
Darij Grinberg
- hexagon:2609.00143v2
- hexagon:2609.00144v1
- hexagon:2609.00145v2
- hexagon:2609.00146v1
- hexagon:2609.00147v1
Signed Mukai diagonals and derived equivalences of fivefolds
Benjamin Antieau
- 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
- hexagon:2609.00149v1
Deferred Acceptance in Lean for Finite Strict Preference Markets
Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz
- hexagon:2609.00150v1
Finite VCG and Groves Payments in Lean
Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz
- hexagon:2609.00151v1
A Lean Formalization of Roberts Theorem on Unrestricted Valuations
Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz
- hexagon:2609.00152v1
A Lean Formalization of the Classical Seifert van Kampen Groupoid Theorem
Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz