English
Related papers

Related papers: Integration in algebraically closed valued fields

200 papers

Let $\Gamma$ be a divisible subgroup of $(\mathbb{R},+)$. Our central result states that, at the level of Grothendieck groups, the classification of $\Gamma$-rational polyhedra in $\mathbb{R}^n$ up to affine transformations in…

Algebraic Geometry · Mathematics 2024-02-20 Johannes Nicaise

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…

Algebraic Geometry · Mathematics 2007-05-23 R. Cluckers , L. Lipshitz , Z. Robinson

Let $k$ be a field of characteristic zero containing all roots of unity and $K=k((t))$. We build a ring morphism from the Grothendieck group of semi-algebraic sets over $K$ to the Grothendieck group of motives of rigid analytic varieties…

Algebraic Geometry · Mathematics 2017-07-21 Arthur Forey

For an algebraically closed base field of characteristic p>0, a new algorithm to construct some non-zero GL(n-1)-high weight vectors of irreducible rational GL(n)-modules is suggested. It is based on successively applying Kleshchev's…

Representation Theory · Mathematics 2007-05-23 Vladimir Shchigolev

Although they exist since more than ten years already, have attracted diverse implementations, and have been used successfully in a significant number of applications, declarative mapping languages for constructing knowledge graphs from…

Databases · Computer Science 2025-03-25 Sitt Min Oo , Olaf Hartig

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…

Logic · Mathematics 2024-04-17 Kien Huu Nguyen , Mathias Stout , Floris Vermeulen

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

We present a novel algebraic combinatorial view on low-rank matrix completion based on studying relations between a few entries with tools from algebraic geometry and matroid theory. The intrinsic locality of the approach allows for the…

Machine Learning · Computer Science 2014-08-20 Franz J. Király , Louis Theran , Ryota Tomioka

We introduce and study birational invariants for foliations on projective surfaces built from the adjoint linear series of positive powers of the canonical bundle of the foliation. We apply the results in order to investigate the effective…

Algebraic Geometry · Mathematics 2019-06-13 Jorge Vitorio Pereira , Roberto Svaldi

We develop a theory of integration over valued fields of residue characteristic zero. In particular we obtain new and base-field independent foundations for integration over local fields of large residue characteristic, extending results of…

Algebraic Geometry · Mathematics 2007-05-23 Ehud Hrushovski , David Kazhdan

We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several…

Rings and Algebras · Mathematics 2013-09-24 Jean Berthet

We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $\Gamma$-spaces and framed…

Algebraic Geometry · Mathematics 2022-04-22 Grigory Garkusha , Ivan Panin , Paul Arne Østvær

We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem…

Commutative Algebra · Mathematics 2024-08-09 Franz-Viktor Kuhlmann , Henri Lombardi , Hervé Perdry

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

Algebraic Geometry · Mathematics 2023-03-27 Desmond Coles , Netanel Friedenberg

We classify the algebraic combinatorial geometries of arbitrary field extensions of transcendence degree greater than 4 and describe their groups of automorphisms. Our results and proofs extend similar results and proofs by Evans and…

Logic · Mathematics 2009-03-10 Jakub Gismatullin

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

Logic · Mathematics 2009-08-18 Raf Cluckers , Leonard Lipshitz

The concept of a skew root of a skew polynomial is used to introduce notions of algebraic closedness for $\sigma$-fields, that is, a field equipped with an endomorphism. It is shown that every $\sigma$-field can be embedded in algebraically…

Rings and Algebras · Mathematics 2025-11-11 Masood Aryapoor

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

Logic · Mathematics 2017-09-29 Matthew Harrison-Trainor

This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results \`a la Ax-Kochen-Er{\v{s}}ov to $p$-adic integrals in a motivic…

Algebraic Geometry · Mathematics 2007-05-23 R. Cluckers , F. Loeser

We prove that the Bergman kernel function associated to a finitely connected domain in the plane is given as a rational combination of only three basic functions of one complex variable: an Alhfors map, its derivative, and one other…

Complex Variables · Mathematics 2007-05-23 Steven R. Bell