Dit document beschrijft de statuswijzigingen van diverse wetenschappelijke manuscripten op 7 oktober 2026:
- Intrekkingen: Drie papers over onderwerpen als Weil-klassen en de rationele Hodge-vermoeden zijn ingetrokken vanwege een tekenfout die bewijzen ongeldig maakte.
- Correcties: Veertien manuscripten zijn herzien ter reparatie van bewijzen en verduidelijking van hypothesen (onder andere over Lipschitz-hoogtes en Kähler minimal model programs). Tevens zijn dertien andere papers bijgewerkt om naar deze herziene edities te verwijzen.
- Formalisaties: Er zijn zes nieuwe formalisaties en vijf toevoegingen gedaan, waardoor het totale percentage geformaliseerde hoofdresultaten is gestegen naar circa 42% (300 van de 719).
Historie van de publicaties
7 oktober 2026
Intrekkingen
In “Algebraicity of Weil classes on split abelian eightfolds” zorgt een tekenfout ervoor dat een stabilisatie-spoor-annuleringsargument en de constructie die door twee afhankelijke papers wordt gebruikt, ongeldig zijn. Als gevolg hiervan hebben we de volgende drie manuscripten ingetrokken:
- Algebraicity of Weil classes on split abelian eightfolds
- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
- The rational Hodge conjecture for products of K3 surfaces
De ingetrokken papers bevatten nu mededelingen waarin het hiaat wordt uitgelegd en waarin wordt gelinkt naar de gearchiveerde manuscripten.
Correcties
We hebben 14 andere manuscripten herzien met bewijsreparaties, gecorrigeerde stellingen, duidelijkere hypothesen en afhankelijkheden, en één correctie van een verouderde citatie. De wijzigingen omvatten:
- Lipschitz heights and Ashkin–Teller currents (4 manuscripten): reparatie van argumenten met betrekking tot kruising, randbevestiging, conditionering en convergentie, inclusief aanvullend werk aan het bewijs van de reële-Lipschitz-interface.
- Kähler minimal model programs and abundance (6 manuscripten): uitgebreide positiviteits- en contractieargumenten en verduidelijking van welke resultaten als input worden gebruikt, inclusief de vereiste hypothesen.
- Taming and hypersymplectic deformation (2 manuscripten): correctie van de bewering over kegelgelijkheid in Taming implies compatibility, toevoeging van een voorbeeld van strikte inclusie, en verwijdering van een onnodige afhankelijkheid van kegelvergelijking in het hypersymplectische paper.
- Incompressible Box Transport and Finite Computation: herziening van de torusprojectie- en gemeenschappelijke-klokschattingen.
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank: verwijdering van een verouderde inleidende citatie naar een verwijderd ondersteunend manuscript.
Daarnaast hebben we, als gevolg van deze correcties, 13 aanvullende manuscripten bijgewerkt om te verwijzen naar de herziene edities van begeleidende papers. Deze wijzigingen actualiseren de referenties en versiedata.
Extra formalisaties
We hebben 6 extra formalisaties en 5 andere toevoegingen toegevoegd die ondersteunende resultaten behandelen. Hiermee komt het totale percentage geformaliseerde hoofdresultaten op 300 / 719 = ~42%.
Historie van de publicaties
7 oktober 2026
Intrekkingen
In “Algebraicity of Weil classes on split abelian eightfolds” zorgt een tekenfout ervoor dat een stabilisatie-spoor-annuleringsargument en de constructie die door twee afhankelijke papers wordt gebruikt, ongeldig zijn. Als gevolg hiervan hebben we de volgende drie manuscripten ingetrokken:
- Algebraicity of Weil classes on split abelian eightfolds
- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
- The rational Hodge conjecture for products of K3 surfaces
De ingetrokken papers bevatten nu mededelingen waarin het hiaat wordt uitgelegd en waarin wordt gelinkt naar de gearchiveerde manuscripten.
Correcties
We hebben 14 andere manuscripten herzien met bewijsreparaties, gecorrigeerde stellingen, duidelijkere hypothesen en afhankelijkheden, en één correctie van een verouderde citatie. De wijzigingen omvatten:
- Lipschitz heights and Ashkin–Teller currents (4 manuscripten): reparatie van argumenten met betrekking tot kruising, randbevestiging, conditionering en convergentie, inclusief aanvullend werk aan het bewijs van de reële-Lipschitz-interface.
- Kähler minimal model programs and abundance (6 manuscripten): uitgebreide positiviteits- en contractieargumenten en verduidelijking van welke resultaten als input worden gebruikt, inclusief de vereiste hypothesen.
- Taming and hypersymplectic deformation (2 manuscripten): correctie van de bewering over kegelgelijkheid in Taming implies compatibility, toevoeging van een voorbeeld van strikte inclusie, en verwijdering van een onnodige afhankelijkheid van kegelvergelijking in het hypersymplectische paper.
- Incompressible Box Transport and Finite Computation: herziening van de torusprojectie- en gemeenschappelijke-klokschattingen.
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank: verwijdering van een verouderde inleidende citatie naar een verwijderd ondersteunend manuscript.
Daarnaast hebben we, als gevolg van deze correcties, 13 aanvullende manuscripten bijgewerkt om te verwijzen naar de herziene edities van begeleidende papers. Deze wijzigingen actualiseren de referenties en versiedata.
Extra formalisaties
We hebben 6 extra formalisaties en 5 andere toevoegingen toegevoegd die ondersteunende resultaten behandelen. Hiermee komt het totale percentage geformaliseerde hoofdresultaten op 300 / 719 = ~42%.
Groetjes,