-
Stratifications and term description over valued fields with analytic structure, uniform Yomdin-Gromov parametrizations
Authors:
Krzysztof Jan Nowak
Abstract:
We establish a certain strong smooth stratification of sets and a term description of functions, which are definable over valued fields (possibly non algebraically closed) with analytic structure. The basic tools are: elimination of valued field quantifiers, term structure of definable functions, Lipschitz cell decomposition with preparation of RV-parametrized sets, and a non-Archimedean definable…
▽ More
We establish a certain strong smooth stratification of sets and a term description of functions, which are definable over valued fields (possibly non algebraically closed) with analytic structure. The basic tools are: elimination of valued field quantifiers, term structure of definable functions, Lipschitz cell decomposition with preparation of RV-parametrized sets, and a non-Archimedean definable version of Bierstone-Milman's canonical desingularization algorithm, achieved in an earlier paper of ours. As application, uniform Yomdin-Gromov parametrizations of definable sets are given.
△ Less
Submitted 26 September, 2025; v1 submitted 26 May, 2025;
originally announced May 2025.
-
On closed definable subsets in Hensel minimal structures
Authors:
Krzysztof Jan Nowak
Abstract:
This paper deals with Hensel minimal structures on non-trivially valued fields $K$. The main aim is to establish the following two properties of closed 0-definable subsets $A$ in the affine spaces $K^{n}$. Every such subset $A$ is the zero locus of a continuous 0-definable function $f:K^{n} \to K$, and there exists a 0-definable retraction $r: K^{n} \to A$. While the former property is a non-Archi…
▽ More
This paper deals with Hensel minimal structures on non-trivially valued fields $K$. The main aim is to establish the following two properties of closed 0-definable subsets $A$ in the affine spaces $K^{n}$. Every such subset $A$ is the zero locus of a continuous 0-definable function $f:K^{n} \to K$, and there exists a 0-definable retraction $r: K^{n} \to A$. While the former property is a non-Archimedean counterpart of the one from o-minimal geometry, the former does not hold in real geometry in general. The proofs make use of a model-theoretic compactness argument and ubiquity of clopen sets in non-Archimedean geometry.
△ Less
Submitted 14 March, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Pulling back singularities for analytic complete intersections
Authors:
Krzysztof Jan Nowak
Abstract:
The following pullback problem will be considered. Given a finite holomorphic map germ $φ: (\mathbb{C}^{n}, 0) \to (\mathbb{C}^{n}, 0)$ and an analytic germ $X$ in the target, if the preimage $Y = φ^{-1}(X)$, taken with the reduced structure, is smooth, so is $X$. The main aim of this paper is to give an affirmative solution for $X$ being a geometric complete intersection. The case, where $Y$ is n…
▽ More
The following pullback problem will be considered. Given a finite holomorphic map germ $φ: (\mathbb{C}^{n}, 0) \to (\mathbb{C}^{n}, 0)$ and an analytic germ $X$ in the target, if the preimage $Y = φ^{-1}(X)$, taken with the reduced structure, is smooth, so is $X$. The main aim of this paper is to give an affirmative solution for $X$ being a geometric complete intersection. The case, where $Y$ is not contained in the ramification divisor $Z$ of $φ$, was established by Ebenfelt-Rothschild (2007) and afterwards by Lebl (2008) and Denkowski (2016). The hypersurface case was achieved by Giraldo-Roeder (2020) and recently by Jelonek (2023).
△ Less
Submitted 17 June, 2024; v1 submitted 10 July, 2023;
originally announced July 2023.
-
Extension of Lipschitz maps definable in Hensel minimal structures
Authors:
Krzysztof Jan Nowak
Abstract:
In this paper, we establish a theorem on extension of Lipschitz maps definable in Hensel minimal, non-trivially valued fields $K$ of equicharacteristic zero. It may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's theorem.
In this paper, we establish a theorem on extension of Lipschitz maps definable in Hensel minimal, non-trivially valued fields $K$ of equicharacteristic zero. It may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's theorem.
△ Less
Submitted 4 May, 2022; v1 submitted 12 April, 2022;
originally announced April 2022.
-
Tame topology in Hensel minimal structures
Authors:
Krzysztof Jan Nowak
Abstract:
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the imaginary sort $RV$, binding together the residue field $Kv$ and value group $vK$, be already definable in the plain valued field language. This condition is s…
▽ More
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the imaginary sort $RV$, binding together the residue field $Kv$ and value group $vK$, be already definable in the plain valued field language. This condition is satisfied by several classical tame structures on Henselian fields, including Henselian fields with analytic structure, V-minimal fields, and polynomially bounded o-minimal structures with a convex subring. In this article, we establish many results concerning definable functions and sets; among others, existence of the limit for definable functions of one variable, a closedness theorem, several non-Archimedean versions of the Lojasiewicz inequalities, an embedding theorem for regular definable spaces, and the definable ultranormality and ultraparacompactness of definable Hausdorff LC-spaces.
△ Less
Submitted 9 December, 2024; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Definable transformation to normal crossings over Henselian fields with separated analytic structure
Authors:
Krzysztof Jan Nowak
Abstract:
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous mathematicians. Separated analytic structures admit reasonable relative quantifier elimination in a suitable analytic language. However, the rings of global anal…
▽ More
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous mathematicians. Separated analytic structures admit reasonable relative quantifier elimination in a suitable analytic language. However, the rings of global analytic functions with two kinds of variables seem not to have good algebraic properties such as Noetherianity or excellence. Therefore the usual global resolution of singularities from rigid analytic geometry is no longer at our disposal. Our main purpose is to give a definable version of the canonical desingularization algorithm (the hypersurface case) due to Bierstone--Milman so that both these powerful tools are available in the realm of non-Archimedean analytic geometry at the same time. It will be carried out within a category of definable, strong analytic manifolds and maps, which is more flexible than that of affinoid varieties and maps. Strong analytic objects are those definable ones that remain analytic over all fields elementarily equivalent to $K$. This condition may be regarded as a kind of symmetry imposed on ordinary analytic objects. The strong analytic category makes it possible to apply a model-theoretic compactness argument in the absence of the ordinary topological compactness. On the other hand, our closedness theorem enables application of resolution of singularities to topological problems involving the topology induced by valuation. Eventually, these three results will be applied to such issues as the existence of definable retractions or extending continuous definable functions.
△ Less
Submitted 17 July, 2019; v1 submitted 17 March, 2019;
originally announced March 2019.
-
Definable retractions over Henselian valued fields with analytic structure
Authors:
Krzysztof Jan Nowak
Abstract:
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji. This generalizes our previous paper dealing with complete non-Archimedean fields with separated…
▽ More
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji. This generalizes our previous paper dealing with complete non-Archimedean fields with separated power series and remains true for Henselian valued fields with strictly convergent analytic structure, because every such a structure can be extended in a definitional way to a separated analytic structure. Our proof uses a variant of the one from that paper, based on canonical resolution of singularities, and a model-theoretic compactness argument.
△ Less
Submitted 31 January, 2019; v1 submitted 28 January, 2019;
originally announced January 2019.
-
Definable retractions over complete fields with separated power series
Authors:
Krzysztof Jan Nowak
Abstract:
Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji follow directly. We reduce the problem to the case of a simple normal cross…
▽ More
Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby definable non-Archimedean versions of the extension theorems by Tietze--Urysohn and Dugundji follow directly. We reduce the problem to the case of a simple normal crossing divisor, relying on our closedness theorem and desingularization of terms. The latter result is established by means of the following tools: elimination of valued field quantifiers (due to Cluckers--Lipshitz--Robinson), embedded resolution of singularities by blowing up (due to Bierstone--Milman or Temkin), the technique of quasi-rational subdomains (due to Lipshitz--Robinson) and our closedness theorem.
△ Less
Submitted 30 March, 2019; v1 submitted 1 January, 2019;
originally announced January 2019.
-
Definable retractions and a non-Archimedean Tietze--Urysohn theorem over Henselian valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending continuous definable functions. The main ingredients of the proof are a description of definable sets due to van den Dries, resolution of singularities and our…
▽ More
We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending continuous definable functions. The main ingredients of the proof are a description of definable sets due to van den Dries, resolution of singularities and our closedness theorem.
△ Less
Submitted 30 March, 2019; v1 submitted 29 August, 2018;
originally announced August 2018.
-
Some results of geometry over Henselian fields with analytic structure
Authors:
Krzysztof Jan Nowak
Abstract:
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 a complete rank one valued fields with the Tate algebra of strictly convergent power series. The algebraic case was treated in our previous papers. Here we are…
▽ More
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 a complete rank one valued fields with the Tate algebra of strictly convergent power series. The algebraic case was treated in our previous papers. Here we are going to carry over the research to the general analytic settings. Also considered are the local rings of analytic function germs induced by a given separated Weierstrass system, which turn out to be excellent and regular. Several results are established as, for instance, piecewise continuity of definable functions, several versions of the Łojasiewicz inequality, Hölder continuity of definable functions continuous on closed bounded subsets of the affine space and curve selection for definable sets. Likewise as before, at the center of our approach is the closedness theorem to the effect that every projection with closed bounded fiber is a definably closed map. It enables application of resolution of singularities and of transformation to a normal crossing by blowing up (here applied to the local rings of analytic function germs) in much the same way as over locally compact ground fields. We rely on elimination of valued field quantifiers, term structure of definable functions and b-minimal cell decomposition, due to Cluckers--Lipshitz--Robinson, as well as on relative quantifier elimination for ordered abelian groups, due to Cluckers--Halupczok. Besides, other two ingredients of the proof of the closedness theorem are existence of the limit (after finite partitioning of the domain) for a definable function of one variable and fiber shrinking, being a relaxed version of curve selection.
△ Less
Submitted 28 November, 2018; v1 submitted 7 August, 2018;
originally announced August 2018.
-
A closedness theorem over Henselian valued fields with analytic structure
Authors:
Krzysztof Jan Nowak
Abstract:
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a projective fiber is a definably closed map. This remains valid also for valued fields with analytic structure induced by a strictly convergent Weierstrass systems…
▽ More
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a projective fiber is a definably closed map. This remains valid also for valued fields with analytic structure induced by a strictly convergent Weierstrass systems, including the classical, complete rank one valued fields with the Tate algebra of strictly convergent power series. As application, we prove two theorems on existence of the limit and on piecewise continuity.
△ Less
Submitted 7 January, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
A closedness theorem and applications in geometry of rational points over Henselian valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach is again the closedness theorem that the projections $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ are definably closed maps. It enables application of resolution…
▽ More
We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach is again the closedness theorem that the projections $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ are definably closed maps. It enables application of resolution of singularities in much the same way as over locally compact ground fields. As before, the proof of that theorem uses i.a. the local behavior of definable functions of one variable and fiber shrinking, being a relaxed version of curve selection. But now, to achieve the former result, we first examine functions given by algebraic power series. All our previous results will be established here in the general settings: several versions of curve selection (via resolution of singularities) and of the Łojasiewicz inequality (via two instances of quantifier elimination indicated below), extending continuous hereditarily rational functions as well as the theory of regulous functions, sets and sheaves, including Nullstellensatz and Cartan's theorems A and B. Two basic tools applied in this paper are quantifier elimination for Henselian valued fields due to Pas and relative quantifier elimination for ordered abelian groups (in a many-sorted language with imaginary auxiliary sorts) due to Cluckers--Halupczok. Other, new applications of the closedness theorem are piecewise continuity of definable functions, Hölder continuity of definable functions on closed bounded subsets of $K^{n}$, the existence of definable retractions onto closed definable subsets of $K^{n}$, and a definable, non-Archimedean version of the Tietze--Urysohn extension theorem. In a recent preprint, we established a version of the closedness theorem over Henselian valued fields with analytic structure along with some applications.
△ Less
Submitted 6 March, 2020; v1 submitted 4 June, 2017;
originally announced June 2017.
-
The closedness theorem over Henselian valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the so-called fiber shrinking, which is a relaxed version of curve selection. Now our approach applies also relative quantifier elimination for ordered abelian grou…
▽ More
We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the so-called fiber shrinking, which is a relaxed version of curve selection. Now our approach applies also relative quantifier elimination for ordered abelian groups due to Cluckers--Halupczok. Afterwards the closedness theorem will allow us to achieve i.a. the Łojasiewicz inequality, curve selection and extending hereditarily rational functions as well as to develop the theory of regulous functions and sheaves.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
On functions given by algebraic power series over Henselian valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is used in analysis of functions of one variable, definable in the language of Denef--Pas, to obtain a theorem on existence of the limit, proven over rank one value…
▽ More
This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is used in analysis of functions of one variable, definable in the language of Denef--Pas, to obtain a theorem on existence of the limit, proven over rank one valued fields in one of our recent papers. This result along with the technique of fiber shrinking (developed there over rank one valued fields) were, in turn, two basic tools in the proof of the closedness theorem.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
Piecewise continuity of functions definable over Henselian rank one valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We prove that $f$ is piecewise continuous; more precisely, there is a finite partition of $A$ into $\mathcal{L}^{P}$-definable locally closed subsets…
▽ More
Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We prove that $f$ is piecewise continuous; more precisely, there is a finite partition of $A$ into $\mathcal{L}^{P}$-definable locally closed subsets $A_{1},\ldots,A_{s}$ of $K^{n}$ such that the restriction of $f$ to each $A_{i}$ is a continuous function.
△ Less
Submitted 25 February, 2017;
originally announced February 2017.
-
Hölder and Lipschitz continuity of functions definable over Henselian rank one valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
Consider a Henselian rank one valued field $K$ of equicharacteristic zero with the three-sorted language $\mathcal{L}$ of Denef--Pas. Let $f: A \to K$ be a continuous $\mathcal{L}$-definable (with parameters) function on a closed bounded subset $A \subset K^{n}$. The main purpose is to prove that then $f$ is Hölder continuous with some exponent $s\geq 0$ and constant $c \geq 0$, a fortiori, $f$ is…
▽ More
Consider a Henselian rank one valued field $K$ of equicharacteristic zero with the three-sorted language $\mathcal{L}$ of Denef--Pas. Let $f: A \to K$ be a continuous $\mathcal{L}$-definable (with parameters) function on a closed bounded subset $A \subset K^{n}$. The main purpose is to prove that then $f$ is Hölder continuous with some exponent $s\geq 0$ and constant $c \geq 0$, a fortiori, $f$ is uniformly continuous. Further, if $f$ is locally Lipschitz continuous with a constant $c$, then $f$ is (globally) Lipschitz continuous with possibly some larger constant $d$. Also stated are some problems concerning continuous and Lipschitz continuous functions definable over Henselian valued fields.
△ Less
Submitted 16 February, 2017; v1 submitted 11 February, 2017;
originally announced February 2017.
-
A density property of Henselian valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{á}r), which is indispensable for ensuring reasonable topological and geometric properties of algebraic subsets of $K^{n}$.
We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{á}r), which is indispensable for ensuring reasonable topological and geometric properties of algebraic subsets of $K^{n}$.
△ Less
Submitted 2 January, 2017; v1 submitted 19 December, 2016;
originally announced December 2016.
-
Some results of algebraic geometry over Henselian rank one valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and blow-ups of the $K$-rational points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, curve selection for definable sets, a general v…
▽ More
We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and blow-ups of the $K$-rational points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, curve selection for definable sets, a general version of the Łojasiewicz inequality for continuous definable functions on subsets locally closed in the $K$-topology and extending continuous hereditarily rational functions, established for the real and $p$-adic varieties in our joint paper with J. Kollár. The descent property enables application of resolution of singularities and transformation to a normal crossing by blowing up in much the same way as over the locally compact ground field. Our approach relies on quantifier elimination due to Pas and a concept of fiber shrinking for definable sets, which is a relaxed version of curve selection. The last three sections are devoted to the theory of regulous functions and sets over such valued fields. Regulous geometry over the real ground field $\mathbb{R}$ was developed by Fichou--Huisman--Mangolte--Monnier. The main results here are regulous versions of Nullstellensatz and Cartan's Theorems A and B.
△ Less
Submitted 4 June, 2016; v1 submitted 13 October, 2014;
originally announced October 2014.
-
Quantifier elimination in quasianalytic structures via non-standard analysis
Authors:
Krzysztof Jan Nowak
Abstract:
The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The gener…
▽ More
The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here. We also provide a quasianalytic exposition of the results concerning rectilinearization of terms and of definable functions from our earlier research. It will be used to demonstrate a quasianalytic structure corresponding to a Denjoy-Carleman class which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented merely by the reciprocal function. More precisely, we construct a plane definable curve, which indicates both that the classical theorem by J. Denef and L. van den Dries as well as Łojasiewicz's theorem that every subanalytic curve is semianalytic are no longer true for quasianalytic structures. Besides rectilinearization of terms, our construction makes use of some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces. Note finally that this paper comprises our earlier preprints on the subject from May 2012.
△ Less
Submitted 11 May, 2015; v1 submitted 12 May, 2014;
originally announced May 2014.
-
Generic intersections of differentiable submanifolds
Authors:
Krzysztof Jan Nowak
Abstract:
Consider a transitive action of a Lie group $G$ on a (real analytic) manifold $M$ of dimension $m$, and two (embedded) submanifolds $A$ and $B$ in $M$ of sufficiently large class and of dimension $k$ and $l$, respectively. We prove that, for a generic $σ\in G$, the intersection $σ(A) \cap B$ is transversal, whence a submanifold of dimension $k+l-m$ or the empty set. This paper is a continuation of…
▽ More
Consider a transitive action of a Lie group $G$ on a (real analytic) manifold $M$ of dimension $m$, and two (embedded) submanifolds $A$ and $B$ in $M$ of sufficiently large class and of dimension $k$ and $l$, respectively. We prove that, for a generic $σ\in G$, the intersection $σ(A) \cap B$ is transversal, whence a submanifold of dimension $k+l-m$ or the empty set. This paper is a continuation of our previous article, devoted to definable transitive actions of definable groups on manifolds and generic intersections in an o-minimal structure, and inspired by a question of Jan Mycielski about the intersections of translates of analytic sets in the real plane.
△ Less
Submitted 15 April, 2014; v1 submitted 7 April, 2014;
originally announced April 2014.
-
Some results from algebraic geometry over Henselian real valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber shrinking (a relaxed version of curve selection) for definable sets, the canonical projection $K^{n} \times K\mathbb{P}^{m} \to K^{n}$ and blow-ups of the $K$-po…
▽ More
This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber shrinking (a relaxed version of curve selection) for definable sets, the canonical projection $K^{n} \times K\mathbb{P}^{m} \to K^{n}$ and blow-ups of the $K$-points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, a version of the Lojasiewicz inequality for continuous rational functions and the theorem on extending continuous hereditarily rational functions, established for the real and $p$-adic varieties in our joint paper with J. Kollar. The descent property enables application of desingularization and transformation to a normal crossing by blowing up in much the same way as over the locally compact ground field. Our approach applies quantifier elimination due to Pas.
△ Less
Submitted 27 August, 2016; v1 submitted 10 December, 2013;
originally announced December 2013.
-
Some results from algebraic geometry over complete discretely valued fields
Authors:
Krzysztof Jan Nowak
Abstract:
This paper is concerned with algebraic geometry over complete discretely valued fields $K$ of equicharacteristic zero. Several results are given including: the canonical projection $K^{n} \times K\mathbb{P}^{m} \longrightarrow K^{n}$ and blow-ups of the $K$-points of smooth $K$-varieties are definably closed maps, a descent principle, a version of the Lojasiewicz inequality for continuous rational…
▽ More
This paper is concerned with algebraic geometry over complete discretely valued fields $K$ of equicharacteristic zero. Several results are given including: the canonical projection $K^{n} \times K\mathbb{P}^{m} \longrightarrow K^{n}$ and blow-ups of the $K$-points of smooth $K$-varieties are definably closed maps, a descent principle, a version of the Lojasiewicz inequality for continuous rational functions, curve selection for semialgebraic sets and the theorem on extending continuous hereditarily rational functions, established for the real field in our joint paper with J. Kollar. Our approach applies the quantifier elimination due to Pas. By the transfer principle of Ax-Kochen-Ershov, all these results carry over to the case of Henselian discretely valued fields. Using different arguments in our subsequent paper, we establish them over Henselian real valued fields of equicharacteristic zero.
△ Less
Submitted 27 August, 2016; v1 submitted 8 November, 2013;
originally announced November 2013.
-
On division of quasianalytic function germs
Authors:
Krzysztof Jan Nowak
Abstract:
In this paper, we establish the following criterion for divisibility in the local ring of those quasianalytic function germs at zero which are definable in a polynomially bounded structure. A sufficient (and necessary) condition for the divisibility of two such function germs is that of their Taylor series at zero in the formal power series ring.
In this paper, we establish the following criterion for divisibility in the local ring of those quasianalytic function germs at zero which are definable in a polynomially bounded structure. A sufficient (and necessary) condition for the divisibility of two such function germs is that of their Taylor series at zero in the formal power series ring.
△ Less
Submitted 23 October, 2013; v1 submitted 5 October, 2013;
originally announced October 2013.
-
A counterexample concerning quantifier elimination in quasianalytic structures
Authors:
Krzysztof Jan Nowak
Abstract:
This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function. It also demonstrates that Lojasiewicz's theorem that every sub…
▽ More
This paper is a revised version of our preprints IMUJ Preprint 2012/04 and RAAG Preprint 343 from May 2012. It provides an example of a quasianalytic structure which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented by the reciprocal function. It also demonstrates that Lojasiewicz's theorem that every subanalytic curve is semianalytic is no longer true in quasianalytic structures. Our construction applies rectilinearization of terms, established in our earlier papers, as well as some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces.
△ Less
Submitted 20 May, 2014; v1 submitted 4 October, 2013;
originally announced October 2013.
-
On hereditarily rational functions
Authors:
Krzysztof Jan Nowak
Abstract:
In this paper, we give a short proof of a theorem by Kollár on hereditarily rational functions. This is an answer to his appeal to find an elementary proof which does not rely so much on resolution of singularities. Our approach does not make use of desingularization techniques. Instead, we apply a stronger version of the Łojasiewicz inequality. Moreover, this allows us to sharpen Kollár's theorem…
▽ More
In this paper, we give a short proof of a theorem by Kollár on hereditarily rational functions. This is an answer to his appeal to find an elementary proof which does not rely so much on resolution of singularities. Our approach does not make use of desingularization techniques. Instead, we apply a stronger version of the Łojasiewicz inequality. Moreover, this allows us to sharpen Kollár's theorem.
△ Less
Submitted 28 November, 2012;
originally announced November 2012.
