Related papers: Arc-smooth functions and cuspidality of sets

Let us consider a Banach space $X$ with the property that every real-valued Lipschitz function $f$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le C \Lip(f)$ (with $C$ depending only on the space…

We show that an arc-analytic subanalytic function on a complex manifold M, which is holomorphic near one point, is a holomorphic function on M. More generally, an arc-analytic subanalytic function on a real analytic CR-manifold M, which is…

On a closed and connected symplectic manifold, the group of Hamiltonian diffeomorphisms has the structure of an infinite-dimensional Fr\'echet Lie group, where the Lie algebra is naturally identified with the space of smooth and zero-mean…

We provide upper bounds for the Assouad spectrum $\dim_A^\theta(\text{Gr}(f))$ of the graph of a real-valued H\"older or Sobolev function $f$ defined on an interval $I \subset \mathbb{R}$. We demonstrate via examples that all of our bounds…

We find an arc-parameterization of the contour on which an given analytic function has constant modulus. This contour is seen to satisfy a differential equation which we explicitly give.

When smoothing a function $f$ via convolution with some kernel, it is often desirable to adapt the amount of smoothing locally to the variation of $f$. For this purpose, the constant smoothing coefficient of regular convolutions needs to be…

This paper deals with connections on $p$-adic analytic curves, in the sense of Berkovich. The curves must be compact but the connections are allowed to have a finite number of meromorphic singularities on them. For any choice of a…

We prove that the Bergman kernel function associated to a smooth measure supported on a piecewise-smooth maximally totally real submanifold K in C^n is of polynomial growth (e.g, in dimension one, K is a finite union of transverse Jordan…

In this paper, we show that for a broad class of pseudoconvex formal-analytic arithmetic surfaces over $\text{Spec}(\mathbb{Z})$, those which admit a nonconstant monic such regular function, that a conjecture of Bost-Charles that the ring…

This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow-spherical equivalence, which generalizes differential equivalence and subanalytic…

We consider sequences of metrics, $g_j$, on a Riemannian manifold, $M$, which converge smoothly on compact sets away from a singular set $S\subset M$, to a metric, $g_\infty$, on $M\setminus S$. We prove theorems which describe when…

We initiate a program of average smoothness analysis for efficiently learning real-valued functions on metric spaces. Rather than using the Lipschitz constant as the regularizer, we define a local slope at each point and gauge the function…

We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for…

We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant…

If there is a topologically locally constant family of smooth algebraic varieties together with an admissible normal function on the total space, then the latter is constant on any fiber if this holds on some fiber. Combined with spreading…

It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…

Let $\Omega$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $\Omega$…

A graph G on omega_1 is called <omega-smooth if for each uncountable subset W of omega_1, G is isomorphic to G[W-W'] for some finite W'. We show that in various models of ZFC if a graph G is <omega-smooth then G is necessarily trivial, i.e,…

Consider a class of functions of one real variable with the following uniqueness property: if a function f(x) from the class vanishes on a set of positive measure, then f is the zero function. In many instances, we would like to have a…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…