1 · The essentials
These manuscripts study symmetries described by certain algebraic objects whose coordinates belong to a global field. They ask which collections of these symmetries remain unchanged when transformed by the other symmetries. The result concerns collections that are not confined to symmetries commuting with every other symmetry. The manuscripts claim that each such collection can be described entirely through finitely many local versions of the original object. This description requires precise conditions on both the object and the permitted local collections. The main manuscript treats function fields, including characteristic two, while the companion treats number fields. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine an application whose acceptance is determined by finitely many local checks: it is accepted exactly when its combined results belong to an approved list. The “inverse image” plays this filtering role here, but the checks and lists are mathematical objects subject to precise conditions.
Why it matters
The claimed result connects a question about a group’s rational points to a description using certain local groups. Together, the two manuscripts cover global fields, explicitly including characteristic two in the function-field case. The significance is a uniform description of all the noncentral normal subgroups in scope, rather than just particular examples.
2 · Going further
The problem concerns an absolutely almost simple, simply connected algebraic group defined over a global field . The aim is to describe every abstract normal subgroup of that is not contained in the center. The word “abstract” indicates that the supplied statement imposes no additional topological condition on .
The claimed description uses the finite product of the relevant anisotropic nonarchimedean local groups. Writing for the map to this product, the statement asserts that for an open normal subgroup of . In other words, membership in is determined entirely by whether the local image belongs to . The abstracts give this local-to-global structure, but describe neither the steps of the argument nor its techniques, so they do not support an explanation of how the result is established.
The main manuscript claims the Margulis–Platonov conjecture over every global function field, including characteristic two. The companion claims the corresponding statement over number fields. The repository summary presents their combined scope as all global fields, without supplying a history of previously known cases.
Useful notions
- Groups and normal subgroups
- The center of a group
- Global fields and local versions
- Algebraic groups and rational points
- Topology and open subgroups
What was known before / what is new
Before
The source identifies the problem as the Margulis–Platonov conjecture. It does not specify previously established cases, known obstacles, or a chronology of earlier work.
New
The main manuscript claims the statement over all global function fields and explicitly highlights the inclusion of characteristic two. The companion claims the number-field case. Together, these statements give the scope announced by the repository: all global fields.
Limits and assumptions
The statement assumes that G is absolutely almost simple and simply connected over a global field k; it concerns abstract normal subgroups of G(k) not contained in the center. The selected local factors are anisotropic and nonarchimedean, and the subgroup of their product must be normal and open. The abstracts do not supply the argument needed to assess the claim. The main result is not formalized in Lean and has not been formally verified. The source specifies no remaining open question and gives no extension beyond these hypotheses.
Mini glossary
- Normal subgroup —
- A subgroup unchanged by conjugation by every element of the ambient group.
- Center —
- The set of elements of a group that commute with every element of that group.
- Rational points —
- The points of G defined over the field k, forming the group denoted G(k).
- Inverse image —
- The set of elements whose images under a map belong to a specified set.
- Open subgroup —
- A subgroup that is also an open set in the group’s topology.
- Anisotropic —
- Describes here an algebraic group containing no nontrivial split torus over the local field in question.
Keywords : Margulis–Platonov conjecture · Global fields · Normal subgroups
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the Margulis–Platonov conjecture over every global field, including function fields of characteristic two. For an absolutely almost simple simply connected algebraic group G over k, every noncentral abstract normal subgroup of is the inverse image of an open normal subgroup in the finite product of its anisotropic nonarchimedean local groups.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The Margulis–Platonov conjecture over global function fields
05/10/2026We prove the Margulis–Platonov conjecture over every global function field, including characteristic two. For an absolutely almost simple simply connected algebraic group, every noncentral abstract normal subgroup of its rational points is the inverse image of an open normal subgroup of the finite product of its anisotropic local groups.
The Margulis–Platonov conjecture over number fields
23/09/2026We prove the Margulis–Platonov conjecture over number fields. For an absolutely almost simple simply connected group, every noncentral abstract normal subgroup of its rational points is the inverse image of an open normal subgroup of the product of its anisotropic nonarchimedean local groups.