https://openai-aftermath.mathnt.net/index.php?action=history&feed=atom&title=The_Deligne%E2%80%93Drinfeld_conjecture 2026-10-14T15:20:27Z Revision history for this page on the wiki MediaWiki 1.46.2 https://openai-aftermath.mathnt.net/index.php?title=The_Deligne%E2%80%93Drinfeld_conjecture&diff=54&oldid=prev 2026-10-14T06:07:24Z

<p>New pages: Thompson&#039;s group F is nonamenable (248) and The Deligne–Drinfeld conjecture (008), with public follow-ups; Main Page links</p> <p><b>New page</b></p><div>&#039;&#039;&#039;The Deligne–Drinfeld conjecture&#039;&#039;&#039; is the subject of a manuscript dated 23 September 2026 in OpenAI&#039;s public mathematics collection ([https://github.com/openai/math github.com/openai/math]). The conjecture predicts that the Grothendieck–Teichmüller Lie algebra is freely generated by one element in each odd weight 3, 5, 7, …. This Lie algebra consists of the elements of the free Lie algebra on two letters that satisfy an antisymmetry relation, a three-term relation and a pentagon relation, the infinitesimal compatibility conditions attached to Drinfeld&#039;s associators, with the Ihara bracket. This page summarizes the published claim and lists publicly available follow-up work. Statements are the respective authors&#039; claims; the publication of a paper, code or a formal proof is not presented here as independent verification.<br /> <br /> == The original result ==<br /> * &#039;&#039;&#039;Claim.&#039;&#039;&#039; There are homogeneous solutions σ&lt;sub&gt;2&#039;&#039;k&#039;&#039;+1&lt;/sub&gt; of weight 2&#039;&#039;k&#039;&#039; + 1, one for each &#039;&#039;k&#039;&#039; ≥ 1, of the antisymmetry, three-term and pentagon equations such that the free Lie algebra on generators &#039;&#039;e&#039;&#039;&lt;sub&gt;3&lt;/sub&gt;, &#039;&#039;e&#039;&#039;&lt;sub&gt;5&lt;/sub&gt;, &#039;&#039;e&#039;&#039;&lt;sub&gt;7&lt;/sub&gt;, … maps isomorphically onto the rational solution space with the Ihara bracket, and the induced map on completions by weight is an isomorphism. Source: [https://github.com/openai/math/tree/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-Deligne-Drinfeld-conjecture-September-23-2026 &#039;&#039;The Deligne–Drinfeld conjecture&#039;&#039;] (23 September 2026).<br /> * &#039;&#039;&#039;Context, as summarized in the manuscript.&#039;&#039;&#039; Freeness of a Lie subalgebra of this form was known (Brown&#039;s theorem on mixed Tate motives over &#039;&#039;&#039;Z&#039;&#039;&#039;, and Willwacher&#039;s freeness criterion); the open part was that these elements exhaust all solutions. Computations of Naef and Willwacher had established the equality through weight 29. The manuscript&#039;s main new estimate is an upper bound on the dimension of the solution space in every weight, proved through a degeneration of the pentagon equation in characteristic two.<br /> * &#039;&#039;&#039;Stated consequence.&#039;&#039;&#039; Combined with Willwacher&#039;s identification of the zeroth cohomology of Kontsevich&#039;s graph complex GC&lt;sub&gt;2&lt;/sub&gt; with the Grothendieck–Teichmüller Lie algebra, the manuscript states that &#039;&#039;H&#039;&#039;&lt;sup&gt;0&lt;/sup&gt;(GC&lt;sub&gt;2&lt;/sub&gt;) is isomorphic to the completed free Lie algebra on &#039;&#039;e&#039;&#039;&lt;sub&gt;3&lt;/sub&gt;, &#039;&#039;e&#039;&#039;&lt;sub&gt;5&lt;/sub&gt;, &#039;&#039;e&#039;&#039;&lt;sub&gt;7&lt;/sub&gt;, ….<br /> * &#039;&#039;&#039;Formalization, as described by the repository.&#039;&#039;&#039; The scope note [https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/lean/docs/008.md lean/docs/008.md] states that the Lean formalization establishes the statement for the rational solution space of antisymmetry, the three-term equation and the four-strand pentagon with the Ihara bracket, together with the continuous isomorphism after completion by weight; the regularized-transport proposition and the graph-complex consequences are not included.<br /> <br /> == Public follow-up work ==<br /> {| class=&quot;wikitable&quot;<br /> ! Date !! Work !! Relation !! Public claim !! Public status (checked 14 October 2026)<br /> |-<br /> | 2026-10-08 || [https://github.com/mathvet/mathvet MathVet] (GitHub; review of openai/math at commit &lt;code&gt;adc7f12&lt;/code&gt;, tables at repository commit &lt;code&gt;cd0063d&lt;/code&gt;, 13 October 2026) || Review (fidelity of the formal statements) || Rates this family &quot;full&quot; and records a sandboxed Comparator pass for the challenge &lt;code&gt;DeligneDrinfeld&lt;/code&gt; (8 October 2026). Its notes record that the formal statement concerns the graded solution space and that the formalization gives the Lie algebras discrete topologies, so the continuity clauses on the weight completions are essentially formal. || The review states that &quot;full&quot; means the Lean states the headline and &quot;does not say the mathematics is correct beyond what Lean checked&quot;; it describes itself as a model-assisted reading without a referee yet.<br /> |-<br /> | 2026-10-11 || T. Willwacher, &#039;&#039;The Deligne–Drinfeld conjecture after OpenAI&#039;&#039; ([https://arxiv.org/abs/2610.15592 arXiv:2610.15592], v1) || Exposition || The abstract describes &quot;a simplified and more human-friendly version of the proof of the Deligne–Drinfeld conjecture recently given by OpenAI&quot; and states that no originality is claimed. || arXiv v1.<br /> |}<br /> <br /> == Notes ==<br /> * The list covers follow-ups found in public sources up to the date above; it is not a priority or completeness claim.<br /> <br /> [[Category:OpenAI results]]</div>

Aftermath bot