Pith. sign in

REVIEW 1 cited by

Hasse principles for quadratic forms over function fields

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2204.06368 v2 pith:SVK3L4IV submitted 2022-04-13 math.NT math.AGmath.RA

Hasse principles for quadratic forms over function fields

classification math.NT math.AGmath.RA
keywords fieldhassediscreteextensionsisotropyrespectvaluationscounterexamples
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We investigate the Hasse principles for isotropy and isometry of quadratic forms over finitely generated field extensions with respect to various sets of discrete valuations. Over purely transcendental field extensions of fields that satisfy property $\mathscr{A}_i(2)$ for some $i$, we find numerous counterexamples to the Hasse principle for isotropy with respect to a relatively small set of discrete valuations. For finitely generated field extensions $K$ of transcendence degree $r$ over an algebraically closed field of characteristic $\ne 2$, we use the $2^r$-dimensional counterexample to the Hasse principle for isotropy due to Auel and Suresh to obtain counterexamples of lower dimensions with respect to the divisorial discrete valuations induced by a variety with function field $K$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. $\mathbb Q\setminus\mathbb Z$ is diophantine over $\mathbb Q$ with $7$ unknowns

    math.NT 2026-07 conditional novelty 5.0

    Q\Z is diophantine over Q with 7 unknowns, and O_{S_0} is ∀7-definable in any global field K.