Related papers: Arc lifting for the Nash manifold
An algorithmic proof of the General N\'eron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case.
We propose to study deformation quantizations of Whitney functions. To this end, we extend the notion of a deformation quantization to algebras of Whitney functions over a singular set, and show the existence of a deformation quantization…
We prove that for any complete n-dimensional Riemannian manifold with nonnegative Ricci curvature, if the Nash inequality is satisfied, then it is diffeomorphic to $R^{n}$l.
We establish analytic linearization of s-proper analytic groupoids around invariant submanifolds. We apply this result to show that any such groupoid admits a holomorphic extension.
For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…
We prove some generalizations and analogies of Harnack inequalities for pluriharmonic, holomorphic and "almost holomorphic" functions. The results are applied to the proving of smoothness properties of holomorphic motions over almost…
The Nash problem on arc families is affirmatively answered for a toric variety by Ishii and Kollar's paper which also shows the negative answer for general case. The Nash problem is one of questions about the relation between arc families…
A celebrated theorem in Real Algebraic and Analytic Geometry (originally due to Bruhat-Cartan and Wallace and stated later in its current form by Milnor) is the (Nash) curve selection lemma. It states that each point in the closure of a…
If f is a smooth function on a Hodge manifold, we construct a canonical sequence of real algebraic functions that converge to f in the smooth topology. The definition of of the approximants is inspired by Berezin-Toeplitz quantization. The…
We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…
A necessary and sufficient condition for an operator space to support a multiplication making it completely isometric and isomorphic to a unital operator algebra is proved. The condition involves only the holomorphic structure of the Banach…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
Let U be the closed unit disc in C and let p be a point on the unit circle. Let f be a continuous function on U which extends holomorphically from each circle contained in U and centered at the origin, and from each circle contained in U…
This note establishes smooth approximation from above for J-plurisubharmonic functions on an almost complex manifold (X,J). The following theorem is proved. Suppose X is J-pseudoconvex, i.e., X admits a smooth strictly J-plurisubharmonic…
Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the…
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work…
We establish rigidity results for holomorphic mappings and plurisubharmonic functions in complex geometry. First, under mild conditions, we show that the gradient of a $\operatorname{U}(1)$-invariant strictly plurisubharmonic function in…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
Based on a well known Sh.-T. Yau theorem we obtain that the real part of a holomorphic function on a K\"{a}hler manifold with the Ricci curvature bounded from below by $-1$ is contractive with respect to the distance on the manifold and the…