What was already known
Drinfeld and Lafforgue proved general-linear cases; Lomelí covered split classical and quasi-split unitary groups. The companion OpenAI full-level decomposition gives the unramified result for split adjoint absolutely simple groups, but does not itself address monodromy at ramified places.
AI involvement
OpenAI is the manuscript author and says its mathematics manuscripts were produced by an internal model. Earlier human results and a companion OpenAI theorem are inputs to this new ramified-place argument.
The repository’s internal-model authorship covers the new ramified-place argument; no individual autonomy record is supplied.
- Supporting source (github.com) — Exact exceptional types, ramified scope, prior work and dependence on companion unramified theorem
Importance
Extends the generic function-field Ramanujan result to every place for the stated exceptional groups.
Limitations
The ramified-place argument uses a new local coefficient and monodromy comparison plus a companion unramified theorem; no completed check of that comparison is documented.
Technical verification
The source contains a conventional proof but no documented completed check of this ramified-place theorem; Reported is the evidence default.
Human understanding
No named human explains the new local criterion; Few is the evidence default.
Correction and publication history
Extends the generic function-field Ramanujan result to every place for the stated exceptional groups.
Read this published revision