Stability of the Kato-Kuzumaki's properties under field extensions

Felipe Gambardella; Harry C. Shaw

arxiv: 2511.05201 · v3 · pith:K3ZM2CA5new · submitted 2025-11-07 · 🧮 math.NT · math.AG· math.KT

Stability of the Kato-Kuzumaki's properties under field extensions

Felipe Gambardella , Harry C. Shaw This is my paper

Pith reviewed 2026-05-18 00:16 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.KT

keywords Kato-Kuzumaki propertiesC_i^q propertiesfield extensionstranscendental extensionsalgebraic extensionscohomological dimensionrational function fieldsfinite fields

0 comments

The pith

Variants of the Kato-Kuzumaki C_i^q properties remain stable under both transcendental and algebraic field extensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines how certain variants of the Diophantine properties introduced by Kato and Kuzumaki in 1986 behave when a field is enlarged by transcendental elements or by algebraic extensions. It establishes that these variants are preserved in both cases. The stability result is then applied to show that the rational function field F_p(x_1, ..., x_n) satisfies the C_n^1 property. A reader would care because the original properties were proposed as possible ways to detect the cohomological dimension of a field, so knowing which versions survive extensions helps track that invariant across larger classes of fields.

Core claim

We study the stability of some variants of the C_i^q properties under transcendental and algebraic extensions. As an application, we obtain the C_n^1 property for the field F_p(x_1, ⋯, x_n).

What carries the argument

The chosen variants of the C_i^q properties, which track Diophantine solvability conditions and are shown to persist when fields are extended by indeterminates or algebraic elements.

If this is right

Any field satisfying a chosen C_i^q variant will continue to satisfy it after adjoining indeterminates.
The same preservation holds when passing to algebraic extensions of such fields.
Consequently the field F_p(x_1, ..., x_n) satisfies C_n^1 for any positive integer n.
The result supplies one more concrete case in which a C_i^q property can be verified directly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The stability may extend the range of fields for which cohomological dimension can be read off from Diophantine data.
Similar arguments could be tested on function fields over other perfect fields of positive characteristic.
Checking the property for small explicit values of n and p would give an immediate consistency test of the stability claim.

Load-bearing premise

That these particular variants of the C_i^q properties are the correct ones to keep both stability under extensions and a meaningful link to cohomological dimension.

What would settle it

An explicit field extension, either transcendental or algebraic, where a field satisfying one of the variants produces an extension that fails the same variant.

read the original abstract

In 1986, Kato and Kuzumaki introduced some Diophantine properties of fields, called the $C_i^q$ properties, and they hoped they would provide a good characterization of the cohomological dimension of fields. In this paper, we study the stability of some variants of the $C_i^q$ properties under transcendental and algebraic extensions. As an application, we obtain the $C_n^1$ property for the field $\mathbf{F}_p(x_1,\cdots,x_n)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves stability for modified C_i^q properties under field extensions and uses it to get C_n^1 for F_p(x1,...,xn).

read the letter

The main point is that certain variants of the Kato-Kuzumaki C_i^q properties are stable under both transcendental and algebraic extensions. Once that holds, the authors conclude that the function field F_p(x1,...,xn) satisfies the C_n^1 property. This is a direct and useful step beyond the 1986 paper. They pick variants that keep enough of the original Diophantine flavor while making the stability proofs go through, and the application follows without extra assumptions on the base field. The structure is self-contained and the reasoning tracks from the definitions to the final claim. The citation pattern is clean and points back to the right source without circularity. A soft spot is that the variants are chosen precisely to secure stability, so it is worth checking whether they still link as strongly to cohomological dimension as the unmodified properties were intended to. If the modification dilutes the property too far, the new result for function fields loses some of its intended weight. This work is for people already following the Kato-Kuzumaki program or working on Diophantine invariants of fields. A reader who wants concrete progress on stability questions will get value from the theorems and the explicit application. It deserves a serious referee to verify the technical steps in the stability proofs.

Referee Report

0 major / 2 minor

Summary. The paper investigates variants of the C_i^q Diophantine properties introduced by Kato and Kuzumaki in 1986. It establishes stability of these variants under both transcendental and algebraic field extensions and applies the stability theorems to conclude that the rational function field F_p(x_1, …, x_n) satisfies the C_n^1 property.

Significance. If the stability results are correct, the work provides a systematic way to transfer Diophantine properties across extensions, which could help characterize cohomological dimension in the spirit of the original Kato-Kuzumaki program. The concrete application to function fields over finite fields yields a new family of examples satisfying C_n^1 and may be useful for questions in arithmetic geometry over such fields. The argument structure appears self-contained with no visible circularity or post-hoc fitting.

minor comments (2)

The abstract refers to 'some variants' without indicating which modifications to the original C_i^q definitions are adopted; a short sentence clarifying the precise changes would help readers assess the strength of the stability statements.
In the application section, the transfer of the C_n^1 property from F_p to F_p(x_1,…,x_n) should explicitly recall which stability theorem is invoked and under which extension type (transcendental or algebraic) the step occurs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work on variants of the C_i^q properties and their recommendation for minor revision. The report correctly identifies the main results on stability under transcendental and algebraic extensions, as well as the application to F_p(x_1, ..., x_n) satisfying C_n^1. No specific major comments appear in the report, so we address the overall evaluation below.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces variants of the 1986 Kato-Kuzumaki C_i^q properties chosen to ensure stability under both transcendental and algebraic extensions, proves the stability theorems from those definitions, and applies them to conclude that F_p(x_1,…,x_n) satisfies C_n^1. No quoted step reduces a claimed prediction or uniqueness result to a fitted input, self-citation chain, or definitional tautology; the central stability claims and the function-field application follow from the chosen axioms without circular reduction. The argument relies on external 1986 definitions and is self-contained against those benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the original Kato-Kuzumaki definitions of C_i^q properties and standard facts from Galois cohomology and field theory; no new free parameters or invented entities are indicated in the abstract.

axioms (2)

domain assumption C_i^q properties are defined exactly as in Kato-Kuzumaki 1986
Directly referenced in the abstract as the starting point.
domain assumption Cohomological dimension of fields is measured via Galois cohomology groups
Implicit in the motivation stated in the abstract.

pith-pipeline@v0.9.0 · 5376 in / 1296 out tokens · 38346 ms · 2026-05-18T00:16:03.046978+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

[CTM04] Jean-Louis Colliot-Thélène and David A. Madore. Del Pezzo surfaces with- out rational points on a field of cohomological dimension one.Journal of the Institute of Mathematics of Jussieu, 3(1):1–16, 2004. [Ers67] Yuri L. Ershov. Fields with a solvable theory.Soviet Mathematics. Doklady, 8:575–576, 1967. [Gam26] Felipe Gambardella. Kato-Kuzumaki’s p...

work page arXiv 2004
[2]

[Ser94] Jean-Pierre Serre.Cohomologie Galoisienne, volume 5 ofLecture Notes Mathe- matics

Springer, Cham, 1979. [Ser94] Jean-Pierre Serre.Cohomologie Galoisienne, volume 5 ofLecture Notes Mathe- matics. Berlin: Springer-Verlag, 5ème édition edition, 1994. [Wit15] Olivier Wittenberg. Sur une conjecture de Kato et Kuzumaki concernant les hypersurfaces de Fano.Duke Mathematical Journal, 164(11):2185–2211, 2015. [Yos08] Teruyoshi Yoshida. Local cl...

work page 1979

[1] [1]

[CTM04] Jean-Louis Colliot-Thélène and David A. Madore. Del Pezzo surfaces with- out rational points on a field of cohomological dimension one.Journal of the Institute of Mathematics of Jussieu, 3(1):1–16, 2004. [Ers67] Yuri L. Ershov. Fields with a solvable theory.Soviet Mathematics. Doklady, 8:575–576, 1967. [Gam26] Felipe Gambardella. Kato-Kuzumaki’s p...

work page arXiv 2004

[2] [2]

[Ser94] Jean-Pierre Serre.Cohomologie Galoisienne, volume 5 ofLecture Notes Mathe- matics

Springer, Cham, 1979. [Ser94] Jean-Pierre Serre.Cohomologie Galoisienne, volume 5 ofLecture Notes Mathe- matics. Berlin: Springer-Verlag, 5ème édition edition, 1994. [Wit15] Olivier Wittenberg. Sur une conjecture de Kato et Kuzumaki concernant les hypersurfaces de Fano.Duke Mathematical Journal, 164(11):2185–2211, 2015. [Yos08] Teruyoshi Yoshida. Local cl...

work page 1979