Morten Lüders proves the Gersten conjecture for p-adic étale Tate twists of smooth mixed-characteristic schemes in the Nisnevich topology and extends the associated cycle-class-map framework.
Featured Problems
Francesco Scardino gives exact counterexamples to the unrestricted positivity conjecture and proves eventual positivity under a spectral-minimality condition.
Fei Xue proves Malikiosis’s discrete monotonicity property for every compact convex set when the relevant lattice subgroup has rank at most two.
Keith McNulty proves Haiman’s q=1 positivity statement for monomial immanants of every hook shape.
Run-Qiang Jian and Zhuhong Zhang prove the conjectured curvature inequalities for classical Kähler C-spaces.
Goldbach's conjecture
Conjecture (strong, or binary, Goldbach conjecture). Every even integer is the sum of two primes: …
Poincaré conjecture
Poincaré conjecture. Every such is homeomorphic to the three-sphere …
Navier–Stokes existence and smoothness
Whole space. The data decay rapidly: for all multi-indices , all and all , … A solution is admissible if and t…
Erdős Problem #690 — Let be the density of those integers whose th smallest prime factor is (i.
Let be the density of those integers whose th smallest prime factor is (i.e. if are the primes dividing then ). For fixed is…
General-coefficient C*-algebraic Bieberbach bounds
Let be a unital C-algebra. Suppose the normalized power series … converges in the norm of and is injective on the norm-open unit ball . Must … Does the asser…
From Ricci Flow to a Checked Proof: The Poincaré conjecture, the Hamilton–Perelman proof and its Lean formalization, explained (JSP-000007)
How a Forced Navier–Stokes Flow Blows Up: A guided exposition of OpenAI's finite-time blowup construction (JSP-000005)
Computational imaging: foundation, reality, and prospect
A two-term counterexample to Bessel–Fourier kernel positivity
An injective C*-power series violating the Bieberbach coefficient bound