Math-4358 · mathematics · Group theory

Math-4358

Finiteness of Genera of Simply Connected Groups

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

Let $K$ be a field finitely generated over its prime subfield, and let $G$ be an absolutely simple simply connected algebraic group over $K$. Here absolutely simple means that $G$ is connected and semisimple and, after extension to an algebraic closure of $K$, has no nontrivial proper connected normal algebraic subgroup. Simply connected is understood in the algebraic-group sense: every central isogeny $H\to G$ from a connected semisimple algebraic $K$-group is an isomorphism.

The supplied question is whether \[ \text{for every such pair }(K,G),\qquad K\text{ has good characteristic for }G \ \Longrightarrow\ \left|\operatorname{gen}_{K}(G)\right|<\infty. \] The source record does not define either $\operatorname{gen}_{K}(G)$ or the condition "good characteristic." Consequently, this displayed formulation preserves the supplied question but does not yet specify a complete mathematical proposition.

One conventional interpretation of genus uses maximal tori. A maximal $K$-torus of $G$ is a $K$-subgroup whose extension to an algebraic closure is a maximal torus. Under this interpretation, two groups have the same maximal $K$-tori if every maximal $K$-torus of either group is $K$-isomorphic to a maximal $K$-torus of the other. A possible definition is then \[ \operatorname{gen}_{K}(G)= \left\{ [G']_{K}: \begin{array}{l} G'\text{ is an inner }K\text{-form of }G,\\ G'\text{ and }G\text{ have the same maximal }K\text{-tori} \end{array} \right\}, \] where $[G']_{K}$ denotes a $K$-isomorphism class, and an inner form is a form whose twisting cocycle takes values in the inner automorphism group of $G$. This definition is an explicitly conditional interpretation, not a definition established by the supplied record. Both the intended genus convention and the exact characteristic restriction require source confirmation.

Record qualification. The supplied registry marks this statement as unrecoverable and describes UnsolvedMath ID $30003798$, source code catalogue entry, as a duplicate extraction of a particular conjectural case retained in OWR-16162-013. It expressly declines to promote a separate clean statement. The text above therefore records the original question and its unresolved conventions; it does not establish a distinct conjecture or reconstruct the other record.

Short English statement

The recorded question asks whether every absolutely simple simply connected algebraic group over a finitely generated field of suitable characteristic has finite genus. The genus convention and the meaning of suitable characteristic are unspecified. The supplied registry treats this entry as a duplicate with an unrecoverable standalone statement; its open label is supplied curation, not an independently verified status.

Sources

  • Local UnsolvedMath registry, permanent ID $30003798$, source code catalogue entry, title Finiteness of Genera of Simply Connected Groups, in the Oberwolfach Reports Open Problems collection. The supplied record gives proposed year $2018$, names no individual proposer, and identifies this entry as a duplicate of a particular conjectural case retained in OWR-16162-013. Its supplied statement status is unrecoverable; the accompanying verification note is a registry assertion, not a verification performed for this draft.
  • Supplied report citation: Quadratic Forms and Related Structures over Fields (2019), Oberwolfach Reports, DOI 10.4171/owr/2018/21, pp. 1235--1291. https://doi.org/10.4171/owr/2018/21. The supplied background describes these reports as records of mathematical workshops and their open-problem discussions.
  • Supplied literature source: Groups with good reduction and genus. https://par.nsf.gov/servlets/purl/10588037.
  • Supplied literature source: Oberwolfach Report 21. https://doi.org/10.4171/owr/2018/21.
  • Literature assessment dated exactly 2026-08-21: the supplied curation labels the problem open and says that finiteness of the genus for absolutely simple simply connected groups over finitely generated fields of good characteristic is still presented as a conjecture in current primary work. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment. The supplied background explicitly requests independent verification of time-sensitive status and cited claims.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.