Field Extensions and Ordinarity in Arithmetic Specialization

Definitions and mathematical statement

Let $k'/k$ denote the finite field extension appearing in the result attributed to Bright and Newton in the supplied record; thus $[k':k]<\infty$. The record describes this result as an arithmetic specialization result establishing the existence of certain primes after a finite extension under a good ordinary reduction hypothesis. It does not state the theorem, specify the fields and geometric objects involved, define the relevant primes, or identify the precise ordinarity condition.

The two source questions are:

1. Under what circumstances is passage from $k$ to $k'$ necessary in the cited result? In particular, under what circumstances does its conclusion hold over $k$ itself, so that one may take $k'=k$?
2. Can the ordinarity hypothesis in that result be removed while retaining its remaining hypotheses and conclusion?

The second question concerns ordinarity; the supplied record does not ask to remove good reduction altogether. Neither question can be made into a self-contained quantified statement from the supplied excerpt: the theorem's hypotheses, conclusion, domains, and quantifiers are missing. In particular, the meaning of necessity of the extension depends on the unspecified conclusion and its quantifiers. These are source-relative questions requiring recovery of the cited theorem before mathematical review.

Short English statement

The problem asks when the finite extension in a cited Bright--Newton result can be avoided, and whether its ordinarity assumption can be dropped. The supplied record omits the theorem needed to specify either question precisely. Its label partially solved is a supplied curation assessment, not an independently verified mathematical conclusion.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30005974$, title Field Extensions and Ordinarity in Arithmetic Specialization, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record lists proposed year $2024$ and supplies no named proposer.
• Explicit Methods in Number Theory (2025), Oberwolfach Reports, pp. 2309--2368, DOI 10.4171/owr/2024/40: https://doi.org/10.4171/owr/2024/40. This is the supplied report citation and source URL; no theorem number or specific page for the extracted questions is provided.
• Bright--Newton, Evaluating the wild Brauer group: https://doi.org/10.1007/s00222-023-01210-8. This is the supplied literature reference for the attributed result; its theorem statement is not included in the record.
• Literature assessment checked at 2026-08-22: the supplied dated curation labels the problem partially solved and states that Bright--Newton prove existence of relevant primes after a finite extension at good ordinary reduction, while the necessity of the extension and removal of ordinarity remain unresolved. This assessment is supplied dated curation derived from the OWR record, not independently verified here. Its listed sources are the two references above.
• The registry labels the statement corrected_verified, with the qualification that only formula delimiters, notation, grammar, and typography were repaired and mathematical content and scope were preserved. That label does not constitute mathematical verification of this draft or independent verification of the literature assessment.