首页/论文/math/0311434

arXiv math/03114342003-11-25math.LO

半代数$p$ -adic集到半代数双射的分类

Classification of semi-algebraic $p$-adic sets up to semi-algebraic bijection

Raf Cluckers

备注：: 9 pages
发表信息：: J. Reine Angew. Math. 540 (2001), 105--114

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明了两个无限p-adic半代数集是同构的（即它们之间存在半代数双射）当且仅当它们具有相同的维数。

英文摘要：

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

胞腔剖分和p-adic积分

Cell decomposition and p-adic integration

构造了一个从p-adic数域到自身减一点的半代数双射。半代数p-adic集被分类为半代数双射。本文证明了限制解析p-adic映射的一个胞腔剖分定理，类似于Denef的多项式映射的胞腔剖分定理.这个胞腔剖分用来证明一个特定的代数（由解析和次解析p-adic函数构成）在p-adic积分下是封闭的。这解决了Denef关于参数化解析p-adic积分的一个猜想。证明了局部（解析）奇异级数在这个代数中。亚解析p-adic集被分类为亚解析双射。研究了多元Kloosterman和的模幂p。当幂趋于无穷大时，得到了一个定性的衰减率。这是Igusa的结果的多变量模拟。也研究了Presburger群体。定义了Presburger集的维数，将Presburger集分类为可定义的双射，并证明了可消元性。计算了几类值域的Grothendieck环。

2003-01-03math.LOmath.NT

p-adic半代数集的标度格和co-Heyting代数的模型完备化

Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets

设p是素数，K是p-代数闭域，X $\subseteq$ K^m是定义在K上的半代数集，L（X）是X的闭于X的半代数子集的格.我们证明了L（X）的完备理论消除了某种语言LASC中的量词，L（X）上的LASC-结构是格结构定义的推广。而且它是可判定的，这与在实封闭的场上发生的情况相反。我们将这些LASC结构分类为初等等价，特别是得到L（K^m）的完整理论只依赖于m，不依赖于K，甚至不依赖于p。作为应用，我们得到了可数p-代数闭域上的半代数集的分类，直到所谓的“前代数”同胚。

2018-10-29math.LO

p-adic半代数集的参数直线性化及p-adic积分的合理性

Parametric rectilinearization for p-adic semi-algebraic sets and rationality of p-adic integrals

给出了p-adic半代数集依赖于参数的一个直线性化定理。作为我们的主要定理的应用，我们提出了一个替代的证明合理性结果参数p-adic积分，由于Denef。

2011-10-27math.LOmath.NT

$p$ -Adic代数群的可定拓扑动力学

Definably Topological Dynamics of $p$-Adic Algebraic Groups

本文从可定义拓扑动力学的角度研究了$p$ -进代数群$G$。考虑$M$是任意$p$ -adic闭域，$G$是${\mathbb Q}_p$上的代数群，允许Iwasawa分解$G=KB$，其中$K$是${\mathbb Q}_p$上的开的可定义紧的，$B$是${\mathbb Q}_p$上$G$的Borel子群.我们的主要结果是显式描述的最小子流和Ellis群的普遍可定义的$G(M)$ -流$S_G(M^{\text{ext}})$。证明了$S_G(M^{\text{ext}})$的Ellis群同构于$S_B(M^{\text{ext}})$的Ellis群，即$B/B^0$ .作为应用，我们得出了对应于$\text{GL}(n,M)$和$\text{SL}(n,M)$的Ellis群分别同构于$(\hat {\mathbb Z} \times {\mathbb Z}_p^*)^n$和$(\hat {\mathbb Z} \times {\mathbb Z}_p^*)^{n-1}$的结论，推广了Penazzi，Pillay和Yao在Some model theory and topological dynamics of $p$-adic代数群，Fundamenta Mathematicae，247（2019），pp. 191--216.

2021-07-11math.LO

p-代数闭域上的半代数三角剖分

Semi-algebraic triangulation over p-adically closed fields

我们证明了一个三角剖分定理的半代数集上的p-adically封闭的领域，非常类似于它的真正对应。我们从中得到了一些应用，如半代数集的柔性收缩和分裂的存在性。

2018-11-09math.GTmath.LO

半有界p-adic集的胞腔剖分

Cell Decomposition for semibounded p-adic sets

本文研究了环语言的一个约简L \ast，其中乘法仅限于零的邻域。选择语言使得对于p-代数闭域K，K的L \ast -可定义子集与K的半代数子集重合。因此结构（K，L \ast）可以看作半有界集合的o-极小结构的p-adic对应物。我们表明，在这种语言中，p-adically封闭领域承认胞腔剖分，使用细胞类似于p-adic半代数细胞。由此我们可以导出量词消去，并给出可定义函数的一个刻划。特别地，我们得出乘法只能定义在有界集上的结论，并考虑了可定义Skolem函数的存在性。

2012-05-18math.LO

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

p-adic半代数和次解析函数的Lipschitz连续性

Lipschitz continuity properties for p-adic semi-algebraic and subanalytic functions

我们证明了一个（全局）次解析p-adic函数，这是局部Lipschitz连续的一些常数C是分段（全局上的每一块）Lipschitz连续的可能有一些其他的常数，其中件可以采取次解析。我们还证明了类似的结果，一个次解析家庭的功能取决于p-adic参数。这些陈述也适用于半代数集和p-adic数域的有限扩张。这些结果是K.库尔迪卡在实数上。为了包含p-adic域的完全不连通性，我们需要引入适应p-adic情形的新方法。

2009-04-24math.AGmath.LO

$p$-进代数群的开子群

Open subgroups of $p$-adic algebraic groups

针对$p$-进代数群的开子群是否为半代数（即是否在$(\boldsymbol{\rm Q}_p, +, \times)$中可定义）的公开问题，证明了交换情形下答案为肯定，结合已有结果可推广至约化代数群。

2023-04-28math.GRmath.LO

p-adic半代数与次解析几何中的逼近与Lipschitz连续性

Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry

已知一个p进局部Lipschitz连续的半代数函数是分段Lipschitz连续的，其中的部分可以取为半代数。我们证明了，如果函数的局部Lipschitz常数为1，那么它也是分段Lipschitz连续的相同的Lipschitz常数为1。我们这样做，证明以下罚款准备结果的p-adic半代数函数在一个变量。任何这样的函数都可以很好地近似为具有分数指数的单项式，使得此外单项式的导数是函数的导数的近似。我们还证明了这些结果的参数化版本和在subanalytic设置。

2010-09-17math.AGmath.LO

解析p-adic胞腔剖分与积分

Analytic p-adic Cell Decomposition and Integrals

利用解析胞腔剖分定理证明了Denef关于参数化$p$ -adic解析积分的一个猜想，并在本文中得到了证明。这个胞腔剖分定理描述了分段的解析函数（更一般的是子解析函数）的赋值，这些片段是几何上简单的集合，称为细胞。我们还分类子解析集子解析双射。

2003-09-26math.LOmath.NT

p进代数群的一些模型论和拓扑动力学

Some model theory and topological dynamics of p-adic algebraic groups

本文从稳定性理论和可定义拓扑动力学的观点出发，研究p进代数群G，即用域的语言研究G在Q_p上的型空间上的作用的不变量。我们考虑Q_p和Z_p的加法群和乘法群，上三角可逆2 \times 2矩阵群SL（2，Z_p），以及我们的重点SL（2，Q_p）.在所有情况下，我们识别f-泛型类型（当它们存在时），最小子流和幂等元。主要结果之一是SL（2，Q_p）$的“Ellis群”是Z的profinite完备化，从而给出了Newelski猜想的一个反例，并具有新的特征：G = G^{00} = G^{000}，但Ellis群是无限的.最后一节讨论SL（2，Q_p）在Q_p上射影线的型空间上的作用。

2019-02-18math.DSmath.GRmath.LO

椭圆曲线与实域和p-adic域上代数函数域的Hilbert第十问题

Elliptic curves and Hilbert's tenth problem for algebraic function fields over real and p-adic fields

设k是特征为零的域，V是k上的光滑正维拟投射簇，D是V上的非空有效因子，K是V的函数域，A是D在K中的半局部环.本文证明了：（1）A，在所有情况下;（2）K，当k是（形式上）实数，V有一个实点;（3）K，当k是p-adic域的子域时，对于某个奇素数p。为了实现这一点，我们使用Denef的方法：从Q上的椭圆曲线E，不需要复乘，可以构造E在Q（t）上的二次扭曲E '，其具有Mordell-Weil秩1。大部分的文件是致力于证明（使用定理R。Noot），可以在K中选择f，在D处消失，使得从域扩张K/Q（f）= Q（t）导出的群E '（K）等于E'（Q（t））。然后，我们模仿Denef（对于真实情况）和Kim和Bauh（对于p-adic情况）的论点。

2005-05-23math.AGmath.LO