arXiv math/03102242003-10math.NT

Integrality at a prime for global fields and the perfect closure of global fields of characteristic p>2

Kirsten Eisentraeger

备注：: 10 pages; minor revisions made
发表信息：: J. Number Theory 114 (1) (2005), 170-181

英文摘要：

Let k be a global field and \pp any nonarchimedean prime of k. We give a new and uniform proof of the well known fact that the set of all elements of k which are integral at \pp is diophantine over k. Let k^{perf} be the perfect closure of a global field of characteristic p>2. We also prove that the set of all elements of k^{perf} which are integral at some prime \qq of k^{perf} is diophantine over k^{perf}, and this is the first such result for a field which is not finitely generated over its constant field. This is related to Hilbert's Tenth Problem because for global fields k of positive characteristic, giving a diophantine definition of the set of elements that are integral at a prime is one of two steps needed to prove that Hilbert's Tenth Problem for k is undecidable.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于后临界有限映射整性量化的界限

Quantitative bounds on integrality for post-critically finite maps

National Institute of Technology Calicut（印度国家技术学院卡利卡特分校）

本文研究了后临界有限参数在广义曼德勃罗集中的整性数量界限，基于数论中的数域理论和多项式映射性质。

2026-03-25math.NT

单位根平均值的整性及完美等距

Integrality of Averages of Roots of Unity and Perfect Isometries

Mahidol University International College（马希多大学国际学院）

通过建立单位根平均值整性的判据，证明了若函数f: Z_n → Z_n对所有b满足平均值(1/n)∑ ω^{f(x)+bx}为代数整数，则f模n必为线性，并应用于完全刻画循环群C_{p^r}的完美等距。

2026-05-29math.NTmath.RT

Deligne's integrality theorem in unequal characteristic and rational points over finite fields; and Appendix (w/Pierre Deligne)

If $V$ is a smooth projective variety defined over a local field $K$ with finite residue field, so that its étale cohomology over the algebraic closure $\bar{K}$ is supported in codimension 1, then the mod $p$ reduction of a projective regular model carries a rational point. As a consequence, if the Chow group of 0-cycles of $V$ over a large algebraically closed field is trivial, then the mod $p$ reduction of a projective regular model carries a rational point.

2007-02-16math.AGmath.NT

On integrality of $p$-adic iterated integrals

The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an elliptic curve over the Witt vectors of a perfect characteristic $p$ field. As a corollary we prove a lower bound for the valuations of $p$-adic multiple zeta values.

2015-11-09math.AGmath.NT

Elliptic curves over the perfect closure of a function field

We prove that the group of rational points of a non-isotrivial elliptic curve defined over the perfect closure of a function field in one variable over a finite field is finiteley generated.

2005-05-24math.AGmath.NT

Generalized Hasse-Herbrand functions in positive characteristic

Let $L/K$ be an extension of complete discrete valuation fields of positive characteristic, and assume that the residue field of $K$ is perfect. The residue field of $L$ is not assumed to be perfect. In this paper, we show that the generalized Hasse-Herbrand function $ψ_{L/K}^{\mathrm{ab}}$ has properties similar to those of its classical counterpart. In particular, we prove that $ψ_{L/K}^{\mathrm{ab}}$ is continuous, piecewise linear, increasing, convex, and satisfies certain integrality properties.

2018-04-27math.AGmath.NT

更多相关论文收起更多论文

On iterations of rational functions over perfect fields

Let $\mathbb K$ be a perfect field of characterstic $p\ge 0$ and let $R\in \mathbb K(x)$ be a rational function. This paper studies the number $Δ_{α, R}(n)$ of distinct solutions of $R^{(n)}(x)=α$ over the algebraic closure $\overline{\mathbb K}$ of $\mathbb K$, where $α\in \overline{\mathbb K}$ and $R^{(n)}$ is the $n$-fold composition of $R$ with itself. With the exception of some pairs $(α, R)$, we prove that $Δ_{α, R}(n)=c_{α, R}\cdot d^n+O_{α, R}(1)$ for some $0<c_{α, R}\le 1<d$. The number $d$ is readily obtained from $R$ and we provide estimates on $c_{α, R}$. Moreover we prove that the…

2020-08-06math.NT

Ramification theory and perfectoid spaces

Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that the modulo s^m of the extension O_L/O_K and modulo t^m of O_E/O_F are isomorphic. Let j=<m be a positive rational number. In this paper, we prove that the ramification of L/K is bounded by j if and only if the ramification of E/F is bounded by j. As an application, we prove that the categories of finite separable extensions of K and F whose ramifications ar…

2013-05-22math.AGmath.NT

环的完备化的混合特征类比及其几乎 Cohen-Macaulay 性质

A mixed characteristic analogue of the perfection of rings and its almost Cohen-Macaulay property

本文在混合特征完备局部整环上构造了一个类似正特征完美闭包的 perfectoid 环，并利用 André 平坦性引理和 Riemann 延拓定理证明了其几乎 Cohen-Macaulay 性质。

2025-04-24math.ACmath.AGmath.NT

完美oids阿比扬卡尔引理的一个变种与几乎Cohen-Macaulay代数

A variant of perfectoid Abhyankar's lemma and almost Cohen-Macaulay algebras

本文证明了混合特征下完备局部域的整闭几乎Cohen-Macaulay域的整延伸，并建立了完美环分解的Witt-完美版本的阿比扬卡尔引理和黎曼扩展定理。

2023-08-20math.ACmath.AGmath.NT

On the topological cyclic homology of the algebraic closure of a local field

The cyclotomic trace provides a comparison of the algebraic K-theory spectrum and a pro-spectrum TR that is built from the cyclic fixed points of topological Hochschild homology. In a previous paper with Ib Madsen, we used this comparison and an approximate evaluation of the structure of the pro-spectrum TR to evaluate the p-adic K-groups of a local field K of mixed characteristic (0,p) with perfect residue field. In this paper we completly determine the structure of the pro-spectrum TR for an algebrac closure of the local field K. This leads us to formulate a conjecture for the structure of t…

2005-08-17math.KTmath.NT

Expansion in perfect groups

Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected component of the Zariski-closure of Ga is perfect.

2012-08-20math.COmath.GRmath.NT

Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves

We show that for k a perfect field of characteristic p, there exist endomorphisms of the completed algebraic closure of k((t)) which are not bijective. As a corollary, we resolve a question of Fargues and Fontaine by showing that for p a prime and C_p a completed algebraic closure of Q_p, there exist closed points of the Fargues-Fontaine curve associated to C_p whose residue fields are not (even abstractly) isomorphic to C_p as topological fields.

2017-05-14math.ATmath.NT

关于 backward 轨道中 $S$-整数点的均匀界

Uniform bounds on $S$-integral points in backward orbits

National Institute of Technology Calicut（国家技术学院卡利卡特）

本文研究了非零 β 在数域 K 中的 backward 轨道中 $S$-整数点的均匀界问题，基于幂映射 φ(z)=z^d 和非预周期点 α 的性质。

2026-04-21math.NT

Grothendieck's theorem on non-abelian H^2 and local-global principles

A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of this theorem. The generalization -- to the context of perfect fields of virtual cohomological dimension one -- takes the form of a local-global principle for the H^2-sets with respect to the orderings of the field. This principle asserts in particular that an element in H^2 is neutral precisely when it is neutral in the real closure with respect to every orde…

1998-03-24math.AGmath.NT

Locally analytic vectors and overconvergent $(φ, τ)$-modules

Let $p$ be a prime, let $K$ be a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, and let $G_K$ be the Galois group. Let $π$ be a fixed uniformizer of $K$, let $K_\infty$ be the extension by adjoining to $K$ a system of compatible $p^n$-th roots of $π$ for all $n$, and let $L$ be the Galois closure of $K_\infty$. Using these field extensions, Caruso constructs the $(φ, τ)$-modules, which classify $p$-adic Galois representations of $G_K$. In this paper, we study locally analytic vectors in some period rings with respect to the $p$-adic …

2019-03-18math.NT