arXiv research

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 the classical theorem of Hartogs that a function on a complex manifold is comple…

Analytic functions on specific domains are characterized by their smoothness and composites with polynomial curves.

The paper calculates asymptotic expansions for specific types of oscillatory integrals.

Transforms uniquely determine Higgs fields on real-analytic manifolds.

The paper defines wave-front singularities using explicit analytic functions.

Real analytic functions can be extended on manifolds with normal crossings.

This paper explores geometric and analytic aspects of Lojasiewicz inequalities on vector bundles.

We show that $C^0$-fine approximation of convex functions by smooth (or real analytic) convex functions on $\R^d$ is possible in general if and only if $d=1$. Nevertheless, for $d\geq 2$ we give a characterization of the class of convex functions on $\R^d$ which can be approximated by real analytic (or just smoother) c…

We exploit the Cartan-Kähler theory to prove the local existence of real analytic quaternionic contact structures for any prescribed values of the respective curvature functions and their covariant derivatives at a given point on a manifold. We show that, in a certain sense, the different real analytic quaternionic con…

Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show that $C^0$-fine approximation of convex functions by smooth (or real analytic) conv…

New learning algorithm for real analytic functions without gradient descent.

The paper proves deep neural networks with analytic activation can approximate any function.

Given a complex analytic function f on a Whitney stratified complex analytic variety of complex dimension n, whose real part Re(f) is Morse, we prove the existence of a stratified gradient-like vector field for Re(f) such that the unstable set of a critical point p on a stratum S of complex dimension s has real dimensi…

The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of t…

We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of its k-jet at that point. As a consequence, it is shown that the stability group…

Interpolates curves using maximal and minimal surfaces in different spaces.

Study proves rigidity results for analytic spacetimes without boundary or timelike boundary.

Study pseudo-holomorphic disks in real analytic hypersurfaces using exterior differential systems.

Improved neural network predicts spectral functions more accurately than traditional methods.

Algorithm finds real-analytic Legendrian representatives for every link type.

We begin by showing that every real analytic orbifold has a real analytic Riemannian metric. It follows that every reduced real analytic orbifold can be expressed as a quotient of a real analytic manifold by a real analytic almost free action of a compact Lie group. We then extend a well-known result of Nomizu and Ozek…

Unified framework for complex, split-complex, and dual numbers.

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the constructio…

We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianaly…

We find all pairs of real analytic functions $f$ and $g$ in $\bbR^n$ such that $|\nabla f|=|\nabla g|$ and $(\nabla f)(\nabla g)=0$.

In this paper, we specify what functions induce the bounded composition operators on a reproducing kernel Hilbert space (RKHS) associated with an analytic positive definite function defined on $\mathbf{R}^d$. We prove that only affine transforms can do so in a pretty large class of RKHS. Our result covers not only the …

For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieti…

We give necessary conditions for certain real analytic tube generic submanifolds in C^n to be locally algebraizable. As an application, we exhibit families of real analytic non locally algebraizable tube generic submanifolds in C^n. During the proof, we show that the local CR automorphism group of a minimal, finitely n…

Geometrically studies Moore-Penrose inverse and polar decomposition continuity.

Let $(M,g)$ be a simple Riemannian manifold. Under the assumption that the metric $g$ is real-analytic, it is shown that if the geodesic ray transform of a function $f\in L^{2}(M)$ vanishes on an appropriate open set of geodesics, then $f=0$ on the set of points lying on these geodesics. The approach is based on a micr…

The paper classifies symplectic invariants of specific singularities in integrable Hamiltonian systems.

In \cite{Boed}, C.-F. Bödigheimer constructed a finite cell-complex $\mf{Par}_{g,n,m}$ and a bijective map $\cH: \mf{Dip}_{g,n,m} \to \mf{Par}_{g,n,m}$ (the Hilbert-uniformization) from the moduli space of dipole functions on Riemann surfaces with $n$ directions and $m$ punctures to $\mf{Par}_{g,n,m}$. In \cite{Boed} a…

Paper generalizes a theorem for real analytic singularities.

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.

Analytic convex bodies' Poincaré series extended holomorphically.

Paper compares absolute and relative real analytic torsion forms over fibrations.

In the case of a compact real analytic symplectic manifold M we describe an approach to the complexification of Hamiltonian flows [Se, Do1, Th1] and corresponding geodesics on the space of Kahler metrics. In this approach, motivated by recent work on quantization, the complexified Hamiltonian flows act, through the Gro…

In this paper we extend first the Bismut-Lott's analytic torsion form for flat vector bundles to the boundary case, then we establish its gluing formula on a smooth fibration under the assumption that a fiberwise Morse function exists. We assume that the metrics have product structures near the cutting hypersurface.

Geometric analysis on real analytic manifolds using seminorms.

Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied when M is an arbitrary compact real-analytic hypersurface embedded in some Stein …

Study of twisted $L^2$-torsion on 3-manifold character varieties.

New Hessian estimators for Riemannian manifolds with reduced bias.

Describes the space of spherical triangles on a smooth 3-manifold.

The paper proves real-analyticity of superintegrable metrics and solves two conjectures.

An example of a real-analytic metric on a compact manifold whose geodesic flow is Liouville integrable by $C^\infty$ functions and has positive topological entropy is constructed.

Extends Gelfand duality to various geometric and analytical categories.

Proves Lorentzian manifold properties for analytic 3D spaces.

We show that the Cigar metric on $\mathbb{C}$ is an example of real analytic Kähler manifold with globally defined and positive Calabi's diastasis function which cannot be Kähler immersed into any (finite or infinite dimensional) complex space form.