首页/论文/math/0607165

arXiv math/06071652006-07-06math.LO

正可构函数对欧拉示性数和维数的积分

Integration of positive constructible functions against Euler characteristic and dimension

R. Cluckers, M. Edmundo

备注：: To appear in Journal of Pure and Applied Algebra; 8 pages
发表信息：: J. Pure Applied Algebra 208 (2) (2007) 691-698

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

根据R. Cluckers和F. Loeser [Fonctions constructible et integration motivic I，C. R.数学学院Sci. Paris 339（2004）411 - 416]关于动机整合，我们在全局次分析背景下发展了正可构造函数的直接图像形式主义。这种形式主义推广到任意的一阶逻辑模型，并说明了几个例子上的p-adics，Presburger结构和O-最小的扩展组。在此基础上，定义了Radon变换，并证明了相应的反演公式.

英文摘要：

Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

可构造的动机功能与动机整合

Constructible motivic functions and motivic integration

我们介绍了一个直接的图像形式主义的可构造motivic功能。一个推导出一个非常普遍的版本motivic积分的变量变换定理证明。这些构式被推广到相对框架中，在这个框架中，我们发展了一个相对版本的动机整合。这些结果已在math.AG/0403349和math.AG/0403350中公布。主要结果和声明不变。纠正了许多小错误，并添加了一些细节。

2008-05-29math.AGmath.LOmath.NT

实整体次解析函数乘积和的积分稳定性及其算法

Stability under integration of sums of products of real globally subanalytic functions and their logarithms

本文研究了全局次解析函数的乘积和的Lebesgue积分及其构造函数。我们的第一个定理指出可构造函数类在积分下是稳定的。第二个定理在Fubini型设置中处理可积性条件，第三个结果给出可构造函数在无穷远处的衰减率。进一步，我们给出了与可积性条件相关的可构造函数的准备结果。

2009-11-23math.AGmath.LO

关于动机可构造函数上的拉回和推进函子的交换性

On the commutativity of pull-back and push-forward functors on motivic constructible functions

本文研究了Cluckers-Loeser动力积分中可构造函数上的拉回函子与前推函子之间的交换性。

2018-11-15math.AGmath.LOmath.RT

可构造函数的导数也是可构造的

The Derivative of a Constructible Function is Constructible

本文证明在 tame 实几何中，可构造函数在求导时仍保持可构造性，通过展示导数操作对可构造函数类的稳定性。

2026-04-26math.AGmath.CVmath.LO

有限阿基米德秩值群限制解析函数实场论非阿基米德模型上的对数、构造函数和积分

Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank

给出了一个模型的理论与限制解析函数，使其值组有有限的阿基米德秩的实域，我们展示了如何可以扩展的限制对数的整体对数的多项式环上的模型与维度的阿基米德秩的值。这些矩阵由来自模型的代数数据确定，即由模型的一部分和由值群嵌入其哈恩群中确定。如果值群的阿基米德秩与有理数秩一致，则这些图是等价的。我们说明了如何可以嵌入这样的对数到一个模型的真正的领域与限制解析函数和指数。这允许我们定义具有良好提升特性的可构造函数。作为应用，我们建立了值在多项式环上的勒贝格测度和积分理论，推广和加强了[T.具有阿基米德值群的非阿基米德实封闭的域上的勒贝格测度与积分理论。伦敦会议116（2018），第2期，209-247页]。

2021-04-27math.CAmath.CVmath.LO

$P$ -极小结构中的指数可构造函数

Exponential-constructible functions in $P$-minimal structures

指数可构造函数是可构造函数类的扩展。这个扩展是由Cluckers-Loeser在半代数和次解析结构的背景下，当他们研究积分下的稳定性时制定的。在本文中，我们将提出一个自然的完善，他们的定义，允许稳定性的结果，以保持在更广泛的类P-极小结构。其中一个主要的技术改进是，我们删除了可定义的Skolem函数的证明的要求。其结果是，我们得到的稳定性，特别是所有的中间结构之间的半代数和子解析语言。

2018-02-23math.LOmath.NT

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

幂可构造函数的Mellin变换

Mellin transforms of power-constructible functions

本文研究了o-minimal geometry及相关几何驯服语境中实值和复值函数的代数系统，证明了其在参数积分下的稳定性，并探讨了函数的渐近性及参数Mellin变换的性质。

2024-11-18math.AGmath.CAmath.LO

幂可构造函数的参数化 Fourier 变换与 Mellin 变换

Parametric Fourier and Mellin transforms of power-constructible functions

本文扩充幂可构造函数类，构造含次解析函数复幂及其参数化 Mellin、Fourier 变换且稳定于参数积分的函数代数，并给出子类的封闭性与一致完整渐近展开。

2023-08-30math.AGmath.CAmath.LO

可构造函数和层的复杂性理论

A complexity theory of constructible functions and sheaves

在本文中，我们介绍的离散复杂性类$\mathbf{VP}$和$\mathbf{VNP}$的功能序列的构造类似物。新定义中的函数是$\mathbb{R}^n$或$\mathbb{C}^n$上的可构造函数。我们定义了一类序列的可构造的功能，发挥类似的作用，$\mathbf{VP}$在更经典的理论。类似于$\mathbf{VNP}$的类是使用欧拉积分定义的。我们讨论了几个例子，发展的理论的完整性，并提出了一个猜想类似于$\mathbf{VP}$与$\mathbf{VNP}$猜想在经典的情况下。在本文的第二部分中，我们将复杂性类的概念推广到$\mathbb{R}^n$（或其一点紧化）上的可构造层序列。我们引入了一类简单的可构造层序列，它可以被看作是Blum-Shub-Smale类$\mathbf{P}_{\mathbb{R}}$的层理论模拟。我们还定义了一个层次的复杂性类层镜像的多项式层次，$\mathbf{PH}_{\mathbb{R}}$，在B-S-S理论。我们证明了一个单指数上界的拓扑复杂性层在这个层次反映了类似的结果在B-S-S设置。作为结果，我们得到一个算法的单指数复杂性的一个层理论的变体的真正的量词消除问题。我们提出了自然层理论的类似物的经典$\mathbf{P}$与$\mathbf{NP}$问题，并讨论了连接户田的离散复杂性理论的上下文中的可构造层。我们还讨论了可能的概括的问…

2017-10-06cs.CCmath.AGmath.LO

可定义函数上的欧拉积分

Euler integration over definable functions

Bell Laboratories（贝尔实验室）；University of Pennsylvania（宾夕法尼亚大学）

将欧拉积分从可构造函数类扩展到“驯顺”实值函数（关于o-极小结构可定义），并给出其Morse理论解释及在传感器网络不完整和不确定数据数值分析中的应用。

2009-09-22cs.NAmath.GNmath.LO

纤维中运动功能、非零性和可积性的评价

Evaluation of motivic functions, non-nullity, and integrability in fibers

我们定义了一个操作的评价在一个点上的动机可构造（指数）的功能，从Cluckers-Loeser框架的动机整合，并表明，两个这样的动机功能是抽象的平等，当且仅当他们的评价在每个点是相同的。同样，我们分别用每个纤维的可积性来表示相对可积性。这些结果简化了上述动机整合的框架及其使用。

2021-12-07math.AGmath.LO

$p$ -adic积分和模积分的Ax-Kochen-Er{\displaystyle\mathbb {Er}ov定理

Ax-Kochen-Er{š}ov Theorems for $p$-adic integrals and motivic integration

这篇综述论文将出现在迈阿密冬季学校的论文集“代数和数论中的几何方法”中，它涉及到将经典结果à la Ax-Kochen-Er{\displaystyle {\mathbb {Er}ov推广到动机设置中的$p$ -adic积分，使用我们在数学AG/0410203中介绍的可构造动机函数的框架。最后，我们简要地讨论了我们的结果的相关性的研究轨道积分和基本引理的文件。

2004-10-08math.AGmath.LOmath.NT

$P$ -极小结构中的积分与胞腔剖分

Integration and Cell Decomposition in $P$-minimal Structures

证明了$\mathcal{L}$ -可构造函数类在$p$ -adic域$(K,\mathcal{L})$的任意$P$ -极小展开下的积分是封闭的.这推广了以前已知的半代数和子解析结构的结果。作为证明的一部分，我们得到了一个弱版本的胞腔剖分和功能准备的$P$ -最小的结构，一个结果是独立的Skolem功能的存在。%的结果是从弱版本的胞腔剖分和功能准备，我们证明了一般的$P$ -最小结构。一个直接的推论是Denef关于Poincaré级数的合理性的结果在$p$ -adic域$(K,\mathcal{L})$的任何$P$ -极小展开式中成立.

2015-02-23math.LOmath.NT

特征为零的Hensel离散值域的全部剩余域特征的运动积分

Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero

我们扩展了[“可构造的动机功能和动机整合”，发明的形式主义和结果的动机整合。数学、卷173，（2008）23-121]的混合特征离散值Henselian字段与有界分歧。我们还推广了loc的等特征零情形。前引书通过在所有剩余特征中给出公理化方法（而不是仅使用Denef-Pas语言）和通过使用更丰富的角分量映射。在这种情况下，我们证明了一般的变量变换公式和一般的Fubini定理。我们的设置可以专门用于先前已知的motivic集成版本，例如第二作者和J. Sebag以及经典的p-adic积分。

2012-12-24math.AGmath.LOmath.NT