Tagged openai-math
No description yet.
-
0 votes 0 replies 9 views
Paper Milne’s rationality conjecture and algebraic specialization
Proves Milne's rationality conjecture for abelian varieties over \overline{\mathbb Q} with good reduction: specialized Hodge classes pair rationally with complementary divisor products, independently of cohomology…
-
0 votes 0 replies 1 views
Paper Donaldson's hypersymplectic deformation conjecture
Proves Donaldson's hypersymplectic deformation conjecture in a cohomology-preserving form. Every positive triple of smooth closed two-forms on a closed connected oriented four-manifold, normalized by…
-
0 votes 0 replies 4 views
Paper The full BSD formula from low Selmer corank
Proves the full Birch–Swinnerton-Dyer leading-term formula for every elliptic curve over ℚ whose full q-power Selmer group has corank zero or one for some prime q, including finiteness of the Tate–Shafarevich group.…
-
0 votes 0 replies 1 views
Paper Hilbert’s tenth problem over ℚ
Proves that no algorithm decides whether an integer-coefficient polynomial in an arbitrary number of variables has a rational zero, resolving Hilbert's tenth problem over ℚ negatively. Manuscripts (2) October 6, 2026 ·…
-
0 votes 0 replies 2 views
Paper Termination of projective and Kähler fourfold minimal model programs
Proves termination of every existing generalized log canonical flip sequence on globally Weil ℚ-factorial compact Kähler fourfolds, with rational boundary, fixed rational analytically nef b-data, and projective small…
-
0 votes 0 replies 0 views
Paper Goldfeld’s conjecture: densities and mean analytic rank
Proves Goldfeld's conjecture for quadratic twists of every elliptic curve over ℚ: analytic ranks zero and one each have density 1/2, and the mean analytic rank tends to 1/2. Both statements order signed squarefree twist…
-
0 votes 0 replies 1 views
Paper The local p-adic section conjecture and global consequences
Proves that rational points on every smooth proper geometrically connected curve of genus at least two over a finite extension of ℚp correspond bijectively to conjugacy classes of sections of its full arithmetic étale…
-
0 votes 0 replies 1 views
Paper A counterexample to Wall's finite D(2) problem
Constructs a finite connected three-dimensional CW complex whose universal cover has no integral homology above degree two and whose third cohomology vanishes for every local coefficient module, but which has no finite…
-
0 votes 0 replies 1 views
Paper Unrestricted pro-modularity at the prime two
Every continuous odd absolutely irreducible two-dimensional 2-adic representation of G{\mathbb Q} unramified outside finitely many primes occurs in a completed Hecke algebra at some odd tame level. Also proves…
-
0 votes 0 replies 0 views
Paper Donaldson's tamed-to-compatible conjecture
Proves Donaldson's tamed-to-compatible conjecture: every smooth almost complex structure on a closed four-manifold that is tamed by a symplectic form admits a compatible symplectic form. The almost complex structure…
-
0 votes 0 replies 1 views
Paper Universal computation in forced Navier–Stokes flows
Constructs viscous incompressible flows starting from rest on a fixed flat three-dimensional domain that perform universal computation under smooth external forcing. A terminating compiler turns a Turing machine and…
-
0 votes 0 replies 0 views
Paper Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity
Using logarithmic Iitaka subadditivity, proves log abundance in every dimension for normal compact Kähler log canonical pairs with effective rational boundary: an analytically nef ℚ-Cartier adjoint is semiample. It also…
-
0 votes 0 replies 0 views
Paper The rational Hodge conjecture for CM abelian varieties
Proves the rational Hodge conjecture for every complex CM abelian variety, in every dimension and codimension. Through Milne's theorems, this also gives the Tate conjecture for all abelian varieties over finite fields…
-
0 votes 0 replies 0 views
Paper Numerical semiampleness and generalized minimal models
Proves numerical semiampleness for nef adjoints KX+B+M with KX+B pseudo-effective and M nef rational, for projective klt rational pairs over algebraically closed characteristic-zero fields and smooth compact…
-
0 votes 0 replies 0 views
Paper Gaussian fields and interfaces for triangular-lattice Lipschitz heights
Proves Gaussian free field limits on bounded smooth simply connected domains for triangular-lattice height models: uniform odd heights with increments 0,\pm2 and two-arc boundary values \pm1, and zero-boundary…
-
0 votes 0 replies 0 views
Paper The joint critical Ashkin–Teller current limit
Identifies the joint scaling limit of Ashkin–Teller heights and both complete current-cluster collections throughout the critical line, including the four-state Potts endpoint. In bounded Jordan domains with admissible…
-
0 votes 0 replies 2 views
Paper Annular variation and dyadic absolute bounds for the triangular Hilbert transform
Proves maximal and annular r-variation bounds, for every r > 2, from complex L^3(\mathbb R^2)\times L^3(\mathbb R^2) to L^{3/2}(\mathbb R^2). The maximal estimate controls both hard truncation endpoints and…
-
0 votes 0 replies 0 views
Paper Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan
Proves the restricted geometric Langlands equivalence for connected reductive groups on smooth projective connected curves over \overline{\mathbb F}q under the four stated Lie-theoretic characteristic hypotheses.…
-
0 votes 0 replies 1 views
Paper Correspondence coloring with a fixed forbidden subgraph
Proves the Alon–Krivelevich–Sudakov coloring conjecture in correspondence-coloring form: graphs avoiding any fixed subgraph F need OF(\Delta/\log\Delta) colors when their maximum degree Δ is sufficiently large. Also…
-
0 votes 0 replies 1 views
Paper The ℓ¹-Bass conjecture for all discrete groups
Proves the ℓ1-Bass conjecture for every discrete group: Hattori–Stallings traces of idempotent matrices over \ell^1(G) are supported on finitely many finite-order conjugacy classes. The algebraic companion proves…
-
0 votes 0 replies 0 views
Paper Uchida’s conjecture for open homomorphisms of Galois groups
Proves Uchida's conjecture: every continuous open homomorphism between Galois groups of possibly infinite solvably closed Galois extensions of number fields comes from a unique equivariant field embedding in the…
-
0 votes 0 replies 0 views
Paper Nagata’s conjecture and maximal Seshadri constants
Proves Nagata's strict inequality \sumi mi\lt d\sqrt r for every nonzero effective plane curve of degree d through r ≥ 10 very general complex points, with arbitrary multiplicities mi. It also proves maximal…
-
0 votes 0 replies 0 views
Paper Virasoro constraints for complete intersections and projective-bundle towers
Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also…
-
0 votes 0 replies 0 views
Paper An L^{3} bound for the trilinear Hilbert transform
Proves that the principal-value trilinear Hilbert transform with shifts x-t, x-2t, x-3t is bounded from L^3(\mathbb R)^3 to L^1(\mathbb R). This resolves the L3 exponent case of the standard…
-
0 votes 0 replies 0 views
Paper Exponential semidefinite complexity of perfect matching
Proves that every exact semidefinite lift of the perfect matching polytope has exponential size, answering Rothvoss's polynomial-size lift question negatively. The bound holds even for the positive semidefinite rank of…
-
0 votes 0 replies 0 views
Paper Quasipolynomial algorithms for mean-payoff, stochastic and parity games
Gives deterministic algorithms using 2^{O((\log(L+2))^2)} bit operations, for complete binary input length L, for ordinary mean-payoff games and two separate extensions. They compute exact values and optimal…
-
0 votes 0 replies 0 views
Paper Classwise permanence for weakly reversible mass-action systems
Proves the permanence conjecture for every finite weakly reversible mass-action system with fixed positive rate constants. Every positive stoichiometric compatibility class, even an unbounded one, has a common compact…
-
0 votes 0 replies 0 views
Paper Power savings for intersective polynomial differences and prime arguments
For every fixed intersective integer polynomial h of degree k ≥ 2 with positive leading coefficient, proves that a subset of \{1,\ldots,N\} avoiding nonzero values h(1),h(2),\ldots as differences has size…
-
0 votes 0 replies 0 views
Paper Directional zero–one laws beyond iid environments and iid ballisticity
On ℤd, d ≥ 3, directional escape has probability zero or one for iid strictly elliptic nearest-neighbor environments, and for stationary ergodic finite-range-dependent environments under uniform ellipticity. In iid…
-
0 votes 0 replies 0 views
Paper Critical and quenched near-critical universality for Poisson–Voronoi percolation
Proves Cardy's formula for annealed critical Poisson–Voronoi crossing probabilities in every bounded Jordan quadrilateral. With each model normalized by its own expected unit-square pivotal count, the conditional joint…
372 posts