Global quantum geometric Langlands at irrational level
A direct-sum counterexample to the absolute pairing, a faulty global scalar identification, and incorrect cross-references.
Paper Referee
This collection presents referee reports generated by OSVerify. All of them are further verified by human experts.
Across 11 papers, OSVerify has found 5 Major and 13 Minor issues.
A power saving for planar unit distances
Genericity over a coefficient field can be lost after adjoining another grid point.
An L³ bound for the trilinear Hilbert transform
A missing endpoint hypothesis, an omitted predictor term, and a mismatch in the first-failing-role convention.
Cap-selected amplitudes and triangle chords for honeycomb walks
An intermediate strict inequality becomes an equality in the stated parameter range.
Cylinder loop weights and planar nesting
An endpoint estimate is applied globally without its bounded bulk contribution.
Renewal and changes of law for critical honeycomb walks
The signed-cylinder citation gives the wrong proposition numbers.
Every Four-Dimensional Kakeya Set Has Full Hausdorff Dimension
An incorrect lemma locator and a reversed description of a coordinate-map Jacobian.
Purely cosmetic surgery on knots in the three-sphere
A parameter-count misstatement, a boundary-flux sign error, and an overcount in an index equality.
Exact Birch–Swinnerton-Dyer formula from low Selmer corank
Eight citations to the companion paper on the Selmer converse point to the wrong equation or lemma numbers.
The strong hyperkähler SYZ conjecture
The introduction describes a cited finiteness result as boundedness, which the cited paper says does not hold.
A counterexample to the nearby Lagrangian conjecture
The Porcelli–Smith citation in the introduction gives the wrong theorem number.