Pith. sign in

REVIEW 1 cited by

Uniform bounds for fields of definition in projective spaces

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 2405.03621 v1 pith:KALCKPHH submitted 2024-05-06 math.NT math.AGmath.DS

Uniform bounds for fields of definition in projective spaces

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

We give a positive answer to a question of J. Doyle and J. Silverman about fields of definition of dynamical systems on $\mathbb{P}^{n}$. We prove that, for fixed $n$, there exists a constant $C_{n}$ such that every dynamical system $\mathbb{P}^{n}\to\mathbb{P}^{n}$ is defined over an extension of degree $\le C_{n}$ of the field of moduli. More generally, the same bound works for any kind of "algebraic structure" defined over $\mathbb{P}^{n}$, such as embedded curves, hypersurfaces, algebraic cycles. As a consequence we prove that, if $x\in X(k)$ is a rational point of an $n$-dimensional variety with quotient singularities, there exists a field extension $k'/k$ of degree $\le C_{n-1}$ such that $x$ lifts to a $k'$-rational point of any resolution of singularities.

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. Neutral representations in dimension $\leq 3$ and fields of moduli

    math.AG 2026-04 unverdicted novelty 7.0

    Neutral faithful representations of finite groups are fully classified in dimension ≤3, with a general neutrality criterion for abelian groups and a normalizer theory for gerbe morphisms that depends only on geometric type.